A nonlinear thermoelastic system with memory is considered, which is derived from a physical model with vibration in temperature environment. By some skillful and technical arguments, results of existence, uniqueness, and uniform decay on this generalized system are obtained.

1. Introduction

In this work we consider the following initial boundary value problem: where , , , is a bounded domain in with boundary, , , is class function like , and , are positive constants: , is a known function and the function is positive and satisfies some conditions to be specified later.

However, (1.1) consists of a dynamical equation coupling a heat equation, which can be used to describe some physical process of thermoelastic material. Also, and represent the displacement and temperature, respectively, at position and time . The coupling of the heat equation in the model of vibrations presents important aspects because it represents better than the reality, that is, allowing to influence the vibrations in a more adequate way. appearing in the dynamical part of system (1.1) is a nonlinear perturbation of Moeover, Kirchhoff-Carrier's model which describes small vibrations of a stretched string (dimension n = 1) when tension is assumed to have only a vertical component at each point of the string. Many researchers have investigated several types of problems involving the Kirchhoff equation among which we can cite the work in [1, 2]. Clark and Lima [3] studied the local existence for of solutions to the mixed problem:

In this paper, we prove the global existence and uniqueness of weak solutions of (1.1) based on different definition of weak solution and estimate techniques from [3], we consider the Kirchhoff equation with the strong damping term and so-called “memory” term . Here we consider the memory effect in (1.1) because physically some materials could produce the viscosity of memory type [4]. Hence under appropriate assumptions on , , and , and making use of Galerkin's approximations and compactness argument, we establish global existence and uniqueness. Meanwhile, by some suitable estimate techniques, we deal with the memory term and another nonlinear term appearing in the mixed problem of viscoelastic wave equation. In order to obtain the exponential decay of the energy, we make use of the perturbed energy method, see Komornik and Zuazua [5].

The rest of this paper is organized as follows: In Section 2 we give out assumptions and state the main result. In Section 3 we exploit Faedo-Galerkin's approximation, priori estimates, and compactness arguments to obtain the existence of solutions of a penalty problem. In Section 4, uniqueness is proved. In Section 5, the exponential decay of solution is obtained by using the perturbed energy method.

2. Assumptions and Main Results

Throughout this paper, we use the following notation:

Now we state the main hypotheses in this paper.

(A.1) Assumption on Kernel h
Let be a nonnegative and bounded function and suppose that there exist positive constants such that Moreover, verifies .

(A.2) Assumption on
Let satisfies that is given by the Sobolev embedding inequality for , in the general case, we denote .

(A.3) Assumption on Initial Condition, f and g
Assume that and . Next we define the energy with The main result is as follow.

Theorem 2.1. If assumptions ()–() hold, then there exists a unique weak solution with , , , and such that Furthermore, if , satisfy that and small enough, we have the following decay estimate: where and are positive constants.

3. Existence of Solutions

Proof of Theorem 2.1. We use Galerkin's approximation. Let be a basis in which is orthonormal in and the subspace of generated by the first of . For each , we seek the approximate solution: of the following Cauchy problem: satisfying the initial conditions According to the ODE theory, we can solve the system (3.2)-(3.3) by Picard's iteration. Hence, this system has unique solution on interval for each . The following estimates allow us to extend the solution to the closed interval .
In the following proof, we will use , , to denote various positive constants which may be different in different places and may be dependent on in some cases.
The First Estimate
Taking in (3.2) and in (3.3), respectively, then adding the results and using assumption we have Now integrating (3.5) over for we have Moreover, from assumption (1), we have where is arbitrary.
Hence letting small enough and using Gronwall's inequality we obtain the first estimate:
where is independent of .
The Second Estimate
First we estimate the initial data in the -norm. Taking and in (3.2) we have Hence, noticing the assumption on , and , we deduce where is independent of .
Similarly, taking and in (3.3), we also deduce
where is independent of .
Differentiating (3.2) and (3.3), replacing by and respectively, and then adding the results, we get
From the first estimate and Young's inequality, we have where is arbitrary.
Noticing , assumption and the first estimate, we have
and by assumption (1), we have Therefore, combining (3.14)–(3.16), (3.10), (3.11) and integrating (3.12) over we have Moreover, consider that
Hence, from (3.17), (3.18), the first estimate, letting small enough and using Gronwall's inequality, we get the second estimate:
where is independent of .
The Third Estimate
Taking in (3.3), we have Hence we easily get , and is independent of .
The Fourth Estimate
Let be two natural numbers and consider , . From the system (3.2), we have
Taking in (3.21), we have
Noticing that hence, using assumption (2.2) and integrating (3.22) over , we get Notice that where is arbitrary: Moreover, by mean value theorem and assumption we have Therefore, by (3.25)–(3.27), letting small enough, by the first estimate, and using the Gronwall's lemma of integral form (see [6]) in (3.24) we obtain that
Passage to the Limit
From above estimates, we deduce that there exist functions and subsequences of , which we still denote by , satisfying Moreover, according to the compactness of Aubin-Lions, we have Hence combing (3.31) and the fourth estimate (3.28), we deduce that
Thus we can pass the limit in system (3.2)-(3.3). Let , we prove that is a weak solution of the system (1.1).

4. Uniqueness of the Solution

The proof of uniqueness of solution is similar to the fourth estimate, but for integrity, we still give the detailed proof.

Let and be two solutions of couple system (1.1) under the conditions of Theorem 2.1, then we have verifying

Taking in (4.1) and in (4.2), respectively, and adding the results, we have Noticing that hence, using assumption (2.2) and integrating (4.3) over , we get Notice that where is arbitrary: Moreover, by mean value theorem and assumption , we have Therefore, by (4.6)–(4.8), Cauchy inequality, Young's inequality, and using Gronwall's lemma in (4.5), we get Thus, we have proved the uniqueness consequence.

5. Existence of Solutions

In this section, we follow the additional assumptions appeared in Theorem 2.1. We introduce the energy where we define

Remark 5.1. Taking in (2.6) and in (2.7), respectively, then adding the results we have Noticing and combining the assumptions on appeared in Theorem 2.1, we deduce where we denote . Thus, we have the energy is uniformly bounded (by e(0) and is decreasing in .

Remark 5.2. Furthermore, from the assumption , we have

For every , we define the perturbed energy by setting

Lemma 5.3. There exists such that

Proof. From (5.7), we obtain hence we have where .

Lemma 5.4. There exists and such that for

Proof. By using the problem (1.1), we obtain Notice that where is arbitrary.
Hence, from (5.12)–(5.15), we have
Therefore, from (5.5) and (5.16), we get Taking and small enough, we have . Moreover if we denote and choosing we obtain for some constant .

Proof of Decay
Let us define and consider . From Lemma 5.3, we have and so From (5.21), we get Hence from (5.22) and Lemma 5.4, we obtain that is, Integrating last inequality over [0,t], we get From (5.21) and (5.25), we have
Hence, from (5.6) and (5.26), we obtain
that is, where and .
Therefore, we have proved the exponential decay of solution.


This work is supported by NSFC of Yunnan Province (07Y40422, 2007A196M) and the National Natural Science Foundation of China under Grant 10471072.