You are currently viewing a new version of our website. To view the old version click .
Thermo
  • Article
  • Open Access

9 November 2025

Thermodynamics and Nonlocality in Continuum Physics

and
1
Dipartimento di Ingegneria Civile Ambiente Territorio Architettura e Matematica, Università di Brescia, Via D. Valotti 9, 25133 Brescia, Italy
2
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Università di Genova, Via All’Opera Pia 13, 16145 Genova, Italy
*
Author to whom correspondence should be addressed.

Abstract

This paper is devoted to the modelling of nonlocality in continuum physics through constitutive functions that depend on suitable gradients. For definiteness, the attention is addressed to elastic solids, heat conductors, and magnetic solids. Models are developed where both the requirements of the second law of thermodynamics and the balance equations are satisfied for the constitutive functions that involve gradients of strain, temperature, heat flux, and magnetization. Concerning elastic and magnetic solids, it is shown that, depending on the chosen variables, the standard symmetry property of the stress holds identically. The models so developed are free from any hyperstress tensor frequently considered in the literature.

1. Introduction

The modelling of materials is often described by allowing for nonlocality in space in that the response at a point x is affected by appropriate fields in a neighbourhood of x . The effect of the neighbourhood may be described by means of convolution integrals [1] or higher-order gradients (see [2] and refs therein). In periodic architectures (metamaterials) the nonlocality describes effective properties that go beyond those of the constituent parts [3,4]. According to the literature on nonlocality, in solids and fluids [2,5,6], there seems to be the need of new concepts for the description of the stress and strain states. It was pointed out in ref. [2] that higher-order gradients involved in nonlocal thermodynamics represent micro-length effects and these phenomena are very important in nanostructures. Moreover, a second-gradient model offers the possibility of describing the adherence interaction of a three-dimensional viscous fluid with one-dimensional structures immersed in it, thanks to the non-classical structure of the stresses which act on the fluid [7]. Accordingly, nonlocal effects can also be viewed as corrections of local descriptions.
In this paper, we investigate the thermodynamic admissibility of nonlocal models by looking for the requirements placed by the second law of thermodynamics. Despite the wide literature on nonlocality, thermodynamics needs corresponding developments also in connection with the balance of energy. About the balance of energy, most papers on nonlocality use a balance with an additional energy flux associated with the hyperstress. It seems a conceptual improvement to involve the stress through the Cauchy stress tensor and to avoid any recourse to ad hoc energy fluxes.
For definiteness, we look at nonlocality for elastic solids, heat conductors, and magnetic materials. The nonlocal description in terms of gradients (often referred to as weakly nonlocal approach) seems to be the most appropriate modelling and the wide variety of theories of this type in the literature substantiates this view. The key feature of higher-gradient theories is the presence of multiple length scales and the possibility of encompassing non-standard interactions. Yet the more involved structure of gradient-type models places problems about the consistency with the balance equations. In particular, from the balance of angular momentum, it follows a condition on the symmetry of the stress tensor and often this condition is ignored.
Relative to some schemes in the literature, we mention that Eringen [8] in passing from integral-type nonlocality to gradient-type nonlocality arrived to a constitutive equation of the form
T : = T n l 2 Δ T n l = C u .
where T n l is the nonlocal stress tensor, is a length scale parameter, C is the elasticity tensor, ∇ is the gradient operator, Δ is the Laplacian, and u is the displacement field. Next, Askes and Aifantis [9] arrived at the dual representation with an equation of the equilibrium
C ( u 2 Δ u ) + f = 0 ,
where f is the body force density.
Lately, various approaches have modelled the internal structure by starting with a new form of the stress power. The non-classical form of the approach is made formal (see, e.g., [2,10,11]) by accounting for a hyperstress, say G , characterized by the mechanical power in the Eulerian form
w = T · L + G · ( L ) ,
where L = v is the velocity gradient. An analogous formulation in terms of the deformation gradient F has been applied in refs. [11,12] in the Lagrangian form
w R = T R · F ˙ + G R · R F ˙ .
Furthermore, similar formulations have been investigated in terms of strain rate [13] by assuming
w = σ · ε ˙ Σ · ε ˙ ,
where ε = 1 2 ( u + u T ) denotes the infinitesimal strain. In the corresponding approaches, T , T R , σ denote the stress and G , G R , Σ the hyperstress (see details in Section 2.3).
More recently, the internal structure has been framed within a Hamiltonian scheme with a strain energy density as a function of strain and strain gradients (see, e.g., [5,9] for an overview of formulations).
The purpose of this paper is to establish thermodynamically consistent nonlocal models of elasticity, heat conduction, and magnetism without any appeal to hyperstresses and corresponding powers. The consistency is determined by deriving the restrictions placed by the Clausius–Duhem inequality as the statement of the second law. The novelty of our application of the Clausius–Duhem inequality is to regard the entropy production as a constitutive function as is the case for the entropy flux. Furthermore, our procedure avoids the introduction of ad hoc energy fluxes and merely assumes (for non-polar solids) T · D as the stress power, where D is the stretching tensor, as is the case for classical local theories.

Notation and Definitions

Let Ω E 3 be the time-dependent region occupied by the body. The points of the body are labelled by the position vector in a reference configuration R . The motion of the points is described by a twice continuously differentiable function x ( X , t ) on Ω × R . The displacement of X is denoted by u ( X , t ) = x ( X , t ) X . We let F denote the deformation gradient, F i K = X K x i , and let J = det F > 0 while E = 1 2 ( F T F 1 ) is the Green–Lagrange strain tensor. The symbols , R denote the gradient in Ω and in R . For any function ϕ ( x , t ) = ϕ ( x ( X , t ) , t ) , it is X K ϕ = x i ϕ X K x i whence R ϕ = F T ϕ . sym and skw denote the symmetric and skew-symmetric parts while Sym and Skw are the sets of symmetric and skew-symmetric tensors. The symbol L denotes the velocity gradient, L i j = x j v i , while D = sym L and W = skw L . T is the Cauchy stress tensor and T R R = J F 1 T F T is the second Piola stress tensor.
In dealing with magnetization in matter, we use the magnetization M , per unit volume, and the magnetic field H , while μ 0 is the permeability of free space. The referential description is developed using the Lagrangian fields M = J F 1 M and H = F T H .

2. Balance Equations

Let ρ be the current mass density and ρ R the mass density in the reference configuration. The conservation of mass results in
ρ J = ρ R ,
ρ R being possibly dependent on the position X . The balance equations are now revised by considering non-polar and polar media. In particular, polar magnetic solids are considered.

2.1. Non-Polar Solids

We consider non-polar solids and then neither micro-structures nor surface and body couples occur. Hence, by the well-known Cauchy theorem, it follows the existence of a stress tensor T such that the motion is governed by
ρ u ¨ = · T + ρ b ,
b being the body force. For non-polar solids, the balance of angular momentum implies that
T = T T .
Consequently, the balance of energy is assumed in the form
ρ ε ˙ = T · D · q + ρ r ,
where ε is the specific energy density, while q and r are surface and body terms of non-mechanical nature, say heat flux vector and energy supply.
Let η be the specific entropy density and θ the absolute temperature. The balance of entropy is assumed in the form
ρ η ˙ + · j ρ r / θ = ρ γ 0 ,
where j is the entropy flux. Consistent with the principle of the increase in entropy, the quantity γ is called the (rate of) entropy production and is assumed to be non-negative. As is standard, let
j = q θ + k ,
with k the extra-entropy flux. Replacing · q ρ r from Equation (5) and considering the free energy
ψ = ε θ η
we can write Equation (6) in the form
ρ ( ψ ˙ + η θ ˙ ) + T · D 1 θ q · θ + θ · k = ρ θ γ 0 .
Following the literature, we refer to (7) as the Clausius–Duhem (CD) inequality. A thermodynamic process is the set of functions ρ , u , T , b , ϵ , q , r , η , k , γ of ( x , t ) Ω × R describing the evolution of the body; b and r are required to be given by (3) and (5). The second law of thermodynamics characterizes the physically admissible processes as follows.
Postulate. 
For every admissible thermodynamic process, the inequality γ 0 is valid at any point x Ω and time t R .
For later application, we consider the referential version of (7). Define the referential fluxes
q R = J F 1 q , k R = J F 1 k
and notice that (Cf. [14], Section 1.2.2)
R θ = θ F , J q · θ = q R · R θ , J · k = R · k R .
Notice that
E ˙ = 1 2 ( F T L T F + F T L F ) = F T D F .
Furthermore, since T R R = J F 1 T F T , then
T · D = J 1 T R R · E ˙ .
Consequently, multiplication of (7) by J results in
ρ R ( ψ ˙ + η θ ˙ ) + T R R · E ˙ 1 θ q R · R θ + θ R · k R = ρ R θ γ 0 ;
hereafter, the requirement γ 0 is understood and not written.
It is of interest that
T Sym T R R Sym .

2.2. Polar Magnetic Solids

