Computer-assisted proofs for semilinear elliptic boundary value problems
From MaRDI portal
Recommendations
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Computer-assisted existence and uniqueness proofs for semilinear elliptic boundary value problems
- scientific article; zbMATH DE number 1639666
Cites work
- A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam
- A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- A mountain pass method for the numerical solution of semilinear elliptic problems
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Aufgaben monotoner Art
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- 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
- scientific article; zbMATH DE number 3141554 (Why is no real title available?)
- scientific article; zbMATH DE number 4138299 (Why is no real title available?)
- scientific article; zbMATH DE number 3755327 (Why is no real title available?)
- scientific article; zbMATH DE number 16213 (Why is no real title available?)
- scientific article; zbMATH DE number 524105 (Why is no real title available?)
- scientific article; zbMATH DE number 714520 (Why is no real title available?)
- scientific article; zbMATH DE number 1055003 (Why is no real title available?)
- scientific article; zbMATH DE number 804855 (Why is no real title available?)
- scientific article; zbMATH DE number 903765 (Why is no real title available?)
- scientific article; zbMATH DE number 3895476 (Why is no real title available?)
- scientific article; zbMATH DE number 3239038 (Why is no real title available?)
- scientific article; zbMATH DE number 3337983 (Why is no real title available?)
- scientific article; zbMATH DE number 3355566 (Why is no real title available?)
- scientific article; zbMATH DE number 3397998 (Why is no real title available?)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- New solutions of the Gelfand problem
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Optimale Eigenwerteinschließungen
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Variational bounds to eigenvalues of selfadjoint eigenvalue problems with arbitrary spectrum
- Vom Defekt ausgehende Fehlerabschätzungen bei Differentialgleichungen
Cited in
(43)- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Computer-assisted existence proofs for two-point boundary value problems
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- 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 proofs for radially symmetric solutions of PDEs
- Equilibrium validation in models for pattern formation based on Sobolev embeddings
- 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
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
- Computational complexity of classical solutions of partial differential equations
- 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
- 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
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane
- Some remarks on the rigorous estimation of inverse linear elliptic operators
- Validated saddle-node bifurcations and applications to lattice dynamical systems
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- A posteriori error bounds for two point boundary value problems: a Green's function approach
- scientific article; zbMATH DE number 67122 (Why is no real title available?)
- Numerical analysis of semilinear elliptic equations with finite spectral interaction
- Computer-assisted bifurcation diagram validation and applications in materials science
- On computation of solution curves for semilinear elliptic problems
- scientific article; zbMATH DE number 1432037 (Why is no real title available?)
- Rigorous FEM for One-Dimensional Burgers Equation
- Computer-assisted equilibrium validation for the diblock copolymer model
- Microscopic patterns in the 2D phase-field-crystal model
- Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems
- Computer assisted proofs for spectral problems
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
- Numerical verification methods and computer-assisted proofs for partial differential equations
- Computer-assisted existence and uniqueness proofs for semilinear elliptic boundary value problems
- Computer-assisted enclosure methods for elliptic differential equations
- Numerical existence and uniqueness proof for solutions of nonlinear hyperbolic equations
- Computer-assisted proofs for some nonlinear diffusion problems
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- Sharp numerical inclusion of the best constant for embedding H₀^1() L^p() on bounded convex domain
- Exact real computation of solution operators for linear analytic systems of partial differential equations
- Towards computability of elliptic boundary value problems in variational formulation
This page was built for publication: Computer-assisted proofs for semilinear elliptic boundary value problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q849190)
