Dynamic of the nonclassical diffusion equation with memory

In this paper, we consider the nonclassical diffusion equation with memory and the nonlinearity of the polynomial growth condition of arbitrary order in the time-dependent space. First, the well-posedness of the solution for the equation is obtained in the time-dependent space Ut\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathscr{U}_{t}$\end{document}. Then, we establish the existence and regularity of the time-dependent global attractor. Finally, we also conclude that the fractal dimension of the time-dependent attractor is finite.


Introduction
In recent years, exploring the dynamic behavior of dissipative partial differential equations with time-dependent coefficients in the field of infinite-dimensional dynamical systems has attracted much attention.For this kind of problem, Plinio et al. [36] first put forward the concept of the time-dependent global attractor in time-dependent space.Subsequently, improved theoretical results and some applications have emerged widely, see [12, 14, 16, 24, 25, 27-34, 37, 43, 50].The main characteristic of this type of problem is that the norm of space depends on time explicitly, which will lead to the fact that the considered problem is still nonautonomous even when the forcing term is independent of time t.
In this paper, we are concerned with the following nonclassical diffusion equation with memory in time-dependent space, where ⊂ R N is a bounded smooth domain, u = u(x, t) : × [τ , ∞) → R is an unknown function, u τ (x, r) : × (-∞, τ ] is the initial value function that characterizes the past time and g = g(x) ∈ H -1 ( ) is the external term.In addition, the time-dependent coefficient ε(t) ∈ C 1 (R) is a decreasing bounded function satisfying and there is a constant L > 0 such that sup t∈R ε(t) + ε (t) ≤ L. (1. 3) The nonlinearity f (s) ∈ C 1 (R) with f (0) = 0 satisfies the polynomial growth condition of arbitrary order and the dissipation condition where γ i , β i (i = 1, 2) and l are positive constants.Setting F(s) = s 0 f (y) dy, it follows from (1.4) that there exist γi , βi (i = 1, 2) such that γ1 |s| p -β1 ≤ F(s) ≤ γ2 |s| p + β2 . ( The memory kernel κ is a nonnegative summable function satisfying ∞ 0 κ(s) ds = 1 and having the following form κ(s) = ∞ s μ(r) dr, (1.7) where μ ∈ L 1 (R + ) is a decreasing piecewise absolutely continuous function and is allowed to have infinitely many discontinuity points.We assume κ(s) ≤ μ(s), ∀s ∈ R + , > 0. (1.8) From [17], the above inequality (1.8) is equivalent to the following μ(r + s) ≤ Me -δr μ(s), (1.9) where M ≥ 1, δ > 0, r ≥ 0. The nonclassical diffusion equation arising from several physical phenomena, a pseudoparabolic equation, was first proposed by Aifantis in [1].Then, Jäckle [19] came up with the diffusion equation with memory in the study of heat conduction and relaxation of high-viscosity liquids.Gradually, the study of nonclassical diffusion equations with memory emerged in the time-dependent spaces.
The researches were first focused on the nonclassical diffusion equation with constant coefficient.The kind of problem where the function ε(t) is a positive constant and the case κ(s) = 0 or κ(s) = 0 in equation (1.1) has been studied extensively, see, e.g., [2-7, 9-11, 20-22, 26, 39, 41, 42, 44-48] and the references therein.For the nonclassical diffusion equation with memory (i.e., κ(s) = 0 in (1.1)), the authors [46] first obtained the existence and regularity of a uniform attractor in , when the nonlinearity satisfies the critical exponential growth condition and the memory kernel satisfies (1.10) Since then, the condition (1.10) has been used for the nonclassical diffusion equation with memory and constant coefficient.In 2014, Conti et al. [11] applied the memory kernel condition (1.8) and proved the existence of global attractor in ).Then, they also obtained the existence of the exponential attractor in [10].In [2], the authors obtained the existence of a global attractor for the nonclassical diffusion equation with memory and a new class of nonlinearity.It is worth noting that (1.9) is weaker than (1.10), which shows (1.8) is more general, see [10,11] for details.
When the perturbed coefficient ε(t) is a decreasing function and satisfies (1.2) and (1.3), there are some results for other equations, see [12,24,25,27,28,[30][31][32]40].For the nonclassical diffusion equation, the case κ(s) = 0 in equation (1.1) has been investigated by some authors.When the forcing term g ∈ L 2 ( ) ( ⊂ R 3 ) and the nonlinearity f (u) satisfies |f (u)| ≤ C(1 + |u|), the authors [16] obtained the existence of a time-dependent global attractor by using the decomposition technique.Using the same method, Ma et al. proved the existence, regularity, and asymptotic structure of the time-dependent global attractor in [29], when the forcing term g ∈ H -1 ( ) ( ⊂ R N , N ≥ 3) and the nonlinear term f (u) satisfies the critical exponential growth condition.In [43,50], in order to overcome the difficulty caused by the nonlinearity with a polynomial growth condition of arbitrary order, the authors applied the contractive function method and obtained the existence of the time-dependent global attractor.However, we also proved the regularity and asymptotic structure of the time-dependent global attractor in [43].However, we find that all the articles mentioned above studied the nonclassical diffusion equations without memory.Recently, we submitted a new manuscript on the existence of the time-dependent global attractor for the nonclassical diffusion equation with memory and the nonlinearity of critical exponential growth.In summary, the researches of the nonclassical diffusion equations are not abundant on time-dependent spaces.
Therefore, these discussions above motivate us to consider the dynamic behavior of problem (1.1) in the time-dependent space in this paper.In contrast to the existing papers, the nonlinear term satisfies the polynomial growth condition of arbitrary order and the memory kernel condition is weaker in this paper, which is a highlight worth mentioning.
In order to obtain the corresponding results for problem (1.1), we follow the ideas from [11,43].However, we also encountered some difficulties.First, a weaker memory kernel condition (1.8) makes the directly obtained energy functional unavailable.Secondly, due to the influence of the term -ε(t) u t , the solution for the problem (1.1) does not have the higher regularity.Finally, we can not apply the decomposition technique from [29,36], because of the particularity of the nonlinearity for a polynomial growth condition of arbitrary order.For these reasons, introducing a new function related to the memory kernel, we construct a new energy functional and obtain the existence of the time-dependent absorbing sets.Then, we apply the contractive function method rather than the decomposition method to verify the asymptotic compactness.In addition, we apply a decomposition method from [43] and obtain the regularity of the time-dependent attractor, and we also conclude that the fractal dimension of the time-dependent attractor is finite.
The paper is organized as follows.In Sect.2, we introduce notations, function spaces involved, some abstract results for the time-dependent global attractor, and some standard conclusions.In Sect.3, we will prove the well-posedness of the solution.Then, based on the existence of the solution, we obtain the process generated by a weak solution.In Sect.4, we investigate the existence of the time-dependent global attractor in U t .In Sect.5, the regularity of the time-dependent attractor is obtained in U 1 t .Finally, based on the previous results in this paper, we find that the fractal dimension of the time-dependent attractor is finite in U t .

