You asked "Why do we need a rectangle for the second theorem?" The short answer is: "because nonlinear equations are not as nice as linear equations." But let me turn the question around: Why doesn't the first theorem require a rectangle?
If we start with the equation y' + p(t)*y = g(t), we rearrange things to get y' = g(t)p(t)*y. We can apply the second theorem to this equation with f(t,y) = g(t)p(t)*y.
If p and g are continuous on the interval (a,b), then f is continuous on the rectangle (a,b)x(infty,+infty).
The partial derivative of f with respect to y is df/dy=p(t). Since p is continuous on the interval (a,b), when we think of df/dy as a function of t and y, it is continuous on the rectangle (a,b)x(infty,+infty).
So for linear equations, we can always choose a rectangle that is infinitely tall. There is one other issue, though. The theorem for linear equations says the domain of the solution is all of (a,b). An implication of this is that the solution cannot have a vertical asymptote before t=b. Why is this?
Well, a complete explanation is beyond the scope of this course, but it is basically because the growth of the slope y' only depends linearly on y, it can't grow quickly enough to get to +infty unless p(t) or g(t) has a discontinuity.
Here's a related problem: Consider the differential equation y'=y^p, where p is a constant greater than zero. This is a separable equation, and if you solve it, you will find that if p<=1, then the the solution is defined for all values of t, but if p>1, then the solutions have a vertical asymptote.
Being a weblog devoted to a variety of topics. Including Mathematics. And Mathematical Finance. Sometimes with homework.
Monday, September 10, 2012
21260: Existence and Uniqueness
I recently received an email asking for some clarification about today's lecture. I thought many of you might get something from my reply, so I'm posting it here:
Subscribe to:
Post Comments (Atom)
Labels
 21120
 21122
 21241
 21260
 21270
 21370
 academic development
 administration
 amazon
 architecture
 art
 assignments
 biking
 boardgames
 books
 calculators
 carnegie mellon
 cartoons
 computers
 encryption
 engines of our ingenuity
 enigma machine
 exams
 finance
 food
 games
 geometry
 history
 holidays
 ipod
 lectures
 mad river glen
 math club
 mathematical constants
 movies
 music
 office hours
 pi
 recitations
 resources
 review
 ridiculous
 science
 skiing
 sports
 spring break
 square dancing
 study break
 technology
 TTKIM
 urban decay
 winter
 youtube
 zero tolerance
Blog Archive

▼
2012
(54)

▼
September
(15)
 21260: Week #6
 21260: Week #5
 21260: Study Break
 21260: Exam Strategy
 Chris Potter's office hours
 21260: Exam Odds and Ends
 21260: Week #3 Homework Solutions
 21260: Week #4 WileyPLUS Assignment
 21260: Correction to HW#4
 21260: Week #4
 21260: Homework Solutions
 21260: Existence and Uniqueness
 21260: Week #3
 21260: Office Hours
 21260: Week #2

▼
September
(15)
No comments:
Post a Comment