SearcharxivSearch

arXiv subjects

Tsukasa Iwabuchi

Publications and source records attributed to Tsukasa Iwabuchi.

At least 19 recordsLinked to original sources

Besov spaces associated with the Harmonic oscillator

The Besov space associated with the harmonic oscillator is introduced and thoroughly explored in this paper. It provides a comprehensive summary of the fundamental concepts of the Besov spaces, their embedding properties, bilinear estimates, and related topics.

math.AP

Incompressible Euler equations in 3D bounded domains in a critical space

We consider the 3D incompressible Euler equations in bounded domains $Ω$ with smooth boundary $\partialΩ$. Based on the paper by Iwabuchi, Matsuyama and Taniguchi (2019), we define the Besov space $B^s_{p, q}(A)$ by means of the Stokes operator $A$ with the Neumann boundary condition on $\partialΩ$, and prove unique local existence theorem of strong solution for the initial data in the critical Besov space $B^{\frac52}_{2, 1}(A)$. Our proof relies on the method of vanishing viscosity. The commutator estimate plays an essential role for derivation of energy bounds which hold uniformly with respect to viscosity constants.

math.AP

Unique existence of solutions to the inviscid SQG equation in a critical space

We study the Cauchy problem for the surface quasi-geostrophic (SQG) equations in a two-dimensional bounded domain with the homogeneous Dirichlet boundary condition. We establish the unique existence of strong solutions in the critical Besov space $\dot B^2_{2,1}$, which is embedded in $C^1$. The proof is based on spectral localization using dyadic decomposition associated with the Dirichlet Laplacian. We obtain the solution by establishing uniform estimates for a sequence of solutions to the equation with a regularized nonlinear term.

math.AP

Higher-order derivative estimates for the parabolic Lamé system on a smooth bounded domain

We consider the parabolic Lamé system on a bounded domain. We focus on two types of inequalities for higher-order derivatives of solutions. The first is related to an $L^p$-$L^p$ estimate locally in time in the Lebesgue space setting, which includes the endpoint cases $p=1$ and $p=\infty$. The second concerns an equivalent norm of Besov spaces by means of the solution of the parabolic Lamé system.

math.AP

Besov space approach to the Navier-Stokes equations with the Neumann boundary condition in bounded domains

Based on the analysis by Iwabuchi-Matsuyama-Taniguchi (2019), we first introduce our framework of Besov spaces $\dot B^s_{p, q}$ on the bounded domain $Ω\subset {\mathbb R}^d$ with smooth boundary $\partial Ω$ in terms of the Stokes operator $A=A_2$ with the Neumann boundary condition on $\partialΩ$ in $L^2_σ(Ω)$. Under some geometric assumption on $Ω$, we establish $L^p-L^q$ type estimates of the semi-group $\{e^{-tA}\}_{t \ge 0}$ in $\dot B^s_{p, q}$ and prove a local well-posedness of the Navier-Stokes equations with the initial data in $\dot B^{-1+\frac dp }_{p, q}$ for $d < p < \infty$ and $1 \le q \le \infty$. Since $d < p$, we have $L^{d, \infty} \subset \dot B^{-1+\frac dp }_{p, \infty}$ so that our space for well-posedness is larger than any other previous one in bounded domains.

math.AP

On the uniqueness of the quasi-geostrophic equation with the fractional Laplacian

We consider the uniqueness of the solution of the surface quasi-geostrophic equation with fractional Laplacian. We show that the uniqueness holds in non-homogeneous Besov spaces without any additional assumption which is supposed to constract solutions. When the power of the fractional Laplacian is close to 2, we prove that the uniqueness with the regularity index $s=-1/2$. We extract the least regularity $s=-1/2$ for the well-definedness of the nonlinear term of the equation.

math.AP

Higher-order derivative estimates for the heat equation on a smooth domain

We consider the linear heat equation on a bounded domain and on an exterior domain. We study estimates of any order derivatives of the solution locally in time in the Lebesgue spaces. We give a proof of the estimates in the end-point cases $p = 1, \infty$. We also obtain derivative estimates for the equation with the fractional Dirichlet Laplacian.

math.AP

Sharp well-posedness and ill-posedness of the stationary quasi-geostrophic equation

