Symmetry Analysis and Conservation Laws of a Generalization of the Kelvin-Voigt Viscoelasticity Equation

Abstract

In this paper, we study a generalization of the well-known Kelvin-Voigt viscoelasticity equation describing the mechanical behaviour of viscoelasticity. We perform a Lie symmetry analysis. Hence, we obtain the Lie point symmetries of the equation, allowing us to transform the partial differential equation into an ordinary differential equation by using the symmetry reductions. Furthermore, we determine the conservation laws of this equation by applying the multiplier method.

1. Introduction

The continuous development of mechanics and its engineering applications have increased remarkably the interest in non-linear phenomena, such as viscoelasticity. Viscoelastic materials are of interest in a wide variety of applications, from passive damping to aircraft tire construction. A good modelling of the material’s behaviour is essential for the accurate design incorporating this material.

Viscoelastic behaviour appears in materials showing some sort of liquid-like elastic behaviour. However, a simple Hooke’s law linear elastic constitutive relationship is not an accurate representation of viscoelastic material’s behaviour. Viscoelastic materials are commonly said to have “memory” because of their rheological properties.

The rheological models, such as the Kelvin-Voigt model or the Maxwell model, are usually used to describe the viscoelastic behaviour. The Kelvin-Voigt model consists of a lumped parameter model similar to a spring and dashpot in parallel, while the Maxwell model describes a serially connected spring and dashpot. In addition, many papers have been published studying these models [1,2,3,4].

Many physical phenomena, as viscoelasticity, are described by non-linear partial differential equations (PDEs). In particular, the Kelvin-Voigt viscoelasticity equation is given by

$$u_{tt}-{\left(C\left(x\right)u_x\right)}_x-{\left(B\left(x\right)u_{tx}\right)}_x=0.$$

Nevertheless, in this paper we focus on a generalization of the Kelvin-Voigt viscoelasticity equation described by

$$u_{tt}-{\left(C\left(x\right)f{\left(u\right)}_x\right)}_x-{\left(B\left(x\right)u_{tx}\right)}_x=0,(t,x)\in \mathbb{R}\times \Omega ,$$

(1)

where $\Omega$ is an open subset of $\mathbb{R}$ and u a scalar real-valued function. Also, $f\left(u\right)$ is a smooth enough non-linear function, and $C\left(x\right)\ne 0$, $B\left(x\right)\ne 0$ are smooth enough functions too, depending on the variable $x\in \Omega$. Throughout the paper the subscripts denote partial derivatives.

There is no general theory for solving non-linear PDEs. Therefore, in this work, we use Lie theory to analyse Equation (1). Lie group analysis is a powerful tool to find general solutions for PDEs. This theory, originally defined by Sophus Lie at the end of the nineteenth century, develops solutions for PDEs by the transformation groups of Lie [5,6,7,8]. The fundamental basis of the Lie group method is that if a differential equation is invariant under a Lie group of transformations, then a reduction transformation exists. For instance, for PDEs with two independent variables like Equation (1), a single group reduction can transform the PDE into an ordinary differential equation (ODE), easier to solve.

Furthermore, a very important concept in the analysis of PDEs is the notion of conservation law. Conservation laws determine conserved quantities and constants of motion. They also detect integrability and check accuracy of numerical solutions method. Recently, Anco and Bluman [9,10] developed a method that does not need the existence of Lagrangians because it is based on adjoint equations for non-linear equations and avoids the integrals of functions. This method called the multiplier method allows finding all local conservation laws admitted by any evolution equation. Many papers have been published in the last few years using this method [11,12,13,14,15,16,17,18,19].

The paper is organized as follows: In Section 2 we determine the Lie point symmetries of Equation (1). Then, in Section 3 we use the Lie point symmetries admitted by Equation (1) to obtain an optimal system of one-dimensional subalgebras. Afterwards, in Section 4 we find symmetry reductions for the one-dimensional subalgebras calculated previously. These reductions allow us to transform Equation (1) into an ODE. In Section 5 we derive the conservation laws of Equation (1) by applying the multiplier method. Finally, in Section 6 some conclusions are presented.

