Mechanisms of Lagrangian analyticity in fluids.(English)Zbl 1422.76019

In this long paper, the author elucidates mechanisms which lead to an analyticity property of the Lagrangian trajectories associated to the dynamics of inviscid fluids and he illustrates these mechanisms on different systems. In Section 2, the author considers a general ODE $$\frac{dX}{dt}=F(X)$$ with the initial data $$X| _{t=0}=\mathrm{Id}$$, where $$F$$ is an operator defined on a set of maps from $$\mathbb{R}^{d}$$ to $$\mathbb{C} ^{d}$$, depending on an initial data $$u| _{t=0}=u_{0}$$. The author presents properties of $$F$$ (local boundedness and preservation of analyticity) which ensure the analyticity of $$X$$ with respect to time. In Section 3, the author considers the case of incompressible Euler equations on $$\mathbb{R}^{2}$$: $$\frac{\partial u}{\partial t}+u\cdot \nabla u+\nabla p=0$$ with the initial data $$u| _{t=0}=u_{0}$$. He observes that the vorticity $$\omega =\partial _{1}u_{2}-\partial _{2}u_{1}$$ satisfies the transport equation $$\frac{ \partial \omega }{\partial t}+u\cdot \nabla \omega =0$$ and he obtains the equation for the trajectories $\frac{dX}{dt}(\alpha ,t)=\frac{1}{2\pi }\int \frac{(X(\alpha ,t)-X(\beta ,t))^{\perp }}{\left\vert X(\alpha ,t)-X(\beta ,t)\right\vert ^{2}}\omega _{0}(\beta )\,d\beta,$ where $$\omega _{0}$$ is the initial vorticity and $$y^{\perp }=(-y_{2},y_{1})$$. The main result of this section proves an analyticity property of the vortex patch solution to this equation, assuming that the initial vorticity is given as $$\omega _{0}(\alpha )=1$$ if $$\alpha \in \Omega$$ an open subset of $$\mathbb{R}^{2}$$ whose boundary is a finite union of non-intersecting closed $$C^{2}$$ curves and $$\omega _{0}(\alpha )=0$$ otherwise. The author proves that the function $$F$$ associated to the operator $$K=\frac{1}{2\pi }\frac{(-y_{2}-y_{1})}{ y_{1}^{2}+y_{2}^{2}}$$ satisfies the properties introduced in Section 2. In Section 4, the author considers the Euler-Poisson system in $$\mathbb{R}^{3}$$: \begin{aligned} \partial _{t}\rho +u\cdot \nabla \rho &=-\rho\operatorname{div}u,\\ \partial _{t}u+u\cdot \nabla u &= q\nabla \Delta ^{-1}\rho, \end{aligned} with the initial condition $$(\rho ,u)=(\rho _{0},u_{0})$$ at $$t=0$$, where $$q=\pm 1$$. The Lagrangian trajectory here satisfies $$\frac{d^{2}X}{dt^{2}}(\alpha ,t)=\int K(X(\alpha ,t)-X(\beta ,t))\rho _{0}(\beta )\,d\beta$$, where $$K(y)=\frac{1}{ 4\pi }\frac{y}{\left\vert y\right\vert ^{3}}$$ which can be written as a system of first-order ODEs: $\frac{dX}{dt}(\alpha ,t)=V(\alpha ,t), \quad \frac{ dV}{dt}(\alpha ,t)=\int K(X(\alpha ,t)-X(\beta ,t))\rho _{0}(\beta )\,d\beta.$ The author here assumes that $$\rho _{0}\in C_{c}^{s}$$ and $$u_{0}\in H^{s}$$ for $$s\geq 6$$. The main result proves a local existence result for $$(\rho ,u)$$ and that the trajectory $$X(\alpha ,t)$$ is analytic in $$t$$ at $$t=0$$ for every $$\alpha \in \mathbb{R}^{3}$$. Once the function $$F$$ has been defined, the proof verifies its properties which ensure the analyticity of the trajectory. In Section 5, the author considers the 2D compressible Euler equation $\partial _{t}\rho +\operatorname{div}(\rho u)=0, \quad \partial _{t}u+u\cdot \nabla u+\frac{1}{\rho }\nabla p=0.$ The author here proves that, even if the initial data $$(\rho _{0},u_{0})$$ are smooth and compactly supported, there exist Lagrangian trajectories which are not analytic in a small disc about $$t=0$$. In the final Section 6, the author considers the Vlasov-Poisson system $\partial _{t}f(x,v,t)+v\cdot \nabla _{x}f(x,v,t)+E(x,t)\cdot \nabla _{v}f(c,v,t)=0,$ where $$E(x,t)=-\nabla _{x}\phi (x,t)$$, $$\phi$$ being the solution of $-\Delta _{x}\phi (x,t)=q\rho (x,t)=q\int f(x,w,t)\,dw.$ An initial density $$f\mid _{t=0}=f_{0}\in \mathcal{S}(\mathbb{R}^{4})$$ is given. The author proves that the Lagrangian trajectory is the solution of the system $\frac{dX}{dt}(\zeta ,t)=V(\zeta ,t), \quad \frac{dV}{dt}(\zeta ,t)=\int K(X(\zeta ,t)-X(\Xi ,t))f_{0}(\Xi )\,d\Xi,$ with the initial condition $$(X,V)(\zeta ,0)=\zeta$$, where $$K(x)=\frac{1}{2\pi }\frac{x}{ \left\vert x\right\vert ^{2}}$$. He proves the existence of a $$C^{\infty }$$ initial data $$f_{0}(x,v)$$ leading to a $$C^{\infty }$$ solution $$f(x,v, t)$$ to the above Vlasov-Poisson system such that the some trajectory $$(X(\zeta _{0},t),V(\zeta _{0},t))$$ is not analytic in time at $$t=0$$.

