Effect of intrinsic rotations, microstructural expansion and contractions in initial boundary value problem of thermoelastic bodies

Marin I Marin; Ravi P Agarwal; Ibrahim A Abbas

doi:10.1186/1687-2770-2014-129

Research
Open Access

Effect of intrinsic rotations, microstructural expansion and contractions in initial boundary value problem of thermoelastic bodies

Marin I Marin¹Email author,
Ravi P Agarwal² and
Ibrahim A Abbas^{3, 4}

Boundary Value Problems20142014:129

https://doi.org/10.1186/1687-2770-2014-129

Received: 26 February 2014
Accepted: 12 May 2014
Published: 22 May 2014

Abstract

This study is dedicated to some basic theorems in the thermoelastodynamics of microstretch bodies. Our intention is to show that the presence of the microstretch does not affect the main characteristics of the mixed initial boundary value problem for thermoelastic bodies. The result regarding the uniqueness theorem is derived with no definiteness assumptions on the elastic coefficients and in the absence of the restriction that the conductivity tensor is positive definite. In the last part of the paper we establish a basic relation which leads to the reciprocal theorem and to another uniqueness result.

MSC:35M30, 35Q74, 74A15, 74A60, 74M25.

Keywords

thermoelastic
microstretch
seismic waves
earthquake

1 Introduction

The theory of micromorphic elastic solids was first elaborated by Eringen (see, for instance, [1]). Then Eringen has generalized [2] this theory in order to cover the theory of thermo-microstretch elastic materials. In short, this is a theory of thermoelasticity with microstructure that includes intrinsic rotations and microstructural expansion and contractions.

The micromorphic theory was introduced to describe adequately the behavior of materials such a liquid crystal, fluid suspensions, polycrystalline aggregates, and granular media. For this it is necessary to introduce into the continuum theory some terms reflecting the microstructure of the materials. In the context of this theory, each material point has three deformable directors.

A continuum body is a microstretch continuum if the directors are constrained to have only breathing-type microdeformations. All points of a microstretch continuum can stretch and contract independently of their translations and rotations.

This theory is expected to find applications in the treatment of composites materials reinforced with chopped fibers. Also, this theory can be useful in applications which deal with porous materials as geological materials, solid packed granular materials, and many others.

On the other hand, materials which operate at elevated temperatures will invariably be subjected to heat flow at some time during normal use. Such heat flow will involve a nonlinear temperature distribution, which will inevitable give rise to thermal stresses. For these reasons, the development, design, and selection of materials for high temperature applications require a great deal of care. The role of the pertinent material properties and other variables which can affect the magnitude of thermal stress must be considered.

The theory of microstretch elastic bodies is generalized from the micropolar theory introduced by Cosserat. There are many papers which are concerned with this theory. For instance, Ciarletta in [3] has used the basic results deduced by Eringen in order to investigate the isothermal bending of microstretch elastic plates. Ciarletta et al. dedicated the paper [4] to the study of some basic properties of wave numbers of the longitudinal and transverse plane harmonic waves, in the context of thermoelasticity for materials with voids.

In the paper [5] Iesan and Pompei have presented a solution of Boussinesq-Somigliana-Galerkin type for the boundary value problem in this context.

In the paper [6], Agarwal et al. presented new existence results for initial value problems. The nonlinearity may be singular in its dependent variable and is allowed to change sign. Also, the paper of Agarwal and O’Regan [7] presents existence result for some boundary value problems definite on infinite intervals, which, in particular, includes a problem which arises in the theory of colloids. In the studies [8–11] we tackle some questions with regards to the microstretch-thermoelastic materials. Thus, in the paper [9], we use the Lagrange identity to prove the uniqueness theorem and some continuous dependence theorems without recourse to any energy conservation law, or to any boundedness assumptions on the thermoelastic coefficients. Also, the paper [8] is concerned with microstretch-thermoelastic materials. In this context, for the mixed initial boundary value problem, we prove that the Cesaro means of the kinetic and strain energies of a solution with finite energy become asymptotically equal as time tends to infinity. A model of microstretch-thermoelastic body with two temperatures is presented in the paper [12].

The study [13] is dedicated to the study of propagation of shear waves in a non-homogeneous anisotropic incompressible gravity field, and an initially stressed medium is studied.

The paper [14] investigates the longitudinal wave propagation in a perfectly conducting elastic circular cylinder in the presence of an axial initial magnetic field. Other results regarding generalized thermoelasticity can be found in the papers [15, 16].

The present paper must be considered as a first step toward a better understanding of microstretch and thermal stress in the study of the above enumerated materials.

The reciprocity and representation relations that appear in our study constitute powerful theoretical tools in the assessment of the theory of seismic-sources mechanism, in the studies connected with seismic wave propagation.

Also, we think that this paper is a good help to understanding the application of the microstretch mechanism to earthquake problems.

There are many results regarding the mechanism of earthquakes, as, for instance, in the papers [17] and [18] and in the references therein.

2 Basic equations

For convenience the notations and terminology chosen are almost identical to those of our studies [8, 9]. The present paper is concerned with an anisotropic and homogeneous material.

Let the body occupy, at time $t = 0$ , a properly regular region B of the three-dimensional Euclidian space, bounded by the piece-wise smooth surface ∂B; and we denote the closure of B by $\bar{B}$ . We refer the motion of the body to a fixed system of rectangular Cartesian axes $O x_{i}$ , $i = 1, 2, 3$ and adopt the Cartesian tensor notation. Points in B are denoted by $x_{j}$ and $t \in [0, \infty)$ is the temporal variable. Throughout this work the Einstein summation convention over repeated indices is used. The subscript j after a comma indicates partial differentiation with respect to the spatial argument $x_{j}$ . All Latin subscripts are understood to range over the integers $(1, 2, 3)$ , while the Greek indices have the range $(1, 2)$ . A superposed dot denotes the derivatives with respect to the time variable t. Also, the spatial argument and the time argument of a function will be omitted when there is no likely confusion.

Let us denote by $u_{i}$ the components of the displacement vector and by $φ_{i}$ the components of the microrotation vector. Also, we denote by ω a scalar function that characterizes the microstretch and by θ the temperature measured from the constant absolute temperature $T_{0}$ of the body in its reference state.

As usual, we denote by $t_{i j}$ the components of the stress tensor and by $m_{i j}$ the components of the couple stress tensor over B. Also, we denote by $λ_{i}$ the components of the microstress vector.

In the dynamic theory of the thermoelasticity of microstretch bodies the fundamental system of field equations consists of:

the equations of motion
$\begin{aligned} t_{j i, j} + F_{i} = ϱ {\ddot{u}}_{i}, \\ m_{j i, j} + ε_{i j k} t_{j k} + G_{i} = I_{i j} {\ddot{φ}}_{j}; \end{aligned}$

(1)
the balance of the equilibrated forces
$λ_{i, i} + L = J \ddot{ω};$

(2)
the energy equation
$T_{0} \dot{η} = q_{i, i} + S .$

(3)

For an anisotropic and homogeneous microstretch thermoelastic material, the constitutive equations have the form

