Abstract
In this paper we prove the well-posedness of the Prandtl boundary layer equations on a periodic strip when the initial and the boundary data are not assigned to be compatible.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Prandtl’s equations describe the behavior of an incompressible flow near a boundary in the zero viscosity limit. There is an extensive literature on boundary layer associated with incompressible flows and the related question of the behavior of the Navier-Stokes solutions in the vanishing viscosity limit (see for instance [2, 5, 6, 9, 12, 13, 16, 20, 25–28, 30–34, 37–39, 42, 45]). We shall not survey the literature here, but emphasize that the boundary layer problem associated with the NS equations is still open and that there is a need to develop tools and methods to tackle it. There are not many well-posedness results, and in fact recent results suggest that these equations could be ill-posed in certain Sobolev spaces [14, 19, 21, 23]. On the other hand it is known that, when the data are analytic with respect to the tangential variable, Prandtl’s equations are well posed [7, 27, 29, 38]. However, so far, it has always been assumed that the initial and boundary data, are compatible.
It is well known that, if the initial and boundary data assigned for a PDE do not obey an infinite set of compatibility conditions, singularities will arise in the solution at the corners of the time-space domain [40, 41]. For dissipative equations, these singularities are known to be short lived. The issue of compatibility between initial and boundary data has been therefore receiving considerable attention, other than for it has an intrinsic theoretical interest also because of its consequences on the numerical solutions of the corresponding PDEs [3, 10, 11, 15, 24].
In [8] it has been recently proved that the Prandtl equations on a 2D (or 3D) half space are well posed, even when initial and boundary data are incompatible, under the assumption of analyticity in the tangential variable. In this paper we shall consider a periodic domain in the x-variable and introduce different real analytic norms. This result generalizes previously proved theorems removing the compatibility hypothesis, and is also of interest for the two reasons that follow.
First, in almost all the cases where the Prandtl equations have been investigated numerically, an incompatibility between initial and boundary data was present [17, 18, 44]. It was left to the numerical scheme to handle the initial singularity but it was never proved that this initial singularity and the following high gradients (in the normal direction) did not interact with the tangential structure where viscosity is absent.
Second, it could be a step toward the analysis of the zero viscosity limit of Navier-Stokes solutions for not well prepared initial data. This is a problem of relevant interest and has been recently afforded for the linearized Navier-Stokes equations [22].
We shall be concerned with the Prandtl’s equations written as:
where the Euler matching datum U(x,t) and the pressure p E=p E(x,t) satisfy the Bernoulli law:
All the data will be assumed to be periodic in x, i.e.:
but, in general, initial and boundary data are not compatible, i.e., in general:
2 Function Spaces and Main Result
In this section we shall introduce the function spaces where the well-posedness Theorem will be proved.
Definition 1
The space \(\mathcal{H}^{\sigma}\) is the space of the 2π periodic real functions f(x) such that:
where \(\hat{f}(k)\) are the Fourier coefficients of f.
Following [27], we introduce the Y-weight given by:
Definition 2
The space \(\mathcal{H}^{\sigma,\alpha }\), with α>0, is the space of the real functions f(x,Y), 2π periodic with respect to x, such that:
-
\(\rho(Y)\partial _{Y}^{j} f \in L^{\infty}(\mathbb{R}^{+}, \mathcal{H}^{\sigma})\) when j≤2;
the norm in \(\mathcal{H}^{\sigma,\alpha }\) is defined as:
Definition 3
The space \(\mathcal{H}^{\sigma}_{\beta ,T}\),with β>0, is the space of the functions f(x,t), 2π periodic with respect to x, such that:
-
\(\partial _{t}^{i}f(x,t)\in \mathcal{H}^{\sigma-\beta t} \ \forall0\leq t\leq T<\sigma/\beta\), where 0≤i≤1.
Moreover:
Definition 4
The space \(\mathcal{H}^{\sigma,\alpha }_{\beta,T}\) is the space of the functions f(x,Y,t), 2π periodic with respect to x, such that:
-
\(f , \partial _{t}f , \partial _{Y}^{j} f \in \mathcal {H}^{\sigma-\beta t,\alpha }\), ∀0≤t≤T, and j≤2.
Moreover:
Once we have introduced the functional spaces, we can state the main result of this paper:
Theorem 1
(Main result)
Suppose that the Euler datum U and the initial datum u 0 satisfy the following hypotheses:
-
(i)
U satisfies the Bernoulli law Eq. (7);
-
(ii)
\(U(x,t) \in\mathcal{H}^{\sigma_{0}}_{\beta_{0},T_{0}}\);
-
(iii)
\(u_{0}(x,Y) -U(x,t=0) \in\mathcal{H}^{\sigma_{0},\alpha }\).
Then there exist 0<σ<σ 0, β>β 0>0 and 0<T<T 0 such that Prandtl equations Eqs. (1)–(5) admit, in [0,T], a unique solution u P. This solution can be written as:
where
-
1.
u S is an initial layer corrector and has the following form:
$$u^{S}= -2 u_0(x,Y=0) \operatorname{erfc} \biggl( \frac {Y}{2\sqrt{t}} \biggr) . $$ -
2.
u R is the solution of the Prandtl equation with compatible data and with a source term that keeps into account the interaction with u S; u R can be decomposed as follows:
$$u^R (x,Y,t)=\tilde{u}(x,Y,t)+U $$where \(\tilde{u} \in\mathcal{H}^{\sigma,\alpha }_{\beta,T}\).
Moreover the solution u P(x,Y,t), for t>0, is analytic both in x and Y.
We now make some comments on the hypotheses we have imposed to the data.
Hypothesis (i) simply means that the datum U is consistent with the Euler equations, and it is imposed on the Prandtl equations once the Euler solution is known. The physical meaning is that the Prandtl solutions has to match, outside the boundary layer, the inviscid Euler flow.
Hypothesis (ii) means that the Fourier spectrum of the Euler datum is exponentially decaying; this kind of analyticity requirement is typical for the Prandtl equations, see e.g. [7, 8, 27, 38], and it is needed to compensate for the lack of dissipation along the streamwise direction x. Without this requirement (or without the monotonicity hypothesis à la Oleinik) there are strong evidences that the Prandtl equations might be ill-posed, see the recent papers [19, 21].
Hypothesis (iii) has two different meanings: first, it is a requirement of analyticity in the streamwise variable x for the initial datum u 0(x,Y) (see the comments above concerning the meaning of analyticity); second, it enforces the compatibility between the initial datum and the Euler datum requiring the polynomial decay of their difference when Y→∞. It would be certainly interesting to analyze the case where there is incompatibility between the Euler and the initial data: however, in this paper we shall be concerned only with the incompatibility between the boundary and the initial data.
To prove the above theorem, we shall use a Cauchy-Kowalewski-type (Fixed Point) Theorem in the abstract setup of weighted Banach spaces. The abstract form of the Cauchy-Kowalewski Theorem has attracted the attention of many authors, among which Treves [43], Nirenberg [35], Nishida [36], Caflisch [4], Asano [1], just to mention a few. Here we shall use a version of the Abstract Cauchy-Kowalewski Theorem (ACK) whose proof is given in [29].
Let {X ρ :0<ρ≤ρ 0} be a Banach scale with norms | | ρ , such that X ρ′⊂X ρ″ and | | ρ″≤| | ρ′ when ρ″≤ρ′≤ρ 0. In this Banach scale, for t in [0,T], consider the equation:
The formal statement of the ACK Theorem can be found in [29]. Here we just mention that the key point to ensure the existence of a solution to the problem (12) is the quasi-contractiveness of the operator F, namely:
when 0<ρ′<ρ(s)<ρ 0.
3 Construction of the Solution
To prove Theorem 1, we set:
where we have further decomposed the regular part of the solution u R as
We shall now separately consider the different terms appearing on the right hand side of (14).
Singular Solution
The singular solution u S=(u S,v S) satisfies the following equations:
and
It absorbs the incompatibility between the initial and the boundary data. The explicit expression of u S is given by:
Notice that u S displays a corner singularity in (x,Y=0,t=0).
Regular Solution
The regular solution u D=(u D,v D) satisfies the following equations:
Notice that u D has initial data u 0(x,Y) and boundary data which are compatible.
Following the same procedure adopted in [29], one can recast Eqs. (20)–(24) in a suitable form for the application of the Fixed Point Theorem, and verify that its hypothesis are satisfied. The only difference is the way one has to estimate the x-derivative of u D appearing on the left hand side of (20). The desired Cauchy estimate is obtained by means of the following Proposition, where the norm of the derivative of a function in \(\mathcal{H}^{\sigma''}\) can be bounded in terms of the norm of the function itself in a smaller Banach space. Namely one has:
Proposition 1
Let \(f\in\mathcal{H}^{\sigma''}\). If σ′<σ″ then
Proof
where the last inequality follows from the fact that, for x>0, xe −x is bounded by a constant. □
Analogous estimates can be proved in the spaces \(\mathcal{H}^{\sigma }_{\beta, T}\), \(\mathcal{H}^{\sigma,\alpha}\) and \(\mathcal{H}^{\sigma,\alpha }_{\beta, T}\). Therefore one can prove the following
Theorem 2
Suppose \(U \in\mathcal{H}^{\sigma_{0}}_{\beta_{0},T}\) and \(u_{0} -U \in \mathcal{H}^{\sigma_{0},\alpha }\). Then there exist 0<σ 1<σ 0, β 1>β 0>0 and 0<T 1<T such that Eqs. (20)–(24) admit a unique mild solution u D. This solution can be written as:
where \(u \in\mathcal{H}^{\sigma_{1},\alpha }_{\beta_{1},T_{1}}\).
The Interaction Part
It is straightforward to verify that the interaction part w=(w 1,w 2) satisfies the following equations [8]:
where:
and E 2 and E 3 are inverse heat operators. E 2 satisfies the following heat equation with zero initial and boundary data:
and E 3 f≡E 2 ∂ y f, for those functions f(x,Y,t) such that f(x,Y=0,t)=0. The explicit expressions of E 2 and E 3 are given in [8].
On w 1 one imposes the following boundary and initial data:
Moreover, using the incompressibility condition, one has:
We shall prove the well-posedness of the above Initial Boundary Value Problem for w 1, namely we shall prove the following:
Theorem 3
Suppose \(U \in\mathcal{H}^{\sigma_{0}}_{\beta_{0},T}\) and \(\bar{u}_{0}\equiv u_{0} -U_{t=0} \in \mathcal{H}^{\sigma_{0},\alpha }\). Then there exist 0<ρ 1<ρ 0, β 1>β 0>0 and 0<T 1<T such that Eqs. (27)–(35) admit a unique solution \(w_{1} \in\mathcal{H}^{\sigma_{1},\alpha }_{\beta_{1},T_{1}} \). The following estimate holds:
The remaining part of this section will therefore be devoted to prove that the operator F(t,w 1), as defined by (28), satisfies the hypothesis of the ACK Theorem.
The first step consists in showing that F(t,0) can be bounded by the initial data of the Prandtl equation and the boundary data of the outer Euler flow. This involves the estimate of the following three terms: \(\vert E_{3} ( u^{D} v^{S} )\vert_{\sigma_{1},\alpha ,\beta_{1},T_{1}}\), \(\vert E_{3} ( u^{S} v^{D} )\vert_{\sigma_{1},\alpha ,\beta_{1},T_{1}}\), \(\vert E_{3} ( u^{S} v^{S} )\vert_{\sigma_{1},\alpha ,\beta_{1},T_{1}}\).
The ideas underlying the three estimates are quite similar, we shall therefore give here only the estimate of E 3(u S v S). In what follows we shall denote by χ(Y) a monotone bounded function going to zero linearly fast as Y→0 and we shall moreover set:
One therefore has:
where, in passing from the second to the third row we have used Proposition 1 to estimate the term which involve the x-derivative and the fact that
The proof of the estimates of the terms
proceeds along the same lines of the analogous estimates in [8], namely letting the derivatives act on the kernel of the operator E 3 and using the regularizing properties of the integration in time to control the term going as \(1/\sqrt{t-s}\). This proves that F(t,0) is bounded in \(\mathcal{H}^{\sigma_{1},\alpha }_{\beta_{1},T_{1}} \).
To prove the well-posedness of Eq. (27) for w 1, we are left to prove the almost contractiveness property of the operator F, in the form given by (13).
We have to estimate the operators E 2 L(w 1) and E 3 N(w 1).
Of the two terms appearing in E 2 L(w 1), the most difficult is E 2(w 1 ∂ x u S), owing to the presence of the singular term u S. We shall give its estimate in the space \(\mathcal{H}^{\sigma ',\alpha }\). In particular we shall just show the estimate of the term |∂ YY E 2(w 1 ∂ x u S)| ρ′,α . Let us use the following notation for the heat kernel:
One then has:
In the above estimate we have used the fact that w 1(x,Y=0,t)=0 so that Y −1 w 1(x,Y,t) can be bounded in terms of the norm of ∂ Y w 1. This has allowed to get an extra Y that we used to compensate the singularity of ∂ YY u S.
The estimate of the term |∂ t E 2(w 1 ∂ x u S)| σ′,α is obtained analogously to what has been done in [8].
This concludes the proof of the almost contractiveness of the operator F(t,w 1) in Eq. (27) and the proof of Theorem 3 is achieved.
References
Asano, K.: A note on the abstract Cauchy-Kowalewski theorem. Proc. Jpn. Acad., Ser. A, Math. Sci. 64(4), 102–105 (1988)
Bardos, C., Titi, E.S.: Euler equations for an ideal incompressible fluid. Usp. Mat. Nauk 62(3(375)), 5–46 (2007)
Boyd, J.P., Flyer, N.: Compatibility conditions for time-dependent partial differential equations and the rate of convergence of Chebyshev and Fourier spectral methods. Comput. Methods Appl. Mech. Eng. 175(3–4), 281–309 (1999)
Caflisch, R.E.: A simplified version of the abstract Cauchy-Kowalewski theorem with weak singularities: construction of the solution and the zero viscosity limit. Bull. Am. Math. Soc. 23(2), 495–500 (1980)
Caflisch, R.E., Sammartino, M.: Navier-Stokes equations on an exterior circular domain: construction of the solution and the zero viscosity limit. C. R. Acad. Sci. Paris Sér. I Math. 324(8), 861–866 (1997)
Caflisch, R.E., Sammartino, M.: Existence and singularities for Prandtl and boundary layer equations. Z. Angew. Math. Mech. 80, 733–744 (2000). [Special issue on the occasion of the 125th anniversary of the birth of Ludwig Prandtl]
Cannone, M., Lombardo, M.C., Sammartino, M.: Existence and uniqueness for the Prandtl equations. C. R. Acad. Sci. Paris Sér. I Math. 332(3), 277–282 (2001)
Cannone, M., Lombardo, M.C., Sammartino, M.: Well-posedness of Prandtl equations with non-compatible data. Nonlinearity 26(12), 3077–3100 (2013)
Chemetov, N.V., Cipriano, F.: The inviscid limit for the Navier–Stokes equations with slip condition on permeable walls. J. Nonlinear Sci. 23(5), 731–750 (2013)
Chen, Q., Qin, Z., Temam, R.: Numerical resolution near t=0 of nonlinear evolution equations in the presence of corner singularities in space dimension 1. Commun. Comput. Phys. 9(3), 568–586 (2011)
Chen, Q., Qin, Z., Temam, R.: Treatment of incompatible initial and boundary data for parabolic equations in higher dimension. Math. Comput. 80(276), 2071–2096 (2011)
Cheng, W., Wang, X.: Discrete Kato-type theorem on inviscid limit of Navier-Stokes flows. J. Math. Phys. 48(6), 065303 (2007)
Della Rocca, G., Lombardo, M.C., Sammartino, M., Sciacca, V.: Singularity tracking for Camassa-Holm and Prandtl’s equations. Appl. Numer. Math. 56(8), 1108–1122 (2006)
E, W., Engquist, B.: Blowup of the solutions to the unsteady Prandtl’s equations. Commun. Pure Appl. Math. 50, 1287–1293 (1997)
Flyer, N., Fornberg, B.: Accurate numerical resolution of transients in initial-boundary value problems for the heat equation. J. Comput. Phys. 184(2), 526–539 (2003)
Gargano, F., Sammartino, M., Sciacca, V.: Singularity formation for Prandtl’s equations. Physica D 238(19), 1975–1991 (2009)
Gargano, F., Sammartino, M., Sciacca, V.: High Reynolds number Navier–Stokes solutions and boundary layer separation induced by a rectilinear vortex. Comput. Fluids 52(0), 73–91 (2011)
Gargano, F., Sammartino, M., Sciacca, V., Cassel, K.: Analysis of complex singularities in high-Reynolds-number Navier-Stokes solutions. J. Fluid Mech. (2014, to appear). arXiv:1310.3943
Gérard-Varet, D., Dormy, E.: On the ill-posedness of the Prandtl equation. J. Am. Math. Soc. 23(2), 591–609 (2010)
Gérard-Varet, D., Masmoudi, N.: Well-posedness for the Prandtl system without analyticity or monotonicity. Preprint (2013)
Gérard-Varet, D., Nguyen, T.: Remarks on the ill-posedness of the Prandtl equation. Asymptot. Anal. 77(1–2), 71–88 (2012)
Gie, G.-M.: Asymptotic expansion of the Stokes solutions at small viscosity: the case of non-compatible initial data. Preprint (2013)
Guo, Y., Nguyen, T.: A note on Prandtl boundary layers. Commun. Pure Appl. Math. 64(10), 1416–1438 (2011)
Jung, C., Temam, R.: Singular perturbations and boundary layer theory for convection-diffusion equations in a circle: The generic noncompatible case. SIAM J. Math. Anal. 44(6), 4274–4296 (2012)
Kato, T.: Remarks on the zero viscosity limit for nonstationary Navier-Stokes flows with boundary. In: Seminar on Partial Differential Equations. Math. Sci. Res. Inst. Publ., pp. 85–98 (1984)
Kelliher, J.P.: On Kato’s conditions for vanishing viscosity. Indiana Univ. Math. J. 56(4), 1711–1721 (2007)
Kukavica, I., Vicol, V.: On the local existence of analytic solutions to the Prandtl boundary layer equations. Commun. Math. Sci. 11(1), 269–292 (2013)
Lombardo, M.C., Caflisch, R.E., Sammartino, M.: Asymptotic analysis of the linearized Navier-Stokes equation on an exterior circular domain: explicit solution and the zero viscosity limit. Commun. Partial Differ. Equ. 26(1–2), 335–354 (2001)
Lombardo, M.C., Cannone, M., Sammartino, M.: Well-posedness of the boundary layer equations. SIAM J. Math. Anal. 35(4), 987–1004 (2003) (electronic)
Lombardo, M.C., Sammartino, M.: Zero viscosity limit of the Oseen equations in a channel. SIAM J. Math. Anal. 33(2), 390–410 (2001)
Lopes Filho, M., Mazzucato, A., Lopes, H.N.: Vanishing viscosity limit for incompressible flow inside a rotating circle. Physica D: Nonlinear Phenom. 237(10–12), 1324–1333 (2008)
Maekawa, Y.: Solution formula for the vorticity equations in the half plane with application to high vorticity creation at zero viscosity limit. Adv. Differ. Equ. 18(1–2), 101–146 (2013)
Maekawa, Y.: On the inviscid limit problem of the vorticity equations for viscous incompressible flows in the half plane. Preprint (2013)
Nguyen, T., Sueur, F.: Boundary-layer interactions in the plane-parallel incompressible flows. Nonlinearity 25(12), 3327 (2012)
Nirenberg, L.: An abstract form of the nonlinear Cauchy-Kowalewski theorem. J. Differ. Geom. 6, 561–576 (1972)
Nishida, T.: A note on a theorem of Nirenberg. J. Differ. Geom. 12, 629–633 (1977)
Oleinik, O.A., Samokhin, V.N.: Mathematical Models in Boundary Layer Theory. Applied Mathematics and Mathematical Computation., vol. 15. Chapman & Hall/CRC, Boca Raton (1999)
Sammartino, M., Caflisch, R.E.: Zero viscosity limit for analytic solutions of the Navier-Stokes equation on a half-space. I. Existence for Euler and Prandtl equations. Commun. Math. Phys. 192(2), 433–461 (1998)
Sammartino, M., Caflisch, R.E.: Zero viscosity limit for analytic solutions of the Navier-Stokes equation on a half-space. II. Construction of the Navier-Stokes solution. Commun. Math. Phys. 192(2), 463–491 (1998)
Temam, R.: Behaviour at time t=0 of the solutions of semilinear evolution equations. J. Differ. Equ. 43(1), 73–92 (1982)
Temam, R.: Suitable initial conditions. J. Comput. Phys. 218(2), 443–450 (2006)
Temam, R., Wang, X.: The convergence of the solutions of the Navier-Stokes equations to that of the Euler equations. Appl. Math. Lett. 10(5), 29–33 (1997)
Treves, J.: Ovsjannikov theorem and hyperdifferential operators. I.M.P.A., Rio-de-Janeiro (Brasil) (1969)
van Dommelen, L.L., Shen, S.F.: The spontaneous generation of the singularity in a separating laminar boundary layer. J. Comput. Phys. 38, 125–140 (1980)
Xin, Z., Zhang, L.: On the global existence of solutions to the Prandtl’s system. Adv. Math. 181(1), 88–133 (2004)
Author information
Authors and Affiliations
Corresponding author
Additional information
In honor of Professor Salvatore Rionero, on the occasion of his 80th birthday.
Rights and permissions
About this article
Cite this article
Cannone, M., Lombardo, M.C. & Sammartino, M. On the Prandtl Boundary Layer Equations in Presence of Corner Singularities. Acta Appl Math 132, 139–149 (2014). https://doi.org/10.1007/s10440-014-9912-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10440-014-9912-1