@ganeshie8 Laplace
How do I do this...suppose that f and f' are continuous functions for \(t \ge 0\) and of exponential order as \(t \rightarrow \infty \). Use integration by parts to show that if \(F(s) = L{f(t)}\), then \[\lim_{s \rightarrow \infty} F(s) = 0 \].
That L is laplace I don't know how to make the fancy L
`\mathcal{L}` gives \(\mathcal{L}\)
\[\mathcal{L}(f(t)) = \int\limits_0^{\infty} f(t)e^{-st}\, dt\]
Oh so I am using that?
try IBP once and see if it gives some clue...
ok
Ah, u = f' du = f' dt
u=f*
\[\mathcal{L}(f(t)) = \int\limits_0^{\infty} f(t)e^{-st}\, dt \\~\\=f(t) \dfrac{e^{-st}}{-s}\Bigg|_0^{\infty} +\dfrac{1}{s}\int\limits_0^{\infty} f'(t)e^{-st}\, dt \\~\\ \]
Yes I got that
What do I do with the integral though lol
Since f(t) is of exponential order, the first term evaluates to 0, yes ?
lim t - > infinity
Yes
\[\mathcal{L}(f(t)) = \int\limits_0^{\infty} f(t)e^{-st}\, dt \\~\\=f(t) \dfrac{e^{-st}}{-s}\Bigg|_0^{\infty} +\dfrac{1}{s}\int\limits_0^{\infty} f'(t)e^{-st}\, dt \\~\\ =0+\dfrac{1}{s}\int\limits_0^{\infty} f'(t)e^{-st}\, dt \\~\\ \]
Since f'(t) is also of exponential order, the definite integral, \(\int\limits_0^{\infty} f'(t)\,e^{-st}\, dt\), converges to some finite number, yes ?
no wait, the definite integral must be a function of \(s\)
\[F(s) = \mathcal{L} {f}(t)\]
So what just take this as lim s -> infinity?
\[\lim_{s \rightarrow \infty} \left( \frac{ -fe^{-st} }{ s } |_0^s+\int\limits_{0}^{s}\frac{ e^{-st} }{ s }f'dt\right)\]
Yeah
\[\lim\limits_{s\to\infty}F(s) = \lim\limits_{s\to\infty}\dfrac{1}{s}\int\limits_0^{\infty} f'(t)e^{-st}\, dt\]
f'(t) = 0
how do you know ?
Because of exponential order?
oh nvm that's as t-> ifninity
f(x) is of exponential order just means that the function e^x can overtake f(x)
Right, also I see it says here the result is actually true under less restrictive conditions
There's a theorem, f is piecewise continuous on the interval \(0 \le t \le A\) for any positive A. \(|f(t)| \le Ke^{at}\) when \(t \ge M\), K, a , and M are real constants, K and M are positive then the Laplace \[\mathcal{L} f(t) = F(s)\]
Not sure how to apply that here though or even if you could
that theorem is just saying that the laplace transform exists for exponential type functions
in other words its saying that the improper integral \(\int\limits_0^{\infty}f(t)e^{-st}\,dt\) converges if \(f(t)\) is of exponnential type
Oooh ok
\[\lim\limits_{s\to\infty}F(s) = \lim\limits_{s\to\infty}\dfrac{1}{s}\int\limits\limits_0^{\infty} f'(t)e^{-st}\, dt\] what can we do with f' here then
No clue, if you do IBP again we get \[\lim\limits_{s\to\infty}F(s) = \lim\limits_{s\to\infty}\dfrac{1}{s^2}\int\limits\limits_0^{\infty} f''(t)e^{-st}\, dt\]
Yeah I know haha
after doing IBP n times : \[\lim\limits_{s\to\infty}F(s) = \lim\limits_{s\to\infty}\dfrac{1}{s^{n}}\int\limits\limits_0^{\infty} f^{(n)}(t)e^{-st}\, dt\]
maybe we can "recover" f
Not sure how to conclude that equals 0
Yeah I don't know, I'm sort of making things up and that's of course not working lol
When math becomes more letters than numbers... *shivers*
@ShadowLegendX No worries. You'll realise the importance of letters once you turn 10. :)
Iʻm just a kitteh, idk what any of this stuff is >.<
Join our real-time social learning platform and learn together with your friends!