2. Lie Point Symmetries

A one-parameter group of infinitesimal transformations in $(x,t,u)$ is given by

$$\begin{array}{ccc}\hfill x^{*}& =& x+\epsilon \xi (x,t,u)+\mathcal{O}\left({\epsilon }^2\right),\hfill \\ \hfill t^{*}& =& t+\epsilon \tau (x,t,u)+\mathcal{O}\left({\epsilon }^2\right),\hfill \\ \hfill u^{*}& =& u+\epsilon \varphi (x,t,u)+\mathcal{O}\left({\epsilon }^2\right),\hfill \end{array}$$

where $\epsilon$ is the group parameter and $\xi (x,t,u)$, $\tau (x,t,u)$, and $\varphi (x,t,u)$ are the infinitesimals.

Definition 1.

A vector field

$$X=\xi (x,t,u)\frac{\partial }{\partial x}+\tau (x,t,u)\frac{\partial }{\partial t}+\varphi (x,t,u)\frac{\partial }{\partial u},$$

(2)

where $\xi (x,t,u)$, $\tau (x,t,u)$, and $\varphi (x,t,u)$ are the infinitesimals, is a generator of a Lie point symmetry of Equation (1) if

$$X^{\left(3\right)}(u_{tt}-{\left(C\left(x\right)f{\left(u\right)}_x\right)}_x-{\left(B\left(x\right)u_{tx}\right)}_x)=0,$$

(3)

where $X^{\left(3\right)}$ is the third prolongation of the vector field (2) defined by

$$X^{\left(3\right)}=X+{\zeta }_x\frac{\partial }{\partial u_x}+{\zeta }_t\frac{\partial }{\partial u_t}+{\zeta }_{xx}\frac{\partial }{\partial u_{xx}}+{\zeta }_{xt}\frac{\partial }{\partial u_{xt}}+{\zeta }_{tt}\frac{\partial }{\partial u_{tt}}+{\zeta }_{xxt}\frac{\partial }{\partial u_{xxt}},$$

where the coefficients ${\zeta }_x,{\zeta }_t,{\zeta }_{xx},{\zeta }_{xt},{\zeta }_{tt},{\zeta }_{xxt}$ are given by

$$\begin{array}{ccc}\hfill {\zeta }_x& =& D_x\varphi -u_t{D}_x\tau -u_x{D}_x\xi ,\hfill \\ \hfill {\zeta }_t& =& D_t\varphi -u_t{D}_t\tau -u_x{D}_t\xi ,\hfill \\ \hfill {\zeta }_{xx}& =& D_x\left({\zeta }_x\right)-u_{xt}{D}_x\tau -u_{xx}{D}_x\xi ,\hfill \\ \hfill {\zeta }_{xt}& =& D_t\left({\zeta }_x\right)-u_{xt}{D}_x\tau -u_{xx}{D}_t\xi ,\hfill \\ \hfill {\zeta }_{tt}& =& D_t\left({\zeta }_t\right)-u_{tt}{D}_t\tau -u_{xt}{D}_t\xi ,\hfill \\ \hfill {\zeta }_{xxt}& =& D_x\left({\zeta }_{xt}\right)-u_{ttx}{D}_x\tau -u_{xxt}{D}_x\xi .\hfill \end{array}$$

Here $D_i$ stands for the total derivative operator.

Theorem 1.

The Lie point symmetries of the generalization of the Kelvin-Voigt Equation (1), with $f\left(u\right)$ non-linear function, and $C\left(x\right)\ne 0$, $B\left(x\right)\ne 0$ arbitrary functions, are generated by the operator

$$\begin{array}{ccc}\hfill X_1& =& {\partial }_t.\hfill \end{array}$$