The mass conservation is expressed by Equation (2). The balance of linear momentum involves the mechanical body force density ρ b and the magnetic force density (per unit volume) f and the mechanical stress tensor T . The corresponding equation of motion is
ρ v ˙ = ρ b + f + · T .
Often f is assumed to be μ 0 ( M · ) H , with M the magnetization (per unit volume), and H the magnetic field. The detailed expression of f is inessential to the present investigation.
Since M is not generally collinear to H , a body couple vector c appears in the form
c = μ 0 M × × H .
Hence, the balance of angular momentum leads to the condition
skw ( T + μ 0 H M ) = 0 .
Since T Sym , then the stress power is T · L . Hence, the balance of energy is based on the mechanical power T · L and the magnetic power ρ μ 0 H · m ˙ , with m = M / ρ . It then follows the equation
ρ ε ˙ = T · L + ρ μ 0 H · m ˙ · q + ρ r .
The balance of entropy is assumed in the general form (6). Now, through the substitution of · q ρ r from (11) and using the free energy ψ = ε θ η , we obtain
ρ ( ψ ˙ + η θ ˙ ) + T · L + ρ μ 0 H · m ˙ 1 θ q · θ + θ · k = ρ θ γ 0 .
Multiplying (12) by J and using the referential fluxes (8), we obtain
ρ R ( ψ ˙ + η θ ˙ ) + J T · L + ρ R μ 0 H · m ˙ 1 θ q R · R θ + θ R · k R = ρ R θ γ 0 .
To determine the thermodynamic restrictions, it is convenient to describe the magnetization through the Lagrangian field (see [15]):
M = ρ R F 1 m .
By direct calculation, we find
m ˙ = ( 1 / ρ R ) [ L F M + F M ˙ ]
and then the CD inequality (13) may be written in the form
ρ R ( ψ ˙ + η θ ˙ ) + ρ R μ 0 H · M ˙ + J ( T + μ 0 H M ) · L 1 θ q R · R θ + θ R · k R = ρ R θ γ 0 .

2.3. Remarks on the Expression of the Stress Power w

Significant differences between the approaches to strain-gradient theories are due mainly to the form of the stress power w. In this paper, T is the Cauchy stress. Consequently, it is T Sym for non-polar bodies and hence
w = T · D or J w = T R R · E ˙
accordingly, as we follow a Eulerian or a Lagrangian description. For polar bodies (e.g., magnetic) T Sym and then
w = T · L .
Instead, as we will see in a while, T is only a part of the stress effect and then the power is taken in various ways. In [11], about second-gradient continua, the power w is expressed via the stress tensor T and the hyperstress tensor G in the form
w = T · L + G · ( v ) ;
the present power w is the internal power expenditure in ref. [11]. Consequently, there is a power per unit volume
( · T ˜ ) · v , T ˜ = T · G ,
and a boundary power density ( G n ) · L .
With some similarities, in ref. [13], w is viewed as the internal mechanical power and assumed to be in the form
w = T · L · N ,
where N is viewed as a interstitial work flux, first introduced in [16]. Next, it is assumed that the stress T Sym consists of two parts:
T = σ + · Σ
and the stress power is
w = σ · L Σ · ( v ) = ( σ + · Σ ) · L · ( Σ L )
so that Equation (15) holds with N = Σ L .
The structure of the elastic stress T in the form T = σ + · Σ is obtained in [17] by starting a CD inequality in the form
T · ε ˙ ψ ˙ + P 0
where P is the energy residual, while ψ = ψ ( ε , ε ) . Let σ = ε ψ , Σ = ε ψ . Then
( T ε ψ ) · ε ˙ ε ψ · ε ˙ = ( T σ + · Σ ) · ε ˙ · ( Σ ε ˙ ) + P 0 .
Hence, it is concluded that, for elastic deformations
T = σ · Σ .
Summarizing, in refs. [13,17], the effective stress tensor is a joint effect of σ and the hyperstress Σ .

3. Strain-Gradient Elasticity

With the purpose of extending the classical theory of elasticity, nonlocal properties are introduced in various ways in the literature. At first, the elasticity theory has been improved by allowing for internal structures. In this sense, deformable directors have been introduced in ref. [18], thus allowing for a structured unit cell and generalizing the model of Cosserat continua. Along this line, it is worth mentioning the works on linear elasticity with couple stresses where the model is improved by allowing for couple stress and body couple vectors [19]. In [20], the theory is free from couple stress and body couple and accounts for the internal structure by letting the relative deformation and the micro-deformation gradient be among the variables in addition to the macro-strain. The corresponding equations of motion are then derived through Hamilton’s principle upon a proper definition of kinetic and potential energies.
Lately, various approaches have modelled the internal structure by letting the stress tensor depend on strain gradients. The non-classical form of the approach is made formal by accounting for a hyperstress, say G , dependent on the strain gradient and assuming the stress power to be in the form (1) (see, e.g., [2,10,11]). The corresponding elasticity-gradient theories are called Laplacian-based (see [9]). Other formulations have been developed in terms of the variable F [11,12] or ε [13,17]. More recently, the internal structure has been framed within a Hamiltonian scheme with a strain energy density as a function of strain and strain gradients (see, e.g., [5,9] for an overview of formulations).
In this section, we develop three thermodynamic schemes for strain-gradient elasticity without introducing any hyperstress tensor. The difference among the schemes is based on the variable representing the strain gradient, namely the Green–Lagrange strain E , the deformation gradient F , and the infinitesimal strain ε = 1 2 ( u + u T ) .

3.1. Models Involving the Green–Lagrange Strain E

