HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Variable Coefficient Nonhomogeneous Case

Similar documents
Nonhomogeneous Linear Equations: Variation of Parameters Professor David Levermore 17 October 2004 We now return to the discussion of the general case

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS II: Nonhomogeneous Equations. David Levermore Department of Mathematics University of Maryland

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS II: Nonhomogeneous Case and Vibrations

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS. David Levermore Department of Mathematics University of Maryland.

UCLA Math 135, Winter 2015 Ordinary Differential Equations

Second In-Class Exam Solutions Math 246, Professor David Levermore Thursday, 31 March 2011

First-Order Ordinary Differntial Equations: Classification and Linear Equations. David Levermore Department of Mathematics University of Maryland

ORDINARY DIFFERENTIAL EQUATION: Introduction and First-Order Equations. David Levermore Department of Mathematics University of Maryland

ORDINARY DIFFERENTIAL EQUATIONS: Introduction and First-Order Equations. David Levermore Department of Mathematics University of Maryland

FIRST-ORDER ORDINARY DIFFERENTIAL EQUATIONS I: Introduction and Analytic Methods David Levermore Department of Mathematics University of Maryland

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Laplace Transform Method. David Levermore Department of Mathematics University of Maryland

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Laplace Transform Method David Levermore Department of Mathematics University of Maryland

Algebraic Properties of Solutions of Linear Systems

Laplace Transforms Chapter 3

Solutions to Homework 5, Introduction to Differential Equations, 3450: , Dr. Montero, Spring y 4y = 48t 3.

4. Higher Order Linear DEs

37. f(t) sin 2t cos 2t 38. f(t) cos 2 t. 39. f(t) sin(4t 5) 40.

MATH 308 Differential Equations

APPM 2360 Section Exam 3 Wednesday November 19, 7:00pm 8:30pm, 2014

Chapter 4: Higher Order Linear Equations

First-Order Ordinary Differntial Equations II: Autonomous Case. David Levermore Department of Mathematics University of Maryland.

APPM 2360: Midterm exam 3 April 19, 2017

ORDINARY DIFFERENTIAL EQUATIONS

First-Order ODEs. Chapter Separable Equations. We consider in this chapter differential equations of the form dy (1.1)

Solutions to Homework 3

Non-homogeneous equations (Sect. 3.6).

= 2e t e 2t + ( e 2t )e 3t = 2e t e t = e t. Math 20D Final Review

Section 2.4 Linear Equations

FIRST-ORDER SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS III: Autonomous Planar Systems David Levermore Department of Mathematics University of Maryland

Linear Second Order ODEs

Math 353 Lecture Notes Week 6 Laplace Transform: Fundamentals

Math 341 Fall 2008 Friday December 12

Third In-Class Exam Solutions Math 246, Professor David Levermore Thursday, 3 December 2009 (1) [6] Given that 2 is an eigenvalue of the matrix

Math 216 Second Midterm 16 November, 2017

A First Course in Elementary Differential Equations: Problems and Solutions. Marcel B. Finan Arkansas Tech University c All Rights Reserved

Laplace Transforms. Chapter 3. Pierre Simon Laplace Born: 23 March 1749 in Beaumont-en-Auge, Normandy, France Died: 5 March 1827 in Paris, France

Nonhomogeneous Equations and Variation of Parameters

First and Second Order Differential Equations Lecture 4

3.5 Undetermined Coefficients

The Laplace Transform

c 1 = y 0, c 2 = 1 2 y 1. Therefore the solution to the general initial-value problem is y(t) = y 0 cos(2t)+y sin(2t).

Differential Equations Practice: 2nd Order Linear: Nonhomogeneous Equations: Variation of Parameters Page 1

MAT292 - Calculus III - Fall Solution for Term Test 2 - November 6, 2014 DO NOT WRITE ON THE QR CODE AT THE TOP OF THE PAGES.

Math 3313: Differential Equations Second-order ordinary differential equations

Math53: Ordinary Differential Equations Autumn 2004

ORDINARY DIFFERENTIAL EQUATIONS

Ma 221 Final Exam Solutions 5/14/13

