Alexei F. Cheviakov. University of Saskatchewan, Saskatoon, Canada. INPL seminar June 09, 2011

Similar documents
Conservation Laws: Systematic Construction, Noether s Theorem, Applications, and Symbolic Computations.

Conservation Laws for Nonlinear Equations: Theory, Computation, and Examples

Construction of Conservation Laws: How the Direct Method Generalizes Noether s Theorem

Conservation Laws of Surfactant Transport Equations

A Recursion Formula for the Construction of Local Conservation Laws of Differential Equations

Natural States and Symmetry Properties of. Two-Dimensional Ciarlet-Mooney-Rivlin. Nonlinear Constitutive Models

Symmetry Methods for Differential Equations and Conservation Laws. Peter J. Olver University of Minnesota

A symmetry-based method for constructing nonlocally related partial differential equation systems

Symbolic Computation of Nonlocal Symmetries and Nonlocal Conservation Laws of Partial Differential Equations Using the GeM Package for Maple

Group analysis, nonlinear self-adjointness, conservation laws, and soliton solutions for the mkdv systems

Symmetry Reductions of (2+1) dimensional Equal Width. Wave Equation

Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations in Multiple Space Dimensions

A comparison of conservation law construction approaches for the two-dimensional incompressible Mooney-Rivlin hyperelasticity model

The Orchestra of Partial Differential Equations. Adam Larios

New methods of reduction for ordinary differential equations

Conservation laws for the geodesic equations of the canonical connection on Lie groups in dimensions two and three

B.7 Lie Groups and Differential Equations

Modeling using conservation laws. Let u(x, t) = density (heat, momentum, probability,...) so that. u dx = amount in region R Ω. R

Symmetry Classification of KdV-Type Nonlinear Evolution Equations

Symmetries and reduction techniques for dissipative models

Applications of Symmetries and Conservation Laws to the Study of Nonlinear Elasticity Equations

On the Linearization of Second-Order Dif ferential and Dif ference Equations

arxiv: v1 [math-ph] 25 Jul Preliminaries

Continuous and Discrete Homotopy Operators with Applications in Integrability Testing. Willy Hereman

Direct construction method for conservation laws of partial differential equations Part I: Examples of conservation law classifications

Chapter 3 Second Order Linear Equations

SYMBOLIC SOFTWARE FOR SOLITON THEORY: INTEGRABILITY, SYMMETRIES CONSERVATION LAWS AND EXACT SOLUTIONS. Willy Hereman

Hamiltonian partial differential equations and Painlevé transcendents

x ct x + t , and the characteristics for the associated transport equation would be given by the solution of the ode dx dt = 1 4. ξ = x + t 4.

Lucio Demeio Dipartimento di Ingegneria Industriale e delle Scienze Matematiche

Benjamin Bona Mahony Equation with Variable Coefficients: Conservation Laws

Conservation laws for Kawahara equations

1 The Stokes System. ρ + (ρv) = ρ g(x), and the conservation of momentum has the form. ρ v (λ 1 + µ 1 ) ( v) µ 1 v + p = ρ f(x) in Ω.

Integrodifferential Hyperbolic Equations and its Application for 2-D Rotational Fluid Flows

CLASSIFICATION AND PRINCIPLE OF SUPERPOSITION FOR SECOND ORDER LINEAR PDE

Hamiltonian partial differential equations and Painlevé transcendents

Group Actions and Cohomology in the Calculus of Variations

A NONLINEAR GENERALIZATION OF THE CAMASSA-HOLM EQUATION WITH PEAKON SOLUTIONS

Nonlinear Equations for Finite-Amplitude Wave Propagation in Fiber-Reinforced Hyperelastic Media

Nonlocally related PDE systems for one-dimensional nonlinear elastodynamics

Research Article Equivalent Lagrangians: Generalization, Transformation Maps, and Applications

MATH 425, FINAL EXAM SOLUTIONS

Control of Interface Evolution in Multi-Phase Fluid Flows

Superintegrability? Hidden linearity? Classical quantization? Symmetries and more symmetries!

Hamiltonian partial differential equations and Painlevé transcendents

Potential Symmetries and Differential Forms. for Wave Dissipation Equation

Symmetry reductions and exact solutions for the Vakhnenko equation

Math 575-Lecture 26. KdV equation. Derivation of KdV

