

Decay of Solutions to a Linear Viscous Asymptotic Model for Water Waves
- 期刊名字:数学年刊B辑(英文版)
- 文件大小:643kb
- 论文作者:Olivier GOUBET,Guillaume WARNA
- 作者单位:LAMFA UMR 6140 CNRS UPJV,LMPT UMR CNRS 6083
- 更新时间:2020-07-08
- 下载次数:次
Chin. Ann. Math.31B(6), 2010, 841-854Chinese Annals ofDOI: 10.1007/s1 1401-010-0615-2Mathematics, Series BG The Editorial Ofice of CAM andSpringer-Verlag Berlin Heidelberg 2010Decay of Solutions to a Linear Viscous AsymptoticModel for Water Waves***Olivier GOUBET* Gullaume WARNAULT**(Dedicated to Professor Roger Temam on the Occasion of his 70th Birthday)Abstract The authors discu8s a linear viscous asymptotic model for water waves and thedecay rate of solutions towards the equilibrium.Keywords Water waves, Viscous asymptotic models, Nonlocal operators,Long-time asymptotics2000 MR Subject Classfication 35Q35, 35Q53, 76B151 IntroductionModeling the effect of viscosity on the propagation of long waves in shallow water has re~ceived much renewed interest in the last decade. Without viscosity effects, it is now a standardprocedure to derive asymptotic models for one-way wave propagation. The most encounteredmodels in the literature are Boussinesq systems and Korteweg de Vries equation, whose deriva-tion was first performed in the 19th century. More general models for two way waves wereintroduced in [2]. The derivation starts from Euler equation and proceeds through fine asymp-totic analysis to obtain an equation for the horizontal velocity at the top of the fuid, or asystem of equations for this velocity and the height of the wave. Taking into account viscosityeffects is a challenging issue, since we have to deal with Navier-Stokes equations that providesthe flow with a viscous layer at the bottom of the fuid. Some finer asymptotic analysis has tobe performed.The pioneering work for this issue is due to T. Kakutani and K. Matsuuchi [9] who havepointed out that the asymptotic model for viscous water waves is a dispersive PDE supple-mented with a difusion and a nonlocal pseudo-differential operator that features both a dis-persive and a difusive effect. For the physics, this means that the viscous layer in the fuidprovides difusion (this was expected), but also dispersion. Independently, P. Liu and T. Orfila[11], and D. Dutykh and F. Dias [7], have recently derived viscous asymptotical models thatfeature also nonlocal operators, and that possess the same dispersive properties of those in [9)],but with diferent mathematical properties. These models are Boussinesq type systems withviscous terms. A one way reduction of these models was addressed in [6].Manuscript received May 31, 2010. Published online Octob*LAMFA UMR 6140 CNRS UPJV, 33 rue Saint-Leu, Amien中国煤化工E-mail: olivier.goubet@u-picardie.fr**LMPT UMR CNRS 6083, Universite Francois Rabelais ParTYHCNMH Gunce.E-mail: gillaume. warnault@u-picardie.fr***Project supported by the CNRS, research program "waterwaves".8420. Gorbet and G. WarmaultIn a previous work [4], we were concerned with computing both theoretically and numericallythe decay rate of solutions to a water wave model with a nonlocal viscous dispersive term. Thismodel reads as followsut+ux+βuzx+ds + Wur = Yuza,(1.1)where u is the horizontal velocity of the fAuid. This equation requires some comments: theusual difusion is - YUuxx, while Burx is the geometric dispersion and兴Jo vds stands forthe nonlocal diffusive-dispersive term. Here β and v,γ≥0 are parameters dedicated to balanceor unbalance the effects of viscosity and dispersion against nonlinear effects. The dispersionanalysis for the linear part of this equation was also addressed in [4]. In the same work,assuming that the effect of the geometric dispersion is less important that viscosity efects (i.e,considering β = 0 in the equation), we were able to prove that for small initial data, the decayrates of solutions compare to those of solutions to KdV-Burgers equations.Computing the decay rate for solutions to dispersive difusive equations has a long historytoo. The pioneering work is due to C. Amick, J. Bona and M. Schonbek [1] where the authorshandle the decay rate of solutions of KdV-Burgers solutions for any initial data, i.e, withoutassuming any smallness assumption on the initial data. For a large review of methods forcomputing the decay rates for solutions to dissipative evolution PDEs, we refer to [8]. Amongrecent works concerned with dissipative Boussinesq systems, we mention [3], {5] and [12]. Thislist is by no mean exhaustive.In the present article, we are interested in computing theoretically the decay rate for so-lutions to an asymptotic linear viscous model for water waves similar to (1.1), but withoutthe main difusive term, i.e., considering γ = 0. In the linear case, our equation reads then(normalizing the other constants)1u +-=(.4()-d8+Uxxx +ux= 0,(1.2)(t-8)室supplemented with initial data 1uo in L' (R). For this purpose, we follow the method advocatedin [4]. Our result compares for large times with the corresponding result for the heat equationand state as follows.Theorem 1.1 There exrists a constant C such that the following estimate holds true:min(t年,境)(L(x) + tl()x)≤ClullL().(1.3)Actually, the method is to compute a representation of the kernel K(t, x) defined as u(t, ) =K(t,.)* uo if and only if u solves (1.2) with initial data uo. This representation is indeed anoscillatory integral. As we will see in the sequel, the estimates on this kernel are much moreinvolved than those for the kernel corresponding to the heat equation or the nonlocal viscousequation as in [4]; it turns out that since we do not have the diffusion term -Uxr in the equation,the diffusion is weaker since high frequencies are not exponentially damped. We are concernedhere with a viscosity that vanishes for high frequencipoint anddiscuss the drawbacks of this fact in the sequel. It is中国煤化工at, due to thepresence of the non-local term, we do not have anyC N M H Ghe trajectoriesand that the famous Schonbek 's splitting method does not apply.Linear Viscous Asymptotic Model for Water Waves843We do believe that these inconveniences are only due to mathematical technicalities. For thephysics, the validity of the model holds true for long waves, i.e, for initial data whose energy isconcentrated for small frequencies. Hence only small frequencies monitor the flow of solutionsand the drawback of the vanishing viscosity for high eddics do not account. Thesc topics willbe discussed, both from the theoretical and from the numerical point of view in a forthcomingwork.This article is organized as follows. In Section 2, we compute a representation for the kernelK(t,x) as an oscillatory integral. The idea is to solve the equation in Laplace-Fourier variablesand then to come back to the (t, x) variables. For this purpose, we need some estimates onsolutions to a polynomial equation whose proof will appear in an annex in the last section.In Section 3, we provide some decay estimates on the kernel using van der Corput lemma;statement and short proofs of this well-known result are postponed to the annex in Section 5.Hence we complete the proof of Theorem 1.1 and we provide the reader with a short conclusion.We cormplete this introduction by outlining some notations. Consider two numerical func-tions h(t, x), g(t, x) which take values in R. Hence we write h(t,x) S g(t,x) if there exists anumerical constant c that does not depend on t and x such that h(t, x)≤cg(t, x). We also writeg(t,x)≈h(t,x) if and only if h(t,x) S g(t,x) and g(t,x) S h(t, x). For complex valued func-tions, we write g(t,x)元h(t, x) if their moduli compare, i.e, lg(t, x)|元|h(t, x)|. The Fouriertransform of a function u in L'(R) is defined as勾() = fx u(x) exp( - ixξ)dx and the Laplacetransform of a bounded function U is defined, for any complex number T such that Rer> 0asv(r)= st∞o(t)exp(- -tr)dt. We set (x) = V1+正. For any complex number T which doesnot belong to R- , we define vF as v斤= |r位exp( jarg r), where argT belongs to (-π π); thisfunction T→F is analytic.2 Computing K(t, x) as an Oscillatory Integral2.1 Fourier-Laplace transformWe follow here [4]. Introduce the Fourier. Laplace transform of a function u as(T,6)=/f*(u(t,z)exp(- ixε - tr)dx )dt.(2.1)We apply the Fourier Laplace transform to (1.2) and obtain(+√F+i- ()(,)=(1+))u0(),(2.2)where钻(ξ) is the Fourier transform of the initial data u(0) = 40. Solving for i, we have(r,) = K(t,)2o()with(,()= (1+-))F+V中国煤化工(2.3)At this stage, to invert the Fourier transform in theTYHCNMHGthefollowinglemma.844O. Goubet and C. WarmnaultLemma 2.1 LetS= {z∈C such that Rez> 0}. Forz∈几, the equation x3+X = zadmits three branches of solutions a(z2), ar(z), a2(z), which vary analytically with respect to z,such that Rea(z)> 0, Rear(z) <0fori= 1,2, Ima2(z)<0 < lmar(z).Proof For z = 2, the equation admits a unique positive solution X = 1. The derivative3X2+ 1 does not vanish on the set x3 + X = z. Hence the equation owns three differentsolutions that we can follow continuously with the Implicit Function Theorem. On the otherhand, the equation x3 + X = z cannot have a solution that belongs either to the imaginaryaxis or the axis {x < 0}. Then the result is proved.Remark 2.1 Actually this result is true for z≠0 belonging to{z∈C;Rez> 0}∪{z∈C;|z|≤} which contains 0 in its interior.More results about the behavior of these solutions will appear in Annex (see Section 5). Wenow proceed to the inverse Fourier transform. We set(后(r,)= F(r.)= (+1-ε+eLemma 2.2 Let a(r) be the unique solution with a positive real part and a1(r), az(r) thesolutions with a negative real part ofX3+ X =r+√F. Thene-a(r)=P(r,x)=1+32万,Vx∈R+,(2.4)二e~a()x_Vx∈R~ .(2.5)所四)=一Ei+3历'Proof For any positive x, we haveieixξ(r,x)=;2.,低+VA-ξ+ed(2.6)Note that if T∈S, then T+√T∈2. We apply Lemma 2.1 withξ = iX, then ia(r) is theunique solution of i(r +√F)-ξ+ζ3 = 0 whose imaginary part is positive.Let r be a lace who is constituted by the segment [-R, R] and the semicircle z = Rei0 whereθ∈[0, rx]. We apply the Residue Theorem to f(ξ) = F(r,ξ) and we obtainieixε .ReifeirRele,r(f()e*df =.Jm.; i(T +VT)-ξ+d-1。++ v7)-ielE= 2Re(i(y)0+vF)-ξ+e)Sincex>0, we have lerRe°≤1, hence when R→∞, .RelegixRe-dA, i(r+vh)-Re09+F中国煤化工It fllows (2.4) by computing the residue. We use th{TYHC N M H G..5) choosing asuitable lace.Linear Viscous Asymptotic Model for Water Waues845We now proceed to the final estimate forx > 0. By the inverse Laplace transform, we have,for any positive ε,1K(t,x)=;2i元/'t. (1+-V7)1+ 3a2(介)dr.(2.7)Since the singularity is integrable in 0, we pass to the limitε→0 and obtaineitseits-a(is)xK(,2)=2]0 (1+ )i+sa2ids.(2.8)We cut (2.8) in four parts:∞1 eits-a(ia)x1 p0 1 eit8-a(is)xKt(t,x)=元√is1 + 3a2(is)ls, K(t,x)= ;πJ√is1+ 3a2(is)ds,K&(t,x)= ;1 f+∞eit8-a(is)x-ds,Kz(t,x)= ;1 p0 eits-a(i8)xAs.2π Jo1 + 3a2(is)2πJ_。1 + 3a2(is)Remark 2.2 Analogous formulae hold true for x < 0, substituting (2.5) to (2.4) in the .computations; in this case we have eight integrals to handle.3 Proof of Theorem 1.13.1 Strategy for the proofLet u8 describe our strategy on the simple example of the heat equation whose kernelis Khea(t,x) 心方exp(-示). It is an exercise to prove that |Kheat(t,x)| S min(t- ,,x 1).Therefore, |Kheat(t, .)|L∞(R)St-专andKee(t, )i2xa)≤。min(t-1,x- 2)dx ~+ (+∞=t-1.Here some extra dificulty occurs. To begin with, due to the drift Ux + Urrx the kernel isnot symmetric with respect tox= 0; we expect, as for the Airy equation, the kernel to havebetter decay properties for positive x. .On the other hand, we are interested in the long time behavior of solutions. By a rule ofthumbs, we know that the large time behavior of the kernel K relies on the behavior of theoscillatory integral for small 8. Hence we surmise that the kernel K1 will monitor the decay ratefor solutions. It transpires from the computations below that the other part of the kernel K2is more dificult to handle; we do believe that this drawback is only due to the mathematicalsetting and is not relevant for the physics.Let us go a lttle further. Let a be any solution to x3+ X = is +√is. Then the modulusof the integrand in the very definition of K2(t,x) is exptan. As stated in Annex, it turnsout that for large 8, |Rea1|≈|Rea|元g while |Re中国煤化工case, we havean exponential decay which smashes down the high: case, we havea vanishing viscosity at the infinity. This explains wh:YHCNMHGwilloccurforx<0.846O. Goubet and G. WarmnaultRemark 3.1 For the sake of comparison, it is worth to point out that the heat kernel readsas the sum of oscillatory integral (for positive x) asexp(-号x)Ktea(t,x)心exp--ds.J(x-影))√83.2 Estimates on K1(t, ax)We begin with the term which monitors the decay rate for large times. We now state andprove a result that asserts a heat kernel decay rate for this term.Theorem 3.1 Consider K1 defined as above. For anyt> 0, for anyx in R the followinginequality holds true:|K(t,x)| S min玉'网)Proof We just focus on KT (t, x), the other integral being similar. We perform the changeof variable s H s2 in the integral and we bound Jt∞ eis^t-Bxs8 where β is any root ofx3+X = is2 +s√i. For this purpose, we apply van der Corput Lemma 5.5 (see Annex for theprecise staterment) with the phase ψ(s)= s2t and A(8)=e-3xtgr, withb=0 andd=+oo.We then have, observing ψ"(0) = 2t,1+ 352|St(A|x∞ + Il).(3.1)On one hand |A(s)| S-IRe别)2 S 1. On the other hand,1+392T|'|x|61|11l3||'|(x)|A'(8)1≤(I+39+1+ 3B2)xp(-IRe |])≤+ 3891 x(-1ReBlpx).(3.2)We now divide the computation according to the case 8< 1 ors > 1. For small frequencies,we then have, due to Remark 5.1 below|β'|(x)|1+ 3β32|; exp(- Relx)dsS$ [" (&(x)>exp(- clx)dsS1;(3.3)indeed for |x|≤1, we just use exp(-cs|x)≤1, while for |x| ≥1, we perform the change ofvariable y = cxs. For high frequencies, and for the worst case that isx < 0 and for β = a2(is2)the root that has a vanishing real part for large 8, we havee-RePx_|B'(
-
C4烯烃制丙烯催化剂 2020-07-08
-
煤基聚乙醇酸技术进展 2020-07-08
-
生物质能的应用工程 2020-07-08
-
我国甲醇工业现状 2020-07-08
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2020-07-08
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2020-07-08
-
四喷嘴水煤浆气化炉工业应用情况简介 2020-07-08
-
Lurgi和ICI低压甲醇合成工艺比较 2020-07-08
-
甲醇制芳烃研究进展 2020-07-08
-
精甲醇及MTO级甲醇精馏工艺技术进展 2020-07-08