Entire solutions of hydrodynamical equations with exponential dissipation

Entire solutions of hydrodynamical equations with exponential dissipation

Abstract

We consider a modification of the three-dimensional Navier–Stokes equations and other hydrodynamical evolution equations with space-periodic initial conditions in which the usual Laplacian of the dissipation operator is replaced by an operator whose Fourier symbol grows exponentially as at high wavenumbers . Using estimates in suitable classes of analytic functions, we show that the solutions with initially finite energy become immediately entire in the space variables and that the Fourier coefficients decay faster than for any . The same result holds for the one-dimensional Burgers equation with exponential dissipation but can be improved: heuristic arguments and very precise simulations, analyzed by the method of asymptotic extrapolation of van der Hoeven, indicate that the leading-order asymptotics is precisely of the above form with . The same behavior with a universal constant is conjectured for the Navier–Stokes equations with exponential dissipation in any space dimension. This universality prevents the strong growth of intermittency in the far dissipation range which is obtained for ordinary Navier–Stokes turbulence. Possible applications to improved spectral simulations are briefly discussed.

\communicated

name

1 Introduction

More than a quarter of a millenium after the introduction by Leonhard Euler of the equations of incompressible fluid dynamics the question of their well-posedness in three dimensions (3D) with sufficiently smooth initial data is still moot (1); (2); (3); (4) (see also many papers in (5) and references therein). Even more vexing is the fact that switching to viscous flow for the solution of the Navier–Stokes equations (NSE) barely improves the situation in 3D (6); (7); (8); (9); (10). Finite-time blow up of the solution to the NSE can thus not be ruled out, but there is no numerical evidence that this happens.

In contrast, there is strong numerical evidence that for analytic spatially periodic initial data both the 3D Euler and NSE have complex space singularities. Indeed, when such equations are solved by (pseudo-)spectral techniques the Fourier transforms of the solution display an exponential decrease at high wavenumbers, which is a signature of complex singularities (11). This behavior was already conjectured by von Neumann (12) who pointed out on p. 461 that the solution should be analytic with an exponentially decreasing spectrum. Recently Li and Sinai used a Renormalization Group method to prove that for certain complex-valued initial data the 3D NSE display finite-time blow up in the real domain (and, as a trivial corollary, also in the complex domain) (13).

For some PDEs in lower space dimensions explicit information about the position and type of complex singularities may be available. For example, complex singularities can sometimes be related to poles of elliptic functions in connection with the reaction diffusion equation (14) and 2D incompressible Euler equations in Lagrangian coordinates (15). The best understood case is that of the 1D Burgers equation with ordinary (Laplacian) dissipation:1 its singularities are poles located at the zeroes of the solutions of the heat equation to which it can be mapped by using the Hopf–Cole transformation (see, e.g., (16); (17) and references therein).

We now return to the 3D NSE with real analytic data. It is known that blow up in the real domain can be avoided altogether by modifying the dissipative operator, whose Fourier-space symbol is , to a higher power of the Laplacian with symbol () (6); (18). The numerical evidence is however that complex singularities cannot be avoided by this “hyperviscous” procedure, frequently used in geophysical simulations (see, for example, (19)).

Actually, we are unaware of any instance of a nonlinear space-time PDE, with the property that the Cauchy problem is well posed in the complex space domain for at least some time and which is guaranteed never to have any complex-space singularities at a finite distance from the real domain. In other words the solution stays or becomes entire for all . Here we shall show that solutions of the Cauchy problem are entire for a fairly large class of pseudo-differential nonlinear equations, encompassing variants of the 3D NSE, which possess “exponential dissipation”, that is dissipation with a symbol growing exponentially as with the ratio of the wavenumber to a reference wavenumber .

The paper is organized as follows. In Section 2 we consider the forced 3D incompressible NSE in a periodic domain with exponential dissipation. The initial conditions are assumed just to have finite energy. The main theorem is established using classes of analytic functions whose norms contain exponentially growing weights in the Fourier space (20); (21). In Section 3 we show that the Fourier transform of the solution decays at high wavenumbers faster than for any . Here, is the nondimensionalised wavenumber. In Section 4 we briefly present extensions of the result to other instances: different space dimensions and dissipation rates, problems formulated in the whole space and on a sphere, and different equations. In Section 5 we then turn to the 1D Burgers equation with a dissipation growing exponentially at high wavenumbers, for which the same bounds hold as for the 3D Navier–Stokes case. However in the Burgers case, simple heuristic considerations (Section 5.1) and very accurate numerical simulations performed by two different techniques (Sections 5.2 and 5.3), indicate that the leading-order asymptotic decay is precisely . We observe that the heuristic approach, which involves a dominant balance argument applied in spatial Fourier space, is also applicable to the 3D Navier–Stokes case with exactly the same prediction regarding the asymptotic decay. In the concluding Section 6 we discuss open problems and a possible application.

