SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. where L is some constant, usually called the Lipschitz constant. An example is
|
|
- Clare Lloyd
- 5 years ago
- Views:
Transcription
1 SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA. Uniqueness for solutions of ifferential equations. We consier the system of ifferential equations given by x = v( x), () t with a given initial conition x() = x. Here x R n an v is a function that maps R n into R n. We shall assume that for any two vectors x, x we v( x ) ( x ) L x x where L is some constant, usually calle the Lipschitz constant. An example is ( x) = A x where A is a constant real n n matrix. IWe compute A x A x = A( x x ) = ( x x ) A T A( x x ) λ ( x x ) where λ is the largest eigenvalue of A T A. The following is relatively easy to prove. Theorem.. The ifferential equation () has at most one solution that satisfies the given initial conition. Proof. Suppose there are two solutions x (t) an x (t) both satisfying x () = x () = x. Integrating we see that both solutions satisfy the equation x i (t) = x + v( x i (τ))τ, i =,. Hence, noting that the initial conition rops out, we get x (t) x (t) = v( x (τ))τ v( x (τ))τ = [ v( x (τ)) v( x (τ))]τ Using the Minkowski inequality which is essentially the triangle inequality we get x (t) x (t) an using the Lipschitz conition x (t) x (t) L v( x (τ)) v( x (τ)) τ x (τ)) x (τ) τ. an this hols for all t as long as the solutions exist. If t < T we have that x (t) x (t) L This inequality implies that for all t T that x (τ)) x (τ) τ L x (t) x (t) LT M(T ) T x (τ)) x (τ) τ
2 SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA where we set M(T ) = max [,T ] x (t) x (t). Hence we also have that M(T ) LT M(T ) an if we choose T such that LT < it follows that M(T ) =. Hence the two solution coincie on the time interval [, T ]. Choosing x(t ) as the new initial conition the solution must coincie on the interval [T, T ] also an so on. We can argue the same way that for negative times the solutions have to coincie.. Some remarks about the e At Recall that we efine the exponential of a matrix e At by e At A n t n =. n! Here are some facts Theorem.. We have for all s, t R. n= e At e As = e A(t+s) Proof. Pick any initial conition x. The function x(t) = e A(t+s) x is a solution of the equation x = A x. This follows from t ea(t+s) = Ae A(t+s). Further the function y(t) = e At e As x is also a solution of the equation ẋ = A x. moreover, for t = we have that x() = e As x = y(). By uniqueness x((t) = y(t) an thus e At e As x = e A(t+s) x for all x. Since x is arbitrary this proves the theorem. An interesting consequence of this theorem is that e At is invertible for all t. e At e A( t) = e A(t t) = I. 3. One parameter families of matrices We say that a family of n n matrices P (t) is a one parameter family if an for all t, s R, P () = I P (t)p (s) = P (t + s). We shall only consier one parameter families that are ifferentiable. A particularly useful iea is to consier one parameter families of rotations R(φ). These are matrices that satisfy R(φ) T R(φ) = I. First we compute the erivative R(φ + ε) R(φ) R(φ) = lim φ ε ε R(ε) I = lim R(φ) = ΩR(φ) ε ε
3 where we enote SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA 3 R(ε) I Ω = lim ε ε The matrix Ω is not arbitrary. Inee, ifferentiating = φ R(). φ IRT (φ)r(φ) = φ I = an bu the prouct rule IR T (φ)r(φ) = Ω T + Ω φ φ= an we learn that Ω must be a skew symmetric matrix, Ω T = Ω. So far this worke in arbitrary imensions. We specialize to three imension an write the general skew symmetric matrix as Ω = ω 3 ω ω 3 ω ω ω note the interesting fact that Ω x = ω x. We also note that Ω ω =. Recall that we have the equation R (φ) = ΩR(φ) an this allows us to compute R(φ) explicitly. We shall assume that the vector ω is normalize. We have to compute e Ωφ Ω n φ n = n! Here are some computations: which can be written as Ω = n= ω ω 3 ω ω ω ω 3 ω ω ω 3 ω ω ω 3 ω 3 ω ω 3 ω ω ω 3 Ω = I + ω ω T. Here we use that ω is a unit vector. Thus we can start a little table: Thus it makes sense to split Ω, Ω = I + ω ω T, Ω 3 = Ω, Ω 4 = Ω... e Ωφ = m= into even an o powers. We have that Ω m φ m (m)! + m= Ω m+ = ( ) m Ω Ω m+ φ m+ (m + )!
4 4 SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA an hence the secon sum reuces to Ω m+ φ m+ = Ω (m + )! m= m= ( ) m φ m+ (m + )! For the even sum have to be careful noting that for m =,,... Ω m = ( ) m (I ω ω T ). For m = we have the ientity which we write an get that m= Ω m φ m (m)! I = I ω ω T + ω ω T = ω ω T + (I ω ω T ) which equals ω ω T + (I ω ω T ) cos φ. To summarize, we have shown that m= = Ω sin φ. ( ) m φ m (m)! e Ωφ = cos φi + ω ω T ( cos φ) + Ω sin φ Let s note a few things: The vector ω is an eigenvector for this matrix with eigenvalue. This is the axis of rotation. Take ω = i.e, the z axis. Then we get the matrix cos φ cos φ + sin φ = cos φ sin φ sin φ cos φ which is precisely a rotation in the positive irection by an angle φ. To summarize: Theorem 3.. The rotation about the ω axis by an angle φ is given by R(φ) = cos φi + ( cos φ) ω ω T + Ω sin φ, in particular R(φ) x = cos φ x + ( cos φ)( ω x) ω + sin φ( ω x). This is Euler s formula. Because Ω + I = ω ω T Euler s formula canals be written in the form R(φ) = cos φi + ( cos φ)(ω + I) + Ω sin φ = I + ( cos φ)ω + sin φω Note that the angle is any value between an π. If φ < we may replace φ by φ which keeps the sign of the cosine function fixe but changes the sign of the sign function. Thus if, aitionally we reverse the irection of ω we get back the same rotation. Neeless to say that the rotation by an angle φ = or φ = π is the ientity. Also note that in terms of R(φ) we have that [R(φ) + R(φ)T ] = cos φi + ( cos φ) ω ω T
5 an SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA 5 [R(φ) R(φ)T ] = Ω sin φ 4. A purely algebraic erivation of Euler s formula Our previous result concerns solution of the ifferential equation R (φ) = ΩR(φ). Suppose now that you are given an arbitrary rotation M. Can we fin φ an Ω so that M = I + ( cos φ)ω + sin φω? To be more specific we have the following theorem. Theorem 4.. Let M be a 3 3 rotation. Define an provie that φ, π, π. Then cos φ = TrM Ω = sin φ [M M T ] M = M = I + ( cos φ)ω + sin φω. For φ =, π we have that M = I an for φ = π M = I + Ω, an hence, Euler s formula hols in these cases as well. Recall that a 3 3 matrix M is a rotation if it satisfies M T M = I an etm = +. We woul like to show that there exist a unit vector ω an an angle φ, φ π such that As usual M = cos φi + ( cos φ) ω ω T + Ω sin φ. Ω = We first start with a simple Lemma: ω 3 ω ω 3 ω ω ω Lemma 4.. Let M be a rotation in three space, i.e., M T M = I an etm = +. Then the matrix M must have the eigenvalue. Moreover, the other two eigenvalues must be of the form e ±iφ for some φ π. Proof. To see this consier.. et(m I) = etm T et(m I) = etm T (M I) = et(i M T ) = et(i M) T = et(i M) = et(m I). Hence et(m I) = an is an eigenvalue. If we enote the other two eigenvalues by λ an λ we must have that λ + λ + = TrM an λ λ = (Why?) Hence λ + λ = TrM, λ λ =. The best way to solve these equations is to note that 3 TrM 3 (Why?) Hence we may efine cos φ = TrM,
6 6 SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA an we have to solve the equations λ + λ = cos φ, λ λ =. We easily fin that λ = e iφ an λ = e iφ. Thus we have the eigenvalues e iφ, e iφ,. Let us assume that φ, π, π. These cases we eal with later. Recall that cos φ = TrM, an efine Ω = sin φ [M M T ] Note that this suggests itself from Euler s formula (Why?). We have to check that Cayley s theorem tells us that an eveloping the proucts yiels Now M = I + ( cos φ)ω + sin φω =: R (M I)(M e iφ I)(M e iφ I) = M 3 ( + cos φ)m + ( + cos φ)m I =. I + ( cos φ)ω + sin φω = I + cos φ 4 sin φ [M M T ] + sin φ sin φ [M M T ] We further have that an by Cayley s theorem = I + 4( + cos φ) [M M T ] + [M M T ]. [M M T ] = M + M T I M = ( + cos φ)m ( + cos φ)i + M T, M T = ( + cos φ)m T ( + cos φ)i + M so that Thus, M + M T I = ( + cos φ)[m + M T ] 4( + cos φ)i R = [M + M T ] + [M M T ] = M. The remaining cases are easily ealt with. Assume that φ = or π. Then TrM = 3. Now the matrix M is of the form [ u, u, u 3 ] all of them being unit vectors. The trace, therefore is u + u + u 33 = 3 since each of these numbers is between an they all must be equals to. This means that the rotation matrix must be the ientity matrix. The case φ = π implies that must be a two fol eigenvalue. From this we get three facts: M = I an hence M = M T an M + I has a two imensional null space. Set P = M + I an note that P = P, P T = P
7 SYSTEMS OF DIFFERENTIAL EQUATIONS, EULER S FORMULA 7 Hence P projects the three imensional space onto a one imensional space an therefore it must be of the form P = ω ω T for some unit vector ω. Thus, which is what we wante to show. M = I + ω ω T = I + Ω
Sturm-Liouville Theory
LECTURE 5 Sturm-Liouville Theory In the three preceing lectures I emonstrate the utility of Fourier series in solving PDE/BVPs. As we ll now see, Fourier series are just the tip of the iceberg of the theory
More informationEuler equations for multiple integrals
Euler equations for multiple integrals January 22, 2013 Contents 1 Reminer of multivariable calculus 2 1.1 Vector ifferentiation......................... 2 1.2 Matrix ifferentiation........................
More informationLinear First-Order Equations
5 Linear First-Orer Equations Linear first-orer ifferential equations make up another important class of ifferential equations that commonly arise in applications an are relatively easy to solve (in theory)
More informationKinematics of Rotations: A Summary
A Kinematics of Rotations: A Summary The purpose of this appenix is to outline proofs of some results in the realm of kinematics of rotations that were invoke in the preceing chapters. Further etails are
More informationLinear ODEs. Types of systems. Linear ODEs. Definition (Linear ODE) Linear ODEs. Existence of solutions to linear IVPs.
Linear ODEs Linear ODEs Existence of solutions to linear IVPs Resolvent matrix Autonomous linear systems p. 1 Linear ODEs Types of systems Definition (Linear ODE) A linear ODE is a ifferential equation
More informationProblem Sheet 2: Eigenvalues and eigenvectors and their use in solving linear ODEs
Problem Sheet 2: Eigenvalues an eigenvectors an their use in solving linear ODEs If you fin any typos/errors in this problem sheet please email jk28@icacuk The material in this problem sheet is not examinable
More information1 Lecture 20: Implicit differentiation
Lecture 20: Implicit ifferentiation. Outline The technique of implicit ifferentiation Tangent lines to a circle Derivatives of inverse functions by implicit ifferentiation Examples.2 Implicit ifferentiation
More informationLecture 10: October 30, 2017
Information an Coing Theory Autumn 2017 Lecturer: Mahur Tulsiani Lecture 10: October 30, 2017 1 I-Projections an applications In this lecture, we will talk more about fining the istribution in a set Π
More informationDiagonalization of Matrices Dr. E. Jacobs
Diagonalization of Matrices Dr. E. Jacobs One of the very interesting lessons in this course is how certain algebraic techniques can be use to solve ifferential equations. The purpose of these notes is
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationCalculus of Variations
16.323 Lecture 5 Calculus of Variations Calculus of Variations Most books cover this material well, but Kirk Chapter 4 oes a particularly nice job. x(t) x* x*+ αδx (1) x*- αδx (1) αδx (1) αδx (1) t f t
More informationTensors, Fields Pt. 1 and the Lie Bracket Pt. 1
Tensors, Fiels Pt. 1 an the Lie Bracket Pt. 1 PHYS 500 - Southern Illinois University September 8, 2016 PHYS 500 - Southern Illinois University Tensors, Fiels Pt. 1 an the Lie Bracket Pt. 1 September 8,
More informationDesigning Information Devices and Systems II Fall 2017 Note Theorem: Existence and Uniqueness of Solutions to Differential Equations
EECS 6B Designing Information Devices an Systems II Fall 07 Note 3 Secon Orer Differential Equations Secon orer ifferential equations appear everywhere in the real worl. In this note, we will walk through
More informationLinear Algebra- Review And Beyond. Lecture 3
Linear Algebra- Review An Beyon Lecture 3 This lecture gives a wie range of materials relate to matrix. Matrix is the core of linear algebra, an it s useful in many other fiels. 1 Matrix Matrix is the
More information1 Lecture 13: The derivative as a function.
1 Lecture 13: Te erivative as a function. 1.1 Outline Definition of te erivative as a function. efinitions of ifferentiability. Power rule, erivative te exponential function Derivative of a sum an a multiple
More informationAssignment 1. g i (x 1,..., x n ) dx i = 0. i=1
Assignment 1 Golstein 1.4 The equations of motion for the rolling isk are special cases of general linear ifferential equations of constraint of the form g i (x 1,..., x n x i = 0. i=1 A constraint conition
More informationThe derivative of a function f(x) is another function, defined in terms of a limiting expression: f(x + δx) f(x)
Y. D. Chong (2016) MH2801: Complex Methos for the Sciences 1. Derivatives The erivative of a function f(x) is another function, efine in terms of a limiting expression: f (x) f (x) lim x δx 0 f(x + δx)
More informationII. First variation of functionals
II. First variation of functionals The erivative of a function being zero is a necessary conition for the etremum of that function in orinary calculus. Let us now tackle the question of the equivalent
More informationWitten s Proof of Morse Inequalities
Witten s Proof of Morse Inequalities by Igor Prokhorenkov Let M be a smooth, compact, oriente manifol with imension n. A Morse function is a smooth function f : M R such that all of its critical points
More informationPDE Notes, Lecture #11
PDE Notes, Lecture # from Professor Jalal Shatah s Lectures Febuary 9th, 2009 Sobolev Spaces Recall that for u L loc we can efine the weak erivative Du by Du, φ := udφ φ C0 If v L loc such that Du, φ =
More informationMath 11 Fall 2016 Section 1 Monday, September 19, Definition: A vector parametric equation for the line parallel to vector v = x v, y v, z v
Math Fall 06 Section Monay, September 9, 06 First, some important points from the last class: Definition: A vector parametric equation for the line parallel to vector v = x v, y v, z v passing through
More informationEuler Equations: derivation, basic invariants and formulae
Euler Equations: erivation, basic invariants an formulae Mat 529, Lesson 1. 1 Derivation The incompressible Euler equations are couple with t u + u u + p = 0, (1) u = 0. (2) The unknown variable is the
More informationSystems & Control Letters
Systems & ontrol Letters ( ) ontents lists available at ScienceDirect Systems & ontrol Letters journal homepage: www.elsevier.com/locate/sysconle A converse to the eterministic separation principle Jochen
More informationSection The Chain Rule and Implicit Differentiation with Application on Derivative of Logarithm Functions
Section 3.4-3.6 The Chain Rule an Implicit Differentiation with Application on Derivative of Logarithm Functions Ruipeng Shen September 3r, 5th Ruipeng Shen MATH 1ZA3 September 3r, 5th 1 / 3 The Chain
More informationTable of Common Derivatives By David Abraham
Prouct an Quotient Rules: Table of Common Derivatives By Davi Abraham [ f ( g( ] = [ f ( ] g( + f ( [ g( ] f ( = g( [ f ( ] g( g( f ( [ g( ] Trigonometric Functions: sin( = cos( cos( = sin( tan( = sec
More informationApplications of the Wronskian to ordinary linear differential equations
Physics 116C Fall 2011 Applications of the Wronskian to orinary linear ifferential equations Consier a of n continuous functions y i (x) [i = 1,2,3,...,n], each of which is ifferentiable at least n times.
More informationSelf-normalized Martingale Tail Inequality
Online-to-Confience-Set Conversions an Application to Sparse Stochastic Banits A Self-normalize Martingale Tail Inequality The self-normalize martingale tail inequality that we present here is the scalar-value
More information4. Important theorems in quantum mechanics
TFY4215 Kjemisk fysikk og kvantemekanikk - Tillegg 4 1 TILLEGG 4 4. Important theorems in quantum mechanics Before attacking three-imensional potentials in the next chapter, we shall in chapter 4 of this
More informationOutline. MS121: IT Mathematics. Differentiation Rules for Differentiation: Part 1. Outline. Dublin City University 4 The Quotient Rule
MS2: IT Mathematics Differentiation Rules for Differentiation: Part John Carroll School of Mathematical Sciences Dublin City University Pattern Observe You may have notice the following pattern when we
More informationUNDERSTANDING INTEGRATION
UNDERSTANDING INTEGRATION Dear Reaer The concept of Integration, mathematically speaking, is the "Inverse" of the concept of result, the integration of, woul give us back the function f(). This, in a way,
More informationChapter 2 Derivatives
Chapter Derivatives Section. An Intuitive Introuction to Derivatives Consier a function: Slope function: Derivative, f ' For each, the slope of f is the height of f ' Where f has a horizontal tangent line,
More informationSection 2.1 The Derivative and the Tangent Line Problem
Chapter 2 Differentiation Course Number Section 2.1 The Derivative an the Tangent Line Problem Objective: In this lesson you learne how to fin the erivative of a function using the limit efinition an unerstan
More informationImplicit Differentiation
Implicit Differentiation Thus far, the functions we have been concerne with have been efine explicitly. A function is efine explicitly if the output is given irectly in terms of the input. For instance,
More informationMath Ordinary Differential Equations
Math 411 - Ordinary Differential Equations Review Notes - 1 1 - Basic Theory A first order ordinary differential equation has the form x = f(t, x) (11) Here x = dx/dt Given an initial data x(t 0 ) = x
More informationELEC3114 Control Systems 1
ELEC34 Control Systems Linear Systems - Moelling - Some Issues Session 2, 2007 Introuction Linear systems may be represente in a number of ifferent ways. Figure shows the relationship between various representations.
More informationVectors in two dimensions
Vectors in two imensions Until now, we have been working in one imension only The main reason for this is to become familiar with the main physical ieas like Newton s secon law, without the aitional complication
More informationDesigning Information Devices and Systems II Spring 2018 J. Roychowdhury and M. Maharbiz Discussion 2A
EECS 6B Designing Information Devices an Systems II Spring 208 J. Roychowhury an M. Maharbiz Discussion 2A Secon-Orer Differential Equations Secon-orer ifferential equations are ifferential equations of
More informationPhysics 251 Results for Matrix Exponentials Spring 2017
Physics 25 Results for Matrix Exponentials Spring 27. Properties of the Matrix Exponential Let A be a real or complex n n matrix. The exponential of A is efine via its Taylor series, e A A n = I + n!,
More informationCHAPTER 1 : DIFFERENTIABLE MANIFOLDS. 1.1 The definition of a differentiable manifold
CHAPTER 1 : DIFFERENTIABLE MANIFOLDS 1.1 The efinition of a ifferentiable manifol Let M be a topological space. This means that we have a family Ω of open sets efine on M. These satisfy (1), M Ω (2) the
More information1 Heisenberg Representation
1 Heisenberg Representation What we have been ealing with so far is calle the Schröinger representation. In this representation, operators are constants an all the time epenence is carrie by the states.
More informationTopic 2.3: The Geometry of Derivatives of Vector Functions
BSU Math 275 Notes Topic 2.3: The Geometry of Derivatives of Vector Functions Textbook Sections: 13.2 From the Toolbox (what you nee from previous classes): Be able to compute erivatives scalar-value functions
More informationOn the Inclined Curves in Galilean 4-Space
Applie Mathematical Sciences Vol. 7 2013 no. 44 2193-2199 HIKARI Lt www.m-hikari.com On the Incline Curves in Galilean 4-Space Dae Won Yoon Department of Mathematics Eucation an RINS Gyeongsang National
More informationmodel considered before, but the prey obey logistic growth in the absence of predators. In
5.2. First Orer Systems of Differential Equations. Phase Portraits an Linearity. Section Objective(s): Moifie Preator-Prey Moel. Graphical Representations of Solutions. Phase Portraits. Vector Fiels an
More information12.5. Differentiation of vectors. Introduction. Prerequisites. Learning Outcomes
Differentiation of vectors 12.5 Introuction The area known as vector calculus is use to moel mathematically a vast range of engineering phenomena incluing electrostatics, electromagnetic fiels, air flow
More informationx = c of N if the limit of f (x) = L and the right-handed limit lim f ( x)
Limit We say the limit of f () as approaches c equals L an write, lim L. One-Sie Limits (Left an Right-Hane Limits) Suppose a function f is efine near but not necessarily at We say that f has a left-hane
More informationMath Notes on differentials, the Chain Rule, gradients, directional derivative, and normal vectors
Math 18.02 Notes on ifferentials, the Chain Rule, graients, irectional erivative, an normal vectors Tangent plane an linear approximation We efine the partial erivatives of f( xy, ) as follows: f f( x+
More informationPermanent vs. Determinant
Permanent vs. Determinant Frank Ban Introuction A major problem in theoretical computer science is the Permanent vs. Determinant problem. It asks: given an n by n matrix of ineterminates A = (a i,j ) an
More informationOrdinary Differential Equations: Homework 2
Orinary Differential Equations: Homework 2 M. Gameiro, J.-P. Lessar, J.D. Mireles James, K. Mischaikow January 30, 2017 2 0.1 Eercises Eercise 0.1.1. Let (X, ) be a metric space. function (in the metric
More informationSection 7.2. The Calculus of Complex Functions
Section 7.2 The Calculus of Complex Functions In this section we will iscuss limits, continuity, ifferentiation, Taylor series in the context of functions which take on complex values. Moreover, we will
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationMath 1271 Solutions for Fall 2005 Final Exam
Math 7 Solutions for Fall 5 Final Eam ) Since the equation + y = e y cannot be rearrange algebraically in orer to write y as an eplicit function of, we must instea ifferentiate this relation implicitly
More informationLecture Introduction. 2 Examples of Measure Concentration. 3 The Johnson-Lindenstrauss Lemma. CS-621 Theory Gems November 28, 2012
CS-6 Theory Gems November 8, 0 Lecture Lecturer: Alesaner Mąry Scribes: Alhussein Fawzi, Dorina Thanou Introuction Toay, we will briefly iscuss an important technique in probability theory measure concentration
More informationLower bounds on Locality Sensitive Hashing
Lower bouns on Locality Sensitive Hashing Rajeev Motwani Assaf Naor Rina Panigrahy Abstract Given a metric space (X, X ), c 1, r > 0, an p, q [0, 1], a istribution over mappings H : X N is calle a (r,
More informationDefine each term or concept.
Chapter Differentiation Course Number Section.1 The Derivative an the Tangent Line Problem Objective: In this lesson you learne how to fin the erivative of a function using the limit efinition an unerstan
More informationLATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION
The Annals of Statistics 1997, Vol. 25, No. 6, 2313 2327 LATTICE-BASED D-OPTIMUM DESIGN FOR FOURIER REGRESSION By Eva Riccomagno, 1 Rainer Schwabe 2 an Henry P. Wynn 1 University of Warwick, Technische
More informationMath Implicit Differentiation. We have discovered (and proved) formulas for finding derivatives of functions like
Math 400 3.5 Implicit Differentiation Name We have iscovere (an prove) formulas for fining erivatives of functions like f x x 3x 4x. 3 This amounts to fining y for 3 y x 3x 4x. Notice that in this case,
More informationQuantum Mechanics in Three Dimensions
Physics 342 Lecture 20 Quantum Mechanics in Three Dimensions Lecture 20 Physics 342 Quantum Mechanics I Monay, March 24th, 2008 We begin our spherical solutions with the simplest possible case zero potential.
More informationQF101: Quantitative Finance September 5, Week 3: Derivatives. Facilitator: Christopher Ting AY 2017/2018. f ( x + ) f(x) f(x) = lim
QF101: Quantitative Finance September 5, 2017 Week 3: Derivatives Facilitator: Christopher Ting AY 2017/2018 I recoil with ismay an horror at this lamentable plague of functions which o not have erivatives.
More informationFirst Order Linear Differential Equations
LECTURE 6 First Orer Linear Differential Equations A linear first orer orinary ifferential equation is a ifferential equation of the form ( a(xy + b(xy = c(x. Here y represents the unknown function, y
More informationAgmon Kolmogorov Inequalities on l 2 (Z d )
Journal of Mathematics Research; Vol. 6, No. ; 04 ISSN 96-9795 E-ISSN 96-9809 Publishe by Canaian Center of Science an Eucation Agmon Kolmogorov Inequalities on l (Z ) Arman Sahovic Mathematics Department,
More informationSOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES
Ann. Aca. Rom. Sci. Ser. Math. Appl. ISSN 2066-6594 Vol. 5, No. 1-2 / 2013 SOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES Vasile Dragan Toaer Morozan Viorica Ungureanu Abstract In this
More informationLecture 6: Calculus. In Song Kim. September 7, 2011
Lecture 6: Calculus In Song Kim September 7, 20 Introuction to Differential Calculus In our previous lecture we came up with several ways to analyze functions. We saw previously that the slope of a linear
More informationLecture 1b. Differential operators and orthogonal coordinates. Partial derivatives. Divergence and divergence theorem. Gradient. A y. + A y y dy. 1b.
b. Partial erivatives Lecture b Differential operators an orthogonal coorinates Recall from our calculus courses that the erivative of a function can be efine as f ()=lim 0 or using the central ifference
More informationAcute sets in Euclidean spaces
Acute sets in Eucliean spaces Viktor Harangi April, 011 Abstract A finite set H in R is calle an acute set if any angle etermine by three points of H is acute. We examine the maximal carinality α() of
More informationCalculus of Variations
Calculus of Variations Lagrangian formalism is the main tool of theoretical classical mechanics. Calculus of Variations is a part of Mathematics which Lagrangian formalism is base on. In this section,
More informationImplicit Differentiation. Lecture 16.
Implicit Differentiation. Lecture 16. We are use to working only with functions that are efine explicitly. That is, ones like f(x) = 5x 3 + 7x x 2 + 1 or s(t) = e t5 3, in which the function is escribe
More informationMath Review for Physical Chemistry
Chemistry 362 Spring 27 Dr. Jean M. Stanar January 25, 27 Math Review for Physical Chemistry I. Algebra an Trigonometry A. Logarithms an Exponentials General rules for logarithms These rules, except where
More informationThe Exact Form and General Integrating Factors
7 The Exact Form an General Integrating Factors In the previous chapters, we ve seen how separable an linear ifferential equations can be solve using methos for converting them to forms that can be easily
More informationSeparation of Variables
Physics 342 Lecture 1 Separation of Variables Lecture 1 Physics 342 Quantum Mechanics I Monay, January 25th, 2010 There are three basic mathematical tools we nee, an then we can begin working on the physical
More informationLecture 4 : General Logarithms and Exponentials. a x = e x ln a, a > 0.
For a > 0 an x any real number, we efine Lecture 4 : General Logarithms an Exponentials. a x = e x ln a, a > 0. The function a x is calle the exponential function with base a. Note that ln(a x ) = x ln
More informationInverse Functions. Review from Last Time: The Derivative of y = ln x. [ln. Last time we saw that
Inverse Functions Review from Last Time: The Derivative of y = ln Last time we saw that THEOREM 22.0.. The natural log function is ifferentiable an More generally, the chain rule version is ln ) =. ln
More informationLinear and quadratic approximation
Linear an quaratic approximation November 11, 2013 Definition: Suppose f is a function that is ifferentiable on an interval I containing the point a. The linear approximation to f at a is the linear function
More informationTractability results for weighted Banach spaces of smooth functions
Tractability results for weighte Banach spaces of smooth functions Markus Weimar Mathematisches Institut, Universität Jena Ernst-Abbe-Platz 2, 07740 Jena, Germany email: markus.weimar@uni-jena.e March
More informationMarkov Chains in Continuous Time
Chapter 23 Markov Chains in Continuous Time Previously we looke at Markov chains, where the transitions betweenstatesoccurreatspecifietime- steps. That it, we mae time (a continuous variable) avance in
More informationThe Ehrenfest Theorems
The Ehrenfest Theorems Robert Gilmore Classical Preliminaries A classical system with n egrees of freeom is escribe by n secon orer orinary ifferential equations on the configuration space (n inepenent
More informationRank, Trace, Determinant, Transpose an Inverse of a Matrix Let A be an n n square matrix: A = a11 a1 a1n a1 a an a n1 a n a nn nn where is the jth col
Review of Linear Algebra { E18 Hanout Vectors an Their Inner Proucts Let X an Y be two vectors: an Their inner prouct is ene as X =[x1; ;x n ] T Y =[y1; ;y n ] T (X; Y ) = X T Y = x k y k k=1 where T an
More information3.2 Differentiability
Section 3 Differentiability 09 3 Differentiability What you will learn about How f (a) Might Fail to Eist Differentiability Implies Local Linearity Numerical Derivatives on a Calculator Differentiability
More informationLecture XII. where Φ is called the potential function. Let us introduce spherical coordinates defined through the relations
Lecture XII Abstract We introuce the Laplace equation in spherical coorinates an apply the metho of separation of variables to solve it. This will generate three linear orinary secon orer ifferential equations:
More informationThe Natural Logarithm
The Natural Logarithm -28-208 In earlier courses, you may have seen logarithms efine in terms of raising bases to powers. For eample, log 2 8 = 3 because 2 3 = 8. In those terms, the natural logarithm
More informationd dx But have you ever seen a derivation of these results? We ll prove the first result below. cos h 1
Lecture 5 Some ifferentiation rules Trigonometric functions (Relevant section from Stewart, Seventh Eition: Section 3.3) You all know that sin = cos cos = sin. () But have you ever seen a erivation of
More informationALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS
ALGEBRAIC AND ANALYTIC PROPERTIES OF ARITHMETIC FUNCTIONS MARK SCHACHNER Abstract. When consiere as an algebraic space, the set of arithmetic functions equippe with the operations of pointwise aition an
More information3.7 Implicit Differentiation -- A Brief Introduction -- Student Notes
Fin these erivatives of these functions: y.7 Implicit Differentiation -- A Brief Introuction -- Stuent Notes tan y sin tan = sin y e = e = Write the inverses of these functions: y tan y sin How woul we
More informationMATH2231-Differentiation (2)
-Differentiation () The Beginnings of Calculus The prime occasion from which arose my iscovery of the metho of the Characteristic Triangle, an other things of the same sort, happene at a time when I ha
More information19 Eigenvalues, Eigenvectors, Ordinary Differential Equations, and Control
19 Eigenvalues, Eigenvectors, Orinary Differential Equations, an Control This section introuces eigenvalues an eigenvectors of a matrix, an iscusses the role of the eigenvalues in etermining the behavior
More informationMath 1B, lecture 8: Integration by parts
Math B, lecture 8: Integration by parts Nathan Pflueger 23 September 2 Introuction Integration by parts, similarly to integration by substitution, reverses a well-known technique of ifferentiation an explores
More informationUnit #6 - Families of Functions, Taylor Polynomials, l Hopital s Rule
Unit # - Families of Functions, Taylor Polynomials, l Hopital s Rule Some problems an solutions selecte or aapte from Hughes-Hallett Calculus. Critical Points. Consier the function f) = 54 +. b) a) Fin
More informationGeneralized Tractability for Multivariate Problems
Generalize Tractability for Multivariate Problems Part II: Linear Tensor Prouct Problems, Linear Information, an Unrestricte Tractability Michael Gnewuch Department of Computer Science, University of Kiel,
More informationA. Incorrect! The letter t does not appear in the expression of the given integral
AP Physics C - Problem Drill 1: The Funamental Theorem of Calculus Question No. 1 of 1 Instruction: (1) Rea the problem statement an answer choices carefully () Work the problems on paper as neee (3) Question
More informationON ISENTROPIC APPROXIMATIONS FOR COMPRESSIBLE EULER EQUATIONS
ON ISENTROPIC APPROXIMATIONS FOR COMPRESSILE EULER EQUATIONS JUNXIONG JIA AND RONGHUA PAN Abstract. In this paper, we first generalize the classical results on Cauchy problem for positive symmetric quasilinear
More informationd dx [xn ] = nx n 1. (1) dy dx = 4x4 1 = 4x 3. Theorem 1.3 (Derivative of a constant function). If f(x) = k and k is a constant, then f (x) = 0.
Calculus refresher Disclaimer: I claim no original content on this ocument, which is mostly a summary-rewrite of what any stanar college calculus book offers. (Here I ve use Calculus by Dennis Zill.) I
More informationDarboux s theorem and symplectic geometry
Darboux s theorem an symplectic geometry Liang, Feng May 9, 2014 Abstract Symplectic geometry is a very important branch of ifferential geometry, it is a special case of poisson geometry, an coul also
More informationChapter 2 Lagrangian Modeling
Chapter 2 Lagrangian Moeling The basic laws of physics are use to moel every system whether it is electrical, mechanical, hyraulic, or any other energy omain. In mechanics, Newton s laws of motion provie
More informationθ x = f ( x,t) could be written as
9. Higher orer PDEs as systems of first-orer PDEs. Hyperbolic systems. For PDEs, as for ODEs, we may reuce the orer by efining new epenent variables. For example, in the case of the wave equation, (1)
More information2.20 Marine Hydrodynamics Lecture 3
2.20 Marine Hyroynamics, Fall 2018 Lecture 3 Copyright c 2018 MIT - Department of Mechanical Engineering, All rights reserve. 1.7 Stress Tensor 2.20 Marine Hyroynamics Lecture 3 1.7.1 Stress Tensor τ ij
More informationREAL ANALYSIS I HOMEWORK 5
REAL ANALYSIS I HOMEWORK 5 CİHAN BAHRAN The questions are from Stein an Shakarchi s text, Chapter 3. 1. Suppose ϕ is an integrable function on R with R ϕ(x)x = 1. Let K δ(x) = δ ϕ(x/δ), δ > 0. (a) Prove
More informationMathematics 1210 PRACTICE EXAM II Fall 2018 ANSWER KEY
Mathematics 1210 PRACTICE EXAM II Fall 2018 ANSWER KEY 1. Calculate the following: a. 2 x, x(t) = A sin(ωt φ) t2 Solution: Using the chain rule, we have x (t) = A cos(ωt φ)ω = ωa cos(ωt φ) x (t) = ω 2
More informationarxiv: v1 [math.ap] 17 Feb 2011
arxiv:1102.3614v1 [math.ap] 17 Feb 2011 Existence of Weak Solutions for the Incompressible Euler Equations Emil Wieemann Abstract Using a recent result of C. De Lellis an L. Székelyhii Jr. ( [2]) we show
More informationState-Space Model for a Multi-Machine System
State-Space Moel for a Multi-Machine System These notes parallel section.4 in the text. We are ealing with classically moele machines (IEEE Type.), constant impeance loas, an a network reuce to its internal
More informationSection 7.1: Integration by Parts
Section 7.1: Integration by Parts 1. Introuction to Integration Techniques Unlike ifferentiation where there are a large number of rules which allow you (in principle) to ifferentiate any function, the
More information7.1 Support Vector Machine
67577 Intro. to Machine Learning Fall semester, 006/7 Lecture 7: Support Vector Machines an Kernel Functions II Lecturer: Amnon Shashua Scribe: Amnon Shashua 7. Support Vector Machine We return now to
More information