Table of Contents Author Guidelines Submit a Manuscript
Abstract and Applied Analysis
Volume 2009, Article ID 828315, 19 pages
http://dx.doi.org/10.1155/2009/828315
Research Article

Existence and Stability Estimate for the Solution of the Ageing Hereditary Linear Viscoelasticity Problem

Fraunhofer-Institut für Techno- und Wirtschaftsmathematik, Gottlieb-Daimler Straße 49 D, 67663 Kaiserslautern, Germany

Received 19 January 2009; Accepted 23 April 2009

Academic Editor: Victor Zvyagin

Copyright © 2009 Julia Orlik. 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

The paper is concerned with the existence and stability of weak (variational) solutions for the problem of the quasistatic evolution of a viscoelastic material under mixed inhomogenous Dirichlet-Neumann boundary conditions. The main novelty of the paper relies in dealing with continuous-in-time weak solutions and allowing nonconvolution and weak-singular Volterra's relaxation kernels.

1. Introduction

Our work deals with mathematical problems arising from considering the behavior of hereditary viscoelastic solids. These result in the system of elliptic partial differential equations in space variables, whose coefficients are Volterra integral operators of the second kind in time, which allow for weak-singular kernels. In Sections 2 and 3 a general mathematical model of the boundary value problem of the inhomogeneous hereditary ageing viscoelasticity is given in the classical and weak formulations. The main result of this section, Theorem 3.2, proves the existence and uniqueness of the solution to the general problem of the hereditary ageing viscoelasticity with mixed boundary conditions. The proof of the main results is shifted to the end of the paper, since it is based on the main result of Section 4 applied to the class of continuous Banach-valued functions with values in the Sobolev spaces. Section 4 can be considered separately of the mechanical background of the problem and can be interesting from the point of view of "Linear Volterra integral operators in Banach spaces". It includes definition of classes of Volterra operators with operator-valued kernels acting in the space of continuous Banach-valued functions. We also present some well-known results from the theory of Bochner's integral and their extension to the introduced classes. Lemma 5.4 delivers statements about the spectral radius and representation as a series for scalar Volterra operators. Theorem 6.2 delivers the main result of this section. It gives a statement about the solvability of Volterra's integral equation in the space of continuous functions with values in Banach spaces. The idea of its proof is the reduction of a statement for Banach-valued functions to the corresponding statement for real-valued functions. Similar ideas were proposed in [1] for Volterra operators with kernels depending on a parameter. The main principle for obtaining this purpose is given by Theorem 4.1. The question of the solvability of nonconvolutional Volterra integral equations in Banach spaces was considered in [210], but under somewhat stricter assumptions for the kernel classes and almost all the proofs were given by using semigroup theory or fixed-point arguments. That is, in [2] the same problem is considered but the solvability proof restricts on a special kind of the kernel's weak singularity and is based on the fixed-point argument. The work in [6] allows for weak singular kernels, but again of the same as in [2] special type, . This allows to get a simple estimate for the partial sum of the Neumann series in the form of an explicit formula, which shows its convergence. In the work [8], the kernels are supposed to be continuous on the whole time interval. References [3, 5] consider evolutional integrodifferential equations with weak singular kernels, but such equations can be transformed by partial integration to the Volterra integral equation with bounded kernels. While we are looking for the solution in the space of continuous Banach-valued functions, [7] proceeds in -spaces, . Papers [4, 9, 10] first assume the existence of the resolvent of the operator kernel part, that is, that its spectral radius is zero, and second do not permit the dependence of the operator kernel part on both time-variables separately.

2. Definition of the Problem

We consider a linear viscoelastic and aging (of the non-convolutional integral type) body, which is subjected to some external loading. We denote the domain occupied by the body by , which is a Lipschitz domain.

We are going to consider the equilibrium equations for such a solid. We would like to recall that viscoelastic solid is still a solid, its deformation is slow and we restrict ourselves to the quasi-static, that is, classical for the solid mechanics statement of problem, without the inertial term. A summation from to over repeating indices is assumed in all the present work, unless opposite is stated: , with boundary conditions: holding for any . Here are Volterra integral operators with kernels ; are instantaneous elastic coefficients (out-of-integral terms) and ; are components of a vector of external forces; are components of a vector of boundary traction on the part of the external boundary; are components of the displacement vector on the rest part of the boundary. All functions are supposed to be continuous w.r.t. and sufficiently smooth w.r.t. in domain (for performing a partial integration). The whole viscoelastic operator tensor is assumed to be symmetric at each point :

The tensor is additionally positivedefinite, with elements bounded at each point

