Analytic Adjoint Solutions for the 2D Incompressible Euler Equations Using the Green's Function Approach
Carlos Lozano, Jorge Ponsin
备注：
This is a postprint (accepted version) of an article published in the Journal of Fluid Mechanics. The published version may differ from this postprint and is available at: Lozano, C., & Ponsin, J. "Analytic adjoint solutions for the 2-D incompressible Euler equations using the Green's function approach". Journal of Fluid Mechanics (2022). doi:10.1017/jfm.2022.415
The Green's function approach of Giles and Pierce is used to build the lift and drag based analytic adjoint solutions for the two-dimensional incompressible Euler equations around irrotational base flows. The drag-based adjoint solution turns out to have a very simple closed form in terms of the flow variables and is smooth throughout the flow domain, while the lift-based solution is singular at rear stagnation points and sharp trailing edges owing to the Kutta condition. This singularity is propagated to the whole dividing streamline (which includes the incoming stagnation streamline and the wall) upstream of the rear singularity (trailing edge or rear stagnation point) by the sensitivity of the Kutta condition to changes in the stagnation pressure.
We give a geometric formulation of 3D incompressible Euler that contains the Eulerian and Lagrangian gauges as special cases. In the Lagrangian gauge, incompressible Euler is a real analytic ODE in Banach space; a short proof of this known result is given. We then describe (in a self-contained section) some basic properties of a hypothetical self-similar solution to 3D incompressible Euler.
We propose two Hybrid High-Order (HHO) methods for the incompressible Navier-Stokes equations and investigate their robustness with respect to the Reynolds number. While both methods rely on a HHO formulation of the viscous term, the pressure-velocity coupling is fundamentally different, up to the point that the two approaches can be considered antithetical. The first method is kinetic energy preserving, meaning that the skew-symmetric discretization of the convective term is guaranteed not to alter the kinetic energy balance. The approximated velocity fields exactly satisfy the divergence fre…
As for the solutions of the generalized Beltrami flows to the incompressible Euler equations besides the solutions separating radius and axial components, there are only several solutions found as the Hill's vortex solutions. We will present a series of vortex solutions in this category for the generalized Beltrami flows to the incompressible Euler equations.
Ordinary Differential Equations are derived for the adjoint Euler equations firstly using the method of characteristics in 2D. For this system of partial-differential equations, the characteristic curves appear to be the streamtraces and the well-known C+ and C- curves of the theory applied to the flow. The differential equations satisfied along the streamtraces in 2D are then extended and demonstrated in 3D by linear combinations of the original adjoint equations. These findings extend their well-known counterparts for the direct system, and should serve analytical and possibly numerical stud…
The numerical simulation of the 3D incompressible Euler equation is analyzed with respect to different integration methods. The numerical schemes we considered include spectral methods with different strategies for dealiasing and two variants of finite difference methods. Based on this comparison, a Kida-Pelz like initial condition is integrated using adaptive mesh refinement and estimates on the necessary numerical resolution are given. This estimate is based on analyzing the scaling behavior similar to the procedure in critical phenomena and present simulations are put into perspective.
It has been known since work of Lichtenstein [42] and Gunther [29] in the 1920's that the $3D$ incompressible Euler equation is locally well-posed in the class of velocity fields with Hölder continuous gradient and suitable decay at infinity. It is shown here that these local solutions can develop singularities in finite time, even for some of the simplest three-dimensional flows.
Some classical and recent results on the Euler equations governing perfect (incompressible and inviscid) fluid motion are collected and reviewed, with some small novelties scattered throughout. The perspective and emphasis will be given through the lens of infinite-dimensional dynamical systems, and various open problems are listed and discussed.
In this paper, we prove the existence of smooth initial data for the 2D free boundary incompressible Euler equations (also known for some particular scenarios as the water wave problem), for which the smoothness of the interface breaks down in finite time into a splash singularity or a splat singularity.
Incompressible 3D Euler equations develop high vorticity in very thin pancake-like regions from generic large-scale initial conditions. In this work we propose an exact solution of the Euler equations for the asymptotic pancake evolution. This solution combines a shear flow aligned with an asymmetric straining flow, and is characterized by a single asymmetry parameter and an arbitrary transversal vorticity profile. The analysis is based on detailed comparison with numerical simulations performed using a pseudo-spectral method in anisotropic grids of up to 972 x 2048 x 4096.
We study the stability of recently constructed self-similar blow-up solutions to the incompressible Euler equation. A consequence of our work is the existence of finite-energy $C^{1,α}$ solutions that become singular in finite time in a locally self-similar manner. As a corollary, we also observe that the Beale-Kato-Majda criterion cannot be improved in the class of $C^{1,α}$ solutions.
In this article, we investigate the geometry of a central extension $\widehat{\mathcal D}_μ(S^{2})$ of the group of volume-preserving diffeomorphisms of the 2-sphere equipped with the $L^{2}$-metric, whose geodesics correspond solutions of the incompressible Euler equation with Coriolis force. In particular, we calculate the Misiolek curvature of this group. This value is related to the existence of a conjugate point and its positivity directly implies the positivity of the sectional curvature.
The goal of this note is to show that, also in a bounded domain $Ω\subset \mathbb{R}^n$, with $\partial Ω\in C^2$, any weak solution, $(u(x,t),p(x,t))$, of the Euler equations of ideal incompressible fluid in $Ω\times (0,T) \subset \mathbb{R}^n\times\mathbb{R}_t$, with the impermeability boundary condition: $u\cdot \vec n =0$ on $\partialΩ\times(0,T)$, is of constant energy on the interval $(0,T)$ provided the velocity field $u \in L^3((0,T); C^{0,α}(\overlineΩ))$, with $α>\frac13\,.$
In Ann. Math., 170 (2009), 1417-1436, C. De Lellis and L. Székelyhidi Jr. constructed wild solutions of the incompressible Euler equations using a reformulation of the Euler equations as a differential inclusion together with convex integration. In this article we adapt their construction to the system consisting of adding the transport of a passive scalar to the two-dimensional incompressible Euler equations.
In 1966, Arnold [1] showed that the Lagrangian flow of ideal incompressible fluids (described by Euler equations) coincide with the geodesic flow on the manifold of volume preserving diffeomorphisms of the fluid domain. Arnold's proof and the subsequent work on this topic rely heavily on the properties of Lie groups and Lie algebras which remain unfamiliar to most fluid dynamicists. In this note, we provide a simple derivation of Arnold's result which only uses the classical methods of calculus of variations. In particular, we show that the Lagrangian flow maps generated by the solutions of th…
Existence of a conjugate point in the incompressible Euler flow on a sphere and an ellipsoid is considered. Misiolek (1996) formulated a differential-geometric criterion (we call M-criterion) for the existence of a conjugate point in a fluid flow. In this paper, it is shown that no zonal flow (stationary Euler flow) satisfies M-criterion if the background manifold is a sphere, on the other hand, there are zonal flows satisfy M-criterion if the background manifold is an ellipsoid (even it is sufficiently close to the sphere). The conjugate point is created by the fully nonlinear effect of the i…
A 1934 paper by Leray posed the question of the regularity of solutions of the dynamical equations for incompressible inviscid fluids with smooth initial data. Since there has been many attempts to answer this question. Leray examined the possibility of self-similar solutions becoming singular in finite time at a definite space-time location. We reexamine this question in the light of a thorough analysis of the equations for the self-similar solution in axisymmetric geometries with a dependence on a logarithm of time besides the one due to the transformation to self-similar variables.
We consider the 3D incompressible Euler equations in vorticity form in the following fundamental domain for the octahedral symmetry group: $\{ (x_1,x_2,x_3): 0<x_3<x_2<x_1 \}.$ In this domain, we prove local well-posedness for $C^α$ vorticities not necessarily vanishing on the boundary with any $0<α<1$, and establish finite-time singularity formation within the same class for smooth and compactly supported initial data. The solutions can be extended to all of $\mathbb{R}^3$ via a sequence of reflections, and therefore we obtain finite-time singularity formation for the 3D Euler equations in $\…
We develop a Fourier-Chebyshev pseudospectral direct numerical simulation (DNS) to examine a potentially singular solution of the radially bounded, three-dimensional (3D), axisymmetric Euler equations [G. Luo and T.Y. Hou, Proc. Natl. Acad. Sci. USA, 111.36 (2014)]. We demonstrate that: (a) the time of singularity is preceded, in any spectrally truncated DNS, by the formation of oscillatory structures called tygers, first investigated in the one-dimensional (1D) Burgers and two-dimensional (2D) Euler equations; (b) the analyticity-strip method can be generalized to obtain an estimate for the (…
By DNS of Navier-Stokes turbulence, Goto-Saito-Kawahara (2017) showed that turbulence consists of a self-similar hierarchy of anti-parallel pairs of vortex tubes, in particular, stretching in larger-scale strain fields creates smaller-scale vortices. Inspired by their numerical result, we examine the Goto-Saito-Kawahara type of vortex-tubes behavior using the 3D incompressible Euler equations, and show that such behavior induces energy cascade in the absence of nonlinear scale-interaction. From this energy cascade, we prove a modified version of the zeroth-law. In the Appendix, we derive Kolmo…
The paper discusses extensions of the renormalization group (RG) formalism for 3D incompressible Euler equations, which can be used for describing singularities developing in finite (blowup) or infinite time from smooth initial conditions of finite energy. In this theory, time evolution is substituted by the equivalent evolution for renormalized solutions governed by the RG equations. A fixed point attractor of the RG equations, if it exists, describes universal self-similar form of observable singularities. This universality provides a constructive criterion for interpreting results of numeri…
The incompressible three-dimensional ideal flows develop very thin pancake-like regions of increasing vorticity. These regions evolve with the scaling $ω_{\max}(t)\propto\ell(t)^{-2/3}$ between the vorticity maximum and pancake thickness, and provide the leading contribution to the energy spectrum, where the gradual formation of the Kolmogorov interval $E_{k}\propto k^{-5/3}$ is observed for some initial flows [Agafontsev et. al, Phys. Fluids 27, 085102 (2015)]. With the massive numerical simulations, in the present paper we study the influence of initial conditions on the processes of pancake…
The interplay between incompressibility and stratification can lead to non-conservation of horizontal momentum in the dynamics of a stably stratified incompressible Euler fluid filling an infinite horizontal channel between rigid upper and lower plates. Lack of conservation occurs even though in this configuration only vertical external forces act on the system. This apparent paradox was seemingly first noticed by Benjamin (J. Fluid Mech., vol. 165, 1986, pp. 445-474) in his classification of the invariants by symmetry groups with the Hamiltonian structure of the Euler equations in two dimensi…
The dispute on whether the three-dimensional (3D) incompressible Euler equations develop an infinitely large vorticity in a finite time (blowup) keeps increasing due to ambiguous results from state-of-the-art direct numerical simulations (DNS), while the available simplified models fail to explain the intrinsic complexity and variety of observed structures. Here, we propose a new model formally identical to the Euler equations, by imitating the calculus on a 3D logarithmic lattice. This model clarifies the present controversy at the scales of existing DNS and provides the unambiguous evidence …
For the $d$-dimensional incompressible Euler equation, the standard energy method gives local wellposedness for initial velocity in Sobolev space $H^s(\mathbb R^d)$, $s>s_c:=d/2+1$. The borderline case $s=s_c$ was a folklore open problem. In this paper we consider the physical dimensions $d=2,3$ and show that if we perturb any given smooth initial data in $H^{s_c}$ norm, then the corresponding solution can have infinite $H^{s_c}$ norm instantaneously at $t>0$. The constructed solutions are unique and even $C^{\infty}$-smooth in some cases. To prove these results we introduce a new strategy: la…
