Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
From MaRDI portal
Publication:1193187
DOI10.1016/0022-247X(92)90067-NzbMath0780.35028MaRDI QIDQ1193187
Publication date: 27 September 1992
Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)
Boundary value problems for second-order elliptic equations (35J25) Nonlinear boundary value problems for linear elliptic equations (35J65) A priori estimates in context of PDEs (35B45)
Related Items
An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid, Worst case error bounds for the solution of uncertain Poisson equations with mixed boundary conditions, Microscopic patterns in the 2D phase-field-crystal model, On computational proofs of the existence of solutions to nonlinear parabolic problems, Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem, An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness, A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid, Norm bound computation for inverses of linear operators in Hilbert spaces, A numerical verification method for two-coupled elliptic partial differential equations, Computer-assisted proofs for semilinear elliptic boundary value problems, Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem, Numerical verification method for infinite dimensional eigenvalue problems, Linearization of elasticity models for incompressible materials, 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, Bounds for the \(N\) lowest eigenvalues of fourth-order boundary value problems, Stability estimates for systems with small cross-diffusion, Shape-invariant bounds for reaction-diffusion systems with unequal diffusion coefficients, Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents, Numerical verification for solutions to partial differential equations, Pointwise bounds for linear reaction-diffusion systems and an extension to nonlinear problems, Numerical verification of solutions for nonlinear hyperbolic equations, Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method, Some improvements of invertibility verifications for second-order linear elliptic operators, A numerical existence proof of nodal lines for the first eigenfunction of the plate equation, VERIFIED COMPUTATIONS OF SOLUTIONS FOR SOME UNILATERAL BOUNDARY VALUE PROBLEMS FOR SECOND ORDER EQUATIONS, Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd, A Self-Concordant Interior Point Approach for Optimal Control with State Constraints, A Posteriori Validation of Generalized Polynomial Chaos Expansions, Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation, Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity, Numerical verification of solutions for some unilateral boundary value problems., Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof., Certified error bounds for uncertain elliptic equations, A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations, Bounds for eigenvalues of second-order elliptic differential operators, A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration, Explicit lower bounds for Stokes eigenvalue problems by using nonconforming finite elements, Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems, A counterexample to Payne's nodal line conjecture with few holes, The Weak Galerkin Method for Elliptic Eigenvalue Problems, 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, Numerical verifications for eigenvalues of second-order elliptic operators, 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, Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem, A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems, Guaranteed Eigenvalue Bounds for the Steklov Eigenvalue Problem, A uniqueness result for a semilinear elliptic problem: a computer-assisted proof, An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space, Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems, A posteriori verification of the positivity of solutions to elliptic boundary value problems, Global dynamics in nonconservative nonlinear Schrödinger equations, 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
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