We consider the stationary problem for the quasi-geostrophic equation on the whole plane and investigate its well-posedness and ill-posedness. In[Fujii, Ann. PDE 10, 10 (2024)], it was shown that the two-dimensional stationary Navier--Stokes equations are ill-posed in the critical Besov spaces $\dot B_{p,1}^{\frac{2}{p}-1}(\mathbb{R}^2)$ with $1 \leq p \leq 2$. Although the quasi-geostrophic equation has the same invariant scale structure as the Navier--Stokes equations, we reveal that the quasi-geostrophic equation is well-posed in the scaling critical Besov spaces $\dot B_{p,q}^{\frac{2}{p}-1}(\mathbb{R}^2)$ with $(p,q) \in [1,4) \times [1,\infty]$ or $(p,q)=(4,2)$ due to the better properties of the nonlinear structure of the quasi-geostrophic equation compared to that of the Navier--Stokes equations. Moreover, we also prove the optimality for the above range of $(p,q)$ ensuring the well-posedness in the sense that the stationary quasi-geostrophic equation is ill-posed for all the other cases.

math.AP

The Derivative Structure for a Quadratic Nonlinearity and Uniqueness for SQG

We study the two-dimensional surface quasi-geostrophic equation on a bounded domain with a smooth boundary. Motivated by the three-dimensional incompressible Navier-Stokes equations and previous results in the entire space $\mathbb R^2$, we demonstrate that the uniqueness of the mild solution holds in $L^2$. For the proof, we provide a method for handling fractional Laplacians in nonlinear problems, and develop an approach to derive second-order derivativesfor the nonlinear term involving fractional derivatives of the Dirichlet Laplacian.

math.AP

$L^p$ estimate of the heat equation on a bounded domain

We consider the linear heat equation on a bounded domain. We study estimates of the derivatives, up to the second order, of the solution locally in time in the Lebesgue spaces. We give a self-contained proof of the estimates in the end-point cases $p = 1, \infty$.

math.AP

Optimal Decay Estimates for the Radially Symmetric Compressible Navier-Stokes Equations

We examine the large-time behaviour of solutions to the compressible Navier-Stokes equations under the assumption of radial symmetry. In particular, we calculate a fast time-decay estimate of the norm of the nonlinear part of the solution. This allows us to obtain a bound from below for the time-decay of the solution in $L^\infty$, proving that our decay estimate in that space is sharp. The decay rate is the same as that of the linear problem for curl-free flow. We also obtain an estimate for a scalar system related to curl-free solutions to the compressible Navier-Stokes equations in a weighted Lebesgue space.

math.AP

Remark on the uniqueness of the mild solution of SQG equation

We study the two-dimensional surface quasi-geostrophic equation. Motivated by the uniqueness for the three-dimensional incompressible Navier-Stokes equations, we demonstrate that the uniqueness of the mild solution of the two-dimensional surface quasi-geostrophic equation holds in the scaling critical Lebesgue space with a unique structure of the non-linear term.

math.AP

On the ill-posedness for the full system of compressible Navier-Stokes equations

We consider the Cauchy problem for compressible Navier--Stokes equations of the ideal gas in the three-dimensional spaces. It is known that the Cauchy problem in the scaling critical spaces of the homogeneous Besov spaces $\dot B^{\frac{3}{p}}_{p,1}\times\dot B^{-1+\frac{3}{p}}_{p,1}\times\dot B^{-2+\frac{3}{p}}_{p,1}$ is uniquely solvable for all $1 < p<3$ and is ill-posed for all $p>3$. However, it is an open problem whether or not it is well-posed in the case when $p=3$. In this paper, we prove that for the case $p=3$ the Cauchy problem is ill-posed by constructing a sequence of initial data, which shows that the solution map is discontinuous.

math.AP

Sobolev spaces on arbitrary domains and semigroups generated by fractional Laplacian

We describe a procedure to introduce Sobolev spaces and the semigroup generated by the fractional Dirichlet Laplacian on an arbitrary domain of $\R^d$. In particular, the well-definedness of the spaces of both non-homogeneous and homogeneous type together with their duality properties, embeddings, and Gagliardo-Nirenberg inequalities will be discussed. We also show the continuity and the smoothing property of the semigroup.

math.FA

Large-Time Behaviour of Solutions to the Surface Quasi-Geostrophic Equations

We construct a linear approximation of the solution to the Surface Quasi-Geostrophic Equation in $\mathbb{R}^2$, and obtain a convergence rate in $L^p$ between the solution and this approximation with respect to time. We also demonstrate that the nonlinear term of the solution is bounded sharply in $L^p$ by the same function of time.

math.AP