Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems

DOI10.1016/0022-247X(92)90067-NzbMath0780.35028MaRDI QIDQ1193187

Michael Plum

Publication date: 27 September 1992

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

zbMATH Keywords

nonlinear boundary-value problems; second-order linear elliptic operator

Mathematics Subject Classification ID

35J25: Boundary value problems for second-order elliptic equations

35J65: Nonlinear boundary value problems for linear elliptic equations

35B45: A priori estimates in context of PDEs

Related Items

An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness, An enclosure method of eigenvalues for the elliptic operator linearized at an exact solution of nonlinear problems, Computer-assisted enclosure methods for elliptic differential equations, Bounds for eigenvalues of second-order elliptic differential operators, Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems, On computational proofs of the existence of solutions to nonlinear parabolic problems, Bounds for the \(N\) lowest eigenvalues of fourth-order boundary value problems, Numerical verification of solutions for nonlinear hyperbolic equations, Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method, Numerical verification of solutions for some unilateral boundary value problems., Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof., Computational proofs of the existence of solutions to elasto-plastic torsion problems, Numerical verification of solutions for a simplified Signorini problem, Multiple solutions for a semilinear boundary value problem: A computational multiplicity proof, 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, A numerical existence proof of nodal lines for the first eigenfunction of the plate equation, A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

Cites Work

• New bounds for solutions of second order elliptic partial differential equations
• A programmed algorithm for existence proofs for two-point boundary value problems
• Eigenvalue inclusions for second-order ordinary differential operators by a numerical homotopy method
• Operator inequalities
• Bounds for eigenvalues of second-order elliptic differential operators
• Linear and quasilinear elliptic equations
• Principio di massimo generalizzato e valutazione del primo autovalore per problemi ellittici del secondo ordine di tipo variazionale
• An Existence and Inclusion Method for Two‐Point Boundary Value Problems with Turning Points
• On kernels, eigenvalues, and eigenfunctions of operators related to elliptic problems
• Equivalent Norms for Sobolev Spaces
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item