\begin{matrix} t_{i j} = A_{i j m n} ε_{m n} + B_{i j m n} μ_{m n} + D_{i j k} γ_{k} + a_{i j} θ, \\ m_{i j} = B_{m n i j} ε_{m n} + C_{i j m n} μ_{m n} + E_{i j k} γ_{k} + b_{i j} θ, \\ λ_{i} = D_{m n i} ε_{m n} + E_{m n i} μ_{m n} + F_{i j} γ_{j} + c_{i} θ, \\ η = - a_{i j} ε_{i j} - b_{i j} μ_{i j} - c_{i} γ_{i} + d θ, \\ q_{i} = k_{i j} θ_{, j}, \end{matrix}

(4)

where

A_{i j m n}

,

B_{i j m n}

,

C_{i j m n}

,

D_{i j k}

,

E_{i j k}

,

F_{i j}

,

a_{i j}

,

b_{i j}

,

c_{i}

, d, and

k_{i j}

are the characteristic constitutive coefficients, and they obey the following symmetry relations:

A_{i j m n} = A_{m n i j}, C_{i j m n} = C_{m n i j}, F_{i j} = F_{j i}, k_{i j} = k_{j i} .

(5)

In the above equations we have used the following notations:

$F_{i}$ the components of body force;
$G_{i}$ the components of body couple;
L the generalized external body load;
ϱ is the reference constant mass density;
J and $I_{i j} = I_{j i}$ are the coefficients of microinertia;
$λ_{i}$ are the components of the internal hypertraction vector;
η is the entropy per unit mass;
S is the heat supply per unit mass;
$q_{i}$ are the components of heat flux vector.

The components of the strain tensors

ε_{i j}

,

μ_{i j}

, and

γ_{i}

are defined by means of the geometric equations:

ε_{i j} = u_{j, i} + ε_{j i k} φ_{k}, μ_{i j =} φ_{j, i}, γ_{i} = ω_{, i},

where $ε_{i j k}$ is the alternating symbol.

The second law of thermodynamics implies that

k_{i j} ξ_{i} ξ_{j} \geq 0, \forall ξ_{i},

(6)

that is, the conductivity tensor k is positive semi-definite only.

In what follows we need the following regularity assumptions:

(1)

the constitutive coefficients are continuously differentiable functions on $\bar{B}$ ;
(2)

ϱ and d are continuous functions on $\bar{B}$ ;
(3)

$F_{i}$ , $G_{i}$ and L are continuous functions on $\bar{B} \times I$ , where $I = [0, \infty)$ .

We denote by

t_{i}

the components of surface traction,

m_{i}

the components of surface couple, λ the microsurface traction and q the heat flux. These quantities are defined by

t_{i} = t_{j i} n_{j}, m_{i} = m_{j i} n_{j}, λ = λ_{i} n_{i}, q = q_{i} n_{i},

at regular points of the surface ∂B.

Here, $n_{i}$ are the components of the outward unit normal of the surface ∂B.

Along with the system of field equations (1)-(4) we consider the following initial conditions:

\begin{aligned} u_{i} (x, 0) = a_{i}^{0} (x), {\dot{u}}_{i} (x, 0) = a_{i}^{1} (x), \\ φ_{i} (x, 0) = b_{i}^{0} (x), {\dot{φ}}_{i} (x, 0) = b_{i}^{1} (x), x \in \bar{B}, \\ ω (x, 0) = ω^{0} (x), \dot{ω} (x, 0) = ω^{1} (x), \\ θ (x, 0) = θ^{0} (x), η (x, 0) = η^{0} (x) \end{aligned}

(7)

and the following prescribed boundary conditions:

\begin{aligned} u_{i} = {\bar{u}}_{i} on \partial B_{1} \times I, t_{i} = {\bar{t}}_{i} on \partial B_{1}^{c} \times I, \\ φ_{i} = {\bar{φ}}_{i} on \partial B_{2} \times I, m_{i} = {\bar{m}}_{i} on \partial B_{2}^{c} \times I, \\ ω = \bar{ω} on \partial B_{3} \times I, λ = \bar{λ} on \partial B_{3}^{c} \times I, \\ θ = \bar{θ} on \partial B_{4} \times I, q = \bar{q} on \partial B_{4}^{c} \times I, \end{aligned}

(8)

where

\partial B_{1}

,

\partial B_{2}

,

\partial B_{3}

, and

\partial B_{4}

with respective complements

\partial B_{1}^{c}

,

\partial B_{2}^{c}

,

\partial B_{3}^{c}

, and

\partial B_{4}^{c}

are subsets of the surface ∂B such that

\begin{matrix} \partial B_{1} \cap \partial B_{1}^{c} = \partial B_{2} \cap \partial B_{2}^{c} = \partial B_{3} \cap \partial B_{3}^{c} = \partial B_{4} \cap \partial B_{4}^{c} = \emptyset, \\ \partial B_{1} \cup \partial B_{1}^{c} = \partial B_{2} \cup \partial B_{2}^{c} = \partial B_{3} \cup \partial B_{3}^{c} = \partial B_{4} \cup \partial B_{4}^{c} = \partial B . \end{matrix}

We assume that:

(1)

$a_{i}^{0}$ , $a_{i}^{1}$ , $b_{i}^{0}$ , $b_{i}^{1}$ , $ω^{0}$ , $ω^{1}$ , $θ^{0}$ and $η^{0}$ are continuous function on $\bar{B}$ ;
(2)

${\bar{u}}_{i}$ , ${\bar{φ}}_{i}$ , $\bar{ω}$ and $\bar{θ}$ are continuous function on their domains;
(3)

${\bar{t}}_{i}$ , ${\bar{m}}_{i}$ , $\bar{λ}$ and $\bar{q}$ are piecewise regular functions in their domains and continuous with regards to the time variable t.

By a solution of the mixed initial boundary value problem of the theory thermoelasticity of microstretch bodies in the cylinder $Ω_{0} = B \times I$ we mean an ordered array $(u_{i}, φ_{i}, ω, θ)$ which satisfies (1), (2), and (3) for all $(x, t) \in Ω_{0}$ , the initial conditions (7) and the boundary conditions (8).

3 Main results

Let us consider the functions K and U defined on the interval

[0, \infty)

by the relations

\begin{matrix} K = \frac{1}{2} \int_{B} (ϱ {\dot{u}}_{i} {\dot{u}}_{i} + I_{i j} {\dot{φ}}_{i} {\dot{φ}}_{j} + J {\dot{ω}}^{2}) d v, \\ U = \frac{1}{2} \int_{B} (A_{i j m n} ε_{i j} ε_{m n} + 2 B_{i j m n} ε_{m n} μ_{i j} + 2 D_{i j k} ε_{i j} γ_{k} \\ + C_{i j m n} μ_{m n} μ_{i j} + 2 E_{i j k} μ_{i j} γ_{k} + F_{i j} γ_{i} γ_{j} + d θ^{2}) d v . \end{matrix}

(9)

In the next theorem we prove a relationship between the functions K and U.

Theorem 1 Assume that the symmetry relations (5) are satisfied. Then we have

