`Abstract and Applied AnalysisVolumeΒ 2012Β (2012), Article IDΒ 312536, 17 pageshttp://dx.doi.org/10.1155/2012/312536`
Research Article

## Asymptotic Behavior of Approximated Solutions to Parabolic Equations with Irregular Data

1School of Mathematical Sciences, Anhui University, Hefei 230039, China
2School of Traffic and Transportation, Lanzhou Jiaotong University, Lanzhou 730070, China

Received 10 July 2012; Accepted 17 August 2012

Copyright Β© 2012 Weisheng Niu and Hongtao Li. 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.

#### Abstract

Let be a smooth bounded domain in . We consider the asymptotic behavior of solutions to the following problem , where , is a finite Radon measure independent of time. We provide the existence and uniqueness results on the approximated solutions. Then we establish some regularity results on the solutions and consider the long-time behavior.

#### 1. Introduction

We consider the asymptotic behavior of solutions to the following equations where is a bounded domain in with smooth boundary , , , is a finite Radon measure independent of time, is a matrix with bounded, measurable entries, and satisfying the ellipticity assumption Concerning the nonlinear term, we assume that is a function satisfying, both for all , where are positive constants.

Parabolic equations with or measure data arise in many physical models, control problems, and in models of turbulent flows in oceanography and climatology [1β4]. Existence and regularity results for parabolic equations with and measure data have been studied widely by many authors in the past decades, see [5β10]. The usual approach to study problems with these kinds of data is approximation. The basic reference for these arguments is [7], where the authors obtained weak solutions (in distribution sense) to nonlinear parabolic equations. In our setting, such a solution is a function such that for any , and for any .

Generally, the regularity of weak solutions (in distribution sense) is not strong enough to ensure uniqueness [8]. But one may select a weak solution which is βbetterβ than the others. Since one may prove that the weak solution obtained from approximation does not depend on the approximation chosen for the irregular data. In such a sense, it is the only weak solution which is found by means of approximations; we may call it approximated solutions. Such a concept was first introduced by [9]. Here in the present paper, we will focus ourselves to the scope of approximated solutions, that is, weak solutions obtained as limits of approximations.

The long-time behavior of parabolic problems with irregular data (such as data, measure data) have been considered by many authors [11β16]. In [11, 12], existence of global attractors for porous media equations and m-Laplacian equations with irregular initial data were deeply studied, while in [13, 14] the convergence to the equilibrium for the solutions of parabolic problems with measrued data were thoroughly investigated. In [15, 16], we considered the existence of global attractors for the parabolic equations with data.

In this paper, we intend to consider the asymptotic behavior of approximated solutions to problem (1.1) with measure data. Precisely speaking, we assume that the forcing term in the equations is just a finite Radon measure. For the case , to ensure the existence result for large in (1.5) [17], we restrict ourselves to diffuse measures, that is, does not charge the sets of zero parabolic 2-capacity (see details for parabolic -capacity in [18]). We first provide the existence result for problem (1.1) and prove the uniqueness of the approximated solution. Then using some decomposition techniques, we establish some new regularity results and show the existence of a global attractor in with , which attracts every bounded subset of in the norm of , for any .

For the case , we consider general bounded Radon measure which is independent of time. We provide the uniqueness of approximated solutions for the parabolic problem and its corresponding elliptic problem. Then we prove that the approximated solution of the parabolic equations converges to the unique approximated solution of the corresponding elliptic equations in the norm topology of , for any , though they all lie in some less regular spaces.

Our main results can be stated as follows.

Theorem 1.1. Assume that , , is a bounded Radon measure, which does not charge the sets of zero parabolic 2-capacity and is independent of time, is a function satisfying assumptions (1.3)β(1.5). Then the semigroup , generated by approximated solutions of problem (1.1), possesses a global attractor in . Moreover, is compact and invariant in with , and attracts every bounded subset of in the norm topology of , .

