@article{f4a532c746484ff68fd9dd9305b0fa02,
title = "Sharp numerical inclusion of the best constant for embedding H01(Ω)↪Lp(Ω) on bounded convex domain",
abstract = "In this paper, we propose a verified numerical method for obtaining a sharp inclusion of the best constant for the embedding H01(Ω)↪Lp(Ω) on a bounded convex domain in R2. We estimate the best constant by computing the corresponding extremal function using a verified numerical computation. Verified numerical inclusions of the best constant on a square domain are presented.",
keywords = "Computer-assisted proof, Elliptic problem, Embedding constant, Error bounds, Sobolev inequality, Verified numerical computation",
author = "Kazuaki Tanaka and Kouta Sekine and Makoto Mizuguchi and Shin'ichi Oishi",
note = "Funding Information: Technical Research Council (CONICET) under Grant PIP 2013-2015 GI, 11220120100202CO; and Fundaci{\'o}n Articular, Quilmes, Argentina. Funding Information: Funding: this work was supported by the Argentinean National Scientific and Publisher Copyright: {\textcopyright} 2016 Elsevier B.V.",
year = "2017",
month = feb,
day = "1",
doi = "10.1016/j.cam.2016.07.021",
language = "English",
volume = "311",
pages = "306--313",
journal = "Journal of Computational and Applied Mathematics",
issn = "0377-0427",
publisher = "Elsevier",
}