Let $$ \mathcal{B}(f(s)) = \int_{-\infty}^{\infty} e^{-st} f(t) dt $$ be a bilateral laplace transform for function $ f(t) $ with $ s = \sigma - i\gamma $. I have 2 questions regarding region of convergence (ROC) of bilateral laplace transform.
- I found a book that discuss bilateral laplace transform. It is The Laplace Transform by D. V. Widder. In chapter VI section 2, if we take $ f(t) = |t|^{-\frac{1}{2}} $, then bilateral laplace transform of $ f(t) $ converges on the line $ \sigma = 0 $ except at the origin.
- If we take $ f(t) $ as a pdf of some random variable and $ F(t) = \int_{-\infty}^{t} f(x) dx $ be a cdf of the random variable, then the bilateral laplace transform of $ F(t) $ $$ \mathcal{B}\left(\int_{-\infty}^{t} f(x) dx \right) = \int_{-\infty}^{\infty} e^{-st} \left( \int_{-\infty}^{t} f(x) dx \right) dt = \frac{\mathcal{B}(f(s))}{s} $$ The question is, when I try to find its ROC, I got an empty set, which means it does not have its bilateral laplace transform.
My attempt
To find its ROC, we have to specify the area of $ \sigma $ where the absolute integral exist. \begin{align} \int_{-\infty}^{\infty} \left| e^{-st} |t|^{-\frac{1}{2}} \right| dt & = \int_{-\infty}^{\infty} e^{-\sigma t} |t|^{-\frac{1}{2}} dt \\ & = \int_{-\infty}^{0} e^{-\sigma t} (-t)^{-\frac{1}{2}} dt + \int_{0}^{\infty} e^{-\sigma t} t^{-\frac{1}{2}} dt \end{align} The integral in the first term exist only for $ \sigma \leq 0 $ and the integral in the second term exist only for $ \sigma \geq 0 $. So in order for $ \int_{-\infty}^{\infty} \left| e^{-st} |t|^{-\frac{1}{2}} \right| dt $ to exist, the ROC is the intersection of ROC both of the first and second term. So we get its ROC $ \sigma = 0 $. I do not understand why the book exclude the origin.
Using the same way as question 1, we have to specify $ \sigma $ where the absolute integral exist \begin{align} \int_{-\infty}^{\infty} \left| e^{-st} \left( \int_{-\infty}^{t} f(x) dx \right) \right| dt & = \int_{-\infty}^{0} \left| e^{-st} \left( \int_{-\infty}^{t} f(x) dx \right) \right| dt + \int_{0}^{\infty} \left| e^{-st} \left( \int_{-\infty}^{t} f(x) dx \right) \right| dt \\ & = \int_{-\infty}^{0} e^{-\sigma t} \left| \left( \int_{-\infty}^{t} f(x) dx \right) \right| dt + \int_{0}^{\infty} e^{-\sigma t} \left| \left( \int_{-\infty}^{t} f(x) dx \right) \right| dt \\ & = \int_{-\infty}^{0} e^{-\sigma t} \left| \left( F(t) \right) \right| dt + \int_{0}^{\infty} e^{-\sigma t} \left| \left( F(t) \right) \right| dt \\ & \leq \int_{-\infty}^{0} e^{-\sigma t} dt + \int_{0}^{\infty} e^{-\sigma t} dt \\ & = lim_{t \to -\infty} \frac{e^{-\sigma t}}{\sigma} - lim_{t \to \infty} \frac{e^{-\sigma t}}{\sigma} \end{align} In order for the absolute integral to exist, limit of the first term and the second term should be exist. Limit in the first exist for $ \sigma < 0 $ and limit in the first exist for $ \sigma > 0 $. So the ROC is an empty set, or in other word, the bilateral laplace transform is not exist. But it should be equal to $ \frac{\mathcal{B}(f(s))}{s} $, which means its ROC should not be an empty set.