Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
From MaRDI portal
Publication:1900760
DOI10.1016/0377-0427(94)00091-EzbMath0834.65119MaRDI QIDQ1900760
Publication date: 23 October 1995
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
Nonlinear boundary value problems for linear elliptic equations (35J65) Interval and finite arithmetic (65G30) Parallel numerical computation (65Y05) Applications to the sciences (65Z05)
Related Items
Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions, Numerical method with guaranteed accuracy of a double turning point for a radially symmetric solution of the perturbed Gelfand equation, Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions, An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness, Norm bound computation for inverses of linear operators in Hilbert spaces, A numerical verification method for two-coupled elliptic partial differential equations, Computer-assisted proofs for semilinear elliptic boundary value problems, Rigorous enclosures of solutions of Neumann boundary value problems, Continuation of solutions and studying delay differential equations via rigorous numerics, Computer-assisted bifurcation diagram validation and applications in materials science, Rigorous continuation of bifurcation points in the diblock copolymer equation, Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation, A rigorous implicit \(C^1\) Chebyshev integrator for delay equations, VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS, Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model, Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation, Numerical verification of solutions for obstacle problems., Certified error bounds for uncertain elliptic equations, An approach to the numerical verification of solutions for variational inequalities using Schauder fixed point theory, A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration, Computer-assisted equilibrium validation for the diblock copolymer model, An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems, Generalized Lyapunov-Schmidt reduction for parametrized equations at near singular points, Computer-assisted enclosure methods for elliptic differential equations, Numerical verifications for eigenvalues of second-order elliptic operators, Global smooth solution curves using rigorous branch following, 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, A numerical approach to the proof of existence of solutions for some generalized obstacle problems, Equilibrium validation in models for pattern formation based on Sobolev embeddings, Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems, Orbital stability investigations for travelling waves in a nonlinearly supported beam, Computational proofs of the existence of solutions to elasto-plastic torsion problems, Rigorous validation of stochastic transition paths, Finite element approximation of invariant manifolds by the parameterization method
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the monotone convergence of Newton's method
- Computing turning points of curves implicitly defined by nonlinear equations depending on a parameter
- 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
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Numerical verification of solutions of parametrized nonlinear boundary value problems with turning points
- Optimale Eigenwerteinschließungen
- A numerical approach to the proof of existence of solutions for elliptic problems II
- An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
- Equivalent Norms for Sobolev Spaces
- Approximate Solutions of Transport Problems. II. Convergence and Applications of the Discrete Ordinate Method
