Professional Documents
Culture Documents
Research Article
On a Nonlinear Wave Equation of Kirchhoff-Carrier
Type: Linear Approximation and Asymptotic Expansion
of Solution in a Small Parameter
Nguyen Huu Nhan,1,2 Le Thi Phuong Ngoc,3 and Nguyen Thanh Long 2
1
Dong Nai University, 4 Le Quy Don Str., Tan Hiep District, Bien Hoa City, Vietnam
2
Department of Mathematics and Computer Science, VNUHCM-University of Science, 227 Nguyen Van Cu Str.,
Dist. 5, Ho Chi Minh City, Vietnam
3
University of Khanh Hoa, 01 Nguyen Chanh Str., Nha Trang City, Vietnam
Copyright © 2018 Nguyen Huu Nhan et al. This is an open access article distributed under the Creative Commons Attribution
License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly
cited.
We consider the Robin-Dirichlet problem for a nonlinear wave equation of Kirchhoff-Carrier type. Using the Faedo-Galerkin
method and the linearization method for nonlinear terms, the existence and uniqueness of a weak solution are proved. An
asymptotic expansion of high order in a small parameter of a weak solution is also discussed.
𝑡
where 𝑢(𝑥, 𝑡) is the 𝑥-derivative of the deformation, 𝑇0 is the 𝑢 − 𝑀 (‖∇𝑢 (𝑡)‖22 ) Δ𝑢 + ∫ 𝑔 (𝑡 − 𝑠) Δ𝑢 (𝑠) 𝑑𝑠 = 0,
tension in the rest position, 𝐸 is the Young modulus, 𝐴 is the 0
cross section of a string, 𝐿 is the length of a string, 𝜌 is the
density of a material. Therefore, it is clear that (1) considered in Ω × R+ ,
here contains (4) and (5) as special cases.
Moreover, with various boundary conditions, the par- 𝑢 = 0, on Γ × R+ , (8)
ticular forms of (1) have been extensively studied by many
authors; for example, we refer to [3–15] and the references 𝑢 (𝑥, 0) = 𝑢0 (𝑥) ,
given therein. In these works, many interesting results about
existence, regularity, asymptotic behavior, asymptotic expan- 𝑢𝑡 (𝑥, 0) = 𝑢1 (𝑥) ,
sion, and decay of solutions were obtained.
in Ω,
Cavalcanti et al., in [4–7], investigated a series of four
papers in which the results of existence, global existence, where Ω is a bounded domain in R𝑁, with a smooth
exponential or uniform decay rates, and asymptotic behavior boundary 𝜕Ω fl Γ, are proved in [8].
for Kirchhoff-Carrier models are considered. In [11], the following nonlinear wave equation with initial
In [10], the unique existence and asymptotic expansion conditions and boundary conditions of two-point type has
of solutions of (1) with 𝜇 = 1 associated with the boundary been investigated:
conditions
𝜕
𝑢𝑡𝑡 − (𝜇 (𝑥, 𝑡) 𝑢𝑥 ) + 𝑓 (𝑢, 𝑢𝑡 ) = 𝐹 (𝑥, 𝑡) ,
𝜕𝑥
𝑢𝑥 (0, 𝑡) − ℎ0 𝑢 (0, 𝑡) = 𝑢𝑥 (1, 𝑡) + ℎ1 𝑢 (1, 𝑡) = 0 (6) (9)
0 < 𝑥 < 1, 0 < 𝑡 < 𝑇.
and the initial conditions are also studied. In [12], by combining the linearization method for the
In [15], de Lima Santos studied the asymptotic behavior nonlinear term, the Faedo-Galerkin method, and the weak
of solutions of (1) with 𝑓(𝑥, 𝑡) ≡ 0, 𝜇 = 𝜇(𝑡), associated with compact method, the existence of a unique weak solution of
the Dirichlet boundary condition at 𝑥 = 0 and a boundary an initial and boundary value problem for nonlinear wave
𝑡
condition of memory type at 𝑥 = 1; that is, 𝑢(1, 𝑡) + ∫0 𝑔(𝑡 − equation 𝑢𝑡𝑡 − (𝜕/𝜕𝑥)(𝜇(𝑥, 𝑡, 𝑢, ‖𝑢𝑥 ‖2 )𝑢𝑥 ) = 𝐹(𝑥, 𝑡, 𝑢, 𝑢𝑥 , 𝑢𝑡 )
𝑠)𝜇(𝑠)𝑢𝑥 (1, 𝑠)𝑑𝑠 = 0, 𝑡 > 0. with the nonhomogeneous boundary conditions is proved.
In [3], Beilin investigated the existence and uniqueness of Very recently, in [13, 14], with the same method used in
a generalized solution for the following wave equation with an [12], the authors proved the results of existence and unique-
integral nonlocal condition ness for the wave equations with nonlinear sources contain-
ing the nonlocal terms. In [13], the linearization method
together with Taylor’s expansion is used for both of the source
𝑢𝑡𝑡 − Δ𝑢 + 𝑐 (𝑥, 𝑡) 𝑢 = 𝑓 (𝑥, 𝑡) , term and the nonlinear integral in it. These techniques have
not been used before.
(𝑥, 𝑡) ∈ Ω × (0, 𝑇) ,
In the same spirit of [10–14], we establish the local
𝑡 existence and uniqueness for prob. (1)–(3) by using the Faedo-
𝜕𝑢
+ ∫ ∫ 𝑘 (𝑥, 𝜉, 𝜏) 𝑢 (𝜉, 𝜏) 𝑑𝜉 𝑑𝜏 = 0, Galerkin method and the weak compact method. These
𝜕𝜂 0 Ω
results are presented in Section 3. In Section 4, the perturbed
(7)
(𝑥, 𝑡) ∈ 𝜕Ω × [0, 𝑇) , solution 𝑢𝜀 (𝑥, 𝑡) is approximated by the polynomial of 𝑁 + 1
degree in a small parameter 𝜀 for the following perturbed
𝑢 (𝑥, 0) = 𝑢̃0 (𝑥) , equation:
𝑢𝑡 (𝑥, 0) = 𝑢̃1 (𝑥) , 𝜕
𝑢𝑡𝑡 − (𝜇 [𝑢] (𝑥, 𝑡) 𝑢𝑥 ) = 𝑓 (𝑥, 𝑡) ,
𝑥 ∈ Ω, 𝜕𝑥 𝜀 (10)
0 < 𝑥 < 1, 0 < 𝑡 < 𝑇,
where Ω is a bounded domain in R𝑁 with a smooth associated with (2), (3), where
boundary, 𝜂 is the unit outward normal on 𝜕Ω, and 𝑓, 𝑢̃0 , 𝑢̃1 , 1
𝑘(𝑥, 𝜉, 𝜏) are given functions. Nonlocal conditions come up 𝜇𝜀 [𝑢] (𝑥, 𝑡) = 𝜇 (𝑥, 𝑡, ∫ 𝑔 [𝑢] (𝑥, 𝑦, 𝑡) 𝑑𝑦)
when values of the function on the boundary are connected 0
to values inside the domain. There are various types of non-
1
local boundary conditions of integral form for hyperbolic,
+ 𝜀𝜇1 (𝑥, 𝑡, ∫ 𝑔1 [𝑢] (𝑥, 𝑦, 𝑡) 𝑑𝑦) ,
parabolic, or elliptic equations; the ones were introduced in 0 (11)
[3].
The well-posedness and optimal decay rate estimates of 𝑔 [𝑢] (𝑥, 𝑦, 𝑡) = 𝑔 (𝑥, 𝑦, 𝑡, 𝑢 (𝑦, 𝑡) , 𝑢𝑥 (𝑦, 𝑡)) ,
the energy associated with the Kirchhoff-Carrier problem
with memory 𝑔1 [𝑢] (𝑥, 𝑦, 𝑡) = 𝑔1 (𝑥, 𝑦, 𝑡, 𝑢 (𝑦, 𝑡) , 𝑢𝑥 (𝑦, 𝑡)) .
Mathematical Problems in Engineering 3
Lemma 1. The imbedding 𝐻1 → 𝐶0 (Ω) is compact and for all 𝑢, V ∈ 𝑉, 0 ≤ 𝑡 ≤ 𝑇, with ℎ0 ≥ 0 being given constant,
and
‖V‖𝐶0 (Ω) ≤ √2 ‖V‖𝐻1 ∀V ∈ 𝐻1 , (16)
1
where ‖V‖𝐶0 (Ω) = sup𝑥∈[0,1] |V(𝑥)| (see [16]). 𝜇 [𝑤] (𝑥, 𝑡) = 𝜇 (𝑥, 𝑡, ∫ 𝑔 [𝑤] (𝑥, 𝑦, 𝑡) 𝑑𝑦) ,
0 (23)
0
Lemma 2. Let ℎ0 ≥ 0. The imbedding 𝑉 → 𝐶 (Ω) is compact 𝑔 [𝑤] (𝑥, 𝑦, 𝑡) = 𝑔 (𝑥, 𝑦, 𝑡, 𝑤 (𝑦, 𝑡) , 𝑤𝑥 (𝑦, 𝑡)) .
and
‖V‖𝐶0 (Ω) ≤ V𝑥 ≤ ‖V‖𝑎 , 3. The Existence and Uniqueness
1 (17) Let 𝑇∗ > 0. We make the following assumptions:
‖V‖𝐻1 ≤ V𝑥 ≤ ‖V‖𝑎 ≤ √1 + ℎ0 ‖V‖𝐻1 ,
√2
(𝐻1 ) (̃𝑢0 , 𝑢̃1 ) ∈ (𝑉 ∩ 𝐻2 ) × 𝑉 satisfying the condition
for all V ∈ 𝑉. 𝑢̃0𝑥 (0) − ℎ0 𝑢̃0 (0) = 0.
4 Mathematical Problems in Engineering
(𝐻4 ) 𝑓, 𝑓 ∈ 𝐿2 (𝑄𝑇∗ ). ∀V ∈ 𝑉,
(30)
For each 𝑀 > 0 given, we set the constants 𝐾𝑀(𝑔), 𝑢𝑚 (0) = 𝑢̃0 ,
̃𝑀(𝜇), 𝐾
𝐾0 (𝑀, 𝑔), 𝐾 ̃0 (𝑀, 𝜇, 𝑔), as follows:
𝑢𝑚 (0) = 𝑢̃1 ,
‖V‖𝑉𝑇 (𝑘)
⟨𝑢̈𝑚 (𝑘)
(𝑡) , 𝑤𝑗 ⟩ + 𝐴 𝑚 (𝑡; 𝑢𝑚 (𝑡) , 𝑤𝑗 ) = ⟨𝑓 (𝑡) , 𝑤𝑗 ⟩ ,
(27)
= max {‖V‖𝐿∞ (0,𝑇;𝑉∩𝐻2 ) , V𝑡 𝐿∞ (0,𝑇;𝑉) , V𝑡𝑡 𝐿2 (𝑄𝑇 ) } . 1 ≤ 𝑗 ≤ 𝑘,
(33)
(𝑘)
(See Lions [18]) We also put 𝑢𝑚 (0) = 𝑢̃0𝑘 ,
(𝑘)
𝑊 (𝑀, 𝑇) = {V ∈ 𝑉𝑇 : ‖V‖𝑉𝑇 ≤ 𝑀} , 𝑢̇𝑚 (0) = 𝑢̃1𝑘 ,
(28)
𝑊1 (𝑀, 𝑇) = {V ∈ 𝑊 (𝑀, 𝑇) : V𝑡𝑡 ∈ 𝐿∞ (0, 𝑇; 𝐿2 )} . where
𝑘
Now, we establish the recurrent sequence {𝑢𝑚 }. The first
𝑢̃0𝑘 = ∑ 𝛼𝑗(𝑘) 𝑤𝑗 → 𝑢̃0 strongly in 𝑉 ∩ 𝐻2 ,
term is chosen as 𝑢0 ≡ 𝑢̃0 , and supposing that 𝑗=1
(34)
𝑢𝑚−1 ∈ 𝑊1 (𝑀, 𝑇) , (29) 𝑘
𝑢̃1𝑘 = ∑ 𝛽𝑗(𝑘) 𝑤𝑗 → 𝑢̃1 strongly in 𝑉.
we associate problem (1) with the following problem. 𝑗=1
Mathematical Problems in Engineering 5
The system of (33) can be rewritten in form Then, it follows from (33), (37)(iii),(v) , (38), (39) that
𝑘
(𝑘)
(𝑘)
̈ (𝑡) + ∑𝐴(𝑚)
𝑐𝑚𝑗 (𝑘) 𝑆𝑚 (𝑡)
𝑖𝑗 (𝑡) 𝑐𝑚𝑖 (𝑡) = 𝑓𝑗 (𝑡) ,
𝑖=1
(𝑘)
= 𝑆𝑚 (0) + 2 ⟨𝜇𝑚𝑥 (0) 𝑢̃0𝑘𝑥 , Δ̃
𝑢0𝑘 ⟩
(𝑘)
𝑐𝑚𝑗 (0) = 𝛼𝑗(𝑘) , (35)
𝑢0𝑘 ⟩
+ 2 ⟨𝑓 (0) , Δ̃
(𝑘)
̇ (0) = 𝛽𝑗(𝑘) ,
𝑐𝑚𝑗 𝑡 1
(𝑘) 2
+ ∫ 𝑑𝑠 ∫ 𝜇𝑚 (𝑥, 𝑠) Δ𝑢𝑚 (𝑥, 𝑠) 𝑑𝑥
1 ≤ 𝑗 ≤ 𝑘, 0 0
𝑡
where 𝜕𝐴 𝑚 (𝑘) (𝑘)
+∫ (𝑠; 𝑢𝑚 (𝑠) , 𝑢𝑚 (𝑠)) 𝑑𝑠
𝐴(𝑚) 0 𝜕𝑡
𝑖𝑗 (𝑡) = 𝐴 𝑚 (𝑡; 𝑤𝑖 , 𝑤𝑗 ) ,
𝑡
𝜕 (𝑘) (𝑘)
𝑓𝑗 (𝑡) = ⟨𝑓 (𝑡) , 𝑤𝑗 ⟩ , (36) + 2∫ ⟨ [𝜇 (𝑠) 𝑢𝑚𝑥 (𝑠)] , Δ𝑢𝑚 (𝑠)⟩ 𝑑𝑠
0 𝜕𝑠 𝑚𝑥
1 ≤ 𝑖, 𝑗 ≤ 𝑘. (𝑘)
− 2 ⟨𝜇𝑚𝑥 (𝑡) 𝑢𝑚𝑥 (𝑘)
(𝑡) , Δ𝑢𝑚 (𝑡)⟩ (40)
By (29), it is not difficult to prove that system (35), (36) 𝑡
(𝑘) (𝑘)
has a unique solution 𝑐𝑚𝑗 (𝑡), 1 ≤ 𝑗 ≤ 𝑘 on interval [0, 𝑇], so + 2 ∫ ⟨𝑓 (𝑠) , 𝑢̇𝑚 (𝑠)⟩ 𝑑𝑠
0
let us omit the details (see [19]).
𝑡
Step 2 (a priori estimates). First, we need the following + 2 ∫ ⟨𝑓 (𝑠) , Δ𝑢𝑚
(𝑘)
(𝑠)⟩ 𝑑𝑠
0
lemma.
𝑡
(𝑘) 2
Lemma 7. Putting 𝜇 = 𝐾 ∗ ̃𝑀(𝜇)[1 + (1 + 2𝑀)𝐾𝑀(𝑔)], one has
(𝑘)
− 2 ⟨𝑓 (𝑡) , Δ𝑢𝑚 (𝑡)⟩ + ∫ 𝑢̈𝑚 (𝑠) 𝑑𝑠
0
̃
(i) 𝐴 𝑚 (𝑡; 𝑢, V) ≤ 𝐾 (𝜇) ‖𝑢‖𝑎 ‖V‖𝑎 (𝑘)
≡ 𝑆𝑚 (0) + 2 ⟨𝜇𝑚𝑥 (0) 𝑢̃0𝑘𝑥 , Δ̃
𝑢0𝑘 ⟩
∀𝑢, V ∈ 𝑉, 0 ≤ 𝑡 ≤ 𝑇∗ , 8
𝑢0𝑘 ⟩ + ∑ 𝐼𝑗 .
+ 2 ⟨𝑓 (0) , Δ̃
(ii) 𝐴 𝑚 (𝑡; V, V) ≥ 𝜇0 ‖V‖2𝑎 ∀V ∈ 𝑉, 0 ≤ 𝑡 ≤ 𝑇∗ , 𝑗=1
So, by (24), (25), and (41), we obtain Similarly, from the following equality
𝜕 𝜕𝜇𝑚
𝜇𝑚𝑥 (𝑥, 𝑡) = [ (𝑥, 𝑡)] = 𝐷2 𝐷1 𝜇 [𝑢𝑚−1 ]
𝜇𝑚 (𝑥, 𝑡) ≤ 𝜇∗ . (43) 𝜕𝑡 𝜕𝑥
1 𝜕𝑔 [𝑢𝑚−1 ]
+ 𝐷3 𝐷1 𝜇 [𝑢𝑚−1 ] ∫ (𝑥, 𝑦, 𝑡) 𝑑𝑦
Hence, 0 𝜕𝑡
+ (𝐷2 𝐷3 𝜇 [𝑢𝑚−1 ]
𝑡 1
(𝑘) 2
𝐼1 = ∫ 𝑑𝑠 ∫
𝜇𝑚 (𝑥, 𝑠) Δ𝑢𝑚 (𝑥, 𝑠) 𝑑𝑥
0 0 1 𝜕𝑔 [𝑢𝑚−1 ]
∗ 𝑡
(44) + 𝐷32 𝜇 [𝑢𝑚−1 ] ∫ (𝑥, 𝑦, 𝑡) 𝑑𝑦)
𝜇 0 𝜕𝑡
≤ ∫ 𝑆(𝑘) (𝑠) 𝑑𝑠.
𝜇0 0 𝑚 1
⋅ ∫ 𝐷1 𝑔 [𝑢𝑚−1 ] (𝑥, 𝑦, 𝑡) 𝑑𝑦 + 𝐷3 𝜇 [𝑢𝑚−1 ]
0
Second Term 𝐼2 . By Lemma 7 (ii) and (iv), we have 1 𝜕𝐷1 𝑔 [𝑢𝑚−1 ] (49)
⋅∫ (𝑥, 𝑦, 𝑡) 𝑑𝑦;
0 𝜕𝑡
𝑡
𝜕𝐴 𝑚 𝜕𝑔 [𝑢𝑚−1 ]
𝐼2 = ∫
(𝑘)
(𝑠; 𝑢𝑚 (𝑘)
(𝑠) , 𝑢𝑚 (𝑠)) 𝑑𝑠 (𝑥, 𝑦, 𝑡) = 𝐷3 𝑔 [𝑢𝑚−1 ] (𝑥, 𝑦, 𝑡)
0 𝜕𝑡
(45) 𝜕𝑡
𝑡
(𝑘) 2 𝜇∗ 𝑡 (𝑘)
≤ 𝜇 ∫ 𝑢𝑚
∗
(𝑡)𝑎 𝑑𝑠 ≤ ∫ 𝑆 (𝑠) 𝑑𝑠. + 𝐷4 𝑔 [𝑢𝑚−1 ] (𝑥, 𝑦, 𝑡) 𝑢𝑚−1 (𝑦, 𝑡) + 𝐷5 𝑔 [𝑢𝑚−1 ]
0 𝜇0 0 𝑚
⋅ (𝑥, 𝑦, 𝑡) ∇𝑢𝑚−1 (𝑦, 𝑡) ;
̃𝑀 (𝜇) 𝐾𝑀 (𝑔) [1
+𝐾
𝜕
(𝑠) = [𝜇𝑚𝑥 (𝑠) 𝑢𝑚𝑥
𝐽𝑚(𝑘) (𝑘)
(𝑠)]
𝜕𝑠 1
+ 𝐾𝑀 (𝑔) ∫ (1 + 𝑢𝑚−1 (𝑡) + ∇𝑢𝑚−1 (𝑡)) 𝑑𝑦]
(50)
≤ 𝜇𝑚𝑥 (𝑠)𝐶0 (Ω) 𝑢̇𝑚𝑥 (𝑘)
(𝑠) 0
𝜇𝑚𝑥 (𝑡)𝐶0 (Ω) ≤ 𝐾
̃𝑀 (𝜇) (1 + 𝐾𝑀 (𝑔)) . (48) 𝐽𝑚(𝑘) (𝑠) ≤ 𝜁1 (𝑀) √𝑆𝑚
(𝑘)
(𝑠), (51)
Mathematical Problems in Engineering 7
where for all 𝑡 ∈ [0, 𝑇], for all 𝑚 and 𝑘. Therefore, we have
𝜁2 (𝑀) (𝑘)
𝑢𝑚 ∈ 𝑊 (𝑀, 𝑇) , ∀𝑚, 𝑘. (72)
(64)
̃𝑀 (𝜇) ( 1 + 𝜇0 ) [1 + 𝐾
= 4𝐾 ̃𝑀 (𝜇) (1 + 𝐾𝑀 (𝑔)) ] . 2
Note that 𝐷1 𝑔 [𝑢𝑚 ] (𝑠)𝐶0 (Ω) ≤ 𝐾𝑀 (𝑔) ,
𝜇𝑚+1 (𝑠) − 𝜇𝑚 (𝑠)𝐶0 (Ω)
𝑑
𝐴 (𝑡; 𝑤𝑚 (𝑡) , 𝑤𝑚 (𝑡)) ̃𝑀 (𝜇) 𝐾𝑀 (𝑔) ∇𝑤𝑚−1 (𝑠)
𝑑𝑡 𝑚+1 ≤ 2𝐾
̃𝑀 (𝜇) 𝐾𝑀 (𝑔) 𝑤𝑚−1
= 2𝐴 𝑚+1 (𝑡; 𝑤𝑚 (𝑡) , 𝑤𝑚 (𝑡)) ≤ 2𝐾 𝑊1 (𝑇) ,
𝜕𝐴 𝑚+1
+ (𝑡; 𝑤𝑚 (𝑡) , 𝑤𝑚 (𝑡)) , (77) 𝐷𝑖 𝜇 [𝑢𝑚 ] (𝑠) − 𝐷𝑖 𝜇 [𝑢𝑚−1 ] (𝑠)𝐶0 (Ω)
𝜕𝑡
≤ 2𝐾 ̃𝑀 (𝜇) 𝐾𝑀 (𝑔) 𝑤𝑚−1
𝐴 𝑚+1 (𝑡; 𝑢𝑚 (𝑡) , 𝑤𝑚
(𝑡)) − 𝐴 𝑚 (𝑡; 𝑢𝑚 (𝑡) , 𝑤𝑚 (𝑡)) 𝑊1 (𝑇) , 𝑖 = 1, 3,
𝜕 𝐷1 𝑔 [𝑢𝑚 ] (𝑠) − 𝐷1 𝑔 [𝑢𝑚−1 ] (𝑠)𝐶0 (Ω)
= −⟨ [(𝜇𝑚+1 (𝑡) − 𝜇𝑚 (𝑡)) 𝑢𝑚𝑥 (𝑡)] , 𝑤𝑚 (𝑡)⟩ .
𝜕𝑥
≤ 2𝐾𝑀 (𝑔) 𝑤𝑚−1 𝑊1 (𝑇)
(81)
Taking 𝑤 = 𝑤𝑚 (𝑡) in (76)1 , after integrating in 𝑡, we get
and from the equation
𝜕
𝜕𝐴 𝑚+1𝑡 [(𝜇𝑚+1 (𝑠) − 𝜇𝑚 (𝑠)) ∇𝑢𝑚 (𝑠)] = (𝜇𝑚+1 (𝑠)
𝑍𝑚 (𝑡) = ∫ (𝑠; 𝑤𝑚 (𝑠) , 𝑤𝑚 (𝑠)) 𝑑𝑠 𝜕𝑥
0 𝜕𝑡
− 𝜇𝑚 (𝑠)) Δ𝑢𝑚 (𝑠) + (𝐷1 𝜇 [𝑢𝑚 ] (𝑠) − 𝐷1 𝜇 [𝑢𝑚−1 ]
𝑡
𝜕
+ 2 ∫ ⟨ [(𝜇𝑚+1 (𝑠) − 𝜇𝑚 (𝑠)) 𝑢𝑚𝑥 (𝑠)] , (78)
0 𝜕𝑥 ⋅ (𝑠)) 𝑢𝑚𝑥 (𝑠) + [(𝐷3 𝜇 [𝑢𝑚 ] (𝑠) − 𝐷3 𝜇 [𝑢𝑚−1 ] (𝑠))
(82)
𝑤𝑚 (𝑠)⟩ 𝑑𝑠 ≡ 𝐽1 + 𝐽2 , 1
⋅ ∫ 𝐷1 𝑔 [𝑢𝑚 ] (𝑥, 𝑦, 𝑠) 𝑑𝑦] 𝑢𝑚𝑥 (𝑠) + [𝐷3 𝜇 [𝑢𝑚−1 ]
0
1
where
⋅ (𝑠) ∫ (𝐷1 𝑔 [𝑢𝑚 ] − 𝐷1 𝑔 [𝑢𝑚−1 ]) 𝑑𝑦] 𝑢𝑚𝑥 (𝑠) ,
0
2
𝑍𝑚 (𝑡) = 𝑤𝑚 (𝑡) + 𝐴 𝑚+1 (𝑡; 𝑤𝑚 (𝑡) , 𝑤𝑚 (𝑡)) we obtain that
(79) 𝜕
2 2 [(𝜇𝑚+1 (𝑠) − 𝜇𝑚 (𝑠)) ∇𝑢𝑚 (𝑠)] ≤ 2𝑀𝐾 ̃𝑀 (𝜇)
≥ 𝑤𝑚 (𝑡) + 𝜇0 𝑤𝑚 (𝑡)𝑎 , 𝜕𝑥
(83)
⋅ 𝐾𝑀 (𝑔) [1 + √2 (2 + 𝐾𝑀 (𝑔))] 𝑤𝑚−1 𝑊1 (𝑇) .
and the integrals on the right-hand side of (78) are estimated
as follows. This implies that
𝑡 𝜕
First Integral 𝐽1 . By (37)(iv) and (79), we have 𝐽2 ≤ 2 ∫ ⟨ [(𝜇𝑚+1 (𝑠) − 𝜇𝑚 (𝑠)) ∇𝑢𝑚 (𝑠)] ,
0 𝜕𝑥
𝜕𝐴 ̃2 (𝜇) 𝐾2 (𝑔) [1
𝑡
𝑚+1 𝑤𝑚
(𝑠)⟩ 𝑑𝑠 ≤ 4𝑇𝑀2 𝐾𝑀 𝑀 (84)
𝐽1 ≤ ∫ (𝑠; 𝑤𝑚 (𝑠) , 𝑤𝑚 (𝑠)) 𝑑𝑠
0 𝜕𝑡
(80) 2 𝑡
2
𝜇∗ 𝑡 + √2 (2 + 𝐾𝑀 (𝑔))] 𝑤𝑚−1 𝑊1 (𝑇) + ∫ 𝑍𝑚 (𝑠) 𝑑𝑠.
≤ ∫ 𝑍 (𝑠) 𝑑𝑠. 0
𝜇0 0 𝑚
Combining (78), (80), and (84), we obtain
2
Second Integral 𝐽2 . By the inequalities ̃2 (𝜇) 𝐾 (𝑔)
𝑍𝑚 (𝑡) ≤ 4𝑇𝑀2 𝐾𝑀 𝑀
2 2
⋅ [1 + √2 (2 + 𝐾𝑀 (𝑔))] 𝑤𝑚−1 𝑊1 (𝑇)
(85)
Δ𝑢𝑚 (𝑠)𝐻2 ≤ 𝑢𝑚 (𝑠)𝐻2 ≤ 𝑀,
𝜇0 + 𝜇∗ 𝑡
+ ∫ 𝑍𝑚 (𝑠) 𝑑𝑠.
𝑢𝑚𝑥 (𝑠)𝐶0 (Ω) ≤ √2 𝑢𝑚𝑥 (𝑠)𝐻1 ≤ √2 𝑢𝑚 (𝑠)𝐻2 𝜇0 0
where 𝑘𝑇 ∈ (0, 1) is defined as in (69), which implies that On the other hand, from the assumptions (𝐻2 )–(𝐻4 ) we
obtain from (89)4 , (93), and (94) that
𝑢𝑚 − 𝑢𝑚+𝑝 −1 𝑚
𝑊1 (𝑇) ≤ 𝑢0 − 𝑢1 𝑊1 (𝑇) (1 − 𝑘𝑇 ) 𝑘𝑇 , 𝜕
(87) 𝑢 = (𝜇 [𝑢] (𝑡) 𝑢𝑥 ) + 𝑓 ∈ 𝐿∞ (0, 𝑇; 𝐿2 ) , (96)
∀𝑚, 𝑝 ∈ N. 𝜕𝑥
and thus we have 𝑢 ∈ 𝑊1 (𝑀, 𝑇). The existence result follows.
It follows that {𝑢𝑚 } is a Cauchy sequence in 𝑊1 (𝑇). Then
there exists 𝑢 ∈ 𝑊1 (𝑇) such that (b) Uniqueness of the Solution. Let 𝑢1 , 𝑢2 ∈ 𝑊1 (𝑀, 𝑇) be two
weak solutions of prob. (1)–(3). Then 𝑢 = 𝑢1 − 𝑢2 satisfies the
𝑢𝑚 → 𝑢 strongly in 𝑊1 (𝑇) . (88) variational problem
Note that 𝑢𝑚 ∈ 𝑊1 (𝑀, 𝑇); then there exists a subsequence ⟨𝑢 (𝑡) , 𝑤⟩ + 𝐴 [𝑢1 ] (𝑡; 𝑢 (𝑡) , 𝑤)
{𝑢𝑚𝑗 } of {𝑢𝑚 } such that
= −𝐴 [𝑢1 ] (𝑡; 𝑢2 (𝑡) , 𝑤) + 𝐴 [𝑢2 ] (𝑡; 𝑢2 (𝑡) , 𝑤) ,
(97)
𝑢𝑚𝑗 → 𝑢 in 𝐿∞ (0, 𝑇; 𝑉 ∩ 𝐻2 ) weak∗ , ∀𝑤 ∈ 𝑉,
𝑢𝑚 𝑗
→ 𝑢 in 𝐿∞ (0, 𝑇; 𝑉) weak∗ , 𝑢 (0) = 𝑢 (0) = 0,
(89)
𝑢𝑚 𝑗
→ 𝑢 in 𝐿2 (𝑄𝑇 ) weak, where
𝐴 [𝑢𝑖 ] (𝑡; 𝑢, 𝑤)
𝑢 ∈ 𝑊 (𝑀, 𝑇) .
= ⟨𝜇 [𝑢𝑖 ] (𝑡) 𝑢𝑥 , 𝑤𝑥 ⟩ + ℎ0 𝜇 [𝑢𝑖 ] (0, 𝑡) 𝑢 (0) 𝑤 (0) ,
We also note that
𝑢, 𝑤 ∈ 𝑉,
𝜇𝑚 (𝑥, 𝑡) − 𝜇 [𝑢] (𝑥, 𝑡)
𝜇 [𝑢𝑖 ] (𝑥, 𝑡) (98)
̃𝑀 (𝜇) 𝐾𝑀 (𝑔) 𝑢𝑚−1 − 𝑢
≤ 2𝐾 𝑊1 (𝑇) , (90)
1
a.e. (𝑥, 𝑡) ∈ 𝑄𝑇 . = 𝜇 (𝑥, 𝑡, ∫ 𝑔 (𝑥, 𝑦, 𝑡, 𝑢𝑖 (𝑦, 𝑡) , ∇𝑢𝑖 (𝑦, 𝑡) 𝑑𝑦)) ,
0
⟨𝑢 (𝑡) , 𝑤⟩ + 𝐴 [𝑢] (𝑡; 𝑢 (𝑡) , 𝑤) = ⟨𝑓 (𝑡) , 𝑤⟩ (94) 4. Asymptotic Expansion of the Solution
for all 𝑤 ∈ 𝑉 and the initial conditions
with respect to a Small Parameter
In this section, let (𝐻1 )–(𝐻4 ) hold. We make more the
𝑢 (0) = 𝑢̃0 ,
following assumptions:
(95)
𝑢 (0) = 𝑢̃1 . (𝐻2 ) 𝑔1 ∈ 𝐶2 ([0, 1]2 × R+ × R2 ).
Mathematical Problems in Engineering 11
(𝐻3 ) 𝜇1 ∈ 𝐶2 ([0, 1]×R+ ×R) and 𝜇1 (𝑥, 𝑡, 𝑧) ≥ 0, for all (𝑥, where the coefficients 𝑃𝑘(𝑚) [𝑁, 𝑥], 𝑚 ≤ 𝑘 ≤ 𝑚𝑁, depend on
𝑡, 𝑧) ∈ [0, 1] × R+ × R. 𝑥 = (𝑥1 , . . . , 𝑥𝑁) defined by the formulas
First, we need the following lemma. where 𝐹̃𝑘 [𝑢𝑘 ], 1 ≤ 𝑘 ≤ 𝑁, are defined by the formulas
𝐹̃𝑘 = 𝐹̃𝑘 [𝑢𝑘 ]
Lemma 9. Let 𝑚, 𝑁 ∈ N and 𝑥 = (𝑥1 , . . . , 𝑥𝑁) ∈ R𝑁, 𝜀 ∈ R.
Then 𝑘
𝜕
=∑ [(𝜌𝑖 [𝑁, 𝜇, 𝑔] + 𝜌𝑖−1 [𝑁 − 1, 𝜇1 , 𝑔1 ]) (105)
𝑁 𝑚 𝑚𝑁 𝑖=1 𝜕𝑥
(∑𝑥𝑖 𝜀𝑖 ) = ∑ 𝑃𝑘(𝑚) [𝑁, 𝑥] 𝜀𝑘 , (103)
𝑖=1 𝑘=𝑚 ∇𝑢𝑘−𝑖 ] , 1 ≤ 𝑘 ≤ 𝑁,
12 Mathematical Problems in Engineering
1 ≤ 𝑘 ≤ 𝑁, 𝑁
1 𝑗 (112)
= 𝜇 [𝑢0 ] + ∑ 𝐷3 𝜇 [𝑢0 ] 𝜉𝑗
𝑗!
Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢] (108) 𝑗=1
+ 𝑅𝑁 [𝜇, 𝑢0 , ℎ1 , 𝜉] ,
[𝑁,→
[𝑁, ∇→
(𝛽1 ) (𝛽2 )
= ∑ 𝑃𝑖 𝑢 ] 𝑃𝑗 𝑢],
̃
(𝑖,𝑗)∈𝐴(𝛽,𝑁),𝑖+𝑗=𝑘 where
̃ (𝛽, 𝑁)
𝐴 1 𝑁+1 1
𝑅𝑁 [𝜇, 𝑢0 , ℎ1 , 𝜉] = 𝜉 ∫ (1 − 𝜃)𝑁 𝐷3𝑁+1 𝜇
𝑁! 0
= {(𝑖, 𝑗) ∈ Z2+ : 𝛽1 ≤ 𝑖 ≤ 𝑁𝛽1 , 𝛽2 ≤ 𝑗 ≤ 𝑁𝛽2 } .
1
(113)
Then, we have the following theorem. ⋅ (𝑥, 𝑡, ∫ 𝑔 [𝑢0 ] (𝑥, 𝑦, 𝑡) 𝑑𝑦 + 𝜃𝜉) 𝑑𝜃
0
Theorem 10. Let (𝐻1 ), (𝐻4 ), (𝐻2𝑁), and (𝐻3𝑁) hold. Then there = ̂ (1)
𝜀𝑁+1 𝑅 [𝜇, 𝑢0 , ℎ1 , 𝜉, 𝜀] .
𝑁
exist constants 𝑀 > 0 and 𝑇 > 0 such that, for every 0 ≤ 𝜀 ≤ 1,
the problem (𝑃𝜀 ) has a unique weak solution 𝑢𝜀 ∈ 𝑊1 (𝑀, 𝑇) Similarly, with 𝑔[ℎ], by using Taylor’s expansion of the
satisfying the asymptotic estimation up to order 𝑁+1 as follows: function 𝑔[ℎ](𝑥, 𝑦, 𝑡) = 𝑔(𝑥, 𝑦, 𝑡, 𝑢0 + ℎ1 , ∇𝑢0 + ∇ℎ1 ) around
𝑁 the point [𝑢0 ] ≡ (𝑥, 𝑦, 𝑡, 𝑢0 , ∇𝑢0 ) up to order 𝑁 + 1, we obtain
𝑘
𝑢𝜀 − ∑ 𝑢𝑘 𝜀 ≤ 𝐶𝑇 𝜀𝑁+1 , (109)
𝑔 [ℎ] (𝑥, 𝑦, 𝑡) = 𝑔 [𝑢0 ]
𝑘=0 𝑊1 (𝑇)
where the functions 𝑢𝑘 , 0 ≤ 𝑘 ≤ 𝑁, are the weak solutions of 1 𝛽 𝛽 𝛽
+ ∑ 𝐷 𝑔 [𝑢0 ] ℎ1 1 (∇ℎ1 ) 2 (114)
the problems (𝑃0 ), (𝑃̃𝑘 ), 1 ≤ 𝑘 ≤ 𝑁, respectively, and 𝐶𝑇 is a 1≤|𝛽|≤𝑁
𝛽!
constant depending only on 𝑁, 𝑇, 𝜇, 𝜇1 , 𝑓, 𝑔, 𝑔1 , 𝑢𝑘 , 0 ≤ 𝑘 ≤ 𝑁.
+ 𝑅𝑁 [𝑔, 𝑢0 , ℎ1 , 𝜀] ,
In order to prove Theorem 10, we need the following
lemmas. where
𝑁+1 1
Lemma 11. Let 𝜌𝑘 [𝑁, 𝜇, 𝑔], 1 ≤ 𝑘 ≤ 𝑁, be the functions 𝑅𝑁 [𝑔, 𝑢0 , ℎ1 , 𝜀] = ∑ ∫ (1 − 𝜃)𝑁
defined by the formulas (106)–(108). Putting ℎ = ∑𝑁 𝑘 𝛽! 0
𝑘=0 𝑢𝑘 𝜀 , |𝛽|=𝑁+1
then one has (115)
𝑁 ⋅ 𝐷𝛽 𝑔 (𝑥, 𝑦, 𝑡, 𝑢0 + 𝜃ℎ1 , ∇𝑢0 + 𝜃∇ℎ1 )
̂ 𝑁 [𝜇, 𝑔, 𝑢0 ,→
𝜇 [ℎ] = ∑ 𝜌𝑘 [𝑁, 𝜇, 𝑔] 𝜀𝑘 + 𝜀𝑁+1 𝑅
𝑢 , 𝜀] , (110) 𝛽 𝛽
𝑘=0 ⋅ ℎ1 1 (∇ℎ1 ) 2 𝑑𝜃 = 𝜀𝑁+1 𝑅𝑁
(1)
[𝜀, 𝑔, 𝑢0 , ℎ1 ] ,
Mathematical Problems in Engineering 13
𝛽 𝛽
𝛽 = (𝛽1 , 𝛽2 ) ∈ Z2+ , |𝛽| = 𝛽1 +𝛽2 , 𝛽! = 𝛽1 !𝛽2 !, 𝐷𝛽 𝑔 = 𝐷4 1 𝐷5 2 𝑔, where
𝐷𝛽 𝑔[𝑢0 ] = 𝐷𝛽 𝑔(𝑥, 𝑦, 𝑡, 𝑢0 , ∇𝑢0 ). 𝜀𝑁+1 𝑅𝑁
(2)
[𝜀, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 ]
Note, by formula (103), we get
𝑁|𝛽|
1 𝛽
𝑁 𝛽1 𝑁𝛽1 = ∑ 𝐷 𝑔 [𝑢0 ] ∑ Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢 ] 𝜀𝑘 (121)
𝛽!
[𝑁,→
𝛽 (𝛽1 )
ℎ1 1 = ( ∑ 𝑢𝑘 𝜀𝑘 ) = ∑ 𝑃𝑖 𝑢 ] 𝜀𝑖 , (116) 1≤|𝛽|≤𝑁 𝑘=𝑁+1
𝑘=1 𝑖=𝛽1
+ 𝜀𝑁+1 𝑅𝑁
(1)
[𝜀, 𝑔, 𝑢0 , ℎ1 ] .
where →
𝑢 = (𝑢1 , . . . , 𝑢𝑁). Therefore
Similarly, with (∇ℎ1 )𝛾2 , we also have 1
𝜉 = ∫ (𝑔 [ℎ] (𝑥, 𝑦, 𝑡) − 𝑔 [𝑢0 ] (𝑥, 𝑦, 𝑡)) 𝑑𝑦
0
𝑁 𝛽2 𝑁𝛽2
[𝑁, ∇→
𝛽2 (𝛽2 )
(∇ℎ1 ) = ( ∑ ∇𝑢𝑘 𝜀𝑘 ) = ∑ 𝑃𝑗 𝑢 ] 𝜀𝑗 , (117) 𝑁
1 1 𝛽
𝑘=1 𝑗=𝛽2 = ∑( ∑ ∫ 𝐷 𝑔 [𝑢0 ] Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢 ] 𝑑𝑦)
𝑘=1 1≤|𝛽|≤𝑘
𝛽! 0
where ∇→
𝑢 = (∇𝑢1 , . . . , ∇𝑢𝑁). 1
(122)
Hence, we deduce from (116), (117) that ⋅ 𝜀𝑘 + 𝜀𝑁+1 ∫ 𝑅𝑁
(2)
[𝜀, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 ] 𝑑𝑦
0
𝑁
= ∑ Ψ𝑘 [𝑁, 𝑔, 𝑢0 ,→
𝑢 , ∇→
𝑁
𝑢 ] 𝜀𝑘
= ∑ Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝛽 𝛽2
ℎ1 1 (∇ℎ1 ) 𝑢 ] 𝜀𝑘
𝑘=1
𝑘=|𝛽|
𝑁|𝛽|
(118) + 𝜀𝑁+1 𝑅𝑁
(3)
[𝜀, 𝑔, 𝑢0 , ℎ1 ,→
𝑢],
+ ∑ Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢 ] 𝜀𝑘 , with
𝑘=𝑁+1
Ψ𝑘 [𝑁, 𝑔, 𝑢0 ,→
𝑢 , ∇→
𝑢]
where
1 1 𝛽
= ∑ ∫ 𝐷 𝑔 [𝑢0 ] Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢 ] 𝑑𝑦,
Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢] 1≤|𝛽|≤𝑘
𝛽! 0
(123)
[𝑁,→
𝑢 ] 𝑃𝑗 2 [𝑁, ∇→
1 ≤ 𝑘 ≤ 𝑁,
(𝛽 ) (𝛽 )
= ∑ 𝑃𝑖 1 𝑢],
̃
(𝑖,𝑗)∈𝐴(𝛽,𝑁),𝑖+𝑗=𝑘 1
(119) (3)
𝑅𝑁 [𝜀, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 ] = ∫ 𝑅(2) [𝜀, 𝑔, 𝑢 , ℎ ,→
𝑁
0 1 𝑢 ] 𝑑𝑦.
̃ (𝛽, 𝑁)
𝐴 0
𝑗
𝑔 [ℎ]
+ 𝜀𝑁+1 𝑅𝑁
(3)
[𝜀, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 ])
= 𝑔 [𝑢0 ]
𝑁 𝑗
𝑁
+ ∑
1 𝛽
𝐷 𝑔 [𝑢0 ] ∑ Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢 ] 𝜀𝑘 = ( ∑ Ψ𝑘 [𝑁, 𝑔, 𝑢0 ,→
𝑢 , ∇→
𝑢 ] 𝜀𝑘 )
1≤|𝛽|≤𝑁
𝛽! 𝑘=|𝛽| 𝑘=1
𝑁|𝛽| + 𝜀𝑁+1 𝑅𝑁
(4)
[𝜀, 𝑗, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 , ∇→
𝑢]
1 𝛽 (124)
+ ∑ 𝐷 𝑔 [𝑢0 ] ∑ Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢 ] 𝜀𝑘
1≤|𝛽|≤𝑁
𝛽! 𝑘=𝑁+1
𝑗𝑁
→
= ∑ 𝑃𝑘 [𝑁, Ψ [𝑁, 𝑔, 𝑢0 ,→
𝑢 , ∇→
(120) (𝑗)
𝑢 ]] 𝜀𝑘
+ 𝜀𝑁+1 𝑅𝑁
(1)
[𝜀, 𝑔, 𝑢0 , ℎ1 ] 𝑘=𝑗
= 𝑔 [𝑢0 ] + 𝜀𝑁+1 𝑅𝑁
(4)
[𝜀, 𝑗, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 , ∇→
𝑢]
𝑁 𝑗𝑁
1 𝛽
+∑ ∑ 𝐷 𝑔 [𝑢0 ] Ψ𝑘 [𝛽, 𝑁,→
𝑢 , ∇→
𝑢 ] 𝜀𝑘 ≡ ∑ Φ𝑘 [𝑗, 𝑁, 𝑔, 𝑢0 ,→
𝑢 ] 𝜀𝑘
𝑘=1 1≤|𝛽|≤𝑘
𝛽! 𝑘=𝑗
+ 𝜀𝑁+1 𝑅𝑁
(2)
[𝜀, 𝑔, 𝑢0 , ℎ1 ,→
𝑢], + 𝜀𝑁+1 𝑅𝑁
(4)
[𝜀, 𝑗, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 , ∇→
𝑢],
14 Mathematical Problems in Engineering
Φ𝑘 [𝑗, 𝑁, 𝑔, 𝑢0 ,→
→
𝑢 ] = 𝑃𝑘 [𝑁, Ψ [𝑁, 𝑔, 𝑢0 ,→
(𝑗) 𝑢 , ∇→
𝑢 ]] ̂ 𝑁 [𝜇, 𝑔, 𝑢0 ,→
𝑅 𝑢 , 𝜀]
Ψ𝑘 [𝑁, 𝑔, 𝑢0 ,→
𝑢 , ∇→
𝑢 ] , 1 𝑗
{
{
{
𝑗 = 1, = ∑ (5)
𝐷 𝜇 [𝑢0 ] 𝑅𝑁 [𝜀, 𝑗, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 ]
(129)
={ 𝑗! →
𝛼 1≤𝑗≤𝑁 𝑗!
→
→
{ ∑ 𝛼! Ψ [𝑁, 𝑔, 𝑢0 , 𝑢 , ∇ 𝑢 ] ,
{ 𝑗 ≤ 𝑘 ≤ 𝑗𝑁, 𝑗 ≥ 2, (125)
(𝑗)
{𝛼∈𝐴 𝑘 (𝑁) ̂ (1) [𝜇, 𝑢0 , ℎ1 , 𝜉] .
+𝑅 𝑁
𝑁
(𝑗)
𝐴 𝑘 (𝑁) = {𝛼 ∈ Z𝑁
+ : |𝛼| = 𝑗, ∑𝑖𝛼𝑖 = 𝑘} , By the boundedness of the functions 𝑢𝑘 , ∇𝑢𝑘 , 1 ≤ 𝑘 ≤
𝑖=1
𝑁, in the function space 𝐿∞ (0, 𝑇; 𝐿2 ), we obtain from
(113), (115), (121), (123)2 , (124), and (127) that ‖𝑅 ̂ 𝑁[𝜇,
→
with Ψ[𝑁, 𝑔, 𝑢0 ,→
𝑢 , ∇→
𝑢 ] = (Ψ1 [𝑁, 𝑔, 𝑢0 ,→
𝑢 , ∇→
𝑢 ], . . . , Ψ𝑁[𝑁, →
𝑔, 𝑢0 , 𝑢 , 𝜀]‖𝐿∞ (0,𝑇;𝐿2 ) ≤ 𝐶, where 𝐶 is a constant depending
→ →
𝑔, 𝑢0 , 𝑢 , ∇ 𝑢 ]), which are defined by (108). only on 𝑁, 𝑇, 𝜇, 𝑔, 𝑢𝑘 , 1 ≤ 𝑘 ≤ 𝑁. Thus, Lemma 11 is
𝑗𝑁
Decompose the sum ∑𝑘=𝑗 into the sum of two sums ∑𝑁 𝑘=𝑗
proved.
𝑗𝑁
and ∑𝑘=𝑁+1 ; therefore, we deduce from (124) that Remark 12. Lemma 11 is a generalization of the formula
contained in ([9], p.262, formula (4.38)) and it is useful to
𝑁 obtain the following Lemma 13. These lemmas are the key to
𝜉𝑗 = ∑ Φ𝑘 [𝑗, 𝑁, 𝑔, 𝑢0 ,→
𝑢 ] 𝜀𝑘 establish the asymptotic expansion of the weak solution 𝑢𝜀 of
𝑘=𝑗 (126) order 𝑁 + 1 in a small parameter 𝜀 as follows.
Let 𝑢 = 𝑢𝜀 ∈ 𝑊1 (𝑀, 𝑇) be the unique weak solution of
+ 𝜀𝑁+1 𝑅𝑁
(5)
[𝜀, 𝑗, 𝑔, 𝑢0 ,→
𝑢], problem (𝑃𝜀 ). Then V = 𝑢𝜀 − ∑𝑁 𝑘
𝑘=0 𝑢𝑘 𝜀 ≡ 𝑢𝜀 − ℎ satisfies the
problem
where
𝜕
V − (𝜇 [V + ℎ] V𝑥 )
𝜕𝑥 𝜀
𝜀𝑁+1 𝑅𝑁
(5)
[𝜀, 𝑗, 𝑔, 𝑢0 ,→
𝑢]
𝜕
𝑗𝑁 = [(𝜇𝜀 [V + ℎ] − 𝜇𝜀 [ℎ]) ℎ𝑥 ] + 𝐸𝜀 (𝑥, 𝑡) ,
𝜕𝑥
= ∑ Φ𝑘 [𝑗, 𝑁, 𝑔, 𝑢0 ,→
𝑢 ] 𝜀𝑘 (127) (130)
𝑘=𝑁+1 0 < 𝑥 < 1, 0 < 𝑡 < 𝑇,
+ 𝜀𝑁+1 𝑅𝑁
(4)
[𝜀, 𝑗, 𝑔, 𝑢0 , ℎ1 ,→
𝑢 , ∇→
𝑢]. V𝑥 (0, 𝑡) − ℎ0 V (0, 𝑡) = V (1, 𝑡) = 0,
V (𝑥, 0) = V (𝑥, 0) = 0,
Hence, it follows from (112) and (124) that
where
𝜇 [ℎ] = 𝜇 [𝑢0 ]
𝜕
𝑁 𝐸𝜀 (𝑥, 𝑡) = [(𝜇 [ℎ] − 𝜇 [𝑢0 ] + 𝜀𝜇1 [ℎ]) ℎ𝑥 ]
1 𝜕𝑥
+ ∑ 𝐷𝑗 𝜇 [𝑢0 ] ∑ Φ𝑘 [𝑗, 𝑁, 𝑔, 𝑢0 ,→
𝑢 ] 𝜀𝑘
1≤𝑗≤𝑁 𝑗! 𝑘=𝑗 𝑁
(131)
− ∑ 𝐹̃𝑘 𝜀𝑘 .
1 𝑗 𝑘=1
+ 𝜀𝑁+1 ( ∑ (5)
𝐷 𝜇 [𝑢0 ] 𝑅𝑁 [𝜀, 𝑗, 𝑔, 𝑢0 , ℎ1 ,→
𝑢]
1≤𝑗≤𝑁 𝑗! Then, we have the following lemma.
𝑁 𝑁+1
1 𝑗 𝐸𝜀 𝐿∞ (0,𝑇;𝐿2 ) ≤ 𝐶∗ 𝜀 , (132)
+∑( ∑ 𝐷 𝜇 [𝑢0 ] Φ𝑘 [𝑗, 𝑁, 𝑔, 𝑢0 ,→
𝑢 ]) 𝜀𝑘
𝑘=1 1≤𝑗≤𝑘
𝑗!
where 𝐶∗ is a constant depending only on 𝑁, 𝑇, 𝜇, 𝜇1 , 𝑔, 𝑔1 ,
𝑁 𝑢𝑘 , 1 ≤ 𝑘 ≤ 𝑁.
̂ 𝑁 [𝜇, 𝑔, 𝑢0 ,→
+ 𝜀𝑁+1 𝑅
𝑢 , 𝜀] = ∑ 𝜌𝑘 [𝑁, 𝜇, 𝑔] 𝜀𝑘
𝑘=0 Proof of Lemma 13. In the case of 𝑁 = 1, the proof of
Lemma 13 is easy; hence we omit the details, which we only
+𝜀 𝑅𝑁 [𝜇, 𝑔, 𝑢0 ,→
𝑁+1 ̂
𝑢 , 𝜀] , prove with 𝑁 ≥ 2.
Mathematical Problems in Engineering 15
where
̃ (1) [𝜇, 𝑔, 𝜇1 , 𝑔1 , 𝑢0 ,→
𝑅
𝑢 , 𝜀] Proof of Theorem 10. Consider the sequence {V𝑚 } defined by
𝑁
(136)
̂ 𝑁 [𝜇, 𝑔, 𝑢0 ,→
= (𝑅 ̂ 𝑁−1 [𝜇1 , 𝑔1 , 𝑢0 ,→
𝑢 , 𝜀] + 𝑅
𝑢 , 𝜀]) ℎ𝑥 .
V0 ≡ 0,
We decompose the sum ∑2𝑁
into the sum of two sums
𝑖=2 𝜕
∑𝑁 and ∑ 2𝑁
; therefore, we deduce from (135) that V𝑚 − (𝜇 [V + ℎ] V𝑚𝑥 )
𝑖=2 𝑖=𝑁+1 𝜕𝑥 𝜀 𝑚−1
𝑁
(𝜇 [ℎ] − 𝜇 [𝑢0 ] + 𝜀𝜇1 [ℎ]) ℎ𝑥 = ∑ ∇𝑢0 (𝜌𝑘 [𝑁, 𝜇, 𝑔] 𝜕
= [(𝜇𝜀 [V𝑚−1 + ℎ] − 𝜇𝜀 [ℎ]) ℎ𝑥 ] + 𝐸𝜀 (𝑥, 𝑡) ,
𝑘=1 𝜕𝑥 (141)
∇𝑢𝑗 ) 𝜀𝑘
By multiplying two sides of (141) with V𝑚 and after
(137) integration in 𝑡, we have
2𝑁 𝑁
+ ∑ ( ∑ (𝜌𝑖 [𝑁, 𝜇, 𝑔] + 𝜌𝑖−1 [𝑁 − 1, 𝜇1 , 𝑔1 ]) 𝑡
𝑡 𝜕𝐴 𝑚,𝜀
𝑘=𝑁+1 𝑖,𝑗=1,𝑖+𝑗=𝑘
𝑍𝑚 (𝑡) = 2 ∫ ⟨𝐸𝜀 (𝑠) , V𝑚 (𝑠)⟩ 𝑑𝑠 + ∫ (𝑠;
0 0 𝜕𝑡
∇𝑢𝑗 ) 𝜀 +𝑘 ̃ (1)
𝜀𝑁+1 𝑅 𝑁 [𝜇, 𝑔, 𝜇1 , 𝑔1 , 𝑢0 ,→
𝑢 , 𝜀]
V𝑚 (𝑠) , V𝑚 (𝑠)) 𝑑𝑠
𝑡
𝜕 (142)
𝑁 𝑘 + 2∫ ⟨ [(𝜇𝜀 [V𝑚−1 + ℎ] − 𝜇𝜀 [ℎ]) ℎ𝑥 ] ,
= ∑ [∑ (𝜌𝑖 [𝑁, 𝜇, 𝑔] + 𝜌𝑖−1 [𝑁 − 1, 𝜇1 , 𝑔1 ]) ∇𝑢𝑘−𝑖 ] 𝜀𝑘 0 𝜕𝑥
𝑘=1 𝑖=1
̃ (2) [𝜇, 𝑔, 𝜇1 , 𝑔1 , 𝑢0 ,→
+ 𝜀𝑁+1 𝑅
𝑢 , 𝜀] ,
V𝑚 (𝑠)⟩ 𝑑𝑠,
𝑁
16 Mathematical Problems in Engineering
𝑢, V ∈ 𝑉, (145)
and we have
𝜇𝑚,𝜀 (𝑥, 𝑡)
𝜇𝑚,𝜀 (𝑥, 𝑡) ≤ 𝜁1 , (146)
1
= 𝜇 (𝑥, 𝑡, ∫ 𝑔 [V𝑚−1 + ℎ] (𝑥, 𝑦, 𝑡) 𝑑𝑦) ̃𝑀 (𝜇)[1 + 𝐾𝑀 (𝑔)(1 + 2𝑀∗ )] + 𝐾 ̃𝑀 (𝜇1 )[1 +
0
(143) with 𝜁1 = 𝐾 ∗ ∗ ∗
+ 𝐷3 𝜇 [V𝑚−1 + ℎ]
We estimate the integrals on the right-hand side of (144) (149)
as follows. 1
⋅ (∫ (𝐷1 𝑔 [V𝑚−1 + ℎ] − 𝐷1 𝑔 [ℎ]) 𝑑𝑦) ℎ𝑥
0
Estimating 𝐽̂1 . We note that
1
+ (𝐷3 𝜇 [V𝑚−1 + ℎ] − 𝐷3 𝜇 [ℎ]) (∫ 𝐷1 𝑔 [ℎ] 𝑑𝑦)
0
𝜇𝑚,𝜀 (𝑥, 𝑡) = 𝐷2 𝜇 [V𝑚−1 + ℎ] (𝑥, 𝑡) + 𝐷3 𝜇 [V𝑚−1 + ℎ]
⋅ ℎ𝑥 ,
1
⋅ (𝑥, 𝑡) ∫ [𝐷3 𝑔 [V𝑚−1 + ℎ] + 𝐷4 𝑔 [V𝑚−1 + ℎ] it follows that
0 𝜕
[(𝜇 [V𝑚−1 + ℎ] − 𝜇 [ℎ]) ℎ𝑥 ]
⋅ (V𝑚−1 + ℎ ) (𝑦, 𝑡) + 𝐷5 𝑔 [V𝑚−1 + ℎ] 𝜕𝑥
(150)
⋅
(∇V𝑚−1
+ ∇ℎ ) (𝑦, 𝑡)] 𝑑𝑦 + 𝜀𝐷2 𝜇1 [V𝑚−1 + ℎ] ≤ 𝑑 (𝜇, 𝑔, 𝑀∗ ) V𝑚−1 𝑊1 (𝑇) ,
Mathematical Problems in Engineering 17
𝐾𝑀∗ (𝑔))].
The authors declare that they have no conflicts of interest.
Next, by 𝜇𝜀 = 𝜇 + 𝜀𝜇1 , it follows that
𝜕
[(𝜇𝜀 [V𝑚−1 + ℎ] − 𝜇𝜀 [ℎ]) ℎ𝑥 ] ≤ 𝜁2 V𝑚−1 𝑊1 (𝑇) , (151) Authors’ Contributions
𝜕𝑥
All authors contributed equally to this article. They read and
where 𝜁2 = 𝑑(𝜇, 𝑔, 𝑀∗ ) + 𝑑(𝜇1 , 𝑔1 , 𝑀∗ ). approved the final manuscript.
By (151), we obtain
𝐽̂2 References
𝑡 𝜕
[1] G. R. Kirchhoff, Vorlesungen über Mathematische Physik,
= 2 ∫ [(𝜇𝜀 [V𝑚−1 + ℎ] − 𝜇𝜀 [ℎ]) ℎ𝑥 ] V𝑚 (𝑠) 𝑑𝑠 (152) Mechanik, Section 29.7, Teuber, Leipzig, Germany, 1876.
0 𝜕𝑥
[2] G. F. Carrier, “On the non-linear vibration problem of the elastic
𝑡
2 2 2 string,” Quarterly of Applied Mathematics, vol. 3, pp. 157–165,
≤ 𝑇𝜁2 V𝑚−1 𝑊1 (𝑇) + ∫ V𝑚 (𝑠) 𝑑𝑠. 1945.
0
[3] S. A. Beilin, “On a mixed nonlocal problem for a wave equation,”
Combining (144), (147), and (152), this leads to Electronic Journal of Differential Equations, vol. 103, pp. 1–10,
2 2 2006.
𝑌𝑚 (𝑡) ≤ 𝑇𝐶∗2 𝜀2𝑁+2 + 𝑇𝜁2 V𝑚−1 𝑊1 (𝑇) [4] M. M. Cavalcanti, V. N. Domingos Cavalcanti, J. S. Prates
(153) Filho, and J. A. Soriano, “Existence and exponential decay for a
𝑡
𝜁1 Kirchhoff-Carrier model with viscosity,” Journal of Mathemati-
+ (2 + ) ∫ 𝑌𝑚 (𝑠) 𝑑𝑠, cal Analysis and Applications, vol. 226, no. 1, pp. 40–60, 1998.
𝜇0 0
[5] M. M. Cavalcanti, V. N. Domingos Cavalcanti, J. A. Soriano,
where 𝑌𝑚 (𝑡) = ‖V𝑚 (𝑡)‖2 + 𝜇0 ‖V𝑚 (𝑡)‖2𝑎 . and J. S. Prates Filho, “Existence and asymptotic behaviour for
By using Gronwall’s Lemma, we deduce from (153) that a degenerate Kirchhoff-Carrier model with viscosity and non-
linear boundary conditions,” Revista Matemática Complutense,
V𝑚 𝑊1 (𝑇) ≤ 𝜎𝑇 V𝑚−1 𝑊1 (𝑇) + 𝛿𝑇 (𝜀) , ∀𝑚 ≥ 1, (154) vol. 14, no. 1, pp. 177–203, 2001.
[6] M. M. Cavalcanti, V. N. Domingos Cavalcanti, and J. A. Soriano,
where 𝜎𝑇 = 𝜂𝑇 𝜁2 , 𝛿𝑇 (𝜀) = 𝐶∗ 𝜂𝑇 𝜀𝑁+1 , 𝜂𝑇 = (1 + 1/ “Global existence and uniform decay rates for the Kirchhoff-
Carrier equation with nonlinear dissipation,” Advances in Dif-
√𝜇0 )√𝑇 exp[(1 + 𝜁1 /2𝜇0 )𝑇]. ferential Equations, vol. 6, no. 6, pp. 701–730, 2001.
We can assume that
[7] M. M. Cavalcanti, V. N. Domingos Cavalcanti, J. Ferreira, and R.
𝜎𝑇 < 1, with the suitable constant 𝑇 > 0. (155) Benabidallah, “On global solvability and asymptotic behaviour
of a mixed problem for a nonlinear degenerate Kirchhoff
We require the following lemma whose proof is immedi- model in moving domains,” Bulletin of the Belgian Mathematical
ate. Society—Simon Stevin, vol. 10, no. 2, pp. 179–196, 2003.
[8] A. Guesmia, S. A. Messaoudi, and C. M. Webler, “Well-
Lemma 14. Let the sequence {𝛾𝑚 } satisfy posedness and optimal decay rates for the viscoelastic Kirchhoff
equation,” Boletim da Sociedade Paranaense de Matemática, vol.
𝛾𝑚 ≤ 𝜎𝛾𝑚−1 + 𝛿 ∀𝑚 ≥ 1, 𝛾0 = 0, (156) 35, no. 3, pp. 203–224, 2017.
where 0 ≤ 𝜎 < 1, 𝛿 ≥ 0 are the given constants. Then [9] N. T. Long, “On the nonlinear wave equation utt-B (t,u2, ux2)
uxx = f (x, t, u, ux, ut, u2, ux2) associated with the mixed
𝛿 homogeneous conditions,” Journal of Mathematical Analysis
𝛾𝑚 ≤ ∀𝑚 ≥ 1. (157)
(1 − 𝜎) and Applications, vol. 306, no. 1, pp. 243–268, 2005.
[10] N. T. Long and T. N. Diem, “On the nonlinear wave equa-
Applying Lemma 14 with 𝛾𝑚 = ‖V𝑚 ‖𝑊1 (𝑇) , 𝜎 = 𝜎𝑇 < 1, tion utt-uxx = f (x, t, u, ux, ut) associated with the mixed
𝛿 = 𝛿𝑇 (𝜀), it follows from (154) that homogeneous conditions,” Nonlinear Analysis: Theory, Methods
& Applications, vol. 29, no. 11, pp. 1217–1230, 1997.
𝛿 (𝜀)
V𝑚 𝑊1 (𝑇) ≤ 𝑇 = 𝐶𝑇 𝜀𝑁+1 , (158) [11] N. T. Long and L. T. Ngoc, “On a nonlinear wave equation with
1 − 𝜎𝑇 boundary conditions of two-point type,” Journal of Mathemati-
where 𝐶𝑇 is a constant depending only on 𝑇. cal Analysis and Applications, vol. 385, no. 2, pp. 1070–1093, 2012.
On the other hand, the linear recurrent sequence {V𝑚 } [12] L. T. P. Ngoc, N. A. Triet, and N. T. Long, “On a nonlinear
defined by (141) converges strongly in the space 𝑊1 (𝑇) to the wave equation involving the term -𝜕𝜕x𝜇 (x,t,u,ux2) ux: linear
solution V of problem (130). Hence, letting 𝑚 → +∞ in (158), approximation and asymptotic expansion of solution in many
small parameters,” Nonlinear Analysis: Real World Applications,
we get
vol. 11, no. 4, pp. 2479–2501, 2010.
‖V‖𝑊1 (𝑇) ≤ 𝐶𝑇 𝜀𝑁+1 . (159) [13] N. H. Nhan, L. T. Ngoc, T. M. Thuyet, and N. T. Long, “A Robin-
Dirichlet problem for a nonlinear wave equation with the source
This implies (109). term containing a nonlinear integral,” Lithuanian Mathematical
The proof of Theorem 10 is complete. Journal, vol. 57, no. 1, pp. 80–108, 2017.
18 Mathematical Problems in Engineering
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi
Optimization
Hindawi
www.hindawi.com Volume 2018 www.hindawi.com Volume 2018
International Journal of
Engineering International Journal of
Mathematics
Hindawi
Analysis
Hindawi
www.hindawi.com Volume 2018 www.hindawi.com Volume 2018