\begin{array}{rcl} U (t) - K (t) & = & \frac{1}{2} \int_{0}^{t} [G (t + s, t - s) - G (t - s, t + s)] d s \\ + \frac{1}{2} \int_{B} {A_{i j m n} (x) ε_{i j} (x, 2 t) ε_{m n} (x, 0) \\ + B_{i j m n} (x) [ε_{i j} (x, 2 t) μ_{m n} (x, 0) + ε_{i j} (x, 0) μ_{m n} (x, 2 t)] \\ + D_{i j k} (x) [ε_{i j} (x, 2 t) γ_{k} (x, 0) + ε_{i j} (x, 0) γ_{k} (x, 2 t)] \\ + C_{i j m n} (x) μ_{i j} (x, 2 t) μ_{m n} (x, 0) \\ + E_{i j k} (x) [μ_{i j} (x, 2 t) γ_{k} (x, 0) + μ_{i j} (x, 0) γ_{k} (x, 2 t)] \\ + F_{i j} (x) γ_{i} (x, 2 t) γ_{j} (x, 0) + d (x) θ (x, 2 t) θ (x, 0)} d v \\ - \frac{1}{2} \int_{B} [ϱ (x) {\dot{u}}_{i} (x, 0) {\dot{u}}_{i} (x, 2 t) + I_{i j} {\dot{φ}}_{i} (x, 0) {\dot{φ}}_{j} (x, 2 t) \\ + J \dot{ω} (x, 0) \dot{ω} (x, 2 t)] d v, \end{array}

(10)

where we have denoted by

G (α, β)

the following expression:

\begin{array}{rcl} G (α, β) & = & \int_{B} [F_{i} (x, α) {\dot{u}}_{i} (x, β) + G_{i} (x, α) {\dot{φ}}_{i} (x, β) + L (x, α) \dot{ω} (x, β) - \frac{1}{T_{0}} S (x, α) \dot{θ} (x, β)] d v \\ + \int_{\partial B} [t_{i} (x, α) {\dot{u}}_{i} (x, β) + m_{i} (x, α) {\dot{φ}}_{i} (x, β) + λ (x, α) \dot{ω} (x, β)] d a \end{array}

(11)

for all $α, β \in I$ .

Proof Using the constitutive equations (4) and the symmetry relations (5), we obtain

\begin{matrix} t_{i j} (t - s) {\dot{ε}}_{i j} (t + s) + m_{i j} (t - s) {\dot{μ}}_{i j} (t + s) + λ_{i} (t - s) {\dot{γ}}_{i} (t + s) + \dot{η} (t + s) θ (t - s) \\ - [t_{i j} (t + s) {\dot{ε}}_{i j} (t - s) + m_{i j} (t + s) {\dot{μ}}_{i j} (t - s) + λ_{i} (t + s) {\dot{γ}}_{i} (t - s) + \dot{η} (t - s) θ (t + s)] \\ = A_{i j m n} (t - s) ε_{m n} (t - s) {\dot{ε}}_{i j} (t + s) + B_{i j m n} (t - s) μ_{m n} (t - s) {\dot{ε}}_{i j} (t + s) \\ + D_{i j k} (t - s) γ_{k} (t - s) {\dot{ε}}_{i j} (t + s) + a_{i j} (t - s) θ (t - s) {\dot{ε}}_{i j} (t + s) \\ + B_{i j m n} (t - s) ε_{m n} (t - s) {\dot{μ}}_{i j} (t + s) + C_{i j m n} (t - s) μ_{m n} (t - s) {\dot{μ}}_{i j} (t + s) \\ + E_{i j k} (t - s) γ_{k} (t - s) {\dot{μ}}_{i j} (t + s) + b_{i j} (t - s) θ (t - s) {\dot{μ}}_{i j} (t + s) \\ + D_{m n i} (t - s) {\dot{γ}}_{i} (t + s) ε_{m n} (t - s) + E_{m n i} (t - s) {\dot{γ}}_{i} (t + s) μ_{m n} (t - s) \\ + F_{i j} (t - s) γ_{j} (t - s) {\dot{γ}}_{i} (t + s) + c_{i} (t - s) θ (t - s) {\dot{γ}}_{i} (t + s) \\ - a_{i j} (t + s) {\dot{ε}}_{i j} (t + s) θ (t - s) - b_{i j} (t + s) {\dot{μ}}_{i j} (t + s) θ (t - s) \\ - c_{i} (t + s) {\dot{γ}}_{i} (t + s) θ (t - s) + d (t + s) \dot{θ} (t + s) θ (t - s) \\ - A_{i j m n} (t + s) ε_{m n} (t + s) {\dot{ε}}_{i j} (t + s) B_{i j m n} (t + s) μ_{m n} (t + s) {\dot{ε}}_{i j} (t - s) \\ - D_{i j k} (t + s) γ_{k} (t + s) {\dot{ε}}_{i j} (t - s) - a_{i j} (t + s) θ (t + s) {\dot{ε}}_{i j} (t - s) \\ - B_{i j m n} (t + s) ε_{m n} (t + s) {\dot{μ}}_{i j} (t + s) - C_{i j m n} (t + s) μ_{m n} (t + s) {\dot{μ}}_{i j} (t - s) \\ - E_{i j k} (t + s) γ_{k} (t + s) {\dot{μ}}_{i j} (t - s) - b_{i j} (t + s) θ (t + s) {\dot{μ}}_{i j} (t - s) \\ - D_{m n i} (t + s) {\dot{γ}}_{i} (t + s) ε_{m n} (t - s) + E_{m n i} (t + s) μ_{m n} (t + s) {\dot{γ}}_{i} (t - s) \\ - F_{i j} (t + s) γ_{j} (t + s) {\dot{γ}}_{i} (t - s) - c_{i} (t + s) θ (t + s) {\dot{γ}}_{i} (t - s) \\ + a_{i j} (t - s) {\dot{ε}}_{i j} (t - s) θ (t + s) + b_{i j} (t - s) {\dot{μ}}_{i j} (t - s) θ (t + s) \\ + c_{i} (t - s) {\dot{γ}}_{i} (t - s) θ (t + s) - d (t - s) \dot{θ} (t - s) θ (t + s) \\ = \frac{\partial}{\partial s} [A_{i j m n} ε_{i j} (t + s) ε_{m n} (t - s) + 2 B_{m n i j} μ_{m n} (t + s) ε_{i j} (t - s) \\ + 2 D_{i j k} γ_{k} (t + s) ε_{i j} (t - s) + C_{i j m n} μ_{i j} (t + s) μ_{m n} (t - s) \\ + 2 E_{i j k} γ_{k} (t + s) μ_{i j} (t - s) + F_{i j} γ_{i} (t + s) γ_{j} (t - s) + d θ (t + s) θ (t - s)] . \end{matrix}

(12)

Here we have suppressed, for convenience, the dependence of the functions on argument x, because there is no likely confusion.

By using the equations of motion (1), the balance of equilibrated forces (2), the energy equation (3) and the geometric equations, we deduce

