Next Article in Journal
A Framework for Circular Multilevel Systems in the Frequency Domain
Next Article in Special Issue
Lie and Q-Conditional Symmetries of Reaction-Diffusion-Convection Equations with Exponential Nonlinearities and Their Application for Finding Exact Solutions
Previous Article in Journal
How to Address the Data Quality Issues in Regression Models: A Guided Process for Data Cleaning
Previous Article in Special Issue
Analytic Solutions of Nonlinear Partial Differential Equations by the Power Index Method
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Nonclassical Symmetries of a Power Law Harry Dym Equation

Department of Mathematics, University of Central Arkansas, Conway, AR 72035, USA
*
Author to whom correspondence should be addressed.
Symmetry 2018, 10(4), 100; https://doi.org/10.3390/sym10040100
Submission received: 31 January 2018 / Revised: 3 April 2018 / Accepted: 4 April 2018 / Published: 6 April 2018

Abstract

:
It is generally known that classical point and potential Lie symmetries of differential equations can be different. In a recent paper, we were able to show for a class of nonlinear diffusion equation that the nonclassical potential symmetries possess all nonclassical symmetries of the original equation. We question whether this is true for the power law Harry Dym equation. In this paper, we show that the nonclassical symmetries of the power law Harry Dym equation and an equivalent system still possess special separate symmetries. However, we will show that we can extend the nonclassical method so that all nonclassical symmetries of the original power law Harry Dym equation can be obtained through the equivalent system.

1. Introduction

Symmetry analysis plays a fundamental role in the construction of exact solutions to nonlinear partial differential equations. Based on the original work of Lie [1] on continuous groups, symmetry analysis provides a unified explanation for the seemingly diverse and ad-hoc integration methods used to solve ordinary differential equations. At the present time, there is extensive literature on the subject, and we refer the reader to the books by Arrigo [2], Bluman and Kumei [3], Cherniha et al. [4], and Olver [5] .
A question that continues to arise is in the symmetries of a particular equation and an equivalent system. For example, the nonlinear diffusion equation
u t = u m u x x
and the equivalent system
v t = u m u x , v x = u
possess different symmetries for different values of m. If m = 4 / 3 then (1) possesses extra symmetries (see [3,6,7]) whereas if m = 2 , then the system (2) possesses extra symmetries ([8]). A further example is found with the wave equation
u t t = u m u x x
and the equivalent system
v t = u m u x , v x = u t
where the powers m = 4 / 3 and m = 4 show themselves as special ([9,10,11]). The idea that point symmetries can be gained or loss when one considers equivalent potential systems has been an active area of research (see, for example, [12,13,14,15,16] and references within) and has been applied to a number of equations including the nonlinear heat and wave equations ([8,17,18,19]), the equations of planar gas dynamics ([13,20,21]) and the equations of nonlinear elasticity [22] to name just a few.
Arrigo et al. [23] asked whether this holds true for nonclassical symmetries; that the nonclassical symmetries of a particular equation and a system equivalent (termed nonclassical potential symmetries) are different. They were able to show that for a large class of nonlinear diffusion equation, the nonclassical potential symmetries contains the nonclassical symmetries of the original equation. They were also able to show this for a nonlinear wave equation and highlighted a special case where the opposite was true. In this paper, we continue our study where we consider a power law Harry Dym equation and an equivalent system.

2. Classical Symmetries of the Harry Dym Equation