Theorem 1.2. Assume that , , is a bounded Radon measure independent of time. Then the approximated solution of problem (1.1) is unique and converges to the unique approximated solution of the corresponding elliptic equations in the norm topology of , for any .

Remark 1.3. Though and all lie in some less-regular spaces, converges to in stronger norm, that is, converges to in , . Such a result, in some sense, sharpens the result of [13], where the author showed that converges to in .

We organize the paper as follows: in Section 2, we provide the existence of approximated solutions, prove the uniqueness result and some useful lemmas; in Section 3, we establish some improved regularity results on the approximated solutions. At last, in Section 4, we prove the main theorems.

For convenience, for any we use to denote hereafter. Also, we denote by the Lebesgue measure of the set , and denote by any positive constant which may be different from each other even in the same line.

#### 2. Existence Results and Useful Lemmas

We begin this section by providing some existence results on the approximated solutions.

Definition 2.1. A function is called an approximated solution of problem (1.1), if , for any , and for any , and moreover, is obtained as limit of solutions to the following approximated problem where is a smooth approximation of data .

Theorem 2.2. Under the assumptions of Theorem 1.1, problem (1.1) has a unique approximated solution , for any , satisfying (i) if , then with ;(ii) if , then with .

Proof. According to [18, Theorem 2.12], if a Radon measure on does not charge the sets of zero parabolic 2-capacity and is independent of time, can actually be identified as a Radon measure which is absolutely continuous with respect to the elliptic 2-capacity. Using Theorem 2.1 of [19], can be decomposed as , where . Hence, we need only to consider the following problem The proof of existence part of the theorem is similar to [9]. Besides, one can prove using arguments similar to CLAIM 2 in [8]. So we omit the details of them and only prove the uniqueness result.
Let , be a smooth approximation of data and with and let , be another smooth approximation of the data with Assume that are two approximated solutions to problem (1.1), obtained as limit of the solutions to the following two approximated problems, respectively, Now we prove that . For any , define as Let be its primitive function. Taking as a test function in (2.6) and (2.7), we deduce that Hence, from the assumptions on , we get Let , we have Thus for all , we have Taking small enough such that , we deduce that for all in , thus in . Dividing into several intervals to carry out the same arguments, we obtain the uniqueness of the approximated solution.
Similar to [20], we can prove the following.

Theorem 2.3. Under the assumptions of Theorem 1.1, there exists at least one approximated solution to the stationary problem of corresponding to problem (1.1), with (i)if , we have for ;(ii)if , we have for .

Remark 2.4. Note that if is an approximated solution to following problem then there is a sequence converges to , where is the solution of the corresponding approximated problem And hence is a solution of parabolic equations Thus, is an approximated solution of problem (1.1) with initial data .

Under the assumptions of Theorem 1.2, the problem turns out to be The existence of approximated solutions to problem (1.1) and the elliptic equations corresponding to it follows directly from Sections and of [7]. Form Section of [21], we know that the approximated solution to the stationary equations is actually a duality solution, and hence unique. Furthermore, it is not difficult to prove that an approximated solution for linear parabolic equations turns out to be a duality solution, and hence unique too.

Lemma 2.5. Under the assumptions of Theorem 1.2, an approximated solution to the parabolic problem (1.1), (2.16) turns out to be a duality solution, and conversely.

Proof. The proof is mainly similar to that of Theorem 6 in [22]. We just sketch it. Let be an approximated solution, then there exist a smooth approximation , of data and , such that the solution of the approximated problem of (2.16) with data and converges to . Let and be the solution of the the following parabolic problem where is the transposed matrix of . Taking as a test function in the approximated problem and taking as a test function in the problem above, then let go to infinity we obtain that the approximated solution is a duality solution. Form the uniqueness of duality solutions [13], we get the conclusion.

Now we provide two lemmas which are useful in analyzing the regularity and asymptotic behavior of the solutions to problem (1.1).

Lemma 2.6 (see [15]). Let , be two Banach spaces, let be separable, reflexive, and let with dual . Suppose that is uniformly bounded in with and that weakly in for some . Then Moreover, if , then in fact

