Computer-assisted enclosure methods for elliptic differential equations
From MaRDI portal
This paper deals with nonlinear boundary value problems of the form \[ -\Delta u+F(x,u,\nabla u)=0 \tag{1} \] on \(\Omega\), \(u=0\) on \(\partial \Omega\), where \(\Omega\subset \mathbb{R}^n\) is a bounded domain with Lipschitz-continuous boundary \(\partial\Omega\), \(F\) is a given nonlinearity on \(\overline \Omega \times\mathbb{R} \times\mathbb{R}^n\) with values \(F(x,y,z) \in\mathbb{R}\), and \(F\) and its derivatives are assumed to be continuous. The author uses computer-assisted methods for proving the existence of a solution to problem (1) within a `close' and explicitly given neighborhood of some approximate solution. The conditions, under which such an existence and enclosure result can be stated, shall moreover be testable in an automatic way on a computer. A new approach which is based on a suitable fixed-point formulation of the problem and uses norm bounds for the inverse of the linearization of the given problem is presented. Finally, a brief description of Nakao's method for obtaining existence and enclosure results for problem (1) is given [cf. \textit{M. T. Nakao}, Computing Suppl. 9, 161-173 (1993; Zbl 0802.65111); \textit{M. T. Nakao} and \textit{N. Yamamoto}, J. Comput. Appl. Math. 60, No. 1-2, 271-279 (1995; Zbl 0832.65123)].
Recommendations
- scientific article; zbMATH DE number 1639666
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Computer-assisted proofs for semilinear elliptic boundary value problems
- scientific article; zbMATH DE number 852355
- Enclosure methods with existence proof for elliptic differential equations
Cites work
- A mountain pass method for the numerical solution of semilinear elliptic problems
- A numerically based existence theorem for the Navier-Stokes equations
- An adaptive numerical integration algorithm with automatic result verification for definite integrals
- Aufgaben monotoner Art
- Computer-assisted existence proofs for two-point boundary value problems
- Equivalent Norms for Sobolev Spaces
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- 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 3933857 (Why is no real title available?)
- scientific article; zbMATH DE number 524105 (Why is no real title available?)
- scientific article; zbMATH DE number 524107 (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 1061013 (Why is no real title available?)
- scientific article; zbMATH DE number 1088117 (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 226866 (Why is no real title available?)
- scientific article; zbMATH DE number 3397998 (Why is no real title available?)
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Operator inequalities
Cited in
(43)- A new computer-assisted analytic method for the Dirichlet and Neumann problems
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Numerical verification of solutions for obstacle problems.
- New solutions of the Gelfand problem
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof
- Enclosure of solutions of weakly nonlinear elliptic boundary value problems and their computation
- Spontaneous periodic orbits in the Navier-Stokes flow
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
- Global dynamics in nonconservative nonlinear Schrödinger equations
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach
- Rigorous enclosures of solutions of Neumann boundary value problems
- Numerical verification method for positive solutions of elliptic problems
- Rigorous validation of stochastic transition paths
- A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
- A-posteriori error estimates for optimal control problems with state and control constraints
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- An analytic approach to solve multiple solutions of a strongly nonlinear problem
- scientific article; zbMATH DE number 1694902 (Why is no real title available?)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- A Posteriori Verification of Optimality Conditions for Control Problems with Finite-Dimensional Control Space
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- A priori and a posteriori analysis of the quasinonlocal quasicontinuum method in 1D
- Numerical verification of positiveness for solutions to semilinear elliptic problems
- Global smooth solution curves using rigorous branch following
- Enclosure methods with existence proof for elliptic differential equations
- Numerical verification for solutions to partial differential equations
- scientific article; zbMATH DE number 804855 (Why is no real title available?)
- Adaptive local minimax Galerkin methods for variational problems
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Analysis of a quasicontinuum method in one dimension
- A priori error analysis of two force-based atomistic/continuum models of a periodic chain
- Computational fixed-point theory for differential delay equations with multiple time lags
- Detecting random bifurcations via rigorous enclosures of large deviations rate functions
- 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
- Some remarks on the behaviour of the finite element solution in nonsmooth domains
- Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator
- Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
- A numerical approach to the proof of existence of solutions for some generalized obstacle problems
This page was built for publication: Computer-assisted enclosure methods for elliptic differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5929750)