Models of nonlocal elastic solids are investigated by letting the stress tensor depend on strain gradients, in addition to temperature gradients. For definiteness, we look for fourth-grade elastic solids in that the dependence is allowed up to fourth-order gradients (sometimes, the grade of the materials is defined to be the order of the highest velocity gradient in the internal power: see, e.g., [2]). Hence, we let
θ , θ ˙ , R θ , R θ ˙ , R R θ , R R R θ , R R R R θ , E , E ˙ , R E , R E ˙ , R R E , R R R E , R R R R E ,
be the variables and
ψ , η , T R R , q R , k R , γ
be the constitutive functions. Though we might proceed with a strict application of the rule of equipresence [21], for formal simplicity, we let the free energy depend on gradients up to the second order, namely
ψ = ψ ( θ , E , R θ , R E , R R θ , R R E ) .
Assume the function ψ is continuously differentiable while η , T R R , q R , k R , γ are continuous.
Using the Coleman–Noll procedure [22], we now establish the thermodynamic requirements for fourth-grade materials with a free energy in the form (16). Upon computation of ψ ˙ and substitution in (9), we have
ρ R ( θ ψ + η ) θ ˙ ρ R R θ ψ · R θ ˙ ρ R R R θ ψ · R R θ ˙ ρ R E ψ · E ˙ ρ R R E ψ · R E ˙ ρ R R R E ψ · R R E ˙ + T R R · E ˙ 1 θ q R · R θ + θ R · k R = ρ R θ γ 0 .
The values of R θ ˙ , R R θ , R E ˙ , R R E ˙ cannot be regarded as (arbitrary and) independent of the other terms in the CD inequality, particularly in the expression of R · k R . Accordingly, we divide Equation (17) by θ to have
ρ R θ ( θ ψ + η ) θ ˙ ρ R θ R θ ψ · R θ ˙ ρ R θ R R θ ψ · R R θ ˙ + 1 θ ( T R R ρ R E ψ ) · E ˙ ρ R θ R E ψ · R E ˙ ρ R θ R R E ψ · R R E ˙ 1 θ 2 q R · R θ + R · k R = ρ R γ 0 .
Next, we consider the identities
ρ R θ R θ ψ · R θ ˙ = R · ( ρ R θ R θ ψ θ ˙ ) + [ R · ( ρ R θ R θ ψ ) ] θ ˙ ,
ρ R θ R R θ ψ R R θ ˙ = R · ( ρ R θ R R θ ψ R θ ˙ ) + [ R · ( ρ R θ R R θ ψ ) ] · R θ ˙ = R · ( ρ R θ R R θ ψ R θ ˙ ) + R · { [ R · ( ρ R θ R R θ ψ ) ] θ ˙ } [ ( R R ) · ( ρ R θ R R θ ψ ) ] θ ˙
and the analogous ones with E . Now, define
δ θ ( 2 ) ψ = θ ψ θ ρ R R · ( ρ R θ R θ ψ ) + θ ρ R ( R R ) · ( ρ R θ R R θ ψ )
δ E ( 2 ) ψ = E ψ θ ρ R R · ( ρ R θ R E ψ ) + θ ρ R ( R R ) · ( ρ R θ R R E ψ ) .
Remark 1.
The functions δ θ ( 2 ) ψ and δ E ( 2 ) ψ can be viewed as the extended versions, via the factor ρ R / θ , of the variational derivatives of ψ, of order 2, with respect to θ and E . If ρ R and θ are constant, then
δ θ ( 2 ) ψ = θ ψ R · ( R θ ψ ) + ( R R ) · ( R R θ ψ )
is the standard variational derivative, of order 2, of mathematical analysis [23].
Upon substitution of these identities in (18), we may write
ρ R θ η ^ θ ˙ + 1 θ T ^ R R · E ˙ 1 θ 2 q R · R θ + R · ( k R k ^ θ k ^ E ) = ρ R γ 0 ,
where
η ^ = η + δ θ ( 2 ) ψ , T ^ R R = T R R ρ R δ E ( 2 ) ψ ,
k ^ θ = ρ R θ R θ ψ R · ( ρ R θ R R θ ψ ) θ ˙ + ρ R θ R R θ ψ R θ ˙ ,
k ^ E = ρ R θ R E ψ [ R · ( ρ R θ R R E ψ ) E ˙ + ρ R θ R R E ψ R E ˙
Sufficient conditions for the validity of (19) with γ 0 determine particular thermodynamically consistent models. In this sense, a simple case arises by letting
k R = k ^ θ + k ^ E ,
η ^ = η 1 θ ˙ , T ^ R R = A E ˙ , q R = K R θ
where η 1 0 and A , K are semi-positive definite tensors of the fourth and second order. Hence, the corresponding expression of the entropy production is
ρ R γ = η 1 ρ R θ | θ ˙ | 2 + 1 θ A E ˙ · E ˙ + 1 θ 2 K R θ · R θ .
The vectors k ^ θ and k ^ E denote entropy fluxes, induced by the time derivatives θ ˙ and E ˙ . Within the first order, the linear dependence of entropy fluxes on the time derivatives θ ˙ or E ˙ is common in the literature (see, e.g., ([14], Section 8.9.1) and [12,24]).
Restrict attention to the non-dissipative part of T R R , say
T R R = ρ R δ E ( 2 ) ψ .
In suffix notation, the constitutive Equation (20) for the Piola stress T R R takes the form
( T R R ) H K = E H K ψ θ ρ R X P ( ρ R θ X P E H K ψ ) + θ ρ R X P X Q ( ρ R θ X P X Q E H K ψ )
By definition, the Cauchy stress T is then found to be
T = J 1 F T R R F T = ρ F δ E ( 2 ) ψ F T ;
in components
T i j = ρ F i H [ E H K ψ θ ρ R X P ( ρ R θ X P E H K ψ ) + θ ρ R X P X Q ( ρ R θ X P X Q E H K ψ ) ] F K j T .
We mention that, within the first order, the occurrence of the variational derivative is common in the Ginzburg–Landau modelling of phase fields [25].
If θ and ρ R are constant, then
T i j = ρ F i H [ E H K ψ X P X P E H K ψ + X P X Q X P X Q E H K ψ ) ] F K j T .
As an example, if
ψ = Ψ ( θ ) + 1 2 a | E | 2 + 1 2 b | R E | 2 + 1 2 c | R R E | 2 ,
then
T i j = ρ F i H ( a E H K b Δ R E H K + c Δ R Δ R E H K ) F K j T .
The symmetry of T R R and T is apparent from the thermodynamic requirement (20) and, necessarily, in the selected examples.
The result (23) for the strain E and the stress T has a simple physical analogue within the one-dimensional model of particles and springs [9]. Denote by x n = n d + u n the position of the n-th particle, with d the particle spacing at equilibrium. Letting K be the spring constant and M the mass of the particles, we can write the force on the n-th particle in the form
F n = K ( u n + 1 2 u n + u n 1 ) .
A formal Taylor’s formula for u n + 1 and u n 1 allows us to write
u n + 1 = u n + d x u + 1 2 d 2 x 2 u + 1 6 d 3 x 3 u + 1 24 d 4 x 4 u +
u n 1 = u n d x u + 1 2 d 2 x 2 u 1 6 d 3 x 3 u + 1 24 d 4 x 4 u +
Hence, it follows that
F = K d 2 ( x 2 u + 1 12 d 2 x 4 u + )
The correspondence F x T and x u E yields the formal correspondence between (24) and (23). The main difference between Equations (24) and (23) concerns the sign of the strain-gradient terms (see [9] for an in-depth discussion).
Though the Lagrangian scheme for the strain-gradient is quite unusual in the literature, by analogy with other schemes, one might say that E ψ represents the (local) stress, while R E ψ and R R E ψ denote hyperstresses (of a different order). Apart from the interpretation of the tensors E ψ , R E ψ , and R R E ψ here, we conclude that the effective stress, entering the equation of motion, involves the strain and even-order derivatives of strain.
It is worth remarking that if the dependence on the strain is through E and its gradients then Equation (21) is the form of thermodynamically admissible stresses where the temperature gradient gives a further contribution.
Among the admissible models, we mention the case where
η ^ = 0 , R θ ψ = 0 , R R θ ψ = 0
and hence
η = θ ψ .
If the free energy has the form (22) where a , b , c are independent of θ and Ψ = Ψ ( θ ) , then
η = Ψ ( θ ) .
Consequently, the internal energy ε = ψ + θ η is given by
ε = Ψ θ Ψ ( θ ) + 1 2 a | E | 2 + 1 2 b | R E | 2 + 1 2 c | R R E | 2 .
Otherwise, a free energy of the form (22) with a independent of temperature but b , c proportional to θ , say b = b 0 θ , c = c 0 θ , gives
η = Ψ ( θ ) + 1 2 b 0 | R E | 2 + 1 2 c 0 | R R E | 2
and then
ε = Ψ θ Ψ ( θ ) + 1 2 a | E | 2
is independent of strain gradients.

3.2. Models Involving the Deformation Gradient F

The description of the material in terms of the deformation gradient F might seem similar to the previous one in terms of E . However, as we can see, things are significantly different. The Cauchy stress T has to be symmetric due to the balance of angular momentum (4). For formal convenience, we write the stress power in terms of F ˙ . Since T Sym , then
T · D = T · L = T · ( F ˙ F 1 ) = ( T F T ) · F ˙ = J 1 T R · F ˙ ,
where T R = J T F T is the first Piola stress. Relative to expected results for T R , the check of the symmetry is through the equality
T R F T = F T R T .
For technical convenience, we follow the Lagrangian description. Hence, we multiply the CD inequality (7) by J to obtain
ρ R ( ψ ˙ + η θ ˙ ) + T R · F ˙ 1 θ q R · R θ + θ R · k R = ρ R θ γ 0 .
Possible models of strain-gradient elastic solids are now investigated. Here, too, we look for fourth-grade models. By analogy with the dependence on E , we let
θ , θ ˙ , R θ , R θ ˙ , R R θ , R R R θ , R R R R θ , F , F ˙ , R F , R F ˙ , R R F , R R R F , R R R R F
be the variables and
ψ , η , T R , q R , k R , γ
the constitutive functions. For formal simplicity, we consider the free energy in the form
ψ = ψ ( θ , F , R θ , R F , R R θ , R R F ) ;
the dependence on the gradients of F is considered, in a different way, in ref. [26]. The function (27) is continuously differentiable while η , T R , q R , k R , γ are continuous. Compute ψ ˙ and substitute in (26) to obtain
ρ R R θ ψ · R θ ˙ ρ R R R θ ψ · R R θ ˙ ρ R R F ψ · R F ˙ ρ R R R F ψ · R R F ˙ ρ R ( θ ψ + η ) θ ˙ + ( T R ρ R F ψ ) · F ˙ 1 θ q R · R θ + θ R · k R = ρ R θ γ 0 .
Since R · k R comprises linear terms in R R θ ˙ , R R F ˙ , we need some rearrangements of (28). Divide by θ the remaining form of the CD inequality (28) to have
ρ R θ ( R θ ψ · R θ ˙ + R R θ ψ · R R θ ˙ ) ρ R θ ( R F ψ · R F ˙ + R R F ψ · R R F ˙ ) ρ R θ ( θ ψ + η ) θ ˙ + 1 θ ( T R ρ R F ψ ) · F ˙ 1 θ 2 q R · R θ + R · k R = ρ R γ 0 .
Using the identities
ρ R θ R θ ψ · R θ ˙ = R · ( ρ R θ R θ ψ θ ˙ ) + [ R · ( ρ R θ R θ ψ ) ] θ ˙ ,
ρ R θ R R θ ψ · R R θ ˙ = R · ( ρ R θ R R θ ψ R θ ˙ ) + [ R · ( ρ R θ R R θ ψ ) ] · R θ ˙ = R · ( ρ R θ R R θ ψ R θ ˙ ) + R · { [ R · ( ρ R θ R R θ ψ ) ] θ ˙ } [ ( R R ) · ( ρ R θ R R θ ψ ) ] θ ˙
and
ρ R θ R F ψ · R F ˙ = R · ( ρ R θ R F ψ F ˙ ) + [ R · ( ρ R θ R F ψ ) ] F ˙ ,
ρ R θ R R F ψ · R R F ˙ = R · ( ρ R θ R R F ψ R F ˙ ) + R · { [ R · ( ρ R θ R R F ψ ) ] F ˙ } [ ( R R ) · ( ρ R θ R R F ψ ) ] F ˙ .
we can write Equation (29) in the form
ρ R θ ( η + δ θ ( 2 ) ψ ) θ ˙ + 1 θ ( T R ρ R δ F ( 2 ) ψ ) · F ˙ 1 θ 2 q R · R θ + R · ( k R k ^ θ k ^ F ) = ρ R γ 0 .
where
δ θ ( 2 ) ψ = θ ψ θ ρ R R · ( ρ R θ R θ ψ ) + θ ρ R ( R R ) · ( ρ R θ R R θ ψ ) ,
δ F ( 2 ) ψ = F ψ θ ρ R R · ( ρ R θ R F ψ ) + θ ρ R ( R R ) · ( ρ R θ R R F ψ ) ,
and
k ^ θ = ρ R θ R θ ψ R · ( ρ R θ R R θ ψ ) θ ˙ + ρ R θ R R θ ψ R θ ˙ ,
k ^ F = ρ R θ R F ψ R · ( ρ R θ R R F ψ ) F ˙ + ρ R θ R R F ψ R F ˙ .
The CD inequality (30) allows various models of strain-gradient elasticity. The simplest one restricts the dissipative effects to heat conduction and is expressed by the constitutive functions
η = δ θ ( 2 ) ψ , T R = ρ R δ F ( 2 ) ψ ,
k R = k ^ θ + k ^ F , q R · R θ = ρ R θ 2 γ .
The Piola stress T R need not be symmetric but T and T R R are required to be so. Hence, we have to check the symmetry condition (25) whence
( δ F ( 2 ) ψ ) F T Sym .
The dependence of ψ on F might be through the invariant quantities J = det F and ξ = 1 2 | F | 2 . To begin with, we check whether ( F ψ ) F T Sym . In suffix notation, since
F i K ψ = J ψ J F K i 1 + ξ ψ F i K
then
[ ( F ψ ) F T ] i j = F i K ψ F K j T = J ψ J F K i 1 F j K + ξ ψ F i K F j K = J ψ J δ i j + ξ ψ F i K F j K Sym .
This positive check is not surprising because
J = det F = [ det ( F T F ) ] 1 / 2 = [ det ( 2 E + 1 ) ] 1 / 2 ,
| F | 2 = F i K F i K = tr ( F T F ) = tr ( 2 E + 1 ) ,
and the dependence on E provides admissible strains.
As to the dependence on R F assume, for simplicity,
ψ = Ψ ( θ , F ) + 1 2 c | R F | 2 .
Hence
( R F ψ ) i K Q = c X Q F i P , θ ρ R R · ( ρ R θ R F ψ ) i K = Δ R F i K + θ ρ R X Q ( ρ R θ ) ( X Q F i K ) .
Consequently,
θ ρ R R · ( ρ R θ R F ψ ) i K F j K = ( Δ R F i K ) F j K + θ ρ R X Q ( ρ R θ ) ( X Q F i K ) F j K ,
is apparently non-symmetric. Likewise, the dependence on the second-order derivatives lead to non-symmetric terms. As a consequence, the symmetry condition (31) is not fulfilled.

