Searcharxiv⌕ Search

arXiv subjects

Kyudong Choi

Publications and source records attributed to Kyudong Choi.

At least 19 recordsLinked to original sources
arXiv2026

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↗
arXiv2025

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↗
arXiv2025

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↗
arXiv2025

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↗
arXiv2024

Stability of vortex quadrupoles with odd-odd symmetry

For the 2D incompressible Euler equations, we establish global-in-time ($t \in \mathbb{R}$) stability of vortex quadrupoles satisfying odd symmetry with respect to both axes. Specifically, if the vorticity restricted to a quadrant is signed, sufficiently concentrated and close to its radial rearrangement up to a translation in $L^1$, we prove that it remains so for all times. The main difficulty is that the kinetic energy maximization problem in a quadrant -- the typical approach for establishing vortex stability -- lacks a solution, as the kinetic energy continues to increase when the vorticity escapes to infinity. We overcome this by taking dynamical information into account: finite-time desingularization result is combined with monotonicity of the first moment and a careful analysis of the interaction energies between vortices. The latter is achieved by new pointwise estimates on the Biot--Savart kernel and quantitative stability results for general interaction kernels. Moreover, with a similar strategy we obtain stability of a pair of opposite-signed Lamb dipoles moving away from each other.

math.AP↗
arXiv2024

On global regularity of some bi-rotational Euler flows in $\mathbb{R}^{4}$

In this paper, we consider incompressible Euler flows in $ \mathbb{R}^{4} $ under bi-rotational symmetry, namely solutions that are invariant under rotations in $\mathbb{R}^{4}$ fixing either the first two or last two axes. With the additional swirl-free assumption, our first main result gives local wellposedness of Yudovich-type solutions, extending the work of Danchin [Uspekhi Mat. Nauk 62(2007), no.3, 73-94] for axisymmetric flows in $\mathbb{R}^{3}$. The second main result establishes global wellposedness under additional decay conditions near the axes and at infinity. This in particular gives global regularity of $C^{\infty}$ smooth and decaying Euler flows in $\mathbb{R}^{4}$ subject to bi-rotational symmetry without swirl.

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

Global regularity for some axisymmetric Euler flows in $\mathbb{R}^{d}$

We consider axisymmetric Euler flows without swirl in $\mathbb{R}^{d}$ with $d\geq 4$, for which the global regularity of smooth solutions is an open problem. When $d = 4$, we obtain global regularity under the assumption that the initial vorticity satisfies some decay at infinity and is vanishing at the axis. Assuming further that the initial vorticity is of one sign guarantees global regularity for $d\leq 7$.

math.AP↗
arXiv2022

Stability of monotone, non-negative, and compactly supported vorticities in the half cylinder and infinite perimeter growth for patches

We consider the incompressible Euler equations in the half cylinder $ \mathbb{R}_{>0}\times\mathbb{T}$. In this domain, any vorticity which is independent of $x_2$ defines a stationary solution. We prove that such a stationary solution is nonlinearly stable in a weighted $L^{1}$ norm involving the horizontal impulse, if the vorticity is non-negative and non-increasing in $x_1$. This includes stability of cylindrical patches $\{x_{1}<α\},\; α>0$. The stability result is based on the fact that such a profile is the unique minimizer of the horizontal impulse among all functions with the same distribution function. Based on stability, we prove existence of vortex patches in the half cylinder that exhibit infinite perimeter growth in infinite time.

math.AP↗
arXiv2022

Stability and instability of Kelvin waves

The $m$-waves of Kelvin are uniformly rotating patch solutions of the 2D Euler equations with $m$-fold rotational symmetry for $m\geq 2$. For Kelvin waves sufficiently close to the disc, we prove a nonlinear stability result up to an arbitrarily long time in the $L^1$ norm of the vorticity, for $m$-fold symmetric perturbations. To obtain this result, we first prove that the Kelvin wave is a strict local maximizer of the energy functional in some admissible class of patches, which had been claimed by Wan in 1986. This gives an orbital stability result with a support condition on the evolution of perturbations, but using a Lagrangian bootstrap argument which traces the particle trajectories of the perturbation, we are able to drop the condition on the evolution. Based on this unconditional stability result, we establish that long time filamentation, or formation of long arms, occurs near the Kelvin waves, which have been observed in various numerical simulations. Additionally, we discuss stability of annular patches in the same variational framework.