Lemma 2.7 (see [16]). Let be two Banach spaces with imbedding , let be a continuous semigroup on . Assume that is asymptotically compact in and has an absorbing set , that is, for any bounded set , there exists a such that Then has a global attractor in , which is compact, invariant in and attracts every bounded sets of in the topology of .

Remark 2.8. To obtain global attractors, one usually needs the semigroup to be norm-to-norm continuous, weak-to-weak, or norm-to-weak continuous [23β27]. Here, to obtain global attractors in the space , we need neither of them. We only need the semigroup to be continuous in a less-regular space .

#### 3. Improved Regularity Results on the Approximated Solutions

In this section, we prove the following regularity results on the approximated solution to problem (1.1).

Theorem 3.1. Under the assumptions of Theorem 2.2, let be the approximated solution to problem (1.1). Then admits the decomposition , with being an approximated solution to problem (2.13), and being an approximated solution of the following problem Moreover, we have (i) for any . Moreover, there exists a constant and a time such that .(ii) for any . Moreover, there exists a constant and a time such that .

Proof. We follow the lines of [15, 28]. Let be a sequence of smooth data which converges to in and . Let be a solution of the following approximated problem for each , Then converges (up to subsequences) to an approximated solution strongly in , and weakly in . Let be a sequence of solutions to the following approximated problem where converges to with . Similar to [8, 29], we know that Now let . Then satisfies Similarly, we have (up to subsequences) converges to the approximated solution of problem (3.1) in and weakly in .
Now we prove (i). Taking as test function in (3.3) (for simplicity we take ), we deduce that Since we have The Gronwall's inequality implies that Noticing that we obtain that Moreover, integrating (3.6) between and and using (3.7) we have Similarly, taking as test function in (3.2), we can deduce that Hence, with independent of , for .
Now we use bootstrap method in the case . The case can be treated similarly with minor modifications. Multiplying (3.5) by , and integrating on , we obtain Since , we deduce that Integrating (3.16) between and , it yields Integrating the above inequality with respect to between and , we get Therefore, Integrating (3.16) on for , we deduce that Note that (3.20) insures that, for any , there exists at least a such that Standard Sobolev imbedding implies that Now multiplying (3.5) by , we have Using HΓΆlder inequality, and Young inequality we deduce that Taking (3.24) into (3.23), it yields Integrating (3.25) between and , we have Therefore, from (3.19) and (3.22) we get with independent of . Integrating (3.25) between and for , we obtain Similar to (3.22), for any , there exists at least a such that Bootstrap the above processes, we can deduce that with , and independent of . Note that in and . From Lemma 2.6, we have Taking large enough, we get the second part of (i) proved. If the integration are taken over instead of , we get the first part of (i).
Now we are in the position to prove (ii). We multiply (3.5) with and deduce that integrating over , we get with independent of . Now, multiplying (3.5) with , we obtain where . Integrating (3.34) between and gives Now, integrating the above inequality with respect to between and we have Since We deduce that From the assumption (1.4) on , we have Using results in (3.13) and (3.30), we know that Set . Combining (3.33), (3.34), (3.36), and (3.40) we have From Lemma 2.6, we obtain Thus we get the second part of (ii) proved. Taking integration over instead of , the first part of (ii) follows. The proof is completed now.

#### 4. Proof of the Main Theorems

Let be the semigroup generated by problem (1.1) and let be an approximated solution to problem (2.3). Define Then it is easy to verify that is a continuous semigroup in and hence in . From the results in Section 3, we know that the semigroup possesses a global attractor in . To verify the second part of Theorem 1.1, we prove the following theorem.

Theorem 4.1. Under the assumptions of Theorem 1.1, the semigroup possesses a global attractor in , that is, is compact, invariant in , and attracts every bounded initial set of in the norm topology of .

