Laplace Transform of Higher Order Derivatives

Theorem
Let $f: \R \to \R$ or $\R \to \C$ be a continuous function on any interval of the form $0 \le t \le a$.

Let $f$ be $n$ times differentiable on said intervals.

Let $f, f', \ldots, f^{\paren {n - 1} }$ be continuous and $f^{\paren n}$ piecewise continuous with one-sided limits on said intervals.

Let $f, f', \ldots, f^{\paren {n - 1} }$ be of exponential order.

Let $\laptrans f = F$ denote the Laplace transform of $f$.

Then $\laptrans {f^{\paren n} }$ exists for $\map \Re s > a$, and:

Proof
The proof proceeds by induction on $n$, the order of the derivative of $f$.

Basis for the Induction
By hypothesis $f$ is of exponential order.

Thus Laplace Transform of Derivative can be invoked:


 * $\laptrans {\map {f'} t} = s \laptrans {\map f t} - \map f 0$

This is the basis for the induction.

Induction Hypothesis
Fix $n - 1 \in \N$ with $n \ge 2$.

Assume:


 * $\displaystyle \laptrans {\map {f^{\paren {n - 1} } } t} = s^{n - 1} \laptrans {\map f t}- \sum_{j \mathop = 1}^{n - 1} s^{j - 1} \map {f^{\paren {n - 1 - j} } } 0$

This is our induction hypothesis.

Induction Step
This is our induction step:

By hypothesis $f^\paren {n - 1}$ is of exponential order.

Thus Laplace Transform of Derivative can be invoked:

The result follows by the Principle of Mathematical Induction.

Also see

 * Higher Order Derivatives of Laplace Transform