BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Shin'ichi Oishi

Shin'ichi Oishi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NAmath.FAmath-phmath.APmath.MPnlin.CDNumerical Analysismath.DGmath.DSmath.GNmath.GTnlin.AOnlin.PS

Catalog footprint

What is connected

10works
13topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2021arXiv

Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains

This paper proposes a computer-assisted solution existence verification method for the stationary Navier-Stokes equation over general 3D domains. The proposed method verifies that the exact solution as the fixed point of the Newton iteration exists around the approximate solution through rigorous computation and error estimation. The explicit values of quantities required by applying the fixed point theorem are obtained by utilizing newly developed quantitative error estimation for finite element solutions to boundary value problems and eigenvalue problems of the Stokes equation.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Explicit a posteriori and a priori error estimation for the finite element solution of Stokes equations

For the Stokes equation over 2D and 3D domains, explicit a posteriori and a priori error estimation are novelly developed for the finite element solution. The difficulty in handling the divergence-free condition of the Stokes equation is solved by utilizing the extended hypercircle method along with the Scott-Vogelius finite element scheme. Since all terms in the error estimation have explicit values, by further applying the interval arithmetic and verified computing algorithms, the computed results provide rigorous estimation for the approximation error. As an application of the proposed error estimation, the eigenvalue problem of the Stokes operator is considered and rigorous bounds for the eigenvalues are obtained. The efficiency of proposed error estimation is demonstrated by solving the Stokes equation on both convex and non-convex 3D domains.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains

This paper is concerned with an explicit value of the embedding constant from $W^{1,q}(Ω)$ to $L^{p}(Ω)$ for a bounded domain $Ω\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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Numerical validation of blow-up solutions of ordinary differential equations

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Verified computations for hyperbolic 3-manifolds

For a given cusped 3-manifold $M$ admitting an ideal triangulation, we describe a method to rigorously prove that either $M$ or a filling of $M$ admits a complete hyperbolic structure via verified computer calculations. Central to our method are an implementation of interval arithmetic and Krawczyk's Test. These techniques represent an improvement over existing algorithms as they are faster, while accounting for error accumulation in a more direct and user friendly way.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Verified eigenvalue evaluation for Laplacian over polygonal domain of arbitrary shape

The finite element method(FEM) is applied to bound leading eigenvalues of Laplace operator over polygonal domain. Compared with classical numerical methods, most of which can only give concrete eigenvalue bounds over special domain of symmetry, our proposed algorithm can provide concrete eigenvalue bounds for domain of arbitrary shape, even in the case that eigenfunction has singularity. The problem of eigenvalue estimation is solved in two steps. First, we construct computable a priori error estimation for FEM solution of Poisson's problem even for non-convex domain with re-entrant corner. Second, a new computable lower and upper bounds is developed for eigenvalues. As the interval arithmetic is implemented in the FEM computation, the desired eigenvalue bounds can be expected to be mathematically correct. The Lehmann's theorem is also adopted to sharpen the eigenvalue bounds with high precision. At the end of this paper, we illustrate several computation examples, such as the case of L-shaped domain and crack domain, to demonstrate the efficiency and flexibility of proposed method.

0 citations0 reviewsNo code linkedOpen access