Searcharxiv⌕ Search

arXiv subjects

Dongho Chae

Publications and source records attributed to Dongho Chae.

At least 19 recordsLinked to original sources
arXiv2025

Liouville type theorem for double Beltrami solutions of the Hall-MHD system in $\Bbb R^3$

In this paper we prove Liouville type theorem for the double Beltrami solutions to the stationary Hall-MHD equations in $\Bbb R^3$. Let $(u, B)$ be a smooth double Beltrami solution to the stationary Hall-MHD equations in $\Bbb R^3$, satisfying $\int_{\Bbb R^3} (|u|^q + |B|^q )dx <+\infty$ for some $q\in [2, 3)$, then $u=B=0$. In the case of $B=0$ the theorem reduces the previously known Liouville type result for the Beltrami solutions to the Euler equations.

math.AP↗
arXiv2023

Well-posedness for Ohkitani model and long-time existence for surface quasi-geostrophic equations

We consider the Cauchy problem for the logarithmically singular surface quasi-geostrophic (SQG) equation, introduced by Ohkitani, $$\partial_t \theta - \nabla^\perp \log(10+(-\Delta)^{\frac12})\theta \cdot \nabla \theta = 0 ,$$ and establish local existence and uniqueness of smooth solutions in the scale of Sobolev spaces with exponent decreasing with time. Such a decrease of the Sobolev exponent is necessary, as we have shown in the companion paper that the problem is strongly ill-posed in any fixed Sobolev spaces. The time dependence of the Sobolev exponent can be removed when there is a dissipation term strictly stronger than log. These results improve wellposedness statements by Chae, Constantin, C\'{o}rdoba, Gancedo, and Wu in \cite{CCCGW}. This well-posedness result can be applied to describe the long-time dynamics of the $\delta$-SQG equations, defined by $$\partial_t \theta + \nabla^\perp (10+(-\Delta)^{\frac12})^{-\delta}\theta \cdot \nabla \theta = 0,$$ for all sufficiently small $\delta>0$ depending on the size of the initial data. For the same range of $\delta$, we establish global well-posedness of smooth solutions to the logarithmically dissipative counterpart: $$\partial_t \theta + \nabla^\perp (10+(-\Delta)^{\frac12})^{-\delta}\theta \cdot \nabla \theta + \log(10+(-\Delta)^{\frac12})\theta = 0.$$

math.AP↗
arXiv2023

Illposedness via degenerate dispersion for generalized surface quasi-geostrophic equations with singular velocities

We prove strong nonlinear illposedness results for the generalized SQG equation $$\partial_t \theta + \nabla^\perp \Gamma[\theta] \cdot \nabla \theta = 0 $$ in any sufficiently regular Sobolev spaces, when $\Gamma$ is a singular in the sense that its symbol satisfies $|\Gamma(\xi)|\to\infty$ as $|\xi|\to\infty$ with some mild regularity assumptions. The key mechanism is degenerate dispersion, i.e., the rapid growth of frequencies of solutions around certain shear states, and the robustness of our method allows one to extend linear and nonlinear illposedness to fractionally dissipative systems, as long as the order of dissipation is lower than that of $\Gamma$. Our illposedness results are completely sharp in view of various existing wellposedness statements as well as those from our companion paper. Key to our proofs is a novel construction of degenerating wave packets for the class of linear equations $$\partial_t \phi + ip(t,X,D)\phi = 0$$ where $p(t,X,D)$ is a pseudo-differential operator which is self-adjoint in $L^2$, degenerate, and dispersive. Degenerating wave packets are approximate solutions to the above linear equation with spatial and frequency support localized at $(X(t),\Xi(t))$, which are solutions to the bicharacteristic ODE system associated with $p(t,x,\xi)$. These wave packets explicitly show degeneration as $X(t)$ approaches a point where $p$ vanishes, which in particular allows us to prove illposedness in topologies finer than $L^2$. While the equation for the wave packet can be formally obtained from a Taylor expansion of the symbol near $\xi=\Xi(t)$, the difficult part is to rigorously control the error in sufficiently long timescales, which is obtained by sharp estimates for not only degenerating wave packets but also for oscillatory integrals which naturally appear in the error estimate.

math.AP↗
arXiv2022

