J. Korean Math. Soc. 37 (2000), No. 3, pp. 339-358
ON THE EXlSTENCE OF SOLUTIONS OF
QUASILINEAR WAVE EQUATIONS WITH VISCOSITY
JONG YEOUL PARK AND JEONG JA BAE
ABSTRACT. Letnbe a bounded domain inJRNwith smooth bound- aryan. In this paper, we consIder the existence of solutions of the following problem:
(1.1)
Utt(t, x) - div{(7(1Vu(t,x)12)Vu(t, x)} - Au(t, x) - AUt(t, x)
+<>lut(t,x)IP-1Ut(t,x)=J.'lu(t,x)IQ-1 u(t,x), xEn, tE[O,Tj,
u(t,x)lan=0,
u(O, x) =uo(x), Ut(O,x)=U1(X), x En,
where q > 1, p ;::: 1, <> > 0, J.' E JR, A the Laplacian in JRN and
( 2) . ·t· funct· lik 1
(7= (7 V 15a POSllve Ion e as (1+,,2)1/2.
1. Introduction
Many authors have been studied about the existence and uniqueness of solutions of (1.1) by using various methods. Equation (1.1) with
<5 = JL = 0 was introduced by Greenberg and Maccamy ([5]) as a model of a modified quasilinear wave equation which has global smooth solutions for large data. Since then, many authors have investigated the global existence as well as the asymptotic behavior of solutions to this and related equations (see Alikakos and Rostamin [2], Engler [4]' Kawashima and Shibata [7], Mizohata and Ukai [9] and Nakao [10] and the references cited in these papers). When u = JL = 0 and
<5 = 1, Nakao ([12]) has considered the existence and decay properties
Received July 24, 1998. Revised January 3, 2000.
2000 Mathematics Subject Classification: 35L70, 35L15, 74S05.
Key words and phrases: quasilinear wave equation, energy identity, Galerkin method, exist~nceand uniqueness.
of solution of (1.1). On the other hand, Matsuyama and Ikehata ([8]) have considered the following quasilinear wave equation
(1.2) Utt -
M(llvu
l2dX)
Llu+8lutlP-lUt =JLlulq-lu, whereM (s) is a positiveCl class function for s~ 0 satisfyingM (s) ~mo > 0 with a constant moo In fact, Equ~tion (1.2) has its origin in the mathematical description of small amplitude vibrations of an elastic string whose ends are. held a fixed distance apart, hinged or clamped and is either elastic or compressed by an axial force. Infact, a mathematical model for (1.2) is an initial boundary value problem for the nonlinear hyperbolic equation
(1.3)
tPu {
Eh {L(ou)
2 } 02Uph&t2 = _Po+ 2L 10 ox _ dx O~2 +f for 0<x <L, t ~ 0,
where u is the lateral deflection, x the space coordinate, t the time, E the Young modulus, p the mass density, h the cross section area, L the length, Po the initial axial- tension and f the external force. See Narasimha ([13]).
Kirchhofffirstintroduced (1.3) in the study of oscillations of elastic strings and plates, so that (1.3) is called the wave equation of Kirchhoff type after his name.
Inthe present paper, we will study the existence and uniqueness of solutions of (1.1) with 8>0 andJL=F 0 by using Galerkin method. Our paper is organized as follows: Insection 2, we give lemmas and state the main result. Insection 3, we study the existence and uniqueness ofweaksolution of (1.1).
2. Preliminaries
In this section we present some lemmas that will be necessary throughout this· paper.
LEMMA 2.1 (Sobolev-Poincare [1]). Ifeither 1 ~ q < +00 (N =
1,2) or 1$ q~ Zi:~ (N;::: 3)issatisfjed~then thereis a constantC*
such that .
lIullq+l ~C*IIVuIl2 for uE HJ(n).
Quasilinear wave equation with viscosity 341
LEMMA 2.2 (Gagliaxdo-Nirenberg [1]). Let 1 ::; r < q ::; +00 ~d
p ::; q. Then the inequality
holds with some C >0 and ()=
(~
+~
_~
)(~
+~
_~
)-1 providedthat 0< () ::; 1 (we assume 0 < () <1ifq= +00).
For further a priori estimates, we need the generalized Gronwall's inequality which is due to Bihaxi and Langenhop.
LEMMA 2.3. ([3]). H k > 0 and c ~ 0 are constants and g(s) is positive, nondecreasing for s ~ 0, then the inequality
(2.1) 4>(t) ::; k+C
it
'l/J(s)g(4>(s» dsimplies that 4>(t) ::; G-1(c
I;
'l/J(s) ds), where G(",) =I:
g{s) ds, ", >k > o. Ifg(s) = s, then the inequality (2.1) isthe usual Gronwall's inequality and Lemma 2.3 reads as follows:
4>(t) ::; k+c
lot
'l/J(s)4>(s)ds implies that4>(t)::; k exp
(c it
'l/J(S)dS), t~
o.Lastly, weindicate the following two propositions which are necessary to obtain convergence results.
PROPOSITION 2.4. (Temam [14]). Let X and Y be two Banach spaces such that X c Y with a continuous injection. H a function 4> belongs to D)O(O,T;X) and is weakly continuous with valuesinY, then 4>is weakly continuous with valuesin X.
PROPOSITION 2.5 (Lions [6]). Let X be a Banach space. If! E
V(O,T; X) andf' EV(O,T;X) (1 ~ p ~ 00), then!, possiblyafter redefinition on a set of measure zero, is continuousfrom [0,T] toX.
Nowweconsider the following boundary value problem:
Utt(t,x) - div{u(lV"u(t, x)12)V"u(t, x)} - Dou(t, x) - Dout(t, x)
+<5lut(t, x)IP-1ut(t, x) = J.Llu(t, x)lq-1u(t, x),
(2.2) x En, t E [0,T],
u(t,x)lao = 0,
u(O, x) =Uo(x), Ut (0, x) =UI(X), x En.
We define the potential J(u(t)), energy E(u(t)) and I-positive set W associated with.equation (2.2) by
J(u(t)) = ~1IV"u(t)lI~ -
q:
1I1u(t)lI:t~,1 1
r
rIV1I.(t)12E(u(t)) = 211Ut (t)\12+210 10 U(TJ) dTJdx+J(u(t)) and W = {u(t) E HJ(n)nH2(n) II(u(t)) >O}U{O},
where I(u(t))= \IV"u(t)lI~- J.Lllu(t)lI:t~.
To obtain our theorem, we shall make the following assumptions on u:
u(·) belongs to 02([0,00)) and satisfies (HI)
°
~ u(v2)~kl and lu'(v2)1 ~kl <00,(H2) there existsr > 0such that u(v2) - 21u'(v2)lv22: k2{U(V2)+
2Iu'(v2)lv2y for some kb k2 >O.
REMARK. Without loss of generality, we may assume r > 2 in (H2)of the above hypotheSis. When u(v2)= VI~V2' we see u(v2) - 2Iu'(v2)lv2 = (1 +v2)-i and u(v2)+2Iu'(v2)lv2 ~ 2(1+v2)-i and hence we can taker =3.
Our results read as follows.
Quasilinear wave equation with viscosity 343 THEOREM 2.6. Let N be a positive integer. Under assumptions (HI) and (H2 ), suppose that 8 > 0, It> 0 andp <min{q, N+4~-Nq}
issuch that
(i) 1~p <00 (N = 1,2),
(ii) 1 ~p ~3, 1<q~ 5 (N= 3), (iii) 1
~
P~ N~
2 'N . {N+2 N-2}
N - 2 ~ q ~mIn N _ 2' [N _ 4]+ (N ~ 4).
HUQ E WnH 2(0), U1 E HJ-(O) and
ItC;+l(2~:11))~2 E(UQ)~ < 1,
then the problem (2.2) has a solution U = u(t,x) satisfying U E
LOO (O,T; HJ- (0) n H2(0)), u' E Loo (O,T;HJ(O)) and u" E Loo (0, T; L2(0)).
3. Proof of Theorem 2.6
We now consider the problem (2.2). Throughout this section, we always assume that UQ E W nH2(0) and U1 E HJ(O). We employ the Galerkin method to construct a solution. We present by (Wj)jEN be a basis in HJ(O) n H2(0) which is orthonormal in L2(0) and by Vm the subspace ofHJ(O) n H2(0) generated by the m-first vectors WI,'" ,Wm and define um(t) = 2:;:1gjm(t)Wj, where um(t) is ·the solution of the following problem:
(U~(t)- div{u(IVum(t)12)Vum(t)} - ~um(t) - ~u~(t),w)
+8Iu~(t)IP-1(U~(t),w) = Itlum(t)/q-1(um(t),w),wE Vm,
(3.1) um(O) =UQm =I)UQ,Wj)Wj - tUQ in HJ(O) nH2(0),
j=I
U~(O)= U1m = 2)Ul'Wj)Wj - t U1 in HJ(O).
j=l
Note that we can solve the system (3.1) by a Picard's iteration method.
Hence the system (3.1)hasa local solution in [0,Tm )with 0<Tm ~ T.
The extension of the solution to the whole interval [0,T] is a conse- quence of priori estimates we are going to obtain below.
A Priori Estimates I
Multiplying the equation (3.1) by u~{t),then we have (3.2)
~ (~IIU~{t)lI~
+~IIVUm(t)II~
+~ l
r(t)dx - q~ ll1um{t)lI:t~)
+IIVu~{t)lI~+8I1u~{t)lI~t~ = 0,
wherer{t) = fJVum(t)12u{ry) dry.
Integrating (3.2) from 0 tot, then we have the energy identity
where E{um{t)) = !lIu~{t)lI~ + !IIVum{t)lI~ + ! fn r{t)dx - ~
lIum(t)lI:t~·
Next to bbtain a priori bound, we need the following results.
LEMMA 3.1. Assume that either 1 ~ q < +00 (N = 1,2) or 1 ~ q ~ ~!~ (N 2:: 3) is satisfied. Let um{t) be the solution of{3.1) with
UOm E WnH2(O) andUlm E HJ{O). If .
then um{t) EWon[0,T], that is, IIVumll~-JLIIUmll~t~ >
°
on [0,T].Proof Since I{uom} > 0, it follows from the continuity of um{t) that
(3.5) I{um{t)) 2::
°
for some interval near t = 0.Quasilinear wave equation with viscosity 345
Lettmax be a maximal time (possiblytmax = Tm ) when (3.5) holds on
[0,tmax). Note that
(3.6)
1 q-1 2
J(um(t)) = q+1I(um(t)) +2(q+1)IIVum(t)lb
q-1 2
2:: 2(q+1)IIVum(t)lb on [0,tmax).
By the energy identity (3.3) and (3.6), we have
(3.7)
IIVUm(t)lI~ ~ 2~q~11)J(um(t))
~ 2(q+11)E(um(t))
q-
< 2(q+l)E( )
- 1 UOm on
q-
It follows from the Sobolev-Poincare's inequality, (3.4) and (3.7) that /LIIUm(t)lI~ti ~ /LC2+11IVum(t)II~+l
.t.!.
~ /LC2+ 1(2~q~11)E(Uom)) 2 IIVUm(t)lI~
< IIVum(t)ll~ on [0,tmax ).
Therefore, we get I(um(t)) >
°
on [0,tmax). This implies that we can taketmax= T, This completes the proof of Lemma 3.1. DNote that Lemma 3.1 implies that
(3.8)
Thus, (3.3) and (3.8) imply
(3.9)
1 1 2 q-1 2 1 (
"2l1um (t)lb+2(q+1)IIVum(t)112+"210.r(t)dx
+
l
t8I1u~(s)lI~t~
ds+l
tIIVu:n(s)lI~
ds~ E(uom).
A Priori Estimates 11
Multiplying the equation (3.1) by -~um(t),then we have (3.10)
d Id
dt (u:n(t),~um(t)) -IIVu~(t)II~+ II~Um(t)lI~+"2dtlI~um(t)lI~
+
L
div{q(IVUm(t)12)VUm(t)}~um(t)dx- 8
L
lu~(t)IP-lu~(t)~Um(t)dx= -1£
L
IUm(t)lq-lUm(t)~Um(t)dx.Since P 2': 1, we can use the fact that L2P(0) ' - t L2(0) and so (3.9) implies
(3.11)
18
L lu~(t)IP-lU:n(t)~Um(t)
dxl~ 8I1u~(t)II~plI~um(t)1I2
~ 8C~lIu~(t)II~II~um(t)1I2
~ 8C~(2E(uom))~ lI~um(t)1I2
1 2
~Cl +211~um(t)1I2'
where Cl = ~82C~P(2E(Uom))P.
Quasilineax wave equation with viscosity 347
(3.12)
On the other hand, Schwarz's inequality and (3.9) imply
IlIUm(t)lq-1um(t)~Um(t)
dxl~ qllum(t)lIg+~IIVum(t)II~+l :s; qC2+lIlVum(t)II~-111~um(t)ll~
!l.::l
:s; qC2+l(2~q~11) E(Uom )) 2 lI~um(t)II~.
From (3.10)-(3.12), we get (3.13)
~(u~(t), ~um(t)) +~11~Um(t)lI~+~:tII~um(t)lI~
+
l
div{u(IVum(t)12)VUm(t)}~Um(t)dx!l.::l
:s; Cl +IIVu~(t)lI~+qj.LC2+l(2~q~11)E(uom)) 2 II~Um(t)II~.
On the other hand, integration by parts gives (3.14)
l div{u(IVUmI2)VUm}~Umdx
=
~ ~
( {u(IVumI2) 02Um +2u'(IVumI2)OUm 02Um Oum}L- L-In ox-ax- OXk OX-OXk ox-
i,j=l k=l t J t t
02Um dx
aXiaXj
+(N - 1) ( (u(IVum
lan
I2)+2u'(IVumI2)IVumI2)1a:
unm 12H(x) dB,~ l (u(IVumI2) - 2Iu'(IVumI2)1 IVumI2)ID2Um(t)12 dx
+(N -1) ( (u(IVum
lan
I2)+2u'(IVum\2)\VumI2)1a:
unm12H(x) dB,whereH(x) denotes the mean curvature ofanat xwith respect to the outward normal and ID2Um \2 = 2:';J-1(0, ux?,uX:J!2v;,m12• By assumption (H1) of Hypothesis and a standard trace theorem, we see
(3.15)
I(N
-1)fan
(u(IVumI2)+2u'(IVUm\2)IVUmI2)18;;:12H(x)dBI
~
C2Jao{ 18um8n l2dB~ C3I1Vumll;(l-82)II.6.umll~82
_ 1 _
~ (1-(2)C;-62I1Vumll~+0211.6.umll~
~ C;!82 2(q+1)(~- (2)E(uom)+0211.6.umll~
q-
~ C4 +0211.6.umll~,
h C _C1!622(q+1)(1-02)E( )
were 4 - 3 UOm ·
q-1 Thus (3.13)-(3.15) give
(3.16)
~ (u~(t),.6.um(t» +~1I.6.um(t)lI~+~ ~ lI.6.um(t)lI~
+
l
(u(lVum(t)12) - 2Iu'(IVum(t)12)IIVum(t)12)ID2um(t)12dx!L=!:
~ Cl+IIVu~(t)"~+qj.LC2+l (2(qq - l+1)E(Uom
»)
2 lI.6.um(t)lI~+I(N -1) ( (u(lVumI2)+2u'(IVUmI2)IVUmI2)188Um 12H(x)dBI
Jao n
~ Cl+C4+IIVu~(t)lI~+C611.6.um(t)II~,
!l.=.!.
where C6 = O2+qj.LC2+l (2(q+1)E(uom») 2 • q-1
Therefore, (3.17)
:t
(u~(t),
.6.um(t» +~ ~ lI.6.um(t)lI~
+
l
(u(IVum(t)12) - 2Ia'(lVum(t)12)IIVUm(t)12)ID2Um(t)\2dxQuasilinear wave equation with viscosity 349
::; C7+IIVu~(t)lI~+C8I1Llum(t)II~, whereC7 =Cl+C4 andC8=IC6 - ~I.
Integrating (3.17), from (3.9) we get
Lt L
(u(IVum(s)12) - 2Iu'(IVUm(sW)IIVum(s)!2)ID2um(s)12dxds1 2
+21lLlum(t)lb
::; lIu~(t)1I2I1Llum(t)1I2 +IIVuIil211Vuoll2+~IILluoll~
+
Lt
(C7 +IIVu~(s)lI~
+C8I1Llum(s)II~)
ds::; C9I1u~(t)lI~ +EIILlum(t)1I2+IIVuIi/2II Vuo112+~IILluoll~+E(uom) +
it
(C7+C8I1LlUm(s)II~)
ds::; EIILlum(t)lb+ClO+Cn
Lt IILlum(s)lI~
ds,where 0 ::;E ::; ~. Thus, we have (3.18)
it L
(u(IVum(s)12) - 2!u'(IVum(s)12)IIVUm(sW)\D2Um(SW dxds1 2
r
t 2+(2 - €)IILlum(t)1I2 ::;ClO+Cnlo IILlum(s)lb ds.
Next, multiplying the equation (3.1) by -Llu~(t),then we have
(3.19)
~ ~ (IIvu~(t)ll~
+IILlum(t)II~)
+po
L
!u~(t)IP-lIVu~(t)12dx+IILlu~(s)lI~+
L
div{u(IVum(t)12)Vum(t)}LlU~(t)dx=-JL
L
IUm(t)lq-lUm(t)Llu~(t)dx.Integrating (3.19) from 0 tot, then we have
(3.20)
l I t
2I1Vu~{t)lI~+2I1Aum(t)II~+10 IIAu~{s)lI~ds
+
it L diV{CT{IVUm{s)12)VUm{s)}AU~{s)
dxds1 2 1 2
~ 211Vu1lb+211 Auo lb
+
JL'Lt L IUm{s)lq-lUm{s)AU~{s)
dxdsl,where we have used the fact thatp8
I;
Inlu~{s)IP-lIVu~{s)12 dxds ;:::O.
Note that
JL it L
IUm{s)lq-lUm{s)AU~{s)dxds(3.21)
~
qJLLt L IUm{s)lq-lIVUm{s)IIVu~{s)1
dxds~
qJLLt IIlum{s)lq-lVum{s)1I2I1Vu~{s)1I2
ds.Sobolev-Poincare's inequality implies
(3.22) IIlum{s)lq-1
Vum{s)1I2 ~C12 I1um{s)IIf;!l)NIIVum(s)1IJ!!2
~ C13I1Um(s)lIf;!1)NIIAum{s)112' Now, in the case ~2 ~ q ~ min{Z!~,[%-4]+} (N ;::: 4), we observe from Gagliardo-Nirenberg's inequality that
(3.23)
lIum(s)!If;!l)N
~C14l1um{s)!I(~;1)(1-93) /IAum{s)lI~q-l)93
N-2
~ C15I1Vum{s)/I~q-l)(1-93)/IAum(s)lI~q-l)93
Quasilinear wave equation with viscosity 351
(3.25)
1 (q-1)(1- 8 a)
~ (1- (q -1)83)C115(q 1)83IIVum(s)1121 (q 1)83
+(q-1)8311~um(s)1I2
(q-1)(1-8j!)
~ (1 _ (q _ 1)83)C;5 (/1)83 (2~q~11)E(Uom))2(l (q 1) 3) +(q-1)8311~Um(s)lb
N-2 1
with 83 = - - - --1« 1).
2 q-
Thus, (3.22) and (3.23) imply (3.24)
11lum(s)IQ-1Vum(s)112
~C13(C16+(q-1)8311~um(s)1I2)II~um(s)1I2
~ C17(II~um(s)1I2 +II~Um(s)II~),
(q-1)(1-8a)
1
(2(q+1))2(1
(q 1)83)where C16 = (1- (q -1)83)C;5(q 1}83 q-1 E(uam) . Therefore, from (3.21) and (3.24), we have
J.L
l
tllum(s)IQ-1um(S)~U~(S)
dxds~
qJ.LC171t(11~um(s)1I2
+lI~um(s)II~)IIVu~(s)1I2
ds.we get
(3.27)
/I
tldiv{o-(IVum(s)12)Vu.n(s)}~U~(S)
dXdS/::; ~ I
tL
(o-(I Vum(S)12)+2o-'(IVUm(SW)IVum(s)/2)2 ID2um(s)12dxds
+
~ I
tll~u~(sWdXdS.
Now, assuinption (H2 ) implies that (3.28)
%
I
tL
{o-(IVum(s)l2)+2o-'(IVum(s)12)IVum(s)12}2ID2um(s)12dxds=
~ I
tL
{o-(IVum(s)12)+2o-'(IVum(s)12
)IVum(s)12}2
2 4 2 .2(r-2)
ID um(s)P=ID um(s)1 r dxds
::; ~ (I
tL
{o-(IVum(sW) +2o-'(IVum(s)12)IVum(sWY
2 r-2
ID2Um(S) 12dxdS) r
(I
tL
ID2um(s)12dxdS) r-::; C;8
(I
tl {o-(IVum(s)12) -2Io-'(IVum(s)12)IIVum(s)12}2 r-2
ID2um(S)12dXdS) r
(I
t.ln
ID2um(s)12dxdS) r-2 r-2
::; C;8 ( ClO+Cn
I
t"~um(s)ll~dS)
r(s~p lI~um(t)II~)
r-::; C19+C20
it "~Um(S)"~ ds+€1I~um(t)II~,
where we have used (3.17) and the Young's inequality at the last stage.
Quasilinear wave equation with viscosity 353
(3.30)
Thus, from (3.27) and (3.28), we have (3.29)
IL
tl div{(T(I\7Um(s)12)\7Um(S)}~U~(S)dxdsl
::; GI9+
EII~um(t)ll~
+G20Lt II~Um(s)lI~
ds+~ Lt lI~u~(s)lI~
ds.Hence (3.20), (3.25) and (3.29) imply
1 1 1
r
t211\7u~(t)lI~ +(2 - E)II~um(t)ll~ +2lo lI~u~(s)ll~ ds
1 2 1 2
::; 211\7U1112+211~uolb
+qJLGI7it
(lI~um(s)112
+II~Um(s)II~)II\7u~(s)112
ds+GI9+G20
it II~Um(s)lI~
ds.Therefore we have
II\7u~(t)lI~
+lI~um(t)ll~
+Lt II~u~(s)lI~
ds(3.31) ::;C2I +G22L
t
((II~um(s)1I2
+lI~um(s)II~)II\7u~(s)1I2
+
lI~um(s)II~)
ds,whereG2I and G22 are some constants. Therefore, we obtain EI (t) ::; G2I+G23LtEI (s) +EI (s)! ds, where EI (t) = II\7u~(t)ll§+lI~um(t)II§·
Now we setg(s) = s+s! ons~ O. Then we have
Note thatg(s) iscontinuous and nondecreasing on s~ O. By applying Bihari-Langenhop's inequality, we get
I
s 1 .E1(t) ~ G-1(C23t), where G(s) = - ()dr, s>C21 > 0
C21 9 r and this estimate imply
(3.32) E1(t) = lIV'u~(t)lI~+lI~um(t)lI~ ~ M1(T) for some constant M1 >0independent ofm.
In particular, (3.31) and (3.32) imply
(3.33)
Lt lt~u~(s)lt~ds ~
M2(T).A Priori Estimates III
Finally, multiplying the equation (3.1) by u~(t),then we have (3.34)
ltu~(t)lI~-
i
diV{CT(IV'um(tW)V'Um(t)}U~(t)dx- (~um(t), u~(t))- (~u~(t), u~(t))+6Iu~(t)IP-l(U~(t), u~(t))
=JLlum(t)IQ-1(um(t),u~(t)).
Note that from L2p(0) <--t L2(0) and (3.9),
6Iu~(t)IP-1(u~(t),u~(t») ~ 6
i
lu~{t)IPlu~(t)1dx(3.35) ~ 8I1u~(t)lI~pllu~(t)1I2
~ 8Cl'lIu~(t)II~lIu~(t)112
~ C27I1u~(t)1I2'
Now, it follows from (3.9) the Gagliardo-Nirenberg's inequality and our assumptions on q that
(3.36)
JLlum(t)IQ-1(um(t),u~(t)) ~ JLllum(t)II~Qltu~(t)1I2
~ C2811V'um(t)II~4I1um(t)II~-o4I1u~(t)1I2
~ C29I1u~(t)lI§ with 04 = (q -l)N 2q
Quasilinear wave equation with viscosity
for some constants C28 andC29• Now, we have
355
(3.37)
Thus, our assumption(HI) implies that (3.38)
Il div{(7(IVurn(t)12)VUm(t)}u~(t)
dXI~ CsolI.6.urn(t)1121Iu~(t)"2'
Thus (3.34)-(3.38) imply
(3.39)
lIu~(t)lI~ ~
CS1(1
+lI.6.urn(t)112 +lI.6.u~(t)1I2) lIu~(t)1I2
Thus, from (3.32), (3.33) and (3.39) we have (3.40)
lIu~(t)1I2 ~ Ms(T) for some constant Ms> 0 independent ofm.
Limiting process
By above estimates, {um}has a subsequence still denoted by {Urn}
such that
(3.42) u~ - tu' in LOO(0,T; HJ(O» weak*,
(3.44) (3.45) (3.46)
U~ ~ u' in L2(0,TiHJ(fl» weak, U~ ~u' in LP+l(O, Ti LP+l(O» weak,
div{u(IVumI2)Vum } ~ ~ in LOO(0,TiL2(0» weak*,
(3.51)
(3.47) lu~IP-lU~ ~<P in L7((0,T) x 0) weak,
lumlq-1um~'l/J in L~((O,T)x 0) weak.
It follows from a classical compactness argument (cf. Lions [6]) that
asm~oo
(3.48) lu~IP-lu~ ~ lu'lp-1u' in L7 ((0,T) x 0) weak, (3.49) lumlq-1u=~ lulq-1u in L~((O,T)x 0) weak.
We shall show that ~ =div{u(lVuI 2)Vu} is satisfied. For any w E
Co(O,OOiHJ(O», we have
iT (~-
div{u(lVuI2)Vu},w)dt (3.50) =l
T(~-div{u(lVUmI2)VUm},
w)dt+
l
T (div{u(lVum I2)Vum } - div{u(jVuI2)Vu},w)dt.It follows from (3.46) that the first term of the right hand sides of (3.50) tends to zero. Also, (3.41) and mean value theorem imply
l
T(div{o-(IVumI2)Vum } - div{u(IVuI2)Vu},w)dt=
I
T(div{u(lVumI2)(vUm - Vu)},w)dt - div{(u(IVumI2) - u(lVuI2»Vu},w)dt::; C241T
IIVum - Vull211Vwll2dt+C2S max:{U'(S)}
iT
IIVum - VuII211Vwl12dts 0
~Oasm~oo
Quasilinear wave equation with viscosity 357
and hence we conclude~ = div {a(lV"uI2)V"u}. On the other hand, we can use Aubin-Lions' compactness lemma (cf. proposition 2.4 and 2.5) and so we can extract from {um } subsequence still denoted by {um }
such that for eacht E (0,T]
(3.52) Um(t) -+ u(t) strongly in HJ(O).
By letting m -+ 00 in (3.1), we can find thatusatisfies the equation:
(3.53)
(u"(t) - div{a(lV"u(t)12)V"u(t)} - .6.u(t) - .6.u'(t),w)
+8!u' (t)IP - 1(u' (t),w) = JLlu(t)lq- 1(u(t) ,w) for all w E HJ(0).
Now, the above result (3.52) implies
(3.54) um(O) = UOm-+ u(O) strongly in HJ(O).
Thus, from (3.1) and (3.54), u(O) = uo. Also, from (3.42) we obtain (3.55) (u~(0) - u'(0), w) -+ 0 as m -+ 00 for each w E HJ(0).
Thus, (3.1) and (3.55) imply u'(O) = Ul. This completes the proof of
Theorem 2.6. 0
References
[1] R. A. Adams, Sobolev spaces, Academic press, New York, San Francisco, Lon- don, 1975.
[2] N. D. Alikakos and R. Rostamian, Gradient estimates for degenerate diffusion equations, Math. Ann. 259 (1982), 53-70.
[3] R. Bellman, Inequalities, Springer-VerIag Berlin, Heidelberg, New York, 1971.
[4] H. EngIer, Gradient estimates for solutions of parabolic equations and systems, J. Math. Anal. Appl. 47 (1990), 309-329.
[5] J.Greenberg, On the existence, uniqueness and stability of the equationPXtt=
E(X:z;)X:z;:z; +X:z;:z;t, J. Math. Anal. Appl. 25 (1969), 575-591.
[6] J. L. Lions, Quelques methode de Resolution des probleme a'UX limites Non- lineaire, Dunod Gauthier-Villars, Paris, 1969.
[7] S. Kawashima and Y. Shibata, Global existence and exponential stability of small solutions to nonlinear viscoelasticity, Comm. Math. Phys. 148 (1992), 189-208.
[8} T. Matsuyama andR. Ikehata, Onglobal solutions and energy decay for the wave equations of Kirchhoff type with nonlinear dampingterms,J.Math.Anal.
Appl. 204(1996), 729-753.
[9] K. Mizohata and S. Ukai, The global e:z:istence, uniqueness of small amplitude solutions tothe nonlinear acoustic wave equations, J. Math. Kyoto Uhiv. 33 (1993), 505-522.
[10] M. Nakao, Energy decay for the quasilinear wave equation with viscosity, Math.
Z. 219(1995), 289-299.
[11] ,E:cistence of an anti-periodic solution for the quasilinear wave equa- tion with viscosity,J.Math. Anal.Appl. 204 (1996),754-764.
[12] , On strong solutions of the quasilinear wave equation with viscosity, Adv. Math. Sci. Appl. 6 (1996), 267-278.
[13] K.Narasimha,Nonlinear vibrotion of an elastic string, J. Sound Vib. 8 (1968), 134-146.
[14] R. Temam,Infinite dimensional dynamical systems in mechanics and physics, vol. 68, Applied Math. Sei., Springer-Verlag,1988.
Jong Yeoul Park
Department of Mathematics Pusan National University Pusan 609-735, Korea
E-mail: [email protected] Jeong JaBae
Department of Mathematics Pusan National University Pusan 609-735, Korea
E-mail: [email protected]