Proof. From Theorem 3.1, we know that possesses an absorbing set in . Also possesses absorbing sets , , respectively, in and for any .
In the next, we prove the asymptotic compactness of . Before that we establish the following estimate Actually, differentiating (3.5) in time and denoting , we have Multiplying (4.3) by and using (1.3), we deduce that Integrating the above inequality between and gives Integrating the above inequality with respect to between and , using (3.42) we obtain Now we prove the asymptotic compactness of the semigroup , that is, for any sequences , sequence has convergent subsequences, where . Since is compact in , there is a subsequence , which is a Cauchy sequence in . Denoting , we deduce that We then conclude form (4.6) that is a Cauchy sequence in , and thus is asymptotically compact in .
Using Lemma 2.7, we conclude that possesses a global attractor , which is compact, invariant in , and attracts every bounded initial sets of in the topology of .

Completion of the Proof of Theorem 1.1
Note that Thus we have The above relation between and implies the conclusion of Theorem 1.1 directly.

Proof of Theorem 1.2. Let be the approximated solution to the parabolic and its corresponding elliptic problem respectively. Since the approximated solution is a duality solution and conversely, we conclude that converges to in as . Using arguments similar to Section 3, we can prove similar regularity results for and then prove the asymptotic compactness of the semigroup as in Theorem 4.1. Thus, we obtain that converges to in , as . Moreover from the asymptotic compactness of the semigroup , we know that converges to in as . Else, we have a sequence , such that . Since the semigroup is asymptotically compact, there is a subsequence , such that converges to a function in and hence in . Thus . A contradiction!

#### Acknowledgments

The authors want to thank the referee for the careful reading of the manuscript. This work is partially supported by the 211 Project of Anhui University (KJTD002B/32030015) and the NSFC Grant (11071001, 11271019).

#### References

