In this paper we study the initial-boundary value problem for the following nonlinear wave equation

with boundary conditions

and initial conditions

where constant, is a strong structural damping term, is nonlinear source term and is a nonlinear strain term.

An other version of problems (1.1)-(1.3) was studied in [1-4]. In [1] Chen et al worked that the following initial boundary value problem

has a global solution and there exists a compact global attractor with finite dimension. In [2] Karachalios and Staurakalis studied the local existence for (1.1) with u_t is a damping term and without nonlinear source term. In [3] Çelebi and Uğurlu gave the existence of a wide collection of finite sets of functionals on the phase space that completely determines asymptotic behavior of solutions to the strongly damped nonlinear wave equations. In [4] Chueshov presented the approach of a set of determining functionals containing determining modes and nodes that completely determines the long-time behavior of some first and second order evolution equations.

Similar results of determining modes for similar equations have been obtained in [5-7].

In this article, we take the problem defined by (1.1)- (1.3) which was not investigated in above mentioned articles. Our problem has nonlinear strain and source terms. The control of long time behavior is achieved due to the presence of restoring forces In Section 2 under conditions

and we prove the global existence and uniqueness of a weak solution u of the problems (1.1)-(1.3). In Section 3 we study determining modes on the phase space by using energy methods and the concept of the completeness defect.

Let be the usual Hilbert space of square integrable functions with the standard norm and inner product Denote the Laplacian operator on L² with domain A is a sectorial operator and that is a bounded linear operator defined in see [8]. The nonlinear source term satisfies the following conditions

there exists a constant such that

where Finally we denote

with the standard product norm

Define in Y by

Then the following Lemma1 is valid [9].

Lemma 1 is a sectorial operator on Y.

We define a map from to Y by

where

Using the Sobolev embedding theorem, we can see that is locally Lipschitz continuous. Thus we apply the existence theorem in [8] to get the solutions of initial value problem for the following system in Y:

when

Now, we have the following theorem.

Theorem 2 (Local existence) For and there exists such that and for a.e. and u satisfies (1.1)-(1.3). Moreover, if is maximal, then either or is unbounded on

Now for the proof of the Theorem 4 (Global Existence) we give the following Lemma 3. In the proofs of Lemma 3 and Theorem 4 (Global Existence) we repeat a similar technique used in [1].

Lemma 3 For and there exist constants

such that for

where u is the solution of (1.1)-(1.3).

Proof. Let where is a constant to be determined. Thus (1.1) becomes

Taking the inner product of both sides of (2.6) with v and integrating the resulting equation, we have

where

and

Now we will estimate and Choose such that

where is first eigenvalue of the following problem

From (2.8) and (2.9) with, we get

We use Young inequality, Poincaré inequality and (2.10) in (2.11) we find

Similarly, we obtain

Then (2.7), (2.12) and (2.13) yield

Using Gronwall’s inequality, we have

Since we can find that

by using the Sobolev embedding theorem. Thus using (2.13) in (2.15) we obtain

Taking

and choosing we get (2.5).■

Now we can prove the global existence of the problems (1.1)-(1.3).

Theorem 4 (Global Existence) For there exists a global solution u of problems (1.1)-(1.3) satisfying.

Proof. In Theorem 2 (Local Existence) we know that for and, for a.e. In Lemma 3 we find that and are uniformly bounded for all Now we prove the global existence of the solution u. To do this we need to show that is uniformly bounded for

Now, taking the inner product of both sides (1.1) in with, we have

Then we multiply both sides of (2.17) by and add to (2.7) to obtain

Using Poincaré inequality and (2.10) in (2.18), we have

where

and

Then thanks to Young inequality we obtain

Taking in (2.22) we get

Using (2.19), (2.23) and Gronwall’s inequality we get

Thus (2.24) and Lemma 3 imply that is uniformly bounded in because of

for some constant

and we have

where Finally, using Sobolev embedding theorem and Lemma 3 we obtain that is uniformly bounded in■

Theorem 5 (Uniqueness of weak solution) A weak solution of (1.1)-(1.3) is unique.

