arXiv ScienceSearch

arXiv subjects

In-Jee Jeong

Publications and source records attributed to In-Jee Jeong.

At least 19 recordsLinked to original sources

Discontinuity of the Vlasov--Poisson Flow in $L_x^pL_v^\infty$

We prove that solution maps of the Vlasov--Poisson equation are discontinuous at the zero initial datum in $X_p=L_x^pL_v^\infty$ for every $1\leq p<\infty$, in $\mathbb{R}^{d} \times \mathbb{R}^{d}$ with $d \le 3$, and for both attractive and repulsive interactions. For every $T>0$, the trajectory of the solution in $L^\infty([0,T];X_p)$ is discontinuous at zero, and for every sufficiently small fixed $t>0$, the fixed-time map with values in $X_p$ is also discontinuous at zero. The counterexamples are smooth, nonnegative, bounded by one, and supported in a common compact subset of phase space. Their mass and initial $X_p$ norm tend to zero, whereas their solution norm at the observation time is at least one. The construction places narrow spatial packets on a lattice. Free transport allows a different velocity to select a packet at each spatial point, while a smallness estimate on the field ensures that the nonlinear characteristics are close to that of the free transport. For the same families, the phase-space $L^q$ norms converge to zero uniformly in time for every $1\leq q<\infty$.

math.AP

A Variational Family of Traveling Vortex Dipoles: Transition, Uniqueness, and Stability

We provide a unified description of a stable variational family of traveling vortex dipoles for the two-dimensional incompressible Euler equations, connecting the classical Lamb dipole to asymptotically radial dipoles in the large-impulse regime. We show that this family undergoes a sharp transition from the Lamb dipole, where the mass constraint is inactive, to non-explicit traveling waves for which the mass constraint becomes active, and determine the critical value exactly. We further prove that the variational solutions are unique up to translation both near the Lamb dipole and in the large-impulse regime. As a consequence, the corresponding individual traveling waves are orbitally stable. Our results provide a unified picture of these two distinct asymptotic regimes within a single variational family of traveling vortex dipoles.

math.AP

Global well-posedness for the incompressible Euler equations in an endpoint Sobolev space

We consider the initial value problem for the vorticity equation in the endpoint critical Sobolev space $W^{d,1}(\mathbb{R}^{d})$ for $d = 2, 3$. In two dimensions, we prove global propagation of the $W^{2,1}(\mathbb{R}^{2})$ regularity of the vorticity. In three dimensions, for axisymmetric flows without swirl, we propagate $W^{3,1}(\mathbb{R}^{3})$ regularity of the vorticity for all times. These are in stark contrast to existing strong ill-posedness results in critical Sobolev spaces $W^{d/p,p}(\mathbb{R}^{d})$ for all $1 < p < \infty$, which were based on axisymmetric flows without swirl when $d = 3$.

math.AP

Stability for multiple Lamb dipoles

In the class of nonnegative vorticities on the half-plane, we establish the Lyapunov stability of finite sums of Lamb dipoles under the initial assumptions that the dipoles are sufficiently separated and that the faster dipoles are positioned to the right of the slower ones. Our approach combines sharp energy estimates near the Lamb dipoles with a Lagrangian bootstrapping scheme, enabling us to quantify the exchanges of circulation, enstrophy, impulse, and energy between various parts of the solution. The strategy of the proof is robust, and we present several potential extensions of the result.

math.AP

Low regularity Sobolev well-posedness for Vlasov--Poisson

We consider the Vlasov--Poisson equation on $\mathbb{R}^n \times \mathbb{R}^n$ with $n \ge 3$. We prove local well-posedness in $H^{s}(\mathbb{R}^n \times \mathbb{R}^n)$ with $s> n/2-1/4$, for initial distribution $f_{0} \in H^{s}(\mathbb{R}^n \times \mathbb{R}^n)$ having compact support in $v$. In particular, data not belonging to $L^p(\mathbb{R}^n \times \mathbb{R}^n)$ for large $p$ are allowed.

math.AP

Existence and stability of Sadovskii vortices: from patch to smooth vortices