Axi-symmetric solutions for active vector models generalizing 3D Euler and electron--MHD equations

We study systems interpolating between the 3D incompressible Euler and electron--MHD equations, given by \begin{equation*} \partial_t B + V \cdot \nabla B = B\cdot \nabla V, \qquad V = -\nabla\times (-Δ)^{-a} B, \qquad \nabla\cdot B = 0, \end{equation*} where $B$ is a time-dependent vector field in $\mathbb{R}^3$. Under the assumption that the initial data is axi-symmetric without swirl, we prove local well-posedness of Lipschitz continuous solutions and existence of traveling waves in the range $1/2<a<1$. These generalize the corresponding results for the 3D axisymmetric Euler equations and should be useful in the study of stability and instability for axisymmetric solutions.

math.AP↗
arXiv2022

Active vector models generalizing 3D Euler and electron--MHD equations

We introduce an active vector system, which generalizes both the 3D Euler equations and the electron--magnetohydrodynamic equations (E--MHD). We may as well view the system as singularized systems for the 3D Euler equations, in which case the equations of (E--MHD) correspond to the order two more singular one than the 3D Euler equations. The generalized surface quasi-geostrophic equation (gSQG) can be also embedded into a special case of our system when the unknown functions are constant in one coordinate direction. We investigate some basic properties of this system as well as the conservation laws. In the case when the system corresponds up to order one more singular than the 3D Euler equations, we prove local well-posedness in the standard Sobolev spaces. The proof crucially depends on a sharp commutator estimate similar to the one used for (gSQG) in the work of Chae, Constantin, Córdoba, Gancedo, and Wu. Since the system covers many areas of both physically and mathematically interesting cases, one can expect that there are various related problems to be investigated, parts of which are discussed here.

math.AP↗
arXiv2022

Existence of local suitable weak solutions to the Navier-Stokes equations for initial data in $L^{2}_{\rm loc} (\mathbb{R}^3)$

We consider the Navier-Stokes equations in $\mathbb{R}^3$ subject to the initial condition with initial velocity field in $L^{2}_{\rm loc} (\mathbb{R}^3)$ such that $\limsup_{R \to +\infty } R^{-1} \|u_{0} \|_{ L^{2}(B(R))} < +\infty$. Our aim is to show the local existence of a weak solution, global existence of weak solution if $C=0$ and the partial regularity in the sense of Caffarelli-Kohn-Nirenberg.

math.AP↗
arXiv2021

Global regularity of non-diffusive temperature fronts for the 2D viscous Boussinesq system

In this paper we address the temperature patch problem of the 2D viscous Boussinesq system without heat diffusion term. The temperature satisfies the transport equation and the initial data of temperature is given in the form of non-constant patch, usually called the temperature front initial data. Introducing a good unknown and applying the method of striated estimates, we prove that our partially viscous Boussinesq system admits a unique global regular solution and the initial $C^{k,γ}$ and $W^{2,\infty}$ regularity of the temperature front boundary with $k\in \mathbb{Z}^+ = \{1,2,\cdots\}$ and $γ\in (0,1)$ will be preserved for all the time. In particular, this naturally extends the previous work by Danchin $\&$ Zhang (2017) and Gancedo $\&$ García-Juárez (2017). In the proof of the persistence result of higher boundary regularity, we introduce the striated type Besov space $\mathcal{B}^{s,\ell}_{p,r,W}(\mathbb{R}^d)$ and establish a series of refined striated estimates in such a function space, which may have its own interest.

math.AP↗
arXiv2021

On Liouville type theorems for the stationary MHD and the Hall-MHD systems in $\mathbb{R}^3$

In this paper we prove a Liouville type theorem for the stationary MHD and the stationary Hall-MHD systems. Assuming suitable growth condition at infinity for the mean oscillations for the potential functions, we show that the solutions are trivial. These results generalize the previous results obtained by two of the current authors in [6]. To prove our main theorems we use a refined iteration argument.

math.AP↗
arXiv2021

On Liouville type theorems in the stationary non-Newtonian fluids