Multidimensional partial differential equation systems: Nonlocal symmetries, nonlocal conservation laws, exact solutions

Traffic Flow Problems

Nonlinear Wave Propagation in 1D Random Media

A Note on Nonclassical Symmetries of a Class of Nonlinear Partial Differential Equations and Compatibility

0.3.4 Burgers Equation and Nonlinear Wave

On second order sufficient optimality conditions for quasilinear elliptic boundary control problems

Info. No lecture on Thursday in a week (March 17) PSet back tonight

Symmetry Properties of Two-Dimensional Ciarlet-Mooney-Rivlin Constitutive Models in Nonlinear Elastodynamics

From a Mesoscopic to a Macroscopic Description of Fluid-Particle Interaction

Exact solutions through symmetry reductions for a new integrable equation

Lecture No 1 Introduction to Diffusion equations The heat equat

Hamiltonian partial differential equations and Painlevé transcendents

The second-order 1D wave equation

Partial Differential Equations, Winter 2015

Symmetry classification of KdV-type nonlinear evolution equations

examples of equations: what and why intrinsic view, physical origin, probability, geometry

Differential characteristic set algorithm for PDEs symmetry computation, classification, decision and extension

ANALYSIS OF A NONLINEAR SURFACE WIND WAVES MODEL VIA LIE GROUP METHOD

Symbolic Computation of Conserved Densities and Symmetries of Nonlinear Evolution and Differential-Difference Equations WILLY HEREMAN

Algorithmic Lie Symmetry Analysis and Group Classication for Ordinary Dierential Equations

Diagonalization of the Coupled-Mode System.

The first order quasi-linear PDEs

Travelling Wave Solutions and Conservation Laws of Fisher-Kolmogorov Equation

Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations

Group Invariant Solutions of Complex Modified Korteweg-de Vries Equation

2.3 Calculus of variations

Journal of Mathematical Analysis and Applications. Complete symmetry group and nonlocal symmetries for some two-dimensional evolution equations

Boundary conditions. Diffusion 2: Boundary conditions, long time behavior

Connecting Euler and Lagrange systems as nonlocally related systems of dynamical nonlinear elasticity

