Series Solutions to Linear SO-ODE

Slides:



Advertisements
Similar presentations
Differential Equations Brannan Copyright © 2010 by John Wiley & Sons, Inc. All rights reserved. Chapter 08: Series Solutions of Second Order Linear Equations.
Advertisements

Chapter 10 Infinite Series by: Anna Levina edited: Rhett Chien.
Ch 5.7: Series Solutions Near a Regular Singular Point, Part II
Ch 5.4: Regular Singular Points
Ch 5.2: Series Solutions Near an Ordinary Point, Part I
Ch 5.6: Series Solutions Near a Regular Singular Point, Part I
Ch 5.1: Review of Power Series
Ch 5.5: Series Solutions Near a Regular Singular Point, Part I We now consider solving the general second order linear equation in the neighborhood of.
Ch 5.1: Review of Power Series Finding the general solution of a linear differential equation depends on determining a fundamental set of solutions of.
Ch 5.3: Series Solutions Near an Ordinary Point, Part II
Ch 5.4: Euler Equations; Regular Singular Points
8.5 Series Solutions Near a Regular Singular Point, Part I
Chapter 1 Equations, Inequalities, and Mathematical Models 1.4 Complex Numbers.
501 PHYS ِProf. Awatif Ahmad Hindi ُEnter.
Ch5-Sec(5.4): Euler Equations; Regular Singular Points Recall that the point x 0 is an ordinary point of the equation if p(x) = Q(x)/P(x) and q(x)= R(x)/P(x)
Ch 5.3: Series Solutions Near an Ordinary Point, Part II A function p is analytic at x 0 if it has a Taylor series expansion that converges to p in some.
Chapter 4 Power Series Solutions 4.1 Introduction
Chapter 1 Equations, Inequalities, and Mathematical Models
Solution of Differential Equations
Boyce/DiPrima 9 th ed, Ch 5.1: Review of Power Series Elementary Differential Equations and Boundary Value Problems, 9 th edition, by William E. Boyce.
Series Solutions of Linear Differential Equations CHAPTER 5.
Section 3.1 Introduction & Review of Power Series.
Table of Contents Rational Functions and Domains where P(x) and Q(x) are polynomials, Q(x) ≠ 0. A rational expression is given by.
Rational Functions and Domains where P(x) and Q(x) are polynomials, Q(x) ≠ 0. A rational expression is given by.
Advanced Engineering Mathematics, 7 th Edition Peter V. O’Neil © 2012 Cengage Learning Engineering. All Rights Reserved. CHAPTER 4 Series Solutions.
Series Solutions of SOLDEs with Regular Singular Points ECE 6382 Notes are from D. R. Wilton, Dept. of ECE David R. Jackson 1.
Boyce/DiPrima 9 th ed, Ch 5.3: Series Solutions Near an Ordinary Point, Part II Elementary Differential Equations and Boundary Value Problems, 9 th edition,
Advanced Engineering Mathematics, 10/e by Edwin Kreyszig Copyright 2011 by John Wiley & Sons. All rights reserved. PART A Ordinary Differential Equations.
Warm–up Problems Find two power series solutions of the DE y + xy + y = 0 about the ordinary point x = 0.
Math for CS Fourier Transform
Subject : Advance engineering mathematics Topic : Fourier series & Fourier integral.
Second Order Linear Differential Equations
Copyright © Cengage Learning. All rights reserved.
Transfer Functions Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: The following terminology.
CHAPTER 3 NUMERICAL METHODS
Linear homogeneous ODEn with constant coefficients
Transfer Functions Chapter 4
Ordinary Differential Equations
Mathematical Modeling of Control Systems
Ch 1.1: Basic Mathematical Models; Direction Fields
Chapter 12: Infinite Series
Complex Frequency and Laplace Transform
Shantilal Shah Engineering College
Complex Variables. Complex Variables Open Disks or Neighborhoods Definition. The set of all points z which satisfy the inequality |z – z0|
Chapter 5 Series Solutions of Linear Differential Equations.
8.5 Series Solutions Near a Regular Singular Point, Part I
CHAPTER 19 Series and Residues.
Class Notes 11: Power Series (3/3) Series Solution Singular Point
Sec 6.2: Solutions About Singular Points
Class Notes 9: Power Series (1/3)
Chapter 27.
Ch 5.2: Series Solutions Near an Ordinary Point, Part I
Sequences and Series in the Complex Plane
182A – Engineering Mathematics
Ch 4.2: Homogeneous Equations with Constant Coefficients
Copyright © Cengage Learning. All rights reserved.
5.1 Power Series Method Section 5.1 p1.
Characteristics of Sturm-Liouville Problems
Taylor Series Brook Taylor Presented By: Sumrana yasmeen
Copyright © Cengage Learning. All rights reserved.
Ch 5.4: Euler Equations; Regular Singular Points
Study of Denominated Linear SO-ODEs
Second Order Linear ODEs
INFINITE SEQUENCES AND SERIES
Second Order-Partial Differential Equations
Warm–up Problems Find the interval of convergence and radius of convergence for If , write y – 4y as a single power series.
Legendre Polynomials Pn(x)
Boyce/DiPrima 9th ed, Ch 5.3: Series Solutions Near an Ordinary Point, Part II Elementary Differential Equations and Boundary Value Problems, 9th edition,
Power Series Solutions of Linear DEs
Presentation transcript:

Series Solutions to Linear SO-ODE P M V Subbarao Professor Mechanical Engineering Department I I T Delhi Functions far more general than the elementary functions from calculus