MSC:

 76B03 Existence, uniqueness, and regularity theory for incompressible inviscid fluids 76N10 Existence, uniqueness, and regularity theory for compressible fluids and gas dynamics 35Q31 Euler equations 35Q35 PDEs in connection with fluid mechanics
Full Text:

References:

 [1] Alinhac, S., Une solution approchée en grand temps des équations d’Euler compressible axisymetriques en dimensions deux, Commun. Part. Differ. Equ., 17, 447-490, (1992) · Zbl 0755.35089 [2] Alinhac, S., Temps de vie des solutions régulières des équations d’Euler compressibles en dimension deux, Invent. Math., 111, 627-670, (1993) · Zbl 0798.35129 [3] Arnold, V., Sur la géometrie differentielle des groupes de Lie de dimension infinie et ses applications á l’hydrodynamique des fluids parfaits, Ann. Inst. Fourier, 16, 319-361, (1966) · Zbl 0148.45301 [4] Bardos, C.; Benachour, S., Domaine d’analyticité des solutions de l’équation d’Euler dans un ouvert de $$\mathbb{R}^n$$, Annal. Sc. Normale Sup. di Pisa, 4, 507-547, (1978) [5] Bardos, C., Degond, P.: Global existence for the Vlasov-Poisson equation in 3 space variables with small initial data. Ann. Inst. Henri Poincaré Anal. non linéaire2, 101-118, 1985 [6] Benachour, S., Analyticité des solutions des équations de Vlassov-Poisson, Annal. Sc. Normale Sup. di Pisa, 16, 83-104, (1989) · Zbl 0702.35042 [7] Bertozzi, AL; Constantin, P., Global regularity for vortex patches, Commun. Math. Phys., 152, 19-28, (1993) · Zbl 0771.76014 [8] Besse, N.; Frisch, U., A constructive approach to regularity of Lagrangian trajectories for incompressible Euler flow in a bounded domain, Common. Math. Phys., 351, 689-707, (2017) · Zbl 1371.35201 [9] Brenier, Y.; Frisch, U.; Hénon, M.; Loeper, G.; Matarrese, S.; Mohayaee, R.; Sobolevskii, A., Reconstruction of the early universe as a convex optimization problem, Mon. Not. R. Astron. Soc., 346, 501-524, (2003) [10] Chae, D.; Tadmor, E., On the finite time blow-up of the Euler-Poisson equations in $$\mathbb{R}^n$$, Commun. Math. Sci., 6, 785-789, (2008) · Zbl 1157.35086 [11] Chemin, J-Y, Régularité de la trajectoire des particules d’un fluide parfait incompressible remplissant l’espace, J. Math. Pures Appl., 71, 407-417, (1992) · Zbl 0833.35112 [12] Chemin, J-Y, Persistance de structures geometriques dans les fluides incompressibles bidimensionnels, Ann. Ec. Norm. Super., 26, 1-16, (1993) · Zbl 0779.76011 [13] Coles, P., Lucchin, F.: Cosmology: The Origin and Evolution of Cosmic Structure. Wiley, New York (2002) · Zbl 0858.53086 [14] Constantin, P.; Kukavica, I.; Vicol, V., Contrast between Lagrangian and Eulerian analytic regularity properties of Euler equations, Ann. I. H. Poincaré-AN, 33, 1569-1588, (2016) · Zbl 1353.35233 [15] Constantin, P.; Vicol, V.; Wu, J., Analyticity of Lagrangian trajectories for well posed inviscid incompressible fluid models, Adv. Math., 285, 352-393, (2015) · Zbl 1422.35135 [16] Dietz, C.; Sandor, V., The hydrodynamical limit of the Vlasov-Poisson system, Transp. Theory Stat. Phys., 28, 499-520, (1999) · Zbl 1016.82026 [17] Dutrifoy, A., On 3-D vortex patches in bounded domains, Commun. Part. Differ. Equ., 28, 1237-1263, (2003) · Zbl 1030.76011 [18] Ebin, DG; Marsden, J., Groups of diffeomorphisms and the motion of an incompressible fluid, Ann. Math., 92, 102-163, (1970) · Zbl 0211.57401 [19] Engelberg, S.; Liu, H.; Tadmor, E., Critical thresholds in Euler-Poisson equations, Indiana Univ. Math. J., 50, 109-157, (2001) · Zbl 0989.35110 [20] Frisch, U.; Zheligovsky, V., Time-analyticity of Lagrangian particle trajectories in ideal fluid flow, J. Fluid Mech., 749, 404-430, (2014) · Zbl 1325.76018 [21] Frisch, U.; Zheligovsky, V., A very smooth ride in a rough sea, Commun. Math. Phys., 326, 499-505, (2014) · Zbl 1285.35072 [22] Gamblin, P., Solution reguliere a temps petit pour l’equation d’Euler-Poisson, Commun. Part. Differ. Equ., 18, 731-745, (1993) · Zbl 0782.35058 [23] Glass, O.; Sueur, F.; Takahashi, T., Smoothness of the motion of a rigid body immersed in an incompressible fluid, Ann. Sci. Ec. Norm. Supér., 45, 1-51, (2012) · Zbl 1311.35217 [24] Guo, Y., Smooth irrotational flows in the large to the Euler-Poisson system in $${R}^{3+1}$$, Commun. Math. Phys., 195, 249-265, (1998) · Zbl 0929.35112 [25] Hertel, T.: On the time-analytic behavior of particle trajectories in an ideal and incompressible fluid flow. Master’s thesis, Universität Leipzig, 2017 [26] Huang, C., Singular integral system approach to regularity of 3D vortex patches, Indiana Univ. Math. J., 50, 509-552, (2001) · Zbl 0993.35077 [27] Inci, H.: On the Well-posedness of the Incompressible Euler Equation. Ph.D. Thesis, Universität Zürich, 2012 [28] Inci, H., On a Lagrangian formulation of the incompressible Euler equation, J. Part. Differ. Equ., 29, 320-359, (2016) · Zbl 1389.35251 [29] Ionescu, A.; Pausader, B., The Euler-Poisson system in 2D: global stability of the constant equilibrium solution, Int. Math. Res. Not., 761-826, 2013, (2013) · Zbl 1320.35270 [30] Isett, P.: Regularity in time along the coarse scale flow for the incompressible Euler equations. arXiv preprint arXiv:1307.0565, 2013 [31] Jang, J.; Li, D.; Zhang, X., Smooth global solutions for the two-dimensional Euler Poisson system, Forum Math., 26, 645-701, (2014) · Zbl 1298.35148 [32] Kato, T., On the smoothness of trajectories in incompressible perfect fluids, Contemp. Math., 263, 109-130, (2000) · Zbl 0972.35102 [33] Kukavica, I.; Vicol, V., On the radius of analyticity of solutions to the three-dimensional Euler equations, Proc. Am. Math. Soc., 137, 669-677, (2009) · Zbl 1156.76010 [34] Kukavica, I.; Vicol, V., On the analyticity and gevrey-class regularity up to the boundary for the Euler equations, Nonlinearity, 3, 765-796, (2011) · Zbl 1213.35345 [35] Lannes, D.; Linares, F.; Saut, JC, The Cauchy problem for the Euler-Poisson system and derivation of the Zakharov-Kuznetsov equation, Prog. Nonlinear Differ. Equ. Appl., 84, 181-213, (2013) · Zbl 1273.35263 [36] Li, D.; Wu, Y., The Cauchy problem for the two dimensional Euler-Poisson system, J. Eur. Math. Soc., 16, 2211-2266, (2014) · Zbl 1308.35220 [37] Lions, P-L; Perthame, B., Propagation of moments and regularity for the 3-dimensional Vlasov-Poisson system, Invent. Math., 105, 415-430, (1991) · Zbl 0741.35061 [38] Majda, A.: Compressible Fluid Flow and Systems of Conservation Laws in Several Space Variables. Springer, Berlin (1984) · Zbl 0537.76001 [39] Majda, A., Bertozzi, A.: Vorticity and Incompressible Flow. Cambridge University Press, Cambridge (2001) · Zbl 0983.76001 [40] Makino, T., On a local existence theorem for the evolution equation of gaseous stars, Stud. Math. Appl., 18, 459-479, (1986) · Zbl 0623.35058 [41] Makino, T.; Ukai, S., Sur l’existence des solutions locales de l’équation d’Euler-Poisson pour l’évolution d’étoiles gazeuses, J. Math. Kyoto Univ., 27-3, 387-399, (1987) · Zbl 0657.35113 [42] Peebles, P.J.E.: The Large-scale Structure of the Universe. Princeton University Press, Cambridge (1980) [43] Pfaffelmoser, K., Global classical solutions of the Vlasov-Poisson system in three dimensions for general initial data, J. Differ. Equ., 95, 281-303, (1992) · Zbl 0810.35089 [44] Podvigina, O.; Zheligovsky, V.; Frisch, U., The Cauchy-Lagrangian method for numerical analysis of Euler flow, J. Comput. Phys., 306, 320-342, (2016) · Zbl 1354.65172 [45] Rampf, C.; Villone, B.; Frisch, U., How smooth are particle trajectories in a $$\lambda$$CDM universe?, MNRAS, 452, 1421-1436, (2015) [46] Schaeffer, J., Global existence of smooth solutions to the vlasov poisson system in three dimensions, Commun. Part. Differ. Equ., 16, 1313-1335, (1991) · Zbl 0746.35050 [47] Serfati, P.: Étude mathématique de flammes infiniment minces en combustion. Résultats de structure et de régularité pour l’équation d’Euler incompressible. PhD thesis, Université Paris 6, 1992 [48] Serfati, P.: Vortex patches dans Rn et régularité stratifiée pour le laplacien, 1993 [49] Serfati, P.: Pertes de régularité pour le laplacien et l’équation d’Euler sur Rn, 1994 [50] Serfati, P.: Une preuve directe d’existence globale des vortex patches 2D. C. R. Acad. Sci. Paris Sér. I Math.318, 515-518, 1994 · Zbl 0803.76022 [51] Serfati, P., Structures holomorphes à faible régularité spatiale en mécanique des fluides, J. Math. Pures Appl., 74, 95-104, (1995) · Zbl 0849.35111 [52] Serfati, P.: Groupe de l’équation d’Euler incompressible en somme d’opérateurs intégral singulier, ponctuel et compact. Applications, 1996 [53] Shnirelman, A.: On the analyticity of particle trajectories in the ideal incompressible fluid. arXiv preprint arXiv:1205.5837, 2012 [54] Sideris, T., Formation of singularities of solutions to nonlinear hyperbolic equations, Arch. Ration. Mech. Anal., 86, 369-381, (1984) · Zbl 0564.35070 [55] Sideris, T., Formation of singularities in three-dimensional compressible fluids, Commun. Math. Phys., 101, 475-485, (1985) · Zbl 0606.76088 [56] Sideris, T., Delayed singularity formulation in $$2$$d compressible flow, Amer. J. Math., 119, 371-422, (1997) · Zbl 0876.35091 [57] Stein, E.: Harmonic Analysis. Princeton University Press, Cambridge (1993) [58] Tiğlay, F.: The Cauchy problem and integrability of a modified Euler-Poisson equation. Trans. A.M.S.360, 1861-1877, 2008 · Zbl 1146.35069 [59] Ukai, S.; Okabe, T., On classical solutions in the large in time of two-dimensional Vlasov’s equation, Osaka J. Math., 15, 245-261, (1978) · Zbl 0405.35002 [60] Wollman, S., Global-in-time solutions of the two-dimensional Vlasov-Poisson systems, Commun. Pure Appl. Math., 33, 173-197, (1980) · Zbl 0437.45023 [61] Wollman, S., Global-in-time solutions to the three-dimensional Vlasov-Poisson system, J. Math. Anal. Appl., 176, 76-91, (1993) · Zbl 0814.35105 [62] Yudovich, VI, Non-stationary flow of an ideal incompressible liquid, Zh. Vych. Mat., 3, 1032-1066, (1963)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.