Preliminaries
As in [15], we introduce a variable that shows the past history of equation (1.1), that is and where η t = ∂η ∂t , η s = ∂η ∂s .Therefore, according to (1.7), (2.1), and (2.2), the problem (1.1) can be transformed into the following system with the corresponding initial conditions (2.4) First, we give some spaces and the corresponding norms used in the remainder of the paper.Usually, we set • L p ( ) as the norm of L p ( ) (p ≥ 1).In particular, set •, • and • as the scalar product and norm of H = L 2 ( ), respectively.The Laplacian A = -with Dirichlet boundary conditions is a positive operator on H with domain H 2 ( ) ∩ H 1 0 ( ).Then, we consider the family of Hilbert spaces H s = D(A s/2 ), ∀s ∈ R, with the standard inner products and norms, respectively, Hence, for any t ∈ R, -1 ≤ s ≤ 1, we define the time-dependent spaces H s t with norms and where the embedding constant is independent of t ∈ R and the symbol s is always omitted whenever zero.In particular, According to the definition of the memory kernel, for any -1 ≤ s ≤ 1, we introduce the Hilbert (history) spaces with the corresponding inner products and norms We know that M s 1 → M s 2 , ∀s 1 > s 2 .Due to the lack of tightness in the memory space, a new weighted space needs to be constructed.According to the literatures [13], let where T η t is the tail function of η t with the following form Now, combining the above spaces, we give the following time-dependent space families endowed with the inner products and norms, respectively, In particular, Note that the dual space of X is denoted as X * .As a convenience, we choose C as the positive constant depending on the subscript that may be different from line to line or in the same line throughout the paper.Secondly, we recall some notations, concepts, and abstract results, see, e.g., [14,33,36] for more details.For every t ∈ R, let X t be a family of normed spaces, we introduce the R-ball of X t In addition, we denote the Hausdorff semidistance of two nonempty sets B, C ⊂ X t by Definition 2.1 Let {X t } t∈R be a family of normed spaces.A process is a two-parameter family of mappings {U(t, τ ) :

Definition 2.3
A time-dependent absorbing set for the process {U(t, τ )} t≥τ is a uniformly bounded family B = {B t } t∈R with the following property: for every R > 0 there exists a t 0 such that Definition 2. 4 We say that a process {U(t, τ )} t≥τ in a family of normed spaces {X t } t∈R is pullback asymptotically compact if and only if for any fixed t ∈ R, bounded sequence has a convergent subsequence, where R -t = {τ : τ ∈ R, τ ≤ t}.

Definition 2.5
The time-dependent global attractor for {U(t, τ )} t≥τ is the smallest family (ii) A is pullback attracting, i.e., it is uniformly bounded and the limit holds for every uniformly bounded family D = {D t } t∈R and every fixed t ∈ R.

Definition 2.6
We say A = {A t } t∈R is invariant if For the sake of estimation, we next recall some standard conclusions, see [18,23,35].Lemma 2.10 Assume that the memory function κ satisfies (1.7) and (1.8), then for any Lemma 2.12 (Aubin-Lions Lemma).Assume that X, B, and Y are three Banach spaces with X → → B and B → Y .Let f n be bounded in L p ([0, T], B)

Well-posedness
Now, we give the definition of a weak solution and prove the well-posedness of the weak solution for the problem (2.3) and (2.4) by using the Faedo-Galerkin method from [8,23,38].
is said to be a weak solution for the problem (2.3) and (2.4) with the initial data hold for a.e.[τ , T].
Proof Assume that ω k is the eigenfunction of A = -with a Dirichlet boundary value in H 1 , then {ω k } ∞ k=1 is a standard orthogonal basis of H and is also an orthogonal basis in H 1 .The corresponding eigenvalues are denoted by 0 < Next, we will complete our proof.
♥ Faedo-Galerkin scheme.If we give an integer m, we denote by P m the projection on the subspace span{ω 1 , . . ., ω m } in H 1 0 ( ), and Q m the projection on the subspace span{e 1 , . . ., e m } ⊂ L 2 μ (R + , H 1 ) in L 2 μ (R + , H 1 ).For every fixed m, we look for the function On account of the standard existence theory for ordinary differential equations, there exists a continuous solution of the problem (2.3) and (2.4) on an interval [τ , T].Then, we will prove the convergence of z m (t) = (u m , η t,m ).
♥ Energy estimates.Multiplying the first and the second equation of (3.1) by a k m and b k m , respectively, and summing from 1 to m about k, we have By (1.4), Hölder's inequality, and Young's inequality, we obtain According to Lemma 2.10 and (3.2)-(3.4),we have Applying the decreasing property of ε(t) and integrating from τ to t at the sides of (3.5) we obtain where Thereby, we infer from (3.6) that for any fixed T > t.It follows from (1.4) that where 1 p + 1 q = 1.Hence, we infer from (3.9) that where Applying (1.6) arrives at ) Hence, combining with Poincaré's inequality, (3.4), (3.12), and (3.13), we obtain In addition, Then, it follows from (3.6), (3.11), and (3.16) that for t ∈ [τ , T]. Integrating from s to t at the sides of (3.17), for any s ∈ (τ , T], we obtain Then, integrating from τ to T about variable s for (3.18), we have where Combining with (3.14), (3.15), and (3.20) as well as integrating from τ to t at the side of (3.17), we obtain where Hence, we infer from (3.21) that ) ) f u m → χ weakly in L q [τ , t], L q ( ) , (3.27) We find from (3.6), (3.21), and Lemma 2.12 that there is a subsequence of {u m } ∞ m=1 (still denoted as {u m } ∞ m=1 ) such that which shows that Due to (3.29) and the continuity of f , we have which combines with the term-by-term of the integral theorem of Lebesgue and the uniqueness of limit, we verify χ = f (u).Moreover, we can obtain that z ∈ C([τ , T], U t ), the conclusion (ii) in Definition 3.1 and z(τ ) = z τ hold.The proof of these conclusions is similar to Theorem 3.2 from [43] and also trivial, hence, we will omit it.
♥ Uniqueness and continuity of solution.Assume that (u i , η t,i ) (i = 1, 2) are two solutions of the problem (2.3) and (2.4) with the initial data (u i τ , η τ ,i ), respectively.For convenience, define ū = u 1u 2 , ηt = η t,1η t,2 , then (ū, ηt ) satisfies the following problem Multiplying the first equation (3.30) by ū and integrating on , we obtain In view of (1.2), (1.3), (1.5), and Lemma 2.10, then Then, by the Gronwall lemma, we obtain which shows the uniqueness and continuous dependence of the solution on the initial value.
According to Theorem 3.2, we can define a continuous process {U(t, τ )} t≥τ generated by the solution of the problem (2.3) and (2.4), where the mapping

