Abstract
We give a complete description of inequivalent nontrivial local conservation laws of all orders for a natural generalization of the dissipative Westervelt equation and, in particular, show that the equation under study admits an infinite number of inequivalent nontrivial local conservation laws for the case of more than two independent variables.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider a partial differential equation in \(n+1\) independent variables \(t,x_1,\ldots ,x_n\) and dependent variable u,
where n is a positive integer, a is a nonzero constant, f is an arbitrary nonlinear smooth function of u, and \(\Delta =\sum _{i=1}^n\partial ^2/\partial x_i^2\); the subscripts indicate partial derivatives in the usual manner.
We shall hereinafter refer to this equation as to the generalized dissipative Westervelt equation (GDW equation for short), as it is a natural generalization of the well-known dissipative Westervelt equation (DWE), see e.g. [2, 12, 27]. Indeed, DWE is recovered from (1) if \(f=k_2 u^2+k_1 u\) for constant \(k_1\) and \(k_2\).
Note that DWE has numerous applications in nonlinear acoustics etc. with u being interpreted as a (non-dimensional) pressure fluctuation, cf. e.g. [2, 12, 27] and references therein.
To the best of our knowledge, the only earlier work on conservation laws of (G)DW equation is [2], where for \(n=1\) a complete list of inequivalent nontrivial local conservation laws with second-order characteristics for DWE was found but the matter of possible existence of nontrivial local conservation laws with higher-order characteristics was not settled.
Our goal is to provide, in Theorem 1 below, a complete description, modulo trivial conservation laws, of all nontrivial local conservation laws for (1) with \(a\ne 0\) and nonlinear smooth f(u). To achieve this, we use, inter alia, a certain result from [14] (see Theorem 2 in Appendix for details) combined with the direct method for search of conservation laws [1]; cf. also Chap. 5 of [21].
A complete description of local conservation laws for a given PDE as outlined above is of interest as there are many important applications for conservation laws and associated integrals of motion, cf. e.g. Chap. 4 in [21], as well as [2, 4,5,6,7,8, 10, 11, 18,19,20, 22, 24, 25], and references therein. For instance, certain existence results for PDEs use conservation laws in their proofs, cf. e.g. [7, 8], and it is known that discretizations of a PDE tend to behave better when taking into account the (nontrivial) conservation laws admitted by the PDE in question, see e.g. [4, 10] and cf. related works [9, 15,16,17].
Finding all nontrivial local conservation laws for a given PDE is a difficult problem that was successfully addressed in the past only for a rather small number of equations, see e.g. [13, 14, 23, 26] and references therein, and to the best of our knowledge the GDW equation is not among those examples.
What is more, the overwhelming majority of PDEs with all nontrivial local conservation laws known is strictly evolutionary, i.e., the equations under study have the form of the time derivative of the dependent variable being equal to a function of independent variables, dependent variable and its partial derivatives with respect to independent variables not involving time. The GDW equation is not strictly evolutionary which makes the study of its conservation laws even more nontrivial.
The rest of the paper is organized as follows: in Sect. 2 we present our main result, Theorem 1, and discuss it, while Sect. 3 presents the proof thereof. In order to make the paper more self-contained, we have added an Appendix presenting the result from [14] that we use in the proof of Theorem 1 and a number of related definitions and formulas.
2 Main Result and Discussion
We are now ready to state our main theorem:
Theorem 1
For Eq. (1) with any nonlinear smooth function f(u) and with any nonzero constant a all nontrivial local conservation laws of all orders are, modulo the addition of trivial ones, of the following form:
where \(\chi =\varphi _0+t\varphi _1\) and \(\varphi _\alpha =\varphi _\alpha (x_1,\ldots ,x_n)\) are arbitrary smooth functions of their arguments satisfying
As usual, cf. e.g. [21], the conservation laws in (2) are written as differential identities holding modulo (1) and its differential consequences.
Before proceeding to the proof note that the above result shows, in particular, that the case of the original DWE for which \(f=k_2 u^2+k_1 u\) with a nonzero constant \(k_2\) is not distinguished by presence of additional nontrivial local conservation laws.
Also observe that for \(n=1\) a general smooth solution of (3) takes a particularly simple form
where \(\eta ^{(\beta )}_\alpha \), \(\alpha ,\beta =0,1\), are arbitrary constants.
If f is quadratic in u and \(n=1\) then we recover, up to slight differences in notation, the local conservation laws for DWE found in [2] (our \(a\ne 0\) corresponds to \(\alpha \ne 0\) in the notation of [2]). Moreover, our result goes beyond that of [2] in that we show that the four conservation laws in question ((20)–(23) in [2]) exhaust all inequivalent nontrivial local conservation laws with characteristics of all orders for DWE with \(n=1\) and quadratic f with nonzero quadratic term (recall that we have \(a\ne 0\) in (1) from the outset).
Note also that using integral representations for solutions of homogeneous Laplace equation it is possible to write down a general smooth solution for (3) with \(n=2,3,\ldots \), involving a total of four arbitrary functions of \(n-1\) independent variables, but the resulting formulas are rather cumbersome and thus are left beyond the scope of the present paper.
It is now clear that for any integer \(n>1\) Eq. (1) with nonzero a and nonlinear smooth f has infinitely many inequivalent nontrivial local conservation laws, while for \(n=1\) there are just four inequivalent nontrivial local conservation laws for the equation under study.
3 Proof of the Main Result
Since Eq. (1) is normal in the sense of [21], any nontrivial local conservation law for (1) should have, see e.g. [21], a nonzero characteristic \(\chi \) which is a local function, see Appendix for further details on the latter.
Now observe that Eq. (1) with arbitrary smooth function f of u and nonzero constant a can be written in the form (8) with \(h=3\), \(F=-(1/a)(\left( f(u)\right) _{tt}+\Delta u)\) and \(x\text {-}{\text {ord}}F=2\). Since for (1) we have \(h+x\text {-}{\text {ord}}F=5\), it is readily checked that (1) satisfies the conditions of Theorem 2 from Appendix with \(O_F=-1\), so characteristics of local conservation laws of the equation under study may depend at most on the independent variables \(t,x_1,\ldots ,x_n\).
Thus, any nontrivial local conservation law for (1) is equivalent (modulo the addition of a trivial local conservation law) to a nontrivial local conservation law for which we have
where the characteristic \(\chi \) may depend at most on independent variables \(t,x_1,\ldots ,x_n\) and \(\rho \) and \(\sigma _j\), \(j=1,\ldots ,n\), are local functions.
As per the discussion in Appendix, the above characteristic \(\chi =\chi (t,x_1,\ldots ,x_n)\) must satisfy
To proceed, observe that as \(f_{uu}\) is nonzero by virtue of our assumption of f being nonlinear, 1 and \(f_u\) are linearly independent as functions of u.
Equating to zero the coefficients at linearly independent functions \(f_u\) and 1 in (5) yields
and
From (6) we get
where \(\varphi _\alpha =\varphi _\alpha (x_1,\ldots ,x_n)\), \(\alpha =0,1\), are arbitrary smooth functions of their arguments.
Substituting this into (7) and equating to zero the coefficients at the powers of t yields
and thus we arrive at (3).
It is now a straightforward matter to verify that any smooth \(\chi =\varphi _0+t\varphi _1\) with smooth functions \(\varphi _\alpha =\varphi _\alpha (x_1,\ldots ,x_n)\), \(\alpha =0,1\), satisfying (3) is a characteristic for a local conservation law of the form (2) for (1), and the result follows.
Data Availability
The present work has no associated data.
Notes
For the sake of simplicity in the body of the article we use a slightly different notation for conservation laws not involving total derivatives.
References
Anco, S.C., Bluman, G.: Direct construction method for conservation laws of partial differential equations Part I: Examples of conservation law classifications. Eur. J. Appl. Math. 13, 545–566 (2002). arXiv:math-ph/0108023
Anco, S.C., Márquez, A.P., Garrido, T.M., Gandarias, M.L.: Symmetry analysis and hidden variational structure of Westervelt’s equation in nonlinear acoustics. Commun. Nonlinear Sci. Numer. Simul. 124, 107315 (2023)
Baran, H., Marvan, M.: Jets. A software for differential calculus on jet spaces and diffieties. http://jets.math.slu.cz/
Bhatt, A., Moore, B.E.: Exponential integrators preserving local conservation laws of PDEs with time-dependent damping/driving forces. J. Comput. Appl. Math. 352, 341–351 (2019)
Błaszak, M., Sergyeyev, A.: Generalized Stäckel systems. Phys. Lett. A 375(27), 2617–2623 (2011)
Cheviakov, A., Zhao, P.: Analytical Properties of Nonlinear Partial Differential Equations: With Applications to Shallow Water Models. Springer, Cham (2024)
Constantin, A., Escher, J.: Wave breaking for nonlinear nonlocal shallow water equations. Acta Math. 181(2), 229–243 (1998)
Constantin, A., Strauss, W.A.: Stability of peakons. Commun. Pure Appl. Math. 53(5), 603–610 (2000)
Dorodnitsyn, V.A., Kaptsov, E.I.: Discrete shallow water equations preserving symmetries and conservation laws. J. Math. Phys. 62, 083508 (2021)
Frasca-Caccia, G., Hydon, P.: A new technique for preserving conservation laws. Found. Comput. Math. 22, 477–506 (2022)
Giné, J.: On the first integrals in the center problem. Bull. Sci. Math. 137(4), 457–465 (2013)
Hamilton, M.F., Morfey, C.L.: Model equations. In: Hamilton, M.F., Blackstock, D.T. (eds.) Nonlinear Acoustics, pp. 41–64. Academic Press, San Diego (1998)
Holba, P.: Complete classification of local conservation laws for a family of PDEs generalizing Cahn–Hilliard and Kuramoto–Sivashinsky equations. Stud. Appl. Math. 151, 171–182 (2023)
Igonin, S.A.: Conservation laws for multidimensional systems and related linear algebra problems. J. Phys. A: Math. Gen. 35, 10607–10617 (2002)
Kaptsov, E.I., Dorodnitsyn, V.A., Meleshko, S.V.: Conservative invariant finite-difference schemes for the modified shallow water equations in Lagrangian coordinates. Stud. Appl. Math. 149(3), 729–761 (2022)
Kaptsov, E.I., Dorodnitsyn, V.A., Meleshko, S.V.: Invariant finite-difference schemes for cylindrical one-dimensional MHD flows with conservation laws preservation. Commun. Nonlinear Sci. Numer. Simul. 126, 107514 (2023)
Kaptsov, E.I., Meleshko, S.V.: Analysis of the one-dimensional Euler–Lagrange equation of continuum mechanics with a Lagrangian of a special form. Appl. Math. Model. 77(Part 2), 1497–1511 (2020)
Llibre, J., Valls, C.: Invariants of polynomial vector fields. J. Differ. Equ. 365, 895–904 (2023)
Ma, W.-X.: The commutative property of reciprocal transformations and dimensional deformations. Qual. Theory Dyn. Syst. 23, 2 (2024)
Marvan, M., Sergyeyev, A.: Recursion operator for the stationary Nizhnik–Veselov–Novikov equation. J. Phys. A: Math. Gen. 36(5), L87–L92 (2003)
Olver, P.J.: Applications of Lie Groups to Differential Equations. Springer, Berlin (1993)
Pan-Collantes, A.J.: Integrable (3+1)-dimensional generalization for the dispersionless Davey-Stewartson system. Qual. Theory Dyn. Syst. 23, 151 (2024)
Sergyeyev, A., Vitolo, R.: Symmetries and conservation laws for the Karczewska–Rozmej–Rutkowski–Infeld equation. Nonlinear Anal. Real World Appl. 32, 1–9 (2016)
Shen, Y., Tian, B., Yang, D.Y., Zhou, T.-Y.: Studies on a three-field lattice system: N-fold Darboux transformation, conservation laws and analytic solutions. Qual. Theor. Dyn. Sys. 22, 74 (2023)
Tracinà, R., Freire, I.L., Torrisi, M.: Nonlinear self-adjointness of a class of third order nonlinear dispersive equations. Commun. Nonlinear Sci. Numer. Simul. 32, 225–233 (2016)
Vašíček, J.: Conservation laws and nonexistence of local Hamiltonian structures for generalized Infeld–Rowlands equation. Accepted for Publication in Rep. Math. Phys.
Westervelt, P.: Parametric acoustic array. J. Acoust. Soc. Am. 35, 535–537 (1963)
Acknowledgements
The author would like to thank Igor Leite Freire for stimulating discussions and the anonymous referees for helpful comments.
Some of the computations in connection with the present article were performed using the package Jets [3] for Maple® whose use is hereby acknowledged with gratitude.
Funding
Open access publishing supported by the National Technical Library in Prague. This research was supported in part through institutional support for the development of research organizations (RVO) for IČ 47813059, which is hereby gratefully acknowledged.
Author information
Authors and Affiliations
Contributions
The present work was written up and related research and computations were all done by the present author.
Corresponding author
Ethics declarations
Conflict of interest
The present author is not aware of any Conflict of interest pertaining to the present article.
Competing interest
The authors declare no competing interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Conservation Laws for PDEs of the Form (8)
Appendix: Conservation Laws for PDEs of the Form (8)
Given a multi-index \(I=(i_1,\ldots ,i_n)\in \mathbb {Z}_+^n\), where \(\mathbb {Z}_+\) denotes the set of nonnegative integers, and an integer \(s\ge 0\), let \(u_{s,I}=\partial ^{|I|+s} u/\partial t^s\partial x_1^{i_1}\cdots \partial x_n^{i_n}\), where \(|I|=i_1+\cdots +i_n\), cf. [14].
Now, following [14], consider a PDE of the form
where h and m are positive integers, and \(I_k\in \mathbb {Z}_+^n\) are pairwise distinct multi-indices with \(I_k\ne (0,\ldots ,0)\) for all \(k=1,\ldots ,m\).
A smooth function depending at most on \(t,x_1,\ldots ,x_n\) and finitely many \(u_{s,I}\) with \(s<h\) is called in this setting a local function.
For a local function f defineFootnote 1 [14] its x-order \(x\text {-}{\text {ord}}f\) as the greatest integer k such that there exist \(s\in \mathbb {Z}_+\) and \(I\in \mathbb {Z}_+^n\) for which \(|I|=k\) and \(\partial f/\partial u_{s,I}\ne 0\). If \(\partial f/\partial u_{s,I}=0\) for all s and I then we set, following [14], \(x\text {-}{\text {ord}}f=-1\).
Further following [14], consider the operators of total derivatives adapted to (8):
where \(1_i\) is a multi-index with the only nonzero entry being 1 at the ith place, and for \(I=(i_1,\ldots ,i_n)\) we have \(D_x^I=D_{x_1}^{i_1}\circ \cdots \circ D_{x_n}^{i_n}\); consider [14] also an operator
and let
A local conservation law for (8) is in this setting, cf. e.g. [14, 21], an identity of the formFootnote 2
where \(J_0\) and \(J_i\) are local functions; it can be shown, see e.g. [14], that the characteristic of this conservation law has the form \(\sum _{I\in \mathbb {Z}_+^n} \partial J_0/\partial u_{h-1,I}\).
A local conservation law for (8) is nontrivial if its characteristic is nonzero and trivial otherwise (see e.g. [1, 21] and references therein for further details on these concepts).
Two local conservation laws for (8), say, (9) and
are called equivalent if their difference, i.e.,
is a trivial local conservation law, see e.g. [14, 21] for details.
In this connection recall [14] that if a local function \(\chi \) is a characteristic for some local conservation law for (8) then \(\chi \) must satisfy the equation
For example, for a local characteristic \(\chi \) of a local conservation law for (1), which can be rewritten in the form (8) as \(u_{3,0}=-(1/a)(D_t^2(f(u))+\sum _{i=1}^n D_{x_{i}}^2(u))\), (10) takes the form
and if \(\chi =\chi (t,x_1,\ldots ,x_n)\) then, upon multiplication by a which is nonzero by assumption, and bringing all terms to the left-hand side, the above equation boils down to (5), that is,
For proving Theorem 1 we shall also need the following general result (Theorem 6 of [14]):
Theorem 2
[14] Consider a fixed PDE of the form (8) such that \(h+x\text {-}{\text {ord}}F\) is an odd integer greater than one. Then the PDE in question admits no nontrivial local conservation laws with characteristics of x-order higher than \(O_F\).
The power of this theorem rests in the fact that under rather mild assumptions it tells us on which (finite) set of derivatives of u can at most depend the characteristics of nontrivial local conservation laws for (8), i.e., an extremely difficult problem of search for conservation law characteristics of all orders boils down to that for characteristics whose x-order is not higher than \(O_F\) (and such characteristics hence depend only on a finite number of \(u_{s,I}\)). This latter problem often can be readily handled in full generality using, if need be, available computer algebra software packages like e.g. Jets [3] for Maple®. Some examples of application of the result in question, other than Theorem 1 of the present paper or the examples in [14], can be found e.g. in [13].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Sergyeyev, A. Complete Description of Local Conservation Laws for Generalized Dissipative Westervelt Equation. Qual. Theory Dyn. Syst. 23, 209 (2024). https://doi.org/10.1007/s12346-024-01066-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12346-024-01066-0