\begin{matrix} t_{i j} (t - s) {\dot{ε}}_{i j} (t + s) + m_{i j} (t - s) {\dot{μ}}_{i j} (t + s) + λ_{i} (t - s) {\dot{γ}}_{i} (t + s) + \dot{η} (t + s) θ (t - s) \\ = t_{i j} (t - s) [{\dot{u}}_{j, i} (t + s) + ε_{i j k} {\dot{φ}}_{k} (t + s)] + m_{i j} (t - s) {\dot{φ}}_{j, i} (t + s) \\ + λ_{i} (t - s) {\dot{ω}}_{, i} (t + s) + \frac{1}{T_{0}} q_{i, i} (t + s) θ (t - s) + \frac{1}{T_{0}} S (t + s) θ (t - s) \\ = {[t_{i j} (t - s) {\dot{u}}_{i} (t + s) + m_{i j} (t - s) {\dot{φ}}_{i} (t + s) + λ_{j} (t - s) \dot{γ} (t + s) + \frac{1}{T_{0}} q_{j} (t + s) θ (t - s)]}_{, j} \\ + ε_{i j k} t_{i j} (t - s) {\dot{φ}}_{k} (t + s) + \frac{1}{T_{0}} S (t + s) θ (t - s) - t_{i j, j} (t - s) {\dot{u}}_{i} (t + s) \\ - m_{i j, j} (t - s) {\dot{φ}}_{i} (t + s) - λ_{j, j} (t - s) \dot{ω} (t + s) - \frac{1}{T_{0}} q_{j} (t + s) θ_{, j} (t - s) \\ = {[t_{i j} (t - s) {\dot{u}}_{i} (t + s) + m_{i j} (t - s) {\dot{φ}}_{i} (t + s) + λ_{j} (t - s) \dot{γ} (t + s) + \frac{1}{T_{0}} q_{j} (t + s) θ (t - s)]}_{, j} \\ + ε_{i j k} t_{i j} (t - s) {\dot{φ}}_{k} (t + s) + \frac{1}{T_{0}} S (t + s) θ (t - s) + [F_{i} (t - s) - ϱ {\ddot{u}}_{i} (t - s)] {\dot{u}}_{i} (t + s) \\ + [ε_{i j k} t_{j k} (t - s) + G_{i} (t - s) - I_{i j} {\ddot{φ}}_{j} (t - s)] {\dot{φ}}_{i} (t + s) \\ + [L (t - s) - J \ddot{ω} (t - s)] \dot{ω} (t + s) - \frac{1}{T_{0}} k_{i j} (t + s) θ_{, i} (t + s) θ_{, j} (t - s) \\ = {[t_{i j} (t - s) {\dot{u}}_{i} (t + s) + m_{i j} (t - s) {\dot{φ}}_{i} (t + s) + λ_{j} (t - s) \dot{γ} (t + s) + \frac{1}{T_{0}} q_{j} (t + s) θ (t - s)]}_{, j} \\ + F_{i} (t - s) {\dot{u}}_{i} (t + s) + G_{i} (t - s) {\dot{φ}}_{i} (t + s) + L (t - s) \dot{ω} (t + s) \\ + \frac{1}{T_{0}} S (t + s) θ (t - s) - \frac{1}{T_{0}} k_{i j} (t + s) θ_{, i} (t + s) θ_{, j} (t - s) \\ + \frac{\partial}{\partial s} [ϱ {\dot{u}}_{i} (t - s) {\dot{u}}_{i} (t + s) + I_{i j} {\dot{φ}}_{i} (t - s) {\dot{φ}}_{j} (t + s) + J \dot{ω} (t - s) \dot{ω} (t + s)] \\ - ϱ {\dot{u}}_{i} (t - s) {\ddot{u}}_{i} (t + s) - I_{i j} {\dot{φ}}_{j} (t - s) {\ddot{φ}}_{i} (t + s) - J \dot{ω} (t - s) \ddot{ω} (t + s) . \end{matrix}

(13)

Similarly,

\begin{matrix} t_{i j} (t + s) {\dot{ε}}_{i j} (t - s) + m_{i j} (t + s) {\dot{μ}}_{i j} (t - s) + λ_{i} (t + s) {\dot{γ}}_{i} (t - s) + \dot{η} (t - s) θ (t + s) \\ = {[t_{i j} (t + s) {\dot{u}}_{i} (t - s) + m_{i j} (t + s) {\dot{φ}}_{i} (t - s) + λ_{j} (t + s) \dot{γ} (t - s) + \frac{1}{T_{0}} q_{j} (t - s) θ (t + s)]}_{, j} \\ + F_{i} (t + s) {\dot{u}}_{i} (t - s) + G_{i} (t + s) {\dot{φ}}_{i} (t - s) + L (t + s) \dot{ω} (t - s) \\ + \frac{1}{T_{0}} S (t - s) θ (t + s) - \frac{1}{T_{0}} k_{i j} (t - s) θ_{, i} (t - s) θ_{, j} (t + s) \\ + \frac{\partial}{\partial s} [ϱ {\dot{u}}_{i} (t + s) {\dot{u}}_{i} (t - s) + I_{i j} {\dot{φ}}_{i} (t + s) {\dot{φ}}_{j} (t - s) + J \dot{ω} (t + s) \dot{ω} (t - s)] \\ - ϱ {\dot{u}}_{i} (t - s) {\ddot{u}}_{i} (t + s) - I_{i j} {\dot{φ}}_{j} (t - s) {\ddot{φ}}_{i} (t + s) - J \dot{ω} (t - s) \ddot{ω} (t + s) . \end{matrix}

(14)

Now, we integrate, over B, both sides of the equality (12) and then use (5), (13), (14), and the divergence theorem, and it follows that

\begin{matrix} \int_{B} \frac{\partial}{\partial s} [A_{i j m n} ε_{i j} (t + s) ε_{m n} (t - s) + 2 B_{m n i j} μ_{i j} (t + s) ε_{m n} (t - s) \\ + 2 D_{i j k} γ_{k} (t + s) ε_{i j} (t - s) + C_{i j m n} μ_{i j} (t + s) μ_{m n} (t - s) \\ + 2 E_{i j k} γ_{k} (t + s) ε_{i j} (t - s) + F_{i j} γ_{i} (t + s) γ_{j} (t - s) \\ + d θ (t + s) θ (t - s)] d v \\ = G (t - s, t + s) - G (t + s, t - s) \\ + \int_{B} \frac{\partial}{\partial s} [ϱ {\dot{u}}_{i} (t - s) {\dot{u}}_{i} (t + s) + I_{i j} {\dot{φ}}_{j} (t - s) {\dot{φ}}_{i} (t + s) + J \dot{ω} (t - s) \dot{ω} (t + s)] d v . \end{matrix}

(15)

Finally, we integrate the equality (15) from 0 to t and arrive at the desired result (10) so that the theorem is demonstrated. □

In the next lemma we prove another relation between the functions U and K defined by (9).

Lemma 1 Assume that the symmetry relations (5) are satisfied. Then we have the following relations:

\begin{matrix} 2 U (t) = U (0) + K (0) + \frac{1}{2} \int_{B} {A_{i j m n} ε_{i j} (2 t) ε_{m n} (0) + B_{m n i j} [ε_{m n} (2 t) μ_{i j} (0) + ε_{m n} (0) μ_{i j} (2 t)] \\ + D_{i j k} [γ_{k} (2 t) ε_{i j} (0) + γ_{k} (0) ε_{i j} (2 t)] + C_{i j m n} μ_{i j} (2 t) μ_{m n} (0) \\ + E_{i j k} [γ_{k} (2 t) μ_{i j} (0) + γ_{k} (0) μ_{i j} (2 t)] + F_{i j} γ_{i} (2 t) γ_{j} (0) + d θ (2 t) θ (0)} d v \end{matrix}

(16)

