Numerical verification for asymmetric solutions of the Hénon equation on bounded domains
@article{Asai2020NumericalVF, title={Numerical verification for asymmetric solutions of the H{\'e}non equation on bounded domains}, author={Taisei Asai and Kazuaki Tanaka and Shin'ichi Oishi}, journal={J. Comput. Appl. Math.}, year={2020}, volume={399}, pages={113708} }
References
SHOWING 1-10 OF 24 REFERENCES
Bifurcation method for solving multiple positive solutions to Henon equation
- Mathematics, Physics
- 2008
Three algorithms based on the bifurcation method are applied to solving the D4 symmetric positive solutions to the boundary value problem of Henon equation. Taking r in Henon equation as a…
kv library
- 2020
Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Mathematics, Computer ScienceSpringer Series in Computational Mathematics
- 2019
This paper presents a new formulation for the verification of the existence of carboniferous strata, and details the methodology used, as well as some of the techniques used, in this study, to achieve this result.
NON-RADIAL GROUND STATES FOR THE HÉNON EQUATION
- Mathematics, Physics
- 2002
We analyse symmetry breaking for ground states of the Henon equation [7] in a ball. Asymptotic estimates of the transition are also given when p is close to either 2 or 2*.
Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods
- Mathematics
- 1979
For a given starting point, the sequence of Newton iterates is well known to be invariant under affine transformation of the operator equation to be solved. This property, however, is not…
Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Mathematics
- 2014
This paper proposes a verified numerical method of proving the invertibility of linear elliptic operators. This method also provides a verified norm estimation for the inverse operators. This type of…
Bifurcation method for solving multiple positive solutions to Henon equation on the unit cube
- Mathematics, Physics
- 2011
Computer-assisted proofs for semilinear elliptic boundary value problems
- Mathematics
- 2009
For second-order semilinear elliptic boundary value problems on bounded or unbounded domains, a general computer-assisted method for proving the existence of a solution in a “close” and explicit…
Elliptic Problems in Nonsmooth Domains
- Mathematics
- 1985
Foreword Preface 1. Sobolev spaces 2. Regular second-order elliptic boundary value problems 3. Second-order elliptic boundary value problems in convex domains 4. Second-order boundary value problems…
Inclusions and Existence Proofs for Solutions of a Nonlinear Boundary Value Problem by Spectral Numerical Methods
- Mathematics
- 2001
For a specific elliptic boundary value problem with quadratic nonlinearity, we give a partial positive answer to an old conjecture concerning the number of solutions. This result is obtained via an…