Formation of finite-time singularities in the 3D axisymmetric Euler equations: a numerics guided study. (English) Zbl 1427.35190
Summary: Whether the three-dimensional incompressible Euler equations can develop a singularity in finite time from smooth initial data is one of the most challenging problems in mathematical fluid dynamics. This work attempts to provide an affirmative answer to this long-standing open question, by first describing a class of potentially singular solutions to the Euler equations numerically discovered in axisymmetric geometries, and then by presenting evidence from rigorous analysis that strongly supports the existence of such singular solutions. The initial data leading to these singular solutions possess certain special symmetry and monotonicity properties, and the subsequent flows are assumed to satisfy a periodic boundary condition along the axial direction and a no-flow, free-slip boundary condition on the solid wall. The numerical study employs a hybrid 6th-order Galerkin/finite difference discretization of the governing equations in space and a 4th-order Runge-Kutta discretization in time, where the emerging singularity is captured on specially designed adaptive (moving) meshes that are dynamically adjusted to the evolving solutions. With a maximum effective resolution of over \((3 \times 10^{12})^2\) near the point of the singularity, the simulations are able to advance the solution to a point that is asymptotically close to the predicted singularity time, while achieving a pointwise relative error of \(O(10^{-4})\) in the vorticity vector and obtaining a \((3 \times 10^8)\)-fold increase in the maximum vorticity. The numerical data are checked against all major blowup/nonblowup criteria, including Beale-Kato-Majda, Constantin-Fefferman-Majda, and Deng-Hou-Yu, to confirm the validity of the singularity. A close scrutiny of the data near the point of the singularity also reveals a self-similar structure in the blowup, as well as a one-dimensional model which is seen to capture the essential features of the singular solutions along the solid wall, and for which existence of finite-time singularities can be established rigorously.
MSC:
| 35Q31 | Euler equations |
| 76B03 | Existence, uniqueness, and regularity theory for incompressible inviscid fluids |
| 65M60 | Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs |
| 65M06 | Finite difference methods for initial value and initial-boundary value problems involving PDEs |
| 65M20 | Method of lines for initial value and initial-boundary value problems involving PDEs |
| 65L06 | Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations |
| 35B44 | Blow-up in context of PDEs |
References:
| [1] | M. Arioli, J. W. Demmel, and I. S. Duff, Solving sparse linear systems with sparse backward error, SIAM J. Matrix Anal. Appl., 10 (1989), pp. 165-190, https://doi.org/10.1137/0610013. · Zbl 0684.65022 |
| [2] | C. Bardos and E. S. Titi, Euler equations for incompressible ideal fluids, Russian Math. Surveys, 62 (2007), pp. 409-451. · Zbl 1139.76010 |
| [3] | D. Barkley, A Fluid Mechanic’s Analysis of the Teacup Singularity, preprint, https://arxiv.org/abs/1902.05993, 2019. · Zbl 1472.76021 |
| [4] | J. T. Beale, T. Kato, and A. Majda, Remarks on the breakdown of smooth solutions for the \textup3-D Euler equations, Comm. Math. Phys., 94 (1984), pp. 61-66. · Zbl 0573.76029 |
| [5] | M. Berger and R. V. Kohn, A rescaling algorithm for the numerical calculation of blowing-up solutions, Comm. Pure Appl. Math., 41 (1988), pp. 841-863. · Zbl 0652.65070 |
| [6] | M. Berger and J. Oliger, Adaptive mesh refinement for hyperbolic partial differential equations, J. Comput. Phys., 53 (1984), pp. 484-512. · Zbl 0536.65071 |
| [7] | O. N. Boratav and R. B. Pelz, Direct numerical simulation of transition to turbulence from a high-symmetry initial condition, Phys. Fluids, 6 (1994), pp. 2757-2784. · Zbl 0845.76065 |
| [8] | C. J. Budd, S. Chen, and R. D. Russell, New self-similar solutions of the nonlinear Schrödinger equation with moving mesh computations, J. Comput. Phys., 152 (1999), pp. 756-789. · Zbl 0942.65085 |
| [9] | C. J. Budd, W. Huang, and R. D. Russell, Moving mesh methods for problems with blow-up, SIAM J. Sci. Comput., 17 (1996), pp. 305-327, https://doi.org/10.1137/S1064827594272025. · Zbl 0860.35050 |
| [10] | M. D. Bustamante and R. M. Kerr, 3D Euler about a 2D symmetry plane, Phys. D, 237 (2008), pp. 1912-1920. · Zbl 1143.76387 |
| [11] | L. Caffarelli, R. Kohn, and L. Nirenberg, Partial regularity of suitable weak solutions of the Navier-Stokes equations, Comm. Pure Appl. Math., 35 (1982), pp. 771-831. · Zbl 0509.35067 |
| [12] | R. E. Caflisch, Singularity formation for complex solutions of the \textup3D incompressible Euler equations, Phys. D, 67 (1993), pp. 1-18. · Zbl 0789.76013 |
| [13] | D. Chae, Nonexistence of self-similar singularities for the 3D incompressible Euler equations, Comm. Math. Phys., 273 (2007), pp. 203-215. · Zbl 1157.35079 |
| [14] | D. Chae, On the generalized self-similar singularities for the Euler and the Navier-Stokes equations, J. Funct. Anal., 258 (2010), pp. 2865-2883. · Zbl 1189.35236 |
| [15] | D. Chae, On the self-similar solutions of the 3D Euler and the related equations, Comm. Math. Phys., 305 (2011), pp. 333-349. · Zbl 1219.35183 |
| [16] | D. Chae, P. Constantin, and J. Wu, An incompressible 2D didactic model with singularity and explicit solutions of the 2D Boussinesq equations, J. Math. Fluid Mech., 16 (2014), pp. 473-480. · Zbl 1307.35213 |
| [17] | D. Chae and T.-P. Tsai, Remark on Luo-Hou’s ansatz for a self-similar solution to the 3D Euler equations, J. Nonlinear Sci., 25 (2015), pp. 193-202. · Zbl 1364.35248 |
| [18] | J. Chen, T. Y. Hou, and D. Huang, On the Finite Time Blowup of the De Gregorio Model for the \textup3D Euler Equation, preprint, https://arxiv.org/abs/1905.06387, 2019. |
| [19] | S. Childress, Nearly two-dimensional solutions of Euler’s equations, Phys. Fluids, 30 (1987), pp. 944-953. · Zbl 0645.76018 |
| [20] | S. Childress, Topological Fluid Dynamics for Fluid Dynamicists, preprint, https://www.math.nyu.edu/faculty/childres/tfd.pdf, 2004. |
| [21] | K. Choi, T. Hou, A. Kiselev, G. Luo, V. Sverak, and Y. Yao, On the finite-time blowup of a 1D model for the 3D axisymmetric Euler equations, Comm. Pure Appl. Math., 70 (2017), pp. 2218-2243. · Zbl 1377.35218 |
| [22] | P. G. Ciarlet, The Finite Element Method for Elliptic Problems, Classics Appl. Math. 40, SIAM, Philadelphia, 2002, https://doi.org/10.1137/1.9780898719208. · Zbl 0999.65129 |
| [23] | P. Constantin, Geometric statistics in turbulence, SIAM Rev., 36 (1994), pp. 73-98, https://doi.org/10.1137/1036004. · Zbl 0803.35106 |
| [24] | P. Constantin, On the Euler equations of incompressible fluids, Bull. Amer. Math. Soc. (N.S.), 44 (2007), pp. 603-621. · Zbl 1132.76009 |
| [25] | P. Constantin, C. Fefferman, and A. Majda, Geometric constraints on potentially singular solutions for the 3-D Euler equations, Comm. Partial Differential Equations, 21 (1996), pp. 559-571. · Zbl 0853.35091 |
| [26] | J. Deng, T. Y. Hou, and X. Yu, Geometric properties and nonblowup of \textup3D incompressible Euler flow, Comm. Partial Differential Equations, 30 (2005), pp. 225-243. · Zbl 1142.35549 |
| [27] | W. E and C.-W. Shu, Small-scale structures in Boussinesq convection, Phys. Fluids, 6 (1994), pp. 49-58. · Zbl 0822.76087 |
| [28] | T. M. Elgindi and I.-J. Jeong, Finite-Time Singularity Formation for Strong Solutions to the Boussinesq System, preprint, https://arxiv.org/abs/1708.02724, 2017. |
| [29] | T. M. Elgindi and I.-J. Jeong, Finite-Time Singularity Formation for Strong Solutions to the Axi-symmetric \textup3D Euler Equations, preprint, https://arxiv.org/abs/1802.09936, 2018. |
| [30] | T. M. Elgindi, Finite-Time Singularity Formation for \(C^{1,\alpha}\) Solutions to the Incompressible Euler Equations on \(\mathbb{R}^3\), preprint, https://arxiv.org/abs/1904.04795, 2019. |
| [31] | C. L. Fefferman, Existence and smoothness of the Navier-Stokes equation, in The Millennium Prize Problems, J. Carlson, A. Jaffe, and A. Wiles, eds., Clay Mathematics Institute, Cambridge, MA, 2006, pp. 57-67; also available online from http://www.claymath.org/library/monographs/MPPc.pdf. · Zbl 1194.35002 |
| [32] | A. B. Ferrari, On the blow-up of solutions of the 3-D Euler equations in a bounded domain, Comm. Math. Phys., 155 (1993), pp. 277-294. · Zbl 0787.35071 |
| [33] | H. Fujita, On the blowing up of solutions of the Cauchy problem for \(u_t = \Delta u + u^{1+\alpha} \), J. Fac. Sci. Univ. Tokyo Sect. A Math., 16 (1966), pp. 105-113. |
| [34] | J. D. Gibbon, The three-dimensional Euler equations: Where do we stand?, Phys. D, 237 (2008), pp. 1894-1904. · Zbl 1143.76389 |
| [35] | J. D. Gibbon, D. R. Moore, and J. T. Stuart, Exact, infinite energy, blow-up solutions of the three-dimensional Euler equations, Nonlinearity, 16 (2003), pp. 1823-1831. · Zbl 1040.35069 |
| [36] | J. D. Gibbon and E. S. Titi, The 3D incompressible Euler equations with a passive scalar: A road to blow-up?, J. Nonlinear Sci., 23 (2013), pp. 993-1000. · Zbl 1292.35216 |
| [37] | R. Grauer, C. Marliani, and K. Germaschewski, Adaptive mesh refinement for singular solutions of the incompressible Euler equations, Phys. Rev. Lett., 80 (1998), pp. 4177-4180. |
| [38] | R. Grauer and T. C. Sideris, Numerical computation of 3D incompressible ideal fluids with swirl, Phys. Rev. Lett., 67 (1991), pp. 3511-3514. |
| [39] | B. Gustafsson, H.-O. Kreiss, and J. Oliger, Time Dependent Problems and Difference Methods, Wiley-Interscience, New York, 1995. · Zbl 0843.65061 |
| [40] | P. Hénon, P. Ramet, and J. Roman, PaStiX: A high-performance parallel direct solver for sparse symmetric definite systems, Parallel Comput., 28 (2002), pp. 301-321. · Zbl 0984.68208 |
| [41] | K. Höllig, Finite Element Methods with B-Splines, SIAM, Philadelphia, 2003, https://doi.org/10.1137/1.9780898717532. · Zbl 1020.65085 |
| [42] | T. Y. Hou and Z. Lei, On the stabilizing effect of convection in three-dimensional incompressible flows, Comm. Pure Appl. Math., 62 (2009), pp. 501-564. · Zbl 1171.35095 |
| [43] | T. Y. Hou and C. M. Li, Dynamic stability of the three-dimensional axisymmetric Navier-Stokes equations with swirl, Comm. Pure Appl. Math., 61 (2008), pp. 661-697. · Zbl 1138.35077 |
| [44] | T. Y. Hou and R. Li, Dynamic depletion of vortex stretching and non-blowup of the \textup3-D incompressible Euler equations, J. Nonlinear Sci., 16 (2006), pp. 639-664. · Zbl 1370.76015 |
| [45] | T. Y. Hou and R. Li, Blowup or no blowup? The interplay between theory and numerics, Phys. D, 237 (2008), pp. 1937-1944. · Zbl 1143.76390 |
| [46] | W. Huang, J. Ma, and R. D. Russell, A study of moving mesh PDE methods for numerical simulation of blowup in reaction diffusion equations, J. Comput. Phys., 227 (2008), pp. 6532-6552. · Zbl 1145.65080 |
| [47] | W. Huang, Y. Ren, and R. D. Russell, Moving mesh methods based upon moving mesh partial differential equations, J. Comput. Phys., 113 (1994), pp. 279-290. · Zbl 0807.65101 |
| [48] | Y. Huang and A. L. Bertozzi, Self-similar blowup solutions to an aggregation equation in \(R^n\), SIAM J. Appl. Math., 70 (2010), pp. 2582-2603, https://doi.org/10.1137/090774495. · Zbl 1238.35013 |
| [49] | T. Kato, Nonstationary flows of viscous and ideal fluids in \(R^3\), J. Funct. Anal., 9 (1972), pp. 296-305. · Zbl 0229.76018 |
| [50] | R. M. Kerr, Evidence for a singularity of the three-dimensional incompressible Euler equations, Phys. Fluids A, 5 (1993), pp. 1725-1746. · Zbl 0800.76083 |
| [51] | R. M. Kerr, Bounds for Euler from vorticity moments and line divergence, J. Fluid Mech., 729 (2013), art. R2. · Zbl 1291.76073 |
| [52] | A. Kiselev, Small scales and singularity formation in fluid dynamics, in Proceedings of the International Congress of Mathematicians, Rio de Janeiro, Brazil, 2018, pp. 2329-2356. |
| [53] | A. Kiselev, L. Ryzhik, Y. Yao, and A. Zlatos, Finite time singularity for the modified SQG patch equation, Ann. of Math. (2), 184 (2016), pp. 909-948. · Zbl 1360.35159 |
| [54] | A. Kiselev and V. Sverak, Small scale creation for solutions of the incompressible two-dimensional Euler equation, Ann. of Math. (2), 180 (2014), pp. 1205-1220. · Zbl 1304.35521 |
| [55] | A. Larios and E. S. Titi, Global regularity versus finite-time singularities: Some paradigms on the effect of boundary conditions and certain perturbations, in Recent Progress in the Theory of the Euler and Navier-Stokes Equations, London Math. Soc. Lecture Notes 430, J. C. Robinson, J. L. Rodrigo, W. Sadowski, and A. Vidal-Lopez, eds., Cambridge University Press, Cambridge, UK, 2016, pp. 96-125. · Zbl 1408.35166 |
| [56] | J.-G. Liu and W.-C. Wang, Convergence analysis of the energy and helicity preserving scheme for axisymmetric flows, SIAM J. Numer. Anal., 44 (2006), pp. 2456-2480, https://doi.org/10.1137/050639314. · Zbl 1130.76053 |
| [57] | G. Luo and T. Y. Hou, Potentially singular solutions of the 3D axisymmetric Euler equations, Proc. Natl. Acad. Sci. USA, 111 (2014), pp. 12968-12973. · Zbl 1431.35115 |
| [58] | G. Luo and T. Y. Hou, Toward the finite-time blowup of the 3D axisymmetric Euler equations: A numerical investigation, Multiscale Model. Simul., 12 (2014), pp. 1722-1776, https://doi.org/10.1137/140966411. · Zbl 1316.35235 |
| [59] | A. Majda and A. Bertozzi, Vorticity and Incompressible Flow, Cambridge University Press, Cambridge, UK, 2002. · Zbl 0983.76001 |
| [60] | D. W. McLaughlin, G. C. Papanicolaou, C. Sulem, and P. L. Sulem, Focusing singularity of the cubic Schrödinger equation, Phys. Rev. A, 34 (1986), pp. 1200-1210. |
| [61] | P. Orlandi and G. F. Carnevale, Nonlinear amplification of vorticity in inviscid interaction of orthogonal Lamb dipoles, Phys. Fluids, 19 (2007), art. 057106. · Zbl 1146.76497 |
| [62] | G. Ponce, Remarks on a paper by J. T. Beale, T. Kato, and A. Majda, Comm. Math. Phys., 98 (1985), pp. 349-353. · Zbl 0589.76040 |
| [63] | A. Pumir and E. D. Siggia, Development of singular solutions to the axisymmetric Euler equations, Phys. Fluids A, 4 (1992), pp. 1472-1491. · Zbl 0825.76121 |
| [64] | T. Shirota and T. Yanagisawa, A continuation principle for the 3-D Euler equations for incompressible fluids in a bounded domain, Proc. Japan Acad. Ser. A Math. Sci., 69 (1993), pp. 77-82. · Zbl 0790.35086 |
| [65] | M. Siegel and R. E. Caflisch, Calculation of complex singular solutions to the 3D incompressible Euler equations, Phys. D, 238 (2009), pp. 2368-2379. · Zbl 1180.37124 |
| [66] | E. M. Stein, Singular Integrals and Differentiability Properties of Functions, Princeton University Press, Princeton, NJ, 1970. · Zbl 0207.13501 |
| [67] | V. I. Yudovich, Eleven great problems of mathematical hydrodynamics, Mosc. Math. J., 3 (2003), pp. 711-737. · Zbl 1061.76003 |
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