Proof. Let u and v be two distinct solutions to (1.1)- (1.3) for the same initial and boundary data. We define the difference of these solutions as Then from (1.1)-(1.3), w satisfies

Taking the inner product of (2.26) by in and integrating by parts gives

By means of the inequality

which holds for all and it follows from (2.29) that

Thus we get

where Consequently the differential form of Gronwall’s inequality implies to give on■

Now we give some definitions, theorems and corollary for proving existence of determining functionals.

Definition 6 [4] Let be a finite set of linear continuous functionals on

We will say that is a set of determining functionals for (1.1)-(1.3) when for any two solutions with

and the conditions

imply

Definition 7 [4] Let V and H be the reflexive Banach spaces and V be continuously and densely embedded into H. Let be a set of linear functionals on V. We define the completeness defect of the set with respect to the pair of the spaces V and H by the formula

The following assertion gives the spectral characterization of the completeness defect in the case when V and H are the Hilbert spaces.

Theorem 8 [4] Let V and H be the separable Hilbert spaces such that V is compactly and densely embedded into H. Let K be the self-adjoint, positive and compact operator in the space V defined by the equality

for Then the completeness defect of a set of linear functionals on V can be evaluated by the formula

where is the orthoprojector in the space V on the annihilator

is the maximal eigenvalue of the operator S.

Corollary 9 [4] Let the conditions of Theorem 8 be hold and let us denote by the orthonormal basis in the space V that consists of the eigenvectors of the operator K:

Then the completeness defect of the set of functionals,

can be evaluated by the formula

The following theorem establishes a relation between the completeness defect and the set

Theorem 10 [4] Let be the completeness defect of a set of linear functionals on V with respect to H. Then there exists a positive constant such that

for any where is the closed linear span of the set in the dual space of V and is the norm in

The following version of Gronwall’s lemma is also needed to determine behavior of solutions as

Lemma 11 [4] Let be a locally integrable real valued function on satisfying for some

the following conditions

where. Further, let κ be a real valued locally integrable function defined on such that

where Suppose that is an absolutely continuous non-negative function on such that

Then as

Now we can prove the main result concerning existence of a set of determining functionals of solutions to problems (1.1)-(1.3).

Theorem 12 Let be a set of linear continuous functionals on the space and let be a positive number satisfying

where R₃, R₅ positive constants. Then, is a set of determining functionals for (1.1)-(1.3).

Proof. Let u and v be two solutions of problems (1.1)- (1.3). Let be the difference of these solutions. Thus w satisfies (2.26)-(2.28). Now taking the inner product of (2.26) by we get

Using (2.30) and Young inequality in right hand side of (3.10) we obtain

On the other hand, the inner product of (2.26) by and integration by parts over yields

We assume that for some and any small v, v₁, the nonlinear function satisfies

where C is independent of v, v₁, v₂ [10]. Using (2.30) and (3.13) in (3.12) we have

Using the Hölder, Young and Sobolev inequalities in right hand side of (3.14) we obtain the estimate

where is the constant in the Sobolev inequality. Since there exists a positive constant D such that Then we get

Adding (3.16) to (3.11) and using Poincaré inequality we obtain

where are positive constants and

.

Choosing

in (3.17) leads to

Let denote the completeness defect between and and that is

From Theorem 10 we have

for all Squaring both sides of (3.20) and using Cauchy’s inequality we obtain

Combining (3.21) in (3.18) leads to

Then we choose as small as possible so that

Hence, from (3.22) we have

and using Poincaré inequality in (3.23) we find

Now we find upper and lower bounds for the functional owing to the Cauchy-Schwartz and the Cauchy inequalities:

Therefore, using (3.25) and from the definition of, we can find that

Hence, from (3.26) we can obtain that there exists a positive constant

such that

Applying Lemma 11 to (3.27) with

and and using a result of Lemma 11 we see that if

tends to zero as then Thus we obtain that

or

As a result from Definition 6, the set defined on is a set of determining functionals for (1.1)-(1.3). Therefore we complete the proof of Theorem 12.■

The author thanks Professor A. Okay Çelebi for valuable hints and discussions.