Numerical verification method for positive solutions of elliptic problems

DOI10.1016/J.CAM.2019.112647MaRDI QIDQ2297084zbMATH OpenOpenAlexFDO

Authors Kazuaki Tanaka

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

zbMATH Keywords

Dirichlet problemnumerical verificationpositive solutionssemilinear equation with Laplacian

Mathematics Subject Classification ID

Boundary value problems for second-order elliptic equations (35J25) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91) Error bounds for boundary value problems involving PDEs (65N15)

Abstract: The purpose of this paper is to propose methods for verifying the positivity of a weak solution $u$ of an elliptic problem assuming $H_0^1$-error estimation $left|u-hatuight{|}_{H_0^1}leqho$ given some numerical approximation $hatu$ and an explicit error bound $ho$. We provide a sufficient condition for the solution to be positive and analyze the range of application of our method for elliptic problems with polynomial nonlinearities. We present numerical examples where our method is applied to some important problems.

Recommendations

• Numerical verification of positiveness for solutions to semilinear elliptic problems
• A posteriori verification of the positivity of solutions to elliptic boundary value problems
• scientific article; zbMATH DE number 4200737
• Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
• Numerical verifications of solutions for nonlinear elliptic equations

Cites work

• A framework of verified eigenvalue bounds for self-adjoint differential operators
• A numerical approach to the proof of existence of solutions for elliptic problems
• Affine Invariant Convergence Theorems for Newton’s Method and Extensions to Related Methods
• Bifurcation and symmetry breaking for a class of semilinear elliptic equations in an annulus
• Computer-assisted enclosure methods for elliptic differential equations
• Computer-assisted existence proofs for two-point boundary value problems
• Convergence and Applications of Newton-type Iterations
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• scientific article; zbMATH DE number 3760758 (Why is no real title available?)
• scientific article; zbMATH DE number 2038134 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• 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
• Numerical verification of positiveness for solutions to semilinear elliptic problems
• On a maximum principle for weak solutions of some quasi-linear elliptic equations
• On the Existence of Positive Solutions of Semilinear Elliptic Equations
• Qualitative properties of positive solutions of semilinear elliptic equations in symmetric domains via the maximum principle
• 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
• Uniqueness of least energy solutions to a semilinear elliptic equation in \(\mathbb{R}^ 2\)
• Verified eigenvalue evaluation for the Laplacian over polygonal domains of arbitrary shape
• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
• Weaker conditions for the convergence of Newton's method

Cited in

(8)

• A posteriori verification of the positivity of solutions to elliptic boundary value problems
• A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• Numerical verification for elliptic boundary value problem with nonconforming \(\mathcal{P}_1\) finite elements
• Numerical verification of positiveness for solutions to semilinear elliptic problems
• scientific article; zbMATH DE number 4200737 (Why is no real title available?)
• 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

Describes a project that uses

Uses Software

• INTLAB
• kv

This page was built for publication: Numerical verification method for positive solutions of elliptic problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2297084)