\begin{matrix} - \frac{1}{2} \int_{B} [ϱ {\dot{u}}_{i} (2 t) {\dot{u}}_{i} (0) + I_{i j} {\dot{φ}}_{j} (2 t) {\dot{φ}}_{i} (0) + J \dot{ω} (2 t) \dot{ω} (0)] d v \\ + \frac{1}{2} \int_{0}^{t} [G (t + s, t - s) - G (t - s, t + s) + 2 P (s)] d s - \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} θ_{, i} d v d s, \\ 2 K (t) = U (0) + K (0) - \frac{1}{2} \int_{B} {A_{i j m n} ε_{i j} (2 t) ε_{m n} (0) + B_{m n i j} [ε_{m n} (2 t) μ_{i j} (0) + ε_{m n} (0) μ_{i j} (2 t)] \\ + D_{i j k} [γ_{k} (2 t) ε_{i j} (0) + γ_{k} (0) ε_{i j} (2 t)] + C_{i j m n} μ_{i j} (2 t) μ_{m n} (0) \\ + E_{i j k} [γ_{k} (2 t) μ_{i j} (0) + γ_{k} (0) μ_{i j} (2 t)] + F_{i j} γ_{i} (2 t) γ_{j} (0) + d θ (2 t) θ (0)} d v \\ - \frac{1}{2} \int_{B} [ϱ {\dot{u}}_{i} (2 t) {\dot{u}}_{i} (0) + I_{i j} {\dot{φ}}_{j} (2 t) {\dot{φ}}_{i} (0) + J \dot{ω} (2 t) \dot{ω} (0)] d v \\ - \frac{1}{2} \int_{0}^{t} [G (t + s, t - s) - G (t - s, t + s) - 2 P (s)] d s - \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} θ_{, i} d v d s \end{matrix}

(17)

for all $t \in [0, \infty)$ .

The function P is defined by

\begin{array}{rcl} P (t) & = & \int_{B} (F_{i} {\dot{u}}_{i} + G_{i} {\dot{φ}}_{i} + L \dot{ω} + \frac{1}{T_{0}} S θ) d v \\ + \int_{\partial B} (t_{i} {\dot{u}}_{i} + m_{i} {\dot{φ}}_{i} + λ \dot{ω} + \frac{1}{T_{0}} q θ) d a . \end{array}

(18)

Proof Taking into account the equations of motion (1), the balance of equilibrated forces (2), the energy equation (3), and the constitutive equations (4), we obtain

\begin{matrix} A_{i j m n} ε_{m n} {\dot{ε}}_{i j} + B_{i j m n} (μ_{m n} {\dot{ε}}_{i j} + {\dot{μ}}_{m n} ε_{i j}) + D_{i j k} (γ_{k} {\dot{ε}}_{i j} + {\dot{γ}}_{k} ε_{i j}) \\ + C_{i j m n} μ_{m n} {\dot{μ}}_{i j} + E_{i j k} (γ_{k} {\dot{μ}}_{i j} + {\dot{γ}}_{k} μ_{i j}) + F_{i j} γ_{i} {\dot{γ}}_{j} + d θ \dot{θ} \\ = t_{i j} {\dot{ε}}_{i j} + m_{i j} {\dot{μ}}_{i j} + λ_{i} {\dot{γ}}_{i} + \dot{η} θ \\ = {(t_{i j} {\dot{u}}_{i} + m_{i j} {\dot{φ}}_{i} + λ_{j} \dot{ω} + \frac{1}{T_{0}} q_{j} θ)}_{, j} \\ + F_{i} {\dot{u}}_{i} + G_{i} {\dot{φ}}_{i} + L \dot{ω} + \frac{1}{T_{0}} S θ \\ - ϱ {\dot{u}}_{i} {\ddot{u}}_{i} - I_{i j} {\dot{φ}}_{j} {\ddot{φ}}_{i} - J \dot{ω} \ddot{ω} - \frac{1}{T_{0}} k_{i j} θ_{, j} θ_{, i} . \end{matrix}

From this equality it is easy to deduce that

\dot{U} + \dot{K} = P - \frac{1}{T_{0}} \int_{B} k_{i j} θ_{, j} θ_{, i} d v .

By integrating this relation over the interval

[0, t]

we obtain

\begin{array}{rcl} U (t) + K (t) & = & U (0) + K (0) + \int_{0}^{t} P (s) d s \\ - \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} θ_{, i} d v d s, \forall t \in [0, \infty) . \end{array}

(19)

If we add (10) and (19), term by term, (16) follows.

If we subtract (10) from (19), term by term, (17) follows and this concludes Lemma 1. □

The uniqueness result from the next theorem is based on the results from Theorem 1 and Lemma 1.

Theorem 2 Assume that:

(i)

the symmetry relations (5) are satisfied;
(ii)

ϱ, $I_{i j}$ and J are strictly positive;
(iii)

d is strictly positive or strictly negative;
(iv)

the conductivity tensor $k_{i j}$ is positive semi-definite.

Then the mixed initial boundary value problem of thermoelasticity of microstretch materials consisting of (1)-(3), the initial condition (7), and the boundary condition (8) has at most one solution.

Proof Suppose, to the contrary, that our mixed problem has two solutions,

(u_{i}^{1}, φ_{i}^{1}, ω^{1}, θ^{1}), (u_{i}^{2}, φ_{i}^{2}, ω^{2}, θ^{2}) .

Let us denote by

(u_{i}, φ_{i}, ω, θ)

the difference of two solutions, where

u_{i} = u_{i}^{1} - u_{i}^{2}, φ_{i} = φ_{i}^{1} - φ_{i}^{2}, ω = ω^{1} - ω^{2}, θ = θ^{1} - θ^{2} .

Because of linearity, this difference is also a solution of our problem, but it corresponds to null data.

Thus, from (17) we obtain

\begin{matrix} \int_{B} [ϱ {\dot{u}}_{i} (t) {\dot{u}}_{i} (t) + I_{i j} {\dot{φ}}_{j} (t) {\dot{φ}}_{i} (t) + J {\dot{ω}}^{2} (t)] d v \\ + \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} θ_{, i} d v d s = 0, \forall t \in [0, \infty) . \end{matrix}

(20)

By using the hypotheses (ii) and (iv) of the theorem, (20) implies that

{\dot{u}}_{i} = 0, {\dot{φ}}_{i} = 0, \dot{ω} = 0 on B \times I

(21)

and

\int_{0}^{t} \int_{B} k_{i j} θ_{, j} θ_{, i} d v d s = 0, \forall t \in [0, \infty) .

(22)

But

u_{i}

,

φ_{i}

, and ω vanish initially, so that from (21) we deduce

u_{i} = 0, φ_{i} = 0, ω = 0 on B \times I .

(23)

Taking into account (22) and (23), (16) reduces to

\int_{B} d θ^{2} d v = 0 .

Since

d > 0

or

d < 0

, this relation yields

θ = 0 on B \times I .

(24)

From (23) and (24) we deduce that the difference of the two solutions is null, i.e., we have the uniqueness of solution and Theorem 2 is demonstrated. □

Consider two scalar functions u and v which are defined on $B \times I$ and continuous with respect to time.

As is well known, the convolution product of the function u and v is defined by the integral

(u * v) (x, t) = \int_{0}^{t} u (x, t - s) v (x, s) d s, (x, t) \in B \times I .

Also, let us consider the functions

l (t)

and

g (t)

defined by

l (t) = 1, g (t) = (l * l) (t) = t, t \in I .

(25)

For a continuous function h defined on

B \times I

, we denote by

\bar{h} (x, t)

the convolution product

l * h

, i.e.

\bar{h} (x, t) = \int_{0}^{t} h (x, s) d s .

(26)

Using these considerations, we can write the energy equation (3) and the initial condition

η (x, 0) = η_{0} (x)

in the equivalent form

T_{0} η = {\bar{q}}_{i, i} + W,

(27)

where

W = \bar{S} + T_{0} η_{0} .