for all and where the constants are independent of and . For isotropic materials

Example 2.1. (i) Often, the kernels are of the convolution type and are taken in the exponential form where the are piece-wise continuous functions, often just constants, and the are piece-wise continuous functions for .
(ii) The may also be kernels of the Abel type (typical example for the relaxation kernels of concrete and cement): with . The , , are continuous in and , and piece-wise continuous in .

3. Weak Problem Formulation and Main Results

In order to obtain the variational formulation, we multiply (2.1) by test functions , , where , and integrate over the whole domain . Integrating by parts and taking into account boundary condition (2.2), we obtain the following variational problem.

Find , , satisfying (2.2) and

Definition 3.1 (General weak formulation). Consider the matrix of instantaneous elastic coefficients , the relaxation operators , such that , and , and , the whole viscoelastic operator , the boundary tractions , and boundary displacements .
One defines a weak solution of problem (2.1)–(2.3) as a vector-valued function , which can be represented in the form , where satisfies and , , satisfies the integral identity for any . The right hand-side of (3.2) is, for all , a linear functional on the The space of linear bounded functionals on is denoted by .

We denote further, . Obviously, .

Note that and are bilinear forms on for every and almost every . We can rewrite the weak formulation (3.2) as follows:

Let us finally rewrite (3.4) in the operator form. For this purpose we introduce the following notations: for all fixed and almost all . Now we can represent (3.2) in the form where is an infinite dimensional integro-differential linear operator and the weak problem formulation (3.2) takes the form Equation (3.6) provides the most general form of the time-space integro-differential dependencies of the considered problem. The following theorem is used as an auxiliary result for showing the solvability of such equation.

Theorem 3.2 (Data stability). Let be a Lipschitz domain and , let , and let be boundedly-invertible uniformly in , , , and . Then there exists a unique global solution of the problem in , which depends continuously on , that is, where the constant is independent of , and if , then where is some real-valued function, independent of .

The rest of the paper is aimed to prove this theorem. The final proof of this theorem as well as of two following lemmas can be found in the Appendix . Since we are searching for the weak solution in the form , where both and are in , then we can claim that our solution exists and is unique.