Lecture 8: Ordinary Differential Equations

MATH 251 Examination I February 23, 2017 FORM A. Name: Student Number: Section:

Ordinary Differential Equation Introduction and Preliminaries

Name: Solutions Final Exam

First Order Systems of Linear Equations. or ODEs of Arbitrary Order

= AΦ, Φ(0) = I, = k! tk A k = I + ta t2 A t3 A t4 A 4 +, (3) e ta 1

Solutions to Final Exam Sample Problems, Math 246, Spring 2011

2nd-Order Linear Equations

Using Abel's Theorem to Explain Repeated Roots of the Characteristic Equation

First Order Linear Ordinary Differential Equations

Partial proof: y = ϕ 1 (t) is a solution to y + p(t)y = 0 implies. Thus y = cϕ 1 (t) is a solution to y + p(t)y = 0 since

Math 216 Second Midterm 19 March, 2018

Homework Solutions:

Math Ordinary Differential Equations

Exam II Review: Selected Solutions and Answers

Second Order Differential Equations Lecture 6

Math 23: Differential Equations (Winter 2017) Midterm Exam Solutions

Ordinary Differential Equation Theory

Homework 3 Solutions Math 309, Fall 2015

Chapter 0 of Calculus ++, Differential calculus with several variables

2tdt 1 y = t2 + C y = which implies C = 1 and the solution is y = 1

The Laplace Transform and the IVP (Sect. 6.2).

Higher Order Linear Equations

Euler-Cauchy Using Undetermined Coefficients

f(t)e st dt. (4.1) Note that the integral defining the Laplace transform converges for s s 0 provided f(t) Ke s 0t for some constant K.

MathQuest: Differential Equations

FIRST-ORDER SYSTEMS OF ORDINARY DIFFERENTIAL EQUATIONS II: Homogeneous Linear Systems with Constant Coefficients

Math 20D: Form B Final Exam Dec.11 (3:00pm-5:50pm), Show all of your work. No credit will be given for unsupported answers.

Math 215/255 Final Exam (Dec 2005)

Lecture 2. Classification of Differential Equations and Method of Integrating Factors

Solutions to Math 53 Math 53 Practice Final

MIDTERM 1 PRACTICE PROBLEM SOLUTIONS

Solutions of the Sample Problems for the Third In-Class Exam Math 246, Fall 2017, Professor David Levermore

MA 201, Mathematics III, July-November 2016, Laplace Transform

Lecture 17: Nonhomogeneous equations. 1 Undetermined coefficients method to find a particular

Understand the existence and uniqueness theorems and what they tell you about solutions to initial value problems.

Solutions to Homework 1, Introduction to Differential Equations, 3450: , Dr. Montero, Spring y(x) = ce 2x + e x

A BRIEF INTRODUCTION INTO SOLVING DIFFERENTIAL EQUATIONS

Solutions Definition 2: a solution

Math 256: Applied Differential Equations: Final Review

Old Math 330 Exams. David M. McClendon. Department of Mathematics Ferris State University

1 Differential Equations

Second Order Linear Equations

Section 2.1 (First Order) Linear DEs; Method of Integrating Factors. General first order linear DEs Standard Form; y'(t) + p(t) y = g(t)

INHOMOGENEOUS LINEAR SYSTEMS OF DIFFERENTIAL EQUATIONS

Lecture Notes in Mathematics. Arkansas Tech University Department of Mathematics

Fundamentals of Linear Algebra. Marcel B. Finan Arkansas Tech University c All Rights Reserved

Math 246, Spring 2011, Professor David Levermore

Today. The geometry of homogeneous and nonhomogeneous matrix equations. Solving nonhomogeneous equations. Method of undetermined coefficients

The Method of Undetermined Coefficients.

Homogeneous Equations with Constant Coefficients

MATH 353 LECTURE NOTES: WEEK 1 FIRST ORDER ODES

Work sheet / Things to know. Chapter 3

Transcription:

