Abstract
In this paper, we prove the local wellposedness for the incompressible porous media equation in TriebelLizorkin spaces and obtain blowup criterion of smooth solutions. The main tools we use are the Fourier localization technique and Bony’s paraproduct decomposition.
MSC: 76S05, 76D03.
Keywords:
wellposedness; incompressible porous media equation; blowup criterion; Fourier localization; Bony’s paraproduct decomposition; TriebelLizorkin space1 Introduction
In this paper, we are concerned with the incompressible porous media equation (IPM) in ( or 3):
where , , θ is the liquid temperature, u is the liquid discharge, p is the scalar pressure, k is the matrix of positionindependent medium permeabilities in the different directions, respectively, divided by the viscosity, g is the acceleration due to gravity, and is the last canonical vector . For simplicity, we only consider .
By rewriting Darcy’s law we obtain the expression of velocity u only in terms of temperature θ[1,2]. In the 2D case, thanks to the incompressibility, taking the curl operator first and the operator second on both sides of Darcy’ law, we have
thus the velocity u can be recovered as
Through integration by parts we finally get
where the kernel is defined by
Similarly, in 3D case, applying the curl operator twice to Darcy’s law, we get
where
We observe that, in general, each coefficient of (with t as parameter) is only the linear combination of the CalderońZygmund singular integral (with the definition see the sequel) of θ and θ itself. We write the general version as
where , , , are all operators mapping scalar functions to vectorvalued functions and equals a constant multiplication operator whereas means a CalderónZygmund singular integral operator. Especially the corresponding specific forms in 2D or 3D are shown as (1.2) or (1.3).
We observe that the system (IPM) is not more than a transport equation with nonlocal divergencefree velocity field (the specific relationship between velocity and temperature as (1.4) shows). It shares many similarities with another flow model  the 2D dissipative quasigeostrophic (QG) equation, which has been intensively studied by many authors [38]. From a mathematical point of view, the system (IPM) is somewhat a generalization of the (QG) equation. Very recently, the system (IPM) was introduced and investigated by Córdoba et al. In [2], they treated the (IMP) in 2D case and obtained the local existence and uniqueness in Hölder space for by the particletrajectory method and gave some blowup criteria of smooth solutions. Recently, they proved nonuniqueness for weak solutions of (IPM) in [9]. For the dissipative system related (IPM), in [1], the authors obtained some results on strong solutions, weak solutions and attractors. For finite energy they obtained global existence and uniqueness in the subcritical and critical cases. In the supercritical case, they obtained local results in , and extended to be global under a small condition , for , where c is a small fixed constant.
Recently, Chae studied the local wellposedness and blowup criterion for the incompressible Euler equations [10,11], and quasigeostrophic equations [12] in TriebelLizorkin spaces. As is well known, TriebelLizorkin spaces are the unification of several classical function spaces such as Lebegue spaces , Sobolev spaces , Lipschitz spaces , and so on. In [10], the author first used the LittlewoodPaley operator to localize the Euler equation to the frequency annulus , then obtained an integral representation of the frequencylocalized solution on the Lagrangian coordinates by introducing a family of particletrajectory mappings defined by
where v is a divergencefree velocity field and is a frequency projection to the ball (see Section 2). He also used the following equivalent relation:
to estimate the frequencylocalized solutions of the Euler equations or quasigeostrophic equations in TriebelLizorkin spaces. However, it seems difficult to give a strict proof for the above equivalent relation (1.6) and its related counterpart due to the lack of a uniform change of the coordinates independent of j. To avoid this trouble, Chen et al.[13] introduced a particle trajectory mapping independent of j defined by
and then established a new commutator estimate to obtain the local wellposedness of the ideal MHD equations in the TriebelLizorkin spaces.
In this paper, we will adapt the method of Chen et al.[13] to establish the local wellposedness for the incompressible porous media equation (1.1) and to obtain a blowup criterion of smooth solutions in the framework of TriebelLizorkin spaces.
Now we state our result as follows.
Theorem 1.1 (i) Localintime existence. Let, . Assume that, then there existssuch that (1.1) has a unique solution.
(ii) Blowup criterion. The localintime solutionconstructed in (i) blows up atin, i.e.
if and only if
2 Preliminaries
Let and . Choose two nonnegative smooth radial functions χ, φ supported, respectively, in ℬ and such that
We denote , and . Then the dyadic blocks and can be defined as follows:
Formally, is a frequency projection to the annulus , and is a frequency projection to the ball . One easily verifies that with our choice of φ
With the introduction of and , let us recall the definition of the TriebelLizorkin space. Let , , the homogeneous TriebelLizorkin space is defined by
where
and denotes the dual space of and can be identified by the quotient space of with the polynomials space .
For and , we define the inhomogeneous TriebelLizorkin space as follows:
where
We refer to [14] for more details.
Lemma 2.1 (Bernstein’s inequality) [15]
Let. There exists a constantCindependent offandjsuch that, for all, the following inequalities hold:
Lemma 2.2[14]
For any, there exists a constantsuch that the following inequality holds:
Proposition 2.1[10]
Let, , or, then there exists a constantCsuch that
Proposition 2.2[10]
Letwith. Suppose, then there exists a constantCsuch that the following inequality holds:
Proposition 2.3[13]
Let, or, andfbe a solenoidal vector field. Then for
The classical CalderónZygmund singular integrals are operators of the form
where Ω is defined on the unit sphere of , , and is integrable with zero average and where . Clearly, the definition is meaningful for Schwartz functions. Moreover if , is bounded, .
The general version (1.4) of the relationship between u and θ is in fact ensured by the following result (see e.g.[16]).
Lemma 2.3Letbe a homogeneous function of degree 0, andbe the corresponding multiplier operator defined by, then there existandwith zero average such that for any Schwartz functionf,
Remark 2.1 Since , the Fourier multiplier of the operator is rather clear. In fact, each component of its multiplier is the linear combination of the term like , , which of course belongs to and is homogeneous of degree 0.
3 Proof of Theorem 1.1
We divide the proof of Theorem 1.1 into several steps.
Step 1. A priori estimates.
Taking the operation on both sides of the first equation of (1.1), we have
Let be the solution of the following ordinary differential equations:
Then it follows from (3.1) that
which implies that
Multiplying , taking the norm on both sides of (3.4), we get by using the Minkowski inequality
Next, taking the norm with respect to on both sides of (3.5), we get by using the Minkowski inequality that
Using the fact that is a volumepreserving diffeomorphism due to , we get from (3.6) that
Thanks to Proposition 2.3, the last term on the right side of (3.7) is dominated by
and thus
where we used (1.4) and the boundedness of the CalderónZygmund singular integral operator on .
Now from (1.1) we have immediately
for all , since div . Summing up (3.9) and (3.10) yields
which together with the Gronwall inequality gives
Step 2. Approximate solutions and uniform estimates.
We construct the approximate solutions of (1.1). Define the sequence by solving the following systems:
We set and let be the solutions of the following ordinary differential equations:
for each . Then, following the same procedure of estimate leading to (3.11), we obtain
where we used the fact that , Sobolev embedding theorem for , (1.4) and the boundedness of the CalderónZygmund singular integral operator on . Equation (3.15) together with the Gronwall inequality implies that
for some independent of n. Thus, if we choose such that
by the standard induction arguments. Then, . Moreover, it follows from Proposition 2.1 that
by Sobolev embedding and the boundedness of the CalderónZygmund singular integral operator on , and then
which implies that . This together with (3.17) gives the uniform estimate of in n.
Step 3. Existence.
We will show that there exists a positive time () independent of n such that and are Cauchy sequences in . For this purpose, we set
Then, it follows that satisfies the equations
Applying to the first equation of (3.19), we get
Exactly as in the proof of (3.7), we get
where we used Proposition 2.1, Proposition 2.3, the embedding , and the boundedness of the CalderónZygmund singular integral operator on . Thanks to the Fourier support of , we have
Now, we estimate the norm of . Multiplying on both sides of the first equation of (3.19), and integrating the resulting equations over , we obtain
which together with (3.21) and (3.22) gives
Equation (3.23) together with (3.17) yields
This implies that
Thus, is a Cauchy sequence in . By the standard argument, for , the limit solves (1.1) with the initial data . The fact that follows from the uniform estimate (3.18).
Step 4. Uniqueness.
Consider is another solution to (1.1) with the same initial data. Let and . Then δθ satisfies the following equation:
In the same way as the derivation in (3.24), we obtain
for sufficiently small T. This implies that , i.e., .
Blowup criterion.
For the a priori estimate (3.12), we only need to dominate and . From Proposition 2.2 and the boundedness of the CalderónZygmund operator from into itself, we have
Similarly,
Thus, the a priori estimate (3.12) gives
By the Gronwall inequality
On the other hand, it follows from the Sobolev embedding for that
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Acknowledgements
This work was supported by the National Natural Science Funds of China for Distinguished Young Scholar under Grant No. 50925727, The National Defense Advanced Research Project Grant Nos. C1120110004, 9140A27020211DZ5102, the Key Grant Project of Chinese Ministry of Education under Grant No. 313018, and the Fundamental Research Funds for the Central Universities (2012HGCX0003).
References