In this paper we prove a Liouville type theorem for the stationary equations of a non-Newtonian fluid in $\mathbb{R}^3$ with the viscous part of the stress tensor $\mathbf{A}_p(u) = \mathrm{div} ( | \mathbf{D}(u) |^{p-2} \mathbf{D}(u) )$, where $\mathbf{D}(u) = \frac 12 ( \nabla u + ( \nabla u )^{\top})$ and $\frac 95 < p < 3$. We consider a weak solution $u \in W^{1,p}_{loc}(\mathbb{R}^3)$ and its potential function $\mathbf{V} = (V_{ij}) \in W^{2,p}_{loc}(\mathbb{R}^3)$, i.e. $\nabla \cdot \mathbf{V} = u$. We show that there exists a constant $s_0=s_0(p)$ such that if the $L^s$ mean oscillation of $\mathbf{V}$ for $s>s_0$ satisfies a certain growth condition at infinity, then the velocity field vanishes. Our result includes the previous results \cite{CW20, CW19} as particular cases.

math.AP↗
arXiv2021

Remarks on type I blow up for the 3D Euler equations and the 2D Boussinesq equations

In this paper we derive kinematic relations for quantities involving the rate of strain tensor and the Hessian of the pressure for solutions of the 3D Euler equations and the 2D Boussinesq equations. Using these kinematic relations, we prove new blow up criteria and obtain conditions for the absence of type I singularity for these equations. We obtain both global and localized versions of the results. Some of the new blow up criteria and type I conditions improve previous results of [3].

math.AP↗
arXiv2020

On a Type I singularity condition in terms of the pressure for the Euler equations in $\mathbb R^3$

We prove a blow up criterion in terms of the Hessian of the pressure of smooth solutions $u\in C([0, T); W^{2,q} (\mathbb R^3))$, $q>3$ of the incompressible Euler equations. We show that a blow up at $t=T$ happens only if $$\int_0 ^T \int_0 ^t \left\{\int_0 ^s \|D^2 p (τ)\|_{L^\infty} dτ\exp \left( \int_{s} ^t \int_0 ^{\s} \|D^2 p (τ)\|_{L^\infty} dτd\s \right) \right\}dsdt \, = +\infty.$$ As consequences of this criterion we show that there is no blow up at $t=T$ if $ \|D^2 p(t)\|_{L^\infty} \le \frac {c}{(T-t)^2}$ with $c<1$ as $t\nearrow T$. Under the additional assumption of $\int_0 ^T \|u(t)\|_{L^\infty (B(x_0, ρ))} dt <+\infty$, we obtain localized versions of these results.

math.AP↗
arXiv2020

Relative decay conditions on Liouville type theorem for the steady Navier-Stokes system

In this paper we prove Liouville type theorem for the stationary Navier-Stokes equations in $\Bbb R^3$ under the assumptions on the relative decays of velocity, pressure and the head pressure. More precisely, we show that any smooth solution $(u,p)$ of the stationary Navier-Stokes equations satisfying $u(x) \to 0$ as $|x|\to +\infty$ and the condition of finite Dirichlet integral $\int_{\Bbb R^3} | \nabla u|^2 dx <+\infty $ is trivial, if either $|u|/|Q|=O(1)$ or $|p|/|Q| =O(1) $ as $|x|\to \infty$, where $|Q|=\frac12 |u|^2 +p$ is the head pressure.

math.AP↗
arXiv2020

On the Serrin-type condition on one velocity component for the Navier-Stokes equations

In this paper we consider the regularity problem of the Navier-Stokes equations in $ \R^{3} $. We show that the Serrin-type condition imposed on one component of the velocity $ u_3\in L^p(0,T; L^q(\R^{3} ))$ satisfying $ \frac{2}{p}+ \frac{3}{q} <1$, $ 3<q \le +\infty$ implies the regularity of the weak Leray solution $ u: \R^{3} \times (0,T) \rightarrow \R^{3} $ with the initial data belonging to $ L^2(\Bbb R^3) \cap L^3(\R^{3})$. The result is an immediate consequence of a new local regularity criterion in terms of one velocity component for suitable weak solutions.

math.AP↗
arXiv2019

The Euler equations in a critical case of the generalized Campanato space