The power law Harry Dym equation
u m t = u x x x
admits the symmetry generator
Γ = T t + X x + U u
where T , X and U are
T = 3 c 1 t + c 0 , X = b 1 x + b 0 , U = 3 ( c 1 b 1 ) u m 1 ,
for general powers m ( m 1 ) and in the special case m = 2 ,
T = 3 c 1 t + c 0 , X = b 2 x 2 + b 1 x + b 0 , U = ( 2 b 2 x + b 1 c 1 ) u ,
where c i , b i are arbitrary constants (Bruzon et al. [24]) noting the additional generator in (8)
Γ = x 2 x + 2 x u u .
We note that the symmetries in (8) can be connected by a nonlocal transformation to the ones that appear in the work of Tychynin [25] for the Harry Dym type equation
w t = w x x 3 / 2 w x x x .
The equivalent system
v t = u x x , v x = u m ,
admits the symmetry generator
Γ = T t + X x + U u + V v
where T , X , U and V are given by
T = 3 c 1 t + c 0 , X = b 1 x + b 0 , U = 3 ( c 1 b 1 ) u m 1 , V = 3 c 1 m ( 2 m + 1 ) b 1 v m 1 + c 2
for m 1 and in the special case of m = 1 / 2 ,
T = 3 c 1 t + c 0 , X = b 1 x + F ( t , v ) , U = 2 ( b 1 c 1 ) u + 2 u F v ( t , v ) , V = c 1 v + c 2 ,
where again c i , b i are arbitrary constants and F ( t , v ) satisfies F t + 2 F v v v = 0 (Gardarais and Bruzon [26]).
It is interesting to note that the appearance of the arbitrary function F ( t , v ) in the symmetry (13) satisfies a linear PDE. This indicates that in the case m = 1 / 2 , the original system (10) is linearizable (Bluman and Kumei [27]). In fact, under the point transformation
t = t ¯ , x = v ¯ , u = u ¯ , v = x ¯ ,
where u ¯ = u ¯ ( t ¯ , x ¯ ) and v ¯ = v ¯ ( t ¯ , x ¯ ) , (10) is transformed to
v ¯ t ¯ = u ¯ x ¯ x ¯ v ¯ x ¯ + u ¯ x ¯ v ¯ x ¯ x ¯ v ¯ x ¯ 2 , v ¯ x ¯ = u ¯ 1 / 2 ,
and elimination of u ¯ in (15) gives v ¯ t ¯ + 2 v ¯ x ¯ x ¯ x ¯ = 0 .
As this example illustrates, there continue to be cases where the classical symmetries of a PDE and an equivalent system are different. We ask whether these differences persist when we extend the analysis to nonclassical symmetries.

3. Nonclassical Symmetries of the Power Law Harry Dym Equation

