A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem

DOI10.1007/S13160-015-0167-7MaRDI QIDQ2352149zbMATH OpenOpenAlexFDO

Authors Shuting Cai, Yoshitaka Watanabe

Publication date 30 June 2015

Published in Japan Journal of Industrial and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s13160-015-0167-7

zbMATH Keywords

computer-assisted methodelliptic operatorexcluding eigenvalueslinearized operator

Mathematics Subject Classification ID

Boundary value problems for second-order elliptic systems (35J57) Nonlinear eigenvalue problems and nonlinear spectral theory for PDEs (35P30) Spectrum, resolvent (47A10) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25)

Recommendations

• An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
• Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
• Computer-assisted enclosure methods for elliptic differential equations
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• A numerical method to verify the elliptic eigenvalue problems including a uniqueness property

Cites work

• A numerical approach to the proof of existence of solutions for elliptic problems
• A numerical verification method for a system of FitzHugh-Nagumo type
• An efficient approach to the numerical verification for solutions of elliptic differential equations
• An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
• scientific article; zbMATH DE number 51162 (Why is no real title available?)
• scientific article; zbMATH DE number 3491650 (Why is no real title available?)
• scientific article; zbMATH DE number 3533576 (Why is no real title available?)
• Numerical verification method for infinite dimensional eigenvalue problems
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Numerical verification of stationary solutions for Navier-Stokes problems
• Pattern formation in a reaction-diffusion ratio-dependent predator-prey model
• Stability analysis of Turing patterns generated by the Schnakenberg model
• Standing waves joining with Turing patterns in Fitzhugh-Nagumo type systems
• The chemical basis of morphogenesis
• Verification methods: rigorous results using floating-point arithmetic
• Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces

Cited in

(5)

• Response Solutions for Quasi-Periodically Forced, Dissipative Wave Equations
• Verified computations of eigenvalue exclosures for eigenvalue problems in Hilbert spaces
• An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
• A computer‐assisted method for the diblock copolymer model
• Stability analysis of Kolmogorov flow by an eigenvalue excluding method

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2352149)