3.3. Models Involving Eulerian Variables

As with other models in continuum mechanics, a simpler and more direct description of the elastic properties of a body is thought of as being given in the Eulerian description. As a first attempt, we might consider the scheme arising from the choice of the displacement u , the gradient u , and the second gradient u as the variables along with the thermal variables [27].
The mathematical form of the total time derivative ( u ) ˙ much influences the thermodynamic consequences on the constitutive properties. For any continuously differentiable function, g ( x , t ) we have
( x i g ) ˙ = t x i g + v k x k x i g = x i g ˙ ( L T ) i g .
If g is replaced with the displacement vector u , we have
( x i u j ) ˙ = x i u ˙ j ( L T ) i u j = L j i ( L T ) i u j .
Hence, we compute
u ψ · ( u ) ˙ = x q u p ψ [ x q u ˙ p L q r T x r u p ] = x q u p ψ [ δ r p L r q L r q x r u p ] = [ ( δ r p x r u p ) x q u p ψ ] L r q = [ ( 1 u ) u ψ ] · L
where δ r p denotes the Kronecker delta.
Then, a repeated use of (32) and some rearrangements lead to
( x i x j u p ) ˙ = x i ( x j u p ) ˙ ( L T ) i ( x j u p ) = x i [ x j u ˙ p ( L T ) j u p ] ( L T ) i ( x j u p ) ] = ( δ r p x r u p ) x i L r j ( L r j x j + L r i x j ) x r u p .
With these relations, we might proceed with a model where elastic nonlocality is described by u and u . However, this would prevent the symmetry of the stress tensor.
An Eulerian description of the strain-gradient model, along with the need of a symmetric Cauchy stress, might suggest that we look for the infinitesimal strain tensor ε as the mechanical deformation variable. Here, we ascertain whether this dependence satisfies the requirements of thermodynamics and the symmetry of the Cauchy stress tensor.
Observe that, in suffix notation:
ε ˙ i j = 1 2 ( x j u i + x i u j ) ˙ = 1 2 { x j u ˙ i ( L T ) j u i + x i u ˙ j ( L T ) i u j } = D i j 1 2 ( L r j x r u i + L r i x r u j )
As it must be, the expression of ε ˙ i j is symmetric with respect to the indices i , j . For formal convenience, define the spatial deformation gradient ξ :
ξ = u , ξ i j : = x j u i .
Hence, we can write ε ˙ in the form
ε ˙ i j = D i j 1 2 ( ξ i r L r j + ξ j r L r i ) , ε ˙ = D sym ( ξ L ) .
Furthermore, for later purposes, we consider some identities. First, we notice that
ε ψ · ε ˙ = ε i j ψ D i j ( x r u i ϵ i j ψ ) L r j = ε ψ · D ( ξ T ε ψ ) · L .
Next, by
( ε ) ˙ = ε ˙ ( L T ) ε
we have
x k ε i j ψ ( x k ε i j ) ˙ = x k ε i j ψ ( x k ε ˙ i j ) ( x q ε i j x p ε i j ψ ) L q p
or
ε ψ · ( ε ) ˙ = ε ψ · ( ε ˙ ) ( ε i j ε i j ψ ) · L .
Let
θ , θ , ε , ε , ε , ξ , L
be the variables and
ψ , η , T , q , k , γ
the constitutive functions. To save writing, we let the free energy ψ take the form
ψ = ψ ( θ , ε , ε ) ;
the independence of ψ of θ , ε , ξ , and L , when the set of variables is (35), can be proved using the Coleman–Noll procedure. For the moment, we ignore the requirement T = T T and then establish whether this follows from thermodynamics; accordingly, we let T · L , instead of T · D , be the stress power. Consequently, the CD inequality (7) results in
ρ ( θ ψ + η ) θ ˙ ρ ε ψ · ε ˙ ρ ε ψ · ( ε ) ˙ + T · L 1 θ q · θ + θ · k = ρ θ γ 0 .
Using the identities (33) and (34) we have
T · L ρ ε ψ · ε ˙ ρ ε ψ · ( ε ) ˙ = [ T ρ ε ψ ρ ξ T ε ψ + ρ ( ε ε ψ ) ] · L ρ ε ψ · ( ε ˙ )
and then the CD inequality can be written in the form
ρ ( θ ψ + η ) θ ˙ + [ T ρ ε ψ ρ ξ T ε ψ + ρ ( ε ε ψ ) ] · L ρ ε ψ · ( ε ˙ ) 1 θ q · θ + θ · k = ρ θ γ 0 .
The linearity and arbitrariness of θ ˙ implies that θ ψ + η = 0 . Divide by θ the remaining relation to have
1 θ [ T ρ ε ψ ρ ξ T ε ψ + ρ ( ε ε ψ ) ] · L 1 θ ρ ε ψ · ( ε ˙ ) 1 θ 2 q · θ + · k = ρ γ 0 .
Notice that
1 θ ρ ε ψ · ( ε ˙ ) = · [ ρ θ ε ψ ε ˙ ] + · [ ρ θ ε ψ ] · ε ˙ = · [ ρ θ ε ψ ( D sym ( ξ L ) ) ] + [ · ( ρ θ ε ψ ) ] · [ D sym ( ξ L ) ] .
We might take k in the form
k = ρ θ ε ψ ( D sym ( ξ L ) ) .
Yet, since ξ L = ξ ( D + W ) , the condition (36) on k is allowed provided we let k be a non-objective quantity. Based on the assumed non-objectivity of k , we can write the remaining CD inequality in the form
T · ( D + W ) 1 θ q · θ = ρ θ γ 0 ,
where
T : = T ρ δ ε ψ ρ ξ T δ ε ψ + ρ ε ε ψ , δ ε ψ = ε ψ θ ρ · ( ρ θ ε ψ )
The linearity and arbitrariness of W implies that
skw T = 0 ,
and then (37) reduces to
T · D 1 θ q · θ = ρ θ γ 0 .
While the reduced CD inequality (39) allows for non-dissipative properties modelled by the stress and the heat flux, the condition (38) yields
skw T = ρ skw { ξ T δ ε ψ ρ ε ε ψ } .
The tensor ε ε ψ is symmetric whenever ε ψ is a scalar times ε . While this is true for a number of models, the requirement skw { ξ T δ ε ψ } = 0 looks very restrictive. Accordingly, strain-gradient elastic solids are not consistent, in general, with the joint validity of the second law of thermodynamics, expressed by the CD inequality, and the symmetry of the Cauchy stress tensor arising from the balance of angular momentum.
If, however, strain-gradient models are considered in the Eulerian description in terms of the infinitesimal strain ε , then a justification might be the observation that for small strains ( | ε | 1 and then | ξ | 1 ) in linear models, where
δ ε ψ = α 1 ε α 2 Δ ε , ε ψ = α 3 ε ,
the constitutive function
T ˜ = ρ δ ε ψ ρ ε ε ψ + T ,
where T is symmetric and subject to (39), can be used as a symmetric approximation. With the same condition | ξ | 1 , the approximate extra-entropy flux
k ˜ = ρ θ ε ψ D
is objective.
We now examine why some approaches in the literature lead directly to results analogous to
T = ρ δ ε ψ ,
possibly to within a dissipative stress T .

