Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
From MaRDI portal
Publication:5075720
DOI10.1080/01630563.2022.2029485OpenAlexW3197159184MaRDI QIDQ5075720
Michael Plum, Shin'ichi Oishi, Masahide Kashiwagi, Kazuaki Tanaka, Kouta Sekine
Publication date: 11 May 2022
Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1607.04619
positive solutionsnumerical verificationelliptic boundary value problemscomputer-assisted proofsrigorous enclosuresLane-Emden's equationsub-square exponent
Operator theory (47-XX) Numerical analysis (65-XX) Partial differential equations (35-XX) Operations research, mathematical programming (90-XX)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bifurcation and symmetry breaking for a class of semilinear elliptic equations in an annulus
- Non-symmetric low-index solutions for a symmetric boundary value problem
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain
- Numerical enclosure for each eigenvalue in generalized eigenvalue problem
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Symmetry and related properties via the maximum principle
- The calculation of guaranteed bounds for eigenvalues using complementary variational principles
- Bounds for eigenvalues of second-order elliptic differential operators
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Best constant in Sobolev inequality
- Problèmes isoperimetriques et espaces de Sobolev
- Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle
- Uniqueness of least energy solutions to a semilinear elliptic equation in \(\mathbb{R}^ 2\)
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Numerical verification method for positive solutions of elliptic problems
- Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- Validated Continuation for Equilibria of PDEs
- Global smooth solution curves using rigorous branch following
- Introduction to Interval Analysis
- On the Existence of Positive Solutions of Semilinear Elliptic Equations
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- Computer-assisted enclosure methods for elliptic differential equations