(28)

Consider two external data systems

L^{(α)}

, which act on the thermoelastic-microstretch material, defined by

\begin{array}{rcl} L^{(α)} & = & {F_{i}^{(α)}, G_{i}^{(α)}, L^{(α)}, S^{(α)}, {\tilde{u}}_{i}^{(α)}, {\tilde{φ}}_{i}^{(α)}, {\tilde{ω}}^{(α)}, {\tilde{t}}_{i}^{(α)}, {\tilde{m}}_{i}^{(α)}, {\tilde{λ}}^{(α)}, {\tilde{θ}}^{(α)}, {\tilde{q}}^{(α)}, \\ a_{i}^{0 (α)}, a_{i}^{1 (α)}, b_{i}^{0 (α)}, b_{i}^{1 (α)}, ω^{0 (α)}, ω^{1 (α)}, θ^{0 (α)}, η_{0}^{(α)}}, α = 1, 2, \end{array}

and denote by

p^{(α)}

a solution of the mixed problem which corresponds to

L^{(α)}

p^{(α)} = {u_{i}^{(α)}, φ_{i}^{(α)}, ω^{(α)}, θ^{(α)}} .

Also, we use the following notations:

\begin{aligned} t_{i}^{(α)} = t_{i j}^{(α)} n_{j}, m_{i}^{(α)} = m_{i j}^{(α)} n_{j}, λ^{(α)} = λ_{i}^{(α)} n_{i}, \\ q^{(α)} = q_{i}^{(α)} n_{j}, W^{(α)} = l * S^{(α)} + T_{0} η_{0}^{(α)} . \end{aligned}

(29)

Lemma 2 Assume that the symmetry relations (5) are satisfied. Consider the functions

E_{α β} (t, τ)

defined by

\begin{array}{rcl} E_{α β} (t, τ) & = & \int_{\partial B} [t_{i}^{(α)} (t) u_{i}^{(β)} (τ) + m_{i}^{(α)} (t) φ_{i}^{(β)} (τ) + λ^{(α)} (t) ω^{(β)} (τ) - \frac{1}{T_{0}} {\bar{q}}^{(α)} (t) θ^{(β)} (τ)] d a \\ + \int_{B} [F_{i}^{(α)} (t) u_{i}^{(β)} (τ) + G_{i}^{(α)} (t) φ_{i}^{(β)} (τ) + L^{(α)} (t) ω^{(β)} (τ) \\ - \frac{1}{T_{0}} W^{(α)} (t) θ^{(β)} (τ)] d v \\ - \int_{B} [ϱ {\ddot{u}}_{i}^{(α)} (t) {\dot{u}}_{i}^{(β)} (τ) + I_{i j} {\ddot{φ}}_{j}^{(α)} (t) {\dot{φ}}_{i}^{(β)} (τ) + J {\ddot{ω}}^{(α)} (t) {\dot{ω}}^{(β)} (τ)] d v \\ + \frac{1}{T_{0}} \int_{B} {\bar{q}}_{i}^{(α)} (t) θ_{, i}^{(β)} (τ) d v, \forall t, τ \in I . \end{array}

(30)

Then we have

E_{α β} (t, τ) = E_{β α} (t, τ)

(31)

for all $t, τ \in I$ .

Proof We introduce the notation

I_{α β} (t, τ) = t_{i j}^{(α)} (t) ε_{i j}^{(β)} (τ) + m_{i j}^{(α)} (t) μ_{i j}^{(β)} (τ) + λ_{i}^{(α)} (t) γ_{i}^{(β)} (τ) - η^{(α)} (t) θ^{(β)} (τ) .

(32)

From (32) and the constitutive equations (4) we deduce

\begin{array}{rcl} I_{α β} (t, τ) & = & A_{i j m n} ε_{m n}^{(α)} (t) ε_{i j}^{(β)} (τ) + B_{m n i j} [μ_{m n}^{(α)} (t) ε_{i j}^{(β)} (τ) + μ_{m n}^{(β)} (t) ε_{i j}^{(α)} (τ)] \\ + D_{i j k} [γ_{k}^{(α)} (t) ε_{i j}^{(β)} (τ) + γ_{k}^{(β)} (t) ε_{i j}^{(α)} (τ)] + C_{i j m n} μ_{m n}^{(α)} (t) μ_{i j}^{(β)} (τ) \\ + E_{i j k} [γ_{k}^{(α)} (t) μ_{i j}^{(β)} (τ) + γ_{k}^{(β)} (t) μ_{i j}^{(α)} (τ)] \\ + F_{i j} γ_{i}^{(α)} (t) γ_{j}^{(β)} (τ) - d θ^{(α)} (t) θ^{(β)} (τ) . \end{array}

(33)

Using the symmetry relations (5), from (33) we obtain

I_{α β} (t, τ) = I_{β α} (t, τ) .

(34)

On the other hand, using the equations of motion (1), the balance of equilibrated forces (2), and the energy equation (3) in (27) and (32), we are lead to the following expression of

I_{α β} (t, τ)

:

\begin{array}{rcl} I_{α β} (t, τ) & = & {[t_{i j}^{(α)} (t) u_{i}^{(β)} (τ) + m_{i j}^{(α)} (t) φ_{i}^{(β)} (τ) + λ_{j}^{(α)} (t) ω^{(β)} (τ) - \frac{1}{T_{0}} {\bar{q}}_{j}^{(α)} (t) θ^{(β)} (τ)]}_{, j} \\ + F_{i}^{(α)} (t) u_{i}^{(β)} (τ) + G_{i}^{(α)} (t) φ_{i}^{(β)} (τ) + L^{(α)} (t) ω^{(β)} (τ) - \frac{1}{T_{0}} W^{(α)} (t) θ^{(β)} (τ) \\ - ϱ {\ddot{u}}_{i}^{(α)} (t) u_{i}^{(β)} (τ) - I_{i j} {\ddot{φ}}_{j}^{(α)} (t) φ_{i}^{(β)} (τ) - J {\ddot{ω}}^{(α)} (t) ω^{(β)} (τ) + \frac{1}{T_{0}} {\bar{q}}_{i}^{(α)} (t) θ_{, i}^{(β)} (τ) . \end{array}

(35)

Now, we integrate (35) over B, then we use the symmetry relations (34) and the divergence theorem so that we obtain the desired result (31) and Lemma 2 is proved. □

Based on the result of Lemma 2 we can prove the reciprocal result from the next theorem.

Theorem 3 Assume that the symmetry relations (5) are satisfied. Let

p^{(α)}

be a solution corresponding to the external data

L^{(α)}

,

α = 1, 2

. Then the following reciprocal relation is valid:

\begin{matrix} \int_{\partial B} g * [t_{i}^{(1)} * u_{i}^{(2)} + m_{i}^{(1)} * φ_{i}^{(2)} + λ^{(1)} * ω^{(2)} - \frac{1}{T_{0}} l * q^{(1)} * θ^{(2)}] d a \\ + \int_{B} [F_{i}^{(1)} * u_{i}^{(2)} + G_{i}^{(1)} * φ_{i}^{(2)} + L^{(1)} * ω^{(2)} - \frac{1}{T_{0}} g * W^{(1)} * θ^{(2)}] d v \\ = \int_{\partial B} g * [t_{i}^{(2)} * u_{i}^{(1)} + m_{i}^{(2)} * φ_{i}^{(1)} + λ^{(2)} * ω^{(1)} - \frac{1}{T_{0}} l * q^{(2)} * θ^{(1)}] d a \\ + \int_{B} [F_{i}^{(2)} * u_{i}^{(1)} + G_{i}^{(2)} * φ_{i}^{(1)} + L^{(2)} * ω^{(1)} - \frac{1}{T_{0}} g * W^{(2)} * θ^{(1)}] d v, \end{matrix}