To calculate the nonclassical symmetries, we append to the original PDE (or system) an invariant surface condition(s) and seek invariance of both together [28]. For the single equation, we seek invariance of (5) and
T u t + X u x = U
whereas for the system, we seek invariance of (10) augmented with the pair of surface conditions
T u t + X u x = U , T v t + X v x = V .
If T 0 , we can set T = 1 without loss of generality which we do so here. The nonclassical method give rises to a set of determining equations for the functions X and U (or X , U and V for the system) which we need to solve. As we are dealing with two equations, the single Harry Dym Equation (5) and an equivalent system (10), we will be considered them separately.
The determining equations for the nonclassical symmetries of (5) are:
X u = 0 , U u u = 0 , U x u X x x = 0 , m U t + 3 U X x u m 1 + m ( m 1 ) U 2 u m 2 U x x x = 0 , m X t + 3 X X x u m 1 + m ( m 1 ) X U u m 2 + 3 U x x u X x x x = 0 .
These are solved giving the following. For general powers m
X = a ( t ) x + b ( t ) , U = c ( t ) u ,
where a ( t ) , b ( t ) and c ( t ) satisfy
a ˙ + 3 a 2 + ( m 1 ) a c = 0 , b ˙ + 3 a b + ( m 1 ) b c = 0 , c ˙ + 3 a c + ( m 1 ) c 2 = 0 .
These are easily solved and are equivalent to the classical symmetries presented in (7). We also have two special cases: m = 2 and m = 2 . When m = 2 , then
X = a ( t ) x 2 + b ( t ) x + c ( t ) , U = 2 a ( t ) x + d ( t ) u ,
where a ( t ) , b ( t ) , c ( t ) , and d ( t ) satisfy
a ˙ + 3 a b 3 a d = 0 , b ˙ + 3 b 2 3 b d = 0 ,
c ˙ + 3 b c 3 c d = 0 , d ˙ + 3 b d 3 d 2 = 0 .
These are easily solved and are equivalent to the classical symmetries presented in (8). When m = 2 then
X = 0 , U = Q ( x ) ,
where Q = 2 Q 2 . This, to the best of our knowledge is a new result.
The determining equations for the nonclassical symmetries of (10) are:
V u u m X u = 0 , V x + V v X x u m X v u 2 m m U u m 1 = 0 , X u u = 0 , U u u 2 X x u 2 X u v u m m X v u m 1 = 0 , X x x + 3 V X u 2 X x u X V u + X v v u 2 m + X x v 2 U u v 2 X X u u m m U v u m 1 = 0 , V t + 2 V X x V U u + U V u + V V v U x x X X v + U v v u 2 m X t + 2 X X x + U X u X U u V X v + X V v + 2 U x v u m = 0 .
These are solved giving rise to the following results. For general powers m ( m 1 )
X = a ( t ) x + b ( t ) , U = ( c ( t ) a ( t ) ) u m 1 , V = c ( t ) v + d ( t ) ,
where a ( t ) , b ( t ) , c ( t ) , and d ( t ) satisfy
m a ˙ + ( 2 m + 1 ) a 2 + ( m 1 ) a c = 0 , m b ˙ + ( 2 m + 1 ) a b + ( m 1 ) b c = 0 , m c ˙ + ( 2 m + 1 ) a c + ( m 1 ) c 2 = 0 , m d ˙ + ( 2 m + 1 ) a d + ( m 1 ) c d = 0 ,
and are easily solved leading to a recovery of classical symmetries presented in (12). In the special case where m = 1 / 2 , then
X = ( G v + p ( t ) ) x + H ( t , v ) , U = 2 p ( t ) u + 2 G v u , V = G ( t , v ) ,
where G ( t , v ) , H ( t , v ) and p ( t ) satisfy
G t + 3 G G v 4 G v v v = 0 , G t v + 3 G v 2 + 2 G v v v v + 3 p ( t ) G v + p ˙ = 0 , H t + 3 H G v + 2 H v v v = 0 .
This overdetermined system can be solved and are equivalent to the classical symmetries presented in (13).
As this example illustrates, the nonclassical symmetries continue to separate into cases where each (the single equation vs an equivalent system) posses special symmetries. Unlike the case for the nonlinear diffusion equation where the nonclassical symmetries of an equivalent system captures the nonclassical symmetries of the original PDE, it is simply not true for the Harry Dym equation. A natural question to ask is can we extend the nonclassical method so that the nonclassical symmetries of the equivalent system encompasses the nonclassical symmetries of the single equation? For example, the Harry Dym equation
u 2 t = u x x x
admits the conditional symmetry operator
Γ = t + x 2 x + 2 x u u .
The associated invariant surface condition is
u t + x 2 u x = 2 x u .
It is an easy matter to show that (28) and (30) are compatible. In terms of an equivalent system
v t = u x x , v x = u 2 ,
we would append the invariant surface conditions
u t + x 2 u x = 2 x u , v t + x 2 v x = V ( t , x , u , v ) ,
for some V. However, there is no V ( t , x , u , v ) such that (31) and (32) are compatible. However, if we change the second equation in (32) and consider
u t + x 2 u x = 2 x u , v t 2 u x x = 2 u x 2 x 2 u 2
then (31) and (33) are in fact compatible. Thus, we propose that it is possible to extended the nonclassical method so that all the nonclassical symmetries of the original PDE (1) can be obtained through the equivalent system (2). We prove this in the next section.

4. Nonclassical Method Extension

In this section, we will show that it is possible to extend the nonclasical method as to obtain the nonclassical symmetries of the original single PDE (5). In fact, we will show this for the general class of PDEs
F ( u ) t = u x x x .
The determining equations for the nonclassical symmetries of (34) are
U u u = 0 , U x u X x x = 0 , U 2 F u u + U + t + 3 U X x F u U x x x = 0 , X U F u u + X t + 3 X X x F u + 3 U x x u X x x x = 0 ,
where X = X ( t , x ) and U = U ( t , x , u ) . The equivalent system to (34) is
v t = u x x , v x = F ( u ) .
If we were to append to (36)
u t + X u x = U , v t + X v x = V ,
where U = U ( t , x , u ) and V = V ( t , x , u , v ) and require compatibility, we would obtain the determining equations for the nonclassical symmetries of the system. However, as shown in the previous section, we cannot obtain all the nonclassical symmetries of the original PDE. This was explicitly shown when F = u m . In order to extend the nonclassical method, we now seek compatibility of (36) with the following first order system
u t + X u x = U , v t = V ( t , x , u , v , u x )
We have omitted the inclusion of v x in V due to (36). On solving (36) and (38) for v t , v x , u t and u x x , we obtain
v t = V ( t , x , u , v , u x ) , v x = F ( u ) , u t = U X u x , u x x = V ( t , x , u , v , u x ) .
Requiring compatibility of (39) (i.e., v t x = v x t and u t x x = u x x t ) gives rise to
V x + p V u + F ( u ) V v + V V p + p X U F ( u ) = 0 ,
V t + X V x + U V u + V + X F V v + U x + p U u p X x V p + 2 X x U u V U x x + p X x x 2 U x u p U u u p 2 = 0 .
We now show that V exists satisfying (40a) and (40b) if X and U satisfy (35). It suffices to show that (40a) and (40b) are compatibile. Solving (40a) and (40b) for V t and V x and imposing compatibility gives
3 U u u p + U x u X x x V + U u u u p 3 + 3 U x u u p 2 + X U F u u + X t + 3 X X x F u + 3 U x x u X x x x p U 2 F u u + U + t + 3 U X x F u U x x x = 0 ,
which, by the virtue of (35) is identically satisfied showing that V exists thus proving our claim.

