Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
From MaRDI portal
Publication:5075720
DOI10.1080/01630563.2022.2029485MaRDI QIDQ5075720
Shin'ichi Oishi, Michael Plum, Kazuaki Tanaka, Kouta Sekine, Masahide Kashiwagi
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 solutions; numerical verification; elliptic boundary value problems; computer-assisted proofs; rigorous enclosures; Lane-Emden's equation; sub-square exponent
47-XX: Operator theory
65-XX: Numerical analysis
35-XX: Partial differential equations
90-XX: Operations research, mathematical programming
Uses Software