(36)

where we have used the notations

\begin{matrix} F_{i}^{(α)} = g * F_{i}^{(α)} + ϱ (t a_{i}^{1 (α)} + a_{i}^{0 (α)}), \\ G_{i}^{(α)} = g * G_{i}^{(α)} + I_{i j} (t b_{j}^{1 (α)} + b_{j}^{0 (α)}), \\ L_{i}^{(α)} = g * L^{(α)} + J (t w^{1 (α)} + w^{0 (α)}) . \end{matrix}

(37)

Proof We use the substitution

t = s

and

τ = r - s

in (31) and integrate the resulting relation on the interval

[0, s]

such that, by using the symmetry relations (5), we obtain

\begin{matrix} \int_{\partial B} [t_{i}^{(1)} * u_{i}^{(2)} + m_{i}^{(1)} * φ_{i}^{(2)} + λ^{(1)} * ω^{(2)} - \frac{1}{T_{0}} l * q^{(1)} * θ^{(2)}] d a \\ + \int_{B} [F_{i}^{(1)} * u_{i}^{(2)} + G_{i}^{(1)} * φ_{i}^{(2)} + L^{(1)} * ω^{(2)} - \frac{1}{T_{0}} W^{(1)} * θ^{(2)}] d v \\ - \int_{B} [ϱ {\ddot{u}}_{i}^{(1)} u_{i}^{(2)} + I_{i j} {\ddot{φ}}_{i}^{(1)} φ_{j}^{(2)} + J {\ddot{ω}}^{(1)} ω^{(2)}] d v \\ = \int_{\partial B} [t_{i}^{(2)} * u_{i}^{(1)} + m_{i}^{(2)} * φ_{i}^{(1)} + λ^{(2)} * ω^{(1)} - \frac{1}{T_{0}} l * q^{(2)} * θ^{(1)}] d a \\ + \int_{B} [F_{i}^{(2)} * u_{i}^{(1)} + G_{i}^{(2)} * φ_{i}^{(1)} + L^{(2)} * ω^{(1)} - \frac{1}{T_{0}} W^{(2)} * θ^{(1)}] d v \\ - \int_{B} [ϱ {\ddot{u}}_{i}^{(2)} u_{i}^{(1)} + I_{i j} {\ddot{φ}}_{i}^{(2)} φ_{j}^{(1)} + J {\ddot{ω}}^{(2)} ω^{(1)}] d v . \end{matrix}

(38)

It is easy to prove that

\begin{matrix} g * {\ddot{u}}_{i}^{(α)} = u_{i}^{(α)} - t a_{i}^{1 (α)} - a_{i}^{0 (α)}, \\ g * {\ddot{φ}}_{i}^{(α)} = φ_{i}^{(α)} - t b_{i}^{1 (α)} - b_{i}^{0 (α)}, \\ g * {\ddot{ω}}^{(α)} = ω^{(α)} - t w^{1 (α)} - w^{0 (α)} . \end{matrix}

(39)

Taking the convolution of (38) with g and using (39), we obtain the reciprocal relation (36) and the proof of Theorem 3 is complete. □

Remark In the case of null boundary data, from (36) we deduce that the operator of the thermoelastodynamics of microstretch bodies is symmetric with regard to the convolution.

Based on this symmetry, we can obtain some variational theorems of Gurtin type in classical thermoelasticity.

Also, based on the symmetry relations (31) we can obtain a minimum principle similar to those obtained by Reiss [19] in the classical isothermal case.

Theorem 4 Assume that the symmetry relations (5) are satisfied. Let us consider the function

\begin{array}{rcl} H (r, s) & = & \int_{B} [F_{i} (r) u_{i} (s) + G_{i} (r) φ_{i} (s) + L (r) w (s) - \frac{1}{T_{0}} w (r) θ (s)] d v \\ + \int_{\partial B} [t_{i} (r) u_{i} (s) + m_{i} (r) φ_{i} (s) + λ (r) w (s) - \frac{1}{T_{0}} \bar{q} (r) θ (s)] d a \end{array}

(40)

for all $r, s \in I$ .

Then we have

\begin{matrix} \frac{d}{d t} [\int_{B} (ϱ u_{i} u_{i} + I_{i j} φ_{i} φ_{j} + J ω^{2}) d v + \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} θ_{, i} d v d s] \\ = \int_{0}^{t} [H (t - s, t + s) - H (t + s, t - s)] d s \\ + \int_{B} {ϱ [{\dot{u}}_{i} (2 t) u_{i} (0) + {\dot{u}}_{i} (0) u_{i} (2 t)] + I_{i j} [{\dot{φ}}_{i} (2 t) φ_{j} (0) + {\dot{φ}}_{i} (0) φ_{j} (2 t)] \\ + J [\dot{ω} (2 t) ω_{j} (0) + \dot{ω} (0) ω (2 t)]} d v . \end{matrix}

(41)

Proof Using the result on

E_{α β}

from Lemma 2, we obtain

\int_{0}^{t} E_{11} (t + s, t - s) d s = \int_{0}^{t} E_{11} (t - s, t + s) d s .

(42)

Let us apply (42) to the process

(u_{i}, φ_{i}, ω, θ, t_{i} m_{i}, λ, η, q) .

From (30) and (40), we obtain the equality

\begin{matrix} \int_{0}^{t} E_{11} (t + s, t - s) d s \\ = \int_{0}^{t} H_{11} (t + s, t - s) d s \\ - \int_{0}^{t} \int_{B} [ϱ {\ddot{u}}_{i} (t + s) u_{i} (t - s) + I_{i j} {\ddot{φ}}_{i} (t + s) φ_{j} (t - s) + J \ddot{ω} (t + s) ω (t - s)] d v d s \\ + \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} (t + s) θ_{, i} (t - s) d v d s . \end{matrix}

(43)

Similarly,

\begin{matrix} \int_{0}^{t} E_{11} (t - s, t + s) d s \\ = \int_{0}^{t} H_{11} (t - s, t + s) d s \\ - \int_{0}^{t} \int_{B} [ϱ {\ddot{u}}_{i} (t - s) u_{i} (t + s) + I_{i j} {\ddot{φ}}_{i} (t - s) φ_{j} (t + s) + J \ddot{ω} (t - s) ω (t + s)] d v d s \\ + \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} (t - s) θ_{, i} (t + s) d v d s . \end{matrix}

(44)

It is easy to prove the relations

\begin{matrix} \int_{0}^{t} \ddot{f} (t + s) h (t - s) d s = \dot{f} (2 t) h (0) - \dot{f} (t) h (t) + \int_{0}^{t} \dot{h} (t - s) \dot{f} (t + s) d s, \\ \int_{0}^{t} \ddot{h} (t - s) f (t + s) d s = \dot{h} (t) f (t) - \dot{h} (0) f (2 t) + \int_{0}^{t} \dot{h} (t - s) \dot{f} (t + s) d s, \\ \int_{0}^{t} f (t + s) \dot{h} (t - s) d s = - h (0) f (2 t) + f (t) h (t) + \int_{0}^{t} \dot{f} (t + s) h (t - s) d s . \end{matrix}

