Symmetry Methods for Differential Equations and Conservation Laws. Peter J. Olver University of Minnesota
|
|
- Priscilla Little
- 5 years ago
- Views:
Transcription
1 Symmetry Methods for Differential Equations and Conservation Laws Peter J. Olver University of Minnesota olver Santiago, November, 2010
2 Symmetry Groups of Differential Equations System of differential equations (x, u (n) ) = 0 G Lie group acting on the space of independent and dependent variables: ( x, ũ) = g (x, u) = (Ξ(x, u), Φ(x, u))
3 G acts on functions u = f(x) by transforming their graphs: g Definition. G is a symmetry group of the system = 0 if f = g f is a solution whenever f is.
4 Vector field: Infinitesimal Generators In local coordinates: v = p i=1 v (x,u) = d dε g ε (x, u) ε=0 ξ i (x, u) x i + q α=1 generates the one-parameter group dx i dε = ξi (x, u) ϕ α (x, u) du α dε = ϕα (x, u) u α
5 Example. The vector field v = u x + x u generates the rotation group since x = x cos ε u sin ε d x dε = ũ ũ = x sin ε + u cos ε dũ dε = x
6 Jet Spaces x = (x 1,...,x p ) independent variables u = (u 1,..., u q ) dependent variables u α J = k u α x j 1... x k partial derivatives (x, u (n) ) = (... x i... u α... u α J... ) Jn jet coordinates ( p + n dimj n = p + q (n) = p + q n )
7 Prolongation to Jet Space Since G acts on functions, it acts on their derivatives, leading to the prolonged group action on the jet space: ( x, ũ (n) ) = pr (n) g (x, u (n) ) = formulas provided by implicit differentiation Prolonged vector field or infinitesimal generator: pr v = v + ϕ α J (x, u(n) ) α,j u α J
8 The coefficients of the prolonged vector field are given by the explicit prolongation formula: ϕ α J = D J Qα + p i=1 ξ i u α J,i Q = (Q 1,...,Q q ) characteristic of v Q α (x, u (1) ) = ϕ α p i=1 Invariant functions are solutions to Q(x, u (1) ) = 0. ξ i uα x i
9 Symmetry Criterion Theorem. (Lie) A connected group of transformations G is a symmetry group of a nondegenerate system of differential equations = 0 if and only if pr v( ) = 0 whenever u is a solution to = 0 for every infinitesimal generator v of G. (*) are the determining equations of the symmetry group to = 0. For nondegenerate systems, this is equivalent to ( ) pr v( ) = A = ν A ν ν
10 Nondegeneracy Conditions Maximal Rank: ( rank ν x i ν u α J ) = max Local Solvability: Any each point (x 0, u (n) 0 ) such that (x 0, u (n) 0 ) = 0 there exists a solution u = f(x) with u (n) 0 = pr (n) f(x 0 ) Nondegenerate = maximal rank + locally solvable
11 Normal: There exists at least one non-characteristic direction at (x 0, u (n) 0 ) or, equivalently, there is a change of variable making the system into Kovalevskaya form n u α t n = Γα (x,ũ (n) ) Theorem. (Finzi) A system of q partial differential equations = 0 in q unknowns is not normal if and only if there is a nontrivial integrability condition: D = ν D ν ν = Q order Q < order D + order
12 Under-determined: The integrability condition follows from lower order derivatives of the equation: D 0 Example: 1 = u xx + v xy, 2 = u xy + v yy D x 2 D y 1 0 Over-determined: The integrability condition is genuine. Example: 1 = u xx + v xy v y, 2 = u xy + v yy + u y D x 2 D y 1 = u xy + v yy
13 A Simple O.D.E. u xx = 0 Infinitesimal symmetry generator: Second prolongation: v = ξ(x,u) x v (2) = ξ(x,u) x + ϕ(x, u) u + ϕ(x, u) u + + ϕ 1 (x, u (1) ) u x + ϕ 2 (x, u (2) ) u xx,
14 ϕ 1 = ϕ x + (ϕ u ξ x )u x ξ u u 2 x, ϕ 2 = ϕ xx + (2ϕ xu ξ xx )u x + (ϕ uu 2ξ xu )u 2 x ξ uu u 3 x + (ϕ u 2ξ x )u xx 3ξ u u x u xx. Symmetry criterion: ϕ 2 = 0 whenever u xx = 0.
15 Symmetry criterion: ϕ xx + (2ϕ xu ξ xx )u x + (ϕ uu 2ξ xu )u 2 x ξ uu u3 x = 0. Determining equations: ϕ xx = 0 2ϕ xu = ξ xx ϕ uu = 2ξ xu ξ uu = 0 General solution: ξ(x, u) = c 1 x 2 + c 2 xu + c 3 x + c 4 u + c 5 ϕ(x, u) = c 1 xu + c 2 u 2 + c 6 x + c 7 u + c 8 = Linear!
16 Symmetry algebra: v 1 = x v 2 = u v 3 = x x v 4 = x u v 5 = u x v 6 = u u v 7 = x 2 x + xu u v 8 = xu x + u 2 u Symmetry Group: (x, u) ( ) ax + bu + c dx + eu + f, hx + ju + k hx + ju + k = projective group
17 Prolongation Infinitesimal symmetry v = ξ(x, t, u) x + τ(x, t, u) t First prolongation pr (1) v = ξ x + τ t + ϕ u + ϕx Second prolongation pr (2) v = pr (1) v + ϕ xx u xx + ϕ xt + ϕ(x, t, u) u + ϕ t u x u t u xt + ϕ tt u tt
18 where ϕ x = D x Q + ξu xx + τu xt ϕ t = D t Q + ξu xt + τu tt ϕ xx = D 2 x Q + ξu xxt + τu xtt Characteristic Q = ϕ ξu x τu t
19 ϕ x = D x Q + ξu xx + τu xt = ϕ x + (ϕ u ξ x )u x τ x u t ξ u u 2 x τ u u x u t ϕ t = D t Q + ξu xt + τu tt = ϕ t ξ t u x + (ϕ u τ t )u t ξ u u x u t τ u u 2 t ϕ xx = D 2 x Q + ξu xxt + τu xtt = ϕ xx + (2φ xu ξ xx )u x τ xx u t + (φ uu 2ξ xu )u 2 x 2τ xu u x u t ξ uu u3 x τ uu u 2 x u t + (ϕ u 2ξ x )u xx 2τ x u xt 3ξ u u x u xx τ u u t u xx 2τ u u x u xt
20 Heat Equation u t = u xx Infinitesimal symmetry criterion ϕ t = ϕ xx whenever u t = u xx
21 Determining equations Coefficient Monomial 0 = 2τ u u x u xt 0 = 2τ x u xt 0 = τ uu u 2 x u xx ξ u = 2τ xu 3ξ u ϕ u τ t = τ xx + ϕ u 2ξ x u x u xx u xx 0 = ξ uu u 3 x 0 = ϕ uu 2ξ xu u 2 x ξ t = 2ϕ xu ξ xx u x ϕ t = ϕ xx 1
22 General solution ξ = c 1 + c 4 x + 2c 5 t + 4c 6 xt τ = c 2 + 2c 4 t + 4c 6 t 2 ϕ = (c 3 c 5 x 2c 6 t c 6 x 2 )u + α(x, t) α t = α xx
23 Symmetry algebra v 1 = x v 2 = t v 3 = u u v 4 = x x + 2t t v 5 = 2t x xu u v 6 = 4xt x + 4t 2 t (x 2 + 2t)u u v α = α(x, t) u space transl. time transl. scaling scaling Galilean inversions linearity
24 Potential Burgers equation u t = u xx + u 2 x Infinitesimal symmetry criterion ϕ t = ϕ xx + 2u x ϕ x
25 Determining equations Coefficient Monomial 0 = 2τ u u x u xt 0 = 2τ x u xt τ u = τ u 2τ u = τ uu 3τ u ξ u = 2τ xu 3ξ u 2τ x ϕ u τ t = τ xx + ϕ u 2ξ x τ u = τ uu 2τ u ξ u = 2τ xu ξ uu 2τ x 2ξ u ϕ u τ t = τ xx + ϕ uu 2ξ xu + 2ϕ u 2ξ x u 2 xx u 2 x u xx u x u xx u xx u 4 x u 3 x u 2 x ξ t = 2ϕ xu ξ xx + 2ϕ x ϕ t = ϕ xx 1 u x
26 General solution ξ = c 1 + c 4 x + 2c 5 t + 4c 6 xt τ = c 2 + 2c 4 t + 4c 6 t 2 ϕ = c 3 c 5 x 2c 6 t c 6 x 2 + α(x, t)e u α t = α xx
27 Symmetry algebra v 1 = x v 2 = t v 3 = u v 4 = x x + 2t t v 5 = 2t x x u v 6 = 4xt x + 4t 2 t (x 2 + 2t) u v α = α(x, t)e u u Hopf-Cole w = e u maps to heat equation.
28 Symmetry Based Solution Methods Ordinary Differential Equations Lie s method Solvable groups Variational and Hamiltonian systems Potential symmetries Exponential symmetries Generalized symmetries
29 Partial Differential Equations Group-invariant solutions Non-classical method Weak symmetry groups Clarkson-Kruskal method Partially invariant solutions Differential constraints Nonlocal Symmetries Separation of Variables
30 Integration of O.D.E. s First order ordinary differential equation du = F(x, u) dx Symmetry Generator: v = ξ(x, u) + ϕ(x, u) x u Determining equation ϕ x + (ϕ u ξ x )F ξ u F 2 = ξ F x + ϕ F u Trivial symmetries ϕ ξ = F
31 Method 1: Rectify the vector field. Introduce new coordinates near (x 0, u 0 ) so that v (x0,u 0 ) 0 y = η(x, u) w = ζ(x, u) v = w These satisfy first order p.d.e. s ξ η x + ϕ η u = 0 ξ ζ x + ϕ ζ u = 1 Solution by method of characteristics: dx ξ(x, u) = du ϕ(x, u) = dt 1
32 The equation in the new coordinates will be invariant if and only if it has the form dw dy = h(y) and so can clearly be integrated by quadrature.
33 Method 2: Integrating Factor If v = ξ x + ϕ u is a symmetry for then P(x, u) dx + Q(x, u) du = 0 R(x, u) = is an integrating factor. 1 ξ P + ϕ Q If ϕ ξ = P Q then the integratimg factor is trivial. Also, rectification of the vector field is equivalent to solving the original o.d.e.
34 Higher Order Ordinary Differential Equations (x, u (n) ) = 0 If we know a one-parameter symmetry group v = ξ(x, u) + ϕ(x, u) x u then we can reduce the order of the equation by 1.
35 Method 1: Rectify v = w. Then the equation is invariant if and only if it does not depend on w: (y, w,..., w n ) = 0 Set v = w to reduce the order.
36 Method 2: Differential invariants. h[pr (n) g (x, u (n) )] = h(x, u (n) ), Infinitesimal criterion: pr v(h) = 0. g G Proposition. If η, ζ are n th order differential invariants, then dη dζ = D x η D x ζ is an (n + 1) st order differential invariant. Corollary. Let y = η(x, u), w = ζ(x, u, u ) be the independent first order differential invariants
37 for G. Any n th order o.d.e. admitting G as a symmetry group can be written in terms of the differential invariants y, w, dw/dy,..., d n 1 w/dy n 1. In terms of the differential invariants, the n th order o.d.e. reduces to (y, w (n 1) ) = 0 For each solution w = g(y) of the reduced equation, we must solve the auxiliary equation ζ(x, u, u ) = g[η(x, u)] to find u = f(x). This first order equation admits G as a symmetry group and so can be integrated as before.
38 Multiparameter groups G - r-dimensional Lie group. Assume pr (r) G acts regularly with r dimensional orbits. Independent r th order differential invariants: y = η(x, u (r) ) w = ζ(x, u (r) ) Independent n th order differential invariants: y, w, dw dy,..., dn r w dy n r.
39 In terms of the differential invariants, the equation reduces in order by r: (y, w (n r) ) = 0 For each solution w = g(y) of the reduced equation, we must solve the auxiliary equation ζ(x, u (r) ) = g[η(x, u (r) )] to find u = f(x). In this case there is no guarantee that we can integrate this equation by quadrature.
40 Example. Projective group G = SL(2) a u + b (x, u) x, c u + d Infinitesimal generators: ( ), a d b c = 1. u, u u, u 2 u Differential invariants: x, w = 2 u u 3 u 2 Reduced equation (y, w (n 3) ) = 0 u 2 = Schwarzian derivative
41 Let w = h(x) be a solution to reduced equation. To recover u = f(x) we must solve the auxiliary equation: 2 u u 3 u 2 = u 2 h(x), which still admits the full group SL(2). Integrate using u : u = z 2 z z z 2 = z 2 h(x) Integrate using u u = z z : v = (log z) 2 v + v 2 = h(x) No further symmetries, so we are stuck with a Riccati equation to effect the solution.
42 Solvable Groups Basis v 1,...,v r of the symmetry algebra g such that [ v i,v j ] = c k ij v k, i < j k<j If we reduce in the correct order, then we are guaranteed a symmetry at each stage. Reduced equation for subalgebra {v 1,...,v k }: (k) (y, w (n k) ) = 0 admits a symmetry ṽ k+1 corresponding to v k+1.
43 Theorem. (Bianchi) If an n th order o.d.e. has a (regular) r-parameter solvable symmetry group, then its solutions can be found by quadrature from those of the (n r) th order reduced equation.
44 Example. x 2 u = f(x u u) Symmetry group: v = x u, w = x x, [ v,w ] = v. Reduction with respect to v: Reduced equation: z = x u u x z = h(z) still invariant under w = x x, and hence can be solved by quadrature.
45 Wrong way reduction with respect to w: Reduced equation: y = u, z = z(y) = x u z(z 1) = h(z y) No remaining symmetry; not clear how to integrate directly.
46 Group Invariant Solutions System of partial differential equations (x, u (n) ) = 0 G symmetry group Assume G acts regularly on M with r-dimensional orbits Definition. u = f(x) is a G-invariant solution if g f = f for all g G. i.e. the graph Γ f = {(x, f(x))} is a (locally) G- invariant subset of M. Similarity solutions, travelling waves,...
47 Proposition. Let G have infinitesimal generators v 1,...,v r with associated characteristics Q 1,...,Q r. A function u = f(x) is G-invariant if and only if it is a solution to the system of first order partial differential equations Q ν (x, u (1) ) = 0, ν = 1,..., r. Theorem. (Lie). If G has r-dimensional orbits, and acts transversally to the vertical fibers {x = const.}, then all the G-invariant solutions to = 0 can be found by solving a reduced system of differential equations /G = 0 in r fewer independent variables.
48 Method 1: Invariant Coordinates. The new variables are given by a complete set of functionally independent invariants of G: η α (g (x, u)) = η α (x, u) for all g G Infinitesimal criterion: v k [η α ] = 0, k = 1,..., r. New independent and dependent variables: y 1 = η 1 (x, u),..., y p r = η p r (x, u) w 1 = ζ 1 (x, u),..., w q = ζ q (x, u)
49 Invariant functions: w = η(y), i.e. ζ(x, u) = h[η(x, u)] Reduced equation: /G(y, w (n) ) = 0 Every solution determines a G-invariant solution to the original p.d.e.
50 Example. The heat equation Scaling symmetry: u t = u xx x x + 2 t t + a u u Invariants: y = x t, w = t a u u = t a w(y), u t = t a 1 ( 1 2 y w + a w ), u xx = t a w. Reduced equation w + 12yw aw = 0 Solution: w = e y2 /8 U(2a + 1 2, y/ 2 ) = parabolic cylinder function Similarity solution: u(x, t) = t a e x2 /8t U( 2 a + 1 2, x/ 2 t )
51 Example. The heat equation Galilean symmetry: 2 t x x u u u t = u xx Invariants: y = t w = e x2 /4t u ( u = e x2 /4t w(y), u t = e x2 /4t w + x2 4t w 2 u xx = e x2 /4t ( x 2 4t 2 1 ) w. 2 t Reduced equation: 2 y w + w = 0 Source solution: w = k y 1/2, u = k t e x2 /4t ),
52 Method 2: Direct substitution: Solve the combined system (x,u (n) ) = 0 Q k (x,u (1) ) = 0, k = 1,...,r as an overdetermined system of p.d.e. For a one-parameter group, we solve for Q(x,u (1) ) = 0 u α x p = ϕα p 1 ξ n i=1 ξ i u α ξ p x i Rewrite in terms of derivatives with respect to x 1,...,x p 1. The reduced equation has x p as a parameter. Dependence on x p can be found by by substituting back into the characteristic condition.
53 Classification of invariant solutions Let G be the full symmetry group of the system = 0. Let H G be a subgroup. If u = f(x) is an H-invariant solution, and g G is another group element, then f = g f is an invariant solution for the conjugate subgroup H = g H g 1. Classification of subgroups of G under conjugation. Classification of subalgebras of g under the adjoint action. Exploit symmetry of the reduced equation
54 Non-Classical Method = Bluman and Cole Here we require not invariance of the original partial differential equation, but rather invariance of the combined system (x,u (n) ) = 0 Q k (x,u (1) ) = 0, k = 1,..., r Nonlinear determining equations. Most solutions derived using this approach come from ordinary group invariance anyway.
55 Weak (Partial) Symmetry Groups Here we require invariance of (x,u (n) ) = 0 Q k (x,u (1) ) = 0, k = 1,..., r and all the associated integrability conditions Every group is a weak symmetry group. Every solution can be derived in this way. Compatibility of the combined system? Overdetermined systems of partial differential equations.
56 The Boussinesq Equation u tt (u2 ) xx + u xxxx = 0 Classical symmetry group: v 1 = x v 2 = t v 3 = x x + 2t t 2u u For the scaling group Q = xu x + 2tu t + 2u = 0 Invariants: y = x w = tu u = 1 ( ) x t t t w Reduced equation: w (w2 ) y2 w y w + 2w = 0
57 u tt (u2 ) xx + u xxxx = 0 Group classification: v 1 = x v 2 = t v 3 = x x + 2t t 2u u Note: Ad(εv 3 )v 1 = e ε v 1 Ad(εv 3 )v 2 = e 2 ε v 2 Ad(δ v 1 + εv 2 )v 3 = v 3 δ v 1 εv 2 so the one-dimensional subalgebras are classified by: {v 3 } {v 1 } {v 2 } {v 1 + v 2 } {v 1 v 2 } and we only need to determine solutions invariant under these particular subgroups to find the most general groupinvariant solution.
58 Non-classical: Galilean group u tt (u2 ) xx + u xxxx = 0 v = t x + t 2t u Not a symmetry, but the combined system u tt (u2 ) xx + u xxxx = 0 Q = tu x + u t + 2t = 0 does admit v as a symmetry. Invariants: y = x 1 2 t2, w = u + t 2, u(x,t) = w(y) t 2 Reduced equation: w + ww + (w ) 2 w + 2 = 0
59 u tt (u2 ) xx + u xxxx = 0 Weak Symmetry: Scaling group: x x + t t Not a symmetry of the combined system u tt (u2 ) xx + u xxxx = 0 Q = xu x + t u t = 0 Invariants: y = x u Invariant solution: u(x, t) = w(y) t The Boussinesq equation reduces to t 4 w + t 2 [(w + 1 y)w + (w ) 2 y w ] = 0 so we obtain an overdetermined system w = 0 (w + 1 y)w + (w ) 2 y w = 0 Solutions: w(y) = 2 3 y2 1, or w = constant Similarity solution: u(x,t) = 2 x2 3t 2 1
60 Symmetries and Conservation Laws
61 Variational problems L[u] = L(x, Ω u(n) ) dx Euler-Lagrange equations = E(L) = 0 Euler operator (variational derivative) E α (L) = δl δu α = ( D) J L J u α J Theorem. (Null Lagrangians) E(L) 0 if and only if L = Div P
62 Theorem. The system = 0 is the Euler-Lagrange equations for some variational problem if and only if the Fréchet derivative D is self-adjoint: D = D. = Helmholtz conditions
63 Fréchet derivative Given P(x, u (n) ), its Fréchet derivative or formal linearization is the differential operator D P defined by D P [w] = d dε P[u + εw] ε = 0 Example. P = u xxx + uu x D P = D 3 x + ud x + u x
64 Adjoint (formal) D = J A J D J D = J ( D) J A J Integration by parts formula: where A depends on P, Q. P DQ = Q D P + Div A
65 Conservation Laws Definition. A conservation law of a system of partial differential equations is a divergence expression Div P = 0 which vanishes on all solutions to the system. P = (P 1 (x, u (k) ),...,P p (x, u (k) )) = The integral P ds is path (surface) independent.
66 If one of the coordinates is time, a conservation law takes the form D t T + Div X = 0 T conserved density X flux By the divergence theorem, b b T(x, t, Ω u(k) ) dx) = X ds dt t=a a Ω depends only on the boundary behavior of the solution. If the flux X vanishes on Ω, then Ω T dx is conserved (constant).
67 Trivial Conservation Laws Type I If P = 0 for all solutions to = 0, then Div P = 0 on solutions too Type II (Null divergences) If Div P = 0 for all functions u = f(x), then it trivially vanishes on solutions. Examples: D x (u y ) + D y ( u x ) 0 (u, v) D x (y, z) + D (u, v) y (z, x) + D (u, v) z (x, y) 0
68 Theorem. Div P(x, u (k) ) 0 for all u if and only if P = Curl Q(x, u (k) ) i.e. P i = p j=1 D j Q ij Q ij = Q ji
69 Two conservation laws P and P are equivalent if they differ by a sum of trivial conservation laws: where P = P + P I + P II P I = 0 on solutions Div P II 0.
70 Proposition. Every conservation law of a system of partial differential equations is equivalent to a conservation law in characteristic form Div P = Q = ν Q ν ν Proof : Div P = ν,j Q J ν DJ ν Integrate by parts: Div P = ν,j ( D) J Q J ν ν Q ν = J ( D) J Q J ν Q is called the characteristic of the conservation law.
71 Theorem. Q is the characteristic of a conservation law for = 0 if and only if Proof : D Q + D Q = 0. 0 = E(Div P) = E(Q ) = D Q + D Q
72 Normal Systems A characteristic is trivial if it vanishes on solutions. Two characteristics are equivalent if they differ by a trivial one. Theorem. Let = 0 be a normal system of partial differential equations. Then there is a one-toone correspondence between (equivalence classes of) nontrivial conservation laws and (equivalence classes of) nontrivial characteristics.
73 Variational Symmetries Definition. A (restricted) variational symmetry is a transformation ( x,ũ) = g (x, u) which leaves the variational problem invariant: Ω L( x, ũ (n) ) d x = Infinitesimal criterion: Ω L(x, u(n) ) dx pr v(l) + L Div ξ = 0 Theorem. If v is a variational symmetry, then it is a symmetry of the Euler-Lagrange equations. But not conversely!
74 Noether s Theorem (Weak version). If v generates a one-parameter group of variational symmetries of a variational problem, then the characteristic Q of v is the characteristic of a conservation law of the Euler- Lagrange equations: Div P = Q E(L)
75 Elastostatics W(x, u) dx stored energy x, u R p, p = 2, 3 Frame indifference u R u + a, R SO(p) Conservation laws = path independent integrals: Div P = 0.
76 1. Translation invariance 2. Rotational invariance P i = u α i P i = W u α i = Euler-Lagrange equations W u β j u β i W u α j 3. Homogeneity : W = W( u) x x + a P i = p u α W j u α δj i W i = Energy-momentum tensor α=1
77 4. Isotropy : W( u Q) = W( u) Q SO(p) P i = p α=1 (x j u α k xk u α j ) W u α i + (δ i j xk δ i k xj )W 5. Dilation invariance : W(λ u) = λ n W( u) P i = n p n p α,j=1 5A. Divergence identity p (u α δ i j xj u α j ) W u α i Div P = p W + x i W P i = (u α δj i xj u α j ) W j=1 u α + x i W i = Knops/Stuart, Pohozaev, Pucci/Serrin
78 Generalized Vector Fields Allow the coefficients of the infinitesimal generator to depend on derivatives of u: v = p i=1 Characteristic : Evolutionary vector field: ξ i (x, u (k) ) x i + q α=1 Q α (x, u (k) ) = ϕ α v Q = q α=1 ϕ α (x, u (k) ) p i=1 Q α (x, u (k) ) ξ i u α i u α u α
79 Prolongation formula: pr v = pr v Q + pr v Q = D J Q α α,j u α J p i=1 ξ i D i D i = u α J,i α,j u α J = total derivative
80 Generalized Flows The one-parameter group generated by an evolutionary vector field is found by solving the Cauchy problem for an associated system of evolution equations u α ε = Q α (x, u(n) ) u ε=0 = f(x)
81 Example. v = generates the one-parameter x group of translations: Evolutionary form: (x, y, u) (x + ε, y, u) v Q = u x x Corresponding group: u ε = u x Solution u = f(x, y) u = f(x ε, y)
82 Generalized Symmetries of Differential Equations Determining equations : pr v( ) = 0 whenever = 0 For totally nondegenerate systems, this is equivalent to pr v( ) = D = ν D ν ν v is a generalized symmetry if and only if its evolutionary form v Q is. A generalized symmetry is trivial if its characteristic vanishes on solutions to. Two symmetries are equivalent if their evolutionary forms differ by a trivial symmetry.
83 General Variational Symmetries Definition. A generalized vector field is a variational symmetry if it leaves the variational problem invariant up to a divergence: pr v(l) + L Div ξ = Div B v is a variational symmetry if and only if its evolutionary form v Q is. pr v Q (L) = Div B
84 Theorem. If v is a variational symmetry, then it is a symmetry of the Euler-Lagrange equations. Proof : First, v Q is a variational symmetry if pr v Q (L) = Div P. Secondly, integration by parts shows pr v Q (L) = D L (Q) = QD L (1)+Div A = QE(L)+Div A for some A depending on Q, L. Therefore 0 = E(pr v Q (L)) = E(QE(L)) = E(Q ) = D Q + D Q = D Q + D Q = pr v Q ( ) + D Q
85 Noether s Theorem. Let = 0 be a normal system of Euler-Lagrange equations. Then there is a one-toone correspondence between (equivalence classes of) nontrivial conservation laws and (equivalence classes of) nontrivial variational symmetries. The characteristic of the conservation law is the characteristic of the associated symmetry. Proof : Nother s Identity: QE(L) = pr v Q (L) Div A = Div(P A)
86 The Kepler Problem x + µx r 3 = 0 L = 1 2 Generalized symmetries: Conservation law where x 2 µr v = (x x) x + x(x x ) 2 x( x x ) pr v(l) = D t R R = x (x x) µx r = Runge-Lenz vector
87 Noether s Second Theorem. A system of Euler- Lagrange equations is under-determined if and only if it admits an infinite dimensional variational symmetry group depending on an arbitrary function. The associated conservation laws are trivial. Proof : If f(x) is any function, Set f(x)d( ) = D (f) + Div P[f, ]. Q = D (f).
88 Example. (u x + v y ) 2 dx dy Euler-Lagrange equations: 1 = E u (L) = u xx + v xy = 0 2 = E v (L) = u xy + v yy = 0 Symmetries D x 2 D y 2 0 (u, v) (u + ϕ y, v ϕ x )
B.7 Lie Groups and Differential Equations
96 B.7. LIE GROUPS AND DIFFERENTIAL EQUATIONS B.7 Lie Groups and Differential Equations Peter J. Olver in Minneapolis, MN (U.S.A.) mailto:olver@ima.umn.edu The applications of Lie groups to solve differential
More informationAlexei F. Cheviakov. University of Saskatchewan, Saskatoon, Canada. INPL seminar June 09, 2011
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,
More informationConservation Laws: Systematic Construction, Noether s Theorem, Applications, and Symbolic Computations.
Conservation Laws: Systematic Construction, Noether s Theorem, Applications, and Symbolic Computations. Alexey Shevyakov Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon,
More informationEmmy Noether: Symmetry and Conservation
Emmy Noether: Symmetry and Conservation Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Istanbul, August, 2017 References [1] E. Noether, Invariante Variationsprobleme, Nachr. König.
More informationSymmetry and Exact Solutions of (2+1)-Dimensional Generalized Sasa Satsuma Equation via a Modified Direct Method
Commun. Theor. Phys. Beijing, China 51 2009 pp. 97 978 c Chinese Physical Society and IOP Publishing Ltd Vol. 51, No., June 15, 2009 Symmetry and Exact Solutions of 2+1-Dimensional Generalized Sasa Satsuma
More informationConstruction of Conservation Laws: How the Direct Method Generalizes Noether s Theorem
Proceedings of 4th Workshop Group Analysis of Differential Equations & Integrability 2009, 1 23 Construction of Conservation Laws: How the Direct Method Generalizes Noether s Theorem George W. BLUMAN,
More informationEquivalence, Invariants, and Symmetry
Equivalence, Invariants, and Symmetry PETER J. OLVER University of Minnesota CAMBRIDGE UNIVERSITY PRESS Contents Preface xi Acknowledgments xv Introduction 1 1. Geometric Foundations 7 Manifolds 7 Functions
More informationNew methods of reduction for ordinary differential equations
IMA Journal of Applied Mathematics (2001) 66, 111 125 New methods of reduction for ordinary differential equations C. MURIEL AND J. L. ROMERO Departamento de Matemáticas, Universidad de Cádiz, PO Box 40,
More informationSymmetry Reductions of (2+1) dimensional Equal Width. Wave Equation
Authors: Symmetry Reductions of (2+1) dimensional Equal Width 1. Dr. S. Padmasekaran Wave Equation Asst. Professor, Department of Mathematics Periyar University, Salem 2. M.G. RANI Periyar University,
More informationChapter 3 Second Order Linear Equations
Partial Differential Equations (Math 3303) A Ë@ Õæ Aë áöß @. X. @ 2015-2014 ú GA JË@ É Ë@ Chapter 3 Second Order Linear Equations Second-order partial differential equations for an known function u(x,
More informationApplications of Symmetries and Conservation Laws to the Study of Nonlinear Elasticity Equations
Applications of Symmetries and Conservation Laws to the Study of Nonlinear Elasticity Equations A Thesis Submitted to the College of Graduate Studies and Research in Partial Fulfillment of the Requirements
More informationA Recursion Formula for the Construction of Local Conservation Laws of Differential Equations
A Recursion Formula for the Construction of Local Conservation Laws of Differential Equations Alexei Cheviakov Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon, Canada December
More informationNatural States and Symmetry Properties of. Two-Dimensional Ciarlet-Mooney-Rivlin. Nonlinear Constitutive Models
Natural States and Symmetry Properties of Two-Dimensional Ciarlet-Mooney-Rivlin Nonlinear Constitutive Models Alexei Cheviakov, Department of Mathematics and Statistics, Univ. Saskatchewan, Canada Jean-François
More informationarxiv: v1 [math.ap] 25 Aug 2009
Lie group analysis of Poisson s equation and optimal system of subalgebras for Lie algebra of 3 dimensional rigid motions arxiv:0908.3619v1 [math.ap] 25 Aug 2009 Abstract M. Nadjafikhah a, a School of
More informationOn the commutator of C -symmetries and the reduction of Euler Lagrange equations
On the commutator of C -symmetries and the reduction of Euler Lagrange equations A. Ruiz 1, C. Muriel 1 & P.J. Olver 1 Department of Mathematics, University of Cádiz, 11510 Puerto Real, Spain. School of
More informationSymmetry Methods for Differential and Difference Equations. Peter Hydon
Lecture 2: How to find Lie symmetries Symmetry Methods for Differential and Difference Equations Peter Hydon University of Kent Outline 1 Reduction of order for ODEs and O Es 2 The infinitesimal generator
More informationExact solutions through symmetry reductions for a new integrable equation
Exact solutions through symmetry reductions for a new integrable equation MARIA LUZ GANDARIAS University of Cádiz Department of Mathematics PO.BOX, 1151 Puerto Real, Cádiz SPAIN marialuz.gandarias@uca.es
More informationGeorgia Tech PHYS 6124 Mathematical Methods of Physics I
Georgia Tech PHYS 612 Mathematical Methods of Physics I Instructor: Predrag Cvitanović Fall semester 2012 Homework Set #5 due October 2, 2012 == show all your work for maximum credit, == put labels, title,
More informationANALYSIS OF A NONLINEAR SURFACE WIND WAVES MODEL VIA LIE GROUP METHOD
Electronic Journal of Differential Equations, Vol. 206 (206), No. 228, pp. 8. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ANALYSIS OF A NONLINEAR SURFACE WIND WAVES MODEL
More informationConservation Laws for Nonlinear Equations: Theory, Computation, and Examples
Conservation Laws for Nonlinear Equations: Theory, Computation, and Examples Alexei Cheviakov Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon, Canada Seminar February 2015
More informationInvariant Variational Problems & Invariant Curve Flows
Invariant Variational Problems & Invariant Curve Flows Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Oxford, December, 2008 Basic Notation x = (x 1,..., x p ) independent variables
More informationDirect and inverse problems on conservation laws
Direct and inverse problems on conservation laws Roman O. Popovych Wolfgang Pauli Institute, Vienna, Austria & Institute of Mathematics of NAS of Ukraine, Kyiv, Ukraine joint work with Alexander Bihlo,
More informationResearch Article Equivalent Lagrangians: Generalization, Transformation Maps, and Applications
Journal of Applied Mathematics Volume 01, Article ID 86048, 19 pages doi:10.1155/01/86048 Research Article Equivalent Lagrangians: Generalization, Transformation Maps, and Applications N. Wilson and A.
More informationGroup Actions and Cohomology in the Calculus of Variations
Group Actions and Cohomology in the Calculus of Variations JUHA POHJANPELTO Oregon State and Aalto Universities Focused Research Workshop on Exterior Differential Systems and Lie Theory Fields Institute,
More informationVariational C -symmetries and Euler Lagrange equations
J. Differential Equations 222 (2006) 164 184 www.elsevier.com/locate/jde Variational C -symmetries and Euler Lagrange equations C. Muriel a, J.L. Romero a, P.J. Olver b,,1 a Departamento de Matemáticas,
More informationFirst order Partial Differential equations
First order Partial Differential equations 0.1 Introduction Definition 0.1.1 A Partial Deferential equation is called linear if the dependent variable and all its derivatives have degree one and not multiple
More informationConservation laws for the geodesic equations of the canonical connection on Lie groups in dimensions two and three
Appl Math Inf Sci 7 No 1 311-318 (013) 311 Applied Mathematics & Information Sciences An International Journal Conservation laws for the geodesic equations of the canonical connection on Lie groups in
More informationSymmetry classification of KdV-type nonlinear evolution equations
arxiv:nlin/0201063v2 [nlin.si] 16 Sep 2003 Symmetry classification of KdV-type nonlinear evolution equations F. Güngör Department of Mathematics, Faculty of Science and Letters, Istanbul Technical University,
More informationSymmetry Preserving Numerical Methods via Moving Frames
Symmetry Preserving Numerical Methods via Moving Frames Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver = Pilwon Kim, Martin Welk Cambridge, June, 2007 Symmetry Preserving Numerical
More informationSymmetries and reduction techniques for dissipative models
Symmetries and reduction techniques for dissipative models M. Ruggieri and A. Valenti Dipartimento di Matematica e Informatica Università di Catania viale A. Doria 6, 95125 Catania, Italy Fourth Workshop
More informationSymmetry Classification of KdV-Type Nonlinear Evolution Equations
Proceedings of Institute of Mathematics of NAS of Ukraine 2004, Vol. 50, Part 1, 125 130 Symmetry Classification of KdV-Type Nonlinear Evolution Equations Faruk GÜNGÖR, Victor LAHNO and Renat ZHDANOV Department
More informationSymmetry reductions and travelling wave solutions for a new integrable equation
Symmetry reductions and travelling wave solutions for a new integrable equation MARIA LUZ GANDARIAS University of Cádiz Department of Mathematics PO.BOX 0, 50 Puerto Real, Cádiz SPAIN marialuz.gandarias@uca.es
More informationSymmetry analysis of the cylindrical Laplace equation
Symmetry analysis of the cylindrical Laplace equation Mehdi Nadjafikhah Seyed-Reza Hejazi Abstract. The symmetry analysis for Laplace equation on cylinder is considered. Symmetry algebra the structure
More informationOn the Linearization of Second-Order Dif ferential and Dif ference Equations
Symmetry, Integrability and Geometry: Methods and Applications Vol. (006), Paper 065, 15 pages On the Linearization of Second-Order Dif ferential and Dif ference Equations Vladimir DORODNITSYN Keldysh
More informationA symmetry-based method for constructing nonlocally related partial differential equation systems
A symmetry-based method for constructing nonlocally related partial differential equation systems George W. Bluman and Zhengzheng Yang Citation: Journal of Mathematical Physics 54, 093504 (2013); doi:
More informationGroup Invariant Solutions of Complex Modified Korteweg-de Vries Equation
International Mathematical Forum, 4, 2009, no. 28, 1383-1388 Group Invariant Solutions of Complex Modified Korteweg-de Vries Equation Emanullah Hızel 1 Department of Mathematics, Faculty of Science and
More informationClassification of cubics up to affine transformations
Classification of cubics up to affine transformations Mehdi Nadjafikah and Ahmad-Reza Forough Abstract. Classification of cubics (that is, third order planar curves in the R 2 ) up to certain transformations
More informationApplications of Lie Group Analysis to the Equations of Motion of Inclined Unsagged Cables
Applied Mathematical Sciences, Vol., 008, no. 46, 59-69 Applications of Lie Group Analysis to the Equations of Motion of Inclined Unsagged Cables Waraporn Chatanin Department of Mathematics King Mongkut
More informationOn universality of critical behaviour in Hamiltonian PDEs
Riemann - Hilbert Problems, Integrability and Asymptotics Trieste, September 23, 2005 On universality of critical behaviour in Hamiltonian PDEs Boris DUBROVIN SISSA (Trieste) 1 Main subject: Hamiltonian
More informationPartial Differential Equations
Partial Differential Equations Lecture Notes Dr. Q. M. Zaigham Zia Assistant Professor Department of Mathematics COMSATS Institute of Information Technology Islamabad, Pakistan ii Contents 1 Lecture 01
More informationEmmy Noether and Symmetry
Emmy Noether and Symmetry Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver London, October, 2018 Amalie Emmy Noether (1882 1935) Noether s Fundamental Contributions to Analysis and
More informationInvariant Calculus with Vessiot
Invariant Calculus with Vessiot Irina Kogan (Yale University) August 13, 2002 Invariant Euler-Lagrange Equations and the Invariant Variational Bicomplex, I. Kogan, P.J.Olver. Maple package Vessiot for
More informationOn the classification of certain curves up to projective tranformations
On the classification of certain curves up to projective tranformations Mehdi Nadjafikhah Abstract The purpose of this paper is to classify the curves in the form y 3 = c 3 x 3 +c 2 x 2 + c 1x + c 0, with
More informationarxiv: v1 [math-ph] 25 Jul Preliminaries
arxiv:1107.4877v1 [math-ph] 25 Jul 2011 Nonlinear self-adjointness and conservation laws Nail H. Ibragimov Department of Mathematics and Science, Blekinge Institute of Technology, 371 79 Karlskrona, Sweden
More informationInductive Approach to Cartan s Moving Frame Method. Irina Kogan Yale University
Inductive Approach to Cartan s Moving Frame Method Irina Kogan Yale University July, 2002 Generalized definition of a moving frame M. Fels and P.J. Olver (1999) A moving frame is an equivariant smooth
More informationCLASSIFICATION AND PRINCIPLE OF SUPERPOSITION FOR SECOND ORDER LINEAR PDE
CLASSIFICATION AND PRINCIPLE OF SUPERPOSITION FOR SECOND ORDER LINEAR PDE 1. Linear Partial Differential Equations A partial differential equation (PDE) is an equation, for an unknown function u, that
More informationSymmetry Reduction of Two-Dimensional Damped Kuramoto Sivashinsky Equation
Commun. Theor. Phys. 56 (2011 211 217 Vol. 56 No. 2 August 15 2011 Symmetry Reduction of Two-Dimensional Damped Kuramoto Sivashinsky Equation Mehdi Nadjafikhah and Fatemeh Ahangari School of Mathematics
More informationÉlie Cartan s Theory of Moving Frames
Élie Cartan s Theory of Moving Frames Orn Arnaldsson Department of Mathematics University of Minnesota, Minneapolis Special Topics Seminar, Spring 2014 The Story of Symmetry Felix Klein and Sophus Lie
More information(1) u (t) = f(t, u(t)), 0 t a.
I. Introduction 1. Ordinary Differential Equations. In most introductions to ordinary differential equations one learns a variety of methods for certain classes of equations, but the issues of existence
More informationThe relations are fairly easy to deduce (either by multiplication by matrices or geometrically), as one has. , R θ1 S θ2 = S θ1+θ 2
10 PART 1 : SOLITON EQUATIONS 4. Symmetries of the KdV equation The idea behind symmetries is that we start with the idea of symmetries of general systems of algebraic equations. We progress to the idea
More informationThe first order quasi-linear PDEs
Chapter 2 The first order quasi-linear PDEs The first order quasi-linear PDEs have the following general form: F (x, u, Du) = 0, (2.1) where x = (x 1, x 2,, x 3 ) R n, u = u(x), Du is the gradient of u.
More informationAlgorithmic Lie Symmetry Analysis and Group Classication for Ordinary Dierential Equations
dmitry.lyakhov@kaust.edu.sa Symbolic Computations May 4, 2018 1 / 25 Algorithmic Lie Symmetry Analysis and Group Classication for Ordinary Dierential Equations Dmitry A. Lyakhov 1 1 Computational Sciences
More informationNumerical Solutions to Partial Differential Equations
Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University The Implicit Schemes for the Model Problem The Crank-Nicolson scheme and θ-scheme
More informationDirect Reduction and Differential Constraints
Direct Reduction and Differential Constraints Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@math.umn.edu http://www.math.umn.edu/ olver Abstract. Direct reductions
More informationTravelling wave solutions for a CBS equation in dimensions
AMERICAN CONFERENCE ON APPLIED MATHEMATICS (MATH '8), Harvard, Massachusetts, USA, March -6, 8 Travelling wave solutions for a CBS equation in + dimensions MARIA LUZ GANDARIAS University of Cádiz Department
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationINTRODUCTION TO PDEs
INTRODUCTION TO PDEs In this course we are interested in the numerical approximation of PDEs using finite difference methods (FDM). We will use some simple prototype boundary value problems (BVP) and initial
More informationInvariant and Conditionally Invariant Solutions of Magnetohydrodynamic Equations in (3 + 1) Dimensions
Proceedings of Institute of Mathematics of NAS of Ukraine 2004, Vol. 50, Part 1, 118 124 Invariant and Conditionally Invariant Solutions of Magnetohydrodynamic Equations in 3 + 1) Dimensions A.M. GRUNDLAND
More informationSymbolic Computation of Conserved Densities and Symmetries of Nonlinear Evolution and Differential-Difference Equations WILLY HEREMAN
. Symbolic Computation of Conserved Densities and Symmetries of Nonlinear Evolution and Differential-Difference Equations WILLY HEREMAN Joint work with ÜNAL GÖKTAŞ and Grant Erdmann Graduate Seminar Department
More informationSymbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations in Multiple Space Dimensions
Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations in Multiple Space Dimensions Willy Hereman and Douglas Poole Department of Mathematical and Computer Sciences Colorado
More informationPartial Differential Equations Separation of Variables. 1 Partial Differential Equations and Operators
PDE-SEP-HEAT-1 Partial Differential Equations Separation of Variables 1 Partial Differential Equations and Operators et C = C(R 2 ) be the collection of infinitely differentiable functions from the plane
More informationOn Reduction and Q-conditional (Nonclassical) Symmetry
Symmetry in Nonlinear Mathematical Physics 1997, V.2, 437 443. On Reduction and Q-conditional (Nonclassical) Symmetry Roman POPOVYCH Institute of Mathematics of the National Academy of Sciences of Ukraine,
More informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
More informationQuantum Field Theory Notes. Ryan D. Reece
Quantum Field Theory Notes Ryan D. Reece November 27, 2007 Chapter 1 Preliminaries 1.1 Overview of Special Relativity 1.1.1 Lorentz Boosts Searches in the later part 19th century for the coordinate transformation
More informationNoether Symmetries and Conservation Laws For Non-Critical Kohn-Laplace Equations on Three-Dimensional Heisenberg Group
arxiv:0706.1745v2 [math.ap] 13 Feb 2008 Noether Symmetries and Conservation Laws For Non-Critical Kohn-Laplace Equations on Three-Dimensional Heisenberg Group Igor Leite Freire Institute of Mathematics,
More informationUNIQUENESS OF POSITIVE SOLUTION TO SOME COUPLED COOPERATIVE VARIATIONAL ELLIPTIC SYSTEMS
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9947(XX)0000-0 UNIQUENESS OF POSITIVE SOLUTION TO SOME COUPLED COOPERATIVE VARIATIONAL ELLIPTIC SYSTEMS YULIAN
More informationNew explicit solitary wave solutions for (2 + 1)-dimensional Boussinesq equation and (3 + 1)-dimensional KP equation
Physics Letters A 07 (00) 107 11 www.elsevier.com/locate/pla New explicit solitary wave solutions for ( + 1)-dimensional Boussinesq equation and ( + 1)-dimensional KP equation Yong Chen, Zhenya Yan, Honging
More informationA comparison of conservation law construction approaches for the two-dimensional incompressible Mooney-Rivlin hyperelasticity model
JOURNAL OF MATHEMATICAL PHYSICS 56, 505 (05) A comparison of conservation law construction approaches for the two-dimensional incompressible Mooney-Rivlin hyperelasticity model A. F. Cheviakov and S. St.
More informationNew solutions for a generalized Benjamin-Bona-Mahony-Burgers equation
AMERICAN CONFERENCE ON APPLIED MATHEMATICS (MATH '8) Harvard Massachusetts USA March -6 8 New solutions for a generalized Benjamin-Bona-Mahony-Burgers equation MARIA S. BRUZÓN University of Cádiz Department
More informationNonlocal Symmetry and Generating Solutions for the Inhomogeneous Burgers Equation
Proceedings of Institute of Mathematics of NAS of Ukraine 004, Vol. 50, Part, 77 8 Nonlocal Symmetry and Generating Solutions for the Inhomogeneous Burgers Equation Valentyn TYCHYNIN and Olexandr RASIN
More informationConditional Symmetry Reduction and Invariant Solutions of Nonlinear Wave Equations
Proceedings of Institute of Mathematics of NAS of Ukraine 2002, Vol. 43, Part 1, 229 233 Conditional Symmetry Reduction and Invariant Solutions of Nonlinear Wave Equations Ivan M. TSYFRA Institute of Geophysics
More informationLectures on Moving Frames
Lectures on Moving Frames Peter J. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@math.umn.edu http://www.math.umn.edu/ olver Abstract. The goal of these lectures is to
More informationIntroduction of Partial Differential Equations and Boundary Value Problems
Introduction of Partial Differential Equations and Boundary Value Problems 2009 Outline Definition Classification Where PDEs come from? Well-posed problem, solutions Initial Conditions and Boundary Conditions
More informationNew Formal Solutions of Davey Stewartson Equation via Combined tanh Function Method with Symmetry Method
Commun. Theor. Phys. Beijing China 7 007 pp. 587 593 c International Academic Publishers Vol. 7 No. April 5 007 New Formal Solutions of Davey Stewartson Equation via Combined tanh Function Method with
More informationGroup analysis, nonlinear self-adjointness, conservation laws, and soliton solutions for the mkdv systems
ISSN 139-5113 Nonlinear Analysis: Modelling Control, 017, Vol., No. 3, 334 346 https://doi.org/10.15388/na.017.3.4 Group analysis, nonlinear self-adjointness, conservation laws, soliton solutions for the
More informationResearch Article Approximate Hamiltonian Symmetry Groups and Recursion Operators for Perturbed Evolution Equations
Advances in Mathematical Physics Volume 2013, Article ID 568632, 9 pages http://dx.doi.org/10.1155/2013/568632 Research Article Approximate Hamiltonian Symmetry Groups and Recursion Operators for Perturbed
More informationA Very General Hamilton Jacobi Theorem
University of Salerno 9th AIMS ICDSDEA Orlando (Florida) USA, July 1 5, 2012 Introduction: Generalized Hamilton-Jacobi Theorem Hamilton-Jacobi (HJ) Theorem: Consider a Hamiltonian system with Hamiltonian
More informationSymmetry Solutions of a Third-Order Ordinary Differential Equation which Arises from Prandtl Boundary Layer Equations
Journal of Nonlinear Mathematical Physics Volume 15, Supplement 1 (2008), 179 191 Article Symmetry Solutions of a Third-Order Ordinary Differential Equation which Arises from Prandtl Boundary Layer Equations
More informationHamiltonian partial differential equations and Painlevé transcendents
The 6th TIMS-OCAMI-WASEDA Joint International Workshop on Integrable Systems and Mathematical Physics March 22-26, 2014 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN
More informationDepartment of Mathematics Luleå University of Technology, S Luleå, Sweden. Abstract
Nonlinear Mathematical Physics 1997, V.4, N 4, 10 7. Transformation Properties of ẍ + f 1 t)ẋ + f t)x + f t)x n = 0 Norbert EULER Department of Mathematics Luleå University of Technology, S-971 87 Luleå,
More information13 PDEs on spatially bounded domains: initial boundary value problems (IBVPs)
13 PDEs on spatially bounded domains: initial boundary value problems (IBVPs) A prototypical problem we will discuss in detail is the 1D diffusion equation u t = Du xx < x < l, t > finite-length rod u(x,
More informationComputers and Mathematics with Applications
Computers and Mathematics with Applications 60 (00) 3088 3097 Contents lists available at ScienceDirect Computers and Mathematics with Applications journal homepage: www.elsevier.com/locate/camwa Symmetry
More informationTravelling Wave Solutions and Conservation Laws of Fisher-Kolmogorov Equation
Gen. Math. Notes, Vol. 18, No. 2, October, 2013, pp. 16-25 ISSN 2219-7184; Copyright c ICSRS Publication, 2013 www.i-csrs.org Available free online at http://www.geman.in Travelling Wave Solutions and
More informationSummer 2017 MATH Solution to Exercise 5
Summer 07 MATH00 Solution to Exercise 5. Find the partial derivatives of the following functions: (a (xy 5z/( + x, (b x/ x + y, (c arctan y/x, (d log((t + 3 + ts, (e sin(xy z 3, (f x α, x = (x,, x n. (a
More informationMath 575-Lecture 26. KdV equation. Derivation of KdV
Math 575-Lecture 26 KdV equation We look at the KdV equations and the so-called integrable systems. The KdV equation can be written as u t + 3 2 uu x + 1 6 u xxx = 0. The constants 3/2 and 1/6 are not
More informationLie s Symmetries of (2+1)dim PDE
International Journal of Mathematics Trends and Technology (IJMTT) - Volume 5 Numer 6 Novemer 7 Lie s Symmetries of (+)dim PDE S. Padmasekaran and S. Rajeswari Department of Mathematics Periyar University
More informationLinearization of Two Dimensional Complex-Linearizable Systems of Second Order Ordinary Differential Equations
Applied Mathematical Sciences, Vol. 9, 2015, no. 58, 2889-2900 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ams.2015.4121002 Linearization of Two Dimensional Complex-Linearizable Systems of
More informationA Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations
A Lie-Group Approach for Nonlinear Dynamic Systems Described by Implicit Ordinary Differential Equations Kurt Schlacher, Andreas Kugi and Kurt Zehetleitner kurt.schlacher@jku.at kurt.zehetleitner@jku.at,
More informationStabilization and Passivity-Based Control
DISC Systems and Control Theory of Nonlinear Systems, 2010 1 Stabilization and Passivity-Based Control Lecture 8 Nonlinear Dynamical Control Systems, Chapter 10, plus handout from R. Sepulchre, Constructive
More information[#1] R 3 bracket for the spherical pendulum
.. Holm Tuesday 11 January 2011 Solutions to MSc Enhanced Coursework for MA16 1 M3/4A16 MSc Enhanced Coursework arryl Holm Solutions Tuesday 11 January 2011 [#1] R 3 bracket for the spherical pendulum
More informationModified Equations for Variational Integrators
Modified Equations for Variational Integrators Mats Vermeeren Technische Universität Berlin Groningen December 18, 2018 Mats Vermeeren (TU Berlin) Modified equations for variational integrators December
More informationInfinite Dimensional Symmetry Groups
Infinite Dimensional Symmetry Groups Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Lausanne, July, 2007 Sur la théorie, si importante sans doute, mais pour nous si obscure, des
More informationBenjamin Bona Mahony Equation with Variable Coefficients: Conservation Laws
Symmetry 2014, 6, 1026-1036; doi:10.3390/sym6041026 OPEN ACCESS symmetry ISSN 2073-8994 www.mdpi.com/journal/symmetry Article Benjamin Bona Mahony Equation with Variable Coefficients: Conservation Laws
More informationGoverning Equations of Fluid Dynamics
Chapter 3 Governing Equations of Fluid Dynamics The starting point of any numerical simulation are the governing equations of the physics of the problem to be solved. In this chapter, we first present
More informationIntegrodifferential Hyperbolic Equations and its Application for 2-D Rotational Fluid Flows
Integrodifferential Hyperbolic Equations and its Application for 2-D Rotational Fluid Flows Alexander Chesnokov Lavrentyev Institute of Hydrodynamics Novosibirsk, Russia chesnokov@hydro.nsc.ru July 14,
More informationDirect construction method for conservation laws of partial differential equations Part I: Examples of conservation law classifications
Euro. Jnl of Applied Mathematics (2002), vol. 13, pp. 545 566. c 2002 Cambridge University Press DOI: 10.1017/S095679250100465X Printed in the United Kingdom 545 Direct construction method for conservation
More informationJim Lambers MAT 280 Summer Semester Practice Final Exam Solution. dy + xz dz = x(t)y(t) dt. t 3 (4t 3 ) + e t2 (2t) + t 7 (3t 2 ) dt
Jim Lambers MAT 28 ummer emester 212-1 Practice Final Exam olution 1. Evaluate the line integral xy dx + e y dy + xz dz, where is given by r(t) t 4, t 2, t, t 1. olution From r (t) 4t, 2t, t 2, we obtain
More informationSophus Lie s Approach to Differential Equations
Sophus Lie s Approach to Differential Equations IAP lecture 2006 (S. Helgason) 1 Groups Let X be a set. A one-to-one mapping ϕ of X onto X is called a bijection. Let B(X) denote the set of all bijections
More informationLINEAR SECOND-ORDER EQUATIONS
LINEAR SECON-ORER EQUATIONS Classification In two independent variables x and y, the general form is Au xx + 2Bu xy + Cu yy + u x + Eu y + Fu + G = 0. The coefficients are continuous functions of (x, y)
More informationA Discussion on the Different Notions of Symmetry of Differential Equations
Proceedings of Institute of Mathematics of NAS of Ukraine 2004, Vol. 50, Part 1, 77 84 A Discussion on the Different Notions of Symmetry of Differential Equations Giampaolo CICOGNA Dipartimento di Fisica
More information