The time-dependent global attractor
In this subsection, we first consider a time-dependent absorbing family for the solution process to prove the existence of the time-dependent global attractor.
} t∈R is a timedependent absorbing set in U t for the process {U(t, τ )} t≥τ corresponding to the problem (2.3) and (2.4).
Proof Multiplying (2.3) by z and repeating the estimates of Theorem 3.2, we can obtain where According to (1.2), (1.3), (4.1), and Poincaré's inequality, we have To reconstruct E 1 (t), we assume a new function We find from (1.8) that In addition, taking the derivative with respect to t at the side of (4.3) and combining with (1.7) and (1.8), we obtain Therefore, for fixed ν > 0, we definite the function It follows from (4.2), (4.5), and (4.6) that for small enough ν.By (4.6), we also yield It follows from (4.7) and (4.8) that By the Gronwall lemma, we obtain Hence, from (4.8) and (4.10), we conclude that that is, We next verify the pullback asymptotically compact for the process {U(t, τ )} t≥τ corresponding to the problem (2.3) and (2.4).Theorem 4.2 Assume that (1.2), (1.3), (1.4), and (1.8) hold, then the process {U(t, τ )} t≥τ of the problem (2.3) and (2.4) is pullback asymptotically compact in U t .
Proof Assume that z n = (u n , η t,n ), z m = (u m , η t,m ) are two solutions of the problem (2.3) and (2.4) with initial data z n τ , z m τ ∈ B U τ (R 0 ), respectively.Without loss of generality, we assume τ ≤ T 1 < t for every fixed T 1 .As a convenience, let Taking w as a test function for the first equation of (4.11), we can obtain where Combining Hence, for any > 0 and some given t, set t > T 1 ≥ τ such that t -T 1 is enough large, we can conclude from (4.15) and (4.17) that where ) is a solution of the problem (2.3) and (2.4) with initial data z k τ ∈ B U τ (R 0 ), then we find that u k t ∈ L 2 ([T 1 , t], H t ) and u k ∈ L 2 ([T 1 , t], H 1 0 ( )) for some given t by applying the same arguments of Theorem 3.2.Thereby, we infer from Lemma 2.12 that there exists a convergent subsequence of u k (denoted as u k i ) such that which implies that ψ t T 1 ∈ C(B T 1 ).We conclude from (4.18), (4.19), and Theorem 2.8 that This shows that the process {U(t, τ )} t≥τ is pullback asymptotic compact in U t .
Proof Similar to the proof of Theorem 4.1, we find easily that (5.4) holds.Therefore, the proof is omitted.
Lemma 5.2 Assume that (1.2)-(1.8)hold and g 0 ∈ L 2 ( ), then there exists R 2 > 0 such that Proof Taking the inner product ofy with the first equation of (5.2) in L 2 ( ), we obtain (5.5) From (1.5) and Young's inequality, then then it is easy to obtain that by using the same discussion of Theorem 4.1.Further, we have where σ 1 is given in Theorem 4.1, Proof Thanks to Lemma 5.1 and Lemma 5.2, then for any t ∈ R, we have where σ 3 > 0, Thereby, the above conclusion holds.

