Approximate symmetries in nonlinear viscoelastic media

Marianna Ruggieri; Antonino Valenti

doi:10.1186/1687-2770-2013-143

Research
Open Access

Approximate symmetries in nonlinear viscoelastic media

Marianna Ruggieri¹Email author and
Antonino Valenti²

Boundary Value Problems20132013:143

https://doi.org/10.1186/1687-2770-2013-143

Received: 9 March 2013
Accepted: 20 May 2013
Published: 10 June 2013

Abstract

Approximate symmetries of a mathematical model describing one-dimensional motion in a medium with a small nonlinear viscosity are studied. In a physical application, the approximate solution is calculated making use of the approximate generator of the first-order approximate symmetry.

MSC:35J25, 32A37, 43A15, 35A58, 42B20.

Keywords

existence
uniqueness and stability of solutions
partial differential equations
approximate method

1 Introduction

We consider the third-order partial differential equation

w_{t t} = {[σ (w_{x}) + λ (w_{x}) w_{t x}]}_{x},

(1)

where σ and λ are smooth functions, $w (t, x)$ is the dependent variable and subscripts denote partial derivative with respect to the independent variables t and x.

Equation (1) can describe the behavior of a one-dimensional viscoelastic medium in which nonlinearities appear not only in the elastic part of the stress, but also in the viscoelastic one.

Some mathematical questions as the global existence, uniqueness and stability of solutions can be found in [1, 2]. Moreover, shear wave solutions are found in [3], where some explicit examples of blow-up for boundary value problems with smooth initial data are shown. A symmetry analysis and some exact solutions are shown in [4–6], while when $λ (w_{x}) = λ_{0}$ , with $λ_{0}$ a positive constant, a symmetry analysis can be performed in [7–9].

It is well known that a small dissipation is able to prevent the breaking of the wave profile allowing to study the so called ‘far field’, and a technique widely used is the perturbation analysis performed by expanding the dependent variables in power series of a small parameter (may be a physical parameter or often artificially introduced). Having in mind to perform an ‘approximate symmetry analysis’, we introduce in (1) a small parameter ε, namely

w_{t t} = f (w_{x}) w_{x x} + ε {[λ (w_{x}) w_{t x}]}_{x},

(2)

with