Castro, A, Córdoba, D, Gancedo, F, Orive, R: Incompressible flow in porous media with fractional diffusion. Nonlinearity. 22, 1791–1815 (2009). Publisher Full Text

Córdoba, D, Gancedo, F, Orive, R: Analytical behaviour of the twodimensional incompressible flow in porous media. J. Math. Phys.. 48, 1–19 (2007)

Abidi, H, Hmidi, T: On the global well posedness of the critical quasigeostrophic equation. SIAM J. Math. Anal.. 40, 167–185 (2008). Publisher Full Text

Caffarelli, L, Vasseur, V: Drift diffusion equations with fractional diffusion and the quasigeostrophic equations. Ann. Math.. 171, 1903–1930 (2010). Publisher Full Text

Chen, Q, Miao, C, Zhang, Z: A new Bernstein’s inequality and the 2D dissipative quasigeostrophic equation. Commun. Math. Phys.. 271, 821–838 (2007). Publisher Full Text

Córdoba, A, Córdoba, D: A maximum principle applied to the quasigeostrophic equations. Commun. Math. Phys.. 249, 511–528 (2004)

Kislev, A, Nazarov, F, Volberg, A: Global wellposedness for the critical 2D dissipative quasigeostrophic equation. Invent. Math.. 167, 445–453 (2007). Publisher Full Text