HIGHER-ORDER LINEAR ORDINARY DIFFERENTIAL EQUATIONS IV: Variable Coefficient Nonhomogeneous Case David Levermore Department of Mathematics University of Maryland 15 March 2009 Because the presentation of this material in class will differ from that in the book, I felt that notes that closely follow the class presentation might be appreciated 7 Variable Coefficient Nonhomogeneous Case 71 Introduction 2 72 Variation of Parameters: Second Order Case 3 73 Variation of Parameters: Higher Order Case (not covered) 7 74 General Green Functions: Second Order Case 8 75 General Green Functions: Higher Order Case (not covered) 12 1

2 7 Variable Coefficient Nonhomogeneous Case 71: Introduction We now return to study nonhomogeneous linear equations for the general case of with variable coefficients that was begun in Section 41 An n th order nonhomogeneous linear ODE has the normal form where the differential operator L(t) has the normal form L(t)y = f(t), (71) L(t) = dn dt n + a 1(t) dn 1 dt n 1 + + a n 1(t) d dt + a n(t) (72) We will assume throughout this section that the coefficients a 1, a 2,, a n and the forcing f are continuous over an interval (t L, t R ), so that Therorem 11 can be applied Recall the following strategy for constructing general solutions of the nonhomogeneous equation (71) that we developed in Section 41 (1) Find a general solution Y H (t) of the associated homogeneous equation L(t)y = 0 (2) Find a particular solution Y P (t) of equation (71) (3) Then Y H (t) + Y P (t) is a general solution of (71) If you can find a fundamental set Y 1 (t), Y 2 (t),, Y n (t) of solutions to the associated homogeneous equation L(t)y = 0 then a general solution of that equation is given by Y H (t) = c 1 Y 1 (t) + c 2 Y 2 (t) + + c n Y n (t) In the ensuing sections we will explore two methods to construct a particular solution Y P (t) of equation (71) from f(t) and the fundamental set Y 1 (t), Y 2 (t),, Y n (t) One method is called variation of parameters, while the other is called the general Green function method, which is an extension of the Green function method presented in Section 43 for constant coefficient equations to the case of variable coefficient equations We will see that these methods are essentially equivalent What lies behind them is the following Important Fact: If you know a general solution of the associated homogeneous equation L(t)y = 0 then you can always reduce the construction of a general solution of (71) to the problem of finding n primitives Because at this point you only know how to find general solutions of homogeneous equations with constant coefficients, problems you will be given will generally fall into one of two categories Either (1) the operator L(t) will have variable coefficients and you will be given a fundamental set of solutions for the associated homogeneous equation, or (2) the operator L(t) will have constant coefficients (ie L(t) = L) and you will be expected to find a fundamental set of solutions for the associated homogeneous equation In the later case the general Green function method reduces to the method presented in Section 43

