本文研究均匀密度理想流体中的定常涡环，它们是三维不可压缩欧拉方程的一类特殊全局轴对称解。我们系统地建立了核心内位涡为常数的小截面定常涡环的存在性、唯一性与非线性轨道稳定性。后两者回答了自 Fraenkel 和 Berger 的开创性工作（Acta Math., 1974）以来的一个长期未解问题。为实现这一目标，我们用涡环的截面半径重新标度其 Stokes 流函数，并利用泰勒公式在著名的 Rankine 涡处展开，其中系数的估计通过基于格林函数和局部 Pohozaev 恒等式的分解得到。主要观察如下：流函数是偶函数且在 z 方向具有平移不变性；其展开中线性项 r 系数的零点决定了涡环的渐近位置，该零点作为消除 Lyapunov-Schmidt 约化论证中退化方向的条件出现在存在性证明中；在上述零点处二阶 r 系数的非零条件被验证为唯一性的关键因素之一，而其负性意味着这些涡环使由动能和冲量组成的泛函达到最大。通过应用 Arnol'd 对偶变分原理并结合唯一性结果，我们最终证明了薄涡环的非线性轨道稳定性。这一结果给出了一大类支撑在拓扑环面上的稳定涡环，不同于 Choi（Comm. Pure Appl. Math., 2023）所讨论的 Hill 球形涡。
英文摘要：
This paper is concerned with steady vortex rings in an ideal fluid of uniform density, which are special global axi-symmetric solutions of the three-dimensional incompressible Euler equation. We systematically establish the existence, uniqueness and nonlinear orbital stability of steady vortex rings of small cross-section for which the potential vorticity is constant throughout the core. The latter two answer a long-standing question since the pioneering work of Fraenkel and Berger \cite{BF1} (Acta Math., 1974). To achieve our goal, we rescale the Stokes stream function of vortex ring by its cross-section radius, and expand it at the well-known Rankine vortex using Taylor's formula, where the estimates for coefficients are obtained by a decomposition according to Green's function and local Pohozaev identities. The main observations are: The stream function is even and has a translational invariance in $z$-direction; the zero point for the $r$-coefficient of linear term in its expansion determines the asymptotic location of vortex ring, which appears as the condition to eliminate the degenerate direction in Lyapunov-Schmidt reduction argument for existence; the non-vanishing condition of the second order $r$-coefficient at foresaid zero point is verified as one of the essential factors for uniqueness, while the negativity means that these vortex rings maximizes the functional composed of kinetic energy and impulse. By applying the Arnol'd's dual variational principle together with the uniqueness result, we are finally able to prove the nonlinear orbital stability of thin vortex rings. This result gives a large class of stable vortex rings supported on topological tori, which is different from Hill's spherical vortex discussed by Choi \cite{Choi20} (Comm. Pure Appl. Math., 2023).
We prove uniqueness for the vortex-wave system with a single point vortex introduced by Marchioro and Pulvirenti in the case where the vorticity is initially constant near the point vortex. Our method relies on the Eulerian approach for this problem and in particular on the formulation in terms of the velocity.
In this paper we prove the existence of steady multiple vortex patch solutions to the vortex-wave system in a planar bounded domain. The construction is performed by solving a certain variational problem for the vorticity and studying its asymptotic behavior as the vorticity strength goes to infinity.
We constructed a family of steady vortex solutions for the lake equations with general vorticity function, which constitute a desingularization of a singular vortex. The precise localization of the asymptotic singular vortex is shown to be the deepest position of the lake. We also study global nonlinear stability for these solutions. Some qualitative and asymptotic properties are also established.
Uniqueness and stability of steady vortex rings for 3D incompressible Euler equation
Institute of Applied Mathematics, Chinese Academy of Sciences（中国科学院应用数学研究所）；University of Chinese Academy of Sciences（中国科学院大学）；School of Mathematical Sciences, Xiamen University（厦门大学数学科学学院）；Department of Mathematics, Sichuan University（四川大学数学系）
In this paper we consider steady vortex flows for the incompressible Euler equations in a planar bounded domain. By solving a variational problem for the vorticity, we construct steady double vortex patches with opposite signs concentrating at a strict local minimum point of the Kirchhoff-Routh function with $k=2$. Moreover, we show that such steady solutions are in fact local maximizers of the kinetic energy among isovortical patches, which correlates stability to uniqueness.
Following the recent papers [9] and [10] by T. Gallay and V. uSverák, in the line of work initiated by H. Feng and V. uSverák in their paper [3], we prove the uniqueness of a solution of the axisymmetric Navier-Stokes equations without swirl when the initial data is a positive linear combination of Dirac masses.
In this paper, we study the desingularization of steady lake model of perturbation type with general nonlinearity f. Using the modified vorticity method, we construct a family of steady solutions with vanishing circulation, which constitute a desingularization of a singular vortex. The localization of the singular vortex is determined only by the vanishing rate of the circulation. Some qualitative and asymptotic properties are also established.
The vortex-wave system describes the motion of a two-dimensional ideal fluid in which the vorticity includes continuously distributed vorticity, which is called the background vorticity, and a finite number of concentrated vortices. In this paper we restrict ourselves to the case of a single point vortex in bounded domains. We prove the existence of steady vortex patch solutions to this system with prescribed distribution for the background vorticity. Moreover, we show that the supports of these solutions "shrink" to a minimum point of the Kirchhoff-Routh function as the strength parameter of …
In this paper, we study the vortex patch problem in an ideal fluid in a planar bounded domain. By solving a certain minimization problem and studying the limiting behavior of the minimizer, we prove that for any harmonic function $q$ corresponding to a nontrivial irrotational flow, there exists a family of steady vortex patches approaching the set of extremum points of $q$ on the boundary of the domain. Furthermore, we show that each finite collection of strict extreme points of $q$ corresponds to a family of steady multiple vortex patches approaching it.
In this paper we investigate the uniqueness of solutions of the steady planar Navier-Stokes equations with different boundary conditions in the exterior domain. For a class of incompressible flow with constant vorticity, we prove the uniqueness of the solution under the enhanced Navier boundary conditions. At the same time, some counterexamples are given to show that the uniqueness of the solution fails under the Navier boundary conditions. For the general incompressible flow with Dirichlet boundary condition, we prove various sufficient conditions for the uniqueness of the solution.
We investigate a steady planar flow of an ideal fluid in a bounded simple connected domain and focus on the vortex patch problem with prescribed vorticity strength. There are two methods to deal with the existence of solutions for this problem: the vorticity method and the stream function method. A long standing open problem is whether these two entirely different methods result in the same solution. In this paper, we will give a positive answer to this problem by studying the local uniqueness of the solutions. Another result obtained in this paper is that if the domain is convex, then the vor…
We construct a family of steady solutions of the lake model perturbed by some small Coriolis force, that converge to a singular vortex pair. The desingularized solutions are obtained by maximization of the kinetic energy over a class of rearrangements of sign changing functions. The precise localization of the asymptotic singular vortex pair is proved to depend on the depth function and the Coriolis parameter, and it is independent on the geometry of the lake domain. We apply our result to construct a singular rotating vortex pair in a rotation invariant lake.
In this paper we construct a family of steady symmetric vortex patches for the incompressible Euler equations in an open disk. The result is obtained by studying a variational problem in which the kinetic energy of the fluid is maximized subject to some appropriate constraints for the vorticity. Moreover, we show that these vortex patches shrink to a given minimum point of the corresponding Kirchhoff-Routh function as the vorticity strength parameter goes to infinity.
In this paper, we consider the uniqueness of solutions to the 3d Navier-Stokes equations with initial vorticity given by $ω_0 = αe_z δ_{x = y = 0}$, where $δ_{x=y= 0}$ is the one dimensional Hausdorff measure of an infinite, vertical line and $α\in \mathbb R$ is an arbitrary circulation. This initial data corresponds to an idealized, infinite vortex filament. One smooth, mild solution is given by the self-similar Oseen vortex column, which coincides with the heat evolution. Previous work by Germain, Harrop-Griffiths, and the first author implies that this solution is unique within a class of m…
Under the condition of small external forces, we obtain existence of a weak solution of the steady Hall-MHD system with Hölder continuous magnetic field. We also established regularity of weak solutions provided that magnetic fields are bounded. For sufficiently small external forces, uniqueness result is also established.
In this paper we study the uniqueness property of solutions to the steady incompressible Euler equations with perturbations in $\Bbb R^N$. Our perturbations include as special cases the Euler equations with a `single signed' nonlinear term, the self-similar Euler equations, and the steady Navier-Stokes equations. For these equations show that suitable decay assumptions at infinity on the solution or its derivatives, imposed by the $L^q$ conditions imply that the only possible solution is zero.
The paper is concerned with the steady-state Burgers equation of fractional dissipation on the real line. We first prove the global existence of viscosity weak solutions to the fractal Burgers equation driven by the external force. Then the existence and uniqueness of solution with finite $H^{\fracα{2}}$ energy to the steady-state equation are established by estimating the decay of fractal Burgers' solutions. Furthermore, we show that the unique steady-state solution is nonlinearly stable, which means any viscosity weak solution of fractal Burgers equation, starting close to the steady-state s…
In this paper, we study nonlinear desingularization of steady vortex rings of three-dimensional incompressible Euler flows. We construct a family of steady vortex rings (with and without swirl) which constitutes a desingularization of the classical circular vortex filament in $\mathbb{R}^3$. The construction is based on a study of solutions to the similinear elliptic problem \begin{equation*} -\frac{1}{r}\frac{\partial}{\partial r}\Big(\frac{1}{r}\frac{\partialψ^\varepsilon}{\partial r}\Big)-\frac{1}{r^2}\frac{\partial^2ψ^\varepsilon}{\partial z^2}=\frac{1}{\varepsilon^2}\left(g(ψ^\varepsilon)…
We consider a nonlocal aggregation equation with degenerate diffusion, which describes the mean-field limit of interacting particles driven by nonlocal interactions and localized repulsion. When the interaction potential is attractive, it is previously known that all steady states must be radially decreasing up to a translation, but uniqueness (for a given mass) within the radial class was open, except for some special interaction potentials. For general attractive potentials, we show that the uniqueness/non-uniqueness criteria are determined by the power of the degenerate diffusion, with the …
We bring new results in the study the asymptotic behavior of shrinking vortex pairs obtained by maximization of the kinetic energy in a 2-dimensional lake over a class of rearrangements. After improving recent results obtained for the first order asymptotic behavior of such pairs, we focus on second order asymptotic properties. We show that among all points of maximal depth, the vortex locates according to an adaptation of the Kirchoff-Routh function, and we study the asymptotic shape of optimal vortices. We also explore a relaxed maximization problem with uniform constraints, for which we pro…
The incompressible Navier-Stokes equations in R^3 are shown to admit a unique axisymmetric solution without swirl if the initial vorticity is a circular vortex filament with arbitrarily large circulation Reynolds number. The emphasis is on uniqueness, as existence has already been established in [10]. The main difficulty which has to be overcome is that the nonlinear regime for such flows is outside of applicability of standard perturbation theory, even for short times. The solutions we consider are archetypal examples of viscous vortex rings, and can be thought of as axisymmetric analogues of…
We consider the inverse boundary value problem for the steady state convection diffusion equation. We prove that a velocity field $V$, is uniquely determined by the Dirichlet-to-Neumann map, when $V \in C^{0,γ} (Ω)$, $2/3< γ\leq 1$, i.e. when $V$ is a Hölder continuous vector field with $2/3< γ\leq 1$.
We establish the local uniqueness of steady transonic shock solutions with spherical symmetry for the three-dimensional full Euler equations. These transonic shock-fronts are important for understanding transonic shock phenomena in divergent nozzles. From mathematical point of view, we show the uniqueness of solutions of a free boundary problem for a multidimensional quasilinear system of mixed-composite elliptic--hyperbolic type. To this end, we develop a decomposition of the Euler system which works in a general Riemannian manifold, a method to study a Venttsel problem of nonclassical nonloc…
We study the uniqueness and regularity of the steady states of the diffusively driven Boltzmann equation in the physically relevant case where the restitution coefficient depends on the impact velocity including, in particular, the case of viscoelastic hard-spheres. We adopt a strategy which is novel in several aspects, in particular, the study of regularity does not requires a priori knowledge of the time-dependent problem. Furthermore, the uniqueness result is obtained in the small thermalization regime by studying the so-called quasi-elastic limit for the problem. An important new aspect li…
In this paper, we study steady vortex patch solutions to the incompressible Euler equations in a planar bounded domain $D$. Let $ψ_0$ be the solution of the elliptic problem $-Δψ_{0} =1$ in $D$; $ψ_0=0$ on $\partial D$. We prove that for any finite collection of isolated maximum points of $ψ_0$, say $\{x_1,\cdot\cdot\cdot,x_k\},$ and any $k$-tuple $\vecκ=(κ_1,\cdot,\cdot,\cdot,κ_k)$ with $κ_i>0$ and $|\vecκ|:=\sum_{i=1}^kκ_i<<1,$ there exists a steady solution of the Euler equations such that the vorticity has the form $ω^{\vecκ}=1-I_{\cup_{i=1}^k A^{\vecκ}_i}$, where $I$ denotes the character…
Let $G=(V,E)$ be a connected finite graph. We study a system of non-Abelian multiple vortex equations on $G$. We established a necessary and sufficient condition for the existence and uniqueness of solutions to the non-Abelian multiple vortex equations.
We show that for steady compressible potential flow in a class of straight divergent nozzles with arbitrary cross-section, if the flow is supersonic and spherically symmetric at the entry, and the given pressure (velocity) is appropriately large (small) and also spherically symmetric at the exit, then there exists uniquely one transonic shock in the nozzle. In addition, the shock-front and the supersonic flow ahead of it, as well as the subsonic flow behind of it, are all spherically symmetric. This is a global uniqueness result of free boundary problems of elliptic--hyperbolic mixed type equa…
Consider the following skew-symmetric Chern-Simons system \begin{equation*}\left \{ \begin{split} &Δu_{1}+\frac{1}{\varepsilon^2} e^{u_{2}}(1-e^{u_{1}})=4π\sum^{N_1}_{j=1}δ_{p_{j,1}}\\ &Δu_{2}+\frac{1}{\varepsilon^2} e^{u_{1}}(1-e^{u_{2}})=4π\sum^{N_2}_{j=1}δ_{p_{j,2}} \end{split}\right.\quad\text{ in }\quadΩ, \end{equation*} where $Ω$ is a flat 2-dimensional torus $\mathbb{T}^2$ or $\mathbb{R}^2$, $\varepsilon> 0$ is a coupling parameter, and $δ_p$ denotes the Dirac measure concentrated at $p$. In this paper, we prove that, when the coupling parameter $\varepsilon$ is small, the topological t…
We prove the existence of critical points of the $N$-vortex Hamiltonian $H_Ω(x_1,\ldots, x_N) =\sum\limits^N_{i=1}Γ^2_i h(x_i) + \sum\limits_{i,j=1\atop j\not= k}^N Γ_iΓ_jG(x_i,x_j)+2\sum\limits_{i=1}^NΓ_iψ_0(x_i)$ in a bounded domain $Ω\subset{\mathbb R}^2$ which may be simply or multiply connected. Here $G$ denotes the Green function for the Dirichlet Laplace operator in $Ω$, more generally a hydrodynamic Green function, and $h$ the Robin function. Moreover $ψ_0\in C^1(\overlineΩ)$ is a harmonic function on $Ω$. We obtain new critical points $x=(x_1,\dots,x_N)$ for $N=3$ or $N=4$ under condi…
A Variational Family of Traveling Vortex Dipoles: Transition, Uniqueness, and Stability
Osaka Metropolitan University（大阪公立大学）；Korea Institute for Advanced Study（韩国高等研究院）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Xiamen University（厦门大学）
In this paper, we investigate steady Euler flows in a two-dimensional bounded domain. By an adaption of the vorticity method, we prove that for any nonconstant harmonic function $q$, which corresponds to a nontrivial irrotational flow, there exists a family of steady Euler flows with small circulation in which the vorticity is continuous and supported in a small neighborhood of the set of maximum points of $q$ near the boundary, and the corresponding stream function satisfies a semilinear elliptic equation with a given profile function. Moreover, if $q$ has $k$ isolated maximum points $\{\bar{…
In this paper, we are concerned with nonlinear desingularization of steady vortex rings in $\mathbb{R}^3$ with given general nonlinearity $f$. Using the improved vorticity method, we construct a family of steady vortex rings which constitute a desingularization of the classical circular vortex filament in the whole space. The requirements on $f$ are very general, and $f$ may have a simple discontinuity at the origin. Some qualitative and asymptotic properties are also established.
We study desingularization of steady vortex rings in three-dimensional axisymmetric incompressible Euler fluids with swirl. Using the variational method, we construct a two-parameter family of steady vortex rings, which constitute a desingularization of the classical circular vortex filament, in several kinds of domains. The precise localization of the asymptotic singular vortex filament is shown to depend on the circulation and the velocity at far fields of the vortex ring and the geometry of the domains. We also discuss other qualitative and asymptotic properties of these vortices.
The configurational distribution function, solution of an evolution (diffusion) equation of the Fokker-Planck-Smoluchowski type, is (at least part of) the corner stone of polymer dynamics: it is the key to calculating the stress tensor components. This can be reckoned from \cite{bird2}, where a wealth of calculation details is presented regarding various polymer chain models and their ability to accurately predict viscoelastic flows. One of the simplest polymer chain idealization is the Bird and Warner's model of finitely extensible nonlinear elastic (FENE) chains. In this work we offer a proo…
In this paper, we are concerned with nonlinear desingularization of steady vortex rings of three-dimensional incompressible Euler fluids. We focus on the case when the vorticity function has a simple discontinuity, which corresponding to a jump in vorticity at the boundary of the cross-section of the vortex ring. Using the vorticity method, we construct a family of steady vortex rings which constitute a desingularization of the classical circular vortex filament in several kinds of domains. The precise localization of the asymptotic singular vortex filament is proved to depend on the circulati…
We consider concentrated vorticities for the Euler equation on a smooth domain $Ω\subset \mathbf{R}^2$ in the form of \[ ω= \sum_{j=1}^N ω_j χ_{Ω_j}, \quad |Ω_j| = πr_j^2, \quad \int_{Ω_j} ω_j dμ=μ_j \ne 0, \] supported on well-separated vortical domains $Ω_j$, $j=1, \ldots, N$, of small diameters $O(r_j)$. A conformal mapping framework is set up to study this free boundary problem with $Ω_j$ being part of unknowns. For any given vorticities $μ_1, \ldots, μ_N$ and small $r_1, \ldots, r_N\in \mathbf{R}^+$, through a perturbation approach, we obtain such piecewise constant steady vortex patches …
We prove the existence of knotted and linked thin vortex tubes for steady solutions to the incompressible Euler equation in R^3. More precisely, given a finite collection of (possibly linked and knotted) disjoint thin tubes in R^3, we show that they can be transformed with a C^m-small diffeomorphism into a set of vortex tubes of a Beltrami field that tends to zero at infinity. The structure of the vortex lines in the tubes is extremely rich, presenting a positive-measure set of invariant tori and infinitely many periodic vortex lines. The problem of the existence of steady knotted vortex tubes…
Incompressible Euler flows in narrow domains, in which the horizontal length scale is much larger than other scales, play an important role in applications, and their leading-order behavior can be described by the hydrostatic Euler equations. In this paper, we show that steady solutions of the hydrostatic Euler equations in an infinite strip strictly away from stagnation must be shear flows. Furthermore, we prove the existence, uniqueness, and asymptotic behavior of global steady solutions to the hydrostatic Euler equations in general nozzles. In terms of stream function formulation, the hydro…
For $ε>0$, we consider the Ginzburg-Landau functional for $\mathbb R^N$-valued maps defined in the unit ball $B^N\subset \mathbb R^N$ with the vortex boundary data $x$ on $\partial B^N$. In dimensions $N\geq 7$, we prove that for every $ε>0$, there exists a unique global minimizer $u_ε$ of this problem; moreover, $u_ε$ is symmetric and of the form $u_ε(x)=f_ε(|x|)\frac{x}{|x|}$ for $x\in B^N$.
A relatively complete picture on the steady states of the following Schr$\ddot{o}$dinger-Poisson-Slater (SPS) system \[ \begin{cases} -ΔQ+Q=VQ-C_{S}Q^{2}, & Q>0\text{ in }\mathbb{R}^{3}\\ Q(x)\to0, & \mbox{as }x\to\infty,\\ -ΔV=Q^{2}, & \text{in }\mathbb{R}^{3}\\ V(x)\to0 & \mbox{as }x\to\infty. \end{cases} \] is given in this paper: existence, uniqueness, regularity and asymptotic behavior at infinity, where $C_{S}>0$ is a constant. To the author's knowledge, this is the first uniqueness result on SPS system.
We study the 2D Euler equation in a bounded simply-connected domain, and establish the local uniqueness of flow whose stream function $ψ_\varepsilon$ satisfies \begin{equation*} \begin{cases} -\varepsilon^2Δψ_\varepsilon=\sum\limits_{i=1}^k \mathbf1_{B_δ(z_{0,i})}(ψ_\varepsilon-μ_{\varepsilon,i})_+^γ,\ \ \ & \text{in} \ Ω, ψ_\varepsilon=0,\ \ \ & \text{on} \ Ω, \end{cases} \end{equation*} with $\varepsilon\to 0^+$ the scale parameter of vortices, $γ\in(0,\infty)$, $Ω\subset \mathbb R^2$ a bounded simply connected Lipschitz domain, $z_{0,i}\inΩ$ the limiting location of $i^{\text{th}}$ vortex, …
In this article, we prove nonlinear orbital stability for steadily translating vortex pairs, a family of nonlinear waves that are exact solutions of the incompressible, two-dimensional Euler equations. We use an adaptation of Kelvin's variational principle, maximizing kinetic energy penalised by a multiple of momentum among mirror-symmetric isovortical rearrangements. This formulation has the advantage that the functional to be maximized and the constraint set are both invariant under the flow of the time-dependent Euler equations, and this observation is used strongly in the analysis. Previou…
We study how a general steady configuration of finitely-many point vortices, with Newtonian interaction or generalized surface quasi-geostrophic interactions, can be desingularized into a steady configuration of vortex patches. The configurations can be uniformly rotating, uniformly translating, or completely stationary. Using a technique first introduced by Hmidi and Mateu \cite{Hmidi-Mateu} for vortex pairs, we reformulate the problem for the patch boundaries so that it no longer appears singular in the point-vortex limit. Provided the point vortex equilibrium is non-degenerate in a natural …
