Algorithmic Lie Symmetry Analysis and Group Classication for Ordinary Dierential Equations
|
|
- Myles Cross
- 5 years ago
- Views:
Transcription
1 Symbolic Computations May 4, / 25 Algorithmic Lie Symmetry Analysis and Group Classication for Ordinary Dierential Equations Dmitry A. Lyakhov 1 1 Computational Sciences Group, Visual Computing Center King Abdullah University of Science and Technology, Jeddah, Saudi Arabia Kolchin Seminar in Dierential Algebra
2 Introduction Symmetry group analysis is classical and the most fundamental method for solving dierential equations and constructing solutions with particular properties. Modern Lie theory has a lot of applications in natural sciences: automatic (analytical) solvers of ordinary dierential equations in computer algebra systems construction of conservation laws, equivalence mappings for partial dierential systems numerical (Lie) integrators (which preserve symmetries) reveal much better numerical behavior pattern recognition in computer vision (based on group equivalence of boundary curves) dmitry.lyakhov@kaust.edu.sa Symbolic Computations May 4, / 25
3 Symbolic Computations May 4, / 25 Two equations 1. Constant coecient equation 2. Euler equation d n y dx n + a d n 1 y n 1 dx n a dy 1 dx + a 0y = 0. d n y dx n + a n 1x n 1 d n 1 y dx n a 1x dy dx + a 0y = 0.
4 Symbolic Computations May 4, / 25 Two equations 1. Constant coecient equation d n y dx n + a d n 1 y n 1 dx n a dy 1 dx + a 0y = 0 admits shifts for x x = x + a and dilations for y ȳ = C y
5 Symbolic Computations May 4, / 25 Two equations 2. Euler equation admits dilations for x and dilations for y d n y dx n + a n 1x n 1 d n 1 y dx n a 1x dy dx + a 0y = 0 x = A x ȳ = C y
6 Two equations Transformation of independent variable, which maps dilation into shift x = A x ln( x) = ln(a) + ln(x) denes change of variables t = exp(x), u = y which maps Euler equation into Constant coecient equation. Remark. Two equivalent equations have isomorphic symmetry groups. dmitry.lyakhov@kaust.edu.sa Symbolic Computations May 4, / 25
7 Symbolic Computations May 4, / 25 Symmetry Consider dierential system of general form (x, y (n) ) = 0 (1) where x = (x 1,..., x p ) X and y = (y 1,..., y q ) Y are vectors of independent and dependent variables correspondingly. Denition. The point transformation g : (x, y) ( x, ȳ) of phase space E = X Y is called symmetry if it transforms any solution y(x) of (1) into new function dened by ȳ( x), which is also solution.
8 Symbolic Computations May 4, / 25 Symmetry (example) Trivial second-order ODE y (x) = 0
9 Symbolic Computations May 4, / 25 Symmetry (example) General solution: y = C 1 x + C 2 Symmetry condition means to transform solutions into solutions, which implies to map straight lines straight lines on plane.
10 Symbolic Computations May 4, / 25 Symmetry (example, continue) Trivial second-order ODE y (x) = 0 by substitution [u = f (x, y), t = g(x, y)] is transformed into u (t) + A 3 (u ) 3 + A 2 (u ) 2 + A 1 u + A 0 = 0. Symmetry condition implies A 3 = 0, A 2 = 0, A 1 = 0, A 0 = 0.
11 Symbolic Computations May 4, / 25 Symmetry (example, continue) A 3 = 2 g y 2 f y + 2 f y 2 g y = 0, A 2 = 2 g f y 2 x + 2 f g x y y f g y y x 2 2 g f x y y = 0, A 1 = 2 g f x 2 y + 2 f g x 2 y f g x y x 2 2 g f x y x = 0, A 0 = 2 g x 2 f x + 2 f x 2 g x = 0.
12 Lie symmetry One of the prominent idea of Sophus Lie is to study symmetry properties under one-parameter group of transformation. Denition. Set of transformation g a : (x, y) ( x, ȳ) is called one-parameter group of transformation of dierential system (x, y (n) ) = 0 if 1) g a is symmetry transformation for a, 2) it is a local group: g a g b = g a+b, where (a group parameter). Typically it leads to overdetermined system of linear partial dierential equations of nite type, which could be eciently analyzed symbolically by means of computer algebra for further reduction and explicit solving. dmitry.lyakhov@kaust.edu.sa Symbolic Computations May 4, / 25
13 Symbolic Computations May 4, / 25 Lie symmetry (examples) 1. Shift 2. Dilation x = x + a, ȳ = y x = e a x, ȳ = y 3. Rotation ] [ x = ȳ 4. Shear 5. Projection x = [ ] [ ] cos(a) sin(a) x sin(a) cos(a) y x = x + ay, ȳ = y x 1 ax, ȳ = y 1 ax
14 Symbolic Computations May 4, / 25 Innitesimal generators The important role plays the rst term in Taylor expansion of one-parameter group of transformation x = x + ε ξ(x, y) + O(ε 2 ), ȳ = y + ε η(x, y) + O(ε 2 ). It is equivalent to And ξ(x, y) = x(x, y, a) a, η(x, y) = a=0 ȳ(x, y, a) a a=0 x (a + b) = Thus assuming b = 0: x(a + b) b = x( x(x, y, a), ȳ(x, y, a), b), ȳ (a + b) =... a x (a) = ξ( x, ȳ), ȳ (a) = η( x, ȳ).
15 Symbolic Computations May 4, / 25 Examples 1. Shift 2. Dilation 3. Rotation 4. Shear 5. Projection [ x = ỹ] x = x = x + a, ỹ = y ξ = 1, η = 0 x = e a x, ỹ = y ξ = x, η = 0 [ [ ] cos(a) sin(a) x ξ = y, η = x sin(a) cos(a)] y x = x + ay, ỹ = y ξ = y, η = 0 x 1 ax, ỹ = y 1 ax ξ = x 2, η = xy
16 Symbolic Computations May 4, / 25 Symmetry Analysis (example, continue) Substitution to symmetry condition implies General solution g(x, y) := x + a ξ(x, y) + o(a), f (x, y) := y + a η(x, y) + o(a). A 3 = 0, A 2 = 0, A 1 = 0, A 0 = 0 2 η x 2 = 0, 2 ξ x η x y = 0, 2 ξ y 2 = 0, 2 η y ξ x y = 0. ξ(x, y) = (C 7 x + C 8 ) y + C 5 x 2 + C 3 x + C 4, η(x, y) = (C 5 y + C 6 ) x + C 7 y 2 + C 1 y + C 2.
17 Symbolic Computations May 4, / 25 Consider ODE (n 2) solved with respect to the highest order derivative where f is rational function. y (n) + f (x, y, y,..., y (n 1) ) = 0, y (k) := d k y dx k (2)
18 Symbolic Computations May 4, / 25 Algorithms What can we do algorithmically? generation of determining equations reduction by integrability conditions dimension of solution space structure constants of Lie algebra Initial value problem are given by nite number of values: { l 1 +m 1ξ x l 1 y m 1 (x 0, y 0 ), l 2+m 2η x l 2 y m 2 (x 0, y 0 ) }, [ ξ η ] = n i,j=0 [ ai,j b i,j ] x i y j Since Lie algebra is closed under Lie bracket, then m X = truncated Taylor series [X i, X j ] = Ci,jX k k, 1 i < j m. Remark. Beautiful point of construction that you actually need only truncated Taylor series (approximate solution) to obtain exact values of structure constant. k=1
19 Linearizability Theorem. Eq. (2) with n 2 is linearizable by a point transformation if and only if one of the following conditions is fullled: 1 n = 2, m = 8; 2 n 3, m = n + 4; 3 n 3, m {n + 1, n + 2} and derived algebra is abelian and has dimension n. Proof. According to group classication of linear equations: 1. Trivial equations y (n) (x) = 0 have maximal possible dimension n Constant coecients equations have Lie algebra span by operators { f 1 (x) y, f 2(x) y,..., f n(x) y, x, y } y 3. Generic case corresponds to Lie algebra { f 1 (x) y, f 2(x) y,..., f n(x) y, y } y dmitry.lyakhov@kaust.edu.sa Symbolic Computations May 4, / 25
20 Symbolic Computations May 4, / 25 Group classication The problem of group classication of dierential equations was rst posed by Sophus Lie He also began to solve the problem of group classication of the second-order ordinary equation of general form y + f (x, y, y ) = 0
21 Symbolic Computations May 4, / 25 Group classication Lev Ovsyannikov considered simpler case of y + f (x, y) = 0 and solved the problem of group classication by admissible operators f X 1 X 2 X 3 f (y) x 0 0 e y x x x 2 y 0 y k, k 3 x (k 1)x x 2y y 0 ±y 3 x 2x x + y y x 2 x + xy y x 2 g(y) x x 0 0
22 Symbolic Computations May 4, / 25 Group classication 2 η x 2 f x ξ f y η + f ( η y 2 ξ x ) = 0, 2 ξ x η ξ 3f x y y = 0, 2 ξ y 2 = 0, 2 η y ξ x y = 0.
23 Symbolic Computations May 4, / 25 Group classication (invariant form) The form of second-order ODE y + f (x, y, y ) = 0 given by f = F 3 (x, y)(y ) 3 + F 2 (x, y)(y ) 2 + F 1 (x, y) y + F 0 (x, y). (3) is invariant under point transformation.
24 Group classication (linearizable branch) Sophus Lie showed that only equations of the following form are linearizable by point transformations if and only if Theorem. 3(F 3 ) xx 2(F 2 ) xy + (F 1 ) yy 3F 1 (F 3 ) x + 2F 2 (F 2 ) x 3F 3 (F 1 ) x + 3F 0 (F 3 ) y + 6F 3 (F 0 ) y F 2 (F 1 ) y = 0, (4) (F 2 ) xx 2(F 1 ) xy + 3(F 0 ) yy 6F 0 (F 3 ) x + F 1 (F 2 ) x 3F 3 (F 0 ) x + 3F 0 (F 2 ) y + 3F 2 (F 0 ) y 2F 1 (F 1 ) y = 0. dmitry.lyakhov@kaust.edu.sa Symbolic Computations May 4, / 25
25 Thank you! Symbolic Computations May 4, / 25
Classification 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 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 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 informationLie Theory of Differential Equations and Computer Algebra
Seminar Sophus Lie 1 (1991) 83 91 Lie Theory of Differential Equations and Computer Algebra Günter Czichowski Introduction The aim of this contribution is to show the possibilities for solving ordinary
More informationz = f (x; y) f (x ; y ) f (x; y) f (x; y )
BEEM0 Optimization Techiniques for Economists Lecture Week 4 Dieter Balkenborg Departments of Economics University of Exeter Since the fabric of the universe is most perfect, and is the work of a most
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 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 informationChapter 11. Taylor Series. Josef Leydold Mathematical Methods WS 2018/19 11 Taylor Series 1 / 27
Chapter 11 Taylor Series Josef Leydold Mathematical Methods WS 2018/19 11 Taylor Series 1 / 27 First-Order Approximation We want to approximate function f by some simple function. Best possible approximation
More informationComputing the Monodromy Group of a Plane Algebraic Curve Using a New Numerical-modular Newton-Puiseux Algorithm
Computing the Monodromy Group of a Plane Algebraic Curve Using a New Numerical-modular Newton-Puiseux Algorithm Poteaux Adrien XLIM-DMI UMR CNRS 6172 Université de Limoges, France SNC'07 University of
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 informationFINAL EXAM MATH303 Theory of Ordinary Differential Equations. Spring dx dt = x + 3y dy dt = x y.
FINAL EXAM MATH0 Theory of Ordinary Differential Equations There are 5 problems on 2 pages. Spring 2009. 25 points Consider the linear plane autonomous system x + y x y. Find a fundamental matrix of the
More informationNotes for Lecture 10
February 2, 26 Notes for Lecture Introduction to grid-based methods for solving Poisson and Laplace Equations Finite difference methods The basis for most grid-based finite difference methods is the Taylor
More informationEntrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems
September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.
More informationSymmetry Reduction of Chazy Equation
Applied Mathematical Sciences, Vol 8, 2014, no 70, 3449-3459 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/1012988/ams201443208 Symmetry Reduction of Chazy Equation Figen AÇIL KİRAZ Department of Mathematics,
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 informationChapter 4: First-order differential equations. Similarity and Transport Phenomena in Fluid Dynamics Christophe Ancey
Chapter 4: First-order differential equations Similarity and Transport Phenomena in Fluid Dynamics Christophe Ancey Chapter 4: First-order differential equations Phase portrait Singular point Separatrix
More informationOur goal is to solve a general constant coecient linear second order. this way but that will not always happen). Once we have y 1, it will always
October 5 Relevant reading: Section 2.1, 2.2, 2.3 and 2.4 Our goal is to solve a general constant coecient linear second order ODE a d2 y dt + bdy + cy = g (t) 2 dt where a, b, c are constants and a 0.
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
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 informationMinimum and maximum values *
OpenStax-CNX module: m17417 1 Minimum and maximum values * Sunil Kumar Singh This work is produced by OpenStax-CNX and licensed under the Creative Commons Attribution License 2.0 In general context, a
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 informationMA22S3 Summary Sheet: Ordinary Differential Equations
MA22S3 Summary Sheet: Ordinary Differential Equations December 14, 2017 Kreyszig s textbook is a suitable guide for this part of the module. Contents 1 Terminology 1 2 First order separable 2 2.1 Separable
More informationOrdinary Differential Equations (ODEs)
c01.tex 8/10/2010 22: 55 Page 1 PART A Ordinary Differential Equations (ODEs) Chap. 1 First-Order ODEs Sec. 1.1 Basic Concepts. Modeling To get a good start into this chapter and this section, quickly
More informationMath Review ECON 300: Spring 2014 Benjamin A. Jones MATH/CALCULUS REVIEW
MATH/CALCULUS REVIEW SLOPE, INTERCEPT, and GRAPHS REVIEW (adapted from Paul s Online Math Notes) Let s start with some basic review material to make sure everybody is on the same page. The slope of a line
More informationBessel s Equation. MATH 365 Ordinary Differential Equations. J. Robert Buchanan. Fall Department of Mathematics
Bessel s Equation MATH 365 Ordinary Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Background Bessel s equation of order ν has the form where ν is a constant. x 2 y + xy
More informationDegree Master of Science in Mathematical Modelling and Scientific Computing Mathematical Methods I Thursday, 12th January 2012, 9:30 a.m.- 11:30 a.m.
Degree Master of Science in Mathematical Modelling and Scientific Computing Mathematical Methods I Thursday, 12th January 2012, 9:30 a.m.- 11:30 a.m. Candidates should submit answers to a maximum of four
More informationSeries Solution of Linear Ordinary Differential Equations
Series Solution of Linear Ordinary Differential Equations Department of Mathematics IIT Guwahati Aim: To study methods for determining series expansions for solutions to linear ODE with variable coefficients.
More informationMath 1270 Honors ODE I Fall, 2008 Class notes # 14. x 0 = F (x; y) y 0 = G (x; y) u 0 = au + bv = cu + dv
Math 1270 Honors ODE I Fall, 2008 Class notes # 1 We have learned how to study nonlinear systems x 0 = F (x; y) y 0 = G (x; y) (1) by linearizing around equilibrium points. If (x 0 ; y 0 ) is an equilibrium
More informationType II hidden symmetries of the Laplace equation
Type II hidden symmetries of the Laplace equation Andronikos Paliathanasis Larnaka, 2014 A. Paliathanasis (Univ. of Naples) Type II symmetries Larnaka, 2014 1 / 25 Plan of the Talk 1 The generic symmetry
More information1 Ordinary points and singular points
Math 70 honors, Fall, 008 Notes 8 More on series solutions, and an introduction to \orthogonal polynomials" Homework at end Revised, /4. Some changes and additions starting on page 7. Ordinary points and
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 informationApplication of Lie-group symmetry analysis to an infinite hierarchy of differential equations at the example of first order ODEs
Application of Lie-group symmetry analysis to an infinite hierarchy of differential equations at the example of first order ODEs Michael Frewer Trübnerstr. 42, 69121 Heidelberg, Germany arxiv:1511.00002v1
More information7.4* General logarithmic and exponential functions
7.4* General logarithmic and exponential functions Mark Woodard Furman U Fall 2010 Mark Woodard (Furman U) 7.4* General logarithmic and exponential functions Fall 2010 1 / 9 Outline 1 General exponential
More informationChapter 8. Numerical Solution of Ordinary Differential Equations. Module No. 1. Runge-Kutta Methods
Numerical Analysis by Dr. Anita Pal Assistant Professor Department of Mathematics National Institute of Technology Durgapur Durgapur-71309 email: anita.buie@gmail.com 1 . Chapter 8 Numerical Solution of
More informationLecture 2: Review of Prerequisites. Table of contents
Math 348 Fall 217 Lecture 2: Review of Prerequisites Disclaimer. As we have a textbook, this lecture note is for guidance and supplement only. It should not be relied on when preparing for exams. In this
More informationLinearization of Second-Order Ordinary Dif ferential Equations by Generalized Sundman Transformations
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 6 (2010), 051, 11 pages Linearization of Second-Order Ordinary Dif ferential Equations by Generalized Sundman Transformations Warisa
More informationConditional symmetries of the equations of mathematical physics
W.I. Fushchych, Scientific Works 2003, Vol. 5, 9 16. Conditional symmetries of the equations of mathematical physics W.I. FUSHCHYCH We briefly present the results of research in conditional symmetries
More informationConvergence of sequences and series
Convergence of sequences and series A sequence f is a map from N the positive integers to a set. We often write the map outputs as f n rather than f(n). Often we just list the outputs in order and leave
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 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 information(0, 0), (1, ), (2, ), (3, ), (4, ), (5, ), (6, ).
1 Interpolation: The method of constructing new data points within the range of a finite set of known data points That is if (x i, y i ), i = 1, N are known, with y i the dependent variable and x i [x
More informationTEST CODE: MMA (Objective type) 2015 SYLLABUS
TEST CODE: MMA (Objective type) 2015 SYLLABUS Analytical Reasoning Algebra Arithmetic, geometric and harmonic progression. Continued fractions. Elementary combinatorics: Permutations and combinations,
More informationLecture Notes on Partial Dierential Equations (PDE)/ MaSc 221+MaSc 225
Lecture Notes on Partial Dierential Equations (PDE)/ MaSc 221+MaSc 225 Dr. Asmaa Al Themairi Assistant Professor a a Department of Mathematical sciences, University of Princess Nourah bint Abdulrahman,
More informationIntroduction and mathematical preliminaries
Chapter Introduction and mathematical preliminaries Contents. Motivation..................................2 Finite-digit arithmetic.......................... 2.3 Errors in numerical calculations.....................
More informationMath Exam 2, October 14, 2008
Math 96 - Exam 2, October 4, 28 Name: Problem (5 points Find all solutions to the following system of linear equations, check your work: x + x 2 x 3 2x 2 2x 3 2 x x 2 + x 3 2 Solution Let s perform Gaussian
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 information(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y
() Consider A = { q Q : q 2 2} as a subset of the metric space (Q, d), where d(x, y) = x y. Then A is A) closed but not open in Q B) open but not closed in Q C) neither open nor closed in Q D) both open
More informationSolving Differential Equations by Lie Groups. Erol Kavvas
Solving Differential Equations by Lie Groups Erol Kavvas 1 Introduction In the middle of the nineteenth century the Norwegian mathematician named Sophus Lie pioneered work on the theory of continuous group
More informationMODELLING OF FLEXIBLE MECHANICAL SYSTEMS THROUGH APPROXIMATED EIGENFUNCTIONS L. Menini A. Tornambe L. Zaccarian Dip. Informatica, Sistemi e Produzione
MODELLING OF FLEXIBLE MECHANICAL SYSTEMS THROUGH APPROXIMATED EIGENFUNCTIONS L. Menini A. Tornambe L. Zaccarian Dip. Informatica, Sistemi e Produzione, Univ. di Roma Tor Vergata, via di Tor Vergata 11,
More informationMath 4263 Homework Set 1
Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that
More information1 Arithmetic calculations (calculator is not allowed)
1 ARITHMETIC CALCULATIONS (CALCULATOR IS NOT ALLOWED) 1 Arithmetic calculations (calculator is not allowed) 1.1 Check the result Problem 1.1. Problem 1.2. Problem 1.3. Problem 1.4. 78 5 6 + 24 3 4 99 1
More informationSYSTEMS OF ODES. mg sin ( (x)) dx 2 =
SYSTEMS OF ODES Consider the pendulum shown below. Assume the rod is of neglible mass, that the pendulum is of mass m, and that the rod is of length `. Assume the pendulum moves in the plane shown, and
More informationx 9 or x > 10 Name: Class: Date: 1 How many natural numbers are between 1.5 and 4.5 on the number line?
1 How many natural numbers are between 1.5 and 4.5 on the number line? 2 How many composite numbers are between 7 and 13 on the number line? 3 How many prime numbers are between 7 and 20 on the number
More information4. Higher Order Linear DEs
4. Higher Order Linear DEs Department of Mathematics & Statistics ASU Outline of Chapter 4 1 General Theory of nth Order Linear Equations 2 Homogeneous Equations with Constant Coecients 3 The Method of
More information3.1 Basic properties of real numbers - continuation Inmum and supremum of a set of real numbers
Chapter 3 Real numbers The notion of real number was introduced in section 1.3 where the axiomatic denition of the set of all real numbers was done and some basic properties of the set of all real numbers
More informationSolutions Preliminary Examination in Numerical Analysis January, 2017
Solutions Preliminary Examination in Numerical Analysis January, 07 Root Finding The roots are -,0, a) First consider x 0 > Let x n+ = + ε and x n = + δ with δ > 0 The iteration gives 0 < ε δ < 3, which
More information14.7: Maxima and Minima
14.7: Maxima and Minima Marius Ionescu October 29, 2012 Marius Ionescu () 14.7: Maxima and Minima October 29, 2012 1 / 13 Local Maximum and Local Minimum Denition Marius Ionescu () 14.7: Maxima and Minima
More informationSYMMETRY REDUCTION AND NUMERICAL SOLUTION OF A THIRD-ORDER ODE FROM THIN FILM FLOW
Mathematical and Computational Applications,Vol. 15, No. 4, pp. 709-719, 2010. c Association for Scientific Research SYMMETRY REDUCTION AND NUMERICAL SOLUTION OF A THIRD-ORDER ODE FROM THIN FILM FLOW E.
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 informationVector Space Basics. 1 Abstract Vector Spaces. 1. (commutativity of vector addition) u + v = v + u. 2. (associativity of vector addition)
Vector Space Basics (Remark: these notes are highly formal and may be a useful reference to some students however I am also posting Ray Heitmann's notes to Canvas for students interested in a direct computational
More informationLecture 42 Determining Internal Node Values
Lecture 42 Determining Internal Node Values As seen in the previous section, a finite element solution of a boundary value problem boils down to finding the best values of the constants {C j } n, which
More informationLie Groups for 2D and 3D Transformations
Lie Groups for 2D and 3D Transformations Ethan Eade Updated May 20, 2017 * 1 Introduction This document derives useful formulae for working with the Lie groups that represent transformations in 2D and
More informationEXAMPLE OF ONE-STEP METHOD
EXAMPLE OF ONE-STEP METHOD Consider solving y = y cos x, y(0) = 1 Imagine writing a Taylor series for the solution Y (x), say initially about x = 0. Then Y (h) = Y (0) + hy (0) + h2 2 Y (0) + h3 6 Y (0)
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 informationREVIEW OF DIFFERENTIAL CALCULUS
REVIEW OF DIFFERENTIAL CALCULUS DONU ARAPURA 1. Limits and continuity To simplify the statements, we will often stick to two variables, but everything holds with any number of variables. Let f(x, y) be
More informationAPPLICATIONS OF FD APPROXIMATIONS FOR SOLVING ORDINARY DIFFERENTIAL EQUATIONS
LECTURE 10 APPLICATIONS OF FD APPROXIMATIONS FOR SOLVING ORDINARY DIFFERENTIAL EQUATIONS Ordinary Differential Equations Initial Value Problems For Initial Value problems (IVP s), conditions are specified
More informationMath 10C - Fall Final Exam
Math 1C - Fall 217 - Final Exam Problem 1. Consider the function f(x, y) = 1 x 2 (y 1) 2. (i) Draw the level curve through the point P (1, 2). Find the gradient of f at the point P and draw the gradient
More informationSharp Gårding inequality on compact Lie groups.
15-19.10.2012, ESI, Wien, Phase space methods for pseudo-differential operators Ville Turunen, Aalto University, Finland (ville.turunen@aalto.fi) M. Ruzhansky, V. Turunen: Sharp Gårding inequality on compact
More informationMath 322. Spring 2015 Review Problems for Midterm 2
Linear Algebra: Topic: Linear Independence of vectors. Question. Math 3. Spring Review Problems for Midterm Explain why if A is not square, then either the row vectors or the column vectors of A are linearly
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 informationThe following can also be obtained from this WWW address: the papers [8, 9], more examples, comments on the implementation and a short description of
An algorithm for computing the Weierstrass normal form Mark van Hoeij Department of mathematics University of Nijmegen 6525 ED Nijmegen The Netherlands e-mail: hoeij@sci.kun.nl April 9, 1995 Abstract This
More informationCharacterization of the Newtonian free particle system in m 2 dependent variables
Characterization of the Newtonian free particle system in m dependent variables Joël MERKER I Introduction II Proof of Lie s theorem III Systems of second order ordinary differential equations equivalent
More informationIn this section, mathematical description of the motion of fluid elements moving in a flow field is
Jun. 05, 015 Chapter 6. Differential Analysis of Fluid Flow 6.1 Fluid Element Kinematics In this section, mathematical description of the motion of fluid elements moving in a flow field is given. A small
More informationFrom the Heisenberg group to Carnot groups
From the Heisenberg group to Carnot groups p. 1/47 From the Heisenberg group to Carnot groups Irina Markina, University of Bergen, Norway Summer school Analysis - with Applications to Mathematical Physics
More information2tdt 1 y = t2 + C y = which implies C = 1 and the solution is y = 1
Lectures - Week 11 General First Order ODEs & Numerical Methods for IVPs In general, nonlinear problems are much more difficult to solve than linear ones. Unfortunately many phenomena exhibit nonlinear
More informationOn the singularities of non-linear ODEs
On the singularities of non-linear ODEs Galina Filipuk Institute of Mathematics University of Warsaw G.Filipuk@mimuw.edu.pl Collaborators: R. Halburd (London), R. Vidunas (Tokyo), R. Kycia (Kraków) 1 Plan
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 informationIntroduction to Group Theory
Chapter 10 Introduction to Group Theory Since symmetries described by groups play such an important role in modern physics, we will take a little time to introduce the basic structure (as seen by a physicist)
More informationMath 131 Exam 2 Spring 2016
Math 3 Exam Spring 06 Name: ID: 7 multiple choice questions worth 4.7 points each. hand graded questions worth 0 points each. 0. free points (so the total will be 00). Exam covers sections.7 through 3.0
More informationFINAL EXAM, MATH 353 SUMMER I 2015
FINAL EXAM, MATH 353 SUMMER I 25 9:am-2:pm, Thursday, June 25 I have neither given nor received any unauthorized help on this exam and I have conducted myself within the guidelines of the Duke Community
More informationSymmetries, Fields and Particles 2013 Solutions
Symmetries, Fields and Particles 013 Solutions Yichen Shi Easter 014 1. (a) Define the groups SU() and SO(3), and find their Lie algebras. Show that these Lie algebras, including their bracket structure,
More informationTEST CODE: MIII (Objective type) 2010 SYLLABUS
TEST CODE: MIII (Objective type) 200 SYLLABUS Algebra Permutations and combinations. Binomial theorem. Theory of equations. Inequalities. Complex numbers and De Moivre s theorem. Elementary set theory.
More informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Null Killing Vectors and Reductions of the Self-Duality Equations J. Tafel D. Wojcik Vienna,
More informationOR MSc Maths Revision Course
OR MSc Maths Revision Course Tom Byrne School of Mathematics University of Edinburgh t.m.byrne@sms.ed.ac.uk 15 September 2017 General Information Today JCMB Lecture Theatre A, 09:30-12:30 Mathematics revision
More informationIntroduction into thermodynamics
Introduction into thermodynamics Solid-state thermodynamics, J. Majzlan Chemical thermodynamics deals with reactions between substances and species. Mechanical thermodynamics, on the other hand, works
More informationStarting from Heat Equation
Department of Applied Mathematics National Chiao Tung University Hsin-Chu 30010, TAIWAN 20th August 2009 Analytical Theory of Heat The differential equations of the propagation of heat express the most
More informationLogistic Map, Euler & Runge-Kutta Method and Lotka-Volterra Equations
Logistic Map, Euler & Runge-Kutta Method and Lotka-Volterra Equations S. Y. Ha and J. Park Department of Mathematical Sciences Seoul National University Sep 23, 2013 Contents 1 Logistic Map 2 Euler and
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationOrdinary Differential Equations I
Ordinary Differential Equations I CS 205A: Mathematical Methods for Robotics, Vision, and Graphics Justin Solomon CS 205A: Mathematical Methods Ordinary Differential Equations I 1 / 32 Theme of Last Few
More informationLECTURE 15 + C+F. = A 11 x 1x1 +2A 12 x 1x2 + A 22 x 2x2 + B 1 x 1 + B 2 x 2. xi y 2 = ~y 2 (x 1 ;x 2 ) x 2 = ~x 2 (y 1 ;y 2 1
LECTURE 5 Characteristics and the Classication of Second Order Linear PDEs Let us now consider the case of a general second order linear PDE in two variables; (5.) where (5.) 0 P i;j A ij xix j + P i,
More informationChapter 3: Transcendental Functions
Chapter 3: Transcendental Functions Spring 2018 Department of Mathematics Hong Kong Baptist University 1 / 32 Except for the power functions, the other basic elementary functions are also called the transcendental
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationFourth Order RK-Method
Fourth Order RK-Method The most commonly used method is Runge-Kutta fourth order method. The fourth order RK-method is y i+1 = y i + 1 6 (k 1 + 2k 2 + 2k 3 + k 4 ), Ordinary Differential Equations (ODE)
More information1 + x 2 d dx (sec 1 x) =
Page This exam has: 8 multiple choice questions worth 4 points each. hand graded questions worth 4 points each. Important: No graphing calculators! Any non-graphing, non-differentiating, non-integrating
More informationJournal of Mathematical Analysis and Applications. Complete symmetry group and nonlocal symmetries for some two-dimensional evolution equations
J. Math. Anal. Appl. 357 (2009) 225 231 Contents lists available at ScienceDirect Journal of Mathematical Analysis and Applications www.elsevier.com/locate/jmaa Complete symmetry group and nonlocal symmetries
More informationInitial Value Problems
Numerical Analysis, lecture 13: Initial Value Problems (textbook sections 10.1-4, 10.7) differential equations standard form existence & uniqueness y 0 y 2 solution methods x 0 x 1 h h x 2 y1 Euler, Heun,
More informationLogarithmic Functions
Metropolitan Community College The Natural Logarithmic Function The natural logarithmic function is defined on (0, ) as ln x = x 1 1 t dt. Example 1. Evaluate ln 1. Example 1. Evaluate ln 1. Solution.
More informationEven and odd functions
Connexions module: m15279 1 Even and odd functions Sunil Kumar Singh This work is produced by The Connexions Project and licensed under the Creative Commons Attribution License Even and odd functions are
More informationOrdinary Differential Equations I
Ordinary Differential Equations I CS 205A: Mathematical Methods for Robotics, Vision, and Graphics Justin Solomon CS 205A: Mathematical Methods Ordinary Differential Equations I 1 / 27 Theme of Last Three
More information