72: Variation of Parameters: Second Order Case We begin by deriving the method of variation of parameters for second order equations that are in the normal form L(t)y = d2 y dt + a 1(t) dy 2 dt + a 2(t)y = f(t) (73) Suppose you know that Y 1 (t) and Y 2 (t) are linearly independent solutions of the associated homogeneous equation L(t)y = 0 A general solution of the associated homogeneous equation is therefore given by Y H (t) = c 1 Y 1 (t) + c 2 Y 2 (t) (74) The idea of the method of variation of parameters is to seek solutions of (73) in the form y = u 1 (t)y 1 (t) + u 2 (t)y 2 (t) (75) In other words you simply replace the arbitrary constants c 1 and c 2 in (75) with unknown functions u 1 (t) and u 2 (t) These functions are the varying parameters referred to in the title of the method These two functions will be governed by a system of two equations, one of which is derived by requiring that (73) is satisfied, and the other of which is chosen to simplify the resulting system Let us see how this is done Differentiating (75) yields dy dt = u 1(t)Y 1(t) + u 2 (t)y 2(t) + u 1(t)Y 1 (t) + u 2(t)Y 2 (t) (76) We now choose to impose the condition whereby (76) simplifies to u 1(t)Y 1 (t) + u 2(t)Y 2 (t) = 0, (77) dy dt = u 1(t)Y 1 (t) + u 2(t)Y 2 (t) (78) Differentiating (78) then yields d 2 y dt = u 1(t)Y 2 1 (t) + u 2(t)Y 2 (t) + u 1 (t)y 1 (t) + u 2 (t)y 2 (t) (79) Now substituting (75), (78), and (79) into (73), grouping the terms that multiply u 1 (t), u 1 (t), u 2(t), and u 2 (t), and using the fact that L(t)Y 1(t) = 0 and L(t)Y 2 (t) = 0, we obtain f(t) = L(t)y = d2 y dt 2 + a 1(t) dy dt + a 2(t)y = [ u 1 (t)y 1 (t) + u 2(t)Y 2 (t) + u 1 (t)y 1 (t) + u 2 (t)y 2 (t)] + a 1 (t) [ u 1 (t)y 1 (t) + u 2(t)Y 2 (t)] + a 2 (t) [ u 1 (t)y 1 (t) + u 2 (t)y 2 (t) ] = u 1 (t) [ Y 1 (t) + a 1 (t)y 1(t) + a 2 (t)y 1 (t) ] + u 1(t)Y 1(t) + u 2 (t) [ Y 2 (t) + a 1(t)Y 2 (t) + a 2(t)Y 2 (t) ] + u 2 (t)y 2 (t) = u 1 (t) [ L(t)Y 1 (t) ] + u 1(t)Y 1(t) + u 2 (t) [ L(t)Y 2 (t) ] + u 2(t)Y 2(t) = u 1 (t)y 1 (t) + u 2 (t)y 2 (t) 3 (710)

4 The resulting system that governs u 1 (t) and u 2 (t) is thereby given by (77) and (710): u 1 (t)y 1(t) + u 2 (t)y 2(t) = 0, u 1 (t)y 1 (t) + u 2 (t)y 2 (t) = f(t) (711) This is a linear system of two algebraic equations for u 1(t) and u 2(t) Because one can always solve this system to find ( Y1 (t)y 2(t) Y 2 (t)y 1(t) ) = W[Y 1, Y 2 ](t) 0, u 1 (t) = Y 2(t)f(t) W[Y 1, Y 2 ](t), u 2 (t) = Y 1(t)f(t) W[Y 1, Y 2 ](t), or equivalently u 1 (t) = Y 2 (t)f(t) W[Y 1, Y 2 ](t) dt, u 2(t) = Y 1 (t)f(t) dt (712) W[Y 1, Y 2 ](t) Letting u 1P (t) and u 2P (t) be any primitives of the respective right-hand sides above, one sees that u 1 (t) = c 1 + u 1P (t), u 2 (t) = c 2 + u 2P (t), whereby (75) yields the general solution y = c 1 Y 1 (t) + u 1P (t)y 1 (t) + c 2 Y 2 (t) + u 2P (t)y 2 (t) Notice that this decomposes as y = Y H (t) + Y P (t) where Y H (t) = c 1 Y 1 (t) + c 2 Y 2 (t), Y P (t) = u 1P (t)y 1 (t) + u 2P (t)y 2 (t) (713) There are two approaches to applying variation of parameters One mentioned in the book is to memorize the formulas (712) I am not a fan of this approach for a couple of reasons First, students often confuse which of the two formulas gets the minus sign Second, and more importantly, these formulas do not cleanly generalize to the higher order case The other approach is to construct the linear system (711), which can then be rather easily solved for u 1 (t) and u 2 (t) The work it takes to solve this system is about the same work as it takes to generate the integrands in (712) The linear system (711) is symmetric in u 1 (t) and u 2 (t), so is less subject to sign errors Moreover, it also has a clean generalization to the higher order case Whichever approach you take, you will be led to the same two integrals Given Y 1 (t) and Y 2 (t), a fundamental set of solutions to the associated homogeneous equation, you proceed as follows