3.4. Relation to Other Approaches

Other approaches in the literature involve modified general principles as the framework of the strain-gradient models. Here, we sketch the main distinctions among some approaches.
  • Balance equations through the hyperstress
The starting point is the generalization of the stress power. A possibly non-symmetric Cauchy stress T is considered and, in addition to the classical stress power T · L , an analogous power G · L is considered, G being a third-order tensor (hyperstress). Hence, the internal stress-power, say w, is assumed in the form [2]:
w = T · L + G · L .
Using the principle of virtual power, whereby the external and internal powers are equal, upon a proper definition of both powers, the balance of linear momentum is found to involve an effective stress tensor
T ^ = T · G , T ^ i j = T i j x k G i j k ,
with T Sym .
  • Use of the infinitesimal strain ε or the displacement gradient u as a variable
The approach in ref. [27] follows the main ideas in ref. [2] though it addresses the attention to the Eulerian variable u . The power w is taken in the form
T · u ˙ + G · u ˙ .
Furthermore, with ψ ( u , u ) , the derivative ψ ˙ is taken in the form
ψ ˙ = u ψ · u ˙ + u ψ · u ˙
thus following the approximation ( u ) ˙ = u ˙ , ( u ) ˙ = u ˙ . Hence, the terms ξ T u and ξ T u are ignored. Anyway, the stresses T or T ^ need not be symmetric.
In [17], different representations of the stress are considered as defined by
σ ( 0 ) = ε ψ , σ ( 1 ) = ε ψ ,
and letting the stress power have the form
( σ σ ( 0 ) ) · ε ˙ σ ( 1 ) · ( ε ˙ ) ,
with σ the stress tensor. Again, by the definitions of σ ( 0 ) and σ ( 1 ) , the procedure amounts to the approximation ( ε ) ˙ ε ˙ .
  • Modelling based on the action principle
There are approaches where the constitutive equations are defined through a strain energy while the evolution (or balance) equations are established through the Euler–Lagrange equations of an appropriate action integral [5,6]. The Cauchy stress tensor σ and the hyperstress (or double stress tensor) τ are defined through a strain energy density W ( ε , ε ) in the form
σ = ε W , τ = ε W .
The evolution equation is the EL (Euler–Lagrange) equation associated with the Lagrangian density L = W V where V = u · f is the potential of the body force f . The EL equation reads
u i L x j x j u i L + x k x j x k x j u i L = 0
and results in the equilibrium condition
x j ( σ i j x m τ i j m ) + f i = 0 ,
which indicates σ ^ = σ · τ as the effective stress. The choice of W specifies the equilibrium condition.
It is of interest that, in general, a variational approach leads to an EL equation that looks similar to what happens in thermodynamics thanks to the extra-entropy flux. Yet, in thermodynamics, the variational derivative involves the temperature while the EL equations are not affected by the temperature.

4. Nonlocality in Heat Conduction

Heat conduction in solids may exhibit nonlocal effects in that the conduction is affected by higher-order gradients of the temperature. However, nonlocality may occur and be suitably described by involving higher-order derivatives of the heat flux vector. Differently from the strain-gradient elasticity, we show that the nonlocal properties are induced directly by the entropy flux and the heat production rather than by the free energy. For simplicity, we let the body be rigid and then the reference configuration is identified with the current configuration. The CD inequality simplifies to
ρ ( ψ ˙ + η θ ˙ ) 1 θ q · θ + θ · k = ρ θ γ 0 .

4.1. Nonlocality Through Temperature Gradients

Consider a heat conductor described by the variables
θ , θ ˙ , θ , θ , θ .
Let ψ , η , k , and γ 0 be the constitutive functions. Upon computation of ψ ˙ and substitution into (40), we have
ρ ( θ ψ + η ) θ ˙ ρ θ ˙ ψ θ ¨ ρ θ ψ · θ ˙ ρ θ ψ · θ ˙ ρ θ ψ · θ ˙ 1 θ q · θ + θ · k = ρ θ γ 0 .
The linearity and arbitrariness of θ ¨ , θ ˙ and θ ˙ imply that
θ ˙ ψ = 0 , θ ψ = 0 , θ ψ = 0 ,
so that the free energy is allowed to depend on θ and θ . Hence, we divide the remaining equation by θ and use the identity
ρ θ θ ψ · θ ˙ = ( ρ θ θ ψ θ ˙ ) + [ · ( ρ θ θ ψ ) ] θ ˙
to obtain
ρ θ ( η + δ θ ψ ) θ ˙ 1 θ 2 q · θ + · ( k ρ θ θ ψ θ ˙ ) = ρ γ 0 ,
where
δ θ ψ = θ ψ θ ρ · ( ρ θ θ ψ ) .
Assume k , q , and γ are independent of θ ˙ . Hence, the linearity and arbitrariness of θ ˙ imply that
η = δ θ ψ .
Otherwise, we might assume the constitutive Equation (42) and examine the possible thermodynamic restrictions on the other constitutive functions.
Likewise, we might take k = ( ρ / θ ) θ ψ θ ˙ . This is a possible selection but, as we will see in a moment, it would result quite restrictively.
Now, we are left with the CD inequality in the form
1 θ 2 q · θ + · ( k ρ θ θ ψ θ ˙ ) = ρ γ 0 .
Also, on the basis of the Guyer–Krumhansl model [28], we check the thermodynamic admissibility of the constitutive equation
q = κ ( θ ) θ + h 0 θ 2 · [ θ + 2 Δ θ 1 ] ,
where κ ( θ ) > 0 , h 0 > 0 . Notice that
1 θ 2 q · θ = κ ( θ ) θ 2 | θ | 2 + h 0 · [ ( θ · ) θ + 2 ( Δ θ ) θ ] | θ | 2 2 | Δ θ | 2 .
Substitution in (43) yields
· k ρ θ θ ψ θ ˙ h 0 ( θ · ) θ + 2 ( Δ θ ) θ + κ ( θ ) θ 2 | θ | 2 + h 0 | θ | 2 + 2 h 0 | Δ θ | 2 = ρ γ 0 .
Consistent with the requirement γ 0 , we conclude that (44) satisfies the CD inequality with entropy production
γ = κ ( θ ) ρ θ 2 | θ | 2 + h 0 ρ | θ | 2 + 2 h 0 ρ | Δ θ | 2 0
and extra-entropy flux
k = ρ θ θ ψ θ ˙ + h 0 [ ( θ · ) θ + 2 ( Δ θ ) θ ] .
In words, the function (44) is thermodynamically consistent in that the quantity q · θ / θ 2 is split in two parts, one providing an entropy flux, the other determining the entropy production.
We remark that, here and in the following, the free energy ψ is allowed to depend on the temperature gradient. Apparently, this dependence contrasts with some classical results by Coleman et al. [21,29] where the CD inequality is used to show that the free energy and the entropy are independent of the temperature gradients. However, as devised by Müller in [30], we account for the dependence of the free energy on the temperature gradient by adding an extra term of entropy flux as constitutive quantity.

4.2. Nonlocality Through Gradients of the Heat Flux

