Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Does the inverse Laplace transform, defined by the integral, \begin{equation} F(t) = \mathscr L_s^{-1}\left[\sqrt s\right](t) = \int_{c - i\infty}^{c + i\infty} \sqrt s ~e^{-st} ds \end{equation} exist?

Here are a few things I've considered in trying to answer this question myself:

  1. $\mathscr{L}[t^p] = \frac{\Gamma (p+1)}{s^{p+1}}$, provided that $p>-1$. The latter condition precludes the case of interest, which would correspond to $p=-3/2$.

  2. The square root function can be written as $ \sqrt s = e^{\frac{1}{2}\log s}$. So $\sqrt s$ is not holomorphic at the origin.

  3. This topic has been discussed previously here without clear resolution.

  4. Mathematica throws the transform back at me without a solution.

share|improve this question
add comment

3 Answers

As you understand, in the cases you are interested in, the direct and inverse Laplace transforms do not exist in a straightforward way. However both make sense within theory of distributions. See

A. H. Zemanian, Generalized Integral Transformations, Interscience, New York, 1968;

Yu. A. Brychkov and A. P. Prudnikov, Integral transforms of generalized functions. Gordon and Breach, New York, 1989.

share|improve this answer
    
Thanks for your comment. I don't really understand, though. Why do the Laplace transforms not exist in the typical sense? –  DieLuftDerFreiheit Jul 30 '13 at 16:36
1  
If $p\le -1$, then the integral defining the Laplace transform of $t^p$ diverges near the origin. –  Anatoly Kochubei Jul 30 '13 at 19:28
add comment

Let us work first formally. You want to "calculate'' $ f(s)=\int_0^{+\infty}t^{1/2} e^{-st} dt. $ It is indeed possible to give a meaning to $ F(\tau)=\int_0^{+\infty}t^{1/2} e^{-i\tau t} dt $ as the Fourier transform of the homogeneous distribution $t_+^{1/2}$. $F$ is an homogeneous distribution of degree $-\frac 32$ and in fact $$ F(\tau)=C(\tau-i0)^{-3/2}. $$ As a result, $ f(s)=F(s/i)=C(-is-i0)^{-3/2}=C_1\frac{d}{ds}(s^{-1/2}). $ It was obvious from the beginning since for $s> 0$ $$ f(s)=\int_0^{+\infty}x e^{-sx^2} 2xdx=-2\frac{d}{ds}\int_0^{+\infty} e^{-sx^2} dx =-\sqrt{π}\frac{d}{ds}(s^{-1/2}). $$

share|improve this answer
1  
It seems that this question and its cousins will recur forever. :) –  paul garrett Jul 30 '13 at 21:49
add comment

I have encountered the same problem! But let me emphasize, I am a geophysicist, not a mathematician!

My observations:

  1. I do not find these (seemingly simple) transforms in most tables of Laplace transforms (not in Abramowitz and Stegun, for example). So, this is, to me, a "red flag".

  2. I can do the complex-s-plane contour integral to obtain inverse LT of $\sqrt{s}$. It seems simple, there is a branch cut but no pole. The result is $\frac{-1}{2\sqrt{\pi}}t^{-3/2}$

  3. Another way to evaluate the inverse LT of $\sqrt{s}$ is to use the convolution theorem and multiply by the LT of a Heaviside step function (1/s). The product is 1/$\sqrt{s}$ and the inverse LT of this IS found in standard tables, 1/$\sqrt{\pi t}$. If this is, then, differentiated with respect to t, we obtain $\frac{-1}{2\sqrt{\pi}}t^{-3/2}$

  4. However, the forward Laplace transform of $t^{-3/2}$ does not converge! The problem, as might be suspected, is at t=0. This can be seen by calculating the indefinite integral and noting that the equation "blows up" at t = 0.

  5. So this leaves us with what seems to me to be a paradox. The LT does not exist, but its inverse does! To me, this is also a red flag, but I don't know what it means.

  6. Subsequent comment: My thinking, now, is that the forward LT of $t^{-3/2}$ diverges because the LT is not exactly designed for simple transformation of quantities that are singular at t=0. One must properly accommodate the "pre-zero 0-" boundary condition with the "post-zero 0+" function. This might be addressed with "generalized functions" that can be discontinuous (But I don't, for the moment, know the details). Furthermore, I note that Abramowitz and Stegun do not layout mathematics that is explicitly compatible with this, see, for example section 29.1.1, where the lower limit of the LT is not very specifically identified as coming from the positive or negative direction. This might explain why they don't list the transforms of relevance to this discussion. Once the boundary condition at t=0 is handled, then the term that diverges in the LT of $t^{-3/2}$ might cancel, the remaining term is $\sqrt{s}$ -- thus there is the possibility of both forward LT compatibility with inverse LT. ;-)

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.