--- abstract: 'Vorticity plays a prominent role in the dynamics of incompressible viscous flows. In two-dimensional freely decaying turbulence, after a short transient period, evolution is essentially driven by interactions of viscous vortices, the archetype of which is the self-similar Lamb-Oseen vortex. In three dimensions, amplification of vorticity due to stretching can counterbalance viscous dissipation and produce stable tubular vortices. This phenomenon is illustrated in a famous model originally proposed by Burgers, where a straight vortex tube is produced by a linear uniaxial strain field. In real flows vortex lines are usually not straight, and can even form closed curves, as in the case of axisymmetric vortex rings which are very common in nature and in laboratory experiments. The aim of this chapter is to review a few rigorous results concerning existence and stability of viscous vortices in simple geometries.' author: - | \ <span>**Thierry Gallay**</span>\ Université Grenoble Alpes\ Institut Fourier\ UMR CNRS 5582\ 100 rue des Maths\ 38610 Gières, France\ <span>michael28@example.org</span> - | \ <span>**Yasunori Maekawa**</span>\ Department of Mathematics\ Graduate School of Science\ Kyoto University\ Kitashirakawa Oiwake-cho, Sakyo-ku\ Kyoto 606-8502, Japan\ <span>michael28@example.org</span> title: 'Existence and stability of viscous vortices[^1]' --- Introduction {#sec0} ============ Since the pioneering work of Helmholtz @vHe, vorticity has been widely recognized as a quantity of fundamental importance in fluid dynamics, especially for turbulent flows. According to a famous quote by Küchermann @Ku, "vortices are the sinews and muscles of fluid motions". Intuitively, vorticity describes the local rotation of fluid particles at a given point. In the Eulerian representation, if ${\mathbf{u}}({\mathbf{x}},t)$ denotes the velocity of the fluid at point ${\mathbf{x}}= (x_1,x_2,x_3) \in {\mathbb{R}}^3$ and time $t \in {\mathbb{R}}$, the vorticity is the vector ${{\boldsymbol\omega}}({\mathbf{x}},t) = {\mathop{\mathrm{curl}}}{\mathbf{u}}({\mathbf{x}},t) = \nabla \wedge {\mathbf{u}}({\mathbf{x}},t)$. Under the evolution given by the Navier-Stokes equations, the vorticity satisfies $$\label{3DNSom} \partial_t {{\boldsymbol\omega}}({\mathbf{x}},t) + ({\mathbf{u}}({\mathbf{x}},t),\nabla){{\boldsymbol\omega}}({\mathbf{x}},t) - ({{\boldsymbol\omega}}({\mathbf{x}},t),\nabla){\mathbf{u}}({\mathbf{x}},t) \,=\, \nu\Delta {{\boldsymbol\omega}}({\mathbf{x}},t)\,,$$ where $\nu > 0$ is the kinematic viscosity of the fluid, i.e. the ratio of the viscosity to the fluid density. In the incompressible case considered here, the velocity field satisfies ${\mathop{\mathrm{div}}}{\mathbf{u}}({\mathbf{x}},t) = 0$ and is thus entirely determined by the vorticity distribution up to an irrotational flow. The Biot-Savart law is a reconstruction formula that expresses ${\mathbf{u}}$ in terms of ${{\boldsymbol\omega}}$, depending on the geometry of the fluid domain and the boundary conditions. In the whole space ${\mathbb{R}}^3$, if the vorticity distribution is sufficiently localized, the Biot-Savart formula reads $$\label{BS3D} {\mathbf{u}}({\mathbf{x}},t) \,=\, -\frac{1}{4\pi}\int_{{\mathbb{R}}^3}\frac{({\mathbf{x}}-{\mathbf{y}})\wedge {{\boldsymbol\omega}}({\mathbf{y}},t)}{|{\mathbf{x}}-{\mathbf{y}}|^3} {\,{\rm d}}{\mathbf{y}}\,.$$ In viscous fluids, vorticity is usually created within boundary layers near walls or interfaces, or in the vicinity of a stirring device. Once produced, vorticity can be substantially amplified by the local strain in the fluid, through a genuinely three-dimensional mechanism that is often referred to as "vortex stretching". A Taylor expansion of the velocity field at a given point ${\mathbf{x}}_0$ reveals that $${\mathbf{u}}({\mathbf{x}},t) \,=\, {\mathbf{u}}({\mathbf{x}}_0,t) + \frac12 {{\boldsymbol\omega}}({\mathbf{x}}_0,t) \wedge ({\mathbf{x}}-{\mathbf{x}}_0) + (D{\mathbf{u}}({\mathbf{x}}_0,t))({\mathbf{x}}-{\mathbf{x}}_0) + {\mathcal{O}}(|{\mathbf{x}}-{\mathbf{x}}_0|^2)\,,$$ where $D{\mathbf{u}}= \frac12 \bigl((\nabla{\mathbf{u}}) + (\nabla{\mathbf{u}})^\top\bigr)$ is the deformation tensor, whose eigenvalues $\gamma_1, \gamma_2, \gamma_3$ are called the principal strains at ${\mathbf{x}}_0$. Incompressibility implies that $\gamma_1 + \gamma_2 + \gamma_3 = 0$, so that two generic situations may occur. If two principal strains (say, $\gamma_1$ and $\gamma_2$) are negative and the third one is positive, vorticity gets amplified at ${\mathbf{x}}_0$ in the direction of the principal strain axis corresponding to $\gamma_3$. That stretching mechanism can compensate the viscous dissipation and result in the formation of stable vortex filaments, a typical example being the Burgers vortex @Bu which will be studied in Section \[sec3\]. In contrast, if two principal strains are positive at ${\mathbf{x}}_0$, the stretching effect leads to the formation of vortex sheets, which are also commonly observed in turbulent flows although they undergo the Kelvin-Helmholtz instability at high Reynolds numbers. Vortex sheets play a prominent role in interfacial motion and boundary layer theory, and the interested reader is referred to the chapter entitled "The Inviscid Limit and Boundary Layers for the Navier-Stokes Flows" for further information. In the present chapter, emphasis is put on vortex tubes or filaments, for which vorticity is essentially concentrated along a curve with no endpoints in the fluid. In general, the curve will evolve with time, because it is advected by the flow. According to Helmholtz's first law, the *total circulation* of such a vortex filament is constant along its length, and is also independent of time as long as the viscous effects can be neglected. This very important quantity, often denoted by $\Gamma$, can be defined as the flux of the vorticity vector through any cross section of the vortex tube, or equivalently (in view of Stokes' theorem) as the circulation of the velocity along any closed curve enclosing that tube. The ratio $\alpha = \Gamma/\nu$ of the total circulation to the kinematic viscosity is a dimensionless quantity, sometimes referred to as the circulation Reynolds number, which measures the strength of the vortex and plays a crucial role in stability issues. Since vortex filaments have no endpoints, they must either extend to the fluid boundary, or to infinity, or form closed curves. In the simple situation, already considered in @vHe, where all vortex lines are straight and parallel to each other, the velocity and vorticity fields take the particular form $$\label{velvort2D} {\mathbf{u}}({\mathbf{x}},t) \,=\, \begin{pmatrix} u_1(x_1,x_2,t) \\ u_2(x_1,x_2,t) \\ 0 \end{pmatrix}\,, \qquad {{\boldsymbol\omega}}({\mathbf{x}},t) \,=\, \begin{pmatrix} 0 \\ 0 \\ \omega(x_1,x_2,t) \end{pmatrix}\,,$$ where $x = (x_1,x_2) \in {\mathbb{R}}^2$ and $\omega = \partial_1 u_2 - \partial_2 u_1$. Here the coordinates have been chosen so that the third axis coincides with the direction of the vortex filaments. The evolution equation for the scalar vorticity $\omega(x,t)$ is $$\label{2DNSom} \partial_t \omega(x,t) + u(x,t)\cdot\nabla\omega(x,t) \,=\, \nu\Delta \omega(x,t)\,,$$ where $u = (u_1,u_2)$ satisfies $\partial_1 u_1 + \partial_2 u_2 = 0$. If the vorticity distribution is sufficiently localized, the two-dimensional velocity field $u(x,t)$ is given by the 2D Biot-Savart law $$\label{BS2D} u(x,t) \,=\, \frac{1}{2\pi}\int_{{\mathbb{R}}^2}\frac{(x-y)^\perp}{|x-y|^2} \,\omega(y,t){\,{\rm d}}y\,,$$ where $x^\perp = (-x_2,x_1)$ and $|x|^2 = x_1^2 + x_2^2$. Eq. is just an advection-diffusion equation for the scalar quantity $\omega$, hence (by the maximum principle) no amplification of vorticity can occur in the two-dimensional case. As a consequence, all localized vortex structures will eventually spread out and decay, since there is nothing to counterbalance the effect of viscosity. A typical example is provided by the *Lamb-Oseen vortex*, an exact self-similar solution to of the form $$\label{Osdef} \omega(x,t) \,=\, \frac{\Gamma}{\nu t}\,G\Bigl(\frac{x}{\sqrt{\nu t}} \Bigr)\,,\qquad u(x,t) \,=\, \frac{\Gamma}{\sqrt{\nu t}}\, v^G\Bigl(\frac{x}{\sqrt{\nu t}}\Bigr)\,,$$ where the vorticity and velocity profiles are explicitly given by $$\label{Gdef} G(\xi) \,=\, \frac{1}{4\pi}\,e^{-|\xi|^2/4}\,, \qquad v^G(\xi) \,=\, \frac{1}{2\pi}\,\frac{\xi^\perp}{|\xi|^2} \Bigl(1 - e^{-|\xi|^2/4}\Bigr)\,, \qquad \xi \in {\mathbb{R}}^2\,.$$ Note that $\int_{{\mathbb{R}}^2} G(\xi){\,{\rm d}}\xi = 1$, so that $\int_{{\mathbb{R}}^2} \omega(x,t){\,{\rm d}}x = \Gamma$ for all $t > 0$, in agreement with the general definition of the total circulation $\Gamma$. The Lamb-Oseen vortex plays a distinguished role in the dynamics of the two-dimensional vorticity equation , for two main reasons. First, it deserves the name of fundamental solution, in the sense that it is the unique solution of with initial data $\omega_0 = \Gamma\delta_0$, where $\delta_0$ denotes the Dirac measure at the origin. Next, it describes to leading order the long-time asymptotics of all solutions of with integrable initial data and nonzero circulation @GW1. If self-similar variables are used, the Lamb-Oseen vortex becomes a stationary solution of some rescaled equation, and its stability properties can then be studied using spectral theory and other standard techniques. This analysis is presented in Section \[sec1\] below, and serves as a model for further existence and stability results in more complex situations. Another relatively simple and mathematically tractable situation is the axisymmetric case without swirl, where the velocity field is invariant under rotations about a given axis, and under reflections by any plane containing the axis. Here all vortex lines are circles centered on the symmetry axis and normal to it. Using cylindrical coordinates $(r,\theta,z)$, so that $r$ represents the distance to the symmetry axis and $z$ the position along the axis, the velocity and vorticity fields are given by $$\label{velvortaxi} {\mathbf{u}}({\mathbf{x}},t) \,=\, u_r(r,z,t)\,{\mathbf{e}}_r + u_z(r,z,t)\,{\mathbf{e}}_z\,, \qquad {{\boldsymbol\omega}}({\mathbf{x}},t) \,=\, \omega_\theta(r,z,t)\,{\mathbf{e}}_\theta\,,$$ where ${\mathbf{e}}_r, {\mathbf{e}}_\theta, {\mathbf{e}}_z$ denote unit vectors in the radial, toroidal, and vertical directions, respectively. As in the two-dimensional case, the vorticity vector has only one nonzero component $\omega_\theta$, which satisfies the evolution equation $$\label{Axiom} \partial_t \omega_\theta + u\cdot\nabla\omega_\theta - \frac{u_r}{r}\omega_\theta \,=\, \nu\Bigl(\Delta \omega_\theta - \frac{\omega_\theta}{r^2}\Bigr)\,,$$ where $u\cdot\nabla = u_r\partial_r + u_z\partial_z$ and $\Delta = \partial_r^2 + \frac{1}{r}\partial_r + \partial_z^2$ denotes the Laplace operator in cylindrical coordinates. The velocity $u = (u_r,u_z)$ can be expressed in terms of the axisymmetric vorticity $\omega_\theta$ by solving the linear elliptic system $$\label{AxiBS} \partial_r u_r + \frac{1}{r} u_r + \partial_z u_z \,=\, 0\,, \qquad \partial_z u_r - \partial_r u_z \,=\, \omega_\theta\,,$$ in the half-plane $\Omega = \{(r,z) \in {\mathbb{R}}^2\,|\, r > 0\,,~z \in {\mathbb{R}}\}$, with boundary conditions $u_r = \partial_r u_z = 0$ at $r = 0$. Explicit formulas for the axisymmetric Biot-Savart law exist, see e.g. @FS [@GS1], but are more involved than in the two-dimensional case. The analogue of the Lamb-Oseen vortex for axisymmetric flows is the solution of with a vortex filament as initial data. This means that $\omega_\theta(\cdot,\cdot,0) = \Gamma\delta_{(\bar r, \bar z)}$ where $\delta_{(\bar r,\bar z)}$ denotes the Dirac measure located at some point $(\bar r,\bar z) \in \Omega$. Existence of a global solution to with such initial data was recently shown by Feng and Šverák @FS, and uniqueness can be established using, in particular, the approach presented in Section \[sec1\], see @GS2. The reader is referred to Section \[sec2\] below for up-to-date results on existence of axisymmetric vortex rings. The third and final case considered here is a famous model for vortex filaments in turbulent flows, originally proposed by Burgers @Bu. It is assumed that the velocity field has the form ${\mathbf{u}}({\mathbf{x}},t) = {\mathbf{u}}_s({\mathbf{x}}) + {\mathbf{v}}({\mathbf{x}},t)$, where ${\mathbf{u}}_s({\mathbf{x}})$ is a stationary straining flow of the form $$\label{defstrain} {\mathbf{u}}_s({\mathbf{x}}) \,=\, \begin{pmatrix} \gamma_1 x_1 \\ \gamma_2 x_2 \\ \gamma_3 x_3\end{pmatrix} \,=\, {\mathcal{M}}{\mathbf{x}}\,, \qquad {\mathcal{M}}\,=\, \begin{pmatrix} \gamma_1 & 0 & 0\\ 0 & \gamma_2 & 0 \\ 0 & 0 & \gamma_3\end{pmatrix}\,,$$ where $\gamma_1 + \gamma_2 + \gamma_3 = 0$ and $\gamma_1, \gamma_2 < 0$, $\gamma_3 > 0$. According to the discussion above, the strain describes to leading order the deformation rate of any smooth, incompressible velocity field near the origin, at a given time. Burgers' model is crude in the sense that it assumes that the strain ${\mathbf{u}}_s({\mathbf{x}})$ is independent of time and extends all the way to infinity in space, which is certainly not realistic in turbulent flows. Nevertheless, the model is interesting because it clearly illustrates the vortex stretching effect, which in the present case produces a family of stationary solutions that can be compared with observations in experiments. If ${\mathbf{u}}({\mathbf{x}},t) = {\mathbf{u}}_s({\mathbf{x}}) + {\mathbf{v}}({\mathbf{x}},t)$, the vorticity equation can be written in equivalent form $$\label{3Domstrain} \partial_t {{\boldsymbol\omega}}({\mathbf{x}},t) + ({\mathbf{v}}({\mathbf{x}},t),\nabla){{\boldsymbol\omega}}({\mathbf{x}},t) - ({{\boldsymbol\omega}}({\mathbf{x}},t),\nabla){\mathbf{v}}({\mathbf{x}},t) \,=\, {\mathcal{L}}{{\boldsymbol\omega}}({\mathbf{x}},t)\,,$$ where ${\mathcal{L}}$ is the linear operator defined by $$\label{LLdef} {\mathcal{L}}{{\boldsymbol\omega}}\,=\, \nu\Delta {{\boldsymbol\omega}}- ({\mathcal{M}}{\mathbf{x}},\nabla){{\boldsymbol\omega}}+ {\mathcal{M}}{{\boldsymbol\omega}}\,.$$ As ${\mathop{\mathrm{div}}}{\mathbf{v}}= 0$ and ${\mathop{\mathrm{curl}}}{\mathbf{v}}= {{\boldsymbol\omega}}$, the Biot-Savart law can be used to reconstruct the time-dependent velocity field ${\mathbf{v}}$ from the vorticity distribution ${{\boldsymbol\omega}}$. In addition to the Laplacian, the linear operator ${\mathcal{L}}$ includes an advection term that depends linearly on the space variable ${\mathbf{x}}$, and a zero order term involving the strain matrix ${\mathcal{M}}$ whose main effect is to amplify the third component $\omega_3$ while attenuating $\omega_1$ and $\omega_2$. The Burgers vortex is a stationary solution of which results from the balance between the amplification of vorticity due to stretching and the dissipation due to viscosity. In the axisymmetric case where $\gamma_1 = \gamma_2 = -\gamma/2$ and $\gamma_3 = \gamma > 0$, it has the explicit form $$\label{GGdef} {{\boldsymbol\omega}}({\mathbf{x}}) \,=\, \Gamma\,\frac{\gamma}{\nu} \,{\mathbf{G}}\Bigl(x\sqrt{\gamma/\nu}\Bigr)\,, \qquad {\mathbf{v}}({\mathbf{x}}) \,=\, \Gamma\sqrt{\frac{\gamma}{\nu}}\,{\mathbf{v}}^G\Bigl( x\sqrt{\gamma/\nu}\Bigr)\,,$$ where $\Gamma$ is the total circulation and $$\label{defGG} {\mathbf{G}}(\xi) \,=\, \begin{pmatrix} 0 \\ 0 \\ G(\xi)\end{pmatrix}\,, \qquad {\mathbf{v}}^G(\xi) \,=\, \frac{1}{2\pi |\xi|^2} \Bigl(1 - e^{-|\xi|^2/4}\Bigr) \begin{pmatrix} -\xi_2 \\ \xi_1 \\ 0\end{pmatrix}\,.$$ The striking similarity with the corresponding expressions , for the Lamb-Oseen vortex is of course not an accident. Indeed, if the pair ${{\boldsymbol\omega}}({\mathbf{x}},t), {\mathbf{v}}({\mathbf{x}},t)$ is a solution of that is two-dimensional in the sense that $\partial_3 {{\boldsymbol\omega}}= \partial_3 {\mathbf{v}}\equiv 0$ and $\omega_1 = \omega_2 \equiv 0$, then the pair $\omega(x,t), u(x,t)$ defined by *Lundgren's transformation* @Lu $$\label{Lundgren} \omega(x,t) \,=\, \frac{1}{\gamma t}\,\omega_3\Bigl(\frac{x}{ \sqrt{\gamma t}}\,,\,\frac{1}{\gamma}\log(\gamma t)\Bigr)\,, \qquad u(x,t) \,=\, \frac{1}{\sqrt{\gamma t}}\,v\Bigl(\frac{x}{ \sqrt{\gamma t}}\,,\,\frac{1}{\gamma}\log(\gamma t)\Bigr)\,,$$ satisfies the two-dimensional vorticity equation . In other words, the two-dimensional solutions of equation , which includes an axisymmetric linear straining field, are in one-to-one correspondence with those of the two-dimensional vorticity equation , via a self-similar change of variables. This observation plays a crucial role both in Section \[sec1\], where stability of the Lamb-Oseen vortex is studied, and in Section \[sec3\] where the corresponding results for the axisymmetric Burgers vortex are presented. There is however an important difference between both situations<span>:</span> although the Burgers vortex is a two-dimensional stationary solution of , there is no reason to restrict the stability analysis to perturbations in the same class. Quite the contrary, the Burgers vortex can be a relevant model for tubular structures in turbulent flows only if one can prove stability with respect to general three-dimensional perturbations, and this is a difficult problem that has no counterpart in the two-dimensional case, see Section \[sec3\] for a detailed discussion. In the asymmetric case where $\gamma_1 \neq \gamma_2$, Burgers vortices still exist, but their profiles satisfy a genuinely nonlinear equation and explicit formulas such as , are no longer available. Thus even existence of such stretched vortices is a challenging mathematical question, which will also be discussed in Section \[sec3\]. More generally, all existence, uniqueness, and stability results available for the axisymmetric Burgers vortex are expected to remain true in the asymmetric case too, although rigorous proofs are not always available. Although physical constants are useful for dimensional analysis and important for comparison with experiments, they often hinder the mathematical analysis by making formulas needlessly complicated. In Sections \[sec1\] and \[sec3\] below, dimensionless variables and functions are systematically used, and this amounts to setting $\nu = \gamma = 1$ in all formulas. In particular, the total circulation of a vortex coincides with the circulation Reynolds number, and will be denoted by $\alpha$. Stability of Lamb-Oseen vortices {#sec1} ================================ This section is devoted to the stability analysis of the family of Lamb-Oseen vortices . These are self-similar solutions of the two-dimensional vorticity equation , and their properties are most conveniently studied if the equation itself is written in self-similar variables $\xi = x/\sqrt{t}$, $\tau = \log(t)$ @GW0. Assuming $\nu = 1$ and setting $$\label{vwdef} \omega(x,t) \,=\, \frac{1}{t}\,w\Bigl(\frac{x}{\sqrt{t}}\,,\, \log(t)\Bigr)\,, \qquad u(x,t) \,=\, \frac{1}{\sqrt{t}}\,v\Bigl(\frac{x}{\sqrt{t}}\,,\, \log(t)\Bigr)\,,$$ one obtains for the rescaled vorticity $w(\xi,\tau)$ and the rescaled velocity $v(\xi,\tau)$ the following evolution equation $$\label{NS2Dw} \partial_\tau w(\xi,\tau) + v(\xi,\tau)\cdot\nabla w(\xi,\tau) \,=\, L w(\xi,\tau)\,,$$ where $L$ is the linear operator defined by $$\label{Ldef} L \,=\, \Delta + \frac{\xi}{2}\cdot\nabla + 1\,.$$ The change of variables coincides with Lundgren's transformation , except that it is used here in the opposite way<span>:</span> starting from the two-dimensional vorticity $\omega(x,t)$ and velocity $u(x,t)$, one obtains the rescaled quantities $w(\xi,\tau), v(\xi,\tau)$ whose physical meaning is not immediately obvious. In addition, the rescaled equation looks more complicated than the original vorticity equation because the Laplace operator $\Delta$ is replaced by the Fokker-Planck operator $L$. However, from a mathematical point of view, the rescaled equation has several advantages which greatly simplify the analysis. In particular, the operator $L$ has (partially) discrete spectrum when considered in appropriate function spaces, and that observation is crucial for the stability analysis of the Lamb-Oseen vortex presented below. Moreover, the associated semigroup $e^{\tau L}$ has nice confinement properties, as a consequence of which it is possible to use compactness methods to investigate the long-time behavior of solutions to the rescaled vorticity equation , see @GW1. Due to scale invariance, the Biot-Savart law is not affected by the change of variables . This means that the rescaled velocity $v(\xi,\tau)$ can be reconstructed from the rescaled vorticity $w(\xi,\tau)$ through the formula $$\label{newBS2D} v(\cdot,\tau) \,=\, K_{2D} * w(\cdot,\tau)~, \qquad \hbox{where}\quad K_{2D}(\xi) \,=\, \frac{1}{2\pi} \frac{\xi^\perp}{|\xi|^2}\,.$$ By construction, for any $\alpha \in {\mathbb{R}}$, the Lamb-Oseen vortex $w = \alpha G$, $v = \alpha v^G$ is a stationary solution of . The dynamical relevance of this family of equilibria is demonstrated by the following global convergence result. \[<span>**@GW1**</span>\]\[globconv\] For any initial data $w_0 \in L^1({\mathbb{R}}^2)$, the rescaled vorticity equation has a unique global solution $w \in C^0([0,\infty),L^1({\mathbb{R}}^2))$. This solution satisfies $\|w(\tau)\|_{L^1({\mathbb{R}}^2)} \le \|w_0\|_{L^1({\mathbb{R}}^2)}$ for all $\tau \ge 0$, and $$\label{globconvest} \lim_{\tau \to \infty} \|w(\tau) - \alpha G\|_{L^1({\mathbb{R}}^2)} \,=\, 0\,, \qquad \hbox{where}\quad \alpha \,=\, \int_{{\mathbb{R}}^2} w_0(\xi){\,{\rm d}}\xi\,.$$ Theorem \[globconv\] shows that Lamb-Oseen vortices describe, to leading order, the long-time behavior of all solutions of the two-dimensional Navier-Stokes equations with integrable initial vorticity and nonzero total circulation $\alpha$. Similar conclusions were previously obtained for small solutions @GK, and for large solutions with small circulation @Ca. The first step in the proof consists in showing that the original vorticity equation is globally well-posed in $L^1({\mathbb{R}}^2)$, that the $L^1$ norm of the solutions is nonincreasing in time, and that the total circulation $\alpha = \int_{{\mathbb{R}}^2} \omega{\,{\rm d}}x$ is a conserved quantity @BA. Since the change of variables leaves the $L^1$ norm invariant, the same conclusions hold for the rescaled vorticity equation too. Then, in view of the confinement properties of the linear semigroup $e^{\tau L}$, one can show that the solutions of are not only bounded, but also relatively compact in the space $L^1({\mathbb{R}}^2)$. Finally, using appropriate Lyapunov functions @GW1 or monotonicity properties based on rearrangement techniques @GGL, one can prove that the omega-limit set in $L^1({\mathbb{R}}^2)$ of any solution of is included in the family of Lamb-Oseen vortices. As the total circulation is conserved, the omega-limit set is in fact reduced to the singleton $\{\alpha G\}$, which proves . The interested reader is referred to @GW1 [@GGS] for details. The global convergence result is very general, but the proof sketched above is not constructive, and does not yield any estimate on the time needed to reach the asymptotic regime described by the Lamb-Oseen vortex. Explicit estimates of the convergence time can however be obtained if the vorticity has a definite sign @GW1 or is strongly localized @GR. In the rest of this section, emphasis is put on local stability results, for which explicit bounds are also available. Local stability results {#ss1.1} ----------------------- Theorem \[globconv\] strongly suggests, but does not really prove, that the Lamb-Oseen vortex $\alpha G$ is a stable equilibrium of the rescaled vorticity equation for any $\alpha \in {\mathbb{R}}$. Stability can be established by considering solutions of the form $w = \alpha G + \tilde w$, $v = \alpha v^G + \tilde v$. The perturbations satisfy the evolution equation $$\label{NS2Dwper} \partial_\tau \tilde w + \tilde v \cdot \nabla \tilde w \,=\, (L - \alpha \Lambda)\tilde w\,,$$ where $L$ is given by and $\Lambda$ is the nonlocal linear operator defined by $$\label{Lamdef} \Lambda \tilde w \,=\, v^G \cdot\nabla \tilde w + \tilde v\cdot\nabla G\,, \qquad \hbox{with}\quad \tilde v \,=\, K_{2D}*\tilde w\,.$$ It is possible to prove that the perturbation equation is globally well-posed in the space $L^1({\mathbb{R}}^2)$, and that the origin $\tilde w = 0$ is a stable equilibrium, but at this level of generality little can be said about the long-time behavior of the solutions. However, more precise stability results can be obtained if one assumes that the vorticity is sufficiently localized in space. Given $m \in [0,\infty]$, let $\rho_m : [0,\infty) \to [1,\infty)$ be the weight function defined by $$\label{def.rhom} \rho_m(r) \,=\, \begin{cases} 1 & \hbox{if} \quad m = 0\,, \\ (1+\frac{r}{4m})^m & \hbox{if} \quad 0 < m<\infty\,, \\ e^{r/4} & \hbox{if} \quad m = \infty\,.\end{cases}$$ Perturbations will be taken in the weighted $L^2$ space $$\label{def.L^2(m)} L^2(m) \,=\, \Bigl\{w\in L^2({\mathbb{R}}^2)~\Big|~\|w\|_{L^2(m)}^2 = \int_{{\mathbb{R}}^2} \rho_m(|\xi|^2) |w(\xi)|^2 {\,{\rm d}}\xi < \infty \Bigr\}\,,$$ which is a (real) Hilbert space equipped with the scalar product $$\label{L2mscalar} \langle w_1\,,\,w_2\rangle_{L^2(m)} \,=\, \int_{{\mathbb{R}}^2} \rho_m(|\xi|^2) w_1(\xi) w_2(\xi){\,{\rm d}}\xi\,.$$ Elements of $L^2(m)$ are square integrable functions with algebraic decay at infinity if $0 < m < \infty$, and Gaussian decay if $m = \infty$. Hölder's inequality implies that $L^2(m) \hookrightarrow L^1({\mathbb{R}}^2)$ if $m > 1$. In that case, it is useful to introduce the closed subspace $$\label{def.L^2_0(m)} L^2_0(m) \,=\, \Bigl\{w \in L^2(m)~\Big|~\int_{{\mathbb{R}}^2} w(\xi) {\,{\rm d}}\xi = 0\Bigr\}\,,$$ which happens to be invariant under the action of both linear operators $L$ and $\Lambda$. To study the stability of the origin $\tilde w = 0$ for the perturbation equation , it is useful to compute the spectrum of the linearized operator $L - \alpha \Lambda$ in the (complexified) Hilbert space $L^2(m)$. In the simple case where $\alpha = 0$, the spectrum is explicitly known<span>:</span> \[@GW0\]\[Lspectrum\] For any $m \in [0,\infty]$, the spectrum of the linear operator in the weighted space $L^2(m)$ defined by , is $$\label{Lspec} \sigma_m(L) \,=\, \Bigl\{\lambda \in {\mathbb{C}}\,\Big|\, {\mathop{\mathrm{Re}}}(\lambda) \le \frac{1}{2} - \frac{m}{2}\Bigr\} \,\cup\, \Bigl\{-\frac{k}{2} \,\Big|\, k \in {\mathbb{N}}\Bigr\}\,.$$ Moreover, if $m > k+1$ for some $k \in {\mathbb{N}}$, then $\lambda_k = -k/2$ is an isolated eigenvalue of $L$, with (algebraic and geometric) multiplicity $k+1$. It follows in particular from Proposition \[Lspectrum\] that $L$ has purely discrete spectrum in $L^2(m)$ when $m = \infty$. This is easily understood if one observes that $\rho_\infty(|\xi|^2) = e^{|\xi|^2/4} = (4\pi)^{-1}G(\xi)^{-1}$, and that $$\label{Lconj} G^{-1/2} \,L ~G^{1/2} \,=\, \Delta \,-\, \frac{|\xi|^2}{16} \,+\, \frac12\,.$$ The formal relation implies that the operator $L$ in $L^2(\infty)$ is unitarily equivalent to the harmonic oscillator $\Delta - |\xi|^2/16 +1/2$ in $L^2({\mathbb{R}}^2)$, the spectrum of which is the sequence $(\lambda_k)_{k \in {\mathbb{N}}}$, where $\lambda_k = -k/2$ has multiplicity $k+1$. If $m < \infty$, the discrete part of the spectrum persists because the corresponding eigenfunctions decay michael28@example.org. In addition, any $\lambda \in {\mathbb{C}}$ such that ${\mathop{\mathrm{Re}}}(\lambda) < (1-m)/2$ is an eigenvalue of $L$ in $L^2(m)$ with infinite multiplicity @GW0, hence the spectrum $\sigma_m(L)$ also includes the closed half-plane $H_m = \{\lambda \in {\mathbb{C}}\,|\, {\mathop{\mathrm{Re}}}(\lambda) \le (1-m)/2\}$. In the more interesting case where $\alpha \neq 0$, the spectrum of $L-\alpha\Lambda$ in $L^2(m)$ cannot be computed explicitly. However, upper bounds on the real part of the spectrum are sufficient for the stability analysis, and such estimates can be obtained by combining the following three observations. <span>**Observation 1<span>:</span>**</span> The operator $\Lambda$ is a <span>*relatively compact*</span> perturbation of $L$ in $L^2(m)$, for any $m \in [0,\infty]$. This is intuitively obvious, because $\Lambda$ is a first-order differential operator whose coefficients decay to zero at infinity, whereas $L$ involves in particular the Laplace operator $\Delta$. By Weyl's theorem, the <span>*essential spectrum*</span> @He of $L-\alpha\Lambda$ in $L^2(m)$ does not depend on $\alpha$, hence coincides with the closed half-plane $H_m = \{\lambda \in {\mathbb{C}}\,|\, {\mathop{\mathrm{Re}}}(\lambda) \le (1-m)/2\}$ by Proposition \[Lspectrum\]. It thus remains to locate isolated eigenvalues of $L-\alpha\Lambda$ outside $H_m$. <span>**Observation 2<span>:</span>**</span> The isolated eigenvalues of $L-\alpha\Lambda$ in $L^2(m)$ do not depend on $m$. Indeed, if $w \in L^2(m)$ satisfies $(L-\alpha\Lambda)w = \lambda w$ for some $\lambda \in {\mathbb{C}}\setminus H_m$, one can show that $w$ decays sufficiently fast at infinity so that $w \in L^2(\infty)$ @GW1. This means that isolated eigenvalues of $L-\alpha\Lambda$ can be located by considering the particular case $m = \infty$, where the spectrum is fully discrete and consists of a sequence of eigenvalues $(\lambda_k(\alpha))_{k \in {\mathbb{N}}}$ with ${\mathop{\mathrm{Re}}}(\lambda_k(\alpha)) \to -\infty$ as $k \to \infty$. <span>**Observation 3<span>:</span>**</span> The operator $\Lambda$ is <span>*skew-symmetric*</span> in $L^2(\infty)$, namely $$\label{Lamasym} \langle \Lambda w_1\,,\,w_2\rangle + \langle w_1\,,\,\Lambda w_2\rangle \,=\, 0\,, \qquad \hbox{for all} \quad w_1,w_2 \in D(\Lambda) \subset L^2(\infty)\,,$$ where $D(\Lambda) \subset L^2(\infty)$ is the (maximal) domain of the operator $\Lambda$, and $\langle\cdot\,,\cdot\rangle$ denotes the scalar product in $L^2(\infty)$, which (up to an irrelevant factor) can be written in the form $$\label{Xprod} \langle w_1 \,,\,w_2\rangle \,=\, \int_{{\mathbb{R}}^2} G(\xi)^{-1} w_1(\xi)w_2(\xi){\,{\rm d}}\xi\,.$$ To prove one decomposes $\Lambda = \Lambda_1 + \Lambda_2$, where $\Lambda_1 w = v^G \cdot \nabla w$ and $\Lambda_2 w = (K_{2D}*w)\cdot \nabla G$. If $w_1, w_2 \in L^2(\infty)$ belong to the domain of $\Lambda$, then $$\begin{aligned} \langle \Lambda_1 w_1,w_2\rangle + \langle w_1, \Lambda_1 w_2 \rangle \,&=\, \int_{{\mathbb{R}}^2} G^{-1}\Bigl(w_2 \,v^G \cdot \nabla w_1 + w_1\,v^G\cdot \nabla w_2\Bigr){\,{\rm d}}\xi \cr \,&=\, \int_{{\mathbb{R}}^2} G^{-1} \,v^G\cdot \nabla(w_1 w_2){\,{\rm d}}\xi \,=\, 0\,, \end{aligned}$$ because the vector field $G^{-1}v^G$ is divergence-free. Moreover using the identity $\nabla G = -\frac12\xi G$ and the Biot-Savart law , one obtains $$\begin{aligned} &\langle \Lambda_2 w_1,w_2\rangle + \langle w_1, \Lambda_2 w_2 \rangle \,=\, -\frac12\int_{{\mathbb{R}}^2} \Bigl((\xi\cdot v_1) w_2 + (\xi\cdot v_2) w_1\Bigr){\,{\rm d}}\xi \cr \,&=\, -\frac{1}{4\pi}\int_{{\mathbb{R}}^2}\int_{{\mathbb{R}}^2} \left\{\xi\cdot \frac{(\xi-\eta)^\perp}{|\xi-\eta|^2} + \eta \cdot \frac{(\eta-\xi)^\perp}{|\xi-\eta|^2}\right\} w_1(\eta) w_2(\xi){\,{\rm d}}\eta{\,{\rm d}}\xi \,=\, 0\,,\end{aligned}$$ because the last integrand vanishes identically. This proves . One can also show that the operator $\Lambda$ is not only skew-symmetric, but also skew-adjoint in $L^2(\infty)$, see @M3. The observations above lead to the following <span>*spectral stability result*</span> for the Lamb-Oseen vortex in the space $L^2(m)$. \[@GW1\]\[specstab\] For any $\alpha \in {\mathbb{R}}$ and any $m \in [1,\infty]$, the spectrum of the linearized operator $L - \alpha\Lambda$ in the space $L^2(m)$ satisfies $$\label{sigma0} \sigma_m(L-\alpha\Lambda) \,\subset\, \Bigl\{\lambda \in {\mathbb{C}}\,\Big|\, {\mathop{\mathrm{Re}}}(\lambda) \le 0\Bigr\}\,.$$ Moreover, if $m \ge 2$, then $$\label{sigma1} \sigma_m(L-\alpha\Lambda) \,\subset\, \{0\} \,\cup\, \Bigl\{\lambda \in {\mathbb{C}}\,\Big|\, {\mathop{\mathrm{Re}}}(\lambda) \le -\frac12\Bigr\}\,.$$ Finally, if $m \ge 3$, then $$\label{sigma2} \sigma_m(L-\alpha\Lambda) \,\subset\, \{0\} \,\cup\, \Bigl\{-\frac12\Bigr\} \,\cup\, \Bigl\{\lambda \in {\mathbb{C}}\,\Big|\, {\mathop{\mathrm{Re}}}(\lambda) \le -1\Bigr\}\,.$$ <span>**Proof.**</span> As before let $H_m = \{\lambda \in {\mathbb{C}}\,|\, {\mathop{\mathrm{Re}}}(\lambda) \le (1-m)/2\}$. By Observation 1 above, if $m \ge 1$, the essential spectrum of $L-\alpha\Lambda$ is included in the half-space $H_1$. Assume that $\lambda \in {\mathbb{C}}\setminus H_1$ is an isolated eigenvalue of $L-\alpha\Lambda$, and let $w \in L^2(m)$ be a nontrivial eigenfunction associated with $\lambda$. Then $w \in L^2(\infty)$ by Observation 2, and using Observation 3 one finds $$\label{dissip} {\mathop{\mathrm{Re}}}(\lambda) \langle w,w\rangle \,=\, {\mathop{\mathrm{Re}}}\langle (L-\alpha\Lambda)w,w\rangle \,=\, \langle L w,w\rangle \,\le\, 0\,,$$ because $L$ is a nonpositive self-adjoint operator in $L^2(\infty)$ and $\Lambda$ is skew-symmetric. This contradicts the assumption that ${\mathop{\mathrm{Re}}}(\lambda) > 0$, hence the whole spectrum of $L-\alpha\Lambda$ in $L^2(m)$ is contained in the half-space $H_1$, as asserted in . As $LG = \Lambda G = 0$, it is clear that $0$ is an eigenvalue of $L-\alpha\Lambda$ for any $m \ge 0$ and any $\alpha \in {\mathbb{R}}$. If $m > 1$, one can write $L^2(m) = {\mathbb{R}}G \oplus L^2_0(m)$, where $L^2_0(m)$ is the hyperplane defined in , and this decomposition is left invariant by both operators $L$ and $\Lambda$. Now, the same argument as above shows that, if $m \ge 2$, the spectrum of the operator $L-\alpha\Lambda$ acting on $L^2_0(m)$ is contained in the half-plane $H_2$, because $L \le -1/2$ on $L^2_0(\infty)$. This proves . Finally, it is easy to verify that $L(\partial_i G) = -\frac12 \partial_i G$ for $i = 1,2$, and differentiating the identity $v^G \cdot\nabla G = 0$ one finds that $\Lambda (\partial_i G) = 0$ for $i = 1,2$. This means that $-1/2$ is an eigenvalue of $L-\alpha\Lambda$ for any $m \ge 0$ and any $\alpha \in {\mathbb{R}}$. As above, if $m > 2$, one has the invariant decomposition $$L^2(m) \,=\, \{\alpha G\,|\, \alpha \in {\mathbb{R}}\} \oplus \{\beta_1\partial_1 G + \beta_2\partial_2 G\,|\, \beta_1,\beta_2 \in {\mathbb{R}}\} \oplus L^2_{00}(m)~,$$ where $$\label{def.L^2_00(m)} L^2_{00}(m) \,=\, \Bigl\{w \in L^2_0(m)~\Big|~\int_{{\mathbb{R}}^2} \xi_i w(\xi) {\,{\rm d}}\xi = 0 \hbox{ for }i = 1,2\Bigr\}\,.$$ As $L \le -1$ on $L^2_{00}(\infty)$, the same argument shows that the spectrum of the operator $L-\alpha\Lambda$ acting on $L^2_{00}(m)$ is contained in the half-plane $H_3$, if $m \ge 3$. This proves . <span>$\Box$</span> The linear operator $L-\alpha\Lambda$ is the generator of a strongly continuous semigroup in the space $L^2(m)$ for any $\alpha \in {\mathbb{R}}$ and any $m \in [0,\infty]$ @GW0. The following <span>*linear stability result*</span> is a natural consequence of Proposition \[specstab\] and its proof. \[@GW1\]\[linstab\] For any $\alpha \in {\mathbb{R}}$ and any $m > 1$, there exists a positive constant $C$ such that $$\label{linstab0} \|e^{\tau(L-\alpha\Lambda)}\|_{L^2(m) \to L^2(m)} \,\le\, C\,,\qquad \hbox{for all } \tau \ge 0\,.$$ Moreover, if $m > 2$, then $$\label{linstab1} \|e^{\tau(L-\alpha\Lambda)}\|_{L^2_0(m) \to L^2_0(m)} \,\le\, C\,e^{-\tau/2}\,, \qquad \hbox{for all } \tau \ge 0\,.$$ Finally, if $m > 3$, then $$\label{linstab2} \|e^{\tau(L-\alpha\Lambda)}\|_{L^2_{00}(m) \to L^2_{00}(m)} \,\le\, C\,e^{-\tau}\,,\qquad \hbox{for all } \tau \ge 0\,.$$ When studying the stability of the Lamb-Oseen vortex, there is no loss of generality in considering perturbations with zero total circulation. Indeed, if $w = \alpha G + \tilde w$ for some $\tilde w \in L^2(m)$ with $m > 1$, then defining $\tilde \alpha = \int_{{\mathbb{R}}^2} \tilde w(\xi){\,{\rm d}}\xi$ one can write $w = (\alpha+\tilde \alpha)G + (\tilde w - \tilde \alpha G)$, where by construction $\tilde w - \tilde \alpha G \in L^2_0(m)$. Thus perturbations with nonzero circulation of the vortex $\alpha G$ can be considered as perturbations with zero circulation of the modified vortex $(\alpha + \tilde \alpha)G$. As the total circulation is a conserved quantity, the subspace $L^2_0(m)$ is invariant under the evolution defined by the full perturbation equation . By Proposition \[linstab\], the linear semigroup $e^{\tau(L-\alpha\Lambda)}$ is exponentially decaying in $L^2_0(m)$ if $m > 2$, and using that information it is routine to deduce the following <span>*asymptotic stability result*</span>, which is the main outcome of this section. \[@GW1\]\[nonlinstab\] Fix $\alpha \in {\mathbb{R}}$ and $m \in (2,\infty]$. There exist positive constants $\epsilon$ and $C$ such that, for all $\tilde w_0 \in L^2_0(m)$ satisfying $\|\tilde w_0\|_{L^2(m)} \le \epsilon$, the rescaled vorticity equation has a unique global solution $w \in C^0([0,\infty),L^2(m))$ with initial data $w_0 = \alpha G + \tilde w_0$. Moreover, the following estimate holds $$\label{nonlindecay} \|w(\tau) - \alpha G\|_{L^2(m)} \,\le\, C \|w_0 - \alpha G\|_{L^2(m)} \,e^{-\tau/2}~, \qquad \tau \ge 0~.$$ If $m > 2$, the codimension $3$ subspace $L^2_{00}(m)$ is also invariant under the evolution defined by the full perturbation equation . As a consequence, if $\tilde w_0 \in L^2_{00}(m)$, the solution of given by Proposition \[nonlinstab\] satisfies $w(\tau) - \alpha G \in L^2_{00}(m)$ for all $\tau \ge 0$. If $m > 3$, one can then use to conclude that $$\|w(\tau) - \alpha G\|_{L^2(m)} \,\le\, C \|w_0 - \alpha G\|_{L^2(m)} \,e^{-\tau}~, \qquad \tau \ge 0~.$$ As is shown in @GW1 [@Ga1], if $\alpha \neq 0$, the assumption that $w_0$ has vanishing first order moments does not really restrict the generality, because this condition can always be met by a suitable translation of the initial data. \[uniformstab\] If $m = \infty$, one can show that the Lamb-Oseen vortex $\alpha G$ is uniformly stable for all $\alpha \in {\mathbb{R}}$ in the sense that the constants $\epsilon$ and $C$ in Proposition \[nonlinstab\] do not depend on $\alpha$ @Ga1. This is in sharp contrast with what happens for shear flows, such as the Poiseuille flow in a cylindrical pipe or the Couette-Taylor flow between two rotating cylinders. In such examples, the laminar stationary flow undergoes an instability, of spectral or pseudospectral nature, when the Reynolds number is sufficiently large. In contrast, a fast rotation has rather a stabilizing effect on vortices, as the analysis below reveals. Large Reynolds number asymptotics {#ss1.2} --------------------------------- Proposition \[specstab\] above gives uniform estimates on the spectrum of the linearized operator $L - \alpha\Lambda$, which are sufficient to prove stability of the Lamb-Oseen vortex for all values of the circulation parameter $\alpha \in {\mathbb{R}}$. However, such estimates do not describe how the spectrum changes as the circulation parameter varies. The most relevant regime for turbulent flows is of course the high Reynolds number limit where $|\alpha| \to \infty$, which deserves a special consideration. As the essential spectrum of $L-\alpha\Lambda$ in the space $L^2(m)$ does not depend on $m$, it is most convenient to work in the limiting space $X = L^2(\infty)$, equipped with the scalar product . In that space, as was already mentioned, the spectrum of $L-\alpha\Lambda$ is discrete, and consists of a sequence of eigenvalues $(\lambda_k(\alpha))_{k \in {\mathbb{N}}}$ with ${\mathop{\mathrm{Re}}}(\lambda_k(\alpha)) \to -\infty$ as $k \to \infty$. It follows from Proposition \[Lspectrum\] that $\lambda_k(0) = -k/2$, for any $k \in {\mathbb{N}}$, and the goal of this section is to investigate the behavior of the real part of $\lambda_k(\alpha)$ as $|\alpha| \to \infty$. The starting point of the analysis is the determination of the kernel of the skew-symmetric operator $\Lambda$. Let $X_0 \subset X$ denote the closed subspace containing all radially symmetric functions. If $w \in X_0$, the associated velocity field $v = K_{2D}*w$ satisfies $\xi\cdot v(\xi) = 0$, and it follows that $\Lambda w = 0$, hence $X_0 \subset \ker(\Lambda)$. On the other hand, it was already observed that $\Lambda (\partial_i G) = 0$ for $i = 1,2$. The following result asserts that the kernel of $\Lambda$ does not contain any more elements<span>:</span> \[@M3\]\[kerLam\] $\ker(\Lambda) = X_0 \oplus \{\beta_1\partial_1 G + \beta_2 \partial_2 G\,|\, \beta_1, \beta_2 \in {\mathbb{R}}\}$. In view of Lemma \[kerLam\], the subspace $\ker(\Lambda) \subset X$ is invariant under the action of both operators $L$ and $\Lambda$, and the orthogonal complement $\ker(\Lambda)^\perp$ is invariant too because $L$ is self-adjoint and $\Lambda$ is skew-adjoint. Inside $\ker(\Lambda)$, the spectrum of $L-\alpha\Lambda \equiv L$ does not depend on the circulation parameter $\alpha$, and consists of all negative integers in addition to the double eigenvalue $-1/2$. In fact, for any $n \in {\mathbb{N}}$, the eigenfunction corresponding to the eigenvalue $-n$ is the radially symmetric Hermite function $\Delta^n G$. The only difficult task is therefore to study the spectrum of $L_\perp- \alpha\Lambda_\perp$, which is defined as the restriction of $L-\alpha\Lambda$ to the orthogonal complement $\ker(\Lambda)^\perp$. That spectrum does depend in a nontrivial way upon the parameter $\alpha$. It happens that the real parts of all eigenvalues converge to $-\infty$ as $|\alpha| \to \infty$, which is of course compatible with the uniform bounds given by Proposition \[specstab\]. This phenomenon illustrates the <span> *stabilizing effect*</span> of fast rotation on Lamb-Oseen vortices. Two natural quantities can be introduced to accurately measure the effect of fast rotation. For any $\alpha \in {\mathbb{R}}$, one can define the <span>*spectral lower bound*</span> $$\Sigma(\alpha) \,=\, \inf\Bigl\{{\mathop{\mathrm{Re}}}(z)\,\Big|\, z \in \mathrm{spec}(-{\mathcal{L}}_\perp + \alpha\Lambda_\perp)\Bigr\}~,$$ or the <span>*pseudospectral bound*</span> $$\Psi(\alpha) \,=\, \Bigl(\sup_{\lambda \in {\mathbb{R}}}\|({\mathcal{L}}_\perp -\alpha\Lambda_\perp-i\lambda)^{-1}\|_{X \to X}\Bigr)^{-1}~.$$ In the definition of $\Sigma(\alpha)$, the sign of the linearized operator has been changed to obtain a positive quantity. Although the spectral and pseudospectral bounds are of rather different nature, there is a simple one-sided relation between them<span>:</span> \[SigPsi\] For any $\alpha \in {\mathbb{R}}$ one has $\Sigma(\alpha) \ge \Psi(\alpha) \ge 1$. <span>**Proof.**</span> Fix $\alpha \in {\mathbb{R}}$. By Lemma \[kerLam\], one has $\ker(\Lambda)^\perp \subset L^2_{00}(m)$, hence $\Sigma(\alpha) \ge 1$ by . On the other hand, if $(L - \alpha\Lambda + \lambda)w = 0$ for some $\lambda \in {\mathbb{C}}$ and some $w \in \ker(\Lambda)^\perp$ such that $\langle w,w\rangle = 1$, then $(L - \alpha\Lambda + i{\mathop{\mathrm{Im}}}(\lambda))w = -{\mathop{\mathrm{Re}}}(\lambda)w$, hence $${\mathop{\mathrm{Re}}}(\lambda) \,\ge\, \|(L_\perp - \alpha\Lambda_\perp + i{\mathop{\mathrm{Im}}}(\lambda))^{-1}\|^{-1} \,\ge\, \Psi(\alpha)~.$$ This proves that $\Sigma(\alpha) \ge \Psi(\alpha)$. Finally, the proof of Proposition \[specstab\] shows that the operator $L_\perp - \alpha\Lambda_\perp +1$ is $m$-dissipative @Ka. This in particular implies that $\|(L_\perp - \alpha\Lambda_\perp-i\lambda)^{-1}\| \le 1$ for all $\lambda \in {\mathbb{R}}$, hence $\Psi(\alpha) \ge 1$. <span>$\Box$</span> The stabilizing effect in the large Reynolds number limit is qualitatively illustrated by the following result<span>:</span> \[@M3\]\[stabeff\] One has $\Psi(\alpha) \to \infty$ and $\Sigma(\alpha) \to \infty$ as $|\alpha| \to \infty$. The proof given in @M3 actually shows that $\Sigma(\alpha) \to \infty$ as $|\alpha| \to \infty$, but can be easily modified to yield the stronger conclusion that $\Psi(\alpha) \to \infty$. For the stability analysis of the Lamb-Oseen vortex $\alpha G$, the divergence of the spectral bound means that the decay rate in time of perturbations in $\ker(\Lambda)^\perp$ becomes arbitrarily large as $|\alpha| \to \infty$. On the other hand, using the divergence of the pseudospectral bound, one can show that the basin of attraction of the Lamb-Oseen vortex, in the weighted space $L^2(\infty)$, becomes arbitrarily large as $|\alpha| \to \infty$. It should be emphasized, however, that the argument used in @M3 is nonconstructive and does not provide any explicit estimate on the quantities $\Psi(\alpha)$ or $\Sigma(\alpha)$ for large $|\alpha|$. In fact, there are good reasons to conjecture that $\Sigma(\alpha) = {\mathcal{O}}(|\alpha|^{1/2})$ and $\Psi(\alpha) = {\mathcal{O}}(|\alpha|^{1/3})$ as $|\alpha| \to \infty$. First of all, extensive numerical calculations performed by Prochazka and Pullin @PP1 [@PP2] indicate that $\Sigma(\alpha) = {\mathcal{O}}(|\alpha|^{1/2})$ as $|\alpha| \to \infty$. Next, the conjecture is clearly supported by rigorous analytical results on model problems @GGN. In particular, for the simplified linear operator $L - \alpha\Lambda_1$ where the nonlocal part $\Lambda_2$ has been omitted, it can be proved that $\Psi(\alpha) = {\mathcal{O}}(|\alpha|^{1/3})$ as $|\alpha| \to \infty$ @De1. The same result holds for the full linearized operator $L-\alpha\Lambda$ restricted to a smaller subspace than $\ker(\Lambda)^\perp$, where a finite number of Fourier modes with respect to the angular variable in polar coordinates have been removed @De2. The general case is still under investigation @GG. Assuming that the conjecture above is true, it is worth noting that the pseudospectral bound $\Psi(\alpha)$ and the spectral bound $\Sigma(\alpha)$ have different growth rates as $|\alpha| \to \infty$. This reflects the fact that the linearized operator $L-\alpha\Lambda$ becomes highly non-selfadjoint in the fast rotation limit. Indeed, for selfadjoint or normal operators, it is easy to verify that the spectral and pseudospectral bounds always coincide. Lamb-Oseen vortices in exterior domains {#ss1.3} ---------------------------------------- As was already mentioned, the Lamb-Oseen vortex plays a double role in the dynamics of the Navier-Stokes equations in the whole space ${\mathbb{R}}^2$<span>:</span> it is the unique solution of the system when the initial vorticity is a Dirac measure, and it describes the long-time asymptotics of all solutions for which the vorticity distribution is integrable and has nonzero total circulation. The proofs given in @GW1 demonstrate that both properties are closely related, due to scale invariance. Now, if the fluid is contained in a two-dimensional domain $\Omega \subset {\mathbb{R}}^2$, and satisfies (for instance) no-slip boundary conditions on $\partial\Omega$, scale invariance is broken and there is no simple relation anymore between the Cauchy problem for singular initial data and the long-time asymptotics of general solutions. Both questions are interesting and, at present time, largely open. In this section, the relatively simple case of a two-dimensional exterior domain is considered, where a few results concerning the long-time behavior of solutions with nonzero circulation at infinity have been obtained recently. Let $\Omega \subset {\mathbb{R}}^2$ be a smooth exterior domain, namely an unbounded connected open set with a smooth compact boundary $\partial \Omega$. The Navier-Stokes equations in $\Omega$ with no-slip boundary conditions can be written in the following form<span>:</span> $$\label{NSu} \left\{\begin{array}{llll} \partial_t u + (u\cdot\nabla)u \,=\, \Delta u - \nabla p~, \quad {\mathop{\mathrm{div}}}u \,=\, 0~, & \quad & \hbox{for~} x \in \Omega\,, \quad &t > 0\,, \\ u(x,t) \,=\, 0~, & & \hbox{for~} x \in \partial\Omega\,, &t > 0\,, \\ u(x,0) \,=\, u_0(x)~, & & \hbox{for~} x \in \Omega\,,& \end{array}\right.$$ where $p$ denotes the ratio of the pressure to the fluid density. The vorticity $\omega = \partial_1 u_2 - \partial_2 u_1$ still satisfies the simple evolution equation (with $\nu =1$), but the assumption that $u = 0$ on $\partial\Omega$ translates into a nonlinear, nonlocal boundary condition for $\omega$, which is very difficult to handle. So, whenever possible, it is preferable to work directly with the velocity formulation . If the initial velocity $u_0$ belongs to the energy space $$L^2_\sigma(\Omega) \,=\, \Bigl\{u \in L^2(\Omega)^2 \,\Big|\, {\mathop{\mathrm{div}}}u = 0 \hbox{ in }\Omega\,,~ u\cdot n = 0 \hbox{ on } \partial\Omega\Bigr\}\,,$$ where $n$ denotes the unit normal on $\partial\Omega$, it is well known that system has a unique global solution satisfying the energy identity $$\frac12 \|u(\cdot,t)\|_{L^2(\Omega)}^2 + \int_0^t \|\nabla u(\cdot, s)\|_{L^2(\Omega)}^2{\,{\rm d}}s \,=\, \frac12 \|u_0\|_{L^2(\Omega)}^2\,, \qquad t \ge 0\,.$$ That solution converges to zero in $L^2_\sigma(\Omega)$ as $t \to \infty$ @Mas, which means that the long-time behavior of all finite energy solutions is trivial. However, as in the whole plane ${\mathbb{R}}^2$, one can consider flows with nonzero circulation at infinity<span>:</span> $$\alpha \,=\, \lim_{R \to \infty} \oint_{|x| = R} \left(u_1 {\,{\rm d}}x_1 + u_2 {\,{\rm d}}x_2\right) \,\neq\, 0\,,$$ in which case the kinetic energy is necessarily infinite and the long-time behavior may be nontrivial. To construct such solutions, it is convenient to introduce a smooth cut-off function $\chi : {\mathbb{R}}^2 \to [0,1]$ such that $\chi$ vanishes in a neighborhood of ${\mathbb{R}}^2 \setminus \Omega$ and $\chi(x) = 1$ whenever $|x|$ is sufficiently large. For technical reasons, one also assumes that $\chi$ is radially symmetric and nondecreasing along rays. The <span>*truncated Oseen vortex*</span> $$\label{uchidef} u^\chi(x,t) \,=\, \frac{1}{2\pi} \,\frac{x^\perp}{|x|^2} \Bigl(1 - e^{-\frac{|x|^2}{4(1+t)}}\Bigr)\chi(x)\,, \qquad x \in {\mathbb{R}}^2, \quad t \ge 0\,,$$ is a divergence-free velocity field which vanishes identically in a neighborhood of ${\mathbb{R}}^2 \setminus \Omega$ and coincides with the Lamb-Oseen vortex (with unit circulation) far away from the origin. In particular $u^\chi \notin L^2(\Omega)$. The corresponding vorticity distribution $\omega^\chi = \partial_1 u^\chi_2 - \partial_2 u^\chi_1$ reads<span>:</span> $$\label{omegachi} \omega^\chi(x,t) \,=\, \frac{1}{4\pi(1+t)}\,e^{-\frac{|x|^2}{4(1+t)}} \,\chi(x) + \frac{1}{2\pi}\,\frac{1}{|x|^2}\Bigl(1 - e^{-\frac{|x|^2}{4(1+t)}}\Bigr)x\cdot\nabla\chi(x)\,,$$ and satisfies $\int_\Omega \omega^\chi(x,t){\,{\rm d}}x = 1$ for all $t \ge 0$. Of course the velocity field $u^\chi$ is not an exact solution of the Navier-Stokes equations (unless $\Omega = {\mathbb{R}}^2$ and $\chi \equiv 1$), but the following result shows that it is a globally stable asymptotic solution. \[@GM2 [@M4]\]\[OseenExt\] Fix $q \in (1,2]$, and let $\mu = 1/q - 1/2$. There exists a constant $\epsilon > 0$ such that, for all initial data of the form $u_0 = \alpha u^\chi(\cdot,0) + v_0$ with $|\alpha| \le \epsilon$ and $v_0 \in L^2_\sigma(\Omega) \cap L^q(\Omega)^2$, the Navier-Stokes equations have a unique global solution which satisfies $$\label{NSuconv} \|u(\cdot,t) -\alpha u^\chi(\cdot,t)\|_{L^2(\Omega)} + t^{1/2} \|\nabla u(\cdot,t) -\alpha\nabla u^\chi(\cdot,t) \|_{L^2(\Omega)} \,=\, {\mathcal{O}}(t^{-\mu})~,$$ as $t \to +\infty$. Moreover, if $q = 2$, then $\|u(\cdot,t) -\alpha u^\chi(\cdot,t)\|_{L^2(\Omega)} \to 0$ as $t \to +\infty$. Several comments are in order. Existence and uniqueness of global solutions to the Navier-Stokes equations for a class of infinite-energy initial data including those considered in Theorem \[OseenExt\] were established by Kozono and Yamazaki in @KY. The novelty here is the description of the long-time asymptotics for a specific family of solutions, corresponding to spatially localized perturbations of the truncated Oseen vortex. Theorem \[OseenExt\] is a global stability result, in the sense that arbitrary large perturbations $v_0$ of the vortex can be considered. There is, however, a limitation on the size of the circulation parameter $\alpha$, which is probably of technical nature. To remove that restriction it seems rather natural to use the vorticity formulation and the nice properties of the linearized operator established in Section \[ss1.1\], but this is difficult in the present case because the boundary condition for the vorticity is very awkward. The parameter $q$ in Theorem \[OseenExt\] measures the spatial decay of the initial perturbations $v_0$ to the Oseen vortex, and is directly related to the decay rate in time (called $\mu$) of the corresponding solutions. If $q < 2$, then $\mu > 0$ and it is shown in @GM2 that the constant $\epsilon$ depends only on $q$, and not on the domain $\Omega$. The limiting case where $q = 2$ was treated in @IKL [@M4]. The main original ingredient in the proof of Theorem \[OseenExt\] is a logarithmic energy estimate that is worth discussing briefly. For solutions of the Navier-Stokes equations of the form $u(x,t) = \alpha u^\chi(x,t) + v(x,t)$, the perturbation $v$ satisfies $$\label{NSv} \partial_t v + \alpha (u^\chi,\nabla)v + \alpha (v,\nabla)u^\chi + (v,\nabla)v \,=\, \Delta v + \alpha R^\chi - \nabla q\,, \qquad {\mathop{\mathrm{div}}}v \,=\, 0\,,$$ where the source term $R^\chi = \Delta u^\chi - \partial_t u^\chi$ measures by how much the truncated vortex $u^\chi$ fails to be an exact solution of . Taking into account the uniform bounds $$\|\nabla u^\chi(\cdot,t)\|_{L^\infty({\mathbb{R}}^2)} \,\le\, \frac{b}{1+t}\,,\qquad \|R^\chi(\cdot,t)\|_{L^2({\mathbb{R}}^2)} \,\le\, \frac{\kappa}{1+t}\,,$$ which hold for some positive constants $b,\kappa$ depending only on the cut-off $\chi$, a standard energy estimate yields the differential inequality $$\label{roughenergy} \frac12 \frac{{{\rm d}}}{{{\rm d}}t} \|v(t)\|_{L^2(\Omega)}^2 + \|\nabla v(t) \|_{L^2(\Omega)}^2 \,\le\, \frac{b|\alpha|}{1+t}\,\|v(t)\|_{L^2(\Omega)}^2 + \frac{\kappa|\alpha|}{1+t}\,\,\|v(t)\|_{L^2(\Omega)}\,,$$ which predicts a polynomial growth of the $L^2$ norm $\|v(t)\|_{L^2(\Omega)}$. This naive estimate can be substantially improved if one observes that the truncated Oseen vortex $u^\chi$ decays like $|x|^{-1}$ as $|x| \to \infty$, and thus nearly belongs to the energy space. The optimal result is<span>:</span> \[logbound\] There exists a constant $K > 0$ such that, for any $\alpha \in {\mathbb{R}}$ and any $v_0 \in L^2_\sigma(\Omega)$, the solution of with initial data $v_0$ satisfies, for all $t \ge 1$, $$\label{vlog} \|v(t)\|_{L^2(\Omega)}^2 + \int_0^t \|\nabla v(s)\|_{L^2(\Omega)}^2{\,{\rm d}}s \,\le\, K \Bigl(\|v_0\|_{L^2(\Omega)}^2 + \alpha^2 \log(1+t) + \alpha^2\log(2+|\alpha|)\Bigr)\,.$$ In the proof of Theorem \[OseenExt\], the logarithmic bound is combined with standard energy estimates for a fractional primitive of the velocity field to prove that $v(\cdot,t)$ converges to zero in $L^2(\Omega)$ as $t \to \infty$, see @GM2 [@Ga2]. The optimal decay rate in is then obtained by a direct study of small solutions to the perturbation equation . Although Theorem \[OseenExt\] is established using the velocity formulation of the Navier-Stokes system, it is instructive to see what it implies for the vorticity distribution $\omega$. Assume for instance that the initial vorticity $\omega_0 = \partial_1 (u_0)_2 -\partial_2 (u_0)_1$ is sufficiently localized so that $$\int_{\Omega} (1 + |x|^2)^m |\omega_0 (x)|^2 {\,{\rm d}}x \,<\,\infty\,,$$ for some $m > 1$. By Hölder's inequality this implies that $\omega_0 \in L^1(\Omega)$. Then denoting $v_0 = u_0 - \alpha u^\chi(\cdot,0)$ where $\alpha = \int_{\Omega} \omega_0 (x){\,{\rm d}}x$, it follows that $v_0 \in L^2_\sigma(\Omega) \cap L^q(\Omega)^2$ for any $q \in (1,2)$ such that $q > 2/m$ @GW0. In particular, if $|\alpha|\le \epsilon$, the conclusion of Theorem \[OseenExt\] holds. Moreover, the vorticity satisfies $$\label{NSomconv} \int_\Omega |\omega(x,t) - \alpha \omega^\chi(x,t)|{\,{\rm d}}x \,=\, {\mathcal{O}}(t^{-\mu}\log t)\,, \qquad \hbox{as}\quad t \to \infty\,,$$ where $\omega^\chi(x,t)$ is defined in , see @Ga2. In both convergence results , , one can replace the truncated Oseen vortex by the original Lamb-Oseen vortex for which $\chi \equiv 1$, because the additional error converges to zero like ${\mathcal{O}}(t^{-1})$ as $t \to \infty$. Axisymmetric vortex rings and filaments {#sec2} ======================================= When restricted to axisymmetric flows without swirl, the three-dimensional Navier-Stokes equations bear some similarity with the two-dimensional situation considered in the previous section. The only nonzero component of the vorticity vector satisfies Eq. , which can be written in the equivalent form $$\label{Axiom2} \partial_t \omega_\theta + \partial_r(u_r\omega_\theta) + \partial_z(u_z\omega_\theta) \,=\, \nu \Bigl((\partial_r^2 + \partial_z^2) \omega_\theta + \partial_r \frac{\omega_\theta}{r}\Bigr)\,.$$ The analogy is most striking if one introduces the related quantity $\eta = \omega_\theta/r$, which satisfies the advection-diffusion equation $$\label{Axieta} \partial_t \eta + u\cdot\nabla\eta \,=\, \Delta \eta + \frac{2}{r}\,\partial_r\eta\,,$$ where $u\cdot\nabla = u_r\partial_r + u_z\partial_z$ and $\Delta = \partial_r^2 + \frac{1}{r}\partial_r + \partial_z^2$. Equation is considered in the half-plane $\Omega = \{(r,z) \in {\mathbb{R}}^2\,|\, r > 0\,,~z \in {\mathbb{R}}\}$, with homogeneous Neumann boundary conditions on $\partial\Omega$. It is clear from that $\eta(r,z,t)$ obeys the parabolic maximum principle, and this provides a priori estimates on the solutions which imply that the Cauchy problem for the axisymmetric Navier-Stokes equations is globally well-posed, without any restriction on the size of the initial data. The first results in this direction were obtained by Ladyzhenskaya @La and by Ukhovskii and Yudovich @UY, for finite energy solutions. Recently, it was shown in @GS1 that the vorticity equation is globally well-posed in the scale invariant space $L^1(\Omega, {{\rm d}}r{\,{\rm d}}z)$, equipped with the norm $$\|\omega_\theta\|_{L^1(\Omega)} \,=\, \int_\Omega |\omega_\theta(r,z)| {\,{\rm d}}r{\,{\rm d}}z \,=\, \int_\Omega |\eta(r,z)|\,r{\,{\rm d}}r{\,{\rm d}}z\,.$$ The proof follows remarkably the same lines as in the two-dimensional case, and in particular uses very similar function spaces. Solutions constructed in this way have infinite energy in general, but if the initial vorticity $\omega_\theta^0$ decays somewhat faster at infinity than what is necessary to be integrable, the velocity field becomes square integrable for all positive times. It is also possible to solve the Cauchy problem for Eq. in the more general situation where the initial vorticity is a finite measure. Global existence and uniqueness are established in @GS1 assuming that the total variation norm of the atomic part of the initial vorticity is small compared to the viscosity parameter. The general case is open to the present date, but interesting results have been obtained for circular <span>*vortex filaments*</span>, which correspond to the situation where the initial vorticity is a Dirac measure. The resulting solutions can be considered as the analogue of the family of Lamb-Oseen vortices in ${\mathbb{R}}^2$. These solutions cannot be written in explicit form, but small-time asymptotic expansions can be computed which involve the two-dimensional profiles $G$ and $v^G$ defined in . If the circulation parameter $\Gamma$ is small compared to the viscosity $\nu$, the results of @GS1 imply the existence of a unique global solution to with initial vorticity $\omega_\theta^0 = \Gamma \delta_{(\bar r, \bar z)}$, for any $(\bar r, \bar z) \in \Omega$. For larger circulations, the following existence result was recently established by Feng and Šverák<span>:</span> \[@FS\]\[FSprop\] Fix $\Gamma > 0$, $(\bar r,\bar z) \in \Omega$, and $\nu > 0$. Then the axisymmetric vorticity equation has a nonnegative global solution such that $\omega_\theta(t) {\rightharpoonup}\Gamma \delta_{(\bar r, \bar z)}$ as $t \to 0$. Moreover, this solution satisfies, for all $t > 0$, $$\label{FSest} \int_\Omega \omega_\theta(r,z,t){\,{\rm d}}r{\,{\rm d}}z \,\le\, \Gamma\,, \qquad \int_\Omega r^2 \omega_\theta(r,z,t){\,{\rm d}}r {\,{\rm d}}z \,=\, \Gamma\,\bar r^2\,.$$ Needless to say, the assumption $\Gamma > 0$ does not restrict the generality, because the corresponding result for $\Gamma < 0$ can be obtained by symmetry. Proposition \[FSprop\] is proved by a very general approximation argument, which provides global existence without any restriction on the size of the circulation parameter, but does not imply uniqueness and does not give any precise information on the qualitative behavior of the solution for short times. Using more sophisticated techniques, a more accurate result can be established<span>:</span> \[@GS2\]\[GSmain\] Fix $\Gamma \in {\mathbb{R}}$, $(\bar r,\bar z) \in \Omega$, and $\nu > 0$. Then the axisymmetric vorticity equation has a unique global mild solution $\omega_\theta \in C^0((0,\infty),L^1(\Omega) \cap L^\infty(\Omega))$ such that $$\label{GScond} \sup_{t > 0} \|\omega_\theta(t)\|_{L^1(\Omega)} \,<\, \infty~, \qquad \hbox{and}\quad \omega_\theta(t) {\rightharpoonup}\Gamma \,\delta_{(\bar r,\bar z)} \quad \hbox{as }t
{'source': 'arXiv_out/1610'}