Special Forms of Solvable Linear SO-ODEs By the middle of the eighteen century people realized that the methods to solve linear SO-ODEs reached a dead end. One reason was the lack of functions to write the solutions of differential equations. People even started to think of differential equations as sources to find new functions. Fourier’s solution to heat equation ignited the minds of Mathematicians of 19th Century. 19th century mathematicians started to use power series expansions to find solutions of many new differential equations. Convergent power series define functions far more general than the elementary functions from calculus.

History of Infinite Series Zeno's paradox :The Greek philosopher Zeno considered the problem of summing an infinite series to achieve a finite result, but rejected it as an impossibility. Later, Aristotle proposed a philosophical resolution of the paradox, but the mathematical content was unresolved. Archimedes's method of exhaustion provided an infinite number of progressive subdivisions could be performed to achieve a finite result. In the 14th century, Madhava of Sangamagrama found a number of special cases of the Taylor series.

Formalization of Series Form of Functions The Kerala School of Astronomy and Mathematics further expanded his works with various series expansions and rational approximations until the 16th century. In 1715, a general method for constructing these series for all functions for which they exist was finally provided by Brook Taylor, after whom the series are now named. Taylor's Expansion: Taylor’s Theorem. If f is a function continuous and n times differentiable in an interval [x0, x0 + h], then there exists some point in this interval, denoted by x0 + λh for some λ ∈ [0, 1], such that: f is a so-called analytic function

An Infinite-Order Taylor Series If f is a so-called analytic function of which the derivatives of all orders exist, then one may consider increasing the value of n indefinitely. Thus, if the condition holds that which is to say that the terms of the series converge to zero as their order increases. Then an infinite-order Taylor-series expansion is available in the form of

The Connecting Hypothesis The form of a solution to a linear SO-ODE can be an infinite series, if the function & variable Coefficients of ODE are analytic at the point of interest.

Definition : Analytic Function A function y is analytic on an interval (x0 - h, x0+ h) iff it can be written as the power series expansion below. Above series is convergent for

Definition : Convergence of A Power Series The power series converges in absolute value iff the series Remark: If a series converges in absolute value, it converges. The converse is not true.

Singular Point & Ordinary Point Consider the differential equation where a, b, and c are polynomials, or equivalently, A point x =  is called a singular point of above ODE, if Any point x= is called as an ordinary point of ODE, at which the functions p(x) and q(x) are continuous.

Regular Singular Point A singular point x =  is called a regular singular point of the above equation if it can be written as where a(x), b(x) and c(x) are polynomials with a()  0. A singular point that is not a regular singular point is called a irregular singular point.

The Method of Frobenius Consider a Linear SO-ODE of the form where a(x), b(x) and c(x) are polynomials with a()  0. Also .x =  is a regular singular point. An approximate SO-DE can be obtained if the coefficients a(x), b(x), and c(x) are evaluated at x. This is similar to Eulers Equidimensional DE!!!

Standard form of Approximate EEDE A valid Ansaz for x> is (x-)r. Substitution Ansaz generates an Indicial Equation Above solution is not a valid for the original ODE.

A New form of Solution The function yapprox(x) will not in general be a solution to the ODE, but it is expected that yapprox(x) will be close to being a solution. Accordingly, the solution to the ODE is in the form It is called a Frobenius series invented in ~1890 by the mathematician Ferdinand Georg Frobenius. Theorem . The method of Frobenius series yields at least one solution to as a product of (x-)r and a power series.

Theorem for Real Roots -1 If r1 & r2 are two independent roots of the indicial equation and r1-r2 is not zero or a positive integer, then there are two linearly independent solutions y1 and y2 of Linear SO-ODE are of the form Where series functions are analytic at x =  with radius of convergence R and 00 and 00.

Theorem for Equal Roots - 2 If r1 & r2 are two independent roots of the indicial equation r1 = r2, then there are two linearly independent solutions y1 and y2 of of Linear SO-ODE are of the form Where series functions are analytic at x =  with radius of convergence R and 00.

Theorem for Real Roots -3 If r1 & r2 are two independent roots of the indicial equation and r1-r2 is a positive integer, then there are two linearly independent solutions y1 and y2 of Linear SO-ODE are of the form Where series functions are analytic at x =  with radius of convergence R and 00 and 00. It may happen that c = 0.

Theorem for Imaginary Roots -4 If r1 & r2 are two independent imaginary roots of the indicial equation, then generate new real roots same as before. The two linearly independent solutions y1 and y2 of Linear SO-ODE are of the form Where series functions are analytic at x =  with radius of convergence R and 00 and 00. It may happen that c = 0.

Modern Description of Method of Frobenius For simplicity, we consider a second order linear ODE with a regular singular point at x0 = 0. Suppose that at least one of p(x) or q(x) is not analytic at x = 0, but that both of xp(x) and x2q(x) are. If then there is a solution to (x > 0) of the form where r is a root of the indicial equation

Summary of Frobenius Method Look for a solution y of the form Introduce this power series expansion into the differential equation. Find the indicial equation for the exponent r. Find the larger solution (root) of the indicial equation. Find a recurrence relation for the coefficients k. Introduce the larger root r into the recurrence relation for the coefficients k. Only then, solve this latter recurrence relation for the coefficients k. Using this procedure we will find the solution ygen.

Examples Find a solution of in terms of the Frobenius series. x = 0 is a regular singular point