summaryrefslogtreecommitdiff
path: root/source/know/concept/laplace-transform/index.md
blob: 94c374265dc31392b11357a4b62dd7f428fcf2f0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
---
title: "Laplace transform"
sort_title: "Laplace transform"
date: 2021-07-02
categories:
- Mathematics
- Physics
layout: "concept"
---

The **Laplace transform** is an integral transform
that losslessly converts a function $$f(t)$$ of a real variable $$t$$,
into a function $$\tilde{f}(s)$$ of a complex variable $$s$$,
where $$s$$ is sometimes called the **complex frequency**,
analogously to the [Fourier transform](/know/concept/fourier-transform/).
The transform is defined as follows:

$$\begin{aligned}
    \boxed{
        \tilde{f}(s)
        \equiv \hat{\mathcal{L}}\{f(t)\}
        \equiv \int_0^\infty f(t) \exp(- s t) \dd{t}
    }
\end{aligned}$$

Depending on $$f(t)$$, this integral may diverge.
This is solved by restricting the domain of $$\tilde{f}(s)$$
to $$s$$ where $$\mathrm{Re}\{s\} > s_0$$,
for an $$s_0$$ large enough to compensate for the growth of $$f(t)$$.

The **inverse Laplace transform** $$\hat{\mathcal{L}}{}^{-1}$$ involves complex integration,
and is therefore a lot more difficult to calculate.
Fortunately, it is usually avoidable by rewriting a given $$s$$-space expression
using [partial fraction decomposition](/know/concept/partial-fraction-decomposition/),
and then looking up the individual terms.



## Derivatives

The derivative of a transformed function is the transform
of the original mutliplied by its variable.
This is especially useful for transforming ODEs with variable coefficients:

$$\begin{aligned}
    \boxed{
        \tilde{f}{}'(s) = - \hat{\mathcal{L}}\{t f(t)\}
    }
\end{aligned}$$

This property generalizes nicely to higher-order derivatives of $$s$$, so:

$$\begin{aligned}
    \boxed{
        \dvn{n}{\tilde{f}}{s} = (-1)^n \hat{\mathcal{L}}\{t^n f(t)\}
    }
\end{aligned}$$


{% include proof/start.html id="proof-dv-s" -%}
The exponential $$\exp(- s t)$$ is the only thing that depends on $$s$$ here:

$$\begin{aligned}
    \dvn{n}{\tilde{f}}{s}
    &= \dvn{n}{}{s}\int_0^\infty f(t) \exp(- s t) \dd{t}
    \\
    &= \int_0^\infty (-t)^n f(t) \exp(- s t) \dd{t}
    = (-1)^n \hat{\mathcal{L}}\{t^n f(t)\}
\end{aligned}$$
{% include proof/end.html id="proof-dv-s" %}


The Laplace transform of a derivative introduces the initial conditions into the result.
Notice that $$f(0)$$ is the initial value in the original $$t$$-domain:

$$\begin{aligned}
    \boxed{
        \hat{\mathcal{L}}\{ f'(t) \} = - f(0) + s \tilde{f}(s)
    }
\end{aligned}$$

This property generalizes to higher-order derivatives,
although it gets messy quickly.
Once again, the initial values of the lower derivatives appear:

$$\begin{aligned}
    \boxed{
        \hat{\mathcal{L}} \big\{ f^{(n)}(t) \big\}
        = - \sum_{j = 0}^{n - 1} s^j f^{(n - 1 - j)}(0) + s^n \tilde{f}(s)
    }
\end{aligned}$$

Where $$f^{(n)}(t)$$ is shorthand for the $$n$$th derivative of $$f(t)$$,
and $$f^{(0)}(t) = f(t)$$.
As an example, $$\hat{\mathcal{L}}\{f'''(t)\}$$ becomes
$$- f''(0) - s f'(0) - s^2 f(0) + s^3 \tilde{f}(s)$$.


{% include proof/start.html id="proof-dv-t" -%}
We integrate by parts and use the fact that $$\lim_{x \to \infty} \exp(-x) = 0$$:

$$\begin{aligned}
    \hat{\mathcal{L}} \big\{ f^{(n)}(t) \big\}
    &= \int_0^\infty f^{(n)}(t) \exp(- s t) \dd{t}
    \\
    &= \Big[ f^{(n - 1)}(t) \exp(- s t) \Big]_0^\infty + s \int_0^\infty f^{(n-1)}(t) \exp(- s t) \dd{t}
    \\
    &= - f^{(n - 1)}(0) + s \Big[ f^{(n - 2)}(t) \exp(- s t) \Big]_0^\infty + s^2 \int_0^\infty f^{(n-2)}(t) \exp(- s t) \dd{t}
\end{aligned}$$

And so on.
By partially integrating $$n$$ times in total we arrive at the conclusion.
{% include proof/end.html id="proof-dv-t" %}



## References
1.  O. Bang,
    *Applied mathematics for physicists: lecture notes*, 2019,
    unpublished.