Fractal dimension of the attractor
In what follows, in order to study the attractor further, we discuss the fractal dimension of the time-dependent global attractor by Lemma 6.1 of [36].We decompose the solution U(t, τ )z τ = z(t) = (u, η t ) with initial value z τ = (u τ , η τ ) ∈ U τ into the sum then the corresponding solutions are U(t, τ )z i τ = z i (t) for any initial value z i τ ∈ U τ (i = 1, 2), respectively.Now, we split the solution z 1z 2 with initial value z 1 τz 2 τ into the following form where (ṽ, τ are the solutions of the following problem, respectively, where Q t > 0 only depends on t and 0 ≤ ρ < 1 4 . Proof Taking the inner product of ṽ with the first equation of (6.1) in L 2 ( ), we arrive at d dt ṽ 2 + ε(t) ṽ Integrating both sides of (6.6) from τ to t, we see that for any z i τ ∈ B U τ (R 0 ).Hence, K(t, τ )z where C is a positive constant.By (6.8) and (6.9), we have

3
The process {U(t, τ )} t≥τ generated by the problem (2.3) and (2.4) has an invariant time-dependent global attractor A = {A t } t∈R in U t .Proof Combining with Theorem 4.1 and Theorem 4.2, we obtain easily the existence of the invariant time-dependent global attractor A = {A t } t∈R for the problem (2.3) and (2.4).