For some particular functions of $f\left(u\right)$, $C\left(x\right)$, $B\left(x\right)$, there are additional generators given below.

• If $f\left(u\right)$ is an arbitrary function, $C\left(x\right)=c_1$ and $B\left(x\right)=b_1$, with $c_1$, $b_1$ arbitrary constants,

  $$X_2^1={\partial }_x.$$
• If $f\left(u\right)$ is an arbitrary function, $C\left(x\right)=c_1$ and $B\left(x\right)=b_{1}x+b_2$, with $c_1$, $b_1\ne 0$, $b_2$ arbitrary constants,

  $$X_2^2=(b_{1}x+b_2){\partial }_x+b_{1}t{\partial }_t.$$
• If $f\left(u\right)$ is an arbitrary function, $C\left(x\right)=\frac{4}{{(nx+c_1)}^2}$ and $B\left(x\right)=b_1$, with $c_1$, $b_1$ arbitrary constants, and n a positive integer,

  $$X_2^3=(nx+c_1){\partial }_x+2nt{\partial }_t.$$
• If $f\left(u\right)$ is an arbitrary function, $C\left(x\right)=c_2{(c_1-x)}^n$ and $B\left(x\right)=\frac{(-c_1+x)c_1\sqrt{{(c_1-x)}^n{c}_2}}{n}$, with $c_1$, $c_2$ arbitrary constants, and n a positive integer,

  $$X_2^4=(c_1-x){\partial }_x+\frac{1}{2}(n-2)t{\partial }_t.$$
• If $f\left(u\right)=\frac{f_0^2{e}^{\frac{-k{e}^k}{e^k-1}}{\left(\frac{(e^k-1)u}{f_0}+\frac{f_1{e}^k-f_1}{f_0}\right)}^{\frac{e^k}{e^k-1}+1}+2f_2{e}^k-f_2}{2e^k-1}$, $C\left(x\right)=c_1$ and $B\left(x\right)=b_1$, with k a positive integer, $f_0$, $f_1$, $f_2$ positive constants, and $c_1$, $b_1$ arbitrary constants, besides $X_2^5=X_2^1$,

  $$X_3^5=x{\partial }_x+2t{\partial }_t+2(-1+e^{-k})(u+f_1){\partial }_u.$$
• If $f\left(u\right)=\frac{f_1^2{e}^{\frac{-f_0{e}^{f_0}}{e^{f_0}-1}}{\left(\frac{(e^{f_0}-1)u}{f_1}+\frac{f_2{e}^{f_0}-f_2}{f_1}\right)}^{\frac{e^{f_0}}{e^{f_0}-1}+1}}{(e^{f_0}-1)\left(\frac{e^{f_0}}{e^{f_0}-1}+1\right)}+f_3$, $C\left(x\right)=c_2{(c_1-x)}^n$ and $B\left(x\right)=b_1$, with $f_0$, $f_1$, $f_2$, $f_3$ positive constants, $c_1$, $c_2$, $b_1$ arbitrary constants, and n a positive integer,

  $$X_2^6=(c_1-x){\partial }_x-2t{\partial }_t-(1+e^{-f_0})(u+f_2)(n+2){\partial }_u.$$
• If $f\left(u\right)=\frac{f_0{e}^{\frac{-k{e}^k}{e^k-1}}{\left(\frac{(e^k-1)(u+f_1)}{f_0}\right)}^{\frac{2e^k-1}{e^k-1}}+2f_2{e}^k-f_2}{2e^k-1}$, $C\left(x\right)=c_2{(b_2-x)}^{-m}$ and $B\left(x\right)=b_3{(b_2-x)}^n$, with k a positive integer, $f_0$, $f_1$, $f_2$ positive constants, $b_2$, $b_3$ arbitrary constants, and n, m positive integers,

  $$X_2^7=(b_2-x){\partial }_x+t(n-2){\partial }_t+(-1+e^{-k})(u+f_1)(m+2n-2){\partial }_u.$$

Proof of Theorem 1.

Expanding (3), we obtain an overdetermined system satisfying the determining equations for the symmetry group. From $B^2\left({\tau }_u\right)=0$ and $B^2\left({\tau }_x\right)=0$, we find that $\tau$ depends only on t. The equations $B^2\left({\xi }_t\right)=0$ and $B^2\left({\xi }_u\right)=0$ reveal that $\xi$ is a function of x alone. The remaining determining equations are

$$\begin{array}{ccc}\hfill B^2\left({\xi }_{uu}\right)=0,B^2\left({\xi }_{tu}\right)=0,B^2\left({\tau }_{uu}\right)=0,B\left({\tau }_{uu}\right)=0,B^2\left({\tau }_{uuu}\right)=0,B^2\left({\xi }_{uuu}\right)=0,& =& 0,\hfill \\ \hfill B\left(2\left({\tau }_{ux}\right)B-{\xi }_u\right)& =& 0,\hfill \\ \hfill B\left(2\left({\tau }_{uux}\right)B-{\xi }_{uu}\right)& =& 0,\hfill \\ \hfill B\left(\left({\tau }_{ux}\right)B+{\xi }_u\right)& =& 0,\hfill \\ \hfill B\left(\left({\tau }_{uxx}\right)B+{\varphi }_{uu}-2\left({\tau }_{tu}\right)\right)& =& 0,\hfill \\ \hfill B\left(\left({\xi }_u\right)\left(f_{uu}\right)C-\left({\xi }_{uu}\right)\left(f_u\right)C-\left({\xi }_{tuu}\right)B\right)& =& 0,\hfill \\ \hfill B\left(f_u\left({\varphi }_{xx}\right)C+\left({\varphi }_{txx}\right)B-{\varphi }_{tt}\right)& =& 0,\hfill \\ \hfill B\left(\left({\tau }_u\right)\left(f_u\right)C+\left({\varphi }_{uu}\right)B-\left({\tau }_{tu}\right)B-2\left({\xi }_{ux}\right)B\right)& =& 0,\hfill \\ \hfill B\left(\left({\tau }_u\right)\left(f_u\right)C-\left({\varphi }_{uu}\right)B+\left({\tau }_{tu}\right)B+2\left({\xi }_{ux}\right)B\right)& =& 0,\hfill \\ \hfill B\left(\left({\tau }_{uu}\right)\left(f_u\right)C-\left({\varphi }_{uuu}\right)B+\left({\tau }_{tuu}\right)B+2\left({\xi }_{uux}\right)B\right)& =& 0,\hfill \\ \hfill \xi \left(B^{\prime }\right)-\left({\tau }_{xx}\right)B^2+\left({\tau }_t\right)B-2\left({\xi }_{x}B\right)& =& 0,\hfill \\ \hfill B\left(2\left({\tau }_x\right)\left(f_u\right)C-2\left({\varphi }_{ux}\right)B+2\left({\tau }_{tx}\right)B+\left({\xi }_{xx}\right)B-2\left({\xi }_t\right)\right)& =& 0,\hfill \\ \hfill B\left(\left({\tau }_{xx}\right)\left(f_u\right)C-\left({\varphi }_{uxx}\right)B+\left({\tau }_{txx}\right)B+2\left({\varphi }_{tu}\right)-{\tau }_{tt}\right)& =& 0,\hfill \\ \hfill \xi \left(f_u\right)B\left(C^{\prime }\right)-\xi f_u\left(B^{\prime }\right)C+\left(\left(f_{uu}\right)\right)\varphi BC+\left({\tau }_t\right)\left(f_u\right)BC+\left({\varphi }_{tu}\right)B^2-2\left({\xi }_{tx}\right)B^2& =& 0,\hfill \\ \hfill B\left(2\left({\tau }_x\right)\left(f_{uu}\right)C+2\left({\tau }_{ux}\right)\left(f_u\right)C-2\left({\varphi }_{uux}\right)B+2\left({\tau }_{tux}\right)B+\left({\xi }_{uxx}\right)B-2\left({\xi }_{tu}\right)\right)& =& 0,\hfill \\ \hfill B\left(2\left(f_{uu}\right)\left({\varphi }_x\right)C+2f_u\left({\varphi }_{ux}\right)C-\left({\xi }_{xx}\right)\left(f_u\right)C+2\left({\varphi }_{tux}\right)B-\left({\xi }_{txx}\right)B+{\xi }_{tt}\right)& =& 0,\hfill \\ \hfill \xi \left(f_{uu}\right)B\left(C^{\prime }\right)-\xi \left(f_{uu}\right)\left(B^{\prime }\right)C+f_u\left({\varphi }_{uu}\right)BC+\left(f_{uu}\right)\left({\varphi }_u\right)BC+\left(\left(f_{uuu}\right)\right)\varphi BC+\left({\tau }_t\right)\left(f_{uu}\right)BC& & \\ \hfill -2\left({\xi }_{ux}\right)\left(f_u\right)BC+\left({\varphi }_{tuu}\right)B^2-2\left({\xi }_{tux}\right)B^2& =& 0.\hfill \end{array}$$

Solving this system of equations we find the infinitesimals $\xi$, $\tau$ and $\varphi$ of (2). □

3. Optimal Systems

It is important to classify invariant solutions according to the classification of the associated symmetry generators. Then, one generator from each class is used to determine the desired set of invariant solutions. An optimal system of generators is defined as a set consisting of exactly one generator from each class [20].

The problem of obtaining an optimal system of subgroups is equivalent to that of obtaining an optimal system of subalgebras, and so we concentrate on the latter. For one-dimensional subalgebras, this classification problem is essentially equal to classifying the orbits of the adjoint representation [5].

The most important operator on vector fields is their Lie bracket or commutator. If $X_i$ and $X_j$ are vector fields, then their Lie bracket $\left[X_i,X_j\right]$ is the unique vector field satisfying

$$\left[X_i,X_j\right]=X_i\left(X_j\right)-X_j\left(X_i\right).$$

The commutator table for the Lie algebra of Case 5 of Theorem (1) is shown in Table 1. The $\left(i,j\right)$-th entry of the table expresses the Lie bracket $\left[X_i,X_j\right]$, for i, $j=1,2,3$.

Table 1. The commutator table for Case 5 of Theorem (1).

$\left[{\mathit{X}}_{\mathit{i}},{\mathit{X}}_{\mathit{j}}\right]$	${\mathit{X}}_{\mathbf{1}}$	${\mathit{X}}_{\mathbf{2}}^{\mathbf{5}}$	${\mathit{X}}_{\mathbf{3}}^{\mathbf{5}}$
$X_1$	0	0	$2X_1$
$X_2^5$	0	0	$X_2^5$
$X_3^5$	$-2X_1$	$-X_2^5$	0

The adjoint representation can be constructed by summing the Lie series

$$\begin{array}{ccc}\hfill Ad(exp\left(ϵX_i\right))X_j& =& \sum _{n=0}^{\infty }\frac{{ϵ}^n}{n!}{\left(ad{X}_i\right)}^n\left(X_j\right),\hfill \\ & =& X_j-ϵ[X_i,X_j]+\frac{{ϵ}^2}{2}[X_i,[X_i,X_j]]-\cdots .\hfill \end{array}$$

(4)

To compute the adjoint representation, we use the Lie series (4) in conjunction with the commutator table in Table 1. The adjoint table of this Lie algebra is shown in Table 2, with the $\left(i,j\right)$-th entry indicating $Ad(exp\left(ϵX_i\right))X_j$.

Table 2. The adjoint table for Case 5 of Theorem (1).

$\mathit{Ad}(\mathbf{exp}\left(\mathit{ϵ}{\mathit{X}}_{\mathit{i}}\right)){\mathit{X}}_{\mathit{j}}$	${\mathit{X}}_{\mathbf{1}}$	${\mathit{X}}_{\mathbf{2}}^{\mathbf{5}}$	${\mathit{X}}_{\mathbf{3}}^{\mathbf{5}}$
$X_1$	$X_1$	$X_2^5$	$X_3^5-2ϵX_1$
$X_2^5$	$X_1$	$X_2^5$	$X_3^5-ϵX_2^5$
$X_3^5$	$e^{2ϵ}{X}_1$	$e^{ϵ}{X}_2^5$	$X_3^5$

Theorem 2.

A one-dimensional optimal system for the generalization of the Kelvin-Voigt Equation (1) is given by

$$\lambda X_1+\mu X_2^1,X_2^2,X_2^3,X_2^4,X_3^5,X_2^6,X_2^7,$$

where λ and μ are arbitrary constants.

Proof of Theorem 2.

Let $\mathcal{G}$ be the symmetry algebra of Equation (1), with the adjoint representation for Case 5 in Theorem (1) determined in Table 2. Let $\mathrm{v}=a_1{\mathrm{v}}_1+a_2{\mathrm{v}}_2+a_3{\mathrm{v}}_3$ be a non-zero vector field of $\mathcal{G}$. For each case, we simplify the coefficients $a_i$, $i=1,2,3$, as much as possible through proper adjoints applications on $\mathrm{v}$. □

4. Symmetry Reductions

In this section, we use the optimal system of one-dimensional subalgebras of Theorem (2) to determine the symmetry reductions of Equation (1).

The symmetry variables are found by solving the invariant surface condition

$$\Phi \equiv \xi {\partial }_x+\tau {\partial }_t-\varphi =0.$$

Reduction 1.

From $\lambda X_1+\mu X_2^1$, we obtain the travelling wave reduction

$$z=\mu x-\lambda t,u=h\left(z\right),$$

where $h\left(z\right)$ satisfies

$$\lambda {\mu }^2{b}_1{h}^{‴}-{\mu }^2{c}_1{f}^{\prime }{h}^{″}+{\lambda }^2{h}^{″}-{\mu }^2{c}_1{f}^{″}{\left(h^{\prime }\right)}^2=0.$$

Reduction 2.

From $X_2^2$, we obtain the invariant solution

$$z=\frac{b_{1}x+b_2}{t},u=h\left(z\right),$$

where $h\left(z\right)$ satisfies

$$b_1^2{h}^{‴}{z}^2+h^{″}{z}^2+3b_1^2{h}^{″}z+2h^{\prime }z+b_1^2{h}^{\prime }=0.$$

Reduction 3.

From $X_2^3$, we obtain the invariant solution

$$z=\frac{nx+c_1}{\sqrt{t}},u=h\left(z\right),$$

where $h\left(z\right)$ satisfies

$$2b_1{h}^{‴}{n}^{2}z+h^{″}{z}^2+4b_1{h}^{″}{n}^2+3h^{\prime }z=0.$$

Reduction 4.

From $X_2^4$, we obtain the invariant solution

$$z=-t^{\frac{2}{n-2}}(c_1-x),u=h\left(z\right),$$

where $h\left(z\right)$ satisfies

$$\begin{array}{cc}& 2c_1\sqrt{c_2}{h}^{\prime \prime \prime }n{\left(-z\right)}^{\frac{n}{2}}{z}^2-4c_1\sqrt{c_2}{h}^{\prime \prime \prime }{\left(-z\right)}^{\frac{n}{2}}{z}^2-4h^{\prime \prime }n{z}^2+c_1\sqrt{c_2}{h}^{\prime \prime }{n}^2{\left(-z\right)}^{\frac{n}{2}}z\hfill \\ +& 4c_1\sqrt{c_2}{h}^{\prime \prime }n{\left(-z\right)}^{\frac{n}{2}}z-12c_1\sqrt{c_2}{h}^{\prime \prime }{\left(-z\right)}^{\frac{n}{2}}z+2h^{\prime }{n}^{2}z-8h^{\prime }nz+c_1\sqrt{c_2}{h}^{\prime }{n}^2{\left(-z\right)}^{\frac{n}{2}}\hfill \\ -& 4c_1\sqrt{c_2}{h}^{\prime }{\left(-z\right)}^{\frac{n}{2}}=0.\hfill \end{array}$$

Reduction 5.

From $X_3^5$, we obtain the invariant solution

$$z=\frac{x}{\sqrt{t}},u=\frac{t^{-1+e^{-k}}}{h\left(z\right)}-f_1,$$

where $h\left(z\right)$ must satisfy a non-autonomous equation.

Reduction 6.

From $X_2^6$, we obtain the invariant solution

$$z=-(c_1-x)\sqrt{t},u=\frac{t^{\frac{(-1+e^{-f_0})(n+2)}{2}}}{h\left(z\right)}-f_2,$$

where $h\left(z\right)$ must satisfy a non-autonomous equation.

Reduction 7.

From $X_2^7$, we obtain the invariant solution

$$z=-\frac{(b_2-x)}{t^{\frac{1}{n-2}}},u=\frac{t^{\frac{-(-1+e^{-k})(m+2n-2)}{n-2}}}{h\left(z\right)}-f_1,$$

where $h\left(z\right)$ must satisfy a non-autonomous equation.

The expressions of the reduced equations for $X_3^5$, $X_2^6$, and $X_2^7$ are omitted here to save space.

5. Conservation Laws

A local conservation law for the generalization of the Kelvin-Voigt viscoelasticity Equation (1) is a continuity equation

$$D_{t}T+D_{x}X=0,$$

holding for all solutions of Equation (1), where the conserved density T and the spatial flux X are functions of x, t, u, and derivatives of u. Here $D_t$ and $D_x$ denote total derivatives with respect to t and x, respectively. The pair $(T,X)$ is called a conserved current.

Two local conservation laws are considered to be locally equivalent [5,21] if they differ by a locally trivial conservation law $T=D_x\Theta$, $X=-D_t\Theta$, where T and X are evaluated on the set of solutions of Equation (1) and $\Theta$ is a function of x, t, u, and derivatives of u.

A non-trivial conservation law can be written in a general form as

$$\frac{d}{dt}{\int }_{\Omega }^{}Tdx=-X{|}_{\partial \Omega },$$

where $\Omega \subseteq \mathbb{R}$ is any fixed spatial domain.

Any local conservation law can be stated by using the characteristic form arising from a divergence identity

$$D_t\tilde{T}+D_x\tilde{X}=(u_{tt}-{\left(C\left(x\right)f{\left(u\right)}_x\right)}_x-{\left(B\left(x\right)u_{tx}\right)}_x)Q,$$

(5)

where $\tilde{T}=T+D_x\Theta$ and $\tilde{X}=X-D_t\Theta$ are locally equivalent to T and X. The function Q is called a multiplier. It satisfies

$$Q=E_u\left(\tilde{T}\right),$$

where $E_u$ represents the Euler operator with respect to u [5], that is

$$E_u={\partial }_u-D_x{\partial }_{u_x}-D_t{\partial }_{u_t}+D_x{D}_t{\partial }_{u_{xt}}+D_x^2{\partial }_{u_{xx}}+\cdots .$$

For evolution equations, there is a one-to-one relationship between non-zero multipliers and non-trivial conserved current vectors up to local equivalence [5,9]. In general, a function $Q(x,t,u,u_t,u_x,\cdots )$ is a multiplier if it verifies that $\left(u_{tt}-{\left(C\left(x\right)f{\left(u\right)}_x\right)}_x-{\left(B\left(x\right)u_{tx}\right)}_x\right)Q$ is a divergence expression for all function $u(x,t)$. Given a multiplier Q, the conserved density can be determined by

$$T={\int }_0^{1}uQ(x,t,\lambda u,\lambda u_x,\lambda u_{xx},\cdots )d\lambda .$$

The divergence condition yields to the determining equation

$$E_u\left(\left(u_{tt}-{\left(C\left(x\right)f{\left(u\right)}_x\right)}_x-{\left(B\left(x\right)u_{tx}\right)}_x\right)Q\right)=0.$$

(6)

In order to give a complete classification of multipliers, we write and split the determining Equation (6) with respect to the variables $u_{tt},u_{ttt},u_{ttx},u_{txx},u_{xxx},u_{tttx},u_{ttxx},u_{txxx},u_{xxxx}$. Thus, we get a linear determining system for $Q(x,t,u,u_t,u_x,\cdots )$. The multipliers are found by solving the system with the same algorithmic method used for the determining equations for infinitesimal symmetries. Then, integrating the characteristic Equation (5) for each multiplier, we find the conserved current.

Theorem 3.

The multipliers admitted by the generalization of the Kelvin-Voigt Equation (1), with $f\left(u\right)$ a smooth enough non-linear function, and $C\left(x\right)\ne 0$, $B\left(x\right)\ne 0$ smooth enough arbitrary functions, are given by

$$Q_1=1,Q_2=t,Q_3=\int \frac{1}{C\left(x\right)}dx.$$

Theorem 4.

All non-trivial local conservation laws admitted by the generalization of the Kelvin-Voigt Equation (1), with $f\left(u\right)$ a smooth enough non-linear function, and $C\left(x\right)\ne 0$, $B\left(x\right)\ne 0$ smooth enough arbitrary functions, are given by

• For the multiplier $Q_1=1$, the conserved density and the spatial flux are

  $$\begin{array}{ccc}\hfill T_1& =& u_t,\hfill \\ \hfill X_1& =& -B\left(x\right)u_{tx}-C\left(x\right)f{\left(u\right)}_x.\hfill \end{array}$$
• For the multiplier $Q_2=t$, the conserved density and the spatial flux are

  $$\begin{array}{ccc}\hfill T_2& =& t{u}_t-u,\hfill \\ \hfill X_2& =& -tB\left(x\right)u_{tx}-tC\left(x\right)f{\left(u\right)}_x.\hfill \end{array}$$
• For the multiplier $Q_3=\int \frac{1}{C\left(x\right)}dx$, the conserved density and the spatial flux are

  $$\begin{array}{ccc}\hfill T_3& =& \left(\int \frac{1}{C\left(x\right)}dx\right)u_t+\left(\frac{B\left(x\right)C^{\prime }\left(x\right)}{C{\left(x\right)}^2}-\frac{B^{\prime }\left(x\right)}{C\left(x\right)}\right)u,\hfill \\ \hfill X_3& =& -\left(\int \frac{1}{C\left(x\right)}dx\right)B\left(x\right)u_{tx}-\left(\int \frac{1}{C\left(x\right)}dx\right)C\left(x\right)f{\left(u\right)}_x+\frac{B\left(x\right)u_t}{C\left(x\right)}+f\left(u\right).\hfill \end{array}$$

6. Conclusions

In this paper, we studied a generalization of the Kelvin-Voigt viscoelasticity equation given by the partial differential Equation (1). Firstly, we determined a complete Lie group classification. Then, we constructed the optimal system of one-dimensional subalgebras. These one-dimensional subalgebras have been used to find the symmetry reductions, allowing us to transform the partial differential equation into an ordinary differential equation. Moreover, we analysed all conservation laws for this equation by applying the multiplier method.