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.

333<br />

Figure 32.1: A piecewise cont<strong>in</strong>uous function. This function is piecewise<br />

cont<strong>in</strong>uous <strong>in</strong> three <strong>in</strong>tervals [−1, 1/2], [1/2, 3/2], [3/2, 2] and the function<br />

approaches a f<strong>in</strong>ite limit at the endpo<strong>in</strong>t of each <strong>in</strong>terval as the endpo<strong>in</strong>t is<br />

approached from with<strong>in</strong> that <strong>in</strong>terval.<br />

2<br />

3<br />

2<br />

1<br />

1<br />

2<br />

1<br />

1<br />

2<br />

1<br />

2<br />

1<br />

2<br />

1<br />

3<br />

2<br />

2<br />

1<br />

Theorem 32.5 (Integrability). If f(t) is piecewise cont<strong>in</strong>uous on (a, b)<br />

and f(t) approaches a f<strong>in</strong>ite limit at the endpo<strong>in</strong>t of each <strong>in</strong>terval as it is<br />

approached from with<strong>in</strong> the <strong>in</strong>terval then ∫ b<br />

f(t)dt exists, i.e., the function<br />

a<br />

is <strong>in</strong>tegrable on (a,b).<br />

Theorem 32.6 (Existence of Laplace Transform). Let f(t) be def<strong>in</strong>ed for<br />

all t ≥ 0 and suppose that f(t) satisfies the follow<strong>in</strong>g conditions:<br />

1. For any positive constant A, f(t) is piecewise cont<strong>in</strong>uous on [0, A].<br />

2. f(t) is Exponentially Bounded.<br />

Then the Laplace Transform of f(t) exists for all s > a.<br />

Proof. Under the stated conditions, f is piecewise cont<strong>in</strong>uous, hence <strong>in</strong>tegrable;<br />

and |f(t)| ≤ Ke at for some K, a, M for all t ≥ M. Thus<br />

L[F (t)] =<br />

=<br />

∫ ∞<br />

0<br />

∫ M<br />

0<br />

e −st f(t)dt (32.12)<br />

e −st f(t)dt +<br />

∫ ∞<br />

M<br />

e −st f(t)dt (32.13)<br />

S<strong>in</strong>ce f is piecewise cont<strong>in</strong>uous, so is e −st f(t), and s<strong>in</strong>ce the def<strong>in</strong>ite <strong>in</strong>tegral<br />

of any piecewise cont<strong>in</strong>uous function over a f<strong>in</strong>ite doma<strong>in</strong> exists (it is the<br />

area under the curves) the first <strong>in</strong>tegral exists.

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

Saved successfully!

Ooh no, something went wrong!