Abstract
In this article, we considered the one-dimensional swelling problem in porous elastic soils with microtemperatures effects in the case of fluid saturation. First, we showed that the system is well-posed in the sens of semigroup. Then, we constructed a suitable Lyapunov functional based on the energy method and we proved that the dissipation given only by the microtemperatures is strong enough to provoke an exponential stability for the solution irrespective of the wave speeds of the system.
1. Introduction
In [1], Eringen developed a continuum theory for a mixture consisting of three components: an elastic solid, viscous fluid, and gas. Also, the author obtained the field equations for a heat-conducting mixture. In the theory of mixtures, the great abstraction was extended by assuming that the constituents of a mixture could be modeled as superimposed continua, for that each point in the mixture was simultaneously occupied by a material point of each constituent. A brief description concerning the details of the historical development/review related to the general theory of the mixtures is given by Bedford and Drumheller in [2].
Swelling porous media have been studied in many disparate fields including soil science, hydrology, forestry, geotechnical, chemical, and mechanical engineering, and this is due to its prevalence in nature and modern technologies. In this article, we focused on the asymptotic behavior of swelling soils that belong to the porous media theory in the case of fluid saturation. Swelling soils contain clay minerals that change volume with water content changes that result in major geological hazards and extensive damage worldwide. The swelling soils are caused by the chemical attraction of water, where water molecules are incorporated in the clay structure in between the clay plates separating and destabilizing the mineral structure. The swelling clay particles have the property of forming a unit (particle) from lattice hydrated aluminum and magnesium silicate minerals. Thus, the clay’s particle is a mixture of clay platelets and adsorbed water (vicinal water). Such a particle can be thought to define a mesoscale which is large compared to platelet, but small compared to the soil itself. A proper description of the mesoscale system behavior is critical when modeling consolidation of a swelling clay soil. As pointed out by Eringen [1], this system is the prototype for diffusion type models in swelling soils ([3–5]).
As established by Ieşan [6] and simplified by Quintanilla [7] (see also [8, 9]), the basic field equations for the linear theory of swelling porous elastic soils are mathematically given by the following equation:where the constituents and represent the displacement of the fluid and elastic solid material. The parameters and are the densities of each constituent which are assume to be strictly positive constants. are the partial tensions, are the external forces, and are internal body forces associated with the dependent variables . Here, we assume that the constitutive equations of partial tensions are given as in [6] by the following equation:where are positive constants and is a real number. The matrix is positive definite in the sense that
Among the investigations that have been realized regarding the theory of swelling porous elastic soils, we cite the work of Quintanilla [7] when the author considered the following problem:with the following initial data:and the following homogeneous Dirichlet boundary conditions:
The author established an exponential stability result for the solution of equation (4) using the energy method in the isothermal case () and under the following condition on the following constants:
Furthermore, in the nonisothermal case and , the author showed that the combination of the thermal effects with the elastic effects determines exponential stability.
In [10], Wang and Guo considered a problem of swelling of one-dimensional porous elastic soils given by the following equation:where is an internal viscous damping function satisfying the following condition:and they proved that the system is exponentially stable by using the spectral method. We refer the reader to [11, 12] for some other interesting related results.
In [13], the authors considered the following system:and under some properties of convex functions they showed that the dissipation given only by the nonlinear damping term is strong enough to provoke an exponential decay rate.
In [8], Apalara considered a swelling porous elastic system with a viscoelastic damping given by the following equation:where is the kernel (also known as the relaxation function) of the finite memory term. Under some assumptions on , the author established a general decay result for the solution irrespective of the wave speeds of the system from which the exponential and polynomial decay results are only special cases.
Recently, in [9], the authors considered the following swelling problem in porous elastic soils with fluid saturation, viscous damping, and a time delay term.and they established an exponential decay of the solution under the appropriate assumption on the weight of the delay.
Motivated by the above work, in this article, we considered the following problem:where represent the microtemperature vector and the coefficients are the constitutive parameters defining the coupling among the different components of the materials. By constructing a suitable Lyapunov functional which allows us to estimate the energy of the system, we showed that the unique dissipation due to the microtemperatures is strong enough to exponentially stabilize the system regardless of the wave speeds of the system. Introduction of microtemperature makes our problem different from those considered so far in the literature. The importance of the microtemperature appears in many works and this is due to the fact that many phenomena are affected by the heat present in the microvolume of bodies which is known as the microtemperature. Furthermore, the asymptotic behavior of solutions for the different types of problems is under the great influence of the microtemperature effect cited in [14–24] and the references therein.
The article is organized as follows: In Section 2, we gave the existence and uniqueness result of solutions of system (13) using some results from the semigroup theory. In Section 3, we use the multipliers method to prove the exponential stability result.
2. Well-Posedness
In this section, we gave the existence and uniqueness of solutions of system (13) using semigroup theory. First, we introduced the vector function , with and . Therefore, system (13) can be rewritten as follows:where the operator is defined by the following equation:
We considered the following spaces:
Then, , along with the inner productis a Hilbert space for any and . The domain of is given by the following equation:
It is easy to see that the operator is maximal-monotone in the energy space . Then, by the Lumer–Phillips Theorem ([25], Theorem 4.3), we can conclude that is the infinitesimal generator of -semigroup of contraction. We are now in a position to state the following result:
Theorem 1. Let and assume that equation (3) holds. Then, there exists a unique solution for system (13). Moreover, if , then
3. Exponential Decay
In this section, we stated and proved that technical lemmas are needed for the proof of our stability result.
Lemma 2. Let be a solution of system (13). Then, the energy functional is defined by the following equation:which satisfies the following equation:
Proof. Multiplying systems (13)1, (13)2, and (13)3 by , , and respectively, integrating over , taking into account the boundary conditions and summing them up, we obtain the following equation:Using the fact thatInserting (23) in (22), we get (20) and (21).
Lemma 3. Let be a solution of system (13). Then, the functionalsatisfies, for any , the following equation:
Proof. By differentiating using systems (13)1 and (13)2 and integrating by parts together with the boundary conditions, we obtain the following equation:Young’s inequality leads to the following equations:Substituting (27) and (28) in (26), we get (25).
Lemma 4. Let be a solution of system (13). Then, the functionalsatisfies, for any , the following equation:
Proof. By differentiating using systems (13)1 and (13)2 and integrating by parts together with the boundary conditions, we obtain the following equation:Using Young’s inequality, we get the following equations:Inserting (32)–(34) in (31), we obtain (30).
Lemma 5. Let be a solution of system (13). Then, the functionalsatisfies the following equation:
Proof. By exploiting the functional using systems (13)4 and (13)2 and integrating by parts, we obtain the following equation:Note thatSo, equation (37) becomes as follows:Using Young’s inequality,Substituting (40) into (39), we get (36).
Lemma 6. Let be a solution of system (13). Then, the functionalsatisfies, for any , the following estimate:
Proof. By differentiating , using systems (13)2 and (13)3 and integrating by parts, we obtain the following equation:Using the fact thatThen, equation (43) can be rewritten as follows:Young’s inequality leads to the following equations:Using Young’s and Cauchy Schwarz inequalities, we findInserting (46)–(49) into (45), we obtain (42).
Now, we define the Lyapunov functional by the following equation:where , , , and are positive constants.
Theorem 7. Let be a solution of system (13). Then, there exist two positive constants and such that the Lyapunov functional (50) satisfies the following equations:
Proof. From (50), we have the following equation:By using the Young’s, Poincaré, Cauchy–Schwarz inequalities, we obtain the following equation:which yields the following equation:and by choosing (depending on , and ) sufficiently large, we obtain equations (51). Now, By differentiating , exploiting equations (21), (25), (30), (36) and (42) and setting , , , and , we get the following equation:Now, we select our parameters appropriately as follows:
First, we choose large enough so thatNext, we select large enough so thatWe take large such thatFinally, we choose large enough so that equation (51) remains valid; furthermore,All these choices with relation (56) lead to the following equation:On the other hand, from equation (20), we obtain equation (52).
Now, we can state and prove the following stability result.
Lemma 8. Let be a solution of system (13). Then, for any , there exist two positive constants and such that
Proof. By using estimation (52), we get the following equation:having in mind the equivalence of and , we infer thatwhere . A simple integration of equation (64) gives the following equation:which yields the serial result (62) by using the other side of the equivalence relation (51) again. The proof is complete.
Data Availability
All data generated or analyzed during this study are included in this article.
Conflicts of Interest
The authors declare that they have no conflicts of interest.
Acknowledgments
This research has been funded by the Deputy for Research & Innovation, Ministry of Education through Initiative of Institutional Funding at University of Ha’il, Saudi Arabia, through project number IFP-22 021.