(45)

Using the symmetry relations (5) and (45), from (42), (43), and (44) we obtain the desired result (41) and the proof of Theorem 4 is complete. □

A similar reciprocal result has been obtained in [11], but using some strong hypotheses on the thermoelastic coefficients.

If the conductivity tensor $k_{i j}$ is assumed be positive definite, then the result of Theorem 4 can be used to obtain the uniqueness result established in [18].

Now, our intention is to give another proof of Theorem 2 by using the result of Theorem 4. Let us consider that the mixed problem formulated above has two solutions,

(u_{i}^{1}, φ_{i}^{1}, ω^{1}, θ^{1}), (u_{i}^{2}, φ_{i}^{2}, ω^{2}, θ^{2}) .

Let us denote by

(u_{i}, φ_{i}, ω, θ)

the difference of two solutions, where

u_{i} = u_{i}^{1} - u_{i}^{2}, φ_{i} = φ_{i}^{1} - φ_{i}^{2}, ω = ω^{1} - ω^{2}, θ = θ^{1} - θ^{2} .

If we apply (41) for the difference, we are lead to

\int_{B} (ϱ u_{i} u_{i} + I_{i j} φ_{i} φ_{j} + J ω^{2}) d v + \frac{1}{T_{0}} \int_{0}^{t} \int_{B} k_{i j} θ_{, j} θ_{, i} d v d s = 0 .

From this equality, by using the hypotheses (ii) and (iv) of Theorem 2, we obtain

u_{i} = 0, φ_{i} = 0, ω = 0 .

Then, from (16), (17), and hypothesis (iii) of Theorem 2, we obtain

θ = 0 on B \times I,

which proves Theorem 4.

Remark Using a similar procedure as in [18] and [9], we can use (16), (17), and (41) to obtain some continuous dependence results.

4 Concluding remarks

The intrinsic rotations, microstructural expansion, and contractions do not affect the existence nor the uniqueness and continuous dependence of the solution of the mixed initial boundary value problem for thermoelastic bodies.

Also, it is not necessary to constrain the conductivity tensor to be positive definite to obtain the basic results of the theory of thermoelasticity of microstretch materials. It is sufficient for this tensor to be positive semi-defined as results from the Clausius-Duhem inequality.

Declarations

Acknowledgements

We express our gratitude to the referees for their valuable criticisms of the manuscript and for helpful suggestions.

Authors’ Affiliations

(1)

Department of Mathematics, Transilvania University of Brasov, Brasov, Romania

(2)

Department of Mathematics, Texas A&M University-Kingsville, Kingsville, USA

(3)

Department of Mathematics, Faculty of Science and Arts-Khulais, King Abdulaziz University, Jeddah, Saudi Arabia

(4)

Department of Mathematics, Faculty of Science, Sohag University, Sohag, Egypt

References

Eringen AC: Theory of micromorphic materials with memory. Int. J. Eng. Sci. 1972, 10: 623-641. 10.1016/0020-7225(72)90089-4View ArticleGoogle Scholar
Eringen AC: Theory of thermo-microstretch elastic solids. Int. J. Eng. Sci. 1990, 28: 1291-1301. 10.1016/0020-7225(90)90076-UMathSciNetView ArticleGoogle Scholar
Ciarletta M: On the bending of microstretch elastic plates. Int. J. Eng. Sci. 1995, 37: 1309-1318.MathSciNetView ArticleGoogle Scholar
Ciarletta M, Svanadze M, Buonanno L: Plane waves and vibrations in the theory of micropolar thermoelasticity for materials with voids. Eur. J. Mech. A, Solids 2009, 28: 897-903. 10.1016/j.euromechsol.2009.03.008MathSciNetView ArticleGoogle Scholar
Iesan D, Pompei A: Equilibrium theory of microstretch elastic solids. Int. J. Eng. Sci. 1995, 33: 399-410. 10.1016/0020-7225(94)00067-TMathSciNetView ArticleGoogle Scholar
Agarwal RP, O’Regan D, Lashmikantham V, Leela S: A generalized upper and lower solution method for singular initial value problems. Comput. Math. Appl. 2004, 47: 739-750. 10.1016/S0898-1221(04)90061-2MathSciNetView ArticleGoogle Scholar
Agarwal RP, O’Regan D: Boundary value problems on the half line in the theory of colloids. Math. Probl. Eng. 2002, 8: 143-150. 10.1080/10241230212905MathSciNetView ArticleGoogle Scholar
Marin M: A partition of energy in thermoelasticity of microstretch bodies. Nonlinear Anal., Real World Appl. 2010, 11(4):2436-2447. 10.1016/j.nonrwa.2009.07.014MathSciNetView ArticleGoogle Scholar
Marin M: Lagrange identity for microstretch thermoelastic materials. J. Math. Anal. Appl. 2010, 361(1):275-286.View ArticleGoogle Scholar
Marin M: Some estimates on vibrations in thermoelasticity of dipolar bodies. J. Vib. Control 2010, 16(1):33-47. 10.1177/1077546309103419MathSciNetView ArticleGoogle Scholar
Marin M: An evolutionary equation in thermoelasticity of dipolar bodies. J. Math. Phys. 1999, 40(3):1391-1399. 10.1063/1.532809MathSciNetView ArticleGoogle Scholar
Marin M, Agarwal RP, Mahmoud SR: Modeling a microstretch thermoelastic body with two temperatures. Abstr. Appl. Anal. 2013., 2013: Article ID 583464 10.1155/2013/583464Google Scholar
Abd-Alla AM, Mahmoud SR, Abo-Dahab SM, Helmy MI: Propagation of S-wave in a non-homogeneous anisotropic incompressible and initially stressed medium under influence of gravity field. Appl. Math. Comput. 2011, 217(9):4321-4332. 10.1016/j.amc.2010.10.029MathSciNetView ArticleGoogle Scholar
Abd-alla AM, Abbas IA: Magnetoelastic longitudinal wave propagation in a transversely isotropic circular cylinder. Appl. Math. Comput. 2002, 127(2-3):347-360. 10.1016/S0096-3003(01)00012-1MathSciNetView ArticleGoogle Scholar
Othman MIA: Effect of rotation on plane waves in generalized thermoelasticity with two relaxation times. Int. J. Solids Struct. 2004, 41: 2939-2956. 10.1016/j.ijsolstr.2004.01.009View ArticleGoogle Scholar
Othman MIA, Singh B: The effect of rotation on generalized micropolar thermoelasticity for a half-space under five theories. Int. J. Solids Struct. 2007, 44(9):2748-2762. 10.1016/j.ijsolstr.2006.08.016View ArticleGoogle Scholar
Boschi E, Mainardi F: Body loadings in thermo-microstretch elastic solids. Geophys. J. R. Astron. Soc. 1973, 34: 313-320. 10.1111/j.1365-246X.1973.tb02398.xView ArticleGoogle Scholar
Knops RJ, Payne LE: On uniqueness and continuous dependence in dynamical problems of thermoelasticity. Int. J. Solids Struct. 1970, 6: 1173-1184. 10.1016/0020-7683(70)90054-5View ArticleGoogle Scholar
Reiss R: Minimum principles for linear elastodynamics. J. Elast. 1978, 8(1):35-45. 10.1007/BF00044509MathSciNetView ArticleGoogle Scholar

Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.