Wu, J: Global solutions of the 2D dissipative quasigeostrophic equation in Besov spaces. SIAM J. Math. Anal.. 36, 1014–1030 (2004)

Córdoba, D, Faraco, D, Gancedo, F: Lack of uniqueness for weak solutions of the incompressible porous media equation. Arch. Ration. Mech. Anal.. 200, 725–746 (2011). Publisher Full Text

Chae, D: On the wellposedness of the Euler equations in the TriebelLizorkin spaces. Commun. Pure Appl. Math.. 55, 654–678 (2002). Publisher Full Text

Chae, D: On the Euler equations in the critical TriebelLizorkin spaces. Arch. Ration. Mech. Anal.. 170, 185–210 (2003). Publisher Full Text

Chae, D: The quasigeostrophic equations in the TriebelLizorkin spaces. Nonlinearity. 16, 479–495 (2003). Publisher Full Text

Chen, Q, Miao, C, Zhang, Z: On the wellposedness of the ideal MHD equations in the TriebelLizorkin spaces. Arch. Ration. Mech. Anal.. 195, 561–578 (2010). Publisher Full Text

Triebel, H: Theory of Function Spaces, Birkhäuser Verlag, Basel (1983)

Chemin, JY: Perfect Incompressible Fluids, Oxford University Press, New York (1998)

Duoandikoetxea, J: Fourier Analysis, Am. Math. Soc., Providence (2001)