Numerical verification method for positive solutions of elliptic problems
From MaRDI portal
Publication:2297084
DOI10.1016/j.cam.2019.112647zbMath1437.35397arXiv2011.01556OpenAlexW2994420637MaRDI QIDQ2297084
Publication date: 18 February 2020
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2011.01556
Boundary value problems for second-order elliptic equations (35J25) Error bounds for boundary value problems involving PDEs (65N15) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91)
Related Items (4)
Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations ⋮ A posteriori verification of the positivity of solutions to elliptic boundary value problems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Weaker conditions for the convergence of Newton's method
- Bifurcation and symmetry breaking for a class of semilinear elliptic equations in an annulus
- A framework of verified eigenvalue bounds for self-adjoint differential operators
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain
- On a maximum principle for weak solutions of some quasi-linear elliptic equations
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Symmetry and related properties via the maximum principle
- Computer-assisted existence proofs for two-point boundary value problems
- 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
- Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains
- New general convergence theory for iterative processes and its applications to Newton-Kantorovich type theorems
- Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
- Numerical verification of positiveness for solutions to semilinear elliptic problems
- A numerical approach to the proof of existence of solutions for elliptic problems
- Convergence and Applications of Newton-type Iterations
- Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods
- On the Existence of Positive Solutions of Semilinear Elliptic Equations
- Computer-assisted enclosure methods for elliptic differential equations
This page was built for publication: Numerical verification method for positive solutions of elliptic problems
