Professional Documents
Culture Documents
Keywords:
Nonlinear heat equation
Blow up
Sobolev spaces with variable exponents
1. Introduction
In this paper we are interested in the existence and the blow-up in finite time of solutions of the following problem:
∂u
− div(|∇ u|m(x)−2 ∇ u) = |u|p(x)−2 u + f in Q = Ω × (0, T ),
∂t
(P)
on ∂ Q = ∂ Ω × [0, T ),
u = 0
u(x, 0) = u0 (x) in Ω ,
where Ω is a bounded domain in RN with smooth boundary ∂ Ω , m(.) and p(.) are two continuous functions on Ω such that:
∗ Corresponding author.
E-mail addresses: mka_la@yahoo.fr (M. Kbiri Alaoui), messaoud@kfupm.edu.sa (S.A. Messaoudi), khenous@kku.edu.sa (H.B. Khenous).
http://dx.doi.org/10.1016/j.camwa.2014.10.018
0898-1221/© 2014 Elsevier Ltd. All rights reserved.
1724 M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732
When m(x) = m, p(x) = p, existence and blow-up results have been established by many authors (see [1–6]). For instance,
Fujita in [4] considered the case where
∂t u = 1u + up , in RN
2
and proved the existence of a critical exponent pc = 1 + N
such that:
If 1 < p < pc , then the only nonnegative global (in time) solution is u = 0.
If p > pc , then there exists a global solution for sufficiently small initial values.
Levine et al. [7] considered the generalized mean curvature, when Ω = RN and when the elliptic operator is of the form
div(ψ(1 + |∇ u|2 )1/2 ∇ u) with ψ is a real function satisfying some specific conditions, and established the following results:
If 1 < p < pc , then there are no nontrivial positive solutions.
If p > pc , then there exist both a positive global solution, and solutions which blow up in finite time; however no
conclusion was obtained when p = pc .
Ôtani [6] studied the existence and the asymptotic behavior of solutions of (P) and overcome the difficulties caused
by the use of nonmonotone perturbation theory. The quasilinear case, with m ̸= 2, requires a strong restriction on the
growth of the forcing term |u|p−2 u, which is caused by the loss of the elliptic estimate for the m-Laplacian operator defined
by ∆m u = div(|∇ u|m−2 ∇ u) (see [2]). Recently in [1], Agaki proved an existence and blow up result for the initial datum
u0 ∈ Lr (Ω ).
In the case where m(.) and p(.) are two measurable functions, some different techniques must be adopted to study the
existence and blow-up of the problem (P) and the traditional methods may fail unless some modifications are made.
Let us mention that the study of differential equations with nonstandard p(x)-growth is a new and interesting topic.
It arises from the nonlinear elasticity theory, electrorheological fluids, etc. These fluids have the interesting property that
their viscosity depends on the electric field in the fluid. For a general account of the underlying physics, we refer the reader
to [8] and for the mathematical theory see [9]. In this context, a series of papers by Diening and Ruz̃icka [10,11] related
to problems in the so-called rheological and electrorheological fluids, which lead to spaces with variable exponents, have
appeared lately. The results developed in those papers were collected in the books [12,13]. Many mathematical models
in fluid mechanics, elasticity theory (recently in image processing, see for example [14]), etc. were shown to be naturally
related to the problems with non-standard local growth.
Our objective in this paper is to study the blow up phenomenon of solutions of the problem (P) in the framework of the
Lebesgue and Sobolev spaces with variable exponents. We will establish a blow up result and give a numerical example in
2D to illustrate our theoretical result.
2. Preliminaries
We list some well-known results about the Lebesgue and Sobolev spaces with variable exponents (see [13]).
Let p : Ω → [1, ∞] be a measurable function, where Ω is a domain of RN with N ≥ 2. We denote by
p− = ess inf p(x) and p+ = ess sup p(x).
x∈Ω x∈Ω
where
Ω∞ = {x ∈ Ω : p(x) = ∞}.
The variable-exponent Lebesgue space Lp(.) (Ω ) consists of all measurable functions u defined on Ω for which
ϱp(.) (λu) < ∞,
for some λ > 0.
The Luxembourg norm on this space is defined as
∥u∥p(.) = inf{λ > 0 : ϱp(.) (u/λ) ≤ 1}.
Equipped with this norm, Lp(.) (Ω ) is a Banach space (see [13,15]).
Remark 2.1. The variable exponent-Lebesgue space is a special case of more general Orlicz–Musielak spaces. For the
constant function p(x) = p, the variable exponent Lebesgue space coincides with the classical Lebesgue space.
M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732 1725
The variable-exponent Sobolev space W 1,p(.) (Ω ) consists of functions u ∈ Lp(.) (Ω ) whose distributional gradient ∇ u exists
and satisfies |∇ u| ∈ Lp(.) (Ω ). This space is a Banach space with respect to the norm
∥u∥1,p(.) = ∥u∥p(.) + ∥∇ u∥p(.) .
In general, variable-exponent Lebesgue spaces are similar to classical Lebesgue spaces in many aspects. For the following
assertions, see [15]:
– The Hölder inequality holds.
– They are reflexive if and only if 1 < p− ≤ p+ < ∞.
– Continuous functions are dense if p+ < ∞.
– If Ω has a finite measure and p, q are variable exponents so that p(x) ≤ q(x) almost everywhere in Ω , then the embedding
Lq(.) (Ω ) ↩→ Lp(.) (Ω ) holds.
1,p(.)
(Ω ) and W −1,p (.) (Ω ) are defined by the same way as the usual Sobolev spaces where p′ (.) is the function
′
The spaces W0
such that p(x) + p′1(x) = 1.
1
In this subsection, we present some useful results which will be used later. Let p satisfy the following Zhikov–Fan
condition:
A
|p(x) − p(y)| ≤ for all x, y ∈ Ω with |x − y| < δ, (2.1)
1
log |x− y|
Np(x)
with p (x) = (N −p(x)) , then
∗
+
1,p(.)
W0 (Ω ) ↩→↩→ Lq(.) (Ω ).
3. Main result
In this section, we present our main blow-up result. We start with a local existence result for the problem (P), which is
a direct result of the existence theorem by Agaki and Ôtani [2].
1,m(.)
Theorem 3.1. For all u0 ∈ W0 (Ω ), there exists a number T0 ∈ (0, T ] such that the problem (P) has a strong solution u on
[0, T0 ] satisfying:
1,m(.)
u ∈ Cw ([0, T0 ]; W0 (Ω )) ∩ C ([0, T0 ], Lp(.) (Ω )) ∩ W 1,2 (0, T0 ; L2 (Ω )).
Let H (t ) = −E (t ). So, H ′ (t ) ≥ 0.
1726 M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732
1,m(.)
(Ω ) such that Ω u20 dx > 0, f ≡ 0 and
Theorem 3.2. Let u0 ∈ W0
1 1
|u0 |p(x) − |∇ u0 |m(x) dx ≥ 0.
Ω p(x) m(x)
Then
1
F (t ) = u2 (x, t )dx
2 Ω
since
1 p(x) 1 m(x) 1 p(x) 1 m(x)
m+ |u| − |∇ u| dx ≥ m+ |u| − |∇ u| dx
Ω p(x) m+ Ω p(x) m(x)
1 1
= m+ |u|p(x) − |∇ u|m(x) dx ≥ 0.
Ω p(x) m(x)
We define the sets Ω+ = {x ∈ Ω ||u| ≥ 1} and Ω− = {x ∈ Ω ||u| < 1}.
So,
p+ /2 p− /2
F (t ) ≥ c0
′
| u| p+
+ |u| p−
≥ c1 2
|u| dx + |u| 2
,
Ω− Ω+ Ω− Ω+
and similarly,
(F ′ (t ))2/p− ≥ c3 |u|2 dx.
Ω−
By (3.1) and the fact that F (t ) ≥ F (0) > 0 (F ′ (t ) ≥ 0), we have, for each t > 0, either
C4 C4
(F ′ (t ))2/p− ≥ F (t ) ≥ F (0)
2 2
or
C4 C4
(F ′ (t ))2/p+ ≥ F (t ) ≥ F (0);
2 2
M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732 1727
F ′ (t ) ≥ C5 (F (0))p− /2
or
F ′ (t ) ≥ C6 (F (0))p+ /2 .
2( p1 − p1 )
F ′ (t )2/p− (1 + α) + − ≥ C4 F (t ), ∀t ≥ 0.
Consequently,
F ′ (t ) ≥ β F p− /2 (t ), ∀t ≥ 0.
Simple integrating then leads to
p− p− p− − 2
F (t )1− 2 ≤ F (0)1− 2 − βt
2
which implies that
1
F (t ) ≥ p 2−2 .
p
1− 2−
F (0) − 2 βt −
p− −2
Remark 3.1. Clearly, the larger the F (0) is, the quicker the F blows up.
4. Numerical study
un+1 = 0 on ∂ Ω ,
∂ un+1 un+1 −un
where t0 = 0, u0 (x) = u(x, 0), n ∈ N, τ = T
n
, tn = nτ , un = un (x, y) = u(x, y, tn ) and ∂t
= τ
.
2. The linearized problem, which is an elliptic problem, admits a solution un+1 (see [5]).
3. Let us consider the well-known Röthe type approximation of the problem which consists in the following:
for every i = 1, . . . , n, let ui be the solution of the linear difference equation
ui − ui−1
− div(|∇ ui−1 |m−2 ∇ ui ) = |ui−1 |p−2 ui−1 .
τ
We define the Röthe function by
ui − ui − 1
u(n) (t ) = ui−1 + (t − ti−1 ) , for ti−1 ≤ t ≤ ti , i = 1, . . . , n.
τ
1728 M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732
-5.00
-4.00
-3.00
-2.00 -5.00
-4.00
-1.00 -3.00
0.00 -2.00
-1.00
Y 1.00 0.00
2.00 1.00
2.00 X
3.00
3.00
4.00 4.00
5.00 5.00
0.00
Z
Table 1
Evolution of F (t ) in time.
Time F (t )
0 17.8886
0.01 17.8525
0.02 17.8283
0.05 17.9835
0.1 18.4795
0.15 19.1978
0.2 20.1746
0.25 21.5211
0.3 23.4907
0.35 26.8085
0.4 36.4489
0.43 6.68 109
M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732 1729
4. Any solution un+1 of the linearized scheme coincides with the Röthe approximation u(n) (t ) on {ti = iτ /i = 1, . . . , n} (it
is easy to verify it).
5. The Röthe approximation u(n) (t ) converges strongly to the solution of Problem (P) as τ goes to zero. Indeed, it is easy to
prove that u(n) satisfies:
u(n) → u, a.e.
(u ) is bounded in W01,m(.) (Ω ) (since u ∈ W01,m(.) (Ω )).
(n)
1730 M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732
Fig. 4. (continued)
Consequently by Proposition 3 of [3], we have (u(n) ) converges strongly to u in Lp(.) (Ω ). Hence, (u(n) ) is an approximation
of the solution u of the problem (P).
6. The proposed linearized problem admits a solution that converges to the solution of the problem (P).
We use the above linearized scheme with T = 5, τ = 0.01. Our scheme consists of solving the following sequence of
problems:
Given u0 as an initial data, find the solution un+1 of
un + 1 − un
v + |∇ un |m(x,y)−2 ∇ un+1 ∇v − |un |p(x,y)−2 un v dxdy = 0. (4.1)
Ω τ
M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732 1731
Fig. 4. (continued)
We present the full discretized problem. The numerical simulation is carried out using the FreeFem++ software [16]. We use
a P1 Lagrangian finite element type in space with the above linearized scheme in time. Let Vh be the corresponding space of
piecewise linear continuous functions where h is the space step of the mesh representing the domain Ω (here Ω is a square
[−5, 5] × [−5, 5] discretized with 94 440 triangles and 47 621 vertices (see Fig. 1)).
The full discretized problem reads as: find unl +1 ∈ Vh such that for all ω ∈ Vh
unl +1 − unl
unl m(x,y)−2
ω + |∇ | ∇ unl +1 unl p(x,y)−2 unl
∇ω − | | ω dxdy = 0. (4.2)
Ω 1t
1732 M. Kbiri Alaoui et al. / Computers and Mathematics with Applications 68 (2014) 1723–1732
We choose
f = 0, m(x, y) = ⌊1/5x⌋ + 1.5, p(x, y) = ⌊x⌋ + 4 (see Fig. 2)
and
u0 (x, y) = exp(−0.5(x2 + y2 )) (see Fig. 3).
As required in Section 1, functions m and p must verify conditions (1.1)–(1.3) as follows:
• m− (x, y) = 2.5, m+ (x, y) = 3.5, p− (x, y) = 4, p+ (x, y) = 29 and m∗ (x, y) = +∞ such that 2 ≤ m− ≤ m(x, y) ≤
m+ < p− ≤ p(x, y) ≤ p+ < m∗ (x, y)
• |m(x, y) − m(x0 , y0 )| = 1/25(⌊x⌋2 − ⌊x0 ⌋2 )
• ess inf (m∗ (x, y) − p(x, y)) = +∞ > 0.
The condition of the blow up given in Theorem 3.2 is verified:
1 p(x,y) 1 m(x,y)
| u0 | − |∇ u0 | dxdy = 2.75941 > 0.
Ω p(x, y) m(x, y)
In Table 1, the evolution of the norm of the fluid velocity F (t ) = 1
u2 (x, y, t )dxdy in time is shown:
2 Ω
an estimation of the time blow up is given by the relation
p−
2F (0)1− 2
∗
t ≤ , where F (0) = 17.886, p− = 4 and β is a constant
(p− − 2)β
which gives
1 1
t∗ ≤ = where β is a constant.
β F (0) β 17.886
We note that the blow up occurs at t = 0.43 as shown in Fig. 4.
Remark 4.1. In the last inequality, the constant β can be estimated since all the constants (Ci , i = 0, . . . , 4) in the proof of
Theorem 3.2 are known. So, an estimation of t ∗ can be obtained.
Remark 4.2. One can use the following numerical scheme: given U 0 an initial velocity of the domain Ωtn , find the solution
U n+1 of
U n +1 − U n
v + |∇ U n |m(x,y)−2 ∇ U n+1 ∇v − |U n |p(x,y)−2 U n+1 v dxdy = 0, (4.3)
Ω 1t
which reaches the blowing-up time at t = 0.4.
Acknowledgment
References
[1] G. Akagi, Local existence of solutions to some degenerate parabolic equation associated with the p-Laplacian, J. Differential Equations 241 (2007)
359–385.
[2] G. Akagi, M. Ôtani, Evolutions inclusions governed by subdifferentials in reflexive Banach spaces, J. Evol. Equ. 4 (2004) 519–541.
[3] G. Akagi, M. Ôtani, Evolutions inclusions governed by the difference of two subdifferentials in reflexive Banach spaces, J. Differential Equations 209
(2005) 392–415.
[4] H. Fujita, On the blowing up solutions of the Cauchy problem for ut = 1u + u1+α , J. Fac. Sci. Univ. Tokyo Sect. A. Math. 16 (1966) 105–113.
[5] J. Leray, J.L. Lions, Quelques résultats de Visick sur les problémes elliptiques non linéaires pour les méthodes de Minty–Browder, Bull. Soc. Math.
France 93 (1965) 97–107.
[6] M. Ôtani, Nonmonotone perturbations for nonlinear parabolic equations associated with subdifferential operators, Cauchy problems, J. Differential
Equations 46 (1982) 268–299.
[7] H.A. Levine, G.M. Lieberman, P. Meier, On critical exponents for some quasilinear parabolic equations, Math. Methods Appl. Sci. 12 (1990) 429–438.
[8] T.C. Halsey, Electrorheological fluids, Science 258 (1992) 761–766.
[9] E. Acerbi, G. Mingione, Regularity results for electrorheological fluids, the stationary case, C. R. Acad. Sci. Paris 334 (2002) 817–822.
[10] L. Diening, M. Ruz̃icka, Calderon Zygmund operators on generalized Lebesgue spaces Lp(x) and problems related to fluid dynamics, Preprint
Mathematische Fakultät, (21/2002, 04.07.2002), Albert-Ludwigs-Universität Freiburg, 120.
[11] L. Diening, M. Ruz̃icka, Calderon Zygmund operators on generalized Lebesgue spaces Lp(x) and problems related to fluid dynamics, J. Reine Angew.
Math. 563 (2003) 197–220.
[12] M. Ruz̃icka, Electrorheological Fluids, Modeling and Mathematical Theory, in: Lecture Notes in Mathematics, vol. 1748, Springer, 2000.
[13] L. Diening, P. Hästo, P. Harjulehto, M. Ruzicka, Lebesgue and Sobolev Spaces with Variable Exponents, in: Springer Lecture Notes, vol. 2017, Springer-
Verlag, Berlin, 2011.
[14] M. Kbiri Alaoui, T. Nabil, M. Altanji, On some new nonlinear diffusion model for the image filtering, Appl. Anal. (2013) http://dx.doi.org/10.1080/
00036811.2013.769132.
[15] O. Kovàcik, J. Rákosnik, On spaces Lp(x) and W 1,p(x) , Czechoslovak Math. J. 41 (1991) 592–618.
[16] F. Hecht, O. Pironneau, K. Ohtsuka, Freefem++ manual. URL: http://www.freefem.org.