Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems

DOI10.1007/BF02238648zbMath0771.65087OpenAlexW1523195725MaRDI QIDQ1195791

Michael Plum

Publication date: 13 January 1993

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02238648

zbMATH Keywords

existencenumerical examplesnonlinear elliptic boundary value problemsenclosurecomputer-assisted methodeigenvalue boundsexplicit bounds for solutionsexplicit Sobolev imbeddingsnumerical existence proofs

Mathematics Subject Classification ID

Nonlinear boundary value problems for linear elliptic equations (35J65) Error bounds for boundary value problems involving PDEs (65N15) Interval and finite arithmetic (65G30) Applications to the sciences (65Z05)

Related Items

Norm bound computation for inverses of linear operators in Hilbert spaces, Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems, Verified solution of large systems and global optimization problems, Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element, Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits, Fast interval matrix multiplication, A framework of verified eigenvalue bounds for self-adjoint differential operators, Numerical verifications of solutions for nonlinear elliptic equations, Computer-assisted enclosure methods for elliptic differential equations, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam, Global dynamics in nonconservative nonlinear Schrödinger equations, Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators

Uses Software

• ACRITH-XSC

Cites Work

• A programmed algorithm for existence proofs for two-point boundary value problems
• Operator inequalities
• Computer-assisted existence proofs for two-point boundary value problems
• Bounds for eigenvalues of second-order elliptic differential operators
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Schwankung von Polynomen zwischen Gitterpunkten. (Oscillations of polynomials between lattice points)
• Linear and quasilinear elliptic equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item