11 citations · 21 across the 7 of their papers we have counts for
5 papers · 1 filter
A new formulation for the numerical proof of the existence of solutions to elliptic problems
Kouta Sekine, Mitsuhiro T. Nakao, Shin'ichi Oishi
Infinite-dimensional Newton methods can be effectively used to derive numerical proofs of the existence of solutions to partial differential equations (PDEs). In computer-assisted…
Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems
Kouta Sekine, Kazuaki Tanaka, Shin'ichi Oishi
In numerical existence proofs for solutions of the semi-linear elliptic system, evaluating the norm of the inverse of a perturbed Laplace operator plays an important role. We revea…
Numerical verification method for positiveness of solutions to elliptic equations
Kazuaki Tanaka, Kouta Sekine, Shin'ichi Oishi
In this paper, we propose a numerical method for verifying the positiveness of solutions to semilinear elliptic equations. We provide a sufficient condition for a solution to an el…
Rigorous numerical enclosures for positive solutions of Lane-Emden's equation with sub-square exponents
Kazuaki Tanaka, Michael Plum, Kouta Sekine +2
The purpose of this paper is to obtain rigorous numerical enclosures for solutions of Lane-Emden's equation with homogeneous Dirichlet boundary conditions. We pro…
Sharp numerical inclusion of the best constant for embedding on bounded convex domain
Kazuaki Tanaka, Kouta Sekine, Makoto Mizuguchi +1
In this paper, we propose a verified numerical method for obtaining a sharp inclusion of the best constant for the embedding on bounded conv…