Search

We provide an accurate verification method for solutions of heat equations with a superlinear nonlinearity. The verification method numerically proves the existence and local uniqueness of the exact solution in a neighborhood of a numerically computed approximate solution. Our method is based on a fixed-point formulation using the evolution operator, an iterative numerical verification scheme to extend a time interval in which the validity of the solution can be verified, and rearranged error estimates for avoiding the propagation of an overestimate. As a result, compared with the previous verification method using the analytic semigroup, our method can enclose the solution for a longer time. Some numerical examples are presented to illustrate the efficiency of our verification method., Comment: 26 pages, 4 figures, The accepted version is uploaded

This paper is concerned with an explicit value of the embedding constant from $W^{1,q}(\Omega)$ to $L^{p}(\Omega)$ for a bounded domain $\Omega\subset\mathbb{R}^N~(N\in\mathbb{N})$, where $1\leq q\leq p\leq \infty$. To obtain this value, we previously proposed a formula for estimating the embedding constant on bounded and unbounded Lipschitz domains by estimating the norm of Stein's extension operator, in the article (K. Tanaka, K. Sekine, M. Mizuguchi, and S. Oishi, Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator, Journal of Inequalities and Applications, Vol. 389, pp. 1-23, 2015). This formula is also applicable to a domain that can be divided into Lipschitz domains. However, the values computed by the previous formula are very large. In this paper, we propose several sharper estimations of the embedding constant on a bounded domain that can be divided into convex domains., Comment: 18 pages, 7 figures

This paper focuses on blow-up solutions of ordinary differential equations (ODEs). We present a method for validating blow-up solutions and their blow-up times, which is based on compactifications and the Lyapunov function validation method. The necessary criteria for this construction can be verified using interval arithmetic techniques. Some numerical examples are presented to demonstrate the applicability of our method., Comment: Accepted version, to appear in Journal of Computational and Applied Mathematics

In this paper, we propose a verified numerical method for obtaining a sharp inclusion of the best constant for the embedding $H_{0}^{1}(\Omega) \hookrightarrow L^{p}(\Omega)$ on bounded convex domain in $\mathbb{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., Comment: 12 pages, 1 figure

In this paper, we propose a method for estimating the Sobolev type embedding constant on a domain with minimally smooth boundary. We estimate the embedding constant by constructing an extension operator and computing its operator norm. We also present some examples of estimating the embedding constant for certain domains., Comment: 22 pages, 5 figures