Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents

DOI10.1080/01630563.2022.2029485MaRDI QIDQ5075720zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

positive solutionselliptic boundary value problemsnumerical verificationcomputer-assisted proofsrigorous enclosuresLane-Emden's equationsub-square exponent

Mathematics Subject Classification ID

Numerical analysis (65-XX) Partial differential equations (35-XX) Operator theory (47-XX) Operations research, mathematical programming (90-XX)

Cites work

• scientific article; zbMATH DE number 434849 (Why is no real title available?)
• scientific article; zbMATH DE number 1088117 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• 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
• A framework of verified eigenvalue bounds for self-adjoint differential operators
• A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
• Best constant in Sobolev inequality
• Bifurcation and symmetry breaking for a class of semilinear elliptic equations in an annulus
• Bounds for eigenvalues of second-order elliptic differential operators
• Computer-assisted enclosure methods for elliptic differential equations
• Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
• Elliptic problems in nonsmooth domains
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Global smooth solution curves using rigorous branch following
• Introduction to Interval Analysis
• Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains
• Non-symmetric low-index solutions for a symmetric boundary value problem
• Numerical enclosure for each eigenvalue in generalized eigenvalue problem
• Numerical verification method for positive solutions of elliptic problems
• Numerical verification methods and computer-assisted proofs for partial differential equations
• On the Existence of Positive Solutions of Semilinear Elliptic Equations
• Problèmes isoperimetriques et espaces de Sobolev
• Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation
• Sharp numerical inclusion of the best constant for embedding H₀^1() L^p() on bounded convex domain
• Symmetry and related properties via the maximum principle
• The calculation of guaranteed bounds for eigenvalues using complementary variational principles
• Uniqueness of least energy solutions to a semilinear elliptic equation in \(\mathbb{R}^ 2\)
• Validated Continuation for Equilibria of PDEs
• Verified computations of solutions for nondifferentiable elliptic equations related to MHD equilibria
• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation

Cited in

(1)

• Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents

Describes a project that uses

Uses Software

• INTLAB

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)