2 Proof that the solution is entire

We consider the following 3D spatially periodic Navier–Stokes equations with an exponential dissipation (expNSE)

(2.1)
(2.2)

Here, is the (pseudo-differential) operator whose Fourier space symbol is , that is a dissipation rate varying exponentially with the wavenumber , is the initial condition, is a prescribed driving force and and are prescribed positive coefficients. The problem is formulated in a periodic domain (for simplicity of notation we take ). The driving force is assumed to be a divergence-free trigonometric polynomial in the spatial coordinates. For technical convenience we use in the statements and proofs of mathematical results, while the use of the reference wavenumber is preferred when discussing the results.

The initial condition is taken to be a divergence-free periodic vector field with a finite norm (finite energy).

As usual the problem is rewritten as an abstract ordinary differential equation in a suitable function space, namely

(2.3)
(2.4)

where and is a suitable quadratic form which takes into account the nonlinear term, the pressure term and the incompressibility constraint (see, e.g. (6); (7); (9)). Note that the Fourier symbol of is .

The problem is formulated in the space is periodic, , . Here, for any , the Fourier symbol of the operator is given by , where .

To prove the entire character, with respect to the spatial variables, of the solution of expNSE for , it suffices to show that its Fourier coefficients decrease faster than exponentially with the wavenumber . This will be done by showing that, for any , the norm of , the solution with an exponential weight in Fourier space, is finite. As usual, we here denote the norm of a real space-periodic function by . Moreover, will be the usual Sobolev space of index (i.e., functions which have up to space derivatives in ).

The main result (Theorem 2.1) will make use of the following Proposition which was inspired by (20) (see also (21))
Proposition 2.1    Let , , and . Then

(2.5)

where is a universal constant and

(2.6)

Notation   In Proposition 2.1 and also in the sequel we use the following notation (to avoid fractions in exponents):

(2.7)

Proof   Let . By using the Fourier representations and and Parseval’s theorem, we have

(2.8)

where the means complex conjugation.

Since , when , we can estimate the absolute value of the right-hand side from above as

(2.9)

where the functions , and are given by

(2.10)
(2.11)

and

(2.12)

and the last inequality follows from the Cauchy–Schwarz inequality.

By Agmon’s inequality (22) (see also (7)) in 3D we have

(2.13)

where is a universal constant. By using (2.10), (2.13) and the fact that , we obtain

(2.14)

And by using the interpolation inequality between and , where , we obtain2

(2.15)

Now, to obtain the inequality in Proposition 2.1, we just need to estimate the operator norm

(2.16)

This concludes the proof of Proposition 2.1.

Next, we state and present the proof of the main theorem. The steps of the proof are made in a formal way, however, they can be justified rigorously by establishing them first for a Galerkin approximation system and using the usual Aubin compactness theorem to pass to the limit (see, e.g. (6); (7); (9)). Furthermore, we do not assume that the initial condition is entire; it is only assumed to be square integrable, although it will become entire for any . This is why in estimating norms of the solution with exponential weights we have to stay clear of .

Theorem 2.1   Let , fix and let be an entire function with respect to the spatial variable . Then for every there exist constants and which depend on , and on the norm

(2.17)

moreover there exists integers such that

(2.18)

and

(2.19)

where is the solution of (2.3)-(2.4).

Corollary 2.1    Let and let be an entire function with respect to the spatial variable such that for every we have . Then, the solution of (2.3)-(2.4) is an entire function with respect to the spatial variable for all , and satisfies the estimates (2.18) and (2.19) in Theorem 2.1 for any .

Proof of Corollary 2.1    Consider the Fourier series representation

(2.20)

From (2.18) and Parseval’s theorem, we have, for any

(2.21)

for . In (2.20) we change to a complex location and obtain

(2.22)
(2.23)

For any , the series (2.23) of complex analytic functions converges uniformly in the strip . This is because the sum in (2.23) is shown to be bounded, for any , by use of the Cauchy–Schwarz inequality applied to the two bracketed expressions and use of (2.21) with . Hence the Fourier series representation converges in the whole complex domain. This concludes the proof of the entire character of the solution with respect to the spatial variables.
Remark    This corollary just expresses the most obvious part of the Paley–Wiener Theorem.

Proof of Theorem 2.1    The proof of the theorem proceeds by mathematical induction.

Step    We prove the statement of the theorem for . We take the inner product of (2.3) with and use the fact that to obtain (when there is no ambiguity we shall henceforth frequently denote by )

(2.24)
(2.25)

where Young’s inequality has been used to obtain the third line. Therefore

(2.26)

Integrating the above from to , we obtain

(2.27)

Hence

(2.28)

and

(2.29)

From (2.28) and (2.29) we obtain (2.18) and (2.19) for the case . Here is given by (2.27), and . Notice that since there is no need to determine the integers and ; however, for the sake of initializing the induction process we chose .

Step Assume that (2.18) and (2.19) are true up to and we would like to prove them for . Let us take the inner product of (2.3) with and obtain

Now we use Proposition 2.1 to majorize the previous expression by

(2.30)

By Young’s inequality we have

(2.31)

It follows that

(2.32)

Now we integrate this inequality on the interval , obtaining

(2.33)

where we have set for brevity

(2.34)

and where is given by (2.6).

Now we come to the point where we use the actual induction assumptions. We use (2.18) and the midpoint convexity to estimate the integrand in the last integral:

(2.35)

Whence it follows that

(2.36)

Discarding the positive term in (2.33), we obtain from (2.33) and (2.36)

(2.37)

Integrating this inequality with respect to over we get

(2.38)

Note that implies that

(2.39)

By using (2.19), we have

(2.40)

From this relation follows that (2.18) holds for with

(2.41)
(2.42)

By the induction assumption we use (2.33) to estimate

(2.43)

From this estimate and the above we conclude the existence of the constants and the integer such that (2.18) holds for . Using the estimate that we have just established in (2.18) for , and substituting this in (2.33), we immediately obtain the estimate (2.19) for . This concludes the proof of Theorem 2.1.

3 Rate of decay of the Fourier coefficients

The purpose of this section is to specify the behavior of various constants appearing in the preceding section to obtain the rate of decay with the wavenumber of the Fourier coefficients for . We again consider the 3D case in the periodic domain. Since the decay may depend on the rate of decay of the Fourier transform of the forcing term , for simplicity we assume zero external forcing, which we expect to behave as the case with sufficiently rapidly decaying forcing. The adaptation to sufficiently regular forced cases, for example a trigonometric polynomial, is similar but more technical.3 Furthermore, it is enough to prove the decay result up to a time such that , where and are a typical length scale and velocity of the initial data. Extending the results to later times is easy (by propagation of regularity).

We shall show that the bound for the square of the norm of the velocity weighted by is a double exponential in . Specifically, we have

Theorem 3.1   Let be the solution of (2.3)-(2.4) in with and . Then for every and , there exists a number , depending on and , such that, for all integer

(3.1)
(3.2)
(3.3)

Corollary 3.1    For any the function of (2.3)-(2.4) is an entire function in the space variable and its (spatial) Fourier coefficients tend to zero in the following faster-than-exponential way: there exists a constant such that, for any , we have

(3.4)

where

(3.5)

Proof of Corollary 3.1   Since we are dealing with a Fourier series, the modulus of any Fourier coefficient of the function cannot exceed its norm, hence it is bounded by (3.1). Thus, discarding a factor , we have for all and

(3.6)

where is defined in (2.7). Now choosing

(3.7)

we obtain with the following estimate

(3.8)

Remark 3.1    Since and can be chosen arbitrarily small and arbitrarily large, Corollary 3.1 implies that, in terms of the dimensionless wavenumber , the Fourier amplitude has a bound (at high enough ) of the form for any . We shall see that the upper bound for the constant can probably be improved to .

Proof of Theorem 3.1    We proceed again by induction. We assume that the following inequalities hold

(3.9)

and

(3.10)

where and are still to be determined. Starting from expNSE (2.3), we take the inner product with . Then we obtain from Proposition 2.1 with and

(3.11)

Then it follows that

(3.12)

By using the induction assumption we obtain

(3.13)

where we have set

(3.14)

Renaming the time variable in (3.13) from to and integrating over from to (with ) we obtain