Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
DOI10.1080/01630563.2022.2029485OpenAlexW3197159184MaRDI QIDQ5075720FDOQ5075720
Authors: Kazuaki Tanaka, Michael Plum, Kouta Sekine, Masahide Kashiwagi, Shin'ichi Oishi 
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 solutionselliptic boundary value problemsnumerical verificationcomputer-assisted proofsrigorous enclosuresLane-Emden's equationsub-square exponent
Numerical analysis (65-XX) Partial differential equations (35-XX) Operator theory (47-XX) Operations research, mathematical programming (90-XX)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- On the Existence of Positive Solutions of Semilinear Elliptic Equations
- Symmetry and related properties via the maximum principle
- Best constant in Sobolev inequality
- Introduction to Interval Analysis
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Problèmes isoperimetriques et espaces de Sobolev
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Global smooth solution curves using rigorous branch following
- Validated Continuation for Equilibria of PDEs
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle
- Non-symmetric low-index solutions for a symmetric boundary value problem
- Bifurcation and symmetry breaking for a class of semilinear elliptic equations in an annulus
- Numerical enclosure for each eigenvalue in generalized eigenvalue problem
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- Bounds for eigenvalues of second-order elliptic differential operators
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
- Uniqueness of least energy solutions to a semilinear elliptic equation in \(\mathbb{R}^ 2\)
- Title not available (Why is that?)
- Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
- Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains
- Title not available (Why is that?)
- Computer-assisted enclosure methods for elliptic differential equations
- The calculation of guaranteed bounds for eigenvalues using complementary variational principles
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Numerical verification method for positive solutions of elliptic problems
Uses Software
This page was built for publication: Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5075720)
