Laplace Transform of Higher Order Derivatives

From ProofWiki
Jump to navigation Jump to search

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:

\(\ds \laptrans {\map {f^{\paren n} } t}\) \(=\) \(\ds s^n \laptrans {\map f t} - \sum_{j \mathop = 1}^n s^{j - 1} \map {f^{\paren {n - j} } } 0\)
\(\ds \) \(=\) \(\ds s^n \map F s - s^{n - 1} \, \map f 0 - s^{n - 2} \, \map {f'} 0 - s^{n - 3} \, \map {f} 0 - \ldots - s \, \map {f^{\paren {n - 2} } } 0 - \map {f^{\paren {n - 1} } } 0\)


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:

$\ds \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:

\(\ds \laptrans {\map {f^{\paren n} } t}\) \(=\) \(\ds s \laptrans {\map {f^{\paren {n - 1} } } t} - \map f 0\) Laplace Transform of Derivative
\(\ds \) \(=\) \(\ds s \paren {s^{n - 1} \laptrans {\map f t} - \sum_{j \mathop = 1}^{n - 1} s^{j - 1} \map {f^{\paren {n - 1 - j} } } 0} - \map f 0\) Induction Hypothesis
\(\ds \) \(=\) \(\ds s^n \laptrans {\map f t} - \sum_{j \mathop = 1}^{n - 1} s^{j - 1 + 1} \map {f^{\paren {n - j} } } 0 - s^0 \map {f^{\paren 0} } 0\) Definition of Zeroth Derivative
\(\ds \) \(=\) \(\ds s^n \laptrans {\map f t} - \sum_{j \mathop = 0}^{n - 1} s^j \map {f^{\paren {n - j} } } 0\)
\(\ds \) \(=\) \(\ds s^n \laptrans {\map f t} - \sum_{j \mathop = 1}^n s^{j - 1} \map {f^{\paren {n - j} } } 0\) replace $j$ with $j - 1$


The result follows by the Principle of Mathematical Induction.

$\blacksquare$


Also see


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Laplace_Transform_of_Higher_Order_Derivatives&oldid=566087"