Computer-assisted existence proofs for two-point boundary value problems
From MaRDI portal
Publication:1174351
DOI10.1007/BF02239009zbMath0782.65107OpenAlexW83184700MaRDI QIDQ1174351
Publication date: 25 June 1992
Published in: Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02239009
numerical exampleserror boundsbifurcation diagramstwo-point boundary value problemsforced pendulum equationcomputer-assisted existence proofsNewton-collocation method
Nonlinear boundary value problems for ordinary differential equations (34B15) Bifurcation theory for ordinary differential equations (34C23) Numerical solution of boundary value problems involving ordinary differential equations (65L10) Error bounds for numerical methods for ordinary differential equations (65L70)
Related Items
Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation, A posteriori error bounds for two point boundary value problems: a Green's function approach, Numerical verification of existence and inclusion of solutions for nonlinear operator equations, 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, Comparison of direct to shooting enclosures for an inverse-monotone boundary value problem with locally steep solution, Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems, Validated numerical approximation of stable manifolds for parabolic partial differential equations, Numerical verification of solutions for obstacle problems., On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems, A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations, Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems, Computer-assisted enclosure methods for elliptic differential equations, 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, 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 symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method, Rigorous numerical computations for 1D advection equations with variable coefficients, Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains, Verified computation of solutions for obstacle problems with guaranteed \(L^\infty\) error bound
Uses Software
Cites Work
- Ein Axiomensystem für den Anschauungsraum. (An axiom system for the Euclidean space)
- A programmed algorithm for existence proofs for two-point boundary value problems
- Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
- Operator inequalities
- Schwankung von Polynomen zwischen Gitterpunkten. (Oscillations of polynomials between lattice points)
- Fehlerschranken für Näherungslösungen bei Differentialgleichungen
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