5 1) Write the form of the solution you seek: y = u 1 (t)y 1 (t) + u 2 (t)y 2 (t) 2) Write the linear algebraic system for u 1 (t) and u 2 (t): u 1 (t)y 1(t) + u 2 (t)y 2(t) = 0, u 1(t)Y 1(t) + u 2(t)Y 2(t) = f(t) The form of the left-hand sides of this system mimics the form of the solution you seek The first equation simply replaces u 1 (t) and u 2 (t) with u 1 (t) and u 2 (t), while the second also replaces Y 1 (t) and Y 2 (t) with Y 1(t) and Y 2(t) The f(t) on the right-hand side will be correct only if you have written the equation L(t)y = f(t) in normal form! 3) Solve the linear algebraic system to find explicit expressions for u 1(t) and u 2(t) This is always very easy to do, especially if you start with the first equation 4) Find primitives u 1P (t) and u 2P (t) of these expressions If you cannot find a primitive analytically then express that primitive in terms of a definite integral One then has u 1 (t) = c 1 + u 1P (t), u 2 (t) = c 2 + u 2P (t), where c 1 and c 2 are the arbitrary constants of integration 5) Upon placing this result into the form of the solution that you wrote down in step 1, you will obtain the general solution y = Y H (t) + Y P (t), where Y H (t) = c 1 Y 1 (t) + c 2 Y 2 (t), Y P (t) = u 1P (t)y 1 (t) + u 2P (t)y 2 (t) For initial-value problems you must determine c 1 and c 2 from the initial conditions Example: Find a general solution of d 2 y dt 2 + y = sec(t) Before presenting the solution, notice that while this equation has constant coefficients, the forcing is not of the form that would allow you to use the method of undetermined coefficients You should be able to recognize this right away While you can use the Green function method to solve this problem, here we will solve it using variation of parameters Solution: Because this problem has constant coefficients, it is easily found that Hence, we will seek a solution of the form Y H (t) = c 1 cos(t) + c 2 sin(t) y = u 1 (t) cos(t) + u 2 (t) sin(t),

6 where u 1 (t) cos(t) + u 2 (t) sin(t) = 0, u 1(t) sin(t) + u 2(t) cos(t) = sec(t) Solving this system by any means you choose yields u sin(t) 1 (t) = cos(t), u 2 (t) = 1 These can be integrated analytically to obtain Therefore a general solution is u 1 (t) = c 1 + log( cos(t) ), u 2 (t) = c 2 + t y = c 1 cos(t) + c 2 sin(t) + log( cos(t) ) cos(t) + t sin(t) Remark: The primitives u 1 (t) and u 2 (t) that we had to find above are the same ones needed to evaluate the integrals that arise when you solve this problem with the Green function method This will always be the case Example: Given that t and t 2 1 are a fundamental set of solutions of the associated homogeneous equation, find a general solution of (1 + t 2 ) d2 y dt 2 2tdy dt + 2y = (1 + t2 ) 2 e t Before presenting the solution, you should be able to recognize that this equation has nonconstant coefficients, and thereby see that you must use either variation of parameters or a general Green function to solve this problem You should also notice that this equation is not in normal form, so you should bring it into the normal form d 2 y dt 2 2t 1 + t 2 dy dt + 2 1 + t 2 y = (1 + t2 )e t Solution: Because t and t 2 1 are a fundamental set of solutions of the associated homogeneous equation, we have Hence, we will seek a solution of the form Y H (t) = c 1 t + c 2 (t 2 1) y = u 1 (t)t + u 2 (t)(t 2 1),

