On the spatial behavior of solutions for non-linear type II heat conduction

6
On the spatial behavior of solutions for non-linear type II heat conduction Antonio Magan ˜a , Ramo ´ n Quintanilla Dept. Matema ´tica Aplicada 2, UPC C. Colo ´n 11, 08222 Terrassa, Barcelona, Spain article info Article history: Received 1 February 2011 Received in revised form 27 May 2011 Accepted 7 June 2011 Available online 3 July 2011 Keywords: Type II thermoelasticity Energy methods abstract In this paper we study the spatial behavior of the solutions for a problem determined by the non-linear version of the Green and Naghdi type II heat conduction theory. We obtain a spatial decay estimates for the usual boundary-initial-value problem and also an upper bound for the amplitude term of the spatial estimate. Finally, we analyze a non-standard initial value problem defined on a particular family of heat conductors. & 2011 Elsevier Ltd. All rights reserved. 1. Introduction Maxwell [30] pointed out that the classical linear theory of heat conduction based on Fourier’s law predicts that a thermal perturbation at some point in a material body will be felt instantly at all other points of the body, however distant they are. This is referred to as the paradox of heat conduction. It is physically unrealistic since it implies that thermal signals propa- gate with infinite speed. Thus, given the classical theory’s non-causal nature, and causality’s fundamental role in modern physics, different theories of heat conduction have been put forth over the course of the 20th century (see, for example, [13,14] and the references cited therein). In the book of Ignaczack and Ostoja-Starzewski [20] several studies concerning applicability of non-classical thermoelastic theories are proposed. Green and Naghdi [912] proposed some of these thermomechanical theories where the heat conduction does not agree with the usual one (see also [36]). They considered three theories labelled as type I, II and III, respectively. These theories were based on an entropy balance law rather than the usual entropy inequality. However, we want to mention the total compatibility of the entropy balance law with the entropy inequality. Their thermodynamics proposed the use of the thermal displacement aðx, tÞ¼ Z t t 0 yðx, sÞ ds þ a 0 , where y is the empirical temperature. The type I thermoelasticity coincides with the classical one; in type II, the heat is allowed to propagate by means of thermal waves but without dissipating energy and for this reason it is also known as thermoelasticity without energy dissipation; the type III thermoelasticity includes the two above-mentioned theories as particular cases. All these theories have recently been the aim of great amount of works (as a matter of illustration see [25,19,2124,26,29,3335]. In this paper we study the non-linear version of the type II heat conduction. The study of edge effects in several thermomechanical situations has deserved much attention in the last three decades. They were motivated by the desire of giving a precise mathematical version of the result known in elastostatics as Saint-Venant Principle. This interest was later extended to other thermomechanical fields and, in general, to abstract partial differential equations. Several decay estimates for elliptic [7], parabolic [15,16], hyperbolic [17, 32] and/or combination of them [27] have been obtained. In these contributions the authors obtain growth/decay estimates for the solutions. It is worth noting that there are few contributions about the spatial decay in non-linear dynamical problems. This fact applies to parabolic problems, but it is more marked for hyperbolic problems. Flavin et al. [8] provided a method for hyperbolic problems that was later completed by Chirita and Quintanilla [6]. The former contribution applied for non-linear problems, but the kind of non-linearity was very restrictive and, then, their techni- que was used later only for linear problems. General non-linear problems add extra difficulties not easy to solve. For example, we do not know any contributions of this type for non-linear elastodynamics. Our aim here is to find a class of non-linear equations (with a physical meaning) to which the methods of Flavin et al. can be applied. The equations that we consider appear in a natural way in the analysis of the non-linear problem of the Green and Naghdi heat conduction theory. Paying attention to the examples proposed in this paper, the key point of our proposal is the introduction of terms like y m , for m42, in the energy of the Contents lists available at ScienceDirect journal homepage: www.elsevier.com/locate/nlm International Journal of Non-Linear Mechanics 0020-7462/$ - see front matter & 2011 Elsevier Ltd. All rights reserved. doi:10.1016/j.ijnonlinmec.2011.06.003 Corresponding author: Tel.: þ34 93 739 8206; fax: þ34 93 739 8101. E-mail address: [email protected] (A. Magan ˜a). International Journal of Non-Linear Mechanics 46 (2011) 1252–1257

Transcript of On the spatial behavior of solutions for non-linear type II heat conduction

International Journal of Non-Linear Mechanics 46 (2011) 1252–1257

Contents lists available at ScienceDirect

International Journal of Non-Linear Mechanics

0020-74

doi:10.1

� Corr

E-m

journal homepage: www.elsevier.com/locate/nlm

On the spatial behavior of solutions for non-linear type II heat conduction

Antonio Magana �, Ramon Quintanilla

Dept. Matematica Aplicada 2, UPC C. Colon 11, 08222 Terrassa, Barcelona, Spain

a r t i c l e i n f o

Article history:

Received 1 February 2011

Received in revised form

27 May 2011

Accepted 7 June 2011Available online 3 July 2011

Keywords:

Type II thermoelasticity

Energy methods

62/$ - see front matter & 2011 Elsevier Ltd. A

016/j.ijnonlinmec.2011.06.003

esponding author: Tel.: þ34 93 739 8206; fa

ail address: [email protected] (A. Mag

a b s t r a c t

In this paper we study the spatial behavior of the solutions for a problem determined by the non-linear

version of the Green and Naghdi type II heat conduction theory. We obtain a spatial decay estimates for

the usual boundary-initial-value problem and also an upper bound for the amplitude term of the spatial

estimate. Finally, we analyze a non-standard initial value problem defined on a particular family of heat

conductors.

& 2011 Elsevier Ltd. All rights reserved.

1. Introduction

Maxwell [30] pointed out that the classical linear theory ofheat conduction based on Fourier’s law predicts that a thermalperturbation at some point in a material body will be feltinstantly at all other points of the body, however distant theyare. This is referred to as the paradox of heat conduction. It isphysically unrealistic since it implies that thermal signals propa-gate with infinite speed. Thus, given the classical theory’snon-causal nature, and causality’s fundamental role in modernphysics, different theories of heat conduction have been put forthover the course of the 20th century (see, for example, [13,14]and the references cited therein). In the book of Ignaczack andOstoja-Starzewski [20] several studies concerning applicability ofnon-classical thermoelastic theories are proposed. Green andNaghdi [9–12] proposed some of these thermomechanical theorieswhere the heat conduction does not agree with the usual one (seealso [36]). They considered three theories labelled as type I, II and III,respectively. These theories were based on an entropy balance lawrather than the usual entropy inequality. However, we want tomention the total compatibility of the entropy balance law with theentropy inequality. Their thermodynamics proposed the use of thethermal displacement

aðx,tÞ ¼

Z t

t0

yðx,sÞ dsþa0,

where y is the empirical temperature.The type I thermoelasticity coincides with the classical one; in

type II, the heat is allowed to propagate by means of thermal

ll rights reserved.

x: þ34 93 739 8101.

ana).

waves but without dissipating energy and for this reason it is alsoknown as thermoelasticity without energy dissipation; the type IIIthermoelasticity includes the two above-mentioned theories asparticular cases. All these theories have recently been the aim ofgreat amount of works (as a matter of illustration see[2–5,19,21–24,26,29,33–35]. In this paper we study the non-linearversion of the type II heat conduction.

The study of edge effects in several thermomechanical situationshas deserved much attention in the last three decades. They weremotivated by the desire of giving a precise mathematical version ofthe result known in elastostatics as Saint-Venant Principle. Thisinterest was later extended to other thermomechanical fields and,in general, to abstract partial differential equations. Several decayestimates for elliptic [7], parabolic [15,16], hyperbolic [17,32] and/orcombination of them [27] have been obtained. In these contributionsthe authors obtain growth/decay estimates for the solutions.

It is worth noting that there are few contributions about thespatial decay in non-linear dynamical problems. This fact appliesto parabolic problems, but it is more marked for hyperbolicproblems. Flavin et al. [8] provided a method for hyperbolicproblems that was later completed by Chirita and Quintanilla [6].The former contribution applied for non-linear problems, but thekind of non-linearity was very restrictive and, then, their techni-que was used later only for linear problems. General non-linearproblems add extra difficulties not easy to solve. For example, wedo not know any contributions of this type for non-linearelastodynamics. Our aim here is to find a class of non-linearequations (with a physical meaning) to which the methods ofFlavin et al. can be applied. The equations that we consider appearin a natural way in the analysis of the non-linear problem of theGreen and Naghdi heat conduction theory. Paying attention to theexamples proposed in this paper, the key point of our proposal isthe introduction of terms like ym, for m42, in the energy of the

A. Magana, R. Quintanilla / International Journal of Non-Linear Mechanics 46 (2011) 1252–1257 1253

system (theta is the temperature). This fact allows us to apply theabove cited methods.

As we mentioned above, there are neither physical normathematical studies to support type II theory. Therefore, at thisstage, we think that it is important to analyze different proposalswith their respective conclusions. Our work is addressed to thisobjective from a mathematical point of view. In order to establishthe more appropriate scenery for this theory, some initialattempts must be done.

The organization of this paper is as follows. In Section 2 we setthe equation we are going to deal with and the assumptions thatwe impose to it. We also show a couple of examples that satisfy ourassumptions. Section 3 is devoted to obtain a spatial decayestimates for the usual boundary-initial-value problem. As acorollary, we get a result of domain of influence type. Later, inSection 4, we obtain an upper bound for the amplitude term (of thespatial estimate) by means of the problem’s initial data. In Section5, we find spatial decay estimates for a non-standard initial valueproblem defined in a particular case following one of our examples.Finally, in the last section, some concluding remarks are stated.

2. Preliminaries

Let R be the semi-infinite cylinder ð0,1Þ � D, where D is a twodimensional bounded domain such that the boundary @D issmooth enough to apply the divergence theorem. The finite endface of the cylinder is in the plane x1 ¼ 0. Let DðzÞ be the cross-section of the points in R such that x1 ¼ z, and let RðzÞ be thepoints of the cylinder such that x14z. The equations we studyhere are determined on R.

In the following, we consider a non-linear type II heatconduction material. We denote by r the mass density, whichdepends on the material point, and by Z the entropy density.The evolution equation is given by

r _Z ¼Fi,i, ð2:1Þ

where

rZ¼� @C@y

and Fi ¼@C@a,i

: ð2:2Þ

Cðy,a,iÞ is the free energy and Fi is the entropy flux vector.If we substitute (2.2) into (2.1) we obtain

@

@t�@C@y

� �¼

@

@xi

@C@a,i

� �: ð2:3Þ

To have a well-posed problem in R we impose the following initialconditions:

aðx1,x2,x3,0Þ ¼ gðx1,x2,x3Þ, _aðx1,x2,x3,0Þ ¼ hðx1,x2,x3Þ ð2:4Þ

and also the boundary conditions given by

að0,x2,x3,tÞ ¼ f ðx2,x3,tÞ, 8ðx2,x3ÞAD, aðx1,x2,x3,tÞ ¼ 0 8ðx2,x3ÞA@D:

ð2:5Þ

In order to avoid difficulties concerning the smoothness of thesolutions, we assume that f ðx2,x3,tÞ ¼ 0 for ðx2,x3ÞAD.

In our study, it will be relevant to consider the internal energyfunction

S¼CþryZ:

Our aim is to obtain the spatial behavior for the solutions ofthe problem determined by (2.3) with initial conditions (2.4) andboundary conditions (2.5) whenever we assume thatZ

RS dV o1 ð2:6Þ

at time t¼ 0.

The class of functions we are going to work with is restrictedto satisfy the following assumptions:

A1:

jF1jrC1S1=2þC2Sp with C1,C240 and 1=2opo1.

A2:

SZC3y2þC4y

q with C3,C440 and pþ1=q¼ 1.

Let us show several examples that we had in mind and led usto propose the above assumptions.

Example 2.1. Let us consider the functions

CðmÞ ¼ �c1mjyjmþc2mjrajmþc3myjrajm�1þyðdima,iÞm�1 for mZ2,

where c1m and c2m are positive constants and c3m and dim arearbitrary constants. If we define

C¼Cð2Þ þCðmÞ, m42,

then we have

rZ¼ 2c12y�c32jrajþmc1mjyjm�2y�c3mjrajm�1�di2a,i�ðdima,iÞm�1

and

S¼ c12jyj2þc22jraj2þðm�1Þc1mjyjmþc2mjrajm: ð2:7Þ

In this case,

F1 ¼@C@a,1¼ 2c22a,1þc32y

a,1

jrajþmc2mjrajm�1 a,1

jraj

þðm�1Þc3myjrajm�2 a,1

jraj þyd12þðm�1Þyd1mðd1ma,1Þm�2:

Note that from (2.7) we obtain

ja,1jr jrajrK1S1=2,

jyjrK2S1=2,

jrajm�1 ¼ ðjrajmÞðm�1Þ=mrK3Sðm�1Þ=m,

jyjjrajm�2 ¼ ðjyjmÞ1mðjrajmÞðm�2Þ=mrK4S1=mSðm�2Þ=m

¼ K4Sðm�1Þ=m

and

jyjja,1r jyjjraj:

Therefore, jF1jrC1S1=2þC2Sp with C1,C240 and 1=2opo1.

Note also that SZC3y2þC4y

q for q¼m.

Example 2.2. We define GðmÞ ¼CðmÞ þbmpjyjpjrajm�p. And wetake

C¼Cð2Þ þGðmÞ, m42:

In this case,

rZ¼ 2c12y�c32jrajþmc1mjyjm�2y�c3mjrajm�1�pbmpyjyjp�2jrajm�p

�di2a,i�ðdima,iÞm�1:

Thus,

S¼ c12jyj2þc22jraj2þðm�1Þc1mjyjmþc2mjrajm

þð1�pÞbmpjyjpjrajm�p:

3. Spatial estimates

In this section we obtain our spatial decay estimate. Thedomain of influence type result for the solutions will be acorollary.

Our analysis starts by considering the following function:

Iðz,tÞ ¼�

Z t

0

ZDF1y dA ds:

A. Magana, R. Quintanilla / International Journal of Non-Linear Mechanics 46 (2011) 1252–12571254

Let us compute the divergence of the vector field Fiy:

½Fiy�,i ¼Fi,iyþFiy,i ¼@

@t�@C@y

� �yþ

@C@a,i

_a ,i:

Or, equivalently,

½Fiy�,i ¼�@

@t

@C@y

y� �

þ@C@y

_yþ@C@a,i

_a ,i ¼�@

@t

@C@y

y� �

þ@C@t:

Using Eq. (2.2) we obtain

½Fiy�,i ¼@

@t½ryZ�þ @C

@t¼ _S:

We consider the part of R between x1 ¼ zn and x1 ¼ z. Applyingthe divergence theorem, we obtain

Iðz,tÞ�Iðzn,tÞ ¼

Z t

0

Z z

zn

ZD

_S dA dx1 ds: ð3:1Þ

And integrating:

Iðz,tÞ�Iðzn,tÞ ¼�

Z z

zn

ZDS dVþ

Z z

zn

ZDSð0Þ dV ,

where dV stands for dA dx1 and Sð0Þ for function S evaluated att¼ 0. Note that the integral of Sð0Þ depends on the initial data ofthe problem.

It is clear that

@I

@t¼�

ZDF1y dA

and

@I

@z¼�

ZDS dAþ

ZDSð0Þ dA:

Applying assumption A1 we obtain

@I

@t

��������rZ

DjF1jjyj dArC1

ZDS1=2jyj dAþC2

ZDSpjyj dA:

And applying A2,

@I

@t

��������rC1C�1=2

3

ZDS1=2S1=2 dAþC2C�1=q

4

ZDSpS1=q dA

¼ ðC1C�1=23 þC2C�1=q

4 Þ

ZDS dA:

If we denote C5 ¼ C1C�1=23 þC2C�1=q

4 , then we have

@I

@t

��������rC5 �

@I

@zþ

ZDSð0Þ dA

� �:

Or, equivalently,

@I

@t

��������þC5

@I

@zrC5

ZDSð0Þ dA: ð3:2Þ

To simplify the notation a little bit, let us denoteE1ðzÞ ¼

RDSð0Þ dA. Then, inequality (3.2) implies that

@I

@tþC5

@I

@zrC5E1ðzÞ ð3:3Þ

and

@I

@t�C5

@I

@zZ�C5E1ðzÞ: ð3:4Þ

These inequalities have been studied in several references before(see, for instance, [8]).

Note that (3.3) and (3.4) can be rewritten, respectively, as

c@I

@tþ@I

@zrE1ðzÞ ð3:5Þ

and

c@I

@t�@I

@zZ�E1ðzÞ, ð3:6Þ

where c¼ 1=C5.Let us fix ðz0,t0ÞA ½0,L� � ½0,1Þ: If we set t¼ t0þcðz�z0Þ, then

the expression on the left hand side of inequality (3.5) can bethought of as

@

@zIðz,t0þcðz�z0ÞÞ: ð3:7Þ

Therefore, on integrating (3.5) we obtain

Iðz,t0þcðz�z0ÞÞ�Iðz0,t0ÞrZ z

z0

E1ðxÞ dx, ð3:8Þ

where zZz0.On the other hand, if we set now t¼ t1þcðz1�zÞ, and integrat-

ing (3.6) we obtain

Iðz,t1þcðz1�zÞÞ�Iðz1,t1ÞZ�

Z z1

zE1ðxÞ dx, ð3:9Þ

where zrz1.Taking t0 ¼ t1 ¼ 0, assuming that the initial data satisfy (2.6),

and making z-1, from inequalities (3.8) and (3.9) we obtainthat, for a finite time t,

limz-1

Iðz,tÞ ¼ 0:

Taking into account this result and relation (3.1) we get

Iðz,tÞ ¼

ZRðzÞ

SðtÞ dV�

ZRðzÞ

Sð0Þ dV :

Now inequality (3.3) implies that

Eðz,tÞrEðzn,0Þ, ð3:10Þ

where

Eðz,tÞ ¼

Z 1z

ZDSðtÞ dV ð3:11Þ

and z, zn and t are related by t¼ cðz�znÞ. In a similar way, we get

Eðz,tÞrEðznn,0Þ ð3:12Þ

for t¼ cðznn�zÞ. Finally, from inequalities (3.10) and (3.12), weconclude that

Eðz,tÞrEðzn,tnÞ ð3:13Þ

for jt�tnjrcðz�znÞ.Therefore, we have the following result.

Theorem 3.1. Let a be a solution of the initial-boundary-value

problem defined by (2.3)–(2.5). Then the energy function Eðz,tÞdefined in (3.11) satisfies inequality (3.13) whenever jt�tnjrcðz�znÞ, provided that the initial data satisfy (2.6).

If one defines the measure

Enðz,tÞ ¼

Z t

0Eðz,sÞ ds ð3:14Þ

the following inequalities can be obtained (see [16]):

Enðz,tÞrc

Z z

z�c�1tEðp,0Þ dp, c�1trz,

Enðz,tÞrc

Z z

0Eðp,0Þ dpþ 1�

cz

t

� �Enð0,tÞ, c�1tZz: ð3:15Þ

If g and h vanish, we have that Eðp,0Þ ¼ 0 for every pZ0. Thus,the last inequalities become

Enðz,tÞ ¼ 0, c�1trz,

A. Magana, R. Quintanilla / International Journal of Non-Linear Mechanics 46 (2011) 1252–1257 1255

Enðz,tÞr 1�cz

t

� �Enð0,tÞ, c�1tZz: ð3:16Þ

Note that the first equality implies that the solution vanishes fortrcz, which is a domain of influence kind of result.

Therefore, we have proved the following property.

Corollary 3.2. If homogeneous initial conditions are supposed, then

estimates (3.16) hold. In particular, a¼ 0 whenever c�1trz.

4. The amplitude term

To have a better description of our estimates, we need anupper bound for the amplitude term by means of the dataproblem. In this section we obtain a bound for Enð0,tÞ when theinitial data vanish.

In this section we will also assume that

A3:

jrZjrD1S1=2þD2Sp with D1,D240 and 1=2opo1.

A4:

jFijrD1S1=2þD2Sp.

It is worth noting that the families of functions proposed inExamples 2.1 and 2.2 satisfy these conditions.

It is clear thatZ t

0

ZRðr _Z�Fi,iÞy dV ds¼ 0:

Thus, making some calculations, we obtain

Eð0,tÞ ¼�

Z t

0

ZDð0Þ

F1y dA ds:

Therefore, for any arbitrary function Gðx,tÞ which decays in a(sufficiently) fast way as x1 goes to infinity and such that it agreeswith yðx,tÞ at Dð0Þ, we have

Enð0,tÞ ¼�

Z t

0

ZDð0Þðt�sÞF1G dA ds:

Using the divergence theorem we obtain that

Enð0,tÞ ¼

Z t

0

ZRðt�sÞr _ZG dV dsþ

Z t

0

ZRðt�sÞFiG,i dV ds:

We denote by I1 the first integral and by I2 the second one. I1 canbe rewritten as

I1 ¼

Z t

0

ZRrZG dV ds�

Z t

0

ZRðt�sÞrZ _G dV ds¼ I11�I12:

We now bound the absolute values of integrals I11, I12 and I2.Taking into account assumption A3 we get

jI11jrZ t

0

ZRðD1S1=2

þD2SpÞjGj dV ds:

Thus,

jI11jrD1

Z t

0

ZRS dV ds

� �1=2 Z t

0

ZRjGj2 dV ds

� �1=2

þD2

Z t

0

ZRS dV ds

� �p Z t

0

ZRjGj1=ð1�pÞ dV ds

� �1�p

:

Or, equivalently,

jI11jrD1Enð0,tÞ1=2Z t

0

ZRjGj2 dV ds

� �1=2

þD2Enð0,tÞpZ t

0

ZRjGj1=ð1�pÞ dV ds

� �1�p

:

Now we will use the inequality

a � brðeaÞa

a þðe�1bÞb

bwhen

1

a þ1

b¼ 1 for any e40:

In this way, we obtain

jI11jre1Enð0,tÞþN1

Z t

0

ZRjGj2 dV dsþe2Enð0,tÞ

þN2

Z t

0

ZRjGj1=ð1�pÞ dV ds:

In the above expression, e1 and e2 are two positive constants thatwe can select as small as we want, and N1 and N2 are twocalculable positive constants.

In a similar way we have

jI12jrZ t

0

ZRðt�sÞðD1S1=2

þD2SpÞ _G dV ds:

Using the same reasoning as before, we can obtain

jI12jre3Enð0,tÞþN3ðtÞ

Z t

0

ZRj _Gj2 dV dsþe4Enð0,tÞ

þN4ðtÞ

Z t

0

ZRj _Gj1=ð1�pÞ dV ds,

where e3 and e4 are positive but as small as we want, and N3ðtÞ

and N4ðtÞ can depend on the time.Using A4 and the fact that jG,ijr ðG,iG,iÞ

1=2, we obtain

jI2jr3

Z t

0

ZRðt�sÞðD1S1=2

þD2SpÞðG,iG,iÞ

1=2 dV ds:

Now we bound jI2j as before:

jI2jre5Enð0,tÞþN5ðtÞ

Z t

0

ZRðG,iG,iÞ dV dsþe6Enð0,tÞ

þN6ðtÞ

Z t

0

ZRðG,iG,iÞ

1=2ð1�pÞ dV ds,

where e5, e6, N5ðtÞ and N6ðtÞ are as above.In view of the previous estimates and selecting ei ¼ 1=12 for

i¼ 1, . . . ,6 we obtain

Enð0,tÞrHðtÞ

Z t

0

ZRðjGj2þj _Gj2þðG,iG,iÞþjGj1=ð1�pÞ þj _Gj1=ð1�pÞ

þðG,iG,iÞ1=2ð1�pÞ

Þ dV si, ð4:1Þ

where HðtÞ is a function calculable in terms of the constitutiveconstants and the time.

We now need to obtain an upper estimate for the integral onthe right hand side of (4.1) in terms of the boundary data. In orderto do so, we take

Gðx1,x2,x3,tÞ ¼ e�dx1 f ðx2,x3,tÞ,

where d is an arbitrary but positive constant and f ðx2,x3,tÞ is oneof our boundary conditions given at (2.5).

Note that

_Gðx1,x2,x3,tÞ ¼ e�dx1 _f ðx2,x3,tÞ,

and

G,iG,i ¼ d2e�2dx1 f 2ðx2,x3,tÞþe�2dx1 ðf 2,2ðx2,x3,tÞþ f 2

,3ðx2,x3,tÞÞ:

Therefore, each one of the integrals on the right hand side of(4.1) can be bounded. In fact, we haveZ

RjGjk dV ¼

ZD

Z 10

e�kdx1 jf kðx2,x3,tÞj dx1 dA¼1

kd

ZDjf kðx2,x3,tÞj dA,

for k¼ 2 or k¼ 1=ð1�pÞ:

ZRj _Gjk dV ¼

ZD

Z 10

e�kdx1 j_fkðx2,x3,tÞj dx1 dA¼

1

kd

ZDj_f

kðx2,x3,tÞj dA,

for k¼ 2 or k¼ 1=ð1�pÞ:

ZRðG,iG,iÞ

k dV ¼

ZD

Z 10

e�2kdx1 ½d2f 2ðx2,x3,tÞþ f 2,2ðx2,x3,tÞ

A. Magana, R. Quintanilla / International Journal of Non-Linear Mechanics 46 (2011) 1252–12571256

þ f 2,3ðx2,x3,tÞ�k dx1 dA

¼1

2kd

ZD½d2f 2ðx2,x3,tÞþ f 2

,2ðx2,x3,tÞþ f 2,3ðx2,x3,tÞ�k dA,

for k¼ 1 or k¼ 1=2ð1�pÞ:

And, then,

Enð0,tÞrHðtÞ

Z t

0

ZD

1

2dðð1þd2

Þjf j2þj_f j2þ f 2,2þ f 2

,3Þ

þ1�p

dðjf j1=ð1�pÞ þj_f j1=ð1�pÞ þðd2f 2þ f 2

,2þ f 2,3Þ

1=2ð1�pÞÞ dA ds

�:

ð4:2Þ

5. A non-standard problem for Eq. (2.3)

In this section we restrict our attention to the problemdetermined by the functions given at Example 2.1:

C¼Cð2Þ þCðmÞ, m42,

where

CðmÞ ¼ �c1mjyjmþc2mjrajmþc3myjrajm�1þyðdima,iÞm�1 for mZ2:

c1m and c2m are positive constants and c3m and dim are arbitraryconstants.

We briefly discuss the behavior of the solutions of (2.3) subjectto the boundary conditions (2.5) and the non-standard conditions

aðx,TÞ ¼ kaðx,0Þ, yðx,TÞ ¼ kyðx,0Þ, ð5:1Þ

where jkj41. Such non-standard conditions have been thesubject of recent attention. In 2002 Payne and Schaefer [31]proposed the study of a non-standard initial problem associatedwith elastodynamics. This kind of problems was motivated byregularization of ill-posed Cauchy problems for the backward intime classical heat equation [1].

The analysis begins by considering the function

FgðzÞ ¼�

Z T

0

ZDðzÞ

e�2gsF1y dA ds, ð5:2Þ

where, as established in [17], the positive constant g is given by

g¼ 1

Tln jkj:

It is clear, see (3.1), that

FgðzÞ�FgðznÞ ¼

Z T

0

Z z

zn

ZD

e�2gs _S dA dx1 ds,

for every zZznZ0.Or, equivalently,

FgðzÞ�FgðznÞ ¼

Z T

0

Z z

zn

ZD

d

ds½e�2gsS� dA dx1 ds

þ2gZ T

0

Z z

zn

ZD

e�2gsS dA dx1 ds:

If we denote by Rðz,znÞ the part of the cylinder from zn to z andwe integrate with respect to the time in the first integral above,we get

FgðzÞ�FgðznÞ ¼

ZRðz,znÞ½e�2gTSðTÞ�Sð0Þ� dVþ2g

Z T

0

ZRðz,znÞ

e�2gsS dV ds,

where function S is the one defined by (2.7).Hence, taking into account the non-standard conditions (5.1)

and the value of g (that gives k2e�2gT ¼ 1) we obtain

e�2gTSðTÞ�Sð0Þ ¼ ðkm�2�1Þ½ðm�1Þc1mjyð0Þjmþc2mjrað0Þjm�:

As a result,

FgðzÞ�FgðznÞ ¼

ZRðz,znÞðkm�2�1Þ½ðm�1Þc1mjyð0Þjmþc2mjrað0Þjm� dV

þ2gZ T

0

ZRðz,znÞ

e�2gsS dV ds:

And, computing now F 0gðzÞ we obtain

F 0gðzÞ ¼

ZDðzÞðkm�2�1Þ½ðm�1Þc1mjyð0Þjmþc2mjrað0Þjm� dA

þ2gZ T

0

ZDðzÞ

e�2gsS dA ds:

Being the first integral positive, it is clear that

F 0gðzÞZ2gZ T

0

ZDðzÞ

e�2gsS dA ds:

As we want to estimate the absolute value of FgðzÞ in terms ofits derivative, we remind here that functions F1 and y satisfyassumptions A1 and A2. Therefore

jFgðzÞjrZ T

0

ZDðzÞ

e�2gs½C1S1=2þC2Sp

�jyj dA ds

rZ T

0

ZDðzÞ

e�2gs½C1S1=2C�1=23 S1=2

þC2SpC�1=q4 S1=q

� dA ds:

ð5:3Þ

Finally,

jFgðzÞjrC1C�1=2

3 þC2C�1=q4

2gF 0gðzÞ ¼ CgF 0gðzÞ:

Hence, we can obtain an alternative of Phragmen–Lindeloftype which states (see Ref. [7]) that the solutions either growexponentially for z large enough or solutions decay exponentiallyin the form

EðzÞrEð0Þe�z=Cg ,

for all zZ0, where

EðzÞ ¼Z T

0

ZRðzÞ

2ge�2gsS dV dsþ

ZRðzÞðkm�2�1Þ½ðm�1Þc1mjyð0Þjm

þc2mjrað0Þjm� dV :

As a final comment, let us say that this result can be extendedfor jkjo1. The idea is to observe that if a is a solution of ourproblem, then it is also a solution of the backward in timeproblem determined by the same boundary conditions, but withthe non-standard initial conditions given by

k�1aðx,TÞ ¼ aðx,0Þ, k�1yðx,TÞ ¼ yðx,0Þ,

for function

C¼Cð2ÞnþCðmÞ

n, m42,

with

CðmÞn¼�c1mjyjmþc2mjrajm�c3myjrajm�1�yðdima,iÞ

m�1 for mZ2:

In this case, k�1 is now greater than one and the analysis proposedpreviously can be adapted to this new system.

6. Concluding remarks

This paper was focussed in the analysis of a mathematicalaspect that can appear in the non-linear theory of type II heatconduction. The mathematical structure of this theory is given bya hyperbolic differential equation while, in the classical theory,the structure is given by a parabolic equation. We have seen that,under some constitutive assumptions, the energy does not grow

A. Magana, R. Quintanilla / International Journal of Non-Linear Mechanics 46 (2011) 1252–1257 1257

along certain space–time directions. In particular, a result ofdomain of influence has been obtained. This kind of result cannotbe obtained for the classical theory of heat conduction due to thephenomenon of diffusion.

We think that, nowadays, it is impossible to decide which ofboth theories is appropriate to better describe real situations: itdepends on many different aspects. Surely, for certain scenariosone of these theories is more suitable, while for other situations,the other one is preferable. Let us say that the heat conductionphenomena at very low temperatures seem to be well describedby the theory of wave propagation at finite speed. For instance,Hwang et al. [18], Maıga et al. [28], Kim et al. [25] or Vadasz et al.[37] suggest that a mechanism for the increased heat transfercharacteristics of a nanofluid may be through a hyperbolicequation for the temperature field.

Acknowledgments

The authors want to thank two anonymous referees for theiruseful comments.

The investigation reported in this paper is supported byprojects ‘‘Ecuaciones en Derivadas Parciales en Termomecanica.Teorıa y aplicaciones’’ (MTM2009-08150) and ‘‘Teorıa de Juegos ysistemas de decision colectiva con aplicaciones’’ (MTM 2009-08037)of the Science and Innovation Spanish Ministry and the EuropeanRegional Development Fund.

References

[1] K.A. Ames, L.E. Payne, Continuous dependence on modeling for somewell-posed perturbations of the backward heat equation, Journal of Inequal-ities and Applications 3 (1999) 51–64.

[2] S. Bargmann, P. Steinmann, P.M. Jordan, Simulation of cryovolcanism onSaturns moon Enceladus with the Green–Naghdi theory of thermoelasticity,Bulletin of Glaciological Research 26 (2008) 23–32.

[3] D.S. Chandrasekharaiah, A uniqueness theorem in the theory of thermoelas-ticity without energy dissipation, Journal of Thermal Stresses 19 (1996)267–272.

[4] D.S. Chandrasekharaiah, A note on the uniqueness of solution in the lineartheory of thermoelasticity without energy dissipation, Journal of Elasticity 43(1996) 279–283.

[5] M. Ciarletta, B. Straughan, V. Zampoli, Thermo-poroacoustic accelerationwaves in elastic materials with voids without energy dissipation, Interna-tional Journal of Engineering Science 45 (2007) 736–743.

[6] S. Chirita, R. Quintanilla, On Saint-Venant’s principle in linear elastody-namics, Journal of Elasticity 42 (1996) 201–215.

[7] J.N. Flavin, R.J. Knops, L.E. Payne, Decay estimates for the constrained elasticcylinder of variable cross-section, Quarterly Applied Mathematics 47 (1989)325–350.

[8] J.N. Flavin, R.J. Knops, L.E. Payne, Energy bounds in dynamical problems for asemi-infinite elastic beam, in: G. Eason, R.W. Ogden (Eds.), Elasticity:Mathematical Methods and Applications, Ellis-Horwood, Chichester, 1990,pp. 101–111.

[9] A.E. Green, P.M. Naghdi, A re-examination of the basic postulates of thermo-mechanics, Proceedings of the Royal Society of London A 432 (1991)171–194.

[10] A.E. Green, P.M. Naghdi, On undamped heat waves in an elastic solid, Journalof Thermal Stresses 15 (1992) 253–264.

[11] A.E. Green, P.M. Naghdi, Thermoelasticity without energy dissipation, Journalof Elasticity 31 (1993) 189–208.

[12] A.E. Green, P.M. Naghdi, A unified procedure for construction of theories ofdeformable media, I. Classical continuum physics, II. Generalized continua,III. Mixtures of interacting continua, Proceedings of the Royal Society ofLondon A 448 (1995) 335–356 357–377, 379–388.

[13] R.B. Hetnarski, J. Ignaczak, Generalized thermoelasticity, Journal of ThermalStresses 22 (1999) 451–470.

[14] R.B. Hetnarski, J. Ignaczak, Nonclassical dynamical thermoelasticity, Interna-tional Journal of Solids and Structures 37 (2000) 215–224.

[15] C.O. Horgan, L.E. Payne, L.T. Wheeler, Spatial decay estimates in transientheat conduction, Quarterly of Applied Mathematics 42 (1984) 119–127.

[16] C.O. Horgan, R. Quintanilla, Spatial decay of transient end effects in func-tionally graded heat conducting materials, Quarterly of Applied Mathematics59 (2001) 529–542.

[17] C.O. Horgan, R. Quintanilla, Spatial behaviour of solutions of the dual-phase-lag heat conduction, Mathematical Methods in the Applied Sciences 28(2005) 43–57.

[18] K.S. Hwang, J.H. Lee, S.P. Jang, Buoyancy-driven heat transfer of water-basedAl2O3 nanofluids in a regular cavity, International Journal of Heat MassTransfer 50 (2007) 4003–4010.

[19] D. Iesan, Thermopiezoelectricity without energy dissipation, Proceedings ofthe Royal Society of London A 464 (2008) 631–656.

[20] J. Ignaczak, M. Ostoja-Starzewski, Thermoelasticity with Finite Wave Speeds,Oxford Mathematical Monographs, Oxford, 2010.

[21] P.M. Jordan, Growth, decay and bifurcation of shock amplitudes under thetype-II flux law, Proceedings of the Royal Society of London A 463 (2007)2783–2798.

[22] P.M. Jordan, P. Puri, Thermal stresses in a spherical shell under threethermoelastic models, Journal of Thermal Stresses 24 (2001) 47–70.

[23] P.M. Jordan, B. Straughan, Acoustic acceleration waves in homentropic Greenand Naghdi gases, Proceedings of the Royal Society of London A 462 (2006)3601–3611.

[24] V.K. Kalpakiades, G.A. Maugin, Canonical formulation and conservation lawsof elasticity without energy dissipation, Reports on Mathematical Physics53 (2004) 371–391.

[25] S.H. Kim, S.R. Choi, D. Kim, Thermal conductivity of metal-oxide nanofluids:particle size dependence and effect of laser irradiation, Journal of HeatTransfer (ASME) 129 (2007) 298–307.

[26] B. Lazzari, R. Nibbi, On the exponential decay in thermoelasticity withoutenergy dissipation and of type III in presence of an absorbing boundary,Journal of Mathematical Analysis and Applications 338 (2008) 317–329.

[27] A. Magana, R. Quintanilla, On the spatial behavior of solutions for porouselastic solids with quasi-static microvoids, Mathematical and ComputerModelling 44 (7–8) (2006) 710–716.

[28] S.E.B. Maıga, S.J. Palm, C.T. Nguyen, G. Roy, N. Galanis, Heat transferenhancement by using nanofluids in forced convection flows, InternationalJournal of Heat Fluid Flow 26 (2005) 530–546.

[29] G.A. Maugin, V.K. Kalpakiades, The slow march towards an analyticalmechanics of dissipative materials, Technishe Mechanik 22 (2002) 98–103.

[30] J.C. Maxwell, Theory of Heat, Dover, Mineola, New York, 2001.[31] L.E. Payne, P.W. Schaefer, Energy bounds for some nonstandard problems in

partial differential equations, Journal of Mathematical Analysis and Applica-tions 273 (2002) 75–92.

[32] R. Quintanilla, On the spatial behaviour in thermoelasticity without energydissipation, Journal of Thermal Stresses 21 (1999) 213–224.

[33] R. Quintanilla, Convergence and structural stability in thermoelasticity,Applied Mathematics and Computation 135 (2003) 287–300.

[34] R. Quintanilla, Impossibility of localization in linear thermoelasticityProceedings of the Royal Society of London A 463 (2007) 3311–3322.

[35] R. Quintanilla, B. Straughan, A note on discontinuity waves in type IIIthermoelasticity, Proceedings of the Royal Society of London A 460 (2004)1169–1175.

[36] R. Quintanilla, B. Straughan, Nonlinear waves in a Green–Naghdi dissipation-less fluid, Journal of Non-Newtonian Fluids Mechanics 154 (2008) 207–210.

[37] J.J. Vadasz, S. Govender, P. Vadasz, Heat transfer enhancement in nanofluidssuspensions: possible mechanisms and explanations, International Journal ofHeat Mass Transfer 48 (2005) 2673–2683.