Deformation and Symmetry in the Inviscid SQG and the 3D Euler Equations

Transcription

1 J Nonlinear Sci 1 : DOI 1.17/s Deformation and Symmetry in the Inviscid SQG and the 3D Euler Equations Dongho Chae Peter Constantin Jiahong Wu Received: 1 July 11 / Accepted: February 1 / Published online: 7 March 1 Springer Science+Business Media, LLC 1 Abstract The global regularity problem concerning the inviscid SQG and the 3D Euler equations remains an outstanding open question. This paper presents several geometric observations on solutions of these equations. One observation stems from a relation between what we call Eulerian and Lagrangian deformations and reflects the alignment of the stretching directions of these deformations and the tangent direction of the level curves for the SQG equation. Various spatial symmetries in solutions to the 3D Euler equations are exploited. In addition, two observations on the curvature of the level curves of the SQG equation are also included. Keywords 3D Euler equation Surface quasi-geostrophic equation Geometric property Mathematics Subject Classification 35Q35 35B35 35B65 76D3 Communicated by P. Newton. D. Chae Department of Mathematics, Chung-Ang University, Dongjak-gu Heukseok-ro 84, Seoul , Korea dchae@cau.ac.kr P. Constantin Department of Mathematics, Princeton University, Princeton, NJ 8544, USA const@math.princeton.edu J. Wu Department of Mathematics, Oklahoma State University, 41 Mathematical Sciences, Stillwater, OK 7478, USA jiahong@math.okstate.edu

