Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
From MaRDI portal
Publication:1012465
zbMath1185.35101MaRDI QIDQ1012465
Publication date: 21 April 2009
Published in: Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)
existence of solutionserror boundsmultiplicity of solutionsboundary value problemsemilinear elliptic equationcomputer assisted proof
Boundary value problems for second-order elliptic equations (35J25) Error bounds for boundary value problems involving PDEs (65N15) Semilinear elliptic equations (35J61)
Related Items (31)
Norm bound computation for inverses of linear operators in Hilbert spaces ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Computer-assisted proofs for semilinear elliptic boundary value problems ⋮ Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents ⋮ Some improvements of invertibility verifications for second-order linear elliptic operators ⋮ A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory ⋮ Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains ⋮ Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces ⋮ Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator ⋮ A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain ⋮ Fast interval matrix multiplication ⋮ A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator ⋮ A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration ⋮ Computer-assisted equilibrium validation for the diblock copolymer model ⋮ Numerical verification for existence of a global-in-time solution to semilinear parabolic equations ⋮ Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain ⋮ Numerical verification method for positive solutions of elliptic problems ⋮ A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems ⋮ Multi-level stabilized algorithms for the stationary incompressible Navier-Stokes equations with damping ⋮ A uniqueness result for a semilinear elliptic problem: a computer-assisted proof ⋮ Rigorous numerical computations for 1D advection equations with variable coefficients ⋮ An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space ⋮ Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems ⋮ A posteriori verification of the positivity of solutions to elliptic boundary value problems ⋮ Orbital stability investigations for travelling waves in a nonlinearly supported beam ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model ⋮ Numerical verification of positiveness for solutions to semilinear elliptic problems ⋮ Finite element approximation of invariant manifolds by the parameterization method ⋮ Rigorous numerical verification of uniqueness and smoothness in a surface growth model
This page was built for publication: Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