We establish a scaling-invariant variational framework for steadily translating dipoles of the two-dimensional incompressible Euler equations. Specifically, we consider the maximization of the kinetic energy subject to constraints on the impulse and the Lp-norm (1 4/3. By removing the mass constraint, we obtain a unified scaling-invariant variational principle valid for all 1<p\leq\infty. As a consequence of the variational structure, we establish a Lyapunov-type stability result, demonstrating that the axis-touching geometry persists under small perturbations. Finally, we derive a quantitative bound on the horizontal center of mass of perturbed solutions, showing that they propagate at nearly the same speed as the underlying Sadovskii vortex.

math.AP

Global dynamics of a single vortex ring

We study the global-in-time dynamics of vortex rings for the three-dimensional incompressible Euler equations, under the assumption of axisymmetric flows without swirl. For a broad class of initial data sharing only the macroscopic invariants with a thin vortex ring, we prove that the vorticity remains sharply concentrated and propagates along the symmetry axis with leading-order speed given by the Kelvin--Hicks formula, providing the first global-in-time validation of the vortex filament conjecture for a single vortex ring arising from generic initial data. We further identify a universal filamentation mechanism driven by the competition between rapid core translation and slower local induction. This mechanism gives linear-in-time stretching of the vortex support under very general assumptions on the data, yielding dynamical instability of any thin vortex ring configurations in the $W^{2,\infty}$ norm.

math.AP

Homogeneous steady states for the generalized surface quasi-geostrophic equations

We consider homogeneous (stationary self-similar) solutions to the generalized surface quasi-geostrophic (gSQG) equations parametrized by the constant $0<s<1$, representing the 2D Euler equations ($s=1$), the SQG equations $(s=1/2)$, and stationary equations ($s=0$); namely, solutions whose stream function $ψ$ and advected scalar $ω$ are of the form \begin{align*} ψ=\frac{w(θ)}{r^β},\quad ω=\frac{g(θ)}{r^{β+2s}}, \end{align*} in polar coordinates $(r,θ)$ with parameter $β\in \mathbb{R}$. We classify homogeneous steady states across the full parameter space, and we identify the limiting singular regimes assuming an odd symmetric profile $(w,g)$ with Fourier modes larger than $m_0\geq 1$. Specifically, we show existence of such solutions for $-m_0-2s<β<-2s$ and $0<β<m_0+2$ ($1/2-s<β< m_0+2$ for $0<s<1/2$) and non-existence of such solutions for $-2s\leq β\leq 0$. The main result provides examples of self-similar solutions which belong to critical and supercritical regimes for the local well-posedness of the gSQG equations for $0<s<1$ and the first examples of self-similar solutions for the SQG equations and the more singular equations $0<s\leq 1/2$ in the stationary setting. We also complement our findings with a numerical illustration of the solutions.

math.AP

Vortex atmospheres of traveling vortices: rigorous definition, existence, and topological classification

In incompressible and inviscid fluids, the vortex atmosphere refers to the collection of fluid particles outside the support of a traveling vortex that are nevertheless carried along with it. This phenomenon has been recognized since the nineteenth century, e.g., in the classical works of O. Reynolds [Nature, 1876] and O. Lodge [Lond. Edinb. Dubl. Phil. Mag., 1885], yet rigorous mathematical definitions and proofs have remained largely undeveloped, with most subsequent studies relying on thin-core approximations or asymptotic analyses. In this paper, we give a rigorous definition of a vortex atmosphere and establish its existence and uniqueness. We further compare the planar atmosphere surrounding a 2D vortex dipole with the axisymmetric atmosphere surrounding a 3D vortex ring. In particular, we emphasize and prove the topological distinctions observed by W. Hicks [Lond. Edinb. Dubl. Phil. Mag., 1919]: under natural assumptions, every 2D dipole with its atmosphere forms an oval-shaped region, whereas for 3D rings, both spheroidal and toroidal configurations may occur. Our proof is based on showing that each atmosphere can be characterized precisely as a specific superlevel set of its corresponding stream function.

math.AP

Stability of Lamb dipoles for odd-symmetric and non-negative initial disturbances without the finite mass condition

In this paper, we consider the stability of the Lamb dipole solution of the two-dimensional Euler equations in $\mathbb{R}^{2}$ and question under which initial disturbance the Lamb dipole is stable, motivated by experimental work on the formation of a large vortex dipole in two-dimensional turbulence. We assume (O) odd symmetry for the $x_2$-variable and (N) non-negativity in the upper half plane for the initial disturbance of vorticity, and establish the stability theorem of the Lamb dipole without assuming (F) finite mass condition. The proof is based on a new variational characterization of the Lamb dipole using an improved energy inequality.

math.AP

Instantaneous continuous loss of Sobolev regularity for the 3D incompressible Euler equation

We prove instantaneous and continuous-in-time loss of supercritical Sobolev regularity for the 3D incompressible Euler equations in $\mathbb{R}^{3}$. Namely, for any $s\in (0,3/2)$ and $\varepsilon >0$, we construct a divergence-free initial vorticity $ω_0$ defined in $\mathbb{R}^{3}$ satisfying $\| ω_0 \|_{H^s}\leq \varepsilon$, as well as $T>0$, $c>0$ and a corresponding local-in-time solution $ω$ such that, for each $t\in [0,T]$, $ω(\cdot ,t ) \in {H^{\frac{s-ct}{1+ct}}}$ and $ ω(\cdot ,t ) \not \in {H^β}$ for any $β> \frac{s-ct}{1+ct} $. Moreover, $ω$ is unique among all solutions with initial condition $ω_0$ which are locally $C^2$ and belong to $C([0,T];L^p )$ for any $p>3 $.

math.AP

Superlinear gradient growth for 2D Euler equation without boundary

We consider the vorticity gradient growth of solutions to the two-dimensional Euler equations in domains without boundary, namely in the torus $\mathbb{T}^{2}$ and the whole plane $\mathbb{R}^{2}$. In the torus, whenever we have a steady state $ω^*$ that is orbitally stable up to a translation and has a saddle point, we construct ${\tildeω}_0 \in C^\infty(\mathbb{T}^2)$ that is arbitrarily close to $ω^*$ in $L^2$, such that superlinear growth of the vorticity gradient occurs for an open set of smooth initial data around ${\tildeω}_0$. This seems to be the first superlinear growth result which holds for an open set of smooth initial data (and does not require any symmetry assumptions on the initial vorticity). Furthermore, we obtain the first superlinear growth result for smooth and compactly supported vorticity in the plane, using perturbations of the Lamb-Chaplygin dipole.

math.AP

MHS equilibria in the non-resistive limit to the randomly forced resistive magnetic relaxation equations

We consider randomly forced resistive magnetic relaxation equations (MRE) with resistivity $κ>0$ and a force proportional to $\sqrtκ\ $ on the flat $d$-torus $\mathbb{T}^{d}$ for $d\geq 2$. We show the path-wise global well-posedness of the system and the existence of the invariant measures, and construct a random magnetohydrostatic (MHS) equilibrium $B(x)$ in $H^{1}(\mathbb{T}^{d})$ with law $D(B)=μ$ as a non-resistive limit $κ\to 0$ of statistically stationary solutions $B_κ(x,t)$. For $d=2$, the measure $μ$ does not concentrate on any compact sets in $H^{1}(\mathbb{T}^{2})$ with finite Hausdorff dimension. In particular, all realizations of the random MHS equilibrium $B(x)$ are almost surely not finite Fourier mode solutions.

math.AP

Wellposedness of inviscid SQG in the half-plane

We consider the SQG equation without dissipation on the half-plane with Dirichlet boundary condition, and prove local wellposedness in the spaces $W^{3,p}$ and $C^{2,β}$ for any $1<p<\infty$ and $0<β<1$. We complement this wellposedness by showing that for generic $C^{\infty}_{0}$ initial data, the unique corresponding solution does not belong to $W^{3,\infty}$.

math.AP

On existence of Sadovskii vortex patch: A touching pair of symmetric counter-rotating uniform vortex

The Sadovskii vortex patch is a traveling wave for the two-dimensional incompressible Euler equations consisting of an odd symmetric pair of vortex patches touching the symmetry axis. Its existence was first suggested by numerical computations of Sadovskii in [J. Appl. Math. Mech., 1971], and has gained significant interest due to its relevance in inviscid limit of planar flows via Prandtl--Batchelor theory and as the asymptotic state for vortex ring dynamics. In this work, we prove the existence of a Sadovskii vortex patch, by solving the energy maximization problem under the exact impulse condition and an upper bound on the circulation.

math.AP

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 θ+ \nabla^\perp Γ[θ] \cdot \nabla θ= 0 $$ in any sufficiently regular Sobolev spaces, when $Γ$ is a singular in the sense that its symbol satisfies $|Γ(ξ)|\to\infty$ as $|ξ|\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 $Γ$. 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 ϕ+ ip(t,X,D)ϕ= 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),Ξ(t))$, which are solutions to the bicharacteristic ODE system associated with $p(t,x,ξ)$. 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 $ξ=Ξ(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

On the optimal rate of vortex stretching for axisymmetric Euler flows without swirl

For axisymmetric flows without swirl and compactly supported initial vorticity, we prove the upper bound of $t^{4/3}$ for the growth of the vorticity maximum, which was conjectured by Childress [Phys. D, 2008] and supported by numerical computations from Childress--Gilbert--Valiant [J. Fluid Mech. 2016]. The key is to estimate the velocity maximum by the kinetic energy together with conserved quantities involving the vorticity.

math.AP