DISCRETE GRONWALL LEMMA AND APPLICATIONS
|
|
- Patrick Cox
- 5 years ago
- Views:
Transcription
1 DISCRETE GRONWALL LEMMA AND APPLICATIONS JOHN M. HOLTE Variations of Gronwall s Lemma Gronwall s lemma, which solves a certain kind of inequality for a function, is useful in the theory of differential equations. Here is one version of it [1, p, 283]:. Gronwall s inequality. Let y(t, f(t, and g(t be nonnegative functions on [, T] having one-sided limits at every t [, T], and assume that for t T we have Then for t T we also have Proof. y(t f(t + y(t f(t + g(sy(s ds. ( g(sf(s exp g(u du ds. s Let I(t := g(sy(s ds and G(t := g(s ds. Now I (t = g(ty(t g(tf(t + g(ti(t outside a denumerable set, and d dt e G(t I(t = e G(t {I (t g(ti(t} e G(t g(tf(t, so e G(t I(t and y(t f(t + I(t f(t + e G(s g(sf(s ds. Therefore, I(t e G(t G(s g(sf(s ds. e G(t G(s g(sf(s ds Here is our first formulation of a discrete version of this lemma: 1. Preliminary Discrete Gronwall Lemma. If y n, f n, and g n are nonnegative sequences and (1 y n f n + g k y k for n, then (2 y n f n + f k g k exp( k<j<n g j for n. The proof that follows first gives the exact solution for y n when inequality in (1 is replaced by equality. Then it shows that any solution of the inequality is dominated by this exact solution, from which (2 quickly follows. First we prove a lemma giving a solution of the equality when f n 1. 1
2 2. Lemma. Let g n be a sequence. For n let (3 G n := (1 + g j. j<n Then G n = 1 + j<n g j G j for n, and, more generally, for k n, (4 G n = G k + g j G j. k j<n Proof. An empty product is 1, and an empty sum is, so the formulas hold for n = (and k =. Let m. Assuming the formulas hold for n = m, we have G m+1 = (1 + g m G m = G m + g m G m = 1 + g k G k + g m G m = 1 + g k G k, and for k m, G m+1 = G m + g m G m = G k + g j G j + g m G m = G k + k j<m conclusions follow by mathematical induction. +1 k j<m+1 g j G j. The 3. Proposition. Assume x n, f n, and g n are nonnegative sequences and (5 x n = f n + g k x k for n. Then (6 x n = f n + f k g k (1 + g j = f n + f k g k G n /G k+1 k<j<n for n. Here G n is defined by (3. Proof. Let χ n := f n + f k g k G n /G k+1. We prove that x n = χ n for n by induction. For n = both sides equal f. Let m >. Assume x n = χ n for n < m. By
3 (5, x m = f m + g k x k = f m + g k χ k = f m + = f m + = f m + = f m + g k {f k + j<k g k f k + g k f k + g k f k + j<k f j g j G k /G j+1 } g k f j g j G k /G j+1 j<m 1 j<k<m = f m + f m 1 g m 1 + = f m + 1 k<j<m g k f j g j G k /G j+1 g j f k g k G j /G k+1 {f k g k (1 + g j G j /G k+1 } 1 k<j<m f k g k G m /G k+1 = χ m by (4. The conclusion follows by induction. The following theorem actually gives a sharper result than the preliminary discrete Gronwall lemma. 4. Theorem: Sharp Gronwall Lemma. Assume y n, f n, and g n are nonnegative sequences and (7 y n f n + Then (8 y n f n + for n. g k y k for n. f k g k k<j<n (1 + g j Proof. Let x n be as in the previous proposition. Then an easy induction shows that y n x n for every n. Alternative Proof. For n = inequality (7 implies y f, whence inequality (8 holds for n =. Let m >. Assume that (8 holds for n < m. By hypothesis (7 and this
4 induction hypothesis, G (m j y m f m + f m + = f m + j<k<m j<m j<i<k g k y k g k ( f j g j G (m j where (by an implicit induction = 1 + g k (1 + g i f k + j<k f j g j j<i<k (1 + g i = 1 + g j g j+2 (1 + g j g m 1 (1 + g j+1 (1 + g m 2 = (1 + g j+1 (1 + g j g m 1 (1 + g j+2 (1 + g m 2 = = j<i<m (1 + g i. Thus inequality (8 holds for n = m. By mathematical induction, inequality (8 holds for every n. Proof of the Discrete Gronwall Lemma. Use the inequality 1 + g j exp(g j in the previous theorem. 5. Another discrete Gronwall lemma Here is another form of Gronwall s lemma that is sometimes invoked in differential equations [2, pp ]: Let y and g be nonnegative integrable functions and c a nonnegative constant. If y(t c + g(sy(s ds for t, then ( y(t c exp g(s ds for t. Proposition: Special Gronwall Lemma. Let y n and g n be nonnegative sequences and c a nonnegative constant. If y n c + g k y k for n, then y n c j<n (1 + g j c exp ( j<n g j for n.
5 Proof. Assume the hypothesis and apply the Sharp Gronwall Lemma with f n c: y n c + cg k (1 + g j = c + c = c + c{ = c j<n c exp j<n k<j<n { k j<n (1 + g j (1 + g j n j<n k+1 j<n (1 + g j [empty product is 1] ( j<n g j (1 + g j } (1 + g j } [telescoping sum] [1 + g j e g j ]. Applications One area where Gronwall s inequality is used is the study of the asymptotic behavior of nonhomogeneous linear systems of differential equations. We are interested in obtaining discrete analogs. 6. First-order differential equations The special Gronwall lemma in the continuous case can be used to establish uniqueness of solutions of dy dt = f(t, y for t with y = y when t =. It can also be used to bound the difference between two solutions with different initial values. Details First-order difference equations The special discrete Gronwall lemma can similarly be applied to solutions of the general first-order difference equation y n = f(n, y n for n. Details A vector differential equation application of Gronwall s lemma One application of the less general Gronwall lemma is in the proof of the following theorem. [2, pp ] Let denote a norm for d-vectors and the corresponding operator norm for d d matrices. For example, x and A could be defined as the sums of the absolute values of their components. Theorem. Assume lim t A(t = A, a constant matrix. If all the solutions of the limiting homogeneous equation dx dt = Ax remain bounded as t, then the same is true of all solutions of the nonhomogeneous equation dx = A(tx + f(t dt
6 provided that and A(t A dt < f(t td <. 9. A vector difference equation application of the discrete Gronwall lemma Our analogous theorem is the following. Theorem. Assume that lim n A(n = A, a constant matrix. If all the solutions of the limiting homogeneous equation x(n = Ax(n for n remain bounded as n, then the same is true of all solutions of the nonhomogeneous equation (9 x(n = A(nx(n + f(n for n provided that and A(n A < n= f(n <. n= Proof. First consider x(n = Ax(n, i.e., x(n + 1 x(n = Ax(n. Since x(n + 1 = (I + Ax(n for n, we have x(n = (I + A n x( for n. By hypothesis, all these solutions remain bounded as n, so there must be a constant C 1 such that for n, Let B(n = A(n A and rewrite (9 as (I + A n C 1. (1 x(n = Ax(n + B(nx(n + f(n. If B(n =, then by backtracking we get x(n = (I + Ax(n 1 + f(n 1 = (I + A[(I + Ax(n 2 + f(n 2] + f(n 1 = (I + A 2 x(n 2 + (I + Af(n 2 + f(n 1 = (I + A 2 [(I + Ax(n 3 + f(n 3] + (I + Af(n 2 + f(n 1 = (I + A 3 x(n 3 + (I + A 2 f(n 3 + (I + Af(n 2 + f(n 1 =... = (I + A n x( + (I + A n 1 f( + (I + A n 2 f(1 + + f(n 1. Therefore, if x(n = Ax(n + f(n, then x(n = (I + A n x( + (I + A n 1 k f(k.
7 Now apply this result to (1 with B(nx(n + f(n playing the role of f(n : x(n = (I + A n x( + (I + A n 1 k [B(kx(k + f(k]. Taking norms, we get x(n (I + A n x( + whence, Therefore, where x(n C 1 x( + x(n f n + (I + A n 1 k { B(k x(k + f(k }, C 1 { B(k x(k + f(k }, f n = C 1 x( + g k x(k C 1 f(k and g n = C 1 B(k = C 1 A(k A. By hypothesis, there are constants C 2 and C 3 such that f(k C 2 and A(k A C 3, k= so f n C 1 x( +C 1 C 2 and, by Gronwall s lemma (the special case, ( x(n (C 1 x( +C 1 C 2 exp g j (C 1 x( +C 1 C 2 exp(c 2 C 3 <, showing that the solutions are bounded. j= k= I still need to find a nice discrete application that requires the strong version of the discrete Gronwall Lemma. References [1] Dieudonné, J., Foundations of Modern Analysis, Academic Press, 196. [2] Struble, Raimond A., Nonlinear Differential Equations, McGraw-Hill, New York, address: holte@gustavus.edu
DISCRETE GRONWALL LEMMA AND APPLICATIONS
DISCRETE GRONWALL LEMMA AND APPLICATIONS JOHN M. HOLTE MAA NORTH CENTRAL SECTION MEETING AT UND 24 OCTOBER 29 Gronwall s lemma saes an inequaliy ha is useful in he heory of differenial equaions. Here is
More informationFirst and Second Order Differential Equations Lecture 4
First and Second Order Differential Equations Lecture 4 Dibyajyoti Deb 4.1. Outline of Lecture The Existence and the Uniqueness Theorem Homogeneous Equations with Constant Coefficients 4.2. The Existence
More informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 1, 018 Outline Non POMI Based s Some Contradiction s Triangle
More informationSolutions to Homework 2
Solutions to Homewor Due Tuesday, July 6,. Chapter. Problem solution. If the series for ln+z and ln z both converge, +z then we can find the series for ln z by term-by-term subtraction of the two series:
More informationSolutions to Assignment-11
Solutions to Assignment-. (a) For any sequence { } of positive numbers, show that lim inf + lim inf an lim sup an lim sup +. Show from this, that the root test is stronger than the ratio test. That is,
More informationOrdinary Differential Equation Theory
Part I Ordinary Differential Equation Theory 1 Introductory Theory An n th order ODE for y = y(t) has the form Usually it can be written F (t, y, y,.., y (n) ) = y (n) = f(t, y, y,.., y (n 1) ) (Implicit
More informationOn Existence of Positive Solutions for Linear Difference Equations with Several Delays
Advances in Dynamical Systems and Applications. ISSN 0973-5321 Volume 1 Number 1 (2006), pp. 29 47 c Research India Publications http://www.ripublication.com/adsa.htm On Existence of Positive Solutions
More information1.4 The Jacobian of a map
1.4 The Jacobian of a map Derivative of a differentiable map Let F : M n N m be a differentiable map between two C 1 manifolds. Given a point p M we define the derivative of F at p by df p df (p) : T p
More informationChapter 2: First Order DE 2.4 Linear vs. Nonlinear DEs
Chapter 2: First Order DE 2.4 Linear vs. Nonlinear DEs First Order DE 2.4 Linear vs. Nonlinear DE We recall the general form of the First Oreder DEs (FODE): dy = f(t, y) (1) dt where f(t, y) is a function
More informationNonlinear Control Systems
Nonlinear Control Systems António Pedro Aguiar pedro@isr.ist.utl.pt 3. Fundamental properties IST-DEEC PhD Course http://users.isr.ist.utl.pt/%7epedro/ncs2012/ 2012 1 Example Consider the system ẋ = f
More informationApplied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.
Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationAn invariance result for Hammersley s process with sources and sinks
An invariance result for Hammersley s process with sources and sinks Piet Groeneboom Delft University of Technology, Vrije Universiteit, Amsterdam, and University of Washington, Seattle March 31, 26 Abstract
More informationEntrance Exam, Differential Equations April, (Solve exactly 6 out of the 8 problems) y + 2y + y cos(x 2 y) = 0, y(0) = 2, y (0) = 4.
Entrance Exam, Differential Equations April, 7 (Solve exactly 6 out of the 8 problems). Consider the following initial value problem: { y + y + y cos(x y) =, y() = y. Find all the values y such that the
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationObserver design for a general class of triangular systems
1st International Symposium on Mathematical Theory of Networks and Systems July 7-11, 014. Observer design for a general class of triangular systems Dimitris Boskos 1 John Tsinias Abstract The paper deals
More informationON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS
PORTUGALIAE MATHEMATICA Vol. 55 Fasc. 4 1998 ON THE PATHWISE UNIQUENESS OF SOLUTIONS OF STOCHASTIC DIFFERENTIAL EQUATIONS C. Sonoc Abstract: A sufficient condition for uniqueness of solutions of ordinary
More informationTHE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS
THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU Abstract. This is an edited version of a
More informationASYMPTOTIC BEHAVIOR OF SOLUTIONS OF DISCRETE VOLTERRA EQUATIONS. Janusz Migda and Małgorzata Migda
Opuscula Math. 36, no. 2 (2016), 265 278 http://dx.doi.org/10.7494/opmath.2016.36.2.265 Opuscula Mathematica ASYMPTOTIC BEHAVIOR OF SOLUTIONS OF DISCRETE VOLTERRA EQUATIONS Janusz Migda and Małgorzata
More informationOn the Ψ - Exponential Asymptotic Stability of Nonlinear Lyapunov Matrix Differential Equations
DOI: 1.2478/awutm-213-12 Analele Universităţii de Vest, Timişoara Seria Matematică Informatică LI, 2, (213), 7 28 On the Ψ - Exponential Asymptotic Stability of Nonlinear Lyapunov Matrix Differential Equations
More informationSection 7.2 Solving Linear Recurrence Relations
Section 7.2 Solving Linear Recurrence Relations If a g(n) = f (a g(0),a g(1),..., a g(n 1) ) find a closed form or an expression for a g(n). Recall: nth degree polynomials have n roots: a n x n + a n 1
More informationAN EXTENSION OF THE LAX-MILGRAM THEOREM AND ITS APPLICATION TO FRACTIONAL DIFFERENTIAL EQUATIONS
Electronic Journal of Differential Equations, Vol. 215 (215), No. 95, pp. 1 9. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu AN EXTENSION OF THE
More information2017 HSC Mathematics Extension 1 Marking Guidelines
07 HSC Mathematics Extension Marking Guidelines Section I Multiple-choice Answer Key Question Answer A B 3 B 4 C 5 D 6 D 7 A 8 C 9 C 0 B NESA 07 HSC Mathematics Extension Marking Guidelines Section II
More informationElements of Positive Definite Kernel and Reproducing Kernel Hilbert Space
Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department
More informationy + p(t)y = g(t) for each t I, and that also satisfies the initial condition y(t 0 ) = y 0 where y 0 is an arbitrary prescribed initial value.
p1 Differences Between Linear and Nonlinear Equation Theorem 1: If the function p and g are continuous on an open interval I : α < t < β containing the point t = t 0, then there exists a unique function
More informationODEs Cathal Ormond 1
ODEs Cathal Ormond 2 1. Separable ODEs Contents 2. First Order ODEs 3. Linear ODEs 4. 5. 6. Chapter 1 Separable ODEs 1.1 Definition: An ODE An Ordinary Differential Equation (an ODE) is an equation whose
More informationLinear ODEs. Existence of solutions to linear IVPs. Resolvent matrix. Autonomous linear systems
Linear ODEs p. 1 Linear ODEs Existence of solutions to linear IVPs Resolvent matrix Autonomous linear systems Linear ODEs Definition (Linear ODE) A linear ODE is a differential equation taking the form
More informationSequences and Series of Functions
Chapter 13 Sequences and Series of Functions These notes are based on the notes A Teacher s Guide to Calculus by Dr. Louis Talman. The treatment of power series that we find in most of today s elementary
More informationApplied Differential Equation. November 30, 2012
Applied Differential Equation November 3, Contents 5 System of First Order Linear Equations 5 Introduction and Review of matrices 5 Systems of Linear Algebraic Equations, Linear Independence, Eigenvalues,
More informationACCURATE SOLUTION ESTIMATE AND ASYMPTOTIC BEHAVIOR OF NONLINEAR DISCRETE SYSTEM
Sutra: International Journal of Mathematical Science Education c Technomathematics Research Foundation Vol. 1, No. 1,9-15, 2008 ACCURATE SOLUTION ESTIMATE AND ASYMPTOTIC BEHAVIOR OF NONLINEAR DISCRETE
More informationFinal Exam December 20, 2011
Final Exam December 20, 2011 Math 420 - Ordinary Differential Equations No credit will be given for answers without mathematical or logical justification. Simplify answers as much as possible. Leave solutions
More informationPreliminary check: are the terms that we are adding up go to zero or not? If not, proceed! If the terms a n are going to zero, pick another test.
Throughout these templates, let series. be a series. We hope to determine the convergence of this Divergence Test: If lim is not zero or does not exist, then the series diverges. Preliminary check: are
More information1 Delayed Renewal Processes: Exploiting Laplace Transforms
IEOR 6711: Stochastic Models I Professor Whitt, Tuesday, October 22, 213 Renewal Theory: Proof of Blackwell s theorem 1 Delayed Renewal Processes: Exploiting Laplace Transforms The proof of Blackwell s
More informationOn perturbations in the leading coefficient matrix of time-varying index-1 DAEs
On perturbations in the leading coefficient matrix of time-varying index-1 DAEs Institute of Mathematics, Ilmenau University of Technology Darmstadt, March 27, 2012 Institute of Mathematics, Ilmenau University
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationSolutions to the 74th William Lowell Putnam Mathematical Competition Saturday, December 7, 2013
Solutions to the 74th William Lowell Putnam Mathematical Competition Saturday, December 7, 213 Kiran Kedlaya and Lenny Ng A1 Suppose otherwise. Then each vertex v is a vertex for five faces, all of which
More informationI forgot to mention last time: in the Ito formula for two standard processes, putting
I forgot to mention last time: in the Ito formula for two standard processes, putting dx t = a t dt + b t db t dy t = α t dt + β t db t, and taking f(x, y = xy, one has f x = y, f y = x, and f xx = f yy
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationThe Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge
The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge Vladimir Kozlov (Linköping University, Sweden) 2010 joint work with A.Nazarov Lu t u a ij
More informationProblem 1 In each of the following problems find the general solution of the given differential
VI Problem 1 dt + 2dy 3y = 0; dt 9dy + 9y = 0. Problem 2 dt + dy 2y = 0, y(0) = 1, y (0) = 1; dt 2 y = 0, y( 2) = 1, y ( 2) = Problem 3 Find the solution of the initial value problem 2 d2 y dt 2 3dy dt
More informationMath 421, Homework #7 Solutions. We can then us the triangle inequality to find for k N that (x k + y k ) (L + M) = (x k L) + (y k M) x k L + y k M
Math 421, Homework #7 Solutions (1) Let {x k } and {y k } be convergent sequences in R n, and assume that lim k x k = L and that lim k y k = M. Prove directly from definition 9.1 (i.e. don t use Theorem
More informationMath 320: Real Analysis MWF 1pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible.
Math 320: Real Analysis MWF pm, Campion Hall 302 Homework 4 Solutions Please write neatly, and in complete sentences when possible. Do the following problems from the book: 2.6.3, 2.7.4, 2.7.5, 2.7.2,
More informationMartingale Problems. Abhay G. Bhatt Theoretical Statistics and Mathematics Unit Indian Statistical Institute, Delhi
s Abhay G. Bhatt Theoretical Statistics and Mathematics Unit Indian Statistical Institute, Delhi Lectures on Probability and Stochastic Processes III Indian Statistical Institute, Kolkata 20 24 November
More informationNonlinear equations. Norms for R n. Convergence orders for iterative methods
Nonlinear equations Norms for R n Assume that X is a vector space. A norm is a mapping X R with x such that for all x, y X, α R x = = x = αx = α x x + y x + y We define the following norms on the vector
More informationMATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f
More informationINITIAL-VALUE PROBLEMS FOR FIRST-ORDER DIFFERENTIAL RECURRENCE EQUATIONS WITH AUTO-CONVOLUTION
Electronic Journal of Differential Equations, Vol (), No, pp 3 ISSN: 7-669 URL: http://ejdemathtxstateedu or http://ejdemathuntedu ftp ejdemathtxstateedu INITIAL-VALUE PROBLEMS FOR FIRST-ORDER DIFFERENTIAL
More information1+t 2 (l) y = 2xy 3 (m) x = 2tx + 1 (n) x = 2tx + t (o) y = 1 + y (p) y = ty (q) y =
DIFFERENTIAL EQUATIONS. Solved exercises.. Find the set of all solutions of the following first order differential equations: (a) x = t (b) y = xy (c) x = x (d) x = (e) x = t (f) x = x t (g) x = x log
More informationAbsolute value equations
Linear Algebra and its Applications 419 (2006) 359 367 www.elsevier.com/locate/laa Absolute value equations O.L. Mangasarian, R.R. Meyer Computer Sciences Department, University of Wisconsin, 1210 West
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationSolutions of Math 53 Midterm Exam I
Solutions of Math 53 Midterm Exam I Problem 1: (1) [8 points] Draw a direction field for the given differential equation y 0 = t + y. (2) [8 points] Based on the direction field, determine the behavior
More informationMATH 217A HOMEWORK. P (A i A j ). First, the basis case. We make a union disjoint as follows: P (A B) = P (A) + P (A c B)
MATH 217A HOMEWOK EIN PEASE 1. (Chap. 1, Problem 2. (a Let (, Σ, P be a probability space and {A i, 1 i n} Σ, n 2. Prove that P A i n P (A i P (A i A j + P (A i A j A k... + ( 1 n 1 P A i n P (A i P (A
More informationAn idea how to solve some of the problems. diverges the same must hold for the original series. T 1 p T 1 p + 1 p 1 = 1. dt = lim
An idea how to solve some of the problems 5.2-2. (a) Does not converge: By multiplying across we get Hence 2k 2k 2 /2 k 2k2 k 2 /2 k 2 /2 2k 2k 2 /2 k. As the series diverges the same must hold for the
More informationEXISTENCE AND UNIQUENESS OF SOLUTIONS FOR A SECOND-ORDER NONLINEAR HYPERBOLIC SYSTEM
Electronic Journal of Differential Equations, Vol. 211 (211), No. 78, pp. 1 11. ISSN: 172-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTENCE AND UNIQUENESS
More information11.8 Power Series. Recall the geometric series. (1) x n = 1+x+x 2 + +x n +
11.8 1 11.8 Power Series Recall the geometric series (1) x n 1+x+x 2 + +x n + n As we saw in section 11.2, the series (1) diverges if the common ratio x > 1 and converges if x < 1. In fact, for all x (
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationProofs Not Based On POMI
s Not Based On POMI James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University February 12, 2018 Outline 1 Non POMI Based s 2 Some Contradiction s 3
More informationDYNAMICAL SYSTEMS AND NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS
DYNAMICAL SYSTEMS AND NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS J. Banasiak School of Mathematical Sciences University of KwaZulu-Natal, Durban, South Africa 2 Contents 1 Solvability of ordinary differential
More informationX. Numerical Methods
X. Numerical Methods. Taylor Approximation Suppose that f is a function defined in a neighborhood of a point c, and suppose that f has derivatives of all orders near c. In section 5 of chapter 9 we introduced
More informationControl, Stabilization and Numerics for Partial Differential Equations
Paris-Sud, Orsay, December 06 Control, Stabilization and Numerics for Partial Differential Equations Enrique Zuazua Universidad Autónoma 28049 Madrid, Spain enrique.zuazua@uam.es http://www.uam.es/enrique.zuazua
More informationLinear Algebra and its Applications
Linear Algebra and its Applications 433 (200) 867 875 Contents lists available at ScienceDirect Linear Algebra and its Applications journal homepage: www.elsevier.com/locate/laa On the exponential exponents
More informationAlgebraic Properties of Solutions of Linear Systems
Algebraic Properties of Solutions of Linear Systems In this chapter we will consider simultaneous first-order differential equations in several variables, that is, equations of the form f 1t,,,x n d f
More informationHomogeneous Equations with Constant Coefficients
Homogeneous Equations with Constant Coefficients MATH 365 Ordinary Differential Equations J. Robert Buchanan Department of Mathematics Spring 2018 General Second Order ODE Second order ODEs have the form
More informationFirst Order Differential Equations Lecture 3
First Order Differential Equations Lecture 3 Dibyajyoti Deb 3.1. Outline of Lecture Differences Between Linear and Nonlinear Equations Exact Equations and Integrating Factors 3.. Differences between Linear
More informationTHE DVORETZKY KIEFER WOLFOWITZ INEQUALITY WITH SHARP CONSTANT: MASSART S 1990 PROOF SEMINAR, SEPT. 28, R. M. Dudley
THE DVORETZKY KIEFER WOLFOWITZ INEQUALITY WITH SHARP CONSTANT: MASSART S 1990 PROOF SEMINAR, SEPT. 28, 2011 R. M. Dudley 1 A. Dvoretzky, J. Kiefer, and J. Wolfowitz 1956 proved the Dvoretzky Kiefer Wolfowitz
More information9.5 The Transfer Function
Lecture Notes on Control Systems/D. Ghose/2012 0 9.5 The Transfer Function Consider the n-th order linear, time-invariant dynamical system. dy a 0 y + a 1 dt + a d 2 y 2 dt + + a d n y 2 n dt b du 0u +
More information6.1 Matrices. Definition: A Matrix A is a rectangular array of the form. A 11 A 12 A 1n A 21. A 2n. A m1 A m2 A mn A 22.
61 Matrices Definition: A Matrix A is a rectangular array of the form A 11 A 12 A 1n A 21 A 22 A 2n A m1 A m2 A mn The size of A is m n, where m is the number of rows and n is the number of columns The
More informationWeak and strong convergence theorems of modified SP-iterations for generalized asymptotically quasi-nonexpansive mappings
Mathematica Moravica Vol. 20:1 (2016), 125 144 Weak and strong convergence theorems of modified SP-iterations for generalized asymptotically quasi-nonexpansive mappings G.S. Saluja Abstract. The aim of
More informationProf. Krstic Nonlinear Systems MAE281A Homework set 1 Linearization & phase portrait
Prof. Krstic Nonlinear Systems MAE28A Homework set Linearization & phase portrait. For each of the following systems, find all equilibrium points and determine the type of each isolated equilibrium. Use
More informationGlobal Solutions for a Nonlinear Wave Equation with the p-laplacian Operator
Global Solutions for a Nonlinear Wave Equation with the p-laplacian Operator Hongjun Gao Institute of Applied Physics and Computational Mathematics 188 Beijing, China To Fu Ma Departamento de Matemática
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationPositive definite solutions of some matrix equations
Available online at www.sciencedirect.com Linear Algebra and its Applications 49 (008) 40 44 www.elsevier.com/locate/laa Positive definite solutions of some matrix equations Aleksandar S. Cvetković, Gradimir
More informationFind the indicated derivative. 1) Find y(4) if y = 3 sin x. A) y(4) = 3 cos x B) y(4) = 3 sin x C) y(4) = - 3 cos x D) y(4) = - 3 sin x
Assignment 5 Name Find the indicated derivative. ) Find y(4) if y = sin x. ) A) y(4) = cos x B) y(4) = sin x y(4) = - cos x y(4) = - sin x ) y = (csc x + cot x)(csc x - cot x) ) A) y = 0 B) y = y = - csc
More informationUS01CMTH02 UNIT-3. exists, then it is called the partial derivative of f with respect to y at (a, b) and is denoted by f. f(a, b + b) f(a, b) lim
Study material of BSc(Semester - I US01CMTH02 (Partial Derivatives Prepared by Nilesh Y Patel Head,Mathematics Department,VPand RPTPScience College 1 Partial derivatives US01CMTH02 UNIT-3 The concept of
More informationMA 201, Mathematics III, July-November 2018, Laplace Transform (Contd.)
MA 201, Mathematics III, July-November 2018, Laplace Transform (Contd.) Lecture 19 Lecture 19 MA 201, PDE (2018) 1 / 24 Application of Laplace transform in solving ODEs ODEs with constant coefficients
More informationLecture 4: Numerical solution of ordinary differential equations
Lecture 4: Numerical solution of ordinary differential equations Department of Mathematics, ETH Zürich General explicit one-step method: Consistency; Stability; Convergence. High-order methods: Taylor
More informationEcon Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n
Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationNumerical Methods for Differential Equations Mathematical and Computational Tools
Numerical Methods for Differential Equations Mathematical and Computational Tools Gustaf Söderlind Numerical Analysis, Lund University Contents V4.16 Part 1. Vector norms, matrix norms and logarithmic
More informationEECS 598: Statistical Learning Theory, Winter 2014 Topic 11. Kernels
EECS 598: Statistical Learning Theory, Winter 2014 Topic 11 Kernels Lecturer: Clayton Scott Scribe: Jun Guo, Soumik Chatterjee Disclaimer: These notes have not been subjected to the usual scrutiny reserved
More informationNon-linear wave equations. Hans Ringström. Department of Mathematics, KTH, Stockholm, Sweden
Non-linear wave equations Hans Ringström Department of Mathematics, KTH, 144 Stockholm, Sweden Contents Chapter 1. Introduction 5 Chapter 2. Local existence and uniqueness for ODE:s 9 1. Background material
More informationExistence and Uniqueness Results for Nonlinear Implicit Fractional Differential Equations with Boundary Conditions
Existence and Uniqueness Results for Nonlinear Implicit Fractional Differential Equations with Boundary Conditions Mouffak Benchohra a,b 1 and Jamal E. Lazreg a, a Laboratory of Mathematics, University
More information,... We would like to compare this with the sequence y n = 1 n
Example 2.0 Let (x n ) n= be the sequence given by x n = 2, i.e. n 2, 4, 8, 6,.... We would like to compare this with the sequence = n (which we know converges to zero). We claim that 2 n n, n N. Proof.
More informationA generalized Gronwall inequality and its application to fractional differential equations with Hadamard derivatives
A generalized Gronwall inequality and its application to fractional differential equations with Hadamard derivatives Deliang Qian Ziqing Gong Changpin Li Department of Mathematics, Shanghai University,
More informationGeneralized Derivatives for Solutions of Parametric Ordinary Differential Equations with Non-differentiable Right-Hand Sides
Generalized Derivatives for Solutions of Parametric Ordinary Differential Equations with Non-differentiable Right-Hand Sides The MIT Faculty has made this article openly available. Please share how this
More informationMATH3283W LECTURE NOTES: WEEK 6 = 5 13, = 2 5, 1 13
MATH383W LECTURE NOTES: WEEK 6 //00 Recursive sequences (cont.) Examples: () a =, a n+ = 3 a n. The first few terms are,,, 5 = 5, 3 5 = 5 3, Since 5
More informationSection Taylor and Maclaurin Series
Section.0 Taylor and Maclaurin Series Ruipeng Shen Feb 5 Taylor and Maclaurin Series Main Goal: How to find a power series representation for a smooth function us assume that a smooth function has a power
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationModern Optimal Control
Modern Optimal Control Matthew M. Peet Arizona State University Lecture 19: Stabilization via LMIs Optimization Optimization can be posed in functional form: min x F objective function : inequality constraints
More informationNonlinear Systems Theory
Nonlinear Systems Theory Matthew M. Peet Arizona State University Lecture 2: Nonlinear Systems Theory Overview Our next goal is to extend LMI s and optimization to nonlinear systems analysis. Today we
More informationOrthonormal Bases Fall Consider an inner product space V with inner product f, g and norm
8.03 Fall 203 Orthonormal Bases Consider an inner product space V with inner product f, g and norm f 2 = f, f Proposition (Continuity) If u n u 0 and v n v 0 as n, then u n u ; u n, v n u, v. Proof. Note
More informationLax Solution Part 4. October 27, 2016
Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =
More informationAn Overview of the Martingale Representation Theorem
An Overview of the Martingale Representation Theorem Nuno Azevedo CEMAPRE - ISEG - UTL nazevedo@iseg.utl.pt September 3, 21 Nuno Azevedo (CEMAPRE - ISEG - UTL) LXDS Seminar September 3, 21 1 / 25 Background
More information25. Chain Rule. Now, f is a function of t only. Expand by multiplication:
25. Chain Rule The Chain Rule is present in all differentiation. If z = f(x, y) represents a two-variable function, then it is plausible to consider the cases when x and y may be functions of other variable(s).
More informationCommon fixed points for α-ψ-ϕ-contractions in generalized metric spaces
Nonlinear Analysis: Modelling and Control, 214, Vol. 19, No. 1, 43 54 43 Common fixed points for α-ψ-ϕ-contractions in generalized metric spaces Vincenzo La Rosa, Pasquale Vetro Università degli Studi
More information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationA Common Fixed Points in Cone and rectangular cone Metric Spaces
Chapter 5 A Common Fixed Points in Cone and rectangular cone Metric Spaces In this chapter we have establish fixed point theorems in cone metric spaces and rectangular cone metric space. In the first part
More informationCh 2: Linear Time-Invariant System
Ch 2: Linear Time-Invariant System A system is said to be Linear Time-Invariant (LTI) if it possesses the basic system properties of linearity and time-invariance. Consider a system with an output signal
More informationMATH 1231 MATHEMATICS 1B CALCULUS. Section 4: - Convergence of Series.
MATH 23 MATHEMATICS B CALCULUS. Section 4: - Convergence of Series. The objective of this section is to get acquainted with the theory and application of series. By the end of this section students will
More information