The first three (of infinitely many) conservation laws for (1) are (3) (4) D t (u) =D x (3u 2 + u 2x ); D t (u 2 )=D x (4u 3 u 2 x +2uu 2x ); D t (u 3

Conditional symmetries of the equations of mathematical physics

On universality of critical behaviour in Hamiltonian PDEs

Conservation Laws of Fluid Dynamics Models

Introduction of Partial Differential Equations and Boundary Value Problems

PARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007

Continuous limits and integrability for a semidiscrete system Zuo-nong Zhu Department of Mathematics, Shanghai Jiao Tong University, P R China

Conditional Symmetry Reduction and Invariant Solutions of Nonlinear Wave Equations

Partial Differential Equations Separation of Variables. 1 Partial Differential Equations and Operators

Potential symmetry and invariant solutions of Fokker-Planck equation in. cylindrical coordinates related to magnetic field diffusion

ENERGY PRESERVING INTEGRATION OF BI-HAMILTONIAN PARTIAL DIFFERENTIAL EQUATIONS

Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions

Math 46, Applied Math (Spring 2009): Final

A symmetry analysis of Richard s equation describing flow in porous media. Ron Wiltshire

On Reduction and Q-conditional (Nonclassical) Symmetry

Travelling wave solutions for a CBS equation in dimensions

Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations in Multi-dimensions

Generalized evolutionary equations and their invariant solutions

Getting started: CFD notation

A quantum heat equation 5th Spring School on Evolution Equations, TU Berlin

Partial Differential Equations

Numerical Methods for Modern Traffic Flow Models. Alexander Kurganov

arxiv: v2 [nlin.si] 3 Aug 2017

Transcription:

Direct Method of Construction of Conservation Laws for Nonlinear Differential Equations, its Relation with Noether s Theorem, Applications, and Symbolic Software Alexei F. Cheviakov University of Saskatchewan, Saskatoon, Canada INPL seminar June 09, 2011 A. Cheviakov (UofS) Conservation Laws Nancy 2011 1 / 26

Outline 1 Conservation Laws Definition and Examples Applications 2 Variational Principles 3 Symmetries and Noether s Theorem Symmetries and Variational Symmetries Noether s Theorem, Examples Limitations of Noether s Theorem 4 Direct Construction Method for Conservation Laws The Idea Completeness A Detailed Example 5 Symbolic Computation of Conservation Laws Symbolic Sequence Some Examples 6 Conclusions A. Cheviakov (UofS) Conservation Laws Nancy 2011 2 / 26

Outline 1 Conservation Laws Definition and Examples Applications 2 Variational Principles 3 Symmetries and Noether s Theorem Symmetries and Variational Symmetries Noether s Theorem, Examples Limitations of Noether s Theorem 4 Direct Construction Method for Conservation Laws The Idea Completeness A Detailed Example 5 Symbolic Computation of Conservation Laws Symbolic Sequence Some Examples 6 Conclusions A. Cheviakov (UofS) Conservation Laws Nancy 2011 3 / 26

Conservation Laws: Definition and Examples Conservation law: A divergence expression equal to zero: d dt Ψ + d dx Φ1 + d dy Φ2 + = 0. Example 1: Harmonic oscillator Independent variable: t, dependent: x(t). ODE: ẍ(t) + ω 2 x(t) = 0; Conservation law: ω 2 = k/m = const. d ( ) mẋ 2 (t) + kx2 (t) = 0 2 2 dt A. Cheviakov (UofS) Conservation Laws Nancy 2011 4 / 26

Conservation Laws: Definition and Examples Example 2: Adiabatic motion of an ideal gas in 3D Independent variables: t; x = (x 1, x 2, x 3 ) D R 3. Dependent: ρ(x, t), v 1 (x, t), v 2 (x, t), v 3 (x, t), p(x, t). Equations: D tρ + D j (ρv j ) = 0, ρ(d t + v j D j )v i + D i p = 0, i = 1, 2, 3, ρ(d t + v j D j )p + γρpd j v j = 0. Conservation laws: Mass: D tρ + D j (ρv j ) = 0, Momentum: D t(ρv i ) + D j (ρv i v j + pδ ij ) = 0, i = 1, 2, 3, Energy: D t(e) + D j ( v j (E + p) ) = 0, E = 1 2 ρ v 2 + p γ 1. Angular momentum, etc. A. Cheviakov (UofS) Conservation Laws Nancy 2011 4 / 26

Conservation Laws: Definition and Examples Example 3: Korteweg-de Vries equation (KdV) u = u(x, t), u t + uu x + u xxx = 0. Conservation laws: D t(u) + D x ( 1 2 u2 + u xx ) = 0, D t ( 1 2 u2) + D x ( 1 3 u3 + uu xx 1 2 u2 x ) = 0, D t ( 1 6 u3 1 2 u2 x ) + Dx ( 1 8 u4 uu 2 x + 1 2 (u2 u xx + u 2 xx) u xu xxx ) = 0,..., infinite countable set of conservation laws. A. Cheviakov (UofS) Conservation Laws Nancy 2011 4 / 26

Applications of Conservation Laws Direct physical meaning. Analysis: existence, uniqueness, stability. Modern finite element and finite volume numerical methods often require conserved forms. Nonlocally related PDE systems, exact solutions. An infinite number of conservation laws can be an indication of integrability and/or linearization. A. Cheviakov (UofS) Conservation Laws Nancy 2011 5 / 26

Outline 1 Conservation Laws Definition and Examples Applications 2 Variational Principles 3 Symmetries and Noether s Theorem Symmetries and Variational Symmetries Noether s Theorem, Examples Limitations of Noether s Theorem 4 Direct Construction Method for Conservation Laws The Idea Completeness A Detailed Example 5 Symbolic Computation of Conservation Laws Symbolic Sequence Some Examples 6 Conclusions A. Cheviakov (UofS) Conservation Laws Nancy 2011 6 / 26

Variational Principles Action integral J[U] = L(x, U, U,..., k U)dx. Ω Principle of extremal action Variation of U: U(x) U(x) + εv(x). Require: variation of action δj J[U + εv] J[U] = Ω (δl) dx = O(ε2 ). A. Cheviakov (UofS) Conservation Laws Nancy 2011 7 / 26

Variational Principles Action integral J[U] = L(x, U, U,..., k U)dx. Ω Principle of extremal action Variation of U: U(x) U(x) + εv(x). Require: variation of action δj J[U + εv] J[U] = Ω (δl) dx = O(ε2 ). Variation of Lagrangian δl = L(x, U + εv, U + ε v,..., k U + ε k v) L(x, U, U,..., k U) = ( ) L[U] ε U v σ + L[U] v σ σ Uj σ j + + L[U] v Uj σ j σ 1 j k + O(ε 2 ) 1 j k = ε(v σ E U σ (L[U]) +...) + O(ε 2 ), where E U σ are the Euler operators. A. Cheviakov (UofS) Conservation Laws Nancy 2011 7 / 26

Variational Principles Action integral J[U] = L(x, U, U,..., k U)dx. Ω Principle of extremal action Variation of U: U(x) U(x) + εv(x). Require: variation of action δj J[U + εv] J[U] = Ω (δl) dx = O(ε2 ). Euler-Lagrange equations: E u σ (L[u]) = L[u] u σ + + ( 1)k D j1 D jk L[u] u σ j 1 j k = 0, σ = 1,..., m. A. Cheviakov (UofS) Conservation Laws Nancy 2011 7 / 26

Variational Principles Example 1: Harmonic oscillator, x = x(t) L = 1 2 mẋ 2 1 2 kx 2, E xl = m(ẍ + ω 2 x) = 0. A. Cheviakov (UofS) Conservation Laws Nancy 2011 8 / 26

Variational Principles Example 1: Harmonic oscillator, x = x(t) L = 1 2 mẋ 2 1 2 kx 2, E xl = m(ẍ + ω 2 x) = 0. Example 2: Wave equation for u(x, t) L = 1 2 ρut 2 1 2 T ux 2, E ul = ρ(u tt c 2 u xx) = 0. A. Cheviakov (UofS) Conservation Laws Nancy 2011 8 / 26

Variational Principles Example 1: Harmonic oscillator, x = x(t) L = 1 2 mẋ 2 1 2 kx 2, E xl = m(ẍ + ω 2 x) = 0. Example 2: Wave equation for u(x, t) L = 1 2 ρut 2 1 2 T ux 2, E ul = ρ(u tt c 2 u xx) = 0. Example 3: Klein-Gordon wave equations for u(x, t) L = 1 2 utux + h(u), EuL = utx + h (u) = 0. many other non-dissipative systems have variational formulations. A practical way to tell whether a DE system has a variational formulation: its linearized version must be self-adjoint. A. Cheviakov (UofS) Conservation Laws Nancy 2011 8 / 26

Outline 1 Conservation Laws Definition and Examples Applications 2 Variational Principles 3 Symmetries and Noether s Theorem Symmetries and Variational Symmetries Noether s Theorem, Examples Limitations of Noether s Theorem 4 Direct Construction Method for Conservation Laws The Idea Completeness A Detailed Example 5 Symbolic Computation of Conservation Laws Symbolic Sequence Some Examples 6 Conclusions A. Cheviakov (UofS) Conservation Laws Nancy 2011 9 / 26

Symmetries of Differential Equations Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, σ = 1,..., N with variables x = (x 1,..., x n ), u = u(x) = (u 1,..., u m ). Definition A transformation x = f (x, u; a) = x + aξ(x, u) + O(a 2 ), u = g(x, u; a) = u + aη(x, u) + O(a 2 ). depending on a parameter a is a point symmetry of R σ [u] if the equation is the same in new variables x, u. A. Cheviakov (UofS) Conservation Laws Nancy 2011 10 / 26

Symmetries of Differential Equations Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, σ = 1,..., N with variables x = (x 1,..., x n ), u = u(x) = (u 1,..., u m ). Definition A transformation x = f (x, u; a) = x + aξ(x, u) + O(a 2 ), u = g(x, u; a) = u + aη(x, u) + O(a 2 ). depending on a parameter a is a point symmetry of R σ [u] if the equation is the same in new variables x, u. Example 1: translations The translation leaves KdV invariant: x = x + C, t = t, u = u u t + uu x + u xxx = 0 = u t + u u x + u x x x. A. Cheviakov (UofS) Conservation Laws Nancy 2011 10 / 26

Symmetries of Differential Equations Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, σ = 1,..., N with variables x = (x 1,..., x n ), u = u(x) = (u 1,..., u m ). Definition A transformation x = f (x, u; a) = x + aξ(x, u) + O(a 2 ), u = g(x, u; a) = u + aη(x, u) + O(a 2 ). depending on a parameter a is a point symmetry of R σ [u] if the equation is the same in new variables x, u. Example 2: scaling Same for the scaling: One has x = αx, t = α 3 t, u = αu. u t + uu x + u xxx = 0 = u t + u u x + u x x x. A. Cheviakov (UofS) Conservation Laws Nancy 2011 10 / 26

Variational Symmetries Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, σ = 1,..., N that follows from a variational principle with J[U] = Ω L(x, U, U,..., k U)dx. Definition A symmetry of R σ [u] given by x = f (x, u; a) = x + aξ(x, u) + O(a 2 ), u = g(x, u; a) = u + aη(x, u) + O(a 2 ). is a variational symmetry of R σ [u] if it preserves the action J[U]. A. Cheviakov (UofS) Conservation Laws Nancy 2011 11 / 26

Variational Symmetries Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, σ = 1,..., N that follows from a variational principle with J[U] = Ω L(x, U, U,..., k U)dx. Definition A symmetry of R σ [u] given by x = f (x, u; a) = x + aξ(x, u) + O(a 2 ), u = g(x, u; a) = u + aη(x, u) + O(a 2 ). is a variational symmetry of R σ [u] if it preserves the action J[U]. Example 1: translations for wave equation u tt = (T /ρ) 2 u xx, L = 1 2 ρut 2 1 2 T ux 2. The translation x = x + C, t = t, u = u is evidently a variational symmetry. A. Cheviakov (UofS) Conservation Laws Nancy 2011 11 / 26

Variational Symmetries Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, σ = 1,..., N that follows from a variational principle with J[U] = Ω L(x, U, U,..., k U)dx. Definition A symmetry of R σ [u] given by x = f (x, u; a) = x + aξ(x, u) + O(a 2 ), u = g(x, u; a) = u + aη(x, u) + O(a 2 ). is a variational symmetry of R σ [u] if it preserves the action J[U]. Example 2: scaling for wave equation u tt = (T /ρ) 2 u xx, L = 1 2 ρut 2 1 2 T ux 2. The scaling x = αx, t = αt, u = u is not a variational symmetry. A. Cheviakov (UofS) Conservation Laws Nancy 2011 11 / 26

Noether s Theorem Theorem Given: a PDE system R σ [u] = R σ (x, u, u,..., k u) = 0, σ = 1,..., N, following from a variational principle; a variational symmetry (x i ) = f i (x, u; a) = x i + aξ i (x, u) + O(a 2 ), (u σ ) = g σ (x, u; a) = u σ + aη σ (x, u) + O(a 2 ). Then the system R σ [u] has a conservation law D i Φ i [u] = 0. In particular, D i Φ i [u] Λ σ[u]r σ [u] = 0, where the multipliers are given by Λ σ = η σ (x, u) uσ x i ξ i (x, u). A. Cheviakov (UofS) Conservation Laws Nancy 2011 12 / 26

Noether s Theorem: Examples Example: translation symmetry for the harmonic oscillator Equation: ẍ(t) + ω 2 x(t) = 0, ω 2 = k/m. Symmetry: t = t + a, ξ = 1; x = x, η = 0, Multiplier: Λ = η ẋ(t)ξ = ẋ; Conservation law: ΛR = ẋ(ẍ(t) + ω 2 x(t)) = 1 m ( d mẋ 2 (t) + kx ) 2 (t) = 0. dt 2 2 A. Cheviakov (UofS) Conservation Laws Nancy 2011 13 / 26

Limitations of Noether s Theorem The given DE system, as written, must be variational. Numbers of PDEs and dependent variables must coincide. Dissipative systems are not variational. If single PDE, must be of even order. If a PDE system is not variational, artifices sometimes can make it variational! A. Cheviakov (UofS) Conservation Laws Nancy 2011 14 / 26

Limitations of Noether s Theorem The given DE system, as written, must be variational. Numbers of PDEs and dependent variables must coincide. Dissipative systems are not variational. If single PDE, must be of even order. If a PDE system is not variational, artifices sometimes can make it variational! Example 1: The use of multipliers. The PDE u tt + H (u x)u xx + H(u x) = 0, as written, does not admit a variational principle. However, the equivalent PDE e x [u tt + H (u x)u xx + H(u x)] = 0, does follow from a variational principle! A. Cheviakov (UofS) Conservation Laws Nancy 2011 14 / 26

Limitations of Noether s Theorem The given DE system, as written, must be variational. Numbers of PDEs and dependent variables must coincide. Dissipative systems are not variational. If single PDE, must be of even order. If a PDE system is not variational, artifices sometimes can make it variational! Example 2: The use of a transformation. The PDE e x u tt e 3x (u + u x) 2 (u + 2u x + u xx) = 0, as written, does not admit a variational principle. But the point transformation x = x, t = t, u (x, t ) = y(x, t) = e x u(x, t), maps it into the self-adjoint PDE y tt (y x) 2 y xx = 0, which is the Euler Lagrange equation for an extremum Y = y of the action integral with Lagrangian L[Y ] = Yt 2 /2 Yx 4 /12. A. Cheviakov (UofS) Conservation Laws Nancy 2011 14 / 26

Limitations of Noether s Theorem The given DE system, as written, must be variational. Numbers of PDEs and dependent variables must coincide. Dissipative systems are not variational. If single PDE, must be of even order. If a PDE system is not variational, artifices sometimes can make it variational! Example 3: The use of a differential substitution. The kdv equation u t + uu x + u xxx = 0, as written, does not admit a variational principle. However, a substitution u = v x yields a variational PDE v xt + v xv xx + v xxxx = 0. A. Cheviakov (UofS) Conservation Laws Nancy 2011 14 / 26

Limitations of Noether s Theorem (Ctd.)... The use of an artificial additional equation. Any PDE system can be made variational, by appending an adjoint equation! Example: The diffusion equation u t u xx = 0 is dissipative, hence not self-adjoint. Its adjoint equation: w t + w xx = 0. But the PDE system u t u xx = 0, is evidently self-adjoint! ũ t + ũ xx = 0 A. Cheviakov (UofS) Conservation Laws Nancy 2011 15 / 26

Outline 1 Conservation Laws Definition and Examples Applications 2 Variational Principles 3 Symmetries and Noether s Theorem Symmetries and Variational Symmetries Noether s Theorem, Examples Limitations of Noether s Theorem 4 Direct Construction Method for Conservation Laws The Idea Completeness A Detailed Example 5 Symbolic Computation of Conservation Laws Symbolic Sequence Some Examples 6 Conclusions A. Cheviakov (UofS) Conservation Laws Nancy 2011 16 / 26

The Idea of the Direct Construction Method Definition The Euler operator with respect to U j : E U j = D U j i U j i + + ( 1) s D i1... D is U j i 1...i s +, j = 1,..., m. Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, variables x = (x 1,..., x n ), u = u(x) = (u 1,..., u m ). σ = 1,..., N with Theorem The equations E U j F (x, U, U,..., s U) 0, hold for arbitrary U(x) if and only if j = 1,..., m for some functions Ψ i (x, U,...). F (x, U, U,..., s U) D i Ψ i A. Cheviakov (UofS) Conservation Laws Nancy 2011 17 / 26

The Idea of the Direct Construction Method Consider a general DE system R σ [u] = R σ (x, u, u,..., k u) = 0, variables x = (x 1,..., x n ), u = u(x) = (u 1,..., u m ). σ = 1,..., N with Direct Construction Method Specify dependence of multipliers: Λ σ = Λ σ(x, U,...), σ = 1,..., N. Solve the set of determining equations E U j (Λ σr σ ) 0, j = 1,..., m, for arbitrary U(x) to find all such sets of multipliers. Find the corresponding fluxes Φ i (x, U,...) satisfying the identity Λ σr σ D i Φ i. Each set of fluxes and multipliers yields a local conservation law D i Φ i (x, u,...) = 0, holding for all solutions u(x) of the given PDE system. A. Cheviakov (UofS) Conservation Laws Nancy 2011 18 / 26

Completeness Completeness of the Direct Construction Method For the majority of physical DE systems (in particular, all systems in solved form), all conservation laws follow from linear combinations of equations! Λ σr σ D i Φ i. A. Cheviakov (UofS) Conservation Laws Nancy 2011 19 / 26

A Detailed Example Consider a nonlinear telegraph system for u 1 = u(x, t), u 2 = v(x, t): R 1 [u, v] = v t (u 2 + 1)u x u = 0, R 2 [u, v] = u t v x = 0. Multiplier ansatz: Λ 1 = ξ(x, t, U, V ), Λ 2 = φ(x, t, U, V ). A. Cheviakov (UofS) Conservation Laws Nancy 2011 20 / 26

A Detailed Example Consider a nonlinear telegraph system for u 1 = u(x, t), u 2 = v(x, t): R 1 [u, v] = v t (u 2 + 1)u x u = 0, R 2 [u, v] = u t v x = 0. Multiplier ansatz: Λ 1 = ξ(x, t, U, V ), Λ 2 = φ(x, t, U, V ). Determining equations: [ E U ξ(x, t, U, V )(Vt (U 2 + 1)U x U) + φ(x, t, U, V )(U t V ] x) 0, [ E V ξ(x, t, U, V )(Vt (U 2 + 1)U x U) + φ(x, t, U, V )(U t V ] x) 0. Euler operators: E U = U Dx D t, U x U t E V = V Dx D t. V x V t A. Cheviakov (UofS) Conservation Laws Nancy 2011 20 / 26

A Detailed Example Consider a nonlinear telegraph system for u 1 = u(x, t), u 2 = v(x, t): R 1 [u, v] = v t (u 2 + 1)u x u = 0, R 2 [u, v] = u t v x = 0. Multiplier ansatz: Λ 1 = ξ(x, t, U, V ), Λ 2 = φ(x, t, U, V ). Determining equations: [ E U ξ(x, t, U, V )(Vt (U 2 + 1)U x U) + φ(x, t, U, V )(U t V ] x) 0, [ E V ξ(x, t, U, V )(Vt (U 2 + 1)U x U) + φ(x, t, U, V )(U t V ] x) 0. Split determining equations: φ V ξ U = 0, φ U (U 2 + 1)ξ V = 0, φ x ξ t Uξ V = 0, (U 2 + 1)ξ x φ t Uξ U ξ = 0. A. Cheviakov (UofS) Conservation Laws Nancy 2011 20 / 26

A Detailed Example Consider a nonlinear telegraph system for u 1 = u(x, t), u 2 = v(x, t): R 1 [u, v] = v t (u 2 + 1)u x u = 0, R 2 [u, v] = u t v x = 0. Multiplier ansatz: Λ 1 = ξ(x, t, U, V ), Λ 2 = φ(x, t, U, V ). Solution: five sets of multipliers (ξ 1, φ 1) = (0, 1), (ξ 2, φ 2) = (t, x 1 2 t2 ), (ξ 3, φ 3) = (1, t), (ξ 4, φ 4) = (e x+ 2 1 U2 +V, Ue x+ 2 1 U2 +V ), (ξ 5, φ 5) = (e x+ 2 1 U2 V, Ue x+ 2 1 U2 V ). Resulting five conservation laws: D tu + D x[ v] = 0, D t[(x 1 2 t2 )u + tv] + D x[( 1 2 t2 x)v t( 1 3 u3 + u)] = 0, D t[v tu] + D x[tv ( 1 3 u3 + u)] = 0, D t[e x+ 1 2 u2 +v ] + D x[ ue x+ 1 2 u2 +v ] = 0, D t[e x+ 2 1 u2 v ] + D x[ue x+ 1 2 u2 v ] = 0. A. Cheviakov (UofS) Conservation Laws Nancy 2011 20 / 26

A Detailed Example Consider a nonlinear telegraph system for u 1 = u(x, t), u 2 = v(x, t): R 1 [u, v] = v t (u 2 + 1)u x u = 0, R 2 [u, v] = u t v x = 0. Multiplier ansatz: Λ 1 = ξ(x, t, U, V ), Λ 2 = φ(x, t, U, V ). To obtain further conservation laws, extend the multiplier ansatz... A. Cheviakov (UofS) Conservation Laws Nancy 2011 20 / 26

Outline 1 Conservation Laws Definition and Examples Applications 2 Variational Principles 3 Symmetries and Noether s Theorem Symmetries and Variational Symmetries Noether s Theorem, Examples Limitations of Noether s Theorem 4 Direct Construction Method for Conservation Laws The Idea Completeness A Detailed Example 5 Symbolic Computation of Conservation Laws Symbolic Sequence Some Examples 6 Conclusions A. Cheviakov (UofS) Conservation Laws Nancy 2011 21 / 26

Symbolic Software for Computation of Conservation Laws Example of use of the GeM package for Maple for the KdV. Use the module: with(gem): Declare variables: gem_decl_vars(indeps=[x,t], deps=[u(x,t)]); Declare the equation: gem_decl_eqs([diff(u(x,t),t)=u(x,t)*diff(u(x,t),x) +diff(u(x,t),x,x,x)], solve_for=[diff(u(x,t),t)]); Generate determining equations: det_eqs:=gem_conslaw_det_eqs([x,t, U(x,t), diff(u(x,t),x), diff(u(x,t),x,x), diff(u(x,t),x,x,x)]): Reduce the overdetermined system: CL_multipliers:=gem_conslaw_multipliers(); simplified_eqs:=detools[rifsimp](det_eqs, CL_multipliers, mindim=1); A. Cheviakov (UofS) Conservation Laws Nancy 2011 22 / 26

Symbolic Software for Computation of Conservation Laws Example of use of the GeM package for Maple for the KdV. Solve determining equations: multipliers_sol:=pdsolve(simplified_eqs[solved]); Obtain corresponding conservation law fluxes/densities: gem_get_cl_fluxes(multipliers_sol, method=*****); A. Cheviakov (UofS) Conservation Laws Nancy 2011 23 / 26

Examples of Symbolic Computation of Conservation Laws Example 1 KdV equation: u t + uu x + u xxx = 0. A. Cheviakov (UofS) Conservation Laws Nancy 2011 24 / 26

Examples of Symbolic Computation of Conservation Laws Example 2 Euler equations of 2D incompressible fluid dynamics u = u(t, x, y), v = v(t, x, y), P = P(t, x, y); div v u x + v y = 0, u t + uu x + vu y + P x = 0, v t + uv x + vv y + P y = 0. A. Cheviakov (UofS) Conservation Laws Nancy 2011 24 / 26

Conclusions and Open Problems Conclusions Divergence-type conservation laws are useful in analysis and numerics. Conservation laws can be obtained systematically through the Direct Construction Method, which employs multipliers and Euler operators. The method is implemented in a symbolic package GeM for Maple. For variational DE systems, conservation laws correspond to variational symmetries. Noether s theorem is not a simplest way to derive unknown conservation laws. A. Cheviakov (UofS) Conservation Laws Nancy 2011 25 / 26

Conclusions and Open Problems Conclusions Divergence-type conservation laws are useful in analysis and numerics. Conservation laws can be obtained systematically through the Direct Construction Method, which employs multipliers and Euler operators. The method is implemented in a symbolic package GeM for Maple. For variational DE systems, conservation laws correspond to variational symmetries. Noether s theorem is not a simplest way to derive unknown conservation laws. Open problems Computations become hard for conservation laws of high orders. Can we tell anything in advance about highest order of the conservation law for a given DE system? For complicated DEs and multipliers, computation of fluxes/densities can become challenging. A. Cheviakov (UofS) Conservation Laws Nancy 2011 25 / 26

Some references Bluman, G.W., Cheviakov, A.F., and Anco, S.C. (2010). Applications of Symmetry Methods to Partial Differential Equations. Springer: Applied Mathematical Sciences, Vol. 168. Anco, S.C. and Bluman, G.W. (1997). Direct construction of conservation laws from field equations. Phys. Rev. Lett. 78, 2869 2873. Anco, S.C. and Bluman, G.W. (2002). Direct construction method for conservation laws of partial differential equations. Part I: Examples of conservation law classifications. Eur. J. Appl. Math. 13, 545 566. Cheviakov, A.F. (2007). GeM software package for computation of symmetries and conservation laws of differential equations. Comput. Phys. Commun. 176, 48 61. Bluman, G.W., Cheviakov, A.F., and Anco, S.C. (2009). Construction of Conservation Laws: How the Direct Method Generalizes Noether s Theorem. Proceedings of 4th Workshop Group Analysis of Differential Equations & Integrability 1-23. A. Cheviakov (UofS) Conservation Laws Nancy 2011 26 / 26