In this paper we prove local in time well-posedness for the incompressible Euler equations in $\Bbb R^n$ for the initial data in $\mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) $, which corresponds to a critical case of the generalized Campanato spaces $ \mathscr {L}^{ s}_{ q(N)}(\mathbb {R}^{n})$. The space is studied extensively in our companion paper\cite{trans}, and in the critical case we have embeddings $ B^{1}_{\infty, 1} (\Bbb R^n) \hookrightarrow \mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) \hookrightarrow C^{0, 1} (\Bbb R^n)$, where $B^{1}_{\infty, 1} (\Bbb R^n)$ and $ C^{0, 1} (\Bbb R^n)$ are the Besov space and the Lipschitz space respectively. In particular $\mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n}) $ contains non-$C^1(\Bbb R^n)$ functions as well as linearly growing functions at spatial infinity. We can also construct a class of simple initial velocity belonging to $ \mathscr {L}^{ 1}_{ 1(1)}(\mathbb {R}^{n})$, for which the solution to the Euler equations blows up in finite time.

math.AP↗
arXiv2019

Transport equation in generalized Campanato spaces

In this paper we study the transport equation in $\mathbb{R}^n \times (0,T)$, $T >0$, \[ \partial _t f + v\cdot \nabla f = g, \quad f(\cdot ,0)= f_0 \quad \text{in}\quad \mathbb{R}^n \] in generalized Campanato spaces $\mathscr{L}^s_{ q(p, N)}(\mathbb{R}^n)$. The critical case is particularly interesting, and is applied to the local well-posedness problem in a space close to the Lipschitz space in our companion paper\cite{cw}. More specifically, in the critical case $s=q=N=1$ we have the embedding relations, $B^1_{\infty, 1}(\Bbb R^n) \hookrightarrow \mathscr{L}^{ 1}_{ 1(p, 1)}(\mathbb{R}^n) \hookrightarrow C^{0, 1} (\Bbb R^n)$, where $B^1_{\infty, 1} (\Bbb R^n)$ and $C^{0, 1} (\Bbb R^n)$ are the Besov space and the Lipschitz space respectively. For $f_0\in \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n})$, $v\in L^1(0,T; \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n}))),$ and $ g\in L^1(0,T; \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n})))$, we prove the existence and uniqueness of solutions to the transport equation in $ L^\infty(0,T; \mathscr {L}^{ 1}_{ 1(p, 1)}(\mathbb {R}^{n}))$ such that \[ \|f\|_{L^\infty(0,T; \mathscr{L}^1_{ 1(p, 1)} (\mathbb{R}^n)))} \le C \Big( \|v\|_{L^1(0,T; \mathscr{L}^1_{1(p, 1)} (\mathbb{R}^n)))}, \|g\|_{ L^1(0,T; \mathscr{L}^1_{ 1(p, 1)}(\mathbb{R}^n)))}\Big). \] Similar results in the other cases are also proved.

math.AP↗
arXiv2019

On Liouville type theorem for a generalized stationary Navier-Stokes equations

In this paper we prove a Liouville type theorem for generalized stationary Navier-Stokes systems in $\Bbb R^3$, which model non-Newtonian fluids, where the Laplacian term $Δu$ is replaced by the corresponding non linear operator $\bA_p( u)=\nabla \cdot ( |\bD(u)|^{p-2} \bD(u))$ with $ \bD(u) = \frac{1}{2} (\nabla u + (\nabla u)^{ \top})$, $3/2<p< 3$. In the case $3/2< p\le 9/5$ we show that a suitable weak solution $u\in W^{1, p}(\Bbb R^3)$ satisfying $ \liminf_{R \rightarrow \infty} |u_{ B(R)}| =0$ is trivial, i.e. $u\equiv 0$. On the other hand, for $9/5<p<3$ we impose the condition for the Liouville type theorem in terms of a potential function: if there exists a matrix valued potential function $\bV$ such that $ \nabla \cdot \bV =u$, whose $L^{\frac{3p}{2p-3}} $ mean oscillation has the following growth condition at infinity, $$ \intmw_{B(r)} |\bV- \bV_{ B(r)} |^{\frac{3p}{2p-3}} dx \le C r^{\frac{9-4p}{2p-3}}\quad \forall 1< r< +\infty, $$ then $u\equiv 0$. In the case of the Navier-Stokes equations, $p=2$, this improves the previous results in the literature.

math.AP↗