5. Conclusions

It is well known that classical Lie symmetries for different equivalent equations can be different. In a previous paper, we questioned whether this is true if we extend the symmetries to include nonclassical symmetries. Although we were able to show for certain classes of equation, the nonclassical symmetries of an equivalent system captures the nonclassical symmetries of the single equation, in general this is not true. In this paper, we have considered the nonclassical symmetries of a power law Harry Dym equation and an equivalent system. We have shown that there continue to be special cases where special nonclassical symmetries exists for each (a single equation vs a equivalent system). However, we have shown in the case of a generalized Harry Dym equation, we can extend the nonclassical method to encompass the nonclassical symmetries of both the single equation and an equivalent system.

Acknowledgments

The second author gratefully acknowledges the support of an Arkansas SURF grant.

Author Contributions

The authors contributed equally to this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Lie, S. Klassifikation und Integration von gewohnlichen Differentialgleichen zwischen x, y die eine Gruppe von Transformationen gestatten. Math. Ann. 1888, 32, 213–281. [Google Scholar] [CrossRef]
  2. Arrigo, D.J. Symmetries Analysis of Differential Equations—An Introduction; Wiley: Hoboken, NJ, USA, 2015. [Google Scholar]
  3. Bluman, G.; Kumei, S. Symmetries and Differential Equations; Springer: Berlin, Germany, 1989. [Google Scholar]
  4. Cherniha, R.; Mykola, S.; Pliukhin, O. Nonlinear Reaction-Diffusion-Convection Equations: Lie and Conditional Symmetry, Exact Solutions and Their Applications; CRC Press: Boca Raton, FL, USA, 2018. [Google Scholar]
  5. Olver, P.J. Applications of Lie Groups to Differential Equations, 2nd ed.; Springer: Berlin, Germany, 1993. [Google Scholar]
  6. Ovsiannikov, L.V. Gruppovye Svoystva Uravnenya Nelinaynoy Teploprovodnosty. Dok. Akad. Nauk. CCCP 1959, 125, 492. [Google Scholar]
  7. Ovsiannikov, L.V. Group Analysis of Differential Equations; Chapovsky, Y., Translator; Ames, W.F., Ed.; Academic Press: New York, NY, USA; London, UK, 1982. [Google Scholar]
  8. Bluman, G.W.; Reid, G.J.; Kumei, S. New classes of symmetries for partial differential equations. J. Math. Phys. 1988, 29, 806–811. [Google Scholar] [CrossRef]
  9. Arrigo, D.J. Group Properties of a Monge-Ampere Equation. Ph.D. Thesis, Georgia Tech, Atlanta, GA, USA, 1991. [Google Scholar]
  10. Ames, W.F.; Lohner, R.J.; Adams, E. Group properties of utt = [f(u)ux]x. Int. J. Non-Linear Mech. 1981, 16, 439–447. [Google Scholar] [CrossRef]
  11. Bluman, G.; Cheviakov, A.F.; Anco, S.C. Application of Symmetry Methods to Partial Differential Equations; Springer: Berlin, Germany, 2010. [Google Scholar]
  12. Bluman, G.W.; Cheviakov, A.F. Framework for potential systems and nonlocal symmetries: Algorithmic approach. J. Math. Phys. 2005, 46, 123506. [Google Scholar] [CrossRef]
  13. Bluman, G.W.; Cheviakov, A.F.; Ivanova, N.M. Framework for nonlocally related partial differential equation systems and nonlocal symmetries: Extension, simplification, and examples. J. Math. Phys. 2006, 47, 113505. [Google Scholar] [CrossRef]
  14. Bluman, G.W.; Temuerchaolu; Sahadevan, R. Local and nonlocal symmetries for nonlinear telegraph equation. J. Math. Phys. 2005, 46, 023505. [Google Scholar] [CrossRef]
  15. Cheviakov, A.F.; Bluman, G.W. On locally and nonlocally related potential systems. J. Math. Phys. 2010, 51, 073502. [Google Scholar] [CrossRef]
  16. Yang, Z.; Cheviakov, A.F. Some realations between symmetries of nonlocally related systems. J. Math. Phys. 2014, 55, 083514. [Google Scholar] [CrossRef]
  17. Bluman, G.W.; Cheviakov, A.F. Nonlocally related systems, linearization and nonlocal symmetries for the nonlinear wave equation. Math. Anal. Appl. 2007, 333, 93–111. [Google Scholar] [CrossRef]
  18. Bluman, G.W.; Doran-Wu, P. The use of factors to discover potential systems or linearizations. Acta Appl. Math. 1995, 41, 21–43. [Google Scholar] [CrossRef]
  19. Bluman, G.; Kumei, S. On invariance properties of the wave equation. J. Math. Phys. 1987, 28, 307–319. [Google Scholar] [CrossRef]
  20. Akhatov, S.; Gazizov, R.K.; Ibragimov, N.K. Nonlocal symmetries. Heuristic approach. J. Sov. Math. 1991, 55, 1401–1450. [Google Scholar] [CrossRef]
  21. Sjöberg, A.; Mahomed, F.M. Non-local symmetries and conservation laws for one-dimensional gas dynamics equations. Appl. Math. Comput. 2004, 150, 379–397. [Google Scholar] [CrossRef]
  22. Bluman, G.; Cheviakov, A.; Ganghoffer, J.F. On the nonlocal symmetries, group invariant solutions and conservation laws of the equations of nonlinear dynamical compressible elasticitiy. In Proceedings of the IUTAM Symposium on Progress in the Theory and Numerics of Configurational Mechanics, Erlangen, Germany, 20–24 October 2008; Steinmann, P., Ed.; Springer: Dordrecht, The Netherlands, 2009; pp. 107–120. [Google Scholar]
  23. Arrigo, D.J.; Ashley, B.P.; Bloomberg, S.J.; Deatherage, T.W. Nonclassical Symmetries of a Nonlinear. Diffusion-Convection/Wave Equation and Equivalents Systems. Symmetry 2016, 8, 140. [Google Scholar] [CrossRef]
  24. Bruzon, M.S.; Gandarias, M.L.; Gonzalex, G.A.; Hansen, R. The K(m,n) equation with a generalized evolution term studied by symmetry reductions and qualitative anslysis. Appl. Math. Comp. 2012, 218, 10094–10105. [Google Scholar] [CrossRef]
  25. Tychynin, V.A. Non-local symmetry and generating solutions for Harry-Dym type equations. J. Phys. A Math. Gen. 1994, 27, 4549–4556. [Google Scholar] [CrossRef]
  26. Bruzon, M.S.; Gandarias, M.L. Classical potential symmetries of the K(m,n) equation with generalized evolution term. WSEAS Trans. Math. 2010, 4, 275–284. [Google Scholar]
  27. Bluman, G.; Kumei, S. When nonlinear differential equations are equivalent to linear differential equations. SIAM J. Appl. Math. 1982, 42, 1157–1173. [Google Scholar]
  28. Bluman, G.W.; Cole, J.D. The general similarity solution of the heat equation. J. Math. Phys. 1969, 18, 1025–1042. [Google Scholar]

Share and Cite

MDPI and ACS Style

Arrigo, D.J.; Weaver, A.N. Nonclassical Symmetries of a Power Law Harry Dym Equation. Symmetry 2018, 10, 100. https://doi.org/10.3390/sym10040100

AMA Style

Arrigo DJ, Weaver AN. Nonclassical Symmetries of a Power Law Harry Dym Equation. Symmetry. 2018; 10(4):100. https://doi.org/10.3390/sym10040100

Chicago/Turabian Style

Arrigo, Daniel J., and Andrea N. Weaver. 2018. "Nonclassical Symmetries of a Power Law Harry Dym Equation" Symmetry 10, no. 4: 100. https://doi.org/10.3390/sym10040100

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop