- Open Access
Nonhomogeneous boundary value problem for similar solutions of incompressible two-dimensional Euler equations
Journal of Inequalities and Applications volume 2014, Article number: 277 (2014)
In this paper we introduce the similar method for incompressible two-dimensional Euler equations, and obtain a series of explicit similar solutions to the incompressible two-dimensional Euler equations. These solutions include all of the twin wave solutions, some new singularity solutions, and some global smooth solutions with a finite energy. We also reveal that the twin wave solution and an affine solution to the two-dimensional incompressible Euler equations are, respectively, a plane wave and constant vector. We prove that the initial boundary value problem of the incompressible two-dimensional Euler equations admits a unique solution and discuss the stability of the solution. Finally, we supply some explicit piecewise smooth solutions to the incompressible three-dimensional Euler case and an example of the incompressible three-dimensional Navier-Stokes equations which indicates that the viscosity limit of a solution to the Navier-Stokes equations does not need to be a solution to the Euler equations.
MSC:35Q30, 76D05, 76D10.
In this paper we consider the Euler equations () or the Navier-Stokes equations below:
where ; and denote the velocity and pressure, respectively. Though there is a large amount of physics and mathematics literature on the Euler and Navier-Stokes equations, many basic questions remain open.
There are various open problems in fluid physics. The Navier-Stokes equation has been recognized as the basic equation and the very starting point of all problems in fluid physics (see ). One of the most significant developments related to the above problem may be the discovery of Lax pairs of the two-dimensional and three-dimensional Euler equations (see )
where the velocity is determined by the stream function ψ through
Is an exact solution of the Euler equations explicitly given via solving the vortex equations (the weak Lax pair) to the Euler equations? Since the Lax pair has still only weak meaning, one cannot get the solutions to the Euler equations from those solutions of vortex equations by the Biot-Savart law. Thus whether the integrable two-dimensional Euler equations in some stronger sense are similar to those of the three-dimensional Euler equations is still an open question. In this paper we find a so-called similar method which can give some explicit smooth solutions to two-dimensional incompressible Euler equations (see Section 2). As applications of the similar method, a large amount of explicit twin wave solutions are constructed in Section 3.
There are various open problems in mathematics, such as: how to establish the global existence of smooth solutions, and how to establish the blow-up solution at least when the space dimension equals three (see ), and so on. The study of the incompressible Navier-Stokes equations has a long history. A deeper result on the weak solution was obtained by Caffarelli et al. in . On the blow-up problem of the incompressible Navier-Stokes equations, Tsai in  proved that the Leray self-similar solutions to (1.1) must be zero if they satisfy local energy estimates. So in Section 4 we discuss the method of determining the nonexistence of a non-constant affine solution to the two-dimensional Euler equations, which we can correctly obtain due to the similar method.
The blow-up problem of the compressible Navier-Stokes equation has been established by Xin (see ). He proved that any smooth solution to the multidimensional Navier-Stokes equation for polytropic fluids in the absence of heat conduction will blow up in finite time if the initial density is compactly supported (see ).
In Section 5, we prove that incompressible two-dimensional Euler equations under a class of initial boundary values has a unique solution for every bounded domain , and we discuss the stability of solutions in Section 6.
Since it is very hard to solve the Navier-Stokes equations in a three-dimensional space, we consider the two equations in the half space case. In Section 7, we construct some explicit smooth solutions to the incompressible three-dimensional Euler and Navier-Stokes equations and an example of the three-dimensional Navier-Stokes equations which indicates that a solution to the Navier-Stokes equations does not need to tend to a solution to the Euler equations in the continuous function space on the half space.
2 similar method in solving the Euler equations
We first have the following definition.
Definition 2.1 A piecewise smooth solution to (1.1) is called a similar solution, if
where and are smooth functions on , is a n-dimensional smooth vector function independent of t, and is a piecewise smooth vector function from to .
Here a vector valued function is called piecewise smooth on , if there exist such that is a smooth function on , , and , respectively. Similarly we call a vector valued function piecewise smooth on if there exist such that is a smooth function on , , , and , respectively. We rewrite
By inserting (2.1) into (1.1), we have
For the incompressible Euler equations, we take , , , , , , and we also set
where . Then u and p must satisfy the following equation:
So the incompressible Euler equations (2.6) below in Theorem 2.2 have a family of similar solutions,
where , c is an arbitrary smooth function of t, h is an arbitrary smooth function of r.
Thus we have the following result.
Theorem 2.2 Equation (2.5) is a family of similar solutions to the incompressible Euler equations,
Remark 2.3 To the best of our knowledge, there is little known of exact solutions to vortex equations, but they are not solutions to the two-dimensional Euler equations (2.6) except for the zero solution and they did not bring about any solution to the two-dimensional Euler equations (2.6) by the Biot-Savart law as they have a singularity (see [9, 10]), as seen by using VIM (see ), and by a Bäcklund transformation (see ) method. Notice that (2.5) correctly is a family of exact solutions to the two-dimensional Euler equations (2.6).
Remark 2.4 It is interesting to get many properties by choosing , .
Example 2.5 According to , we see that
is also a solution pair for any constant vectors . , is also a solution pair for any rotation matrices Q.
Example 2.6 There are some u with finite energy only at some points, such as . Taking ,
Then , however, for every and , we have but , where .
Example 2.7 There are some explicit solutions u with singularities only at some points. Taking , ,
Then u is singular at and blows up at .
3 Twin wave solutions
In this section we give more explicit nonzero solutions by considering explicit twin wave solutions to the two-dimensional Euler equations. Here a twin wave solution has the form of . The twin wave solution is a similar solution. In fact, if we take , , , , , , , , , then . Inserting them into (2.6), we have the following theorem.
Theorem 3.1 If the pressure is independent of x, all twin wave solutions to the two-dimensional Euler equations will be given by , where v is any function of , and , , are arbitrary constants.
Proof Inserting and into (2.6),
Then (3.1) is rewritten as
Let us take , , , . By (3.2), we have
If , this may be interpreted as the equations in , .
We now consider the following equations:
where , are determinate functions. Hence, we have
where v is any function of , and , , are arbitrary constants. □
Example 3.2 By taking , in Example 2.5, we have
These are a global smooth twin wave solutions pair for any constant vectors . , are also a twin wave solutions pair for any rotation matrices Q.
Remark 3.3 These solutions in (3.8) are symmetric only in some domains. In particular, if , they are symmetry solutions for all , and if they are not symmetric for all and symmetric only at . These examples show that the difference between the velocity of flow and its wave speed has a finite energy over , i.e. .
Example 3.4 There are some forms of symmetric solutions u only in some domains; for example, taking , ,
are some twin wave solutions to (2.6), and they form a symmetry only at , or they are static.
Example 3.5 Take , . Then we find that
are global smooth twin wave solutions to the Euler equations (2.6) with finite energy in any bounded domain, but with infinite energy over except for the static case. If the components of the wave speed are equal, then the system is static.
Example 3.6 If we take , , then
are some twin wave solutions with singularity to the Euler equations (2.6).
Remark 3.7 These solutions in (3.11) have a singularity on the line for every . In particular, we have the following result:
For every given time and arbitrary line , there exist some solutions with singularity over the line .
Example 3.8 According to , , is also a solution pair for any constant vectors . , , is also a solution pair for any rotation matrices Q. , is also a solution pair.
In this section we consider the explicit affine solution to the two-dimensional Euler equations. Here a solution is called an affine solution, if the is denoted by , . The affine solution indeed is a similar solution. In fact, this is the case: , , , , , , , , , , . We have the following result.
Theorem 4.1 All affine solutions must be twin wave solutions. Affine solutions to the two-dimensional Euler equations are constant vectors. That is to say there does not exist a non-constant affine solution to the two-dimensional Euler equations.
Proof Since we are concerned with an affine solution here, let
by using (2.6), and letting , a straightforward calculation shows that
Therefore, we get
In this section, we study the uniqueness of the initial boundary value problem for the Euler equations () below:
and we have the following result.
Theorem 5.1 Assume that is a bounded domain and . If , is an arbitrary smooth function of s satisfying , for , where , , and a are positive constants, and . Then the following initial boundary value problem:
has a unique smooth solution , .
Proof Notice that , , , and given the assumptions on satisfying the initial boundary value problems in (2.6), the result about existence is directly derived by Theorem 2.2. To prove the uniqueness we consider two smooth solution pairs, say u, p and v, . Let their difference be , with initial value , and let be the difference of the corresponding pressures. Then, subtracting the equations from each other in (5.1), we have
Multiplying the first equation of (5.3) by w, integrating over Ω, and using the Gauss formula, we obtain
since (using the Gauss formula and , )
where n stands for the outward unit normal to Ω.
By using in the term , we obtain
Inserting (5.5)-(5.6) into (5.4), it follows that
Thanks to the Gronwall inequality, we have the following:
Therefore there exists a unique solution in the sense of , . The denseness of in implies the uniqueness of the solution in the sense of from . We can apply the same argument on the intervals , , etc., according to the uniform Gronwall lemma since . We obtain the uniqueness of the solution.
Let us again consider Example 2.6. We have
Using (5.9) for the right-hand side of (5.4), we obtain
Thanks to the Gronwall inequality again, we have the following result:
Thus we prove the uniqueness of the solution.
On taking a more in-depth look, such as considering , we have
Thus we obtain
It clarifies that the uniqueness of the solution is possible even as if the right scope is chosen in Ω. □
6 Analysis of stability between the equations and its vortex equation
In this section we discuss the stability of the solution, respectively, in and for the problem (5.1).
Let v, , and denote the solution pair of a slight disturbance and the initial boundary value of v. Let be the difference of u and v, with initial value in the sense of and boundary value in the sense of , , and let be the difference of the corresponding pressure. Then, subtracting one equation from the other, if
for , and . Multiplying this by w, integrating over Ω, and using the Gauss formula, we obtain
Using the Gauss formula and , ,
where n stands for the outward unit normal to Ω.
Combining the formulas above, we have
Since in the sense of , we can make, for every given ,
Using the Gronwall inequality in (6.3), for every ,
as in the sense of and . So we reach the stability of the solution in finite time.
Remark 6.1 Adopting the same method as we use in the proof of Theorem 5.1, we obtain
7 Explicit solution to -dimensional Navier-Stokes equation
We now give an improvement of the example in reference .
Example 7.1 Let , and consider the initial problem for the Navier-Stokes equation,
where . Suppose
Then for arbitrary constants , , , and c, (7.1) has a class of smooth blow-up solutions at finite time T,
for any , . We have
Moreover, the initial function satisfies the second equation,
Here a solution of (7.1) is called a smooth blow-up solution at finite time T, if for any , any nonnegative integer numbers , , any positive real numbers , , but
for some nonnegative integer numbers m and positive real numbers q, M.
Remark 7.2 This example indicates that the solution of the Navier-Stokes equation does not always tend to a solution of the Euler equation.
Sundkvist D, Krasnoselskikh V, Shukla PK, Vaivads A, Andre M, Buchert S, Reme H: Nature (London). 2005. Article ID 825, 436: Article ID 825
Friedlander S, Vishik MM: Lax pair formulation for the Euler equation. Phys. Lett. A 1990,148(6-7):313-319. 10.1016/0375-9601(90)90809-3
Fefferman, CL: Navier-Stokes-equations official-problem-description (1998). http://www.claymath.org/millennium-problems
Caffarelli L, Kohn R, Nirenberg L: Partial regularity of suitable weak solutions of the Navier-Stokes equations. Commun. Pure Appl. Math. 1982,35(6):771-831. 10.1002/cpa.3160350604
Tsai T-P: On Leray’s self-similar solutions of the Navier-Stokes equations satisfying local energy estimates. Arch. Ration. Mech. Anal. 1998,143(1):29-51. 10.1007/s002050050099
Xin Z: Blowup of smooth solutions to the compressible Navier-Stokes equation with compact density. Commun. Pure Appl. Math. 1998,51(3):229-240. 10.1002/(SICI)1097-0312(199803)51:3<229::AID-CPA1>3.0.CO;2-C
Gallagher I, Iftimie D, Planchon F: Non-blowup at large times and stability for global solutions to the Navier-Stokes equations. C. R. Math. Acad. Sci. Paris 2002,334(4):289-292. 10.1016/S1631-073X(02)02255-0
May R:The role of the Besov space in the control of the possible blow-up in finite time of the regular solutions of the Navier-Stokes equations. C. R. Math. Acad. Sci. Paris 2003,336(9):731-734. 10.1016/S1631-073X(03)00155-9
Tur A, Yanovsky V, Kulik K: Vortex structures with complex points singularities in two-dimensional Euler equations. New exact solutions. Physica D 2011, 240: 1069-1079. 10.1016/j.physd.2011.03.008
Majda A, Bertozzi A: Vorticity and the Mathematical Theory of Incompressible Flow. Cambridge University Press, Cambridge; 2002.
Deng C, Shang Y: Construction of exact periodic wave and solitary wave solutions for the long-short wave resonance equations by VIM. Commun. Nonlinear Sci. Numer. Simul. 2009,14(4):1186-1195. 10.1016/j.cnsns.2008.01.005
Shang Y: Bäcklund transformation, Lax pairs and explicit exact solutions for the shallow water waves equation. Appl. Math. Comput. 2007,187(2):1286-1297. 10.1016/j.amc.2006.09.038
Guo B, Yang G, Pu X: Blow-up and global smooth solutions for incompressible three-dimensional Navier-Stokes equations. Chin. Phys. Lett. 2008,25(6):2115-2117. 10.1088/0256-307X/25/6/052
The third author is grateful to Professor Boling Guo and Professor Zhouping Xin for their support, and he also thanks Dr Jihui Wu for help in writing this paper. The work is supported by National Natural Science Foundation of China (No. 11161057).
The authors declare that they have no competing interests.
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
About this article
Cite this article
Song, W., Li, H., Yang, G. et al. Nonhomogeneous boundary value problem for similar solutions of incompressible two-dimensional Euler equations. J Inequal Appl 2014, 277 (2014). https://doi.org/10.1186/1029-242X-2014-277
- Euler equation
- similar method
- twin wave solution
- affine solution
- explicit smooth solution