math.AP↗
arXiv2022

Filamentation near Hill's vortex

For the axisymmetric incompressible Euler equations, we prove linear in time filamentation near Hill's vortex: there exists an arbitrary small outward perturbation growing linearly for all times. This is based on combining the recent nonlinear orbital stability obtained in [13] with a dynamical bootstrapping scheme for particle trajectories. These results rigorously confirm numerical simulations by Pozrikidis [45] in 1986.

math.AP↗
arXiv2022

Stability of Hill's spherical vortex

We study stability of a spherical vortex introduced by M. Hill in 1894, which is an explicit solution of the three-dimensional incompressible Euler equations. The flow is axi-symmetric with no swirl, the vortex core is simply a ball sliding on the axis of symmetry with a constant speed, and the vorticity in the core is proportional to the distance from the symmetry axis. We use the variational setting introduced by A. Friedman and B. Turkington (Trans. Amer. Math. Soc., 1981), which produced a maximizer of the kinetic energy under constraints on vortex strength, impulse, and circulation. We match the set of maximizers with the Hill's vortex via the uniqueness result of C. Amick and L. Fraenkel (Arch. Rational Mech. Anal., 1986). The matching process is done by an approximation near exceptional points (so-called metrical boundary points) of the vortex core. As a consequence, the stability up to a translation is obtained by using a concentrated compactness method.

math.AP↗
arXiv2021

On vortex stretching for anti-parallel axisymmetric flows

We consider axisymmetric incompressible inviscid flows without swirl in $\mathbb{R}^3$, under the assumption that the axial vorticity is non-positive in the upper half space and odd in the last coordinate, which corresponds to the flow setup for head-on collision of anti-parallel vortex rings. For any such data, we establish monotonicity and infinite growth of the vorticity impulse on the upper half-space. As an application, we achieve infinite growth of Sobolev norms for certain classical/smooth and compactly supported vorticity solutions in $\mathbb{R}^{3}$.

math.AP↗
arXiv2021

Infinite growth in vorticity gradient of compactly supported planar vorticity near Lamb dipole

We prove linear in time filamentation for perturbations of the Lamb dipole, which is a traveling wave solution to the incompressible Euler equations in $\mathbb{R}^2$. The main ingredient is a recent nonlinear orbital stability result by Abe-Choi. As a consequence, we obtain linear in time growth for the vorticity gradient for all times, for certain smooth and compactly supported initial vorticity in $\mathbb{R}^2$. The construction carries over to some generalized SQG equations.

math.AP↗
arXiv2021

Stability of radially symmetric, monotone vorticities of 2D Euler equations

We consider the incompressible Euler equations in $R^2$ when the initial vorticity is bounded, radially symmetric and non-increasing in the radial direction. Such a radial distribution is stationary, and we show that the monotonicity produces stability in some weighted norm related to the angular impulse. For instance, it covers the cases of circular vortex patches and Gaussian distributions. Our stability does not depend on $L^\infty$-bound or support size of perturbations. The proof is based on the fact that such a radial monotone distribution minimizes the impulse of functions having the same level set measure.

math.AP↗
arXiv2020

Growth of perimeter for vortex patches in a bulk

We consider the two-dimensional incompressible Euler equations. We construct vortex patches with smooth boundary on $T^2$ and $R^2$ whose perimeter grows with time. More precisely, for any constant $M > 0$, we construct a vortex patch in $T^2$ whose smooth boundary has length of order 1 at the initial time such that the perimeter grows up to the given constant $M$ within finite time. The construction is done by cutting a thin stick out of an almost square patch. A similar result holds for an almost round patch with a thin handle in $R^2$.

math.AP↗
arXiv2019

Stability of Lamb dipoles

The Lamb dipole is a traveling wave solution to the two-dimensional Euler equations introduced by S. A. Chaplygin (1903) and H. Lamb (1906) at the early 20th century. We prove orbital stability of this solution based on a vorticity method initiated by V. I. Arnold. Our method is a minimization of a penalized energy with multiple constraints that deduces existence and orbital stability for a family of traveling waves. As a typical case, orbital stability of the Lamb dipole is deduced by characterizing a set of minimizers as an orbit of the dipole by a uniqueness theorem in the variational setting.

math.AP↗