2 666 J Nonlinear Sci 1 : Introduction The inviscid surface quasi-geostrophic SQG equation we are concerned with here assumes the form { t θ + u θ =, u = 1.1 ψ, Λψ = θ, where θ = θx,t is a scalar function of x R and t, u denotes the D velocity field, = x, x1, and Λ = 1 is the Zygmund operator, defined by its Fourier transform, Λf ξ = ξ fξ.oftenu is written in terms of the Riesz transforms of θ, u = R θ,r 1 θ, 1. where the R j = xj Λ 1, j = 1,, denote the D Riesz transforms see, e.g., Stein 197. The inviscid SQG equation was derived from the 3D quasi-geostrophic equations modeling geophysical fluids see, e.g., Constantin et al. 1994; Gill 198; Pedlosky In addition, the SQG equation is an important example of active scalar equations and serves as a test bed for certain turbulence theory see, e.g., Blumen 1978;Heldetal We are mainly concerned with the fundamental issue of whether its classical solution corresponding to given initial data θx, = θ x is global in time. This problem has been studied extensively. Local well-posedness and regularity criteria in various functional settings have been established see, e.g., Constantin et al. 1994; Wu5. The global regularity problem for the general case remains open. Numerical simulations and geometric approaches appear to be particularly enlightening see, e.g. Chae 8b; Constantin et al. 1994, 1; Córdoba and Fefferman 1, a, b; Córdoba et al. 5; Deng et al. 6; Ohkitani and Yamada We study this issue by examining the behavior of the level curves of the solutions. We present several observations on the geometric quantities associated with the level curves including the tangent direction and curvature. We are also concerned with the global regularity problem on the 3D Euler equations of incompressible fluids { t u + u u = p, 1.3 u =, where u = u 1 x, t, u x, t, u 3 x, t represents the velocity of the fluid and p = px,t the scalar pressure. The 3D Euler equations and the inviscid SQG equation are closely related. As pointed out in Constantin et al. 1994, the SQG equation can be treated as a model of the 3D Euler equations and they share many parallel quantities and properties. For example, the 3D vorticity ω = u and θ both satisfy the equation t W + u W = W u,

3 J Nonlinear Sci 1 : where W denotes either ω or θ. There are numerous studies on the Euler equations, and interested readers can consult books and recent review papers see, e.g., Chae 8c; Majda and Bertozzi. Our attention is focused on the potentially singular behavior of solutions with special spatial symmetries. As is well known, the rate of deformation tenor S = 1 u+ u plays a crucial role in determining the global regularity of solutions to the SQG and the 3D Euler equations. In fact, if we know that T S,t L dt <, then the corresponding solution preserves its regularity on [,T] see, e.g., Beale et al. 1984; Constantin et al Physically S controls the deformation of the flow. The flow element stretches in the eigenvector directions associated with positive eigenvalues and contracts in the directions with negative eigenvalues Batchelor Therefore, the eigenvalues and eigenvectors of S play crucial roles in understanding the behavior of solutions to the SQG and the 3D Euler equations. In a parallel way the eigenvalues and eigenvectors of two matrices represented in terms of the particle trajectory of the flow are also very important. More precisely, if we denote by X = Xa,t the particle trajectory and by A = Ax, t theinversemaporthe back-to-label map, then these positive definite matrices are given by S a X a X and M = x A x A are especially important. In contrast to S, S represents the deformation of the current flow with respect to the initial status while M represents the reverse deformation. Intuitively S reflects the deformation at a fixed time and S the accumulative deformation. Therefore we call S the Eulerian deformation tensor, while S and M are labeled as Lagrangian deformations. It is of practical and theoretical importance to relate the eigenvalues and eigenvectors of S and S. For some special flows the relationship between them is really simple. For example, for the flow determined by the velocity field u = x,x 1,we have t λ i x, t = exp λ i Xa,τ,τ dτ, i = 1,, where λ 1 λ denote the eigenvalues of S and λ 1 λ the eigenvalues of S. For more general flows, these simple relationships do not really hold. An explicit example is presented in the Appendix to illustrate this point. We remark that this example itself is significant as a simple model of actual physical phenomena and can easily be expanded into a family of special solutions to the SQG equation, which may be used in testing numerical methods. Nevertheless we can show that their eigenvalues do obey the following bounds: t exp λ n Xa,τ,τ dτ λ n Xa,t,t λ 1 Xa,t,t exp t λ 1 Xa,τ,τ dτ. The precise statement is presented in Theorem.1 of Sect..

4 668 J Nonlinear Sci 1 : The positive definite matrix M appears very naturally in the study of flows transported by a differentiable mapping. Here a flow W is said to be transported by a differentiable mapping if W Xa,t,t = a Xa,tW a. Indeed M gauges the growth of Wx,t in time see.1. As derived in Sect..3 below, if μ 1,...,μ n are the eigenvalues of M and ϱ 1,...,ϱ n the direction angles of W of the eigenvectors of M,thesearelinkedtothoseofS by μ 1 x, t cos ϱ 1 x, t + +μ n x, t cos ϱ n x, t { t } = exp λ1 cos ϕ 1 + +λ n cos ϕ n Ax, t τ,τ dτ. 1.4 This general relationship, when applied to the special flows such as the vorticity of the 3D Euler equations or θ of the SQG equation, reveals useful geometric information on their solutions. If θ is a smooth solution of the SQG equation 1.1, then θ is a special example of flows transported by a differentiable map. Aiming at the issue of whether θ can blow up in a finite time, we examine the key quantities associated with the level curves of θ such as the tangent direction and the curvature. When 1.4 is applied to W = θ, we conclude that, in a finite-time blow-up scenario, the stretching directions of S and M align with the tangent direction of the level curves. Although this result is essentially obtained in Chae 8b, we prove it directly using the formula 1.4. The precise statement of this result is presented in Theorem 3.1. To relate the growth in θ to the unite tangent direction η = θ/ θ and the curvature κ, explicit evolution equations obeyed by η and κ are derived. Although these equations elude a definite conclusion, there is an indication that curvature of the level curves may turn out to be small in the regions where θ is large. Another geometric observation is that there is a uniform global in time bound for the signed mean curvature of a closed level curve see Theorem 3.3. In addition, we conclude that if θ blows up in a finite time, the curvature of the curves orthogonal to the levels must also blow up in a finite time see Theorem 3.4. Finally, we investigate the potential finite-time singular behavior of solutions to the 3D Euler equations with various spatial symmetries. These symmetries are special cases of the general rotation symmetry see, e.g., Majda and Bertozzi, p.3. The attention is focused on the reduced Euler equations at the spatial points that are invariant under these symmetries. We obtain regularity criteria for these reduced equations. These are the generalizations of the observations made in Chae 8a, 1. These results are presented in Sect. 4. Lagrangian and Eulerian Deformations This section intends to relate the Lagrangian and Eulerian deformations. We establishes several connections that are useful in the geometric study of solutions to hydrodynamics equations.

5 J Nonlinear Sci 1 : Basic Concepts We first make these concepts more precise. Let D be a domain in R n, and T, ]. Suppose that for all t [,T the mapping a Xa,t is a diffeomorphism on D. We denote by A,tthe inverse mapping of X,t, satisfying A Xa,t,t = a, X Ax, t, t = x a,x D, t [,T. In the applications to hydrodynamics the mapping {X,t} is defined by a smooth velocity field ux, t through the system of the ordinary differential equations: Xa,t = u Xa,t,t ; Xa, = a D R n..1 t In such a case we say the particle trajectory map X,t and its inverse, the backto-label map A,t, are generated by the fluid velocity field ux, t. Assume u is divergence free, u =, and denote by S the rate of the Eulerian deformation matrix, namely S = 1 [ u + u ], where u stands for the transpose of u. Note that S is symmetric and its trace is zero. Let {λ j, e j } n 1 be the eigenvalue and eigenvector pairs of S with λ 1 + λ + +λ n =, λ 1 λ λ n and {e j } n 1 forming an orthonormal basis for Rn. Denote by O the orthogonal matrix with e 1, e,...,e n as its columns and F = diagλ 1,λ,...,λ n. Clearly SO = OF. One way to characterize the Lagrangian deformation is by the symmetric, positive definite matrix S = a X a X. Since u =, det S = 1. Let { λ j, ẽ j } n 1 be the eigenvalue and eigenvector pairs of S with λ 1 λ λ n = 1, λ 1 λ λ n and with {ẽ j } n 1 forming an orthonormal basis for Rn. Again denote by Õ the orthogonal matrix with ẽ 1, ẽ,...,ẽ n as its columns and F = diag λ 1, λ,..., λ n. Clearly SÕ = Õ F.. Bounds Between the Eigenvalues of S and S We intend to understand the relations between the eigenvalues and eigenvectors of S and S. Intuitively, S contains deformation information from the past to the present, while S represents the instantaneous deformation. Therefore, the eigenvalues of S should be related to the time integrals of the eigenvalues of S. This intuition can be

6 67 J Nonlinear Sci 1 : verified by some simple flows. For example, consider the D velocity u = u 1,u = x 1, x. Clearly, t λ i x, t = exp λ i Xa,τ,τ dτ, i = 1,. Of course, such relations are in general not true and an interesting example is provided in the appendix. Nevertheless, we are able to obtain the following bound. Theorem.1 Let u be a smooth divergence free vector field from R n to R n. Let a R n. Let c S n 1 be a unit vector and define ξ j a, t := e j Then we have ξ 1 λ ξ n λ n = exp and therefore a Xa,tc a Xa,tc, ξ j a, t := ẽ j c. t t exp λ n Xa,τ,τ dτ λ n Xa,t,t λ 1 Xa,t,t exp ξ 1 λ 1 + +ξn λ n dτ,. t λ 1 Xa,τ,τ dτ..3 Proof It follows from.1 that a X a X = a X S a X..4 t Let us define ba, t := a Xa,tc. We multiply.4 from the left by c and from the right by c, respectively. Then we obtain ba, t = b a, tsba, t = O ba, t O SO O ba, t t = O ba, t diagλ1,...,λ n O ba, t = ξ 1 λ 1 + +ξ n λ n ba, t, where O denotes the orthogonal matrix with e 1, e,...,e n as its columns. Hence, ba, t t = exp ξ 1 λ 1 + +ξn λ n dτ..5 On the other hand, we also have ba, t = c a Xa,t a Xa,tc = c Sc

7 J Nonlinear Sci 1 : = Õ c Õ SÕÕ c = Õ c diag λ 1,..., λ n Õ c = ξ 1 λ ξ n λ n,.6 where Õ denotes the orthogonal matrix with ẽ 1, ẽ,...,ẽ n as its columns. Combining.5 with.6 weobtain.. Wenowprovethefirst inequalityof.3 from.. The proof of the third inequality is similar. We observe t exp λ n Xa,τ,τ ξ 1 λ ξ n λ n..7 Since c is arbitrary in S n 1, one can optimize.7 so that ξ n = 1, and ξ j = for all j n. Thus we obtain the first inequality of.3. Theorem.1 is now proven..3 Lagrangian and Eulerian Deformations for Flows Transported by Differentiable Mapping The goal of this subsection is to derive an explicit relation between Lagrangian and Eulerian deformations for a special class of flow, flows transported by differentiable mapping. Definition. Let D be a domain in R n. We say that a parameterized vector field W, : D [,T R n is transported by a differentiable mapping X,tfrom D into itself for all t [,Tif W Xa,t,t = a Xa,tW a.8 holds for all a, t D [,T, where we set W x = Wx,. For flows transported by differentiable mapping, the Lagrangian deformation can be most conveniently measured through the matrix Mx,t := Ax, t Ax, t. Clearly, M is symmetric, positive definite with det M 1. This subsection derives a formula that relates the eigenvalues and eigenvectors of M and S. More precisely, we have the following theorem. Theorem.3 Let W be a flow transported by X. Let η denote the unit vector in the direction of W, namely η = W W. Let Mx,t := Ax, t Ax, t. Denote by μ 1 >μ > >μ n the eigenvalues of M and by g 1, g,...,g n the corresponding normalized eigenvectors. Let ϱ 1,ϱ,...,ϱ n be the direction angles of ξ on g 1, g,...,g n. Recall that λ 1, e 1, λ, e,...,λ n, e n denote the eigenvalue and eigenvector pairs of S. Let ϕ 1,ϕ,...,ϕ n be the direction angles of η on e 1, e,...,e n. Then μ 1 x, t cos ϱ 1 x, t + +μ n x, t cos ϱ n x, t { t } = exp λ1 cos ϕ 1 + +λ n cos ϕ n Ax, t τ,τ dτ..9

8 67 J Nonlinear Sci 1 : Remark We observe that, since both ϱ 1,...,ϱ n and ϕ 1,...,ϕ n are direction angles, the following equalities hold: cos ϱ 1 + +cos ϱ n = cos ϕ 1 + +cos ϕ n = 1. Moreover, if the mapping X,tis volume preserving, or equivalently the associated velocity field is incompressible, then since detm = exp{trs}= 1, we have Proof It follows from.8 that or μ 1 μ n = 1, and λ 1 + +λ n =. W a = a Xa,t 1 W Xa,t,t W Ax, t = a X Ax, t, t 1 Wx,t. Since a XAx,t,t 1 = Ax, t, W Ax, t = W x, t a X Ax, t, t 1 a X Ax, t, t 1 Wx,t = W x, tmx, tw x, t..1 Denoting by Q the orthonormal matrix with g 1, g,...,g n as its column, we have W Ax, t Wx,t = η x, tqx, tq x, tmqx, tq x, tηx, t = μ 1 x, t cos ϱ 1 x, t + +μ n x, t cos ϱ n x, t..11 On the other hand, from the evolution equation t + u W Xa,t,t = W u Xa,t,t, which is equivalent to.8, we obtain t + u W Xa,t,t = η Sη W Xa,t,t, from which we derive W Xa,t,t = W a t exp η Sη Xa,τ,τ dτ. This can be written in terms of Ax, t as follows: Wx,t = t W Ax, t exp η Sη Ax, t τ,τ dτ = t W Ax, t exp η O diagλ 1,...,λ n Oη Ax, t τ,τ dτ

9 J Nonlinear Sci 1 : = t W Ax, t exp λ1 cos ϕ 1 + +λ n cos ϕ n Ax, t τ,τ dτ..1 Comparing.11 and.1, we obtain.9. This completes the proof of Theorem.3. 3 The SQG Equation This section presents several results concerning the geometric aspects of solutions to the inviscid SQG equation 1.1. We first recall and fix a little notation. Let X = Xa,t be the particle trajectory determined by u and A the back-to-label map. Let η be the unit vector in the direction θ.lets denote the symmetric part of u and λ, e 1 and λ,e the eigenvalue and eigenvector pairs of S. LetM be the matrix as defined in Theorem.3 and let μ 1, g 1 and μ, g be the eigenvalue and eigenvector pairs of M with μ 1 μ. Denote by ϕ 1 and ϕ the direction angles of η with respect to e 1 and e and by ϱ 1 and ϱ the direction angles of η with respect to g 1 and g. Our first theorem, relating λ to θ, provides a regularity criterion in terms of λ and ϕ and reveals the connections among λ, μ 1, μ, ϕ 1, ϕ, ϱ 1 and ϱ in a possible finite-time singularity scenario. Theorem 3.1 Let T, ] and let θ be a smooth solution of 1.1 on [,T. Let u be the corresponding velocity field given by 1.. Then the following results hold: a For any t [,T, λ,t L = 1 θ,t L and λ,t L p Cp θ,t L p, where 1 <p< and Cp is a constant depending on p only. b If T1 λ,tcos ϕ,t L dt <, then θ,tcan be extended to the time interval [,T 1 + δ for some δ>. c Consider a blow-up scenario. Assume that there exist x R and sequences x k R and t k > such that x k x, t k T and θx k,t k as x k x and t k T. Then lim k μ 1x k,t k =, lim ϱ 1x k,t k = π k, lim k λx k,t k =, ϕx k,t k < π 4.

10 674 J Nonlinear Sci 1 : This theorem implies that if θ experiences a finite-time blow-up at x,t, then the Lagrangian stretching direction lines up with the tangent direction and the angle between the Eulerian stretching direction and the tangent vector is less than π/4. Proof We decompose V = u into symmetric and skew-symmetric parts: V = S + A, A = 1 V V. It is easy to check that the skew-symmetric part can be written as A = 1 Λθ. Λθ Since u = tr VV = tr S tr A = λ + 1 Λθ, 3.1 we have a pointwise representation of λ in terms of the function θ, { 1 [ λ = R1 1 θ + R 1 θ + R 1 θ + R θ ] 1 } 1 4 Λθ. By Plancherel s identity, { 1 λ dx = ξ 4 R R ξ 1 + ξ1 ξ + ξ 4 ξ } ˆθξ dξ 4 = 1 ξ ˆθξ dξ = 1 θ dx R 4 R This proves the equation in a. The inequality in a follows from 3.1 and the boundedness of Riesz transforms on L p for 1 <p<. To prove b, we apply.1 with W = θ, λ 1 = λ and λ = λ to find θ Xa,t,t = θ a [ t exp λ Xa,s,s cos ϕ Xa,s,s dx Therefore, for any 1 p, θ,t L p [ t ] θ L p exp λ,scos ϕ,s L ds. When the condition in b holds, θ,t L < for t [,T 1 ] and therefore θ can be extended to [,T 1 + δ for some δ>. c is essentially a consequence of Theorem.3. In fact,.9 reduces to μ 1 x, t cos ϱ 1 x, t + μ x, t cos ϱ x, t { t } = exp λ1 cos ϕ 1 + λ cos ϕ Ax, t τ,τ dτ. ].

11 J Nonlinear Sci 1 : When a finite-time blow-up scenario occurs, this equation easily leads to the conclusion in c. This completes the proof of Theorem 3.1. The following theorem derives the evolution equations for two geometric quantities associated with the level curves of solutions to the SQG equation. They are the unit tangent vector η and the signed curvature κ, where κ is given by κη = η s = η η or κ = η η η, 3.3 where s denotes the partial derivative with respect to the arc length. It is easily verified that κ = η. 3.4 Theorem 3. Let θ be a smooth solution of 1.1 on [,T and let u be the corresponding velocity field. Let η be the unit tangent vector and let κ be the signed curvature of the level cures of θ. Then η and κ satisfy t + u +βη = η u or t + u η = γη, 3.5 t + u +βκ = η γ, 3.6 where β = η u η and γ = η u η. Alternatively, γ can also be represented in terms of λ and ϕ, γ = λ sinϕ + 1 Λθ. 3.7 Proof For notational convenience, we write D Dt for t + u. The first equation in 3.5 can be verified from the equations for θ and θ, D Dt θ = u D θ and θ = βx,t θ. 3.8 Dt To obtain the second equation in 3.5, we notice that η u βη η = or η u βη is parallel to η. Therefore, η u βη = γη. To prove 3.6, we apply D Dt to 3.3 to get D Dt η η = D κη = Dκ Dt Dt η + κ Dη. Dt Taking the dot product with η and using the fact that η Dη Dt =, we have Dκ Dt = η D η η. 3.9 Dt

12 676 J Nonlinear Sci 1 : To simplify the right-hand side, we write the vector operations in terms of components and adopt Einstein s summation convention. By 3.5, ηk D Dt η j j η k = ηk Dηj Dt D j η k + η j Dt j η k = ηk βη j + η l l u j j η k + ηk η D j j Dt η k j u m m η k = βη k η j j η k + η k η l l u j j η k + η k η j j γη k η k η j j u m m η k = βκ + η j j γη k η k = βκ + η j j γη k η k + ηγ j η k η k = βκ + η γ, wherewehaveusedη η = 1 and j η η =. This establishes 3.6. To show 3.7, we notice that u = S + A and A = 1 Λθ. Λθ Then a direct computation yields γx,t= η uη = η Sη + η Aη = λ sinϕ + 1 Λθ. This completes the proof of Lemma 3.. We present two more observations on the level curves of the SQG equation. The first one provides an upper bound for the signed mean curvature of any closed level curve, while the second reveals the curvature behavior of the orthogonal trajectories to the level curves. Consider a flow W transported by X, namely W Xa,t,t = a Xa,tW a. 3.1 Let I R be an interval and {γ s} s I be a curve in R n such that γ s s If we set γs,t= Xγ s, t, then γs,t s = a X γ s, t γ s s = W γ s. On the other hand, setting a = γ s in 3.1, we obtain = a X γ s, t W γ s W γs,t,t = a X γ a, t W γ s. 3.1

13 J Nonlinear Sci 1 : Comparing 3.11 with 3.1, we find that W γs,t,t = γs,t s Thus, we have deduced the fact that the curves γ are transported by W. In the case of the SQG equation, W = θ and the level curves are transported by θ. We now focus on the SQG equation, namely Wx,t= θx,t.letωt R be a domain with its boundary Ωt given by a closed, regular level curve γs,tof θx,t. We apply the theorems of the differential geometry to obtain an upper bound for the signed mean curvature. More precisely, we have the following theorem. Theorem 3.3 Let T, ]. Let θ be a smooth solution of 1.1 on [,T. Let γs,t be a closed level curve of θ and let Ωt be the domain enclosed by γs,t, which we assume to be simply connected. Let κ denote the signed curvature of γ as defined in 3.3. Then the signed mean curvature has the uniform bound κγ,t := Ωt κγs,t,t θγs,t,t ds Ωt θγs,t,t ds π Ω, 3.14 where <t<t and N r denotes the winding number of the initial level curve γ s with respect to a point in Ω. The proof uses the fact that any topologically invariant quantities involving the level curves are preserved in time along the flows, since the flow map X,t is a diffeomorphism as long as the smoothness of solutions persists. Proof The isoperimetric inequality implies θ γs,t,t ds = γs,t Ωt Ωt s ds π Ωt = π Ω, 3.15 where A denotes the area of the measurable set A. For a closed level curve γs,t with the signed curvature κ of θx,t the winding number N γ is given by k γs,t,t θ γs,t,t ds = πnγ, 3.16 Ωt which is a topologically invariant. Under our assumption of a simply connected domain Ωt we have N γ = 1. The theorem follows from 3.15 with Another observation is on the curvature behavior of the curves orthogonal to the level curves. If a finite-time singularity occurs in the solution of the SQG equation, then the curvature of the orthogonal curves to the levels must also blow up simultaneously.

14 678 J Nonlinear Sci 1 : Theorem 3.4 Let T>and let θ be a smooth solution of 1.1 on [,T. Consider a finite-time singularity scenario: there exist a sequence {x k } R converging to x and a sequence {t k } converging to T such that θx k,t k as k. Then k κx lim k,t k = 3.17 where κ denotes the curvature of the orthogonal curves to the levels. Proof For each k, letγ k = γ k s, t k be the unique level curve of θx,t k that pass through x k.heres denotes the arc length and x k = γ k s k,t k. Using the identity = θ = η θ = η θ + η θ and the fact that η = s,wehave s log θ γ k s, t k, t k = η γk s, t k, t k. Integrating with respect to s from s to s k, we find log θ γ k s k,t k, t k log θ sk γ s,t k, t k = η γ k ρ, t k, t k dρ. Realizing η = η denotes the signed curvature of the orthogonal curves to the level curve, we obtain, by denoting that curvature by κ, log θ γ k s k,t k, t k log θ sk γ s,t k, t k = κ γ k ρ, t k, t k dρ. In the finite-time singularity scenario, the first term on the left tends to as k. When s is taken sufficiently close to s k, we obtain This proves Theorem 3.4. s s 4 The 3D Euler Equations with Spatial Symmetries This section is focused on solutions of the 3D Euler equations with various reflection symmetries. The idea is to see if the global regularity issue can be better understood when there is a spatial symmetry. Seven different spatial symmetries are considered and in each case the simplified forms of the Euler equations on the invariant points of the symmetries are obtained. Regularity criteria based on these simplified equations are established. This section could be regarded as a generalized version of the results in Chae 8a.

15 J Nonlinear Sci 1 : Given ux, t, px, t solving the 3D Euler equations 1.3, we introduce the 3 3 matrices V ij = u j x i, S ij = V ij + V ji, A ij = V ij V ji, P ij = p, x i x j with i, j = 1,, 3. Then we have the decomposition V = V ij = S + A, where S = S ij represents the rate of the deformation tensor of the fluid, and A = A ij is related to the vorticity ω by A ij = 1 3 ε ij k ω k, ω i = k=1 3 ε ij k A jk, 4.1 j,k=1 where ε ij k is the skew-symmetric tensor with the normalization ε 13 = 1. Note that P = P ij is the Hessian of the pressure. Let {λ 1,λ,λ 3 } be the set of eigenvalues of S. Computing partial derivatives / x k of 1.3 yields DV = V P. 4. Dt Taking the symmetric part of 4., we have DS Dt = S A P, 4.3 from which, using the formula 4.1, we derive DS ij Dt 3 = S ik S kj ω δ ij ω i ω j Pij, 4.4 k=1 where δ ij is the Kronecker delta defined by δ ij = 1ifi = j, and δ ij = otherwise. The antisymmetric part of 4. is DA = SA AS, 4.5 Dt from which, using the formula 4.1 again, we easily obtain Dω = Sω, 4.6 Dt which is the well-known vorticity evolution equation that could be derived also by taking the curl of 1.3. Taking the trace of 4.4, we have the identity λ 1 + λ + 1 λ 3 + ω = p. 4.7 As a preparation, we define the reflection transforms M 1 x 1,x,x 3 = x 1,x,x 3, M x 1,x,x 3 = x 1, x,x 3,

16 68 J Nonlinear Sci 1 : M 3 x 1,x,x 3 = x 1,x, x 3, M 1 x 1,x,x 3 = x 1, x,x 3, M 3 x 1,x,x 3 = x 1, x, x 3, M 13 x 1,x,x 3 = x 1,x, x 3, M 13 x 1,x,x 3 = x 1, x, x 3. The rotation around the x 3 -axis is represented by R θ x 1,x,x 3 = cos θx 1 sin θx, cos θx sin θx 1,x 3. The rest of this section is divided into seven subsections with each one of them devoted to one of the reflection symmetries. 4.1 Reflection with Respect to the x 1 x -Plane Consider a solution u, p of 1.3 satisfying u 3 M 3 x,t = u 3 x, t, pm 3 x,t = px,t, j = 1,. u j M 3 x,t = u j x, t, 4.8 We derive the reduced equations on the plane x 3 = : u 3 x 1,x,,t= 3 px 1,x,,t=, t u j + u u u j = j p, j = 1,, div u =, 1 1 u 1 1 u + u 1 S = 1 1u + u 1 u, ω= 3 u 3 1 p 1 p P = 1 p p. 3 p The 3, 3 entry of the matrix equation 4.4 is where λ 3 = 3 u 3. The vorticity equation is ω 3, t λ 3 + u u λ 3 = λ 3 3 p, 4.9 t ω 3 + u u ω 3 = λ 3 ω 3. Even for this reduced system of equations, it is not clear if all of their classical solutions are global in time. The following theorem explains a scenario for which a finite-time singularity develops.

17 J Nonlinear Sci 1 : Theorem 4.1 Let m> 5. Let u H m R 3 and p be given by p = 3 R j R k u j u k. 4.1 j,k=1 Assume that u and p obey the spatial symmetry as defined in 4.8. Define the set S = { a = a 1,a, 3 u 3 a <, 3 p a > } and the turnover time T a = inf { t> 3 p Xa,t,t < }, where Xa,t denotes the D particle trajectory X = X 1,X, with d dt X j a, t = u j Xa,t,t, Xj a, = a, a R,j= 1,. If there exists a S such that T a > 1 3 u 3 a, 4.11 then λ 3 Xa, t, t = 3 u 3 Xa, t, t decreases to in a finite time. A special consequence of this theorem is a finite-time singularity result provided the pressure satisfies 3 px 1,x,,t<. Corollary 4. Let m> 5. Let u H m R 3. Assume that u and p obey the spatial symmetry as defined in 4.8. Assume that there is a = a 1,a, such that 3 u 3 a <, 3 p a > and 3 pxa,t,t > for t>. Then 3 u 3 Xa, t, t as t approaches a finite time. We now provide the proof of Theorem 4.1. Proof of Theorem 4.1 Noticing λ 3 = 3 u 3 and 4.9, we have, for any t<t, t λ 3 Xa,t,t λ 3 Xa,t,t. Therefore, for any t<min{t a, 1 λ a }, λ Xa,t,t λ a 1 + λ at. Thanks to 4.11, we conclude that λxa, t, t = 3 u 3 Xa, t, t becomes for t 1 3 u 3 a. This completes the proof of Theorem 4.1.

18 68 J Nonlinear Sci 1 : Rotation About the x 3 -Axis for 18 Degrees Consider a solution u, p of 1.3 satisfying, for j = 1,, u j M 1 x,t = u j x, t, u 3 M 1 x,t = u 3 x, t, pm 1 x,t = px,t. 4.1 We derive the reduced equation on the x 3 axis: u 1,,x 3,t= u,,x 3,t= 1 p,,x 3,t= p,,x 3,t=, t u 3 + u 3 3 u 3 = 3 p, div u =, 1 1 u 1 1 u + u 1 S = 1 1u + u 1 u, ω= 3 u 3 1 p 1 p P = 1 p p. 3 p The 3, 3 entry of the matrix equation 4.4 is t λ 3 + u 3 3 λ 3 = λ 3 3 p, where λ 3 = 3 u 3,,x 3,t. The vorticity equation is t ω 3 + u 3 3 ω 3 = λ 3 ω 3. A result similar to Theorem 4.1 can be established. Theorem 4.3 Let m> 5. Let u H m R 3 and p be given by 4.1. Assume that u and p obey the spatial symmetry as defined in 4.1. Define the set S = { a =,,a 3 3 u 3 a <, 3 p a > } and the turnover time T a = inf { t> 3 p Xa,t,t < }, where Xa,t denotes the 1D particle trajectory X =,,X 3 with d dt X 3a, t = u 3 Xa,t,t, Xa, = a. If there exists a S such that T a > 1 3 u 3 a, then λ 3 Xa, t, t = 3 u 3 Xa, t, t decreases to in a finite time. ω 3,

19 J Nonlinear Sci 1 : Reflection About the Origin Consider a solution u, p of 1.3 satisfying u j M 13 x,t = u j x, t, pm 13 x,t = px,t, j = 1,, 3. At the origin,, the reduced equation becomes { uj,,,t= j p,,,t= j = 1,, 3, div v =, 3 t S ij = S ik S kj ω δ ij ω i ω j Pij, k=1 t ω = Sω, where S ij = S ij,,,t, ω= ω,,,t, P ij = P ij,,,t. 4.4 Reflections with Respect to Two Planes Consider a solution u, p of 1.3 satisfying u i M j x,t = 1 δ ij u i x, t, u 3 M j x,t = u 3 x, t, pm j x,t = px,t, i,j = 1,. On the x 3 -axis the reduced equations are u j,,x 3,t= j p,,x 3,t= j = 1,. t u 3 + u 3 3 u 3 = 3 p, div u =, 4.13 S = diagλ 1,λ,λ 3, ω =, P = diag 1 p, p, 3 p where λ j = j u j, j = 1,, 3, 4.14 on the x 3 -axis. The 1, 1 and, entries of the matrix equation 4.4 reduce to We note that 4.7 reduces to t λ j + u 3 3 λ j = λ j j p, j = 1,, 3. p = λ 1 λ λ

20 684 J Nonlinear Sci 1 : Reflection and Rotation About the x 3 -Axis Consider a solution u, p of 1.3 satisfying u j M 1 x,t = u j x, t, u 3 M 1 x,t = u 3 x, t, u j M 3 x,t = u j x, t, u 3 M 3 x,t = u 3 x, t, pm 1 x,t = px,t, pm 3 x,t = px,t j = 1,. The origin,, is the invariant point in this case. We have { uj,,,t= j p,,,t= j = 1,, 3, div v =, 4.16 S = diagλ 1,λ,λ 3, ω =, P = diag 1 p, p, 3 p where λ j = j u j, j = 1,, 3, 4.17 on the x 3 -axis. The 1, 1 and, entries of the matrix equation 4.4 reduce to We note that 4.7 reduces to 4.6 Reflection About the Axes t λ j = λ j j p, j = 1,, 3. Consider a solution u, p of 1.3 satisfying p = λ 1 λ λ u i M j x,t = 1 δ ij u i x, t, pm j x,t = px,t, i,j = 1,, 3. The origin,, is the invariant point. The reduced equation at the origin is { uj,,,t= j p,,,t= j = 1,, 3 div u = 4.19 S = diagλ 1,λ,λ 3, ω =, P = diag 1 p, p, 3 p where λ j = j u j, j = 1,. 4. The 1, 1 and, entries of the matrix equation 4.4 reduce to We note that 4.7 reduces to t λ j = λ j j p, j = 1,, 3. p = λ 1 λ λ

21 J Nonlinear Sci 1 : Rotation About the x 3 -Axis Consider a solution u, p of 1.3 satisfying u 1,u R θ x,t = R θ u 1,u x, t, u 3 M 3 x,t = u 3 x, t, where θ [, π. At the origin,, the reduced equation is { uj,,,t= j p,,,t= j = 1,, 3, r u r + 3,u 3 =, S = diag 1 λ 3, 1 λ 3,λ 3, ω=,,ω 3, P = diag 4. 1 p, p, 3 p where λ 3 = 3 u 3, j = 1,, The 1, 1 and, entries of the matrix equation 4.4 reduce to t λ 3 = 1 λ 3 1 ω 3 + r p, j = 1,, 3. The vorticity equation is We note that 4.7 reduces to t ω = λ 3 ω. p = 3 λ 3 + ω Conclusion The global regularity issue on the inviscid SQG equation or the 3D Euler equations is extremely difficult and no effective analytic approach is currently available. Numerical simulations have revealed some very significant features of geometric quantities associated with the level curves of the SQG equation and the vortex tubes of the 3D Euler equations in potential finite-time singularity scenarios. Geometric regularity criteria have previously been derived to reflect the nature of the numerical observations. These criteria are mainly expressed in terms of the tangent directions see, e.g., Constantin et al. 1994, 1996; Deng et al. 5. This paper examines and exploits the relationship between what we call the Eulerian and the Lagrangian deformations and present geometric observations rigorously relating potential finite-time singularities to the curvatures and the stretching directions characterized through the Lagrangian and Euler deformations. In addition, solutions of the 3D Euler equations with special spatial symmetries are investigated and the regularity criteria obtained here reveal some potential finite-time singularities in the circumstances when the pressure obeys certain properties.

22 686 J Nonlinear Sci 1 : Acknowledgements The authors thank the referees for their useful comments and suggestions. Chae s research was partially supported by NRF grant No Constantin s research was partially supported by NSF grant DMS Wu s research was partially supported by NSF grant DMS and the AT&T Foundation at Oklahoma State University. Appendix: An Example of Lagrangian and Eulerian Deformations This appendix presents a special steady solution of the SQG equation and explicit computations of the eigenvalues and eigenvectors of the associated Lagrangian and Eulerian deformations. If ψ is a D radial function, ψx = ψr with r = x and u = ψ, then θ = Λψ is a steady solution of the SQG equation. Let X and A be the particle trajectory and let the back-to-label map be determined by u, respectively. Let S be the deformation tensor or Eulerian deformation and S = a X a X be the Lagrangian deformation. We compute and compare the eigenvalues and eigenvectors of S and M. It is clear that ux, t = r 1 ψ rx, where x = x,x 1. Then S = 1 u + u 1 ˆx1 ˆx = τ ˆx 1 ˆx 1 ˆx 1 ˆx ˆx 1 ˆx where τ = rψ r/r and ˆx = ˆx 1, ˆx = r 1 x denotes the unit vector in the direction of x. Using the notation of the tensor product a b = a i b j, we can write S as S = τ ˆx ˆx +ˆx ˆx and the eigenvalues and eigenvectors are λ 1 = τ, λ = τ, w 1 = 1 ˆx +ˆx, w = 1 ˆx ˆx. To compute S, we notice that the Lagrangian map X satisfies t X = ux, t, Xa, = a. Since ux, t = r 1 ψ rx, r = X = a is conserved and Xa,t = R t, a a = a 1 e 1 + a e where Rt, a is the rotation of angle Θ = tψ r/r with the columns given by e 1 = cos Θ,sin Θ and e = sin Θ,cos Θ. Computing the vectors 1 X = X a 1 and X = X a, we obtain 1 X = 1 sâ 1 â e 1 + sâ 1 e, X = sâ e sâ 1 â e,

23 J Nonlinear Sci 1 : where s is the nondimensional time s = rθ = rψ r/r t and â = a 1 a.the entry S ij of S is given by i X j X and thus 1 sâ1 â S = + s â1 sâ1 â + s â 1 â sâ1 â + s â 1 â 1 + sâ 1 â + s â. The eigenvalues of S are μ 1 = 1 + s + s s + 4, μ = 1 + s s s + 4 and the corresponding eigenvectors are given by v 1 =â 1 s s + 4 â, v =â 1 s + s + 4 â. References Batchelor, G.K.: An Introduction to Fluid Dynamics. Cambridge University Press, Cambridge 1967 Beale, J.T., Kato, T., Majda, A.: Remarks on the breakdown of smooth solutions for the 3-D Euler equations. Commun. Math. Phys. 94, Blumen, W.: Uniform potential vorticity flow, Part I. Theory of wave interactions and two-dimensional turbulence. J. Atmos. Sci. 35, Chae, D.: On the blow-up problem for the axisymmetric 3D Euler equations. Nonlinearity 1, a Chae, D.: The geometric approaches to the possible singularities in the inviscid fluid flows. J. Phys. A, Math. Theor. 41, b, 11 pp. Chae, D.: Incompressible Euler equations: the blow-up problem and related results. In: Handbook of Differential Equations: Evolutionary Equations. Handbook Differential Equations, vol. IV, pp Elsevier/North-Holland, Amsterdam 8c Chae, D.: On the Lagrangian dynamics of the axisymmetric 3D Euler equations. J. Differ. Equ. 49, Constantin, P., Majda, A., Tabak, E.: Formation of strong fronts in the -D quasi-geostrophic thermal active scalar. Nonlinearity 7, Constantin, P., Fefferman, C., Majda, A.: Geometric constraints on potentially singular solutions for the 3-D Euler equations. Commun. Partial Differ. Equ. 1, Constantin, P., Lai, M.-C., Sharma, R., Tseng, Y.-H., Wu, J.: New numerical results for the surface quasigeostrophic equation. J. Sci. Comput. 5, Córdoba, D., Fefferman, Ch.: Behavior of several two-dimensional fluid equations in singular scenarios. Proc. Natl. Acad. Sci. USA 98, Córdoba, D., Fefferman, Ch.: Scalars convected by a two-dimensional incompressible flow. Commun. Pure Appl. Math. 55, 55 6 a Córdoba, D., Fefferman, Ch.: Growth of solutions for QG and D Euler equations. J. Am. Math. Soc. 15, b Córdoba, D., Fontelos, M., Mancho, A., Rodrigo, J.: Evidence of singularities for a family of contour dynamics equations. Proc. Natl. Acad. Sci. USA 1, Deng, J., Hou, T.Y., Yu, X.: Geometric properties and nonblowup of 3D incompressible Euler flow. Commun. Partial Differ. Equ. 3, Deng, J., Hou, T.Y., Li, R., Yu, X.: Level set dynamics and the non-blowup of the D quasi-geostrophic equation. Methods Appl. Anal. 13, Gill, A.E.: Atmosphere-Ocean Dynamics. Academic Press, New York 198

24 688 J Nonlinear Sci 1 : Held, I., Pierrehumbert, R., Garner, S., Swanson, K.: Surface quasi-geostrophic dynamics. J. Fluid Mech. 8, Majda, A., Bertozzi, A.: Vorticity and Incompressible Flow. Cambridge University Press, Cambridge Ohkitani, K., Yamada, M.: Inviscid and inviscid-limit behavior of a surface quasigeostrophic flow. Phys. Fluids 9, Pedlosky, J.: Geophysical Fluid Dynamics. Springer, New York 1987 Stein, E.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton 197 Wu, J.: Solutions of the -D quasi-geostrophic equation in Hölder spaces. Nonlinear Anal. 6,