7 where u 1 (t)t + u 2 (t)(t2 1) = 0, u 1(t)1 + u 2(t)2t = (1 + t 2 )e t Solving this system by any means you choose yields u 1(t) = (t 2 1)e t, u 2(t) = te t These can be integrated analytically by parts to obtain u 1 (t) = c 1 (t 1) 2 e t, u 2 (t) = c 2 + (t 1)e t Therefore a general solution is y = c 1 t + c 2 (t 2 1) (t 1) 2 e t t + (t 1)e t (t 2 1) = c 1 t + c 2 (t 2 1) + (t 1) 2 e t 73: Variation of Parameters: Higher Order Case The method of variation of parameters extends to higher order linear equations in the normal form L(t)y = dn y dt n + a 1(t) dn 1 y dt n 1 + + a n 1(t) dy dt + a n(t)y = f(t) (714) While this material was not covered in class and you will not be tested on it, a summary is given here for the sake of completeness Suppose you know that Y 1 (t), Y 2 (t),, Y n (t) are linearly independent solutions of the associated homogeneous equation L(t)y = 0 A general solution of the associated homogeneous equation is therefore given by Y H (t) = c 1 Y 1 (t) + c 2 Y 2 (t) + + c n Y n (t) The idea of the method of variation of parameters is to seek solutions of (714) in the form y = u 1 (t)y 1 (t) + u 2 (t)y 2 (t) + + u n (t)y n (t), (715) where u 1 (t), u 2 (t),, u n (t) satisfy the linear algebraic system u 1 (t)y 1(t) + u 2 (t)y 2(t) + + u n (t)y n(t) = 0, u 1 (t)y 1 (t) + u 2 (t)y 2 (t) + + u n (t)y n (t) = 0, u (n 2) 1 (t)y 1 (t) + u (n 2) 2 (t)y 2 (t) + + u (n 2) n (t)y n (t) = 0, u (n 1) 1 (t)y 1 (t) + u (n 1) 2 (t)y 2 (t) + + u (n 1) n (t)y n (t) = f(t) (716)

8 Because Y 1 (t) Y 2 (t) Y n (t) Y det 1(t) Y 2(t) Y n(t) = W[Y 1, Y 2,, Y n ](t) 0, Y (n 1) 1 (t) Y (n 1) 2 (t) Y n (n 1) (t) the linear algebraic system (716) may be solved (by any method you choose) to find explicit expressions for u 1 (t), u 2 (t),, u n (t) For example, when n = 3 you find u 1 (t) = W[Y 2, Y 3 ](t)f(t) W[Y 1, Y 2, Y 3 ](t), u 2 (t) = W[Y 3, Y 1 ](t)f(t) W[Y 1, Y 2, Y 3 ](t), u 3 (t) = W[Y 1, Y 2 ](t)f(t) W[Y 1, Y 2, Y 3 ](t) Find primitives u 1P (t), u 2P (t),, u np (t) of these expressions If you cannot find a primitive analytically then express that primitive in terms of a definite integral One then has u 1 (t) = c 1 + u 1P (t), u 2 (t) = c 2 + u 2P (t), u n (t) = c n + u np (t), where c 1, c 2,, c n are the arbitrary constants of integration The general solution given by (715) is therefore y = Y H (t) + Y P (t), where Y H (t) = c 1 Y 1 (t) + c 2 Y 2 (t) + + c n Y n (t), Y P (t) = u 1P (t)y 1 (t) + u 2P (t)y 2 (t) + + u np (t)y n (t) For initial-value problems you must determine c 1, c 2,, c n from the initial conditions 74: General Green Functions: Second Order Case We now derive a Green function for second order equations that are in the normal form L(t)y = d2 y dt 2 + a 1(t) dy dt + a 2(t)y = f(t) (717) Suppose you know that Y 1 (t) and Y 2 (t) are linearly independent solutions of the associated homogeneous equation L(t)y = 0 The starting point of our derivation will be the particular solution Y P (t) given in (713) namely, Y P (t) = u 1P (t)y 1 (t) + u 2P (t)y 2 (t), where u 1P (t) and u 2P (t) are primitives that satisfy u 1P (t) = Y 2(s)f(s) W[Y 1, Y 2 ](s), u 2P (t) = Y 1(s)f(s) W[Y 1, Y 2 ](s) If we express u 1P (t) and u 2P (t) as the definite integrals u 1P (t) = Y 2 (s)f(s) t W[Y 1, Y 2 ](s) ds, u 2P(t) = Y 1 (s)f(s) ds, (718) W[Y 1, Y 2 ](s)

