Int. J. Simul. Multidisci. Des. Optim.
Volume 8, 2017
|Number of page(s)||8|
|Published online||18 August 2017|
Study of solutions to a class of certain parabolic systems with variable exponents
Research laboratory in Engineering (LRI), University Hassan II of Casablanca, National Higher School of Electricity and Mechanics (ENSEM), BP 8118, Oasis, Morocco
2 Département MIG, Ecole Hassania des Travaux Publics (EHTP), BP 8106, Oasis, Casablanca, Morocco
* e-mail: firstname.lastname@example.org
Accepted: 22 June 2017
In this paper, the authors study an initial and boundary value problem to a system of evolution p(x)-Laplacian systems coupled with general nonlinear terms:
ai(x)uit − div(|∇ui|pi(x)−2∇ui) = fi(x, u1, u2), (i = 1, 2).
The authors translate the parabolic equation into the elliptic equation by using the time discretization method, and then the existence and uniqueness solution are obtained. The blow-up results is shown, by using the energy method.
Key words: pi(x)-Laplacian systems / Existence / Uniqueness / Variable exponent / Blow-Up / Semi-discretization
© H. El Ouardi et al., published by EDP Sciences, 2017
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
We set Q T = Ω × (0, T) and Σ T = ∂Ω × (0, T). Our aim is to prove the existence and uniqueness of solutions u = (u 1, u 2) to the nonlinear (p 1(x), p 2(x))-Laplacian system:(2)where is a function, (i = 1, 2).
The operator is called p(x)-Laplacian, which will be reduced to the p-Laplacian when p(x) = p a constant.
For the case p i (x) = p i > 2, and a i (x) = 1, (i = 1, 2), system (2) models as non-Newtonian fluids [2, 21] and nonlinear filtration , etc. In the non-Newtonian fluids theory, (p 1, p 2) is a characteristic quantity of the fluids, there have been many results about the existence, uniqueness of the solutions. We refer the readers to the bibliography given in [7, 9, 10, 11, 28, 31] and the references therein.
In recent years, the research of nonlinear problems with variable exponent growth conditions has been an interesting topic. p(·)-growth problems can be regarded as a kind of nonstandard growth problems and these problems possess very complicated nonlinearities, for instance, the p(x)-Laplacian operator is inhomogeneous. And these problems have many important applications in nonlinear elastic, electrorheological fluids and image restoration. The reader can find in [14, 22] several models in mathematical physics where this class of problem appears.
The case of a single equation of the type (2) has been studied in [4–6, 20] and the authors established the existence and uniqueness results, in , the authors use the difference scheme to transform the parabolic problem to a sequence of elliptic problems and then obtain the existence of solutions with less constraint to p i (x).
The more interesting question concerning parabolic systems of (p 1(x), p 2(x))-Laplacian type is to understand the asymptotic behavior of solutions when time goes to infinity. The study of the asymptotic behavior of the system is giving us relevant information about the structure of the phenomenon described in the model.
Note that system (2) has a more complicated nonlinearity than the classical (p,q)-Laplacian system since it is nonhomogenous.
Recently,  study the equation the p(x)-Laplacian equationwhere λ > 0, m + λ − 2 > 0 and a(x) is a positive continuous function. They examine under which conditions on behavior of a(x) corresponding nonnegative solutions of the Cauchy problems possess the finite speed of propagations or interface blow-up phenomena.
In this paper, we consider the existence and uniqueness for the problem of the type (2) under some assumptions. The proof consists of two steps. First, we prove that the approximating problem admits a global solution; then we do some uniform estimates for these solutions. We mainly use skills of inequality estimation and the method of approximation solutions. By a standard limiting process, we obtain the existence to problem of the type (2).
The outline of this paper is the following: In Section 2, we introduce some basic Lebesgue and Sobolev spaces and state our main theorems. In Section 3, we give the existence and uniqueness of weak solutions. In Section 4, the blow-up results will be proved. The asymptotic behaviour of solution is established in Section 5.
To consider problems with variable exponents, one needs the basic theory of spaces L p(x)(Ω) and W 1p(x)(Ω). For the convenience of readers, let us review them briefly here. The details and more properties of variable-exponent Lebesgue-Sobolev spaces can be found in [16, 17].
The conjugate space is L q(x)(Ω), with
Similarly we also denote by the closure of in and is the dual of with respect to the inner product in
In Propositions 2.1–2.3, we describe some results about the Luxembourg norm.
If for any the imbedding is continuous, the norm of the imbedding does not exceed
Proposition 2.2 
|w|(r(x)) < 1(= 1; > 1) ⇔ ρ(w) < 1 (= 1; > 1);
|w|(r(x)) → 0 ⇔ ρ(w) → 0; |w|(r(x)) → ∞ ⇔ ρ(w) → ∞.
Proposition 2.3 
This implies that and are equivalent norms of
System (2) does not admit classical solutions in general. So, we introduce weak solutions in the following sence.
Definition 2.4 A function u = (u 1 , u 2) is said to be a weak solution of equation (2) , if the following conditions are satisfied:
In the study of the global existence of solutions, we need the following hypotheses (H):
Remark 3.1 In this paper, we shall denote by c i , C i differents constants, depending on p i (x), T, Ω, but not on n, which may vary from line to line. Sometimes we shall refer to a constant depending on specific parameters C i (T), etc.
Our main existence result is the following:
Theorem 3.2 Let (H1)–(H3) hold. Then system (2) admits a unique solution u = (u 1 ,u 2 ) ∈ (C((0, T); L 2(Ω)))2 . Moreover, the mapping (φ 1, φ 2) → (u 1(t), u 2(t)) is continuous in L 2(Ω) × L 2(Ω).
Proof of the main results.
We will semi-discrete (2) in time and solve the corresponding elliptic problem. Based on the semi-discrete problem, we construct the corresponding approximate solutions. The key procedure is to establish necessary a priori estimates for finding the limit of the approximate solutions via a compactness argument.
Lemma 3.3 For any fixed n, if Problem (4) admits a weak solution
Proof. On the space we consider the functionalwhere is a known function. Using Young’s inequality and Proposition 2.1, there exist constants C 1, C 2 > 0, such that:hence Φ(v) → ∞, as Since the norm is lower semi-continuous and is continuous functional, Φ(v) is weakly lower semi-continuous on and satisfy the coercive condition. From  we conclude that there exists such that:and v* is the weak solutions of the Euler equation corresponding to Φ(v),
Letting k → ∞, we get Consider , we get easily that , i.e. and if we choose such that , we obtain
This completes the proof of lemma 3.3.
We first establish some energy estimates of .
We need several lemmas to complete the proof of Theorem 3.2.
Proof. (a) By lemma 3.3, for any n ∈ N, is bounded; whence (7)
With the above estimates, we get (8).
(c) Multiplying the equation (4) by and summing from n = 1 to N, we get
By Aubin-Simon’s compactness results , we have(19)
Thus, we get that(20)and from (16) we have thus,and consequently by the same as that in 
Therefore, u i satisfies (3).
Let (H1)–(H3) be satisfied. Then system (2) has a unique solution u = (u 1, u 2) in Q T.
Thus, we deduce that u i = v i .
Thus the solution is unique. The continuity of the the mapping can be obtained similarly.
Remark 3.5 From Theorem 3.2, the solution of system (2) generates a semigroup in L 2(Ω) × L 2(Ω).
Remark 3.6 If we assume that f i (x, s 1, s 2) = g i (x, s 1, s 2) − h i (x, s i ) where is Carathéodory mapping and that there exist positive constants L j , c j , m j , C j such that:
for any x ∈ Ω and
for any x ∈ Ω and where with and
By the same argument as that in [12, 32], One can show in the same way that the semigroup associated with system (2) admits an absorbing set in there is a bounded set such that, for any bounded set B in L 2(Ω) × L 2(Ω), there exists a T 0 > 0 such that for any t ≥ T 0. Where T 0 depends only on B.
In this section, we shall investigate the blow-up properties of solutions to system (2) using energy methods. To this end, we consider the following hypotheses on the data.
Theorem 4.1 Let (H1)–(H5) be satisfied, then the solutions of system (2) blow up in finite time, namely, there exists a T* < ∞ such that as t → T*.
Proof. We define .
This section is devoted to the asymptotic behaviour of solutions. In order to prove the asymptotic behaviour, we assume
Theorem 5.1 The weak solution u = (u 1(t), u 2(t)) obtained in Theorem 3.2, satifies: where C i > 0 (i = 1, 2, 3), or or .
Proof. Let u i be solution of (2).
According to the assumption that p 1(x) ≤ p 2(x), Then
The proof is complete.
- Astrita G, Marrucci G. 1974. Principles of non-Newtonian fluid mechanics. McGraw-Hill: New York.
- Acerbi E, Mingine G. 2002. Regularity results for stationary electrorheological fluids. Arch. Ration. Mech. Anal., 164, 213–259. [CrossRef] [MathSciNet] (In the text)
- Acerbi E, Mingione G, Seregin GA. 2004. Regularity results for parabolic systems related to a class of non Newtonian fluids. Ann. Ins. H. Poincaré Anal. Non Linéaire, 21, 25–60.
- Antontsev SN, Shmarev SI. 2009. Anisotropic parabolic equations with variable nonlinearity. Publ. Mat., 53(2), 355–399. [CrossRef] [MathSciNet] (In the text)
- Antontsev SN, Shmarev SI. 2005. A model porous medium equation with variable exponent of nonlinearity: existence, uniqueness and localization properties of solutions. Nonlinear Anal., 60, 515–545. [CrossRef] [MathSciNet]
- Antontsev SN, Shmarev SI. 2009. Localization of solutions of anisotropic parabolic equations. Nonlinear Anal., 71, 725–737. [CrossRef] (In the text)
- El Ouardi H, de Thelin F. 1989. Supersolutions and stabilization of the solutions of a nonlinear parabolic system. Publicacions Mathematiques, 33, 369–381. [CrossRef] [MathSciNet] (In the text)
- El Ouardi H, El Hachimi A. 2002. Existence and regularity of a global attractor for doubly nonlinear parabolic equations. Electron. J. Diff. Eqns., 2002(45), 1–15.
- El Ouardi H, El Hachimi A. 2001. Existence and attractors of solutions for nonlinear parabolic systems. Electron. J. Qual. Theory Differ. Equ., 5, 1–16. [CrossRef] [EDP Sciences] [MathSciNet] (In the text)
- El Ouardi H, El Hachimi A. 2006. Attractors for a class of doubly nonlinear parabolic systems. Electron. J. Qual. Theory Differ. Equ., 1, 1–15. [CrossRef] [EDP Sciences] [MathSciNet] (In the text)
- El Ouardi H. 2011. Global attractor for quasilinear parabolic systems involving weighted p-Laplacian operators. J. Pure App. Mat. Advances App., 5(2), 79–97. [MathSciNet] (In the text)
- El Ouardi H. 2013. Long-time behavior for a nonlinear parabolic systems with variable exponent of nonlinearity. Int. J. Adv. Math. Math. Sci., 2(1), 27–36. (In the text)
- Esteban JR, Vazquez JL. 1982. On the equation of turbulent filtration in one-dimensional porous media. Nonlinear Anal., 10, 1303–1325. [CrossRef]
- Kristaly A, Radulescu V, Varga C. 2010. Variational principles in mathematical physics, geometry, and economics. Qualitative analysis of nonlinear equations and unilateral problems in Encyclopedia of mathematics and its applications, vol. 136. Cambridge University Press: Cambridge. (In the text)
- Chang KC. 1986. Critical point theory and its applications. Shanghai Scientific and Technology Press: Shanghai.
- Fan X. 2007. Global C1,α regularity for variable exponent elliptic equations in divergence form. J. Diff. Equ., 235, 397–417. [CrossRef] (In the text)
- Fan X, Zhao D. 2001. On the space Lp(x)(Ω) and Wm,p(x) (Ω). J. Math. Anal. Appl., 263, 749–760. [CrossRef] (In the text)
- Fan X, Zhang QH. 2003. Existence of solutions for p(x)-Laplacian Dirichlet problem. Nonlinear Anal., 52, 1843–1852. [CrossRef] [MathSciNet]
- Lions JL. 1969. Quelques méthodes de résolution des problèmes aux limites non linéaires. Dunod: Paris.
- Lian S, Gao W, Yuan H, Cao C. 2012. Existence of solutions to an initial problem of evolutional p(x)-Laplace equations. Ann. I. H. Poincaré – AN, 29(3), 377–399, DOI: 10.1016/j.anihpc.2012.01.001. [CrossRef] [MathSciNet] (In the text)
- Martinson LK, Pavlov KB. 1971. Unsteady shear flows of a conducting fluid with a rheological power law. Magnitnaya Gidrodinamika, 2, 50–58. (In the text)
- Ruzicka M. 2000. Electrorheological fluids: Modeling and mathematical theory. Lecture Notes in Mathematics. vol. 1748. Berlin: Springer-Verlag. [CrossRef] (In the text)
- Simon J. 1987. Compact sets in Lp(0, T; B). Ann. Mat. Pura Appl., 146, 65–96. [CrossRef] [MathSciNet]
- Tedeev AF. 2007. The interface blow-up phenomenon and local estimates for doubly degenerate parabolic equation. Appl. Anal., 86(6), 755. [CrossRef] [MathSciNet] (In the text)
- Zhao JN. 1993. Existence and nonexistence of solutions for ut = div(|∇u|p − 2∇u) + f(∇u, u, x, t). J. Math. Anal. Appl., 172(1), 130–146. [CrossRef] [MathSciNet]
- Fu Y, Zhang X. 2009. Multiple solutions for a class of p(x)-Laplacian systems. J. Inequal. Appl. Art., 2009(191649), 1–12. (In the text)
- El Hamidi A. 2004. Existence results to elliptic systems with non standard growth condition. J. Math. Anal. Appl., 300, 30–42. [CrossRef] [MathSciNet] (In the text)
- Marion M. 1987. Attractors for reaction-diffusion equation: existence and estimate of their dimension. Appl. Anal., 25, 101–147. [CrossRef] [MathSciNet] (In the text)
- Ogras S, Mashiyev A, Avci M, Yucedag Z. 2008. Existence of solution for a class of elliptic systems in RN involving the (p(x), q(x))-Laplacian. J. Inequal. Appl., 612938, 16. [MathSciNet] (In the text)
- Xu X, An Y. 2008. Existence and multiplicity of solutions for elliptic systems with nonstandard growth conditions in RN. Nonlinear Anal., 68, 956–968. [CrossRef] [MathSciNet] (In the text)
- Wei Y, Gao W. 2007. Existence and uniqueness of local solutions to a class of quasilinear degenerate parabolic systems. Appl. Math. Comput., 190, 1250–1257. [CrossRef] [MathSciNet] (In the text)
- Niu W. 2012. Long-time behavior for a nonlinear parabolic problem with variable exponents. J. Math. Anal. Appl., 393, 56–65. [CrossRef] [MathSciNet] (In the text)
Cite this article as: El Ouardi H & Ghabbar Y: Study of solutions to a class of certain parabolic systems with variable exponents. Int. J. Simul. Multisci. Des. Optim., 2017, 8, A11.
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.