1. E. Casas, βPontryagin's principle for state-constrained boundary control problems of semilinear parabolic equations,β SIAM Journal on Control and Optimization, vol. 35, no. 4, pp. 1297β1327, 1997.
2. T. Goudon and M. Saad, βOn a Fokker-Planck equation arising in population dynamics,β Revista Matemática Complutense, vol. 11, no. 2, pp. 353β372, 1998.
3. R. Lewandowski, βThe mathematical analysis of the coupling of a turbulent kinetic energy equation to the Navier-Stokes equation with an eddy viscosity,β Nonlinear Analysis. Theory, Methods & Applications A, vol. 28, no. 2, pp. 393β417, 1997.
4. P.-L. Lions, Mathematical Topics in Fluid Mechanics. Volume 1 Incompressible Models, vol. 3 of Oxford Lecture Series in Mathematics and Its Applications, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, NY, USA, 1996.
5. H. Amann and P. Quittner, βSemilinear parabolic equations involving measures and low regularity data,β Transactions of the American Mathematical Society, vol. 356, no. 3, pp. 1045β1119, 2004.
6. F. Andreu, J. M. Mazon, S. S. de León, and J. Toledo, βExistence and uniqueness for a degenerate parabolic equation with ${L}^{1}$-data,β Transactions of the American Mathematical Society, vol. 351, no. 1, pp. 285β306, 1999.
7. L. Boccardo and T. Gallouët, βNonlinear elliptic and parabolic equations involving measure data,β Journal of Functional Analysis, vol. 87, no. 1, pp. 149β169, 1989.
8. A. Prignet, βExistence and uniqueness of “entropy” solutions of parabolic problems with ${L}^{1}$ data,β Nonlinear Analysis. Theory, Methods & Applications A, vol. 28, no. 12, pp. 1943β1954, 1997.
9. A. Dall'Aglio, βApproximated solutions of equations with ${L}^{1}$ data. Application to the $H$-convergence of quasi-linear parabolic equations,β Annali di Matematica Pura ed Applicata, vol. 170, no. 4, pp. 207β240, 1996.
10. D. Blanchard and F. Murat, βRenormalised solutions of nonlinear parabolic problems with ${L}^{1}$ data: existence and uniqueness,β Proceedings of the Royal Society of Edinburgh A, vol. 127, no. 6, pp. 1137β1152, 1997.
11. M. Efendiev and S. Zelik, βFinite- and infinite-dimensional attractors for porous media equations,β Proceedings of the London Mathematical Society. 3rd series, vol. 96, no. 1, pp. 51β77, 2008.
12. M. Nakao and N. Aris, βOn global attractor for nonlinear parabolic equations of $m$-Laplacian type,β Journal of Mathematical Analysis and Applications, vol. 331, no. 2, pp. 793β809, 2007.
13. F. Petitta, βAsymptotic behavior of solutions for linear parabolic equations with general measure data,β Comptes Rendus Mathématique I, vol. 344, no. 9, pp. 571β576, 2007.
14. F. Petitta, βAsymptotic behavior of solutions for parabolic operators of Leray-Lions type and measure data,β Advances in Differential Equations, vol. 12, no. 8, pp. 867β891, 2007.
15. C. Zhong and W. Niu, βLong-time behavior of solutions to nonlinear reaction diffusion equations involving ${L}^{1}$ data,β Communications in Contemporary Mathematics, vol. 14, no. 1, Article ID 1250007, 19 pages, 2012.
16. W. Niu and C. Zhong, βGlobal attractors for the p-Laplacian equations with nonregular data,β Journal of Mathematical Analysis and Applications, vol. 393, pp. 56β65, 2012.
17. F. Petitta, βA non-existence result for nonlinear parabolic equations with singular measures as data,β Proceedings of the Royal Society of Edinburgh A, vol. 139, no. 2, pp. 381β392, 2009.
18. J. Droniou, A. Porretta, and A. Prignet, βParabolic capacity and soft measures for nonlinear equations,β Potential Analysis, vol. 19, no. 2, pp. 99β161, 2003.
19. L. Boccardo, T. Gallouët, and L. Orsina, βExistence and uniqueness of entropy solutions for nonlinear elliptic equations with measure data,β Annales de l'Institut Henri Poincaré, vol. 13, no. 5, pp. 539β551, 1996.
20. L. Boccardo, T. Gallouët, and J. L. Vázquez, βNonlinear elliptic equations in RN without growth restrictions on the data,β Journal of Differential Equations, vol. 105, no. 2, pp. 334β363, 1993.
21. A. Prignet, βRemarks on existence and uniqueness of solutions of elliptic problems with right-hand side measures,β Rendiconti di Matematica e delle sue Applicazioni, vol. 15, no. 3, pp. 321β337, 1995.
22. F. Petitta, βRenormalized solutions of nonlinear parabolic equations with general measure data,β Annali di Matematica Pura ed Applicata, vol. 187, no. 4, pp. 563β604, 2008.
23. J. C. Robinson, Infinite-Dimensional Dynamical Systems: An Introduction To Dissipative Parabolic PDEs and the Theory of Global Attractors, Cambridge University Press, Cambridge, UK, 2001.
24. J. W. Cholewa and T. Dlotko, Global Attractors in Abstract Parabolic Problems, Cambridge University Press, Cambridge, UK, 2000.
25. Q. Ma, S. Wang, and C. Zhong, βNecessary and sufficient conditions for the existence of global attractors for semigroups and applications,β Indiana University Mathematics Journal, vol. 51, no. 6, pp. 1541β1559, 2002.
26. R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, Springer, New York, NY, USA, 1997.
27. C.-K. Zhong, M.-H. Yang, and C.-Y. Sun, βThe existence of global attractors for the norm-to-weak continuous semigroup and application to the nonlinear reaction-diffusion equations,β Journal of Differential Equations, vol. 223, no. 2, pp. 367β399, 2006.
28. C. Sun, βAsymptotic regularity for some dissipative equations,β Journal of Differential Equations, vol. 248, no. 2, pp. 342β362, 2010.
29. L. Boccardo, T. Gallouët, and J. L. Vazquez, βSolutions of nonlinear parabolic equations without growth restrictions on the data,β Electronic Journal of Differential Equations, vol. 2001, no. 60, pp. 1β20, 2001.