where is any initial time inside the interval (t L, t R ), then the particular solution Y P (t) can be expressed as where G(t, s) is given by Y P (t) = G(t, s) = Y 1(s)Y 2 (t) Y 1 (t)y 2 (s) W[Y 1, Y 2 ](s) G(t, s)f(s) ds, (719) = ( ) Y1 (s) Y det 2 (s) Y 1 (t) Y 2 (t) ( ) (720) Y1 (s) Y det 2 (s) Y 1 (s) Y 2 (s) The method thereby reduces the problem of finding a particular solution Y P (t) for any forcing f(t) to that of evaluating the integral in (719), which by formula (720) is equivalent to evaluating the two definite integrals in (718) Of course, evaluating these integrals explicitly can be quite difficult or impossible You may have to leave your answer in terms of one or both of these definite integrals Formulas (719) and (720) have natural generalizations to higher order equations with variable coefficients We will see that (719) is an extension of the Green function formula (412) from Section 43 to second order equations with variable coefficients As with that formula, (719) generates the unique particular solution Y P (t) of (717) that satifies the initial conditions Y P ( ) = 0, Y P () = 0 (721) We therefore call G(t, s) the Green function for the operator L(t) Before justifying the foregoing claims, let us illustrate how to construct and use this Green function Example: Given that t and t 2 1 are a fundamental set of solutions of the associated homogeneous equation, find a particular solution of (1 + t 2 ) d2 y dt 2 2tdy dt + 2y = (1 + t2 ) 2 e t Solution: You should first bring this equation into its normal form d 2 y dt 2 2t 1 + t 2 dy dt + 2 1 + t 2 y = (1 + t2 )e t Because t and t 2 1 are a fundamental set of solutions of the associated homogeneous equation, the Green function G(t, s) is given by (720) as ( ) s s det 2 1 t t 2 1 G(t, s) = ( ) s s det 2 = (t2 1)s t(s 2 1) = (t2 1)s t(s 2 1) 1 2s 2 (s 2 1) s 2 + 1 1 2s 9

10 Then formula (719) with = 1 and f(s) = (1 + s 2 )e s yields Y P (t) = (t 2 1) 1 se s ds t 1 (s 2 1)e s ds Notice that the same two integrals that arose when we treated this equation by variation of parameters on page 7 As was done there, a little integration-by-parts shows that 1 se s ds = (t 1)e t, The particular solution is therefore 1 (s 2 1)e s ds = (t 1) 2 e t Y P (t) = (t 2 1)(t 1)e t t(t 1) 2 e t = (t 1) 2 e t It is clear that this solution satisfies Y P (1) = Y P (1) = 0 Had we chosen a different value for the initial time we would have obtained a different particular solution Y P (t) Next we show that formula (719) generates the unique particular solution Y P (t) of (717) that satifies the initial conditions (721) It is clear from (719) that Y P ( ) = 0 To show that Y P () = 0 we will use the fact from multivariable calculus that for any continuously differentiable K(t, s) one has d dt K(t, s) ds = K(t, t) + t K(t, s) ds We see from (720) that G(t, t) = 0 Upon differentiating (719) with respect to t and using the above calculus fact, we see that Y P(t) = G(t, t)f(t) + t G(t, s)f(s) ds = t G(t, s)f(s) ds It follows that Y P () = 0, thereby showing that Y P (t) satifies the initial conditions (721) The Green function G(t, s) is defined by (720) whenever t and s are both in the interval (t L, t R ) overwhich Y 1 and Y 2 exist At first it might seem that G(t, s) must depend upon the fundamental set of solutions that is used to construct it We now show that this is not the case Let us fix s and consider G(t, s) as a function of t It is clear from (720) that G(t, s) is a linear combination of Y 1 (t) and Y 2 (t) Because Y 1 (t) and Y 2 (t) are solutions of the associated homogeneous equation L(t)y = 0, it follows that G(t, s) is too namely, that L(t)G(t, s) = 0 It is also clear from (720) that G(t, s) = 0 By differentiating (720) with respect to t we obtain ( ) Y1 (s) Y t G(t, s) = Y 1(s)Y 2(t) Y 1(t)Y det 2 (s) 2 (s) Y 1 = (t) Y 2 ( (t) ) (722) W[Y 1, Y 2 ](s) Y1 (s) Y det 2 (s) Y 1 (s) Y 2 (s)

