Kouta Sekine

Sharp numerical inclusion of the best constant for embedding H 0 1 ( ź ) ź L p ( ź ) on bounded convex domain

In this paper, we propose a verified numerical method for obtaining a sharp inclusion of the best constant for the embedding H 0 1 ( ź ) ź L p ( ź ) on a bounded convex domain in R 2 . 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.In this paper, we propose a verified numerical method for obtaining a sharp inclusion of the best constant for the embedding

Verified numerical computation for semilinear elliptic problems with lack of Lipschitz continuity of the first derivative

H_{0}^{1}(\Omega) \hookrightarrow L^{p}(\Omega)

Improved error bounds for linear systems with H-matrices

on bounded convex domain in

Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator

\mathbb{R}^{2}

Fast Verified Solutions of Sparse Linear Systems with H-matrices.

. 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.