Bounds for eigenvalues of second-order elliptic differential operators

From MaRDI portal
Publication:1186489

DOI10.1007/BF00944567zbMath0749.35028MaRDI QIDQ1186489

Michael Plum

Publication date: 28 June 1992

Published in: ZAMP. Zeitschrift für angewandte Mathematik und Physik (Search for Journal in Brave)




Related Items (28)

An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local UniquenessFlux reconstructions in the Lehmann-Goerisch method for lower bounds on eigenvaluesThe finite element-Galerkin method for singular self-adjoint differential equationsExistence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problemsBounds for the \(N\) lowest eigenvalues of fourth-order boundary value problemsRigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square ExponentsA numerical existence proof of nodal lines for the first eigenfunction of the plate equationSpectral pollution and eigenvalue boundsOn the quality of complementary bounds for eigenvaluesMultiple solutions for a semilinear boundary value problem: a computational multiplicity proof.Computation of Tight Enclosures for Laplacian EigenvaluesA new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operatorGuaranteed high-precision estimation for \(P_0\) interpolation constants on triangular finite elementsAccurate numerical bounds for the spectral points of singular Sturm-Liouville problems over \(-\infty< x<\infty\)A framework of verified eigenvalue bounds for self-adjoint differential operatorsExplicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problemsNumerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problemsAn enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problemsNumerical verifications for eigenvalues of second-order elliptic operatorsNUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONSA computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beamA numerical proof algorithm for the non-existence of solutions to elliptic boundary value problemsGuaranteed Eigenvalue Bounds for the Steklov Eigenvalue ProblemInverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problemsMultiple solutions for a semilinear boundary value problem: A computational multiplicity proofA hierarchical method for obtaining eigenvalue enclosuresFree and forced vibrations of trusses by Fourier decomposition, and homotopy methods for nonlinear matrix eigenvalue problems. I: MethodsThe Computation of Thresholds for Schrödinger Operators


Uses Software


Cites Work


This page was built for publication: Bounds for eigenvalues of second-order elliptic differential operators