To emphasize how the availability of k and γ as constitutive functions makes the thermodynamic analysis extremely flexible, we now investigate a model of heat conduction where the nonlocality is modelled through gradients of the heat flux [28,31].
Let
θ , θ ˙ , θ , θ , q , q , q
be the set of variables and ψ , η , q ˙ , k , and γ the constitutive functions. Compute ψ ˙ and substitute in (40) to obtain
ρ ( θ ψ + η ) θ ˙ ρ θ ˙ ψ θ ¨ ρ θ ψ · θ ˙ ρ θ ψ · θ ˙ ρ q ψ · q ˙ ρ q ψ · q ˙ ρ q ψ · q ˙ 1 θ q · θ + θ · k = ρ θ γ 0 .
First, we observe that θ ¨ , θ ˙ , and q ˙ occur linearly. Their arbitrariness implies that
θ ˙ ψ = 0 , θ ψ = 0 , q ψ = 0 .
Again, divide by θ the remaining equation and notice that
ρ θ θ ψ · θ ˙ = · ( ρ θ θ ψ θ ˙ ) + [ · ( ρ θ θ ψ ) ] θ ˙ ,
ρ θ q ψ · q ˙ = · ( ρ θ q ψ q ˙ ) + [ · ( ρ θ q ψ ) ] · q ˙ ,
Consequently, we can write the CD inequality in the form
ρ θ ( η + δ θ ψ ) θ ˙ ρ θ δ q ψ · q ˙ 1 θ 2 q · θ + · ( k ρ θ θ ψ θ ˙ ρ θ q ψ q ˙ ) = ρ γ 0 .
For definiteness and based on the Guyer–Krumhansl model, we consider the evolution equation
q ˙ = 1 τ ( θ ) q k ( θ ) τ ( θ ) θ + h ( θ ) τ ( θ ) [ Δ q + 2 ( · q ) ] , τ > 0 ,
and wonder whether and how Equation (47) is consistent with (46). Upon substitution of q ˙ in (46), we have
ρ θ τ δ q ψ · q + ( 1 θ 2 q + k ρ τ θ δ q ψ ) · θ h ρ τ θ δ q ψ · [ Δ q + 2 ( · q ) ] ρ θ ( η + δ θ ψ ) θ ˙ + · ( k ρ θ θ ψ θ ˙ ρ θ q ψ q ˙ ) = ρ γ 0 .
Equation (48) is satisfied by requiring that the left-hand side be non-negative. Furthermore, we follow some assumptions that make the results sufficient conditions for the validity of (48).
First, we let
η = δ θ ψ ;
as is common, we neglect a possible dissipative term ϰ ( θ ) θ ˙ , ϰ > 0 , which would be thermodynamically admissible. Next, we assume
q ψ = 0 ,
and hence, δ q ψ = q ψ . Furthermore, we assume
k ρ τ θ q ψ 1 θ 2 q = 0 ,
whence
ρ θ τ q ψ · q = 1 k θ 2 | q | 2 .
Thus, the remaining part of the CD inequality is
1 k θ 2 q 2 h k θ 2 q · [ Δ q + 2 ( · q ) ] + · ( k ρ θ θ θ ˙ ) = ρ γ 0 .
The further assumption that
α : = h k θ 2
be constant and the identity
q [ Δ q + 2 ( · q ) ] = · [ ( q 2 / 2 ) + 2 ( · q ) q ] | q | 2 2 | · q | 2
allow us to write the CD inequality (49) in the form
1 k θ 2 q 2 + α | q | 2 + 2 α | · q | 2 + · [ k ρ θ θ ψ θ ˙ α q 2 / 2 2 α ( · q ) q ] = ρ γ 0 .
Consequently, it follows that γ 0 is satisfied by letting
k > 0 , α 0 , k = ρ θ θ ψ θ ˙ + α q 2 / 2 + 2 α ( · q ) q .
To sum up, the constitutive Equation (47) is thermodynamically consistent if
ψ = τ 2 k ρ θ q 2 + f ( θ , θ ) , k ( θ ) > 0 , h k θ 2 > 0 is constant .
Remark 2.
Since Δ q + 2 ( · q ) = · [ q + 2 ( · q ) 1 ] , if β : = h ( θ ) / τ ( θ ) is constant, then the evolution Equation (47) may be written in the form
q ˙ + 1 τ q + k τ θ = · Q , Q i j : = β x j q i + 2 β ( · q ) δ i j .
This divergence form of the evolution equation is analogous to the structure of the balance equations in ref. [32].

4.3. Nonlinear Models of Nonlocal Heat Conduction

Based on nonlocal models of heat conduction in nanosystems [33,34] we generalize the nonlocality of the Guyer–Krumhansl model by allowing for nonlinear effects. For definiteness, we look for the thermodynamic consistency of the constitutive equation
q ˙ = 1 τ q k θ + λ [ Δ q + 2 ( · q ) ] + μ [ 2 ( q · ) q + ( · q ) q ] .
By analogy with with the previous procedure, we let
θ , θ ˙ , θ , θ , q , q , q
be the variables and ψ , η , q ˙ , k , and γ the constitutive functions. Upon substitution of ψ ˙ in the CD inequality, (45) we find that
θ ˙ ψ = 0 , θ ψ = 0 , q ψ = 0 ,
and assume that q ψ = 0 . Hence, the CD inequality simplifies to
ρ θ ( η + δ θ ψ ) θ ˙ ρ θ q ψ · q ˙ 1 θ 2 q · θ + · ( k ρ θ θ θ ˙ ) = ρ γ 0 .
Substitution of q ˙ from (50) results in
ρ θ ( η + δ θ ψ ) θ ˙ + ρ θ τ q ψ · q + ( k ρ θ q ψ 1 θ 2 q ) · θ λ ρ θ q ψ · [ Δ q + 2 ( · q ) ] μ ρ θ q ψ · [ 2 ( q · ) q + ( · q ) q ] + · ( k ρ θ θ θ ˙ ) = ρ γ .
Again, we let
η + δ θ ψ = 0 , k ρ θ q ψ 1 θ 2 q = 0 ,
whence
1 k τ θ 2 q 2 λ k θ 2 q · [ Δ q + 2 ( · q ) ] μ k θ 2 q · [ 2 ( q · ) q + ( · q ) q ] + · ( k ρ θ θ θ ˙ ) = ρ γ .
We determine sufficient conditions on k and γ 0 for the validity of (52) by assuming that
c 1 = λ k θ 2 , c 2 = μ k θ 2
are constant. Hence, we observe that
q · Δ q = · ( q 2 / 2 ) | q | 2 , 2 q · ( · q ) = 2 · ( q · q ) 2 | · q | 2 ,
2 q · ( q · ) q + q 2 · q = · ( q 2 q ) .
Equation (52) can then be given the form
1 k τ θ 2 q 2 + c 1 | q | 2 + 2 | · q | 2 + · k ρ θ θ ψ θ ˙ 1 2 c 1 q 2 2 c 1 q · q c 2 q 2 q = ρ γ .
Hence, it follows that γ 0 is satisfied by letting
k , τ > 0 , c 1 0 ,
k = ρ θ θ ψ θ ˙ + 1 2 c 1 q 2 + 2 c 1 q · q + c 2 q 2 q ) .
The second requirement in (51) is a relation between the conductivity k and the free energy ψ . For definiteness, select ψ in the form
ψ = ψ 0 ( θ , θ ) + Ψ ( θ , ξ n ) , ξ n = | q | n , n 2 .
Hence, (51) gives
1 k = ρ θ ξ n Ψ n | q | n 2 .
When n = 2 , the simple case
ρ Ψ ( θ , ξ ) = β ( θ ) ξ 2
results in
1 k = 2 θ β ( θ )
and establishes a relation in a finite form between k and β .
In an evolution problem, we have to fix the fluxes at the boundary, namely q · n and k · n . Letting θ ψ = ν θ , we might have
q · n = q n , ν ρ θ θ ˙ n θ + 1 2 c 1 n q 2 + [ 2 c 1 · q + c 2 q 2 ] q · n = ϰ n ,
at Ω , with n = n · , while the fluxes q n and ϰ n are assigned on the boundary.

5. Nonlocality in Magnetization