It is clear from this that t G(t, s) = 1 Collecting these facts we see for every s that G(t, s) as a function of t satisfies the initial-value problem L(t)G(t, s) = 0, G(t, s) = 0, t G(t, s) = 1 (723) This is really a family of initial-value problems one for each s in which s plays the role of the initial time The uniqueness theorem implies that G(t, s) is uniquely determined by this family of initial-value problems Thus, G(t, s) depends only upon the operator L(t) In particular, it does not depend upon which fundamental set of solutions, Y 1 and Y 2, was used to construct it When L(t) has constant coefficients then it is easy to check that the family of initialvalue problems (723) is satisfied by G(t, s) = g(t s), where g(t) is the Green function that was defined by the initial-value problem (413) in Section 43 Formula (719) thereby extends the Green function formula (412) from Section 43 to second order equations with variable coefficients When L(t) has constant coefficients the fastest way to compute the Green function is to solve the single initial-value problem (413) from Section 43 When L(t) has variable coefficients you first have to find a fundamental set of solutions, Y 1 (t) and Y 2 (t), to the associated homogeneous equation You can then construct the Green function either by formula (720) or by solving the family of initial-value problems (723) The later approach goes as follows Because L(t)G(t, s) = 0 for every s we know that there exist C 1 (s) and C 2 (s) such that G(t, s) = Y 1 (t)c 1 (s) + Y 2 (t)c 2 (s) (724) The initial conditions of (723) then imply that 0 = G(t, s) = Y 1 (s)c 1 (s) + Y 2 (s)c 2 (s), 1 = t G(t, s) = Y 1(s)C 1 (s) + Y 2(s)C 2 (s) The solution of this linear algebraic system is Y 2 (s) C 1 (s) = Y 1 (s)y 2 (s) Y 1 (s)y 2(s), C 2(s) = which when plugged into (724) yields (720) Y 1 (s) Y 1 (s)y 2 (s) Y 1 (s)y 2(s), Example: Given that t and t 2 1 are a fundamental set of solutions of the associated homogeneous equation, find a particular solution of (1 + t 2 ) d2 y dt 2 2tdy dt + 2y = (1 + t2 ) 2 e t Solution: You should first bring this equation into its normal form L(t)y = d2 y dt 2 2t 1 + t 2 dy dt + 2 1 + t 2 y = (1 + t2 )e t 11

12 Because t and t 2 1 are a fundamental set of solutions of the associated homogeneous equation, by (724) the Green function has the form where the initial conditions of (723) imply These may be solved to obtain whereby G(t, s) = t C 1 (s) + (t 2 1) C 2 (s), 0 = G(t, s) = s C 1 (s) + (s 2 1) C 2 (s), 1 = t G(t, s) = 1 C 1 (s) + 2s C 2 (s) C 1 (s) = s2 1 s 2 + 1, C 2(s) = s s 2 + 1, G(t, s) = t s2 1 s 2 + 1 + s (t2 1) s 2 + 1 = (t2 1)s t(s 2 1) s 2 + 1 You then compute y P (t) by formula (719) as before 75: General Green Functions: Higher Order Case This method can be used to construct a particular solution of an n th order nonhomogeneous linear ODE in the normal form (71) Specifically, a particular solution of (71) is given by Y P (t) = where is an initial time and G(t, s) is given by G(t, s)f(s) ds, (725) Y 1 (s) Y 2 (s) Y n (s) Y 1 1 G(t, s) = W[Y 1, Y 2,, Y n ](s) det (s) Y 2 (s) Y n (s) Y (n 2) 1 (s) Y (n 2) 2 (s) Y n (n 2) (s) Y 1 (t) Y 2 (t) Y n (t) The function G is called the Green function associated with the operator L(t) It can also be determined as the solution of the family of initial-value problems L(t)G(t, s) = 0, G(t, s) = = n 2 t G(t, s) = 0, n 1 t G(t, s) = 1 The method thereby reduces the problem of finding a particular solution Y P (t) for any forcing f(t) to that of evaluating the integral in (725) However, evaluating this integral explicitly can be quite difficult or impossible At worst, you can leave your answer in terms of definite integrals