The point vortex dynamics in background fields on surfaces is justified as an Euler-Arnold flow in the sense of de Rham currents. We formulate a current-valued solution of the Euler-Arnold equation with a regular-singular decomposition. For the solution, we first prove that, if the singular part of the vorticity is given by a linear combination of delta functions centered at $q_n(t)$ for $n=1,\ldots,N$, $q_n(t)$ is a solution of the point vortex equation. Conversely, we next prove that, if $q_n(t)$ is a solution of the point vortex equation for $n=1,\ldots,N$, there exists a current-valued solution of the Euler-Arnold equation with a regular-singular decomposition such that the singular part of the vorticity is given by a linear combination of delta functions centered at $q_n(t)$. As a corollary, we generalize the Bernoulli law to the case where the flow field is a curved surface and where the presence of point vortices is taken into account. From the viewpoint of the application, the mathematical justification is of a significance since the point vortex dynamics in the rotational vector field on the unit sphere is adapted as a mathematical model of geophysical flow in order to take effect of the Coriolis force on inviscid flows into consideration.
We study solutions of the equation $$ g_t-g_{tyy} + 4g^2 - 4gg_{yy} = y gg_{yyy}-yg_yg_{yy}, \qquad y\in\mathbb{R},$$ which arises by considering solutions of the Euler-Arnold equation on a contactomorphism group when the stream function is of the form $f(t,x,y,z) = zg(t,y)$. The equation is analogous to both the Camassa-Holm equation and the Proudman-Johnson equation. We write the equation as an ODE in a Banach space to establish local existence, and we describe conditions leading to global existence and conditions leading to blowup in finite time.
The nonlinear Schrödinger (NLS) equation can be derived as a formal approximation equation describing the envelopes of slowly modulated spatially and temporarily oscillating wave packet-like solutions to the ion Euler-Poisson equation. In this paper, we rigorously justify such approximation by giving error estimates in Sobolev norms between exact solutions of the ion Euler-Poisson system and the formal approximation obtained via the NLS equation. The justification consists of several difficulties such as the resonances and loss of regularity, due to the quasilinearity of the problem. These dif…
We define a right-invariant Riemannian metric on the group of contactomorphisms and study its Euler-Arnold equation. If the metric is associated to the contact form, the Euler-Arnold equation reduces to $m_t + u(m) + (n+2) mE(f) = 0$, in terms of the Reeb field $E$, a stream function $f$, the contact vector field $u$ defined by $f$, and the momentum $m = f - Δf$. Here the equation is considered on a compact manifold $M$ of dimension $2n+1$. When $n=0$ this reduces to the Camassa-Holm equation, and we emphasize the analogy with the higher-order equation. We use the usual momentum conservation l…
We give a sufficient condition for the nonlinear stability of steady flows of a two-dimensional ideal fluid in a bounded multiply-connected domain, which generalizes a stability criterion proved by Arnold in the 1960s. The most important ingredient of the proof is to establish a variational characterization for the steady flow under consideration, which is achieved based on the energy-Casimir method proposed by Arnold, and the supporting functional method introduced by Wolansky and Ghil. Nonlinear stability then follows from a compactness argument related to the variational characterization an…
We derive the 1D isentropic Euler and Navier-Stokes equations describing the motion of a gas through a nozzle of variable cross section as the asymptotic limit of the 3D isentropic Navier-Stokes system in a cylinder, the diameter of which tends to zero. Our method is based on the relative energy inequality satisfied by any weak solution of the 3D Navier-Stokes system and a variant of Korn-Poincare's inequality on thin channels that may be of independent interest.
Some known results regarding the Euler and Navier-Stokes equations were obtained by different authors. Existence and smoothness of solutions for the Navier-Stokes equations in two dimensions have been known for a long time. Leray showed that the Navier-Stokes equations in three space dimensions have a weak solution. Scheffer and Shnirelman obtained weak solution of the Euler equations with compact support in spacetime. Caffarelli, Kohn and Nirenberg improved Scheffer's results, and F.-H. Lin simplified the proof of the results of J. Leray. Many problems and conjectures about behavior of weak s…
Sinusoidal flows are an important class of explicit stationary solutions of the two-dimensional incompressible Euler equations on a flat torus. For such flows, the steam functions are eigenfunctions of the negative Laplacian. In this paper, we prove that any sinusoidal flow related to some least eigenfunction is, up to phase translations, nonlinearly stable under $L^p$ norm of the vorticity for any $1<p<+\infty$, which improves a classical stability result by Arnold based on the energy-Casimir method. The key point of the proof is to distinguish least eigenstates with fixed amplitude from othe…
We construct a family of rotating vortex patches with fixed angular velocity for the two-dimensional Euler equations in a disk. As the vorticity strength goes to infinity, the limit of these rotating vortex patches is a rotating point vortex whose motion is described by the Kirchhoff-Routh equation. The construction is performed by solving a variational problem for the vorticity which is based on an adaption of Arnold's variational principle. We also prove nonlinear orbital stability of the set of maximizers in the variational problem under $L^p$ perturbation when $p\in[{3}/{2},+\infty)$.
The relaxation limit in critical Besov spaces for the multidimensional compressible Euler equations is considered. As the first step of this justification, the uniform (global) classical solutions to the Cauchy problem with initial data close to an equilibrium state are constructed in the Chemin-Lerner's spaces with critical regularity. Furthermore, it is shown that the density converges towards the solution to the porous medium equation, as the relaxation time tends to zero. Several important estimates are achieved, including a crucial estimate of commutator.
In this article we will introduce a new model to describe the leading order behavior of an ideal and axisymmetric fluid moving in a very narrow domain. After providing a formal derivation of the model, we will prove the well-posedness and provide a rigorous mathematical justification for the formal derivation under a new sign condition. Finally, a blowup result regarding this model will be discussed as well.
We consider in this paper the rigorous justification of the Zakharov-Kuznetsov equation from the Euler-Poisson system for uniformly magnetized plasmas. We first provide a proof of the local well-posedness of the Cauchy problem for the aforementioned system in dimensions two and three. Then we prove that the long-wave small-amplitude limit is described by the Zakharov-Kuznetsov equation. This is done first in the case of cold plasma; we then show how to extend this result in presence of the isothermal pressure term with uniform estimates when this latter goes to zero.
Let $M$ be a compact 2-dimensional Riemannian manifold with smooth boundary and consider the incompressible Euler equation on $M$. In the case that $M$ is the straight periodic channel, the annulus or the disc with the Euclidean metric, it was proved by T. D. Drivas, G. Misiołek, B. Shi, and the second author that all Arnold stable solutions have no conjugate point on the volume-preserving diffeomorphism group ${\mathcal D}_μ^{s}(M)$. They also proposed a question which asks whether this is true or not for any $M$. In this article, we give a partial positive answer. More precisely, we show tha…
In this article we consider the physical justification of the Vortex-Wave equation introduced by Marchioro and Pulvirenti in the case of a single point vortex moving in an ambient vorticity. We consider a sequence of solutions for the Euler equation in the plane corresponding to initial data consisting of an ambient vorticity in $L^1\cap L^\infty$ and a sequence of concentrated blobs which approach the Dirac distribution. We introduce a notion of a weak solution of the Vortex-Wave equation in terms of velocity (or primitive variables) and then show, for a subsequence of the blobs, the solution…
For the free probability analogue of Euclidean space endowed with the Gaussian measure we apply the approach of Arnold to derive Euler equations for a Lie algebra of non-commutative vector fields which preserve a certain trace. We extend the equations to vector fields satisfying non-commutative smoothness requirements. We introduce a cyclic vorticity and show that it satisfies a vorticity equation and that it produces a family of conserved quantities.
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（四川大学数学系）
This paper studies the Vlasov-Monge-Ampere system (VMA), a fully non-linear version of the Vlasov-Poisson system (VP) where the (real) Monge-Ampere equation substitutes for the usual Poisson equation. This system can be derived as a geometric approximation of the Euler equations of incompressible fluid mechanics in the spirit of Arnold and Ebin. Global existence of weak solutions and local existence of smooth solutions are obtained. Links between the VMA system, the VP system and the Euler equations are established through rigorous asymptotic analysis.
Consideration is given to the KdV equation as an approximate model for long waves of small amplitude at the free surface of an inviscid fluid. It is shown that there is an approximate momentum density associated to the KdV equation, and the difference between this density and the physical momentum density derived in the context of the full Euler equations can be estimated in terms of the long-wave parameter.
This article is devoted to stationary solutions of Euler's equation on a rotating sphere, and to their relevance to the dynamics of stratospheric flows in the atmosphere of the outer planets of our solar system and in polar regions of the Earth. For the Euler equation, under appropriate conditions, rigidity results are established, ensuring that the solutions are either zonal or rotated zonal solutions. A natural analogue of Arnold's stability criterion is proved. In both cases, the lowest mode Rossby-Haurwitz stationary solutions (more precisely, those whose stream functions belong to the sum…
In this paper we analyze the high friction regime for the Navier Stokes Korteweg equations for multicomponent systems. According to the shape of the mixing and friction terms, we shall perform two limits: the high friction limit toward an equilibrium system for the limit densities and the barycentric velocity, and, after an appropriate time scaling, the diffusive relaxation toward parabolic, gradient flow equations for the limit densities. The rigorous justification of these limits is done by means of relative entropy techniques in the framework of weak, finite energy solutions of the relaxati…
As V. I. Arnold observed in the 1960s, the Euler equations of incompressible fluid flow correspond formally to geodesic equations in a group of volume-preserving diffeomorphisms. Working in an Eulerian framework, we study incompressible flows of shapes as critical paths for action (kinetic energy) along transport paths constrained to have characteristic-function densities. The formal geodesic equations for this problem are Euler equations for incompressible, inviscid potential flow of fluid with zero pressure and surface tension on the free boundary. The problem of minimizing this action exhib…
Admissible Invariant-Torus Foliations for Steady Euler Flows
National Institute for Fusion Science（国立研究开发法人核融合科学研究所）；Graduate School of Frontier Sciences, The University of Tokyo（东京大学前沿科学研究生院）；Department of Mathematics, Graduate School of Science, Osaka Metropolitan University（大阪公立大学理学研究院数学系）
Leapfrogging motion of vortex rings sharing the same axis of symmetry was first predicted by Helmholtz in his famous work on the Euler equation for incompressible fluids. Its justification in that framework remains an open question to date. In this paper, we rigorously derive the corresponding leapfrogging motion for the axially symmetric three-dimensional Gross-Pitaevskii equation.
We study one-dimensional motions of polytropic gas governed by the compressible Euler equations. The problem on the half space under a constant gravity gives an equilibrium which has free boundary touching the vacuum and the linearized approximation at this equilibrium gives time periodic solutions. But it is not easy to justify the existence of long-time true solutions for which this time periodic solution is the first approximation. The situation is in contrast to the problem of free motions without gravity. The reason is that the usual iteration method for quasilinear hyperbolic problem can…
In 1966 V.Arnold suggested a group-theoretic approach to ideal hydrodynamics in which the motion of an inviscid incompressible fluid is described as the geodesic flow of the right-invariant $L^2$-metric on the group of volume-preserving diffeomorphisms of the flow domain. Here we propose geodesic, group-theoretic, and Hamiltonian frameworks to include fluid flows with vortex sheets. It turns out that the corresponding dynamics is related to a certain groupoid of pairs of volume-preserving diffeomorphisms with common interface. We also develop a general framework for Euler-Arnold equations for …
We study the inviscid limit of the free boundary Navier-Stokes equations. We prove the existence of solutions on a uniform time interval by using a suitable functional framework based on Sobolev conormal spaces. This allows us to use a strong compactness argument to justify the inviscid limit. Our approach does not rely on the justification of asymptotic expansions. In particular, we get a new existence result for the Euler equations with free surface from the one for Navier-Stokes.
Following Arnold's geometric interpretation, the Euler equations of an incompressible fluid moving in a domain D are known to be the optimality equation of the minimizing geodesic problem along the group of orientation and volume preserving diffeomorphisms of D. This problem admits a well-established convex relaxation which generates a set of "relaxed", "multi-stream", version of the Euler equations. However, it is unclear that such relaxed equations are appropriate for the initial value problem and the theory of turbulence, due to their lack of well-posedness for most initial data. As an atte…
In recent years there has been an emerging interest in PDE-like flows defined on finite graphs, with applications in clustering and image segmentation. In particular for image segmentation and semi-supervised learning Bertozzi and Flenner (2012) developed an algorithm based on the Allen-Cahn gradient flow of a graph Ginzburg-Landau functional, and Merkurjev, Kostić and Bertozzi (2013) devised a variant algorithm based instead on graph Merriman-Bence-Osher (MBO) dynamics. This work offers rigorous justification for this use of the MBO scheme in place of Allen-Cahn flow. First, we choose the dou…
The group of diffeomorphisms of a compact manifold endowed with the L^2 metric acting on the space of probability densities gives a unifying framework for the incompressible Euler equation and the theory of optimal mass transport. Recently, several authors have extended optimal transport to the space of positive Radon measures where the Wasserstein-Fisher-Rao distance is a natural extension of the classical L^2-Wasserstein distance. In this paper, we show a similar relation between this unbalanced optimal transport problem and the Hdiv right-invariant metric on the group of diffeomorphisms, wh…
In this paper, we construct a new class of blowup solutions with elementary functions to the 3-dimensional compressible or incompressible Euler and Navier-Stokes equations. In detail, we obtain a class of global rotational exact solutions for the compressible fluids with $γ>1$:%} [c]{c}% ρ=\max\{\frac{γ-1}{Kγ}[ C^{2}[ x^{2}% +y^{2}+z^{2}-(xy+yz+xz)] -\dot{a}(t)(x+y+z)+b(t)], 0\} ^{\frac{1}{γ-1}} u_{1}=a(t)+C(y-z) u_{2}=a(t)+C(-x+z) u_{3}=a(t)+C(x-y). where a(t)=c_{0}+c_{1}t and b(t)=3c_{0}c_{1}t+{3/2}c_{1}^{2}t^{2}+c_{2}% with $C$, $c_{0}$, $c_{1}$ and $c_{2}$ are arbitrary constants; And the …
Understanding complexity in fluid mechanics is a major problem that has attracted the attention of physicists and mathematicians during the last decades. Using the concept of renormalization in dynamics, we show the existence of a locally dense set $\mathscr G$ of stationary solutions to the Euler equations in $\mathbb R^3$ such that each vector field $X\in \mathscr G$ is universal in the sense that any area preserving diffeomorphism of the disk can be approximated (with arbitrary precision) by the Poincaré map of $X$ at some transverse section. We remark that this universality is approximate …
Cauchy invariants are now viewed as a powerful tool for investigating the Lagrangian structure of three-dimensional (3D) ideal flow (Frisch & Zheligovsky, Commun. Math. Phys., vol. 326, 2014, pp. 499-505, Podvigina et al., J. Comput. Phys., vol. 306, 2016, pp. 320-342). Looking at such invariants with the modern tools of differential geometry and of geodesic flow on the space SDiff of volume-preserving transformations (Arnold, Ann. Inst. Fourier, vol. 16, 1966, pp. 319-361), all manners of generalisations are here derived. The Cauchy invariants equation and the Cauchy formula, relating the vor…
This paper is concerned with the large-time behavior of solutions to the Cauchy problem on the two-fluid Euler-Maxwell system with collisions when initial data are around a constant equilibrium state. The main goal is the rigorous justification of diffusion phenomena in fluid plasma at the linear level. Precisely, motivated by the classical Darcy's law for the nonconductive fluid, we first give a heuristic derivation of the asymptotic equations of the Euler-Maxwell system in large time. It turns out that both the density and the magnetic field tend time-asymptotically to the diffusion equation…
We start by constructing a Hilbert manifold T of orientation preserving diffeomorphisms of the circle (modulo the group of bi-holomorphic self-mappings of the disc). This space, which could be thought of as a completion of the universal Teichmueller space, is endowed with a right-invariant Kaehler metric. Using results from the theory of quasiconformal mappings we construct an embedding of T into the infinite dimensional Segal-Wilson Grassmannian. The latter turns out to be a very natural ambient space for T. This allows us to prove that T's sectional curvature is negative in the holomorphic d…
The vortex method is a common numerical and theoretical approach used to implement the motion of an ideal flow, in which the vorticity is approximated by a sum of point vortices, so that the Euler equations read as a system of ordinary differential equations. Such a method is well justified in the full plane, thanks to the explicit representation formulas of Biot and Savart. In an exterior domain, we also replace the impermeable boundary by a collection of point vortices generating the circulation around the obstacle. The density of these point vortices is chosen in order that the flow remains…