We examine thermodynamic restrictions on the dependence of constitutive functions on gradient fields in polar media. For definiteness, we consider effects of temperature and magnetization gradients in polar magnetic solids. In addition to being of interest on their own, these dependencies look of basic importance in detailed models of dynamics of magnetic domains.
We describe the continuum through the variables
θ , F , M , θ ˙ , R θ , F ˙ , R F , R M , R R θ , R R M
and let ψ , η , T , q R , H , M ˙ , k R , and γ be given by constitutive functions. The free energy, as well as η and γ , has to be Euclidean invariant and then so has to be the dependence on F , F .
Upon computation and substitution of ψ ˙ in (14), we find
ρ R ( θ ψ + η ) θ ˙ + ( μ 0 H ρ R M ψ ) · M ˙ ρ R F ˙ ψ · F ¨ ρ R θ ˙ ψ θ ¨ + J ( T + μ 0 H · M ) · W ρ R F ψ · F ˙ + J ( T + μ 0 H M ) · D ρ R M ˙ ψ · M ¨ ρ R R M ψ · R M ˙ ρ R R R θ ψ · R R θ ˙ ρ R R R M ψ · R R M ˙ ρ R R θ ψ · R θ ˙ ρ R R F ψ · R F ˙ 1 θ q R · R θ + θ R · k R = ρ R θ γ 0
First, we observe that θ ¨ , F ¨ , M ¨ , R R θ ˙ , R R M ˙ occur linearly and can take arbitrary values. Hence, it follows
θ ˙ ψ = 0 , F ˙ ψ = 0 , M ˙ ψ = 0 , R R θ ψ = 0 , R R M ψ = 0 .
The remaining equation has the form
ρ R ( θ ψ + η ) θ ˙ + ( μ 0 H ρ R M ψ ) · M ˙ + J ( T + μ 0 H M ) · W ρ R F ψ · F ˙ + J ( T + μ 0 H M ) · D ρ R R M ψ · R M ˙ ρ R R θ ψ · R θ ˙ ρ R R F ψ · R F ˙ 1 θ q R · R θ + θ R · k R = ρ R θ γ 0 .
We now consider the three analogous terms in R M ˙ , R θ ˙ , R F ˙ . In this regard, divide (54) by θ and observe that
ρ R θ R F ψ · R F ˙ = R · ( ρ R θ R F ψ F ˙ ) + [ R · ( ρ R θ R F ψ ) ] · F ˙ .
Analogous identities hold for the terms with R θ and R M ˙ . Furthermore,
[ R · ( ρ R θ R F ψ ) ] · F ˙ = [ R · ( ρ R θ R F ψ ) ] · ( L F ) = { [ R · ( ρ R θ R F ψ ) ] F T } · ( D + W ) .
Hence, we can write (54), upon division by θ , in the form
ρ R θ ( η + δ θ ψ ) θ ˙ + 1 θ ( μ 0 H ρ R δ M ψ ) · M ˙ + J θ ( T + μ 0 H M ρ δ F ψ F T ) · W + J θ ( T + μ 0 H M ρ δ F ψ F T ) · D 1 θ 2 q R · R θ + R · ( k R ρ R θ R θ ψ θ ˙ ρ R θ R F ψ F ˙ ρ R θ R M ψ M ˙ ) = ρ R γ 0 ,
where
δ M ψ = M ψ θ ρ R R · ( ρ R θ R M ψ ) ,
and the like for δ θ and δ F . The linearity and arbitrariness of W implies that
T + μ 0 H M ρ δ F ψ F T Sym .
Furthermore, we let
η = δ θ ψ , μ 0 H = ρ R δ M ψ
and
k R = ρ R θ R θ ψ θ ˙ + ρ R θ R F ψ F ˙ + ρ R θ R M ψ M ˙ .
Dissipative effects are described in terms of D and R θ . Viscous effects are represented by letting
T + μ 0 H M ρ δ F ψ F T = Λ D ,
where Λ is a positive definite tensor function. The heat flux q R is then subject to
q R · R θ = ρ R θ 2 γ q , γ q = γ D · Λ D .
We assume γ q 0 and express the function q R through the representation formula:
q R = ρ R θ 2 γ | R θ | 2 R θ + ( 1 R θ R θ | R θ | 2 ) g ,
where g is a generic vector function of the variables under consideration.
The thermodynamic result (56) differs from (10) by the term skw ( ρ δ F ψ F T ) . In order to analyze this contribution, for definiteness, we let ψ depend on F and R F through
J = det F , ξ = 1 2 | F | 2 , ζ = 1 2 | R F | 2 .
The dependence on F through the Green–Lagrange tensor E = 1 2 ( F T F 1 ) will be commented upon later on.
Now, if ψ depends on F and R F through J , ξ , and ζ then
δ F ψ = J ψ J F T + ξ ψ F θ ρ R [ R · ( ρ R θ ζ ψ R F ) ]
whence
δ F ψ F T = J ψ J 1 + ξ ψ F F T θ ρ R [ R · ( ρ R θ ζ ψ R F ) ] F T .
Consequently
skw ( δ F ψ F T ) = θ ρ R skw { [ R · ( ρ R θ ζ ψ R F ) ] F T } 0 .
We now show that the contrast with the condition (10) is removed if the free energy depends on F and R F through E and R E so that ψ depends on
θ , E , M , θ ˙ , R θ , E ˙ , R E , R M , R R θ , R R M .
We compute ψ ˙ and substitute in the CD inequality (14). The linearity and arbitrariness of θ ¨ , E ¨ , R R θ ˙ , R R M ˙ imply that
θ ˙ ψ = 0 , E ˙ ψ = 0 , R R θ ψ = 0 , R R M ψ = 0 .
Divide by θ the remaining expression of the CD inequality to have
ρ R θ ( θ ψ + η ) θ ˙ ρ R θ R θ ψ · R θ ˙ ρ R θ E ψ · E ˙ ρ R θ R E ψ · R E ˙ + ρ R θ ( μ 0 H M ψ ) · M ˙ ρ R θ R M ψ · R M ˙ + J θ ( T + μ 0 H M ) · L 1 θ 2 q R · R θ + R · k R = ρ R γ 0 .
Using the standard identities for the terms with R θ ˙ , R E ˙ , and R M ˙ , we may write
ρ R θ ( η + δ θ ψ ) θ ˙ ρ R θ δ E ψ · E ˙ + ρ R θ ( μ 0 H δ M ψ ) · M ˙ + J θ ( T + μ 0 H M ) · L 1 θ 2 q R · R θ + R · k ˜ R = ρ R γ ,
where
k ˜ R = k R ρ R θ R θ ψ θ ˙ ρ R θ R E ψ E ˙ ρ R θ R M ψ M ˙ ,
and, e.g.,
δ E ψ = E ψ θ ρ R R · ( ρ R θ R E ψ ) .
We then let
k ˜ R = 0 .
Assuming η is independent of θ ˙ , by the linearity and arbitrariness of θ ˙ , we conclude that
η = δ θ ψ .
Furthermore, we restrict attention to stationary conditions and then assume
μ 0 H δ M ψ = 0 .
Since E ˙ = F T D F and
F T δ E ψ F Sym
then the CD inequality (57) simplifies to
J θ ( T + μ 0 H M ) · W + J θ ( T + μ 0 H M ρ F T δ E ψ F ) · D 1 θ 2 q R · R θ = ρ R γ 0 .
The arbitrariness of W implies the validity of the condition (10):
T + μ 0 H M Sym .
Furthermore,
T = μ 0 H M + ρ F T δ E ψ F + T
where T is the possible dissipative stress subject to the reduced inequality
J T · D 1 θ q R · R θ = ρ R θ γ 0 .
Notice that R θ ˙ and R M ˙ can occur also in R · k R , in that
R · k R = θ ˙ k R · R θ ˙ + M ˙ k R · R M ˙ +
the dots denoting terms originated by the other dependencies. To determine k R , it is convenient to divide the remaining equation by θ to have
1 θ { ρ R ( θ ψ + η ) θ ˙ + ( μ 0 H ρ R M ψ ) · M ˙ ρ R R θ ψ · R θ ˙ ρ R R M ψ · R M ˙ } + J θ ( T + μ 0 H M ρ F T E ψ F ) · D 1 θ 2 q R · R θ + R · k R = ρ R γ 0
We now use the identities
ρ R θ R θ ψ · R θ ˙ = R · ( ρ R θ R θ ψ θ ˙ ) + [ R · ( ρ R θ R θ ψ ) ] θ ˙ ,
ρ R θ R M ψ · R M ˙ = R · ( ρ R θ R M ψ M ˙ ) + [ R · ( ρ R θ R M ψ ) ] · M ˙ ,
and define
δ θ ψ = θ ψ θ ρ R R · ρ R θ R θ ψ , δ M ψ = M ψ θ ρ R R · ρ R θ R M ψ .
Hence, Equation (58) may be given the form
ρ R θ ( δ θ ψ + η ) θ ˙ + 1 θ ( μ 0 H ρ R δ M ψ ) · M ˙ + J θ ( T + μ 0 H M ρ F T E ψ F ) · D 1 θ 2 q · R θ + R · ( k R ρ R θ R θ ψ θ ˙ ρ R θ R M ψ M ˙ ) = ρ R γ 0 .
Consequently, we let
k R = ρ R θ R θ ψ θ ˙ + ρ R θ R M ψ M ˙ .
The entropy η and the magnetic field H might depend on θ ˙ and M ˙ , thus providing non-zero entropy production terms. Since we are eventually interested in stationary solutions it is appropriate to assume
θ ˙ η = 0 , M ˙ η = 0 , θ ˙ H = 0 , M ˙ H = 0 .
Hence, the linearity and arbitrariness of θ ˙ , M ˙ imply that
η = δ θ ψ , μ 0 H = ρ R δ M ψ .
Define
T : = T + μ 0 H M ρ F T E ψ F .
Equation (59) then reduces to
J T · D 1 θ q R · R θ = ρ R θ γ 0 .
Though T and q R might result in cross-coupling effects, we assume T is independent of R θ and q R is independent of D . Hence, we let
γ = γ D + γ R θ , γ D 0 , γ R θ 0 ,
where γ D is independent of R θ and γ R θ is independent of D . It follows
T · D = ρ θ γ D , q R · R θ = ρ R θ 2 γ R θ .
The representation formulae for T and q R read
T = ρ θ γ D | D | 2 D + I D D | D | 2 G , q R = ρ R θ 2 γ R θ | R θ | 2 R θ + 1 R θ R θ | R θ | 2 g ,
where G is a second-order tensor function (independent of R θ ) and g is a vector-valued function (independent of D ). The expressions of T and q R simplify if the entropy production rates are selected in the form
γ D = 1 ρ θ G · D , γ R θ = 1 ρ θ 2 g · R θ ,
where the constitutive functions G and g are subject to
G · D 0 , g · R θ 0 .
The result would be T = G and q R = g .

6. Conclusions

This paper is devoted to the modelling of nonlocality in continuum physics through constitutive functions that depend on suitable spatial gradients. For definiteness, attention is addressed to elastic solids, heat conductors, and magnetic solids. The presentation of the various models is based on the view that the set of constitutive functions obeys the requirements of the second law of thermodynamics and satisfies the balance equations.
As to the balance equations, the stress tensor, in elastic and magnetic solids, is subject to a well-known symmetry condition arising from the balance of angular momentum. While the symmetry is often ignored in the literature, here emphasis is given to the connection between the validity of the symmetry and the selection of independent variables. For non-polar media, no body couple vector occurs and then the stress tensor is taken to be symmetric. Instead, for polar materials, the stress is subject to appropriate symmetry restrictions; for definiteness, the modelling is established for magnetic materials in terms of the Lagrangian magnetic field H = F T H .
Usually, the approaches developed in the literature are based on different schemes. There are cases where a form of the principle of virtual power is used conceptually in place of the second law of thermodynamics. In many approaches, the standard Cauchy stress is abandoned in favour of the pair of stress tensor T and hyperstress G with power in the form (1). In a deeply different approach, the evolution equations are derived as the Euler–Lagrange equations of a suitable functional (of strain and strain gradient).
This paper provides models of nonlocality by following a systematic analysis, through the second law inequality, of functions of strain gradients or temperature gradients. It is then shown that nonlocal models that satisfy the balance equations can be established without any modification of the basic principles, namely within the balance equations and the second law inequality.
Among the results, we mention that within the strain-gradient elasticity with a free energy function of the strain E and the gradients R E , R R E , the Cauchy stress proves symmetric and involves gradients up to the fourth order. As to heat conduction, nonlocal models are given in terms of both temperature gradients and heat-flux gradients. Next, models of magnetic materials are established with the magnetic field H in terms of the gradients of the magnetization M (Equation (60)).

Author Contributions

Conceptualization, investigation, writing, editing: C.G. and A.M. All authors have contributed equally and substantially to the work reported. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The research leading to this work has been developed under the auspices of Istituto Nazionale di Alta Matematica—Gruppo Nazionale di Fisica Matematica.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. Vaccaro, M.S.; Barretta, R.; Luciano, R.; de Sciarra, F.M. Large deflection of a nonlocal gradient cantilever beam. Int. J. Eng. Sci. 2025, 206, 104172. [Google Scholar]
  2. Fried, E.; Gurtin, M.E. Tractions, balances, and boundary conditions for nonsimple materials with application to liquid flow at small-length scale. Arch. Ration. Mech. Anal. 2006, 182, 513–554. [Google Scholar] [CrossRef]
  3. Fleury, R.; Seppecher, P.; Hu, G.; Wegener, M. Nonlocal metamaterials and metasurfaces. Nat. Rev. Phys. 2025, 7, 299–312. [Google Scholar] [CrossRef]
  4. Trabelssi, M.; El-Borgi, S.; Friswell, M.I. Application of nonlocal strain gradient theory for the analysis of bandgap formation in metamaterial nanobeams. Appl. Math. Mod. 2024, 127, 281–296. [Google Scholar] [CrossRef]
  5. Agiasofitou, E.K.; Lazar, M. Conservation and balance laws in linear elasticity of grade three. J. Elast. 2009, 94, 69–85. [Google Scholar] [CrossRef]
  6. Lazar, M. Reduced strain gradient elasticity model with two characteristic lengths: Fundamentals and application to straight dislocations. Cont. Mech. Thermodyn. 2022, 34, 1433–1454. [Google Scholar] [CrossRef]
  7. Giusteri, G.; Marzocchi, A.; Musesti, A. Nonsimple isotropic incompressible linear fluids surrounding one-dimensional structures. Acta Mech. 2011, 217, 191–204. [Google Scholar] [CrossRef]
  8. Eringen, A. On differential equations of nonlocal elasticity and solutions of screw dislocation and surface waves. J. Appl. Phys. 1983, 54, 4703–4710. [Google Scholar] [CrossRef]
  9. Askes, H.; Aifantis, E.C. Gradient elasticity in statics and dynamics: An overview of formulations, length scale identification procedures, finite element implementations and new results. Int. J. Solids Struct. 2011, 48, 1962–1990. [Google Scholar] [CrossRef]
  10. Germain, P. The method of virtual power in continuum mechanics. Part 2: Microstructure. SIAM J. Appl. Math. 1973, 25, 556–575. [Google Scholar] [CrossRef]
  11. Podio-Guidugli, P.; Vianello, M. On a stress-power-based characterization of second-gradient elastic fluids. Cont. Mech. Thermodyn. 2013, 25, 399–421. [Google Scholar] [CrossRef]
  12. Morro, A.; Vianello, M. Interstitial energy flux and stress-power for second-gradient elasticity. Math. Mech. Solids 2016, 21, 403–412. [Google Scholar] [CrossRef]
  13. Fabrizio, M.; Lazzari, B.; Nibbi, R. Thermodynamics of non-local materials: Extra fluxes and internal powers. Cont. Mech. Thermodyn. 2011, 23, 509–525. [Google Scholar] [CrossRef]
  14. Morro, A.; Giorgi, C. Mathematical Modelling of Continuum Physics; Book Series: Modeling and Simulation in Science, Engineering and Technology; Birkhäuser: Cham, Switzerland, 2023. [Google Scholar]
  15. Morro, A.; Giorgi, C. On symmetry properties of tensors for electromagnetic deformable solids. Symmetry 2025, 17, 557. [Google Scholar] [CrossRef]
  16. Dunn, J.E.; Serrin, J. On the thermomechanics of interstitial working. Arch. Ration. Mech. Anal. 1985, 88, 95–133. [Google Scholar] [CrossRef]
  17. Polizzotto, C. Strain-gradient elastic-plastic material models and assessment of the higher order boundary conditions. Eur. J. Mech. A/Solids 2007, 26, 189–211. [Google Scholar] [CrossRef]
  18. Ericksen, J.L.; Truesdell, C. Exact theory of stress and strain in rods and shells. Arch. Rational Mech. Anal. 1958, 1, 295–323. [Google Scholar] [CrossRef]
  19. Mindlin, R.D.; Tiersten, H.F. Effects of couple-stresses in linear elasticity. Arch. Rational Mech. Anal. 1962, 11, 415–448. [Google Scholar] [CrossRef]
  20. Mindlin, R.D. Micro-structure in linear elasticity. Arch. Rational Mech. Anal. 1964, 16, 51–78. [Google Scholar] [CrossRef]
  21. Coleman, B.D.; Gurtin, M.E. Equipresence and constitutive equations for rigid heat conductors. Z. Angew. Math. Phys. (ZAMP) 1967, 18, 199–208. [Google Scholar] [CrossRef]
  22. Coleman, B.D.; Noll, W. The thermodynamics of elastic materials with heat conduction and viscosity. Arch. Rational Mech. Anal. 1963, 13, 167–178. [Google Scholar] [CrossRef]
  23. Courant, R.; Hilbert, D. Methods of Mathematical Physics; Interscience Publishers: New York, NY, USA, 1953; Chapter 4; Volume I. [Google Scholar]
  24. Maugin, G.A. On the thermomechanics of continuous media with diffusion and/or weak nonlocality. Arch. Appl. Mech. 2006, 75, 723–738. [Google Scholar] [CrossRef]
  25. Gurtin, M.E. Generalized Ginzburg-Landau and Cahn-Hilliard equations based on a microforce balance. Physica D 1996, 92, 178–192. [Google Scholar] [CrossRef]
  26. Cimmelli, V.A. Heat-flux relaxation and the possibility of spatial interactions in higher-grade materials. Mathematics 2025, 13, 599. [Google Scholar] [CrossRef]
  27. Fabrizio, M.; Franchi, F.; Nibbi, R. Second gradient Green-Naghdi type thermo-elasticity and viscoelasticity. Mech. Res. Comm. 2022, 126, 104014. [Google Scholar] [CrossRef]
  28. Guyer, R.A.; Krumhansl, J.A. Solution of the linearized phonon Boltzmann equation. Phys. Rev. 1966, 148, 766–777. [Google Scholar] [CrossRef]
  29. Coleman, B.D.; Mizel, V.J. Thermodynamics and departures from Fourier’s law of heat conduction. Arch. Ration. Mech. Anal. 1963, 13, 245–261. [Google Scholar] [CrossRef]
  30. Müller, I. On the entropy inequality. Arch. Ration. Mech. Anal. 1967, 26, 118–141. [Google Scholar] [CrossRef]
  31. Ramos, A.J.A.; Miranda, L.G.R.; Freitas, M.M.; Kovács, R. Non-negativity and maximum principle: Revisiting the Guyer-Krumhansl heat equation. Int. J. Heat Mass Transfer 2023, 211, 124288. [Google Scholar] [CrossRef]
  32. Müller, I.; Ruggeri, T. Extended Thermodynamics; Springer: New York, NY, USA, 1993. [Google Scholar]
  33. Cimmelli, V.A.; Sellitto, A.; Jou, D. Nonlocal effects and second sound in a nonequilibrium state. Phys. Rev. B 2009, 79, 014303. [Google Scholar] [CrossRef]
  34. Cimmelli, V.A.; Sellitto, A.; Jou, D. Nonequilibrium temperatures, heat waves and nonlinear transport equations. Phys. Rev. B 2010, 82, 054301. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Article Metrics

Citations

Article Access Statistics

Multiple requests from the same IP address are counted as one view.