Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations
|
|
- Denis Wilkinson
- 6 years ago
- Views:
Transcription
1 Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations Willy Hereman Department of Mathematical and Computer Sciences Colorado School of Mines Golden, Colorado whereman/ Department of Mechanical Engineering Celal Bayar University, Manisa, Turkey Tuesday, June 28, 2011, 10:30
2 Acknowledgements Douglas Poole (Ph.D., 2009, CSM Ünal Göktaş (Turgut Özal University, Turkey Mark Hickman (Univ. of Canterbury, New Zealand Bernard Deconinck (Univ. of Washington, Seattle Several undergraduate and graduate students Research supported in part by NSF under Grant No. CCF This presentation was made in TeXpower
3 Outline Examples of conservation laws The Korteweg-de Vries equation The Zakharov-Kuznetsov equation Methods for computing conservation laws Tools from the calculus of variations The variational derivative (testing exactness The homotopy operator (inverting D x and Div Application 1: The KdV equation Application 2: The Zakharov-Kuznetsov equation Demonstration of ConservationLawsMD.m Conclusions and future work
4 Additional examples Manakov-Santini system Camassa-Holm equation in (2+1 dimensions Khoklov-Zabolotskaya equation Shallow water wave model for atmosphere Kadomtsev-Petviashvili equation Potential Kadomtsev-Petviashvili equation Generalized Zakharov-Kuznetsov equation
5 Examples of Conservation Laws Example 1: Traffic Flow u = density of cars a b x Modeling the density of cars (Bressan, 2009 u(x, t density of cars on a highway (e.g. number of cars per 100 meters. s(u mean (equilibrium speed of the cars (depends on the density.
6 u = density of cars a b x Change in number of cars in segment [a, b] equals the difference between cars entering at a and leaving at b during time interval [t 1, t 2 ]: b t2 a b a ( u(x, t2 u(x, t 1 dx = ( t2 u t (x, t dt t 1 t 1 t2 dx = t 1 ( b a ( J(a, t J(b, t dt J x (x, t dx dt where J(x, t = u(x, ts(u(x, t is the traffic flow (e.g. in cars per hour at location x and time t.
7 Then, b a t2 t 1 (u t + J x dt dx = 0 holds (a, b, t 1, t 2 Yields the conservation law: u t + [s(u u] x = 0 or D t ρ + D x J = 0 ρ = u is the conserved density; J(u = s(u u is the associated flux. A simple Lighthill-Whitham-Richards model: ( s(u = s max 1 u, 0 u u max u max s max is posted road speed, u max is the jam density.
8 Example 2: Fluid and Gas Dynamics Euler equations for a compressible, non-viscous fluid: ρ t +.(ρ u = 0 (ρ u t +. ( u (ρu + p = 0 E t +. ( (E + p u = 0 or, in components ρ t +.(ρ u = 0 (ρ u i t +.(ρ u i u + p e i = 0 (i = 1, 2, 3 E t +. ( (E + p u = 0 Express conservation of mass, momentum, energy.
9 is the dyadic product. ρ is the mass density. u = u 1 e 1 + u 2 e 2 + u 3 e 3 is the velocity. p is the pressure p(ρ, e. E is the energy density per unit volume: E = 1 2 ρ u 2 + ρe. e is internal energy density per unit of mass (related to temperature.
10 Notation Computations on the Jet Space Independent variables x = (x, y, z Dependent variables u = (u (1, u (2,..., u (j,..., u (N In examples: u = (u, v, θ, h,... Partial derivatives u kx = k u x k, u kx ly = k+l u x k y l, etc. Examples: u xxxxx = u 5x = 5 u x 5 u xx yyyy = u 2x 4y = Differential functions 6 u x 2 y 4 Example: f = uvv x + x 2 u 3 xv x + u x v xx
11 Total derivatives: D t, D x, D y,... Example: Let f = uvv x + x 2 u 3 x v x + u x v xx Then D x f = f x + u f x u + u xx +v x f v + v xx f u x f + v xxx v x f v xx = 2xu 3 xv x + u x (vv x + u xx (3x 2 u 2 xv x + v xx +v x (uv x + v xx (uv + x 2 u 3 x + v xxx (u x = 2xu 3 xv x + vu x v x + 3x 2 u 2 xv x u xx + u xx v xx +uv 2 x + uvv xx + x 2 u 3 x v xx + u x v xxx
12 Conservation Laws for Nonlinear PDEs System of evolution equations of order M u t = F(u (M (x with u = (u, v, w,... and x = (x, y, z. Conservation law in (1+1-dimensions D t ρ + D x J = 0 evaluated on the PDE. Conserved density ρ and flux J.
13 Conservation law in (2+1-dimensions D t ρ + J = D t ρ + D x J 1 + D y J 2 = 0 evaluated on the PDE. Conserved density ρ and flux J = (J 1, J 2. Conservation law in (3+1-dimensions D t ρ + J = D t ρ + D x J 1 + D y J 2 + D z J 3 = 0 evaluated on the PDE. Conserved density ρ and flux J = (J 1, J 2, J 3.
14 Reasons for Computing Conservation Laws Conservation of physical quantities (linear momentum, mass, energy, electric charge,.... Testing of complete integrability and application of Inverse Scattering Transform. Testing of numerical integrators. Study of quantitative and qualitative properties of PDEs (Hamiltonian structure, recursion operators,.... Verify the closure of a model.
15 Examples of PDEs with Conservation Laws Example 1: KdV Equation u t + u u x + 3 u x = 0 or u 3 t + uu x + u xxx = 0 shallow water waves, ion-acoustic waves in plasmas Diederik Korteweg Gustav de Vries
16 Dilation Symmetry u t + uu x + u xxx = 0 has dilation (scaling symmetry (x, t, u ( x λ, t λ 3, λ 2 u λ is an arbitrary parameter. Notion of weight: W (x = 1, thus, W (D x = 1. W (t = 3, hence, W (D t = 3. W (u = 2. Notion of rank (total weight of a monomial. Examples: Rank(u 3 = Rank(3u 2 x = 6. Rank(u 3 u xx = 10.
17 Key Observation: Scaling Invariance Every term in a density has the same fixed rank. Every term in a flux has some other fixed rank. The conservation law D t ρ + D x J = 0 is uniform in rank. Hence, Rank(ρ + Rank(D t = Rank J + Rank(D x
18 First six (of infinitely many conservation laws: ( D t (u + D 12 x u2 + u xx = 0 ( D t u 2 ( + D 2 x 3 u3 u 2 x + 2uu xx = 0 D t (u 3 3u 2 x + D x ( 3 4 u4 6uu 2 x + 3u2 u xx + 3u 2 xx 6u xu xxx = 0 D t (u 4 12uu 2 x u2 xx + D x ( 4 5 u5 18uu 2 x + 4u 3 u xx +12u 2 x u xx uu2 xx 24uu xu xxx 36 5 u2 xxx u xxu 4x = 0
19 ( D t u 5 30 u 2 u 2 x + 36 uu 2 xx u2 xxx + D x ( 5 6 u6 40u 3 u 2 x u xxxu 5x = 0 D t (u 6 60 u 3 u 2 x 30 u 4 x u 2 u 2 xx u3 xx uu2 xxx u2 4x + D x ( 6 7 u7 75u 4 u 2 x u 4xu 6x = 0 Third conservation law: Gerald Whitham, 1965 Fourth and fifth: Norman Zabusky, Seventh (sixth thru tenth: Robert Miura, 1966
20 Robert Miura
21 Conservation law explicitly dependent on t and x: D t (tu 2 2xu ( +D 2 x 3 tu3 xu 2 + 2u x tu 2 x + 2tuu xx 2xu xx = 0
22 First five: IBM 7094 computer with FORMAC (1966 storage space problem! IBM 7094 Computer
23 First eleven densities: Control Data Computer CDC-6600 computer (2.2 seconds large integers problem! Control Data CDC-6600
24 Example 2: The Zakharov-Kuznetsov Equation u t + αuu x + β(u xx + u yy x = 0 models ion-sound solitons in a low pressure uniform magnetized plasma. Conservation laws: ( D t (u + D α2 x u2 + βu xx + D y (βu xy = 0 D t (u 2 ( + D 2α x 3 u3 β(u 2 x u2 y + 2βu(u xx + u yy ( + D y 2βu x u y = 0
25 More conservation laws (ZK equation: ( D t (u 3 3β α (u2 x + u 2 y + D x 3u 2 ( α 4 u2 + βu xx 6βu(u 2 x + u 2 y + 3β2 α (u2 xx u 2 yy 6β2 + D y ( 3βu 2 u xy + 6β2 α u xy(u xx + u yy α (u x(u xxx + u xyy + u y (u xxy + u yyy = 0 ( D t tu 2 2 α xu + D x (t( 2α 3 u3 β(u 2 x u2 y + 2βu(u xx + u yy ( x(u 2 + 2β α u xx + 2β α u x + D y 2β(tu x u y + 1 α xu xy = 0
26 Methods for Computing Conservation Laws Use the Lax pair L and A, satisfying [L, A] = 0. If L = D x + U, A = D t + V then V x U t + [U, V ] = 0. ˆL = T LT 1 gives the densities, Â = T AT 1 gives the fluxes. Use Noether s theorem (Lagrangian formulation to generate conservation laws from symmetries (Ovsiannikov, Olver, and many others. Integrating factor methods (Anderson, Bluman, Anco, Cheviakov, Wolf, etc. require solving ODEs (or PDEs.
27 Proposed Algorithmic Method Density is linear combination of scaling invariant terms (in the jet space with undetermined coefficients. Compute D t ρ with total derivative operator. Use variational derivative (Euler operator to express exactness. Solve a (parametrized linear system to find the undetermined coefficients. Use the homotopy operator to compute the flux (invert D x or Div.
28 Work with linearly independent pieces in finite dimensional spaces. Use linear algebra, calculus, and variational calculus (algorithmic. Implement the algorithm in Mathematica.
29 Tools from the Calculus of Variations Definition: A differential function f is a exact iff f = Div F. Special case (1D: f = D x F. Question: How can one test that f = Div F? Theorem (exactness test: f = Div F iff L u (j (x f 0, j = 1, 2,..., N. N is the number of dependent variables. The Euler operator annihilates divergences
30 Euler operator in 1D (variable u(x: M L u(x = ( D x k k=0 = u D x u kx u x + D 2 x u xx D 3 x u xxx + Euler operator in 2D (variable u(x, y: L u(x,y = M x k=0 M y ( D x k ( D y l l=0 = u D x + D 2 x u x D y u xx +D x D y u y +D 2 y u xy u kx ly u yy D 3 x u xxx
31 Question: How can one compute F = Div 1 f? Theorem (integration by parts: In 1D: If f is exact then F = D 1 x f = f dx = H u(x f In 2D: If f is a divergence then F = Div 1 f = (H (x u(x,y f, H(y u(x,y f The homotopy operator inverts total derivatives and divergences!
32 Homotopy Operator in 1D (variable x: H u(x f = 1 0 N (I u (jf[λu] dλ λ j=1 with integrand I u (jf = M x (j k=1 k 1 i=0 ix ( D x k (i+1 u (j f u (j kx (I u (jf[λu] means that in I u (jf one replaces u λu, u x λu x, etc. More general: u λ(u u 0 + u 0 u x λ(u x u x 0 + u x 0 etc.
33 Homotopy Operator in 2D (variables x and y: H (x u(x,y f = 1 0 N j=1 (I (x u (j f[λu] dλ λ H (y u(x,y f = 1 0 N j=1 (I (y u (j f[λu] dλ λ where for dependent variable u(x, y M x M y ( k 1 l i+j I u (x f = i u ix jy k=1 l=0 i=0 j=0 ( D x k i 1 ( D y l j ( k+l i j 1 k i 1 ( k+l k f u kx ly
34 Application 1: The KdV Equation u t + uu x + u xxx = 0 Step 1: Compute the dilation symmetry Set (x, t, u ( x λ, t λ a, λ b u = ( x, t, ũ Apply change of variables (chain rule λ (a+b ũ t +λ (2b+1 ũũ x +λ (b+3 ũ 3 x = 0 Solve a + b = 2b + 1 = b + 3. Solution: a = 3 and b = 2 (x, t, u ( x λ, t λ 3, λ2 u
35 Compute the density of selected rank, say, 6. Step 2: Determine the form of the density List powers of u, up to rank 6 : [u, u 2, u 3 ] Differentiate with respect to x to increase the rank u has weight 2 apply D 4 x u 2 has weight 4 apply D 2 x u 3 has weight 6 no derivatives needed
36 Apply the D x derivatives Remove total and highest derivative terms: D 4 x u {u 4x} empty list D 2 xu 2 {u 2 x, uu xx } {u 2 x } 2 since uu xx =(uu x x u x D 0 xu 3 {u 3 } {u 3 } Linearly combine the building blocks Candidate density: ρ = c 1 u c 2 u x
37 Step 3: Compute the coefficients c i Compute D t ρ = ρ t + ρ (u[u t ] = ρ t + M k=0 ρ u kx D k xu t = (3c 1 u 2 I + 2c 2 u x D x u t Substitute u t by (uu x + u xxx E = D t ρ = (3c 1 u 2 I + 2c 2 u x D x (uu x + u xxx = 3c 1 u 3 u x + 2c 2 u 3 x + 2c 2uu x u xx +3 c 1 u 2 u xxx + 2c 2 u x u 4x
38 Apply the Euler operator (variational derivative L u (x = δ m δu = ( D x k k=0 Here, E has order m = 4, thus L u (x E = E u D x E u x +D 2 x = 6(3c 1 + c 2 u x u xx This term must vanish! E u xx D 3 x So, c 1 = 1 3 c 2. Set c 2 = 3, then c 1 = 1 u kx E u 3x +D 4 x Hence, the final form density is ρ = u 3 3u x 2 E u 4x
39 Step 4: Compute the flux J Method 1: Integrate by parts (simple cases Now, E =3u 3 u x + 3u 2 u xxx 6u 3 x 6uu x u xx 6u x u xxxx Integration of D x J = E yields the flux J = 3 4 u4 6uu x 2 + 3u 2 u xx + 3u xx 2 6u x u xxx
40 Method 2: Use the homotopy operator 1 J = D 1 x E = E dx = H u(x E = (I u E[λu] dλ λ with integrand I u E = M k 1 u ix ( D x k (i+1 E u kx k=1 i=0 0
41 Here M = 4, thus I u E = (ui( E u x + (u x I ud x ( E u xx +(u xx I u x D x + ud 2 x( E u xxx +(u xxx I u xx D x + u x D 2 x ud3 x ( = (ui(3u u 2 x 6uu xx 6u xxxx +(u x I ud x ( 6uu x +(u xx I u x D x + ud 2 x (3u2 E u xxxx +(u xxx I u xx D x + u x D 2 x ud 3 x( 6u x = 3u 4 18uu 2 x + 9u 2 u xx + 6u 2 xx 12u x u xxx Note: correct terms but incorrect coefficients!
42 Finally, 1 J = H u(x E = (I u E[λu] dλ 0 λ 1 ( = 3λ 3 u 4 18λ 2 uu 2 x + 9λ 2 u 2 u xx + 6λu 2 xx 0 12λu x u xxx dλ = 3 4 u4 6uu 2 x + 3u 2 u xx + 3u 2 xx 6u x u xxx Final form of the flux: J = 3 4 u4 6uu x 2 + 3u 2 u xx + 3u xx 2 6u x u xxx
43 Application 2: Zakharov-Kuznetsov Equation u t + αuu x + β(u xx + u yy x = 0 Step 1: Compute the dilation invariance ZK equation is invariant under scaling symmetry (t, x, y, u ( t λ 3, x λ, y λ, λ2 u= ( t, x, ỹ, ũ λ is an arbitrary parameter. Hence, the weights of the variables are W (u = 2, W (D t = 3, W (D x = 1, W (D y = 1.
44 A conservation law is invariant under the scaling symmetry of the PDE. W (u = 2, W (D t = 3, W (D x = 1, W (D y = 1. For example, ( D t (u 3 3β α (u2 x +u 2 y + D x 3u 2 ( α 4 u2 +βu xx 6βu(u 2 x + u 2 y + 3β2 α (u2 xx u 2 xy 6β2 α (u x(u xxx +u xyy + u y (u xxy +u yyy ( + D y 3βu 2 u xy + 6β2 α u xy(u xx + u yy = 0 Rank (ρ = 6, Rank (J = 8. Rank (conservation law = 9.
45 Compute the density of selected rank, say, 6. Step 2: Construct the candidate density For example, construct a density of rank 6. Make a list of all terms with rank 6: {u 3, u 2 x, uu xx, u 2 y, uu yy, u x u y, uu xy, u 4x, u 3xy, u 2x2y, u x3y, u 4y } Remove divergences and divergence-equivalent terms. Candidate density of rank 6: ρ = c 1 u 3 + c 2 u 2 x + c 3 u 2 y + c 4 u x u y
46 Step 3: Compute the undetermined coefficients Compute D t ρ = ρ t + ρ (u[u t ] = ρ t + = M x k=0 M y l=0 ρ u kx ly D k x Dl y u t ( 3c 1 u 2 I + 2c 2 u x D x + 2c 3 u y D y + c 4 (u y D x + u x D y Substitute u t = (αuu x + β(u xx + u yy x. u t
47 E = D t ρ = 3c 1 u 2 (αuu x + β(u xx + u xy x + 2c 2 u x (αuu x + β(u xx + u yy x x + 2c 3 u y (αuu x + β(u xx + u yy x y + c 4 (u y (αuu x + β(u xx + u yy x x + u x (αuu x + β(u xx + u yy x y Apply the Euler operator (variational derivative M x M y L u(x,y E = ( D x k ( D y l E k=0 l=0 u kx ly ( = 2 (3c 1 β + c 3 αu x u yy + 2(3c 1 β + c 3 αu y u xy +2c 4 αu x u xy +c 4 αu y u xx +3(3c 1 β +c 2 αu x u xx 0
48 Solve a parameterized linear system for the c i : 3c 1 β + c 3 α = 0, c 4 α = 0, 3c 1 β + c 2 α = 0 Solution: c 1 = 1, c 2 = 3β α, c 3 = 3β α, c 4 = 0 Substitute the solution into the candidate density ρ = c 1 u 3 + c 2 u 2 x + c 3 u 2 y + c 4 u x u y Final density of rank 6: ρ = u 3 3β α (u2 x + u 2 y
49 Step 4: Compute the flux Use the homotopy operator to invert Div: ( J=Div 1 E = H (x u(x,y E, H(y u(x,y E where with I (x u E = H (x M x k=1 u(x,y E = 1 M y l=0 ( k 1 i=0 0 l j=0 (I u (x E[λu] dλ λ ( i+j i u ix jy ( D x k i 1 ( D y l j ( k+l i j 1 k i 1 ( k+l k E u kx ly Similar formulas for H (y u(x,y E and I(y u E.
50 Let A = αuu x + β(u xxx + u xyy so that E = 3u 2 A 6β α u xa x 6β α u ya y Then, ( J = H (x u(x,y E, H(y u(x,y E = ( 3α 4 u4 + βu 2 (3u xx + 2u yy 2βu(3u 2 x + u 2 y + 3β2 4α u(u 2x2y + u 4y β2 α u x( 7 2 u xyy + 6u xxx β2 α u y(4u xxy u yyy + β2 α (3u2 xx u2 xy u2 yy + 5β2 4α u xxu yy, βu 2 u xy 4βuu x u y 3β2 4α u(u x3y + u 3xy β2 4α u x(13u xxy + 3u yyy 5β2 4α u y(u xxx + 3u xyy + 9β2 4α u xy(u xx + u yy
51 However, Div 1 E is not unique. Indeed, J = J + K, where K = (D y θ, D x θ is a curl term. For example, θ =2βu 2 u y + β2 4α Shorter flux: ( 3u(u xxy +u yyy +10u x u xy +5u y (3u yy +u xx J = J K ( = 3u 2 ( α 4 u2 + βu xx 6βu(u 2 x + u 2 y + 3β2 α ( u 2 xx u 2 yy 6β2 α (u x(u xxx + u xyy + u y (u xxy + u yyy, 3βu 2 u xy + 6β2 α u xy(u xx + u yy
52 Software Demonstration Software packages in Mathematica Codes are available via the Internet: URL: whereman/
53 Additional Examples Manakov-Santini system u tx + u yy + (uu x x + v x u xy u xx v y = 0 v tx + v yy + uv xx + v x v xy v y v xx = 0 Conservation laws for Manakov-Santini system: ( D t fu x v x + D x (f(uu x v x u x v x v y u y v y ( f y(u t + uu x u x v y + D y f(u x v y + u y v x + u x vx 2 + f (u yu y yu x v x = 0 where f = f(t is arbitrary.
54 Conservation laws continued: ( D t (f(2u + vx 2 yu x v x + D x f (u 2 + uvx 2 + u y v vy 2 vxv 2 y y(uu x v x u x v x v y u y v y f y(v t + uv x v x v y + (f 2fxy 2 (u t + uu x u x v y + D y (f(vx 3 + 2v x v y u x v y(u x vx 2 + u x v y + u y v x +f (v y(2u + v y + vx 2 + (f y 2 2fx(u x v x + u y =0 where f = f(t is arbitrary. There are three additional conservation laws.
55 (2+1-dimensional Camassa-Holm equation (αu t + κu x u txx + 3βuu x 2u x u xx uu xxx x + u yy = 0 Interchange t with y (αu y + κu x u xxy + 3βuu x 2u x u xx uu xxx x + u tt = 0 Set v = u t to get u t = v v t = αu xy κu xx + u 3xy 3βu 2 x 3βuu xx + 2u 2 xx + 3u x u xxx + uu 4x
56 Conservation laws for the Camassa-Holm equation D t (fu + D x ( 1 α f(3β 2 u2 + κu 1 2 u2 x uu xx u tx + ( 1 2 f y 2 1 α fx(αu t+ κu x + 3βuu x 2u x u xx uu xxx ( u txx + D y ( 1 2 f y 2 1 α fxu y f yu = 0 ( D t (fyu + D 1 x α fy( 3β 2 u2 + κu 1 2 u2 x uu xx u tx + y( 1 6 f y 2 1 α fx(αu t + κu x + 3βuu x 2u x u xx uu xxx ( u txx + D y y( 1 6 f y 2 1 α fxu y + ( 1 α fx 1 2 f y 2 u = 0 where f = f(t is an arbitrary function.
57 Khoklov-Zabolotskaya equation describes e.g. sound waves in nonlinear media (u t uu x x u yy u zz = 0 Conservation law: ( D t (fu D 1 x 2 fu2 + (fx + g(u t uu x + D y ((fx + gu y (f y x + g y u + D z ((fx + gu z (f z x + g z u = 0 under the constraints f = 0 and g = f t where f = f(t, y, z and g = g(t, y, z.
58 Shallow water wave model (atmosphere u t + (u u + 2 Ω u + (θh 1 2 h θ = 0 θ t + u ( θ = 0 h t + (uh = 0 where u(x, y, t, θ(x, y, t and h(x, y, t. In components: u t + uu x + vu y 2 Ωv hθ x + θh x = 0 v t + uv x + vv y + 2 Ωu hθ y + θh y = 0 θ t + uθ x + vθ y = 0 h t + hu x + uh x + hv y + vh y = 0
59 First few conservation laws of SWW model: ρ (1 = h ρ (2 = h θ J (1 = h J (2 = h θ ρ (3 = h θ 2 J (3 = h θ 2 ρ (4 = h (u 2 + v 2 + hθ ρ (5 = θ (2Ω + v x u y J (5 = 1 2 θ J (4 = h u v 4Ωu 2uu y + 2uv x hθ y 4Ωv + 2vv x 2vu y + hθ x u v u v u (u2 + v 2 + 2hθ v (v 2 + u 2 + 2hθ
60 More general conservation laws for SWW model: ( ( D t (f(θh + D x f(θhu + D y f(θhv = 0 D t (g(θ(2ω + v x u x ( + D 1 x 2 g(θ(4ωu 2uu y + 2uv x hθ y ( + D 1 y 2 g(θ(4ωv 2u yv + 2vv x + hθ x = 0 for any functions f(θ and g(θ.
61 Kadomtsev-Petviashvili (KP equation (u t + αuu x + u xxx x + σ 2 u yy = 0 parameter α IR and σ 2 = ±1. Equation be written as a conservation law D t (u x + D x (αuu x + u xxx + D y (σ 2 u y = 0. Exchange y and t and set u t = v u t = v v t = 1 σ (u 2 xy + αu 2 x + αuu xx + u xxxx
62 Examples of conservation laws for KP equation (explicitly dependent on t, x, and y ( ( ( D t xu x +D x 3u 2 u xx 6xuu x +xu xxx +D y αxu y =0 ( ( D t yu x +D x (y(αuu x + u xxx +D y σ 2 (yu y u =0 ( tu ( D t + D α x 2 tu 2 + tu xx + σ2 y 2 4 t u t + σ2 y 2 4 t u xxx + ασ2 y 2 4 t uu x x tu t αx tuu x x tu xxx +D y ( x tu y + y2 u y 4 t yu 2 t = 0
63 More general conservation laws for KP equation: ( D t (fu + D x f( α 2 u2 + u xx +( σ2 2 f y 2 fx(u t + αuu x + u 3x +D y (( 1 2 f y 2 σ 2 fxu y f yu = 0 ( D t (fyu + D x fy( α 2 u2 + u xx +y( σ2 6 f y 2 fx(u t + αuu x + u 3x +D y (y( 1 6 f y 2 σ 2 fxu y +(σ 2 fx 1 2 f y 2 u =0 where f(t is arbitrary function.
64 Potential KP equation Replace u by u x and integrate with respect to x. u xt + αu x u xx + u xxxx + σ 2 u yy = 0 Examples of conservation laws (not explicitly dependent on x, y, t: ( ( ( D t u x + D α x 2 u2 x + u xxx + D y σ 2 u y = 0 ( D t (u 2 x + D 2α3 x u3 x u 2 xx + 2u x u xxx σ 2 u yy ( +D y 2σ 2 u x u y = 0
65 Conservation laws for pkp equation continued: ( ( D t u x u y + Dx αu 2 xu y + u t u y + 2u xxx u y 2u xx u xy +D y (σ 2 u 2 y 1 3 u3 x u t u x + u 2 xx = 0 ( D t (2αuu x u xx + 3uu 4x 3σ 2 u 2 y + D x 2αu t u 2 x + 3u 2 t 2αuu x u tx 3u tx u xx + 3u t u xxx + 3u x u t xx 3uu t xxx +D y ( 6σ 2 u t u y = 0 Various generalizations exist.
66 Generalized Zakharov-Kuznetsov equation u t + αu n u x + β(u xx + u yy x = 0 where n is rational, n 0. Conservation laws: ( D t (u + D α x n+1 un+1 + βu xx + D y ( βu xy = 0 ( D t u 2 ( + D 2α x n+2 un+2 β(u 2 x u 2 y + 2βu(u xx + u yy ( + D y 2βu x u y = 0
67 Third conservation law for gzk equation: ( D t u n+2 (n+1(n+2β (u 2 2α x + u 2 y + D x ( (n+2α 2(n+1 u2(n+1 + (n + 2βu n+1 u xx (n + 1(n + 2βu n (u 2 x + u 2 y + (n+1(n+2β2 2α (n+1(n+2β2 α (u x (u xxx + u xyy + u y (u xxy + u yyy (u 2 xx u 2 yy + D y ( (n + 2βu n+1 u xy + (n+1(n+2β2 α u xy (u xx + u yy = 0.
68 Conclusions and Future Work The power of Euler and homotopy operators: Testing exactness Integration by parts: D 1 x and Div 1 Integration of non-exact expressions Example: f = u x v + uv x + u 2 u xx fdx = uv + u 2 u xx dx Use other homotopy formulas (moving terms amongst the components of the flux; prevent curl terms
69 Broader class of PDEs (beyond evolution type Example: short pulse equation (nonlinear optics u xt = u + (u 3 xx = u + 6uu 2 x + 3u 2 u xx with non-polynomial conservation law ( D t 1 + 6u 2 x D x (3u u 2 x = 0 Continue the implementation in Mathematica Software: whereman
70 Thank You
71 Publications 1. D. Poole and W. Hereman, Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions, Journal of Symbolic Computation (2011, 26 pages, in press. 2. W. Hereman, P. J. Adams, H. L. Eklund, M. S. Hickman, and B. M. Herbst, Direct Methods and Symbolic Software for Conservation Laws of Nonlinear Equations, In: Advances of Nonlinear Waves and Symbolic Computation, Ed.: Z. Yan, Nova Science Publishers, New York (2009, Chapter 2, pp
72 3. W. Hereman, M. Colagrosso, R. Sayers, A. Ringler, B. Deconinck, M. Nivala, and M. S. Hickman, Continuous and Discrete Homotopy Operators and the Computation of Conservation Laws. In: Differential Equations with Symbolic Computation, Eds.: D. Wang and Z. Zheng, Birkhäuser Verlag, Basel (2005, Chapter 15, pp W. Hereman, B. Deconinck, and L. D. Poole, Continuous and discrete homotopy operators: A theoretical approach made concrete, Math. Comput. Simul. 74(4-5, (2007.
73 5. W. Hereman, Symbolic computation of conservation laws of nonlinear partial differential equations in multi-dimensions, Int. J. Quan. Chem. 106(1, (2006.
Symbolic 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 informationSymbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations
Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations Willy Hereman Department of Applied Mathematics and Statistics Colorado School of Mines Golden, Colorado whereman@mines.edu
More informationApplication of Euler and Homotopy Operators to Integrability Testing
Application of Euler and Homotopy Operators to Integrability Testing Willy Hereman Department of Applied Mathematics and Statistics Colorado School of Mines Golden, Colorado, U.S.A. http://www.mines.edu/fs
More informationSymbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions
1 Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions Douglas Poole and Willy Hereman Department of Mathematical and Computer Sciences, Colorado
More informationSymbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions
1 Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions Douglas Poole and Willy Hereman Department of Mathematical and Computer Sciences, Colorado
More informationSymbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations in Multi-dimensions
. Symbolic Computation of Conservation Laws of Nonlinear Partial Differential Equations in Multi-dimensions Willy Hereman Department of Mathematical and Computer Sciences Colorado School of Mines Golden,
More informationSymbolic Computation of Recursion Operators of Nonlinear Differential-Difference Equations
Symbolic Computation of Recursion Operators of Nonlinear Differential-Difference Equations Ünal Göktaş and Willy Hereman Department of Computer Engineering Turgut Özal University, Keçiören, Ankara, Turkey
More informationContinuous and Discrete Homotopy Operators with Applications in Integrability Testing. Willy Hereman
Continuous and Discrete Homotopy Operators with Applications in Integrability Testing Willy Hereman Department of Mathematical and Computer Sciences Colorado School of Mines Golden, Colorado, USA http://www.mines.edu/fs
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 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 informationSYMBOLIC SOFTWARE FOR SOLITON THEORY: INTEGRABILITY, SYMMETRIES CONSERVATION LAWS AND EXACT SOLUTIONS. Willy Hereman
. SYMBOLIC SOFTWARE FOR SOLITON THEORY: INTEGRABILITY, SYMMETRIES CONSERVATION LAWS AND EXACT SOLUTIONS Willy Hereman Dept. of Mathematical and Computer Sciences Colorado School of Mines Golden, Colorado
More informationThe 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
Invariants and Symmetries for Partial Differential Equations and Lattices Λ Ünal Göktaοs y Willy Hereman y Abstract Methods for the computation of invariants and symmetries of nonlinear evolution, wave,
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 informationAlgorithmic Computation of Symmetries, Invariants and Recursion Operators for Systems of. Nonlinear Evolution and Differential-Difference.
Algorithmic Computation of Symmetries, Invariants and Recursion Operators for Systems of Nonlinear Evolution and Differential-Difference Equations by Ünal GÖKTAŞ A thesis submitted to the Faculty and the
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 informationSolving Nonlinear Wave Equations and Lattices with Mathematica. Willy Hereman
Solving Nonlinear Wave Equations and Lattices with Mathematica Willy Hereman Department of Mathematical and Computer Sciences Colorado School of Mines Golden, Colorado, USA http://www.mines.edu/fs home/whereman/
More informationSymbolic Computation of Conservation Laws, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-Difference Equations
Symbolic Computation of Conservation Laws, Generalized Symmetries, and Recursion Operators for Nonlinear Differential-Difference Equations Ünal Götaş and Willy Hereman Abstract Algorithms for the symbolic
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 informationarxiv:nlin/ v1 [nlin.si] 16 Nov 2003
Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes arxiv:nlin/0311028v1 [nlin.si] 16 Nov 2003 Symbolic algorithms for the Painlevé test, special solutions, and recursion operators for
More information2. Examples of Integrable Equations
Integrable equations A.V.Mikhailov and V.V.Sokolov 1. Introduction 2. Examples of Integrable Equations 3. Examples of Lax pairs 4. Structure of Lax pairs 5. Local Symmetries, conservation laws and the
More informationRESEARCH ARTICLE. A symbolic algorithm for computing recursion operators of nonlinear PDEs
International Journal of Computer Mathematics Vol. 00, No. 00, Month 200, 1 27 RESEARCH ARTICLE A symbolic algorithm for computing recursion operators of nonlinear PDEs D.E. Baldwin and W. Hereman Department
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 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 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 informationThe Orchestra of Partial Differential Equations. Adam Larios
The Orchestra of Partial Differential Equations Adam Larios 19 January 2017 Landscape Seminar Outline 1 Fourier Series 2 Some Easy Differential Equations 3 Some Not-So-Easy Differential Equations Outline
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 informationSymmetry Methods for Differential Equations and Conservation Laws. Peter J. Olver University of Minnesota
Symmetry Methods for Differential Equations and Conservation Laws Peter J. Olver University of Minnesota http://www.math.umn.edu/ olver Santiago, November, 2010 Symmetry Groups of Differential Equations
More informationBreaking soliton equations and negative-order breaking soliton equations of typical and higher orders
Pramana J. Phys. (2016) 87: 68 DOI 10.1007/s12043-016-1273-z c Indian Academy of Sciences Breaking soliton equations and negative-order breaking soliton equations of typical and higher orders ABDUL-MAJID
More informationExact solutions of the two-dimensional Boussinesq and dispersive water waves equations
Advances in Fluid Mechanics VIII 293 Exact solutions of the two-dimensional Boussinesq and dispersive water waves equations F. P. Barrera 1, T. Brugarino 2 & F. Montano 1 1 Dip. di Ingegneria dei Trasporti,
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 informationSecond Order Lax Pairs of Nonlinear Partial Differential Equations with Schwarzian Forms
Second Order Lax Pairs of Nonlinear Partial Differential Equations with Schwarzian Forms Sen-yue Lou a b c, Xiao-yan Tang a b, Qing-Ping Liu b d, and T. Fukuyama e f a Department of Physics, Shanghai Jiao
More informationMACSYMA PROGRAM FOR THE PAINLEVÉ TEST FOR NONLINEAR ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
. MACSYMA PROGRAM FOR THE PAINLEVÉ TEST FOR NONLINEAR ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS Willy Hereman Mathematics Department and Center for the Mathematical Sciences University of Wisconsin at
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 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 informationThe Cohomology of the Variational Bicomplex Invariant under the Symmetry Algebra of the Potential Kadomtsev-Petviashvili Equation
Nonlinear Mathematical Physics 997, V.4, N 3 4, 364 376. The Cohomology of the Variational Bicomplex Invariant under the Symmetry Algebra of the Potential Kadomtsev-Petviashvili Equation Juha POHJANPELTO
More informationConservation laws for Kawahara equations
Conservation laws for Kawahara equations Igor L. Freire Júlio C. S. Sampaio Centro de Matemática, Computação e Cognição, CMCC, UFABC 09210-170, Santo André, SP E-mail: igor.freire@ufabc.edu.br, julio.sampaio@ufabc.edu.br
More informationarxiv:nlin/ v1 [nlin.si] 16 Nov 2003
Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes arxiv:nlin/0311029v1 [nlinsi] 16 Nov 2003 Symbolic Computation of Conserved Densities, Generalized Symmetries, and Recursion Operators
More informationGetting started: CFD notation
PDE of p-th order Getting started: CFD notation f ( u,x, t, u x 1,..., u x n, u, 2 u x 1 x 2,..., p u p ) = 0 scalar unknowns u = u(x, t), x R n, t R, n = 1,2,3 vector unknowns v = v(x, t), v R m, m =
More informationPainlevé Test for the Certain (2+1)-Dimensional Nonlinear Evolution Equations. Abstract
Painlevé Test for the Certain (2+1)-Dimensional Nonlinear Evolution Equations T. Alagesan and Y. Chung Department of Information and Communications, Kwangju Institute of Science and Technology, 1 Oryong-dong,
More informationTrilateration: The Mathematics Behind a Local Positioning System. Willy Hereman
Trilateration: The Mathematics Behind a Local Positioning System Willy Hereman Department of Mathematical and Computer Sciences Colorado School of Mines Golden, Colorado, U.S.A. whereman@mines.edu http://inside.mines.edu/
More informationB.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 informationBoundary value problems for integrable equations compatible with the symmetry algebra
Boundary value problems for integrable equations compatible with the symmetry algebra Burak Gürel, Metin Gürses, and Ismagil Habibullin Citation: J. Math. Phys. 36, 6809 (1995); doi: 10.1063/1.531189 View
More informationConservation Laws of Surfactant Transport Equations
Conservation Laws of Surfactant Transport Equations Alexei Cheviakov Department of Mathematics and Statistics, University of Saskatchewan, Saskatoon, Canada Winter 2011 CMS Meeting Dec. 10, 2011 A. Cheviakov
More informationLecture Notes in Mathematics. A First Course in Quasi-Linear Partial Differential Equations for Physical Sciences and Engineering Solution Manual
Lecture Notes in Mathematics A First Course in Quasi-Linear Partial Differential Equations for Physical Sciences and Engineering Solution Manual Marcel B. Finan Arkansas Tech University c All Rights Reserved
More informationBiao Li a,b, Yong Chen a,b, and Hongqing Zhang a,b. 1. Introduction
Auto-Bäcklund Transformations and Exact Solutions for the Generalized Two-Dimensional Korteweg-de Vries-Burgers-type Equations and Burgers-type Equations Biao Li a,b, Yong Chen a,b, and Hongqing Zhang
More informationA Note on Nonclassical Symmetries of a Class of Nonlinear Partial Differential Equations and Compatibility
Commun. Theor. Phys. (Beijing, China) 52 (2009) pp. 398 402 c Chinese Physical Society and IOP Publishing Ltd Vol. 52, No. 3, September 15, 2009 A Note on Nonclassical Symmetries of a Class of Nonlinear
More informationSymbolic Computation of. Conserved Densities and Fluxes for. Nonlinear Systems of Differential-Difference. Equations
Symbolic Computation of Conserved Densities and Fluxes for Nonlinear Systems of Differential-Difference Equations by Holly Eklund Copyright c 003 Holly Eklund, All rights reserved. ii A thesis submitted
More informationDifferential equations, comprehensive exam topics and sample questions
Differential equations, comprehensive exam topics and sample questions Topics covered ODE s: Chapters -5, 7, from Elementary Differential Equations by Edwards and Penney, 6th edition.. Exact solutions
More informationNew Exact Solutions for the (2+1)-dimensional Boiti-Leon-Manna-Pempinelli Equation
Applied Mathematical Sciences, Vol. 6, 2012, no. 12, 579-587 New Exact Solutions for the (2+1)-dimensional Boiti-Leon-Manna-Pempinelli Equation Ying Li and Desheng Li School of Mathematics and System Science
More informationLax Representations for Matrix Short Pulse Equations
Lax Representations for Matrix Short Pulse Equations Z. Popowicz arxiv:1705.04030v1 [nlin.si] 11 May 017 May 1, 017 Institute of Theoretical Physics, University of Wrocław, Wrocław pl. M. Borna 9, 50-05
More information. p.1/31. Department Mathematics and Statistics Arizona State University. Don Jones
Modified-Truncation Finite Difference Schemes. p.1/31 Department Mathematics and Statistics Arizona State University Don Jones dajones@math.asu.edu . p.2/31 Heat Equation t u = λu xx + f . p.2/31 Heat
More informationHamiltonian partial differential equations and Painlevé transcendents
Winter School on PDEs St Etienne de Tinée February 2-6, 2015 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN SISSA, Trieste Cauchy problem for evolutionary PDEs with
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 informationGeneralized bilinear differential equations
Generalized bilinear differential equations Wen-Xiu Ma Department of Mathematics and Statistics, University of South Florida, Tampa, FL 33620-5700, USA Abstract We introduce a kind of bilinear differential
More informationarxiv:nlin/ v1 [nlin.ps] 12 Jul 2001
Higher dimensional Lax pairs of lower dimensional chaos and turbulence systems arxiv:nlin/0107028v1 [nlin.ps] 12 Jul 2001 Sen-yue Lou CCAST (World Laboratory), PO Box 8730, Beijing 100080, P. R. China
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 informationAn Introduction to Partial Differential Equations
An Introduction to Partial Differential Equations Ryan C. Trinity University Partial Differential Equations Lecture 1 Ordinary differential equations (ODEs) These are equations of the form where: F(x,y,y,y,y,...)
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 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 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 informationThree types of generalized Kadomtsev Petviashvili equations arising from baroclinic potential vorticity equation
Chin. Phys. B Vol. 19, No. (1 1 Three types of generalized Kadomtsev Petviashvili equations arising from baroclinic potential vorticity equation Zhang Huan-Ping( 张焕萍 a, Li Biao( 李彪 ad, Chen Yong ( 陈勇 ab,
More informationPresentation for the Visiting Committee & Graduate Seminar SYMBOLIC COMPUTING IN RESEARCH. Willy Hereman
Presentation for the Visiting Committee & Graduate Seminar SYMBOLIC COMPUTING IN RESEARCH Willy Hereman Dept. of Mathematical and Computer Sciences Colorado School of Mines Golden, CO 80401-1887 Monday,
More information3 Applications of partial differentiation
Advanced Calculus Chapter 3 Applications of partial differentiation 37 3 Applications of partial differentiation 3.1 Stationary points Higher derivatives Let U R 2 and f : U R. The partial derivatives
More informationDispersive nonlinear partial differential equations
Dispersive nonlinear partial differential equations Elena Kartashova 16.02.2007 Elena Kartashova (RISC) Dispersive nonlinear PDEs 16.02.2007 1 / 25 Mathematical Classification of PDEs based on the FORM
More informationSymbolic algorithms for the Painlevé test, special solutions, and recursion operators for nonlinear PDEs.
Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Symbolic algorithms for the Painlevé test, special solutions, and recursion operators for nonlinear PDEs. Douglas Baldwin, Willy Hereman,
More informationNew Approach of ( Ǵ/G ) Expansion Method. Applications to KdV Equation
Journal of Mathematics Research; Vol. 6, No. ; ISSN 96-9795 E-ISSN 96-989 Published by Canadian Center of Science and Education New Approach of Ǵ/G Expansion Method. Applications to KdV Equation Mohammad
More informationSymbolic Computation and New Soliton-Like Solutions of the 1+2D Calogero-Bogoyavlenskii-Schif Equation
MM Research Preprints, 85 93 MMRC, AMSS, Academia Sinica, Beijing No., December 003 85 Symbolic Computation and New Soliton-Like Solutions of the 1+D Calogero-Bogoyavlenskii-Schif Equation Zhenya Yan Key
More informationNumerical solutions of the small dispersion limit of KdV, Whitham and Painlevé equations
Numerical solutions of the small dispersion limit of KdV, Whitham and Painlevé equations Tamara Grava (SISSA) joint work with Christian Klein (MPI Leipzig) Integrable Systems in Applied Mathematics Colmenarejo,
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 informationMagnetized Target Fusion: Insights from Mathematical Modelling
: Insights from Mathematical Modelling, UBC, PhD Candidate - Applied Math Brian Wetton, UBC, Supervisor Michael Ward, UBC, Committee Member Sandra Barsky, General Fusion, Committee Member November 28,
More informationExponential Energy Decay for the Kadomtsev-Petviashvili (KP-II) equation
São Paulo Journal of Mathematical Sciences 5, (11), 135 148 Exponential Energy Decay for the Kadomtsev-Petviashvili (KP-II) equation Diogo A. Gomes Department of Mathematics, CAMGSD, IST 149 1 Av. Rovisco
More informationAn integrable shallow water equation with peaked solitons
An integrable shallow water equation with peaked solitons arxiv:patt-sol/9305002v1 13 May 1993 Roberto Camassa and Darryl D. Holm Theoretical Division and Center for Nonlinear Studies Los Alamos National
More informationTowards classification of (2 + 1)-dimensional integrable equations. Integrability conditions I
J. Phys. A: Math. Gen. 31 (1998) 6707 6715. Printed in the UK PII: S0305-4470(98)92996-1 Towards classification of (2 + 1)-dimensional integrable equations. Integrability conditions I A V Mihailov andriyamilov
More informationThe Solitary Wave Solutions of Zoomeron Equation
Applied Mathematical Sciences, Vol. 5, 011, no. 59, 943-949 The Solitary Wave Solutions of Zoomeron Equation Reza Abazari Deparment of Mathematics, Ardabil Branch Islamic Azad University, Ardabil, Iran
More informationPeriodic, hyperbolic and rational function solutions of nonlinear wave equations
Appl Math Inf Sci Lett 1, No 3, 97-101 (013 97 Applied Mathematics & Information Sciences Letters An International Journal http://dxdoiorg/101785/amisl/010307 Periodic, hyperbolic and rational function
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 informationMoving Frame Derivation of the Fundamental Equi-Affine Differential Invariants for Level Set Functions
Moving Frame Derivation of the Fundamental Equi-Affine Differential Invariants for Level Set Functions Peter. Olver School of Mathematics University of Minnesota Minneapolis, MN 55455 olver@umn.edu http://www.math.umn.edu/
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 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 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 informationA First Course of Partial Differential Equations in Physical Sciences and Engineering
A First Course of Partial Differential Equations in Physical Sciences and Engineering Marcel B. Finan Arkansas Tech University c All Rights Reserved First Draft August 29 2 Preface Partial differential
More informationBäcklund transformation and soliton solutions in terms of the Wronskian for the Kadomtsev Petviashvili-based system in fluid dynamics
Pramana J. Phys. (08) 90:45 https://doi.org/0.007/s043-08-53- Indian Academy of Sciences Bäcklund transformation and soliton solutions in terms of the Wronskian for the Kadomtsev Petviashvili-based system
More informationThe (G'/G) - Expansion Method for Finding Traveling Wave Solutions of Some Nonlinear Pdes in Mathematical Physics
Vol.3, Issue., Jan-Feb. 3 pp-369-376 ISSN: 49-6645 The ('/) - Expansion Method for Finding Traveling Wave Solutions of Some Nonlinear Pdes in Mathematical Physics J.F.Alzaidy Mathematics Department, Faculty
More informationSimple waves and a characteristic decomposition of the two dimensional compressible Euler equations
Simple waves and a characteristic decomposition of the two dimensional compressible Euler equations Jiequan Li 1 Department of Mathematics, Capital Normal University, Beijing, 100037 Tong Zhang Institute
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 informationRelation between Periodic Soliton Resonance and Instability
Proceedings of Institute of Mathematics of NAS of Ukraine 004 Vol. 50 Part 1 486 49 Relation between Periodic Soliton Resonance and Instability Masayoshi TAJIRI Graduate School of Engineering Osaka Prefecture
More informationHamiltonian partial differential equations and Painlevé transcendents
Winter School on PDEs St Etienne de Tinée February 2-6, 2015 Hamiltonian partial differential equations and Painlevé transcendents Boris DUBROVIN SISSA, Trieste Lecture 2 Recall: the main goal is to compare
More informationPartitioned Methods for Multifield Problems
C Partitioned Methods for Multifield Problems Joachim Rang, 6.7.2016 6.7.2016 Joachim Rang Partitioned Methods for Multifield Problems Seite 1 C One-dimensional piston problem fixed wall Fluid flexible
More informationarxiv: v1 [math-ph] 4 May 2016
arxiv:1605.01173v1 [math-ph] 4 May 2016 On the Classifications of Scalar Evolution Equations with Non-constant Separant Ayşe Hümeyra BİLGE Faculty of Engineering and Natural Sciences, Kadir Has University,
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 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 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 informationThe symmetry structures of ASD manifolds
The symmetry structures of ASD manifolds 1 1 School of Mathematics University of the Witatersrand, Johannesburg South Africa African Institute of Mathematics Outline 1 Introduction 2 3 The dispersionless
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 informationHomotopy perturbation method for the Wu-Zhang equation in fluid dynamics
Journal of Physics: Conference Series Homotopy perturbation method for the Wu-Zhang equation in fluid dynamics To cite this article: Z Y Ma 008 J. Phys.: Conf. Ser. 96 08 View the article online for updates
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 informationPARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007
PARTIAL DIFFERENTIAL EQUATIONS Lecturer: D.M.A. Stuart MT 2007 In addition to the sets of lecture notes written by previous lecturers ([1, 2]) the books [4, 7] are very good for the PDE topics in the course.
More informationYair Zarmi Physics Department & Jacob Blaustein Institutes for Desert Research Ben-Gurion University of the Negev Midreshet Ben-Gurion, Israel
PERTURBED NONLINEAR EVOLUTION EQUATIONS AND ASYMPTOTIC INTEGRABILITY Yair Zarmi Physics Department & Jacob Blaustein Institutes for Desert Research Ben-Gurion University of the Negev Midreshet Ben-Gurion,
More informationInductive and Recursive Moving Frames for Lie Pseudo-Groups
Inductive and Recursive Moving Frames for Lie Pseudo-Groups Francis Valiquette (Joint work with Peter) Symmetries of Differential Equations: Frames, Invariants and Applications Department of Mathematics
More informationMATH 220: PROBLEM SET 1, SOLUTIONS DUE FRIDAY, OCTOBER 2, 2015
MATH 220: PROBLEM SET 1, SOLUTIONS DUE FRIDAY, OCTOBER 2, 2015 Problem 1 Classify the following PDEs by degree of non-linearity (linear, semilinear, quasilinear, fully nonlinear: (1 (cos x u x + u y =
More information