Lemma 3.3. Let be a Lipschitz domain in , the instantaneous elastic (out-of-integral) coefficients satisfy the positivity condition (the first of (2.6) with a constant , and the relaxation kernels . Then (i) belongs to , and has an inverse operator   . This inverse operator is uniformly bounded in , that is, the following estimate: holds for any , and is independ on ;(ii) satisfies the following estimate: for all and a.a . Furthermore, the condition implies that .

Lemma 3.4. In both cases of Example 2.1, , that is, are the Volterra kernels.

4. Volterra Integral Operators in Banach Spaces

The following theorem (which can be found, e.g., in [11, section 7.2]) delivers the tool, which we will multiply use for obtaining the main results of this section.

Theorem 4.1. A strongly-measurable Banach-valued function is Bochner-integrable, if its norm in the corresponding Banach-space is Lebesgue integrable, and it follows (see [12, page 133]),

We introduce the notation , which should be interpreted as either or .

Corollary 4.2. Let be a finite segment , and be Banach-spaces, and . Then for all .

Proof. Each is Bochner integrable, hence, strongly measurable, and each is strongly measurable, according to definition of the space . Thus we can find disjoint sets and finitely-valued functions such that a.e. on . Here is the characteristic function of . Thus for almost all . is strongly measurable on , where is, for all , a strongly measurable -valued function, owing to [12, Chapter 5, Corollary 2], and .  Owing to [13, the Appendix, Proposition (9a)], is strongly measurable on . Then, according to the convergence theorem of Egorov, in a view of (4.1) (see [13, page 1013]), is also strongly measurable on .
Owing to the fact that , we have,
Using Theorem 4.1 completes the proof.

Since for , , it would be enough to consider only instead of in Corollary 4.2 and also in further considerations. Nevertheless, we often will need this theory specifically for continuous Banach-valued functions in the main part of this work. Therefore it is reasonable to keep .

Now we define a class of Banach-valued Volterra operators.

Definition 4.3. Let , be Banach spaces and be a finite segment , , or the half-infinite interval . Suppose an operator kernel is such that , , that is,(i), and almost all , is strongly measurable w.r.t. , for all , and is integrable w.r.t. for all in , that is, (ii)Call defined by for a Volterra integral operator. The set of all Volterra integral operators is denoted by .

Remark 4.4. Observe that, as soon as is closed and bounded (i.e., compact), condition (ii) of Definition 4.3 implies that the following holds: We will call in such a case the kernel norm of the operator .

Corollary 4.5. Let , and let , be Banach spaces. If , , one can view also as an element of .

Proof. The fact that follows from Corollary 4.2. Let us show the continuity: For abbreviation, we will set .

Corollary 4.6. Let be a segment, and be Banach-spaces, . Then and the following estimate holds for all and .

Proof. An operator has the scalar kernel which obviously satisfies all requirements of Definition 4.3, since . The estimate (4.4) follows directly from Theorem 4.1.

Corollary 4.7 (from Theorem 4.1 in application to Definition 4.3). If is a finite segment and , are Banach spaces, then , that is any operator can be identified with a bounded linear mapping from to .

Proof. The continuity is implied from condition (ii) from Definition 4.3, the compactness of the interval and the boundedness of by applying Theorem 4.1 (see proof to Corollary 4.5).
The boundedness in the -norm follows from the continuity and the fact that is compact. And Theorem 4.1 delivers the continuity of the embedding

5. Some Auxiliary Results from the Spectral Theory

In this section we give definitions of the spectrum and of the resolvent for an element of a Banach algebra with a unit used in [14, A.2.1].

Definition 5.1. The spectrum of from a Banach-algebra with a unit is the set of all for which does not exist or is not bounded. Furthermore, for , is invertible and the inverse is called the resolvent of , and belongs to the same algebra.

The following definition is known from in [14, A.2.1] or in [15, 18.8].

Definition 5.2. Let be a Banach-algebra with unit, and be the spectrum of . Then one calls the number the spectral radius of .

In [16, Theorem 3.6] about Neumann's series the following is proven.

Theorem 5.3. Let be a bounded linear operator over a Banach-space , with then can be represented as a series:

Now, we formulate and prove a lemma about the spectral radius and representation of a resolvent for scalar Volterra operators as Neuman's series. It prepares the basis for the main result of this section.

Lemma 5.4. Let be a compact interval , and . Then there exists a resolvent of in , given by the convergent series for each .

Proof. The class of kernels of Volterra operators from , on the compact interval forms a Banach algebra with product . This follows from [17, Theorem 9.5.3(ii)]. Such an algebra, owing to [18, Theorem 2, Section 20, Chapter 4], does not have a unit. According to [19, page 228], we can add an artificial unit to our algebra kernels from . Owing to [17, Theorem 9.5.5(ii)], every kernel , on some bounded interval has an element (called there a resolvent of ), which satisfies the following equality: such that .
Obviously, if , then, for all , belongs also to , and, hence, has a resolvent (in the sense of [17]) in , satisfying .
Considering separately each of two last equalities and adding on both sides, we varify that Consequently, is invertible and, hence, all nonzero , are outside for .
In [14, Theorem 1.2., A.2.2] or [15, 18.6] it claims that the spectrum of an element is nonempty. Hence, only belongs to the spectrum, and this implies that the spectral radius for kernels from is zero.
Furthermore, the following spectral radius formula is known from the theorem with the same title (see [14, Theorem 2, A.2.3] or [15, Theorem 18.9]). This means,
Let us give a justification of the assumptions of Theorem 5.3 on . Since is an algebra, , for any . According to Corollary 4.7, , and we can estimate According to (5.5), condition (5.1) is satisfied for , completed by the unit from .
Since the assumptions of Theorem 5.3 are satisfied, for each and ,

6. Solvability of the Volterra Integral Equations in Banach Spaces

We will use an idea of [1, Lemma 2.7], in which a class of Volterra operators depending on a complex parameter on a strip is considered, and which claims that their resolvents on a finite segment exist and belong to the same operator class. The idea is to reduce the proof of the Neumann series convergence for such Volterra operators to the convergence for corresponding scalar Volterra operators by taking supremum from kernels w.r.t. the complex parameter.

Lemma 6.1. Let be a Banach space, , . Then, for each one can estimate where .

Proof. Corollary 4.7 claims that, since and , . We can estimate

Theorem 6.2. Let be a Banach space, and . Then there exists a unique global solution of the problem in , which depends continuously on , that is, where the constant is independent of . Morover, if and a.a. , where , then .

Proof. We will look for a solution to (6.3) in the form of the Neumann series applied to the right handside function :
According to Corollary 4.7, , since and . Hence, all terms of series (6.5), except of the zero-term, belong to . As for the zero-term, , where is an identity operator over . And , since . Our aim is to show, that the Banach-valued Neumann's series converges w.r.t. the norm in . The spaces and are complete as Banach spacesm , that is, each Cauchy sequence converges. It is known, that the space of bounded linear operators mapping from a Banach space into a Banach space is also Banach space. Hence, it is enough to show that is a Cauchy sequence, that is, that for any there exists a number such that for all . We can estimate
Note that, according to Corollary 4.6, since . If the real-valued series is convergent and bounded in , there must exist a number such that . The sequence of the partial sums (6.6) will be fundamental in .
Let us recall Lemma 5.4 for and real . Then, owing to its statement, the real-valued series converges to Owing to Lemma 5.4, the operator is bounded in .
Owing to (6.7), this implies that the sequence of the partial sums (6.6) of the series (6.5) is fundamental in . Consequently, we get that . Note that we excluded in Lemma 6.1, since, for , , but belongs to . Applying an estimate similar to (6.1) for ,
Furthermore, if there exists such that    and a.a. , then, according to (6.8) and Lemma 5.4, That is, .
The fact that , given by convergent Neumann's series (6.5), is a solution of (6.3), can be checked by direct substitution: It remains only to prove the uniqueness of the solution to (6.3).
Suppose, is any solution to (6.3). We apply from the left the operator introduced in (6.5) to both sides of (6.3): Hence, that is, any solution is represented by Banach-valued Neumann's series. Since belongs to , solution (6.5) is unique in . Now, the theorem is proven completely.

Lemma 6.3. Let , , be Banach spaces, , and let be boundedly invertible uniformly in , that is, there exists constant such that Let . Then for the following continuity property is valid:

Proof. We use estimates (6.14), and the properties that and belongs to :

Theorem 6.4. Let , be Banach spaces, , and let be boundedly invertible uniformly in , , and . Then there exists a unique global solution of the problem in , which depends continuously on , that is, where the constant is independent of .
Morover, if and    and a.a. , where is a constant and , then .

Proof. Since, is invertible, we can rewrite (6.17) as the following:   Observe that does not depend on , We denote
Let us show that the assumption of Theorem 6.2 are satisfied for (6.19), that is, that and . In order to prove that we should show the justification of all the requirements of Definition 4.3.
(i)Since ,    (see Definition 4.3). According to [12, Chapter 5, Corollary 2],   , since does not depend on and belongs to   . Hence, owing Theorem 4.1 , condition of Definition 4.3 is satisfied.(ii)Applying Lemma 6.3 for and , in order to justify the continuity, completes the proof that . It remains to check, if . According to [16, Theorem 3.3], belongs to for all or almost all . Continuity of w.r.t. for continuous , can be obtained in a similar way as in Lemma 6.3, taking into account the continuity of . Using Theorem 6.2 completes the proof.

Appendix

Proof of Lemma 3.4. Case (i). Each continuous Banach-valued function is strongly measurable and Bochner integrable. Hence, satisfies requirement (i) of Definition 4.3 in case (i) of Example 2.1. Requirement (ii) of Definition 4.3 is obviously valid for the . Hence, (2.7) presents kernels from .
Case (ii). Let us denote the weak singular multipliers, , in case (ii) of Example 2.1, by , in such a way that or
The are Lebesgue-measurable on and integrable w.r.t. for all . Hence, . According to [16], we can rewrite it as .
Owing to the fact that for , and considering arbitrary , let us perform now integration over and show that . For corresponding to the , we get .
And for corresponding to the , we calculate:  Owing to Definition 4.3, .
One can consider as a linear operator defined for any function , as following: Obviously,  , that is,  . The functions are in . Owing to Corollary 4.2, . Applying Lemma 6.3 one can varify that . According to Definition 4.3 , , or, what is the same: .

Proof of Lemma 3.3. Let us start with the proof of (3.10). The bilinear form (introduced in Definition 3.1) is symmetric, owing to conditions (2.5), and continuous as follows from (2.6), that is, ,
Function must satisfy the integral identity (3.2) for any . Due to symmetry (2.5), positivity (2.6) conditions, and to Korn's inequality (see [20, Chapter 1, Theorem 2.7]), the positivity condition required by the Lax-Milgram Theorem (see [16]) is satisfied:
The assumptions of the Lax-Milgram Theorem are satisfied, and its application completes the proof for a fixed . Owing to the definition of the norm of by , is boundedly invertible uniformly in on . In order to check the continuity of , that is, that , let us consider . Owing to (A.3),
In order to prove statement (ii) of Lemma 3.3, we first have to demonstrate that the linear operator is bounded for each and almost all .
Let us consider the bilinear form : and almost all . Owing to estimate (A.6), the mapping , for each fixed , is a linear continuous functional on , for all and almost all . According to [21, Lemma  6