A numerical method to verify the elliptic eigenvalue problems including a uniqueness property

DOI10.1007/S006070050054MaRDI QIDQ1818413zbMATH OpenOpenAlexFDO

Authors Kaori Nagatou

Publication date 1 February 2000

Published in Computing (Search for Journal in Brave)

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

zbMATH Keywords

elliptic eigenvalue problemsfinite elementinclusion setsnumerical resultsverification method

Mathematics Subject Classification ID

Estimates of eigenvalues in context of PDEs (35P15) Algorithms with automatic result verification (65G20) Numerical methods for eigenvalue problems for boundary value problems involving PDEs (65N25) Finite element, Rayleigh-Ritz and Galerkin methods for boundary value problems involving PDEs (65N30)

Review text

A verification method proposed by \textit{K. Nagatou}, \textit{N. Yamamoto} and \textit{M. T. Nakao} [An approach to the numerical verification of solutions for nonlinear elliptic problems with local uniqueness. Numer. Funct. Anal. Optim. 20, No. 5-6, 543-565 (1959)] in the context of nonlinear boundary value problems, is extended to elliptic eigenvalue problems \(-\Delta u+ qu=\lambda u\) in \(\Omega\), \(u=0\) on \(\partial\Omega\) under the normalization \(\int_\Omega u^2dx= 1\). Here, \(\Delta\) denotes the Laplace operator on a bounded convex domain \(\Omega\subset \mathbb{R}^2\). Using accurate finite element approximations to eigensolutions \((u,\lambda)\in H^1_0(\Omega)\times \mathbb{R}\) together with certain a posteriori estimates, Banach's fixed point theorem can be applied, provided that some verification condition is satisfied. In this way the author obtains inclusion sets for locally unique solutions \((u,\lambda)\) and separately for \(\lambda\) as well. Two examples are treated and numerical results are presented.

Recommendations

• Numerical verifications for eigenvalues of second-order elliptic operators
• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• Numerical verifications of solutions for nonlinear elliptic equations

Cited in

(12)

• Verified numerical computations for multiple and nearly multiple eigenvalues of elliptic operators
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• A posteriori verification of the positivity of solutions to elliptic boundary value problems
• Numerical verifications for eigenvalues of second-order elliptic operators
• A computer-assisted method for excluding eigenvalues of an elliptic operator linearized at a solution of a nonlinear problem
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• VERIFIED NUMERICAL COMPUTATIONS FOR EIGENVALUES OF NON-COMMUTATIVE HARMONIC OSCILLATORS
• An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems
• Verified numerical computations for an inverse elliptic eigenvalue problem with finite data
• A computer‐assisted method for the diblock copolymer model
• Numerical verification method for infinite dimensional eigenvalue problems

Describes a project that uses

Uses Software

• PROFIL/BIAS

This page was built for publication: A numerical method to verify the elliptic eigenvalue problems including a uniqueness property

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