Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain

DOI10.1016/j.cam.2016.07.021zbMath1382.65149arXiv1503.05468OpenAlexW2502522860MaRDI QIDQ730551

Kazuaki Tanaka, Makoto Mizuguchi, Kouta Sekine, Shin'ichi Oishi

Publication date: 28 December 2016

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1503.05468

zbMATH Keywords

error boundsSobolev inequalityelliptic problemcomputer-assisted proofembedding constantverified numerical computation

Mathematics Subject Classification ID

General theory of numerical analysis in abstract spaces (65J05) Estimates of eigenvalues in context of PDEs (35P15) Variational methods for second-order elliptic equations (35J20) Inequalities applied to PDEs involving derivatives, differential and integral operators, or integrals (35A23) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91)

Related Items

Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents, Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains, A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations, Numerical verification method for positive solutions of elliptic problems, A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems, Numerical verification for asymmetric solutions of the Hénon equation on bounded domains, Convergence rate of the finite element approximation for extremizers of Sobolev inequalities on 2D convex domains, A posteriori verification of the positivity of solutions to elliptic boundary value problems

Uses Software

• INTLAB
• kv

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A numerical investigation of level sets of extremal Sobolev functions
• Interpolating between torsional rigidity and principal frequency
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Uniqueness of positive solutions of semilinear elliptic equations and related eigenvalue problems
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Computer-assisted existence proofs for two-point boundary value problems
• Best constant in Sobolev inequality
• Problèmes isoperimetriques et espaces de Sobolev
• Uniqueness of least energy solutions to a semilinear elliptic equation in \(\mathbb{R}^ 2\)
• Elliptic partial differential equations of second order
• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
• 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
• High-Precision Eigenvalue Bound for the Laplacian with Singularities
• Verified Eigenvalue Evaluation for the Laplacian over Polygonal Domains of Arbitrary Shape
• A numerical approach to the proof of existence of solutions for elliptic problems
• Computer-assisted enclosure methods for elliptic differential equations
• A uniqueness result for a semilinear elliptic equation in symmetric domains