f = σ^{'}

(hereafter, a prime denotes derivative of a function with respect to the only variable upon which it depends). For

ε = 0

, we recover the nonlinear wave equation

w_{t t} = f (w_{x}) w_{x x} .

(3)

The combination of the Lie group theory and the perturbation analysis gives rise to the so-called approximate symmetry theories. The first paper on this subject is due to Baikov, Gazizov and Ibragimov [10]. Successively another method for finding approximate symmetries was proposed by Fushchich and Shtelen [11]. In the method proposed by Baikov, Gazizov and Ibragimov, the Lie operator is expanded in a perturbation series so that an approximate operator can be found. But the approximate operator does not reflect well an approximation in the perturbation sense; in fact, even if one uses a first-order approximate operator, the corresponding approximate solution could contain higher-order terms.

In the method proposed by Fushchich and Shtelen the dependent variables are expanded in a perturbation series; equations are separated at each order of approximation and the approximate symmetries of the original equations are defined to be the exact symmetries of the system coming out from equating to zero the coefficients of the smallness parameter. This method is consistent with the perturbation theory and yields correct terms for the approximate solutions but a ‘drawback’ is present: it is impossible to work in hierarchy, i.e., in the search for symmetries, there is a coupled system between the equations at several orders of approximation, therefore the algebra can increase enormously.

In this paper we work in the framework of the approximate method proposed in [12, 13], in which the expansions of the dependent variable are introduced also in the Lie group transformations so that one obtains an approximate Lie operator which permits to solve in hierarchy the invariance conditions starting from the classification of unperturbed equation (3). We obtain the symmetry classification of the functions $f (w_{x})$ and $λ (w_{x})$ through which equation (2) is approximately invariant and search for approximate solutions.

The plan of the paper is the following. The approximate symmetry method is introduced in the next section; the group classification via approximate symmetries is performed in Section 3; in Section 4, in a physical application, the approximate solution is calculated by means of the approximate generator of the first-order approximate group of transformations.

2 Approximate symmetry method

In general, any solution of (2) will be of the form

w = w (t, x, ε)

and the one-parameter Lie group of infinitesimal transformations in the

(t, x, w)

-space of equation (2) can be considered in the following form:

\hat{t} = t + a ξ^{1} (t, x, w (t, x, ε), ε) + O (a^{2}),

(4)

\hat{x} = x + a ξ^{2} (t, x, w (t, x, ε), ε) + O (a^{2}),

(5)

\hat{w} = w + a η (t, x, w (t, x, ε), ε) + O (a^{2}),

(6)

where a is the group parameter.

Let us suppose that

w (t, x, ε)

and

\hat{w} (\hat{t}, \hat{x}, ε)

, analytic in ε, can be expanded in power series of ε, i.e.,

w (t, x, ε) = w_{0} (t, x) + ε w_{1} (t, x) + O (ε^{2}),

(7)

\hat{w} (\hat{t}, \hat{x}, ε) = {\hat{w}}_{0} (\hat{t}, \hat{x}) + ε {\hat{w}}_{1} (\hat{t}, \hat{x}) + O (ε^{2}),

(8)

where $w_{0}$ and $w_{1}$ are some smooth functions of t and x; ${\hat{w}}_{0}$ and ${\hat{w}}_{1}$ are some smooth functions of $\hat{t}$ and $\hat{x}$ .

Upon formal substitution of (7) in (2), equating to zero the coefficients of zero and first degree powers of ε, we arrive at the following system of PDEs:

L_{0} : = {w_{0}}_{t t} - f ({w_{0}}_{x}) {w_{0}}_{x x} = 0,

(9)

\begin{matrix} L_{1} : = {w_{1}}_{t t} - f ({w_{0}}_{x}) {w_{1}}_{x x} - f^{'} ({w_{0}}_{x}) {w_{0}}_{x x} {w_{1}}_{x} \\ - λ^{'} ({w_{0}}_{x}) {w_{0}}_{x x} {w_{0}}_{t x} - λ ({w_{0}}_{x}) {w_{0}}_{x x t} = 0, \end{matrix}

(10)

where we have set

\begin{matrix} f ({w_{0}}_{x}) = f (w_{x}) |_{ε = 0}, f^{'} ({w_{0}}_{x}) = f^{'} (w_{x}) |_{ε = 0}, \\ λ ({w_{0}}_{x}) = λ (w_{x}) |_{ε = 0}, λ^{'} ({w_{0}}_{x}) = λ^{'} (w_{x}) |_{ε = 0} . \end{matrix}

Hence, $w_{0}$ is a solution of nonlinear wave equation (9) which we call unperturbed equation, while $w_{1}$ can be determined from the linear equation (10).

In order to have a one-parameter Lie group of infinitesimal transformations of the system (9)-(10), which is consistent with the expansions of the dependent variables (7) and (8), we introduce these expansions in the infinitesimal transformations (4)-(6). Upon formal substitution, equating to zero the coefficients of zero and first degree powers of ε, we get the following one-parameter Lie group of infinitesimal transformations in the

(t, x, w_{0}, w_{1})

-space

\hat{t} = t + a ξ_{0}^{1} (t, x, w_{0}) + O (a^{2}),

(11)

\hat{x} = x + a ξ_{0}^{2} (t, x, w_{0}) + O (a^{2}),

(12)

{\hat{w}}_{0} = w_{0} + a η_{0} (t, x, w_{0}) + O (a^{2}),

(13)

{\hat{w}}_{1} = w_{1} + a [η_{10} (t, x, w_{0}) + η_{11} (t, x, w_{0}) w_{1}] + O (a^{2}),

(14)

where we have set

ξ_{0}^{i} (t, x, w_{0}) = ξ^{i} (t, x, w (t, x, ε), ε) |_{ε = 0}, i = 1, 2,

(15)

η_{0} (t, x, w_{0}) = η (t, x, w (t, x, ε), ε) |_{ε = 0},

(16)

η_{10} (t, x, w_{0}) + η_{11} (t, x, w_{0}) w_{1} = \frac{d η}{d ε} |_{ε = 0} .

(17)

We give the following definition: We call approximate symmetries of equation (2) the (exact) symmetries of the system (9)-(10) through the one-parameter Lie group of infinitesimal transformations (11)-(14). Consequently, the one-parameter Lie group of infinitesimal transformations (11)-(14), the associated Lie algebra and the corresponding infinitesimal operator

\begin{array}{rcl} X & = & ξ^{1} (t, x, w_{0}) \frac{\partial}{\partial t} + ξ^{2} (t, x, w_{0}) \frac{\partial}{\partial x} + η (t, x, w_{0}) \frac{\partial}{\partial w_{0}} \\ + [η_{10} (t, x, w_{0}) + η_{11} (t, x, w_{0}) w_{1}] \frac{\partial}{\partial w_{1}} \end{array}

(18)

are called the approximate Lie group, the approximate Lie algebra and the approximate Lie operator of equation (2), respectively.

Moreover, after putting

X_{0} = ξ_{0}^{1} (t, x, w_{0}) \frac{\partial}{\partial t} + ξ_{0}^{2} (t, x, w_{0}) \frac{\partial}{\partial x} + η_{0} (t, x, w_{0}) \frac{\partial}{\partial w_{0}},

(19)

the approximate Lie operator (18) can be rewritten as

X = X_{0} + [η_{10} (t, x, w_{0}) + η_{11} (t, x, w_{0}) w_{1}] \frac{\partial}{\partial w_{1}}

(20)

and $X_{0}$ can be regarded as the infinitesimal operator of unperturbed nonlinear wave equation (9) (or (3)).

It is worthwhile noticing that, thanks to the functional dependencies of the coordinates of the approximate Lie operator (18) (or (20)), now we are able to work in hierarchy in finding the invariance conditions of the system (9)-(10): firstly, by classifying unperturbed nonlinear wave equation (9) through the operator (19) and after by determining

η_{10}

and

η_{11}

from the invariance condition that follows by applying the operator (20) to the linear equation (10). In fact the invariance condition of the system (9)-(10) reads

X_{0}^{(2)} (L_{0}) |_{L_{0} = 0} = 0,

(21)

X^{(3)} (L_{1}) |_{L_{0} = 0, L_{1} = 0} = 0,

(22)

where $X_{0}^{(2)}$ and $X^{(3)}$ are the second and third extensions of the operators $X_{0}$ and X, respectively.

3 Group classification via approximate symmetries

The classification of equation (9) is well known (see for details Ibragimov [14] and bibliography therein). From (21), we arrive at the following result:

ξ_{0}^{1} = a_{5} t^{2} + a_{3} t + a_{1},

(23)

ξ_{0}^{2} = a_{4} x + a_{2},

(24)

η_{0} = (a_{5} t + a_{6}) w_{0} + a_{7} t x + a_{8} t + a_{9} x + a_{10},

(25)

[(a_{6} - a_{4}) {w_{0}}_{x} + a_{9}] f^{'} ({w_{0}}_{x}) - 2 (a_{4} - a_{3}) f ({w_{0}}_{x}) = 0,

(26)

(a_{5} {w_{0}}_{x} + a_{7}) f^{'} ({w_{0}}_{x}) + 4 a_{5} f ({w_{0}}_{x}) = 0,

(27)

where $a_{i}$ , $i = 1, 2, \dots, 10$ are constants.

Taking (23)-(27) into account, from (22) we obtain the following additional conditions:

a_{5} = a_{7} = 0,

(28)

η_{10} = a_{11} t + a_{12},

(29)

η_{11} = a_{13},

(30)

[(a_{6} - a_{4}) {w_{0}}_{x} + a_{9}] λ^{'} ({w_{0}}_{x}) - (2 a_{4} - a_{3} - a_{6} + a_{13}) λ ({w_{0}}_{x}) = 0,

(31)

with $a_{11}$ , $a_{12}$ and $a_{13}$ being constants.

After observing that conditions (28) impose restrictions upon

X_{0}

, summarizing we have to manage the following relations:

ξ_{0}^{1} = a_{3} t + a_{1},

(32)

ξ_{0}^{2} = a_{4} x + a_{2},

(33)

η_{0} = a_{6} w_{0} + a_{8} t + a_{9} x + a_{10},

(34)

η_{10} = a_{11} t + a_{12},

(35)

η_{11} = a_{13},

(36)

[(a_{6} - a_{4}) {w_{0}}_{x} + a_{9}] f^{'} ({w_{0}}_{x}) - 2 (a_{4} - a_{3}) f ({w_{0}}_{x}) = 0,

(37)

[(a_{6} - a_{4}) {w_{0}}_{x} + a_{9}] λ^{'} ({w_{0}}_{x}) - (2 a_{4} - a_{3} - a_{6} + a_{13}) λ ({w_{0}}_{x}) = 0 .

(38)

For f and λ arbitrary functions, we obtain

a_{6} = a_{4} = a_{3}, a_{9} = a_{13} = 0

(39)

and we call the associate seven-dimensional Lie algebra the approximate principal Lie algebra of equation (2). We denote it by

A pprox L_{P}

and it is spanned by the seven operators

X_{1} = \frac{\partial}{\partial t}, X_{2} = \frac{\partial}{\partial x}, X_{3} = \frac{\partial}{\partial w_{0}}, X_{4} = t \frac{\partial}{\partial w_{0}},

(40)

X_{5} = t \frac{\partial}{\partial t} + x \frac{\partial}{\partial x} + w_{0} \frac{\partial}{\partial w_{0}}, X_{6} = \frac{\partial}{\partial w_{1}}, X_{7} = t \frac{\partial}{\partial w_{1}} .

(41)

The classification of

f ({w_{0}}_{x})

and

λ ({w_{0}}_{x})

with the corresponding extensions of

A pprox L_{P}

arising from (32)-(38) is reported in Table 1.

Table 1

Classification of $f ({w_{0}}_{x})$ and $λ ({w_{0}}_{x})$ with the corresponding extensions of $A pprox L_{P}$

Case	Forms of $f ({w_{0}}_{x})$ and $λ ({w_{0}}_{x})$	Extensions of $A p p r o x L_{P}$
I	$f ({w_{0}}_{x}) = f_{0} e^{\frac{2}{p} {w_{0}}_{x}}$	$X_{8} = x \frac{\partial}{\partial x} + (w_{0} + p x) \frac{\partial}{\partial w_{0}} + s w_{1} \frac{\partial}{\partial w_{1}}$
I	$λ ({w_{0}}_{x}) = λ_{0} e^{\frac{1 + s}{p} {w_{0}}_{x}}$
II	$f ({w_{0}}_{x}) = f_{0} {({w_{0}}_{x} + q)}^{\frac{2}{p}}$	$X_{8} = x \frac{\partial}{\partial x} + [(1 + p) w_{0} + p q x] \frac{\partial}{\partial w_{0}} + s w_{1} \frac{\partial}{\partial w_{1}}$
II	$λ ({w_{0}}_{x}) = λ_{0} {({w_{0}}_{x} + q)}^{\frac{1 + s}{p} - 1}$

$f_{0}$ , $λ_{0}$ , p, q and s are constitutive constants with p ≠ 0.

4 A physical application

Let us consider a homogeneous viscoelastic bar of uniform cross-section and assume the material to be a nonlinear Kelvin solid. The classical equation of motion (the constant density is normalized to 1 and the mass forces are neglected)

w_{t t} = τ_{x}

(42)

assuming a stress-strain relation of the following form:

τ = σ (w_{x}) + λ (w_{x}) w_{x t},

(43)

where τ is the stress, x the position of a cross-section in the homogeneous rest configuration of the bar, $w (t, x)$ the displacement at time t of the section from its rest position, $σ (w_{x})$ the elastic tension ( $w_{x}$ is the strain), and $λ (w_{x}) w_{x t}$ is the viscosity component of the stress, reduces to (2).

Let us consider the following form of the tension

σ (w_{x})

:

σ (w_{x}) = σ_{0} log (1 + w_{x}),

(44)

which was suggested by Capriz [15, 16].

So, we fall in Case II of Table 1 with the following identifications:

f_{0} = σ_{0}, p = - 2, q = 1 .

(45)

In this case, the approximate Lie operator

X_{8}

assumes the form

X_{8} = x \frac{\partial}{\partial x} - (w_{0} + 2 x) \frac{\partial}{\partial w_{0}} + s w_{1} \frac{\partial}{\partial w_{1}}

(46)

and from the corresponding invariant surface conditions, we obtain the following representation for the different terms in the expansion of w:

w_{0} = \frac{ψ (t)}{x} - x,

(47)

w_{1} = χ (t) x^{s},

(48)

which give the form of an invariant solution approximate at the first order in ε.

The functions ψ and χ must satisfy the following system of ODEs to which, after (44), the system (9)-(10) is reduced through (47) and (48) (we have chosen

s = - 5

):

ψ_{t t} + 2 σ_{0} = 0,

(49)

χ_{t t} + 20 σ_{0} \frac{χ}{ψ} + 4 λ_{0} ψ ψ_{t} = 0 .

(50)

After solving (49)-(50) and taking (47)-(48) into account, we have

w_{0} = - σ_{0} \frac{t^{2}}{x} - x,

(51)

w_{1} = - \frac{8}{81} {σ_{0}}^{2} λ_{0} t^{5} (9 log t - 1) .

(52)

Therefore, the invariant solution up to the first order in ε is

w (t, x, ε) = - σ_{0} \frac{t^{2}}{x} - x - ε \frac{8 {σ_{0}}^{2} λ_{0} t^{5} (9 log t - 1)}{81 x^{5}} + O (ε^{2}) .

(53)

We have an unperturbed state represented by a stretching modified by the viscosity effect.

5 Conclusions

In this paper we perform the group analysis of the nonlinear wave equation with a small dissipation (2) in the framework of the approximate method proposed in [12, 13]. In order to remove the ‘drawback’ of the method proposed by Fushchich and Shtelen [11], we introduce, according to the perturbation theory, the expansions of the dependent variables in the one-parameter Lie group of infinitesimal transformations of equation (2). Equating to zero the coefficients of zero and first degree powers of ε, we obtain an approximate Lie operator which permits to solve in hierarchy the invariance condition of the system (9)-(10) starting from the classification of unperturbed nonlinear wave equation (3). The proposed strategy is consistent with the perturbation point of view and can be generalized in a simple way to the higher orders of approximation in ε.

Declarations

Acknowledgements

MR acknowledges the support of GNFM through the project 2012 Metodologie di tipo analitico e numerico per lo studio di problemi iperbolici ed iperbolico-parabolici di natura ondosa.

Authors’ Affiliations

(1)

Facoltà di Ingegneria e Architettura, Università di Enna ‘Kore’, Cittadella Universitaria, Enna, 94100, Italy

(2)

Dipartimento di Matematica e Informatica, Università di Catania, Viale Andrea Doria 6, Catania, 95125, Italy

References

Dafermos CM: The mixed initial-boundary value problem for the equations of non-linear viscoelasticity. J. Differ. Equ. 1969, 6: 71. 10.1016/0022-0396(69)90118-1MathSciNetView ArticleMATHGoogle Scholar
MacCamy RC:Existence, uniqueness and stability of $u_{t t} = \frac{\partial}{\partial x} [(u_{x}) + (u_{x}) u_{x t}]$ . Indiana Univ. Math. J. 1970, 20: 231. 10.1512/iumj.1971.20.20021MathSciNetView ArticleMATHGoogle Scholar
Rajagopal KR, Saccomandi G: Shear waves in a class of nonlinear viscoelastic solids. Q. J. Mech. Appl. Math. 2003, 56: 311. 10.1093/qjmam/56.2.311MathSciNetView ArticleMATHGoogle Scholar
Ruggieri M, Valenti A: Symmetries and reduction techniques for dissipative models. J. Math. Phys. 2009., 50: Article ID 063506Google Scholar
Ruggieri M, Valenti A: Exact solutions for a nonlinear model of dissipative media. J. Math. Phys. 2011., 52: Article ID 043520Google Scholar
Ruggieri M: Kink solutions for class of generalized dissipative equations. Abstr. Appl. Anal. 2012., 2012: Article ID 237135. doi:10.1155/2012/237135Google Scholar
Ruggieri M, Valenti A: Group analysis of a nonlinear model describing dissipative media. In Proceedings of MOGRAN X Edited by: Ibragimov NH, Sophocleous C, Damianou PA. 2005, 175.Google Scholar
Ruggieri M, Valenti A: Symmetries and reduction techniques for a dissipative model. In Proceedings of WASCOM 2005. Edited by: Monaco R, Mulone G, Rionero S, Ruggeri T. World Scientific, Singapore; 2006:481.Google Scholar
Ruggieri M, Valenti A: Symmetry analysis of viscoelastic model. In Proceedings of WASCOM 2007. Edited by: Manganaro N, Monaco R, Rionero S. World Scientific, Singapore; 2008:514.Google Scholar
Baikov VA, Gazizov RK, Ibragimov NH: Approximate symmetries of equations with a small parameter. Mat. Sb. 1988, 136: 435. (English transl. in: Math. USSR Sb. 64, 427–441 (1989))Google Scholar
Fushchich WI, Shtelen WM: On approximate symmetry and approximate solutions of the non-linear wave equation with a small parameter. J. Phys. A, Math. Gen. 1989, 22: L887-L890. 10.1088/0305-4470/22/18/007MathSciNetView ArticleMATHGoogle Scholar
Valenti A: Approximate symmetries for a model describing dissipative media. In Proceedings of MOGRAN X Edited by: Ibragimov NH, Sophocleous C, Damianou PA. 2005, 236.Google Scholar
Valenti A: Approximate symmetries of a viscoelastic model. In Proceedings of WASCOM 2007. Edited by: Manganaro N, Monaco R, Rionero S. World Scientific, Singapore; 2008:582.Google Scholar
Ibragimov NH: CRC Handbook of Lie Group Analysis of Differential Equations. CRC Press, Boca Raton; 1994.MATHGoogle Scholar
Capriz, G: Waves in strings with non-local response. In: Mathematical Problems in Continuum Mechanics, Trento (Italy), 12–17 January 1981. Internal Report No. 13, CIRM (1981)Google Scholar
Capriz, G: Non-linear dynamics of a taut elastic string. In: Anile, AM, Cattaneo, G, Patano, P (eds.) Atti delle Giornate di Lavoro su Onde e Stabilità nei Mezzi Continui, Cosenza (Italy), 6–11 June 1983. Quaderni del Consiglio Nazionale delle Ricerche (CNR): Gruppo Nazionale per la Fisica Matematica (GNFM). Tipografia dell’Università, Catania (1986)Google Scholar

Copyright

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