[Math] Inverse Laplace transform of $\frac{\log(s)}{1 + s}$

complex-analysiscontour-integrationlaplace transform

Is it possible to find the inverse laplace transform $$\mathcal{L}^{-1}\frac{\log(s)}{1 + s}$$ using the Bromwich integral formula $$\mathcal{L}^{-1} \{F(s)\}(t) = f(t) = \frac{1}{2\pi i}\lim_{T\to\infty}\int_{\gamma-iT}^{\gamma+iT}e^{st}F(s)\,ds$$ I'm having trouble coming up with a suitable contour to use. If the denominator were $1 – s$, then the pole would be in the right hand plane and the residue theorem would reduce the integral to the sum of the residues plus the integral around the branch cut. But with this one, the pole is in the left hand plane where the branch cut should be. Instead of setting $\gamma = 1$ as it must be in the case where the denominator is $1 – s$, can I set $\gamma = 0$, run the contour down the real axis and detour around the origin? I'm not sure if this is allowed, or will work. Thanks for any advice.

Best Answer

The result below assumes $t>0$ (as usual for Laplace transforms).

In the Bromwich contour $\gamma$ has to be chosen large enough that it is to the right of all singularities (poles and branch points) so $\gamma = 0^+$ is perfectly valid. The singularities of $\log s/(1+s)$ are a pole at $s=-1$ and two branch points at $s=0$ and $s=\infty$ which we connect via a branch cut along the negative real line.

Then we can deform the contour further to a path which starts at $-\infty -i 0^+$. Runs along the negative real line just below the branch cut. Ends at $0-i 0^+$ in a little semi-circle and then runs back from $0+i 0^+$ to $-\infty +i0^+$ just above the branch cut.

The Bromwich integral thus is given by $$f(t)=\frac1{2\pi i} \int_{-\infty}^0\!dx\, \left( \frac{\log (x-i0^+)}{1+x-i0^+ } - \frac{\log (x+i0^+)}{1+x+i0^+ } \right) e^{x t} $$ as the small circle around the branch point at $0$ does not contribute ($|z|\log z \to 0$ for $|z|\to0$).

In the remaining integral, we use $\log(x \pm i 0^+) = \log |x| \pm i \pi$ valid for $x<0$: $$\begin{align} f(t) &= \frac1{2\pi i} \int_{-\infty}^0\!dx\, \left( \frac{\log |x|-i\pi}{1+x-i0^+ } - \frac{\log |x|+i\pi}{1+x+i0^+} \right) e^{x t}\\ &= \frac1{2\pi i} \overbrace{\int_{-\infty}^0\!dx\, \log |x| \underbrace{\left( \frac1{1+x-i0^+ } - \frac1{1+x+i0^+}\right)}_{2\pi i \delta(x+1)} e^{x t}}^{=0}\\ &\quad -\frac12 \int_{-\infty}^0\!dx \underbrace{\left( \frac1{1+x-i0^+ } + \frac1{1+x+i0^+}\right)}_{2\mathcal{P}\,(1+x)^{-1}} e^{x t} \\ &= -\int_{-\infty}^0\!dx \,\mathcal{P} \frac{e^{x t}}{1+x} =- e^{-t} \int_{-\infty}^t\!ds \,\mathcal{P} \frac{e^{s}}{s}\\ &=- e^{-t} \mathop{\rm Ei}(t) \end{align}$$ with $s=(1+x)t$ and Ei the exponential integral.

Related Question