An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems

DOI10.1016/S0024-3795(00)00127-0zbMath0976.65096OpenAlexW2087462537MaRDI QIDQ5929746

Kaori Nagatou, Mitsuhiro T. Nakao

Publication date: 3 July 2001

Published in: Linear Algebra and its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0024-3795(00)00127-0

zbMATH Keywords

stabilitynumerical examplebifurcationnonlinear elliptic PDEeigenvalue enclosinglinearized eigenvalue problem

Mathematics Subject Classification ID

Nonlinear eigenvalue problems and nonlinear spectral theory for PDEs (35P30) Stability and convergence of numerical methods for boundary value problems involving PDEs (65N12) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Algorithms with automatic result verification (65G20)

Related Items

Numerical verification method for infinite dimensional eigenvalue problems ⋮ Response Solutions for Quasi-Periodically Forced, Dissipative Wave Equations ⋮ A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem

Uses Software

• PROFIL/BIAS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Numerical verifications of solutions for nonlinear elliptic equations
• Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
• Solving nonlinear systems with least significant bit accuracy
• On the solution of interval linear systems
• Bounds for eigenvalues of second-order elliptic differential operators
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Best constant in Sobolev inequality
• PROFIL/BIAS - A fast interval library
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• Numerical verifications for eigenvalues of second-order elliptic operators
• A numerical approach to the proof of existence of solutions for elliptic problems II
• A numerical approach to the proof of existence of solutions for elliptic problems
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
• Equivalent Norms for Sobolev Spaces