Computer-assisted proofs for semilinear elliptic boundary value problems
From MaRDI portal
Publication:849190
DOI10.1007/BF03186542zbMath1186.35073MaRDI QIDQ849190
Publication date: 25 February 2010
Published in: Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jjiam/1265033789
existencemultiplicityerror boundscomputer-assisted proofsemilinear elliptic boundary value problemenclosures
Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Boundary value problems for second-order elliptic equations (35J25) Applications of operator theory to differential and integral equations (47N20) Semilinear elliptic equations (35J61)
Related Items
Microscopic patterns in the 2D phase-field-crystal model, Exact real computation of solution operators for linear analytic systems of partial differential equations, Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, Non-radial solutions for some semilinear elliptic equations on the disk, Computer-assisted bifurcation diagram validation and applications in materials science, Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators, Some improvements of invertibility verifications for second-order linear elliptic operators, Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane, Numerical analysis of semilinear elliptic equations with finite spectral interaction, 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, On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems, Computer-assisted equilibrium validation for the diblock copolymer model, Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation, Equilibrium validation in models for pattern formation based on Sobolev embeddings, Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain, Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators, A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems, Numerical verification for asymmetric solutions of the Hénon equation on bounded domains, Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems, Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains, A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations, Rigorous FEM for One-Dimensional Burgers Equation, Computational complexity of classical solutions of partial differential equations
Uses Software
Cites Work
- Vom Defekt ausgehende Fehlerabschätzungen bei Differentialgleichungen
- 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
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- New solutions of the Gelfand problem
- Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- Optimale Eigenwerteinschließungen
- Aufgaben monotoner Art
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- A mountain pass method for the numerical solution of semilinear elliptic problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item