21.04.2015 Views

Lecture Notes in Differential Equations - Bruce E. Shapiro

Lecture Notes in Differential Equations - Bruce E. Shapiro

Lecture Notes in Differential Equations - Bruce E. Shapiro

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

6 LESSON 1. BASIC CONCEPTS<br />

Example 1.7. The solution of the IVP given by example 1.6 is given by<br />

equation 1.12, which you should verify. In fact, this solution is unique,<br />

<strong>in</strong> the sense that it is the only function that satisfies both the differential<br />

equation and the <strong>in</strong>itial value problem.<br />

Example 1.8. Solve the <strong>in</strong>itial value problem dy/dt = t/y , y(1) = 2.<br />

We can rewrite the differential equation as<br />

ydy = tdt (1.30)<br />

and then <strong>in</strong>tegrate,<br />

∫ ∫<br />

ydy = tdt (1.31)<br />

1<br />

2 y2 = 1 y t2 + C (1.32)<br />

When we substitute the <strong>in</strong>itial condition (that y = 2 when t = 1) <strong>in</strong>to the<br />

general solution, we obta<strong>in</strong><br />

Hence C = 3/2.<br />

through by 2,<br />

Tak<strong>in</strong>g square roots,<br />

1<br />

2 (2)2 = 1 2 (1)2 + C (1.33)<br />

Substitut<strong>in</strong>g back <strong>in</strong>to equation 1.32 and multiply<strong>in</strong>g<br />

y 2 = t 2 + 3 (1.34)<br />

y = √ t 2 + 3 (1.35)<br />

which we call the solution of the <strong>in</strong>itial value problem. The negative square<br />

root is excluded because of the <strong>in</strong>itial condition which forces y(1) = 2.<br />

Not all <strong>in</strong>itial value problems have solutions. However, there are a large<br />

class of IVPs that do have solution. In particular, those equations for<br />

which the right hand side is differentiable with respect to y and the partial<br />

derivative is bounded. This is because of the follow<strong>in</strong>g theorem which we<br />

will accept without proof for now.<br />

Theorem 1.5 (Fundamental Existence and Uniqueness Theorem).<br />

Let f(t, y) be bounded, cont<strong>in</strong>uous and differentiable on some neighborhood<br />

R of (t 0 , y 0 ), and suppose that ∂f/∂y is bounded on R. Then the <strong>in</strong>itial<br />

value problem 1.29 has a unique solution on some open neighborhood of<br />

(t 0 , y 0 ).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!