Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Laplace Transform Convergence

  1. Sep 2, 2009 #1
    I've been trying to understand what the Laplace Transform means via It's definition. Even if you are trying to evaluate a simple exponential function:

    [tex]F(s) = \mathcal{L} \left\{f(t)\right\}=\int_0^{\infty} e^{-st} f(t) \,dt. [/tex]

    it will not converge for all S in a Riemann sense. I've been trying to read a bit about measure theory and Lebesgue integration and what I found on the web hasn't made me feel like I understand much. However, I did read two things that seem to show how I might be able to make the Laplace transform converge for all S.

    1) The Unit Step functions form a Lebesgue measure for the Laplace Transform.
    2) Lebesgue integration can be thought of in terms of partitioning in a vertical sense instead of a horizontal sense.

    Okay, so what is the Laplace Transform for a unit step function? It is:

    [tex] u(t-\tau) \ ={ e^{-\tau s} \over s } [/tex]

    Now, we can partition an exponential function in to horizontal rectangles as follows

    [tex]exp(\lambda t)=u(0)+\Delta y\sum_{n=1}^{\infty}u\left(t-\frac{1}{\lambda}ln\left(\ n\Delta y\right)\right)[/tex]

    Using the linearity property of the Laplace transform:

    [tex] \mathcal{L}(exp(\lambda t))=\frac{1}{s}+\Delta y\sum_{n=1}^{\infty}{ e^{-ln(\ n\Delta y)\frac{s}{\lambda}} \over s } [/tex]

    [tex] \mathcal{L}(exp(\lambda t))=\frac{1}{s}+\Delta y\left(\frac{1}{\Delta y}\right)^{s/\lambda}{\sum_{n=1}^{\infty}\left(\frac{1}{n} \right)^{s/\lambda} \over s }=\frac{1}{s}+\left(\frac{1}{\Delta y}\right)^{(s/\lambda)-1}\frac{\zeta(s/\lambda)}{s}[/tex]

    (Which doesn't converge so I need to do something different :().
    Last edited: Sep 2, 2009
  2. jcsd
  3. Sep 2, 2009 #2
    I don't think vertical partitioning helped.

    Maybe if the function is [tex]exp(\lambda t)[/tex]

    Then I can choose as basis (measure?) Functions of the form [tex]exp(\beta(t-\tau)) [/tex]

    That is delayed exponential (probably a negative exponential if lambda is positive).


    [tex]b_0=f(0)exp(\beta t)[/tex]

    [tex] b_n=\left<f(x)-\sum_{k=o}^{n-1}b_kexp(\beta t-n \Delta t) \ , \ f(exp(\beta(t-n \Delta t))\right> [/tex]

    The inner product is taken from zero to infinity. Now if I express this sequence in the Laplace domain, can I find for any S a value of [tex]\beta[/tex] for which the sequence will converge. Also if I do this and I only approximate a few terms then what is the rate of convergence for all points in the Laplace domain.
  4. Sep 3, 2009 #3
    I'm not sure why the following premises in quotes is wrong but in my example I approximate f(x) arbitrarily closely and the limit in the Laplace domain doesn't converge to the correct value (or at least the limit is not well defined.

    Now, given the above premise, one only has to show that the Laplace transform exists for the exponential curve that bounds the function. Without loss of generality consider the function:


    Let this function be bounded by:


    Now I can show that (I'll prove this in another post):

    [tex]f(x) \approx e^{bt}+\sum_1^{\infty}(e^{na\Delta t}-e^{(b+(n-1)a)\Delta t})e^{-b(t-n \Delta t)u(t-\Delta t)[/tex]

    Now, because the Laplace transform is linear we have:

    [tex] \mathcal{L}(f(x)) \approx \frac{1}{s-b}+\sum_1^{\infty}({e^{na\Delta t}-e^{b+(n-1)a\Delta t})\frac{e^{-bn \Delta t}}{s-b}[/tex]

    or equivalently:

    [tex] \mathcal{L}(f(x)) \approx \frac{1}{s-b}+\sum_1^{\infty}({e^{n(a-b)\Delta t}-e^{(n-1)(a-b)\Delta t})\frac{1}{s-b}[/tex]

    Writing as a geometric series:

    [tex] \mathcal{L}(f(x)) \approx \frac{1}{s-b}+\frac{1}{s-b}\sum_1^{\infty}\left(\left({e^{(a-b)\Delta t}\right)^n-\left(e^{(a-b)\Delta t}\right)^{(n-1)}\right)[/tex]

    [tex] \mathcal{L}(f(x)) \approx \frac{1}{s-b}+\frac{1}{s-b}\mathop {\lim }\limits_{N \to \infty }\left(\sum_1^{\infty}\left({e^{(a-b)\Delta t}\right)^n-\sum_1^{\infty}\left(e^{(a-b)\Delta t}\right)^{(n-1)}\right)\right[/tex]

    [tex] \mathcal{L}(f(x)) \approx \frac{1}{s-b}+\frac{1}{s-b}\mathop {\lim }\limits_{N \to \infty }\left(\frac{(e^{(a-b)\Delta t})^{N}}{1-e^{(a-b)\Delta t}}-\frac{(e^{(a-b)\Delta t})^{N-1}}{1-(e^{(a-b)\Delta t}}\right)[/tex]

    [tex] \mathcal{L}(f(x)) \approx \frac{1}{s-b}+\frac{1}{s-b}\mathop {\lim }\limits_{N \to \infty }(e^{(a-b)\Delta t})^{N}\left(\frac{e^{(a-b)\Delta t}-1}{1-e^{(a-b)}}\right)[/tex]

    [tex] \mathcal{L}(f(x)) \approx \frac{1}{s-b}-\frac{1}{s-b}\mathop {\lim }\limits_{N \to \infty }(e^{(a-b)\Delta t})^{N}[/tex]

    Which doesn't seem like a terribly useful limit because it depends how quickly [tex]\Delta t[/tex] approach zero as N approach infinity also if b can very with the limit the expression is even more ambiguous.
  5. Sep 3, 2009 #4
    Actually come to think of it my approach is all wrong. So my above premmis again:

    now if f(x) is bounded by a function [tex]ae^{at}[/tex] and f(x) is integrable then it should be sufficient to show that the Laplace transform of [tex]ae^{at}[/tex] exists to show that the Laplace transform of f(x) exists.

    Define the Laplace as follows:

    [tex]\mathcal{L}(f(t))=\mathop {\lim }\limits_{t \to \infty} \int_0^{t} f(t')(1-u(t'-t))e^{-st'}dt'[/tex]

    Then it is easy to show that at least for an exponential function that this converges to the Laplace transform. So, I think what I want to do is develop a limit approximation for a finite length, Compute the Laplace transform and then take the limit as L approaches infinity in the Laplace domain. So one limit in the time domain and another limit in the Laplace Domain.
  6. Sep 5, 2009 #5
    I found some interesting stuff:


    Here is some more stuff on the Hankel Norm:
    http://ocw.mit.edu/NR/rdonlyres/Electrical-Engineering-and-Computer-Science/6-245Spring2004/125BCAD2-43BE-45D0-BC1B-514616831344/0/lec9_6245_2004.pdf [Broken]
    Last edited by a moderator: May 4, 2017
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook