6
$\begingroup$

Let $f:[0,\infty) \to \mathbb{C}$ be a continuous and bounded function such that the limit $$\lim_{T\to\infty} \frac{1}{T} \int_{0}^{T}f(t)dt = d \quad\text{exists}.$$

Let $\hat{f}$ be the Laplace transform of f, i.e., $$\hat{f} = \int_{0}^{\infty}e^{-st}f(t)dt.$$

Prove that $$\lim_{s\to0,\:s>0} s\hat{f} = d.$$

I have tried different ways, but for now I still did not get the whole proof.

  1. I started with the following idea (non rigorous). Define $T=\frac{1}{s}$, then $$\lim_{s\to0,\:s>0} s\hat{f} = \lim_{T\to\infty} \frac{1}{T}\hat{f}=\lim_{T\to\infty} \frac{1}{T} \int_{0}^{T}e^{-t/T}f(t)dt$$ where the integrand converges to $f(t)$ and therefore the dominant convergence theorem I guess could be used. However, there are two problems: (a) $T \in \mathbb{C}$ and therefore I am not sure I can do that, (b) I don't want to use the dominant convergence theorem since it was not introduced in class.

  2. A different approach is to use the fundamental theorem of calculus since f continuous and define: $$F(T) = F(0) + \int_{0}^{T}f(t)dt \quad \forall \; T \in [0,\infty).$$ Then from here use the formula for the Laplace transform of the derivative, but I did not manage to move on.

$\endgroup$
  • 1
    $\begingroup$ It does not make sense to say $d<\infty$, since in general $\int_0^T f(t)dt\notin\mathbb R$. Did you mean to write that the limit exists, i.e. $d$ is well defined? Or did you mean to integrate over $|f|$? $\endgroup$ – Pink Panther May 7 at 7:35
  • 1
    $\begingroup$ Well, actually you're right, in the text there is written "d exists", which I assumed was the same of saying d finite. Could you please explain briefly why the two things are not related? The limit can be $\infty$, but it has to be well-defined for $T \to \infty$, is that what you mean? $\endgroup$ – ofir_13 May 7 at 7:38
  • 1
    $\begingroup$ On the real numbers, you have a strict linear order $<$. On the complex numbers you do not have that ordering, meaning there is no such thing as saying "$z<w$" for complex numbers $z,w\in\mathbb C$. If you have a sequence $(x_i)_i\subset\mathbb R^+$ and say $x_i\rightarrow\infty$, you are really saying $\forall T\in\mathbb R$ there exists $i$ such that $x_i>T$, but for complex numbers you cannot do that. $\endgroup$ – Pink Panther May 7 at 7:49
  • 1
    $\begingroup$ Thank you very much for the insight! Ps. I think you mistyped y'' above. $\endgroup$ – ofir_13 May 7 at 7:52
4
$\begingroup$

Let $g(t)=\int_0^{t}f(s)ds$. Integrate by parts to see that $s \hat {f} (s)=s^{2}\int_0^{\infty} (te^{-st}) (\frac {g(t)} t)dt$. Now $s^{2}\int_0^{\infty} (te^{-st}) (\frac {g(t)} t)dt=s^{2}\int_0^{\infty} (te^{-st}) (\frac {g(t)} t-d)dt+d$ because $s^{2}\int_0^{\infty} (te^{-st})dt=1$. Suppose $|\frac {g(t)} t-d| <\epsilon$ for $t \geq t_0$. Now split the integral into integrals over $(0,t_0)$ and $(t_0,\infty)$. Can you finish the proof now?

The integral form $t_0$ to $\infty$ is bounded by $\epsilon \int_{t_0} ^\infty s^{2}te^{-st}dt \leq \epsilon \int_{0} ^{\infty} s^{2}te^{-st}dt=\epsilon$. The intergal from $0$ to $t_0$ tends to $0$ as $ s \to 0$ because $g(t)-td$ is bounded on this interval and $s^{2} \int_{0} ^{t_0} e^{-st} dt \to 0$ by direct calculation of the integral.

$\endgroup$
  • $\begingroup$ Thank you very much for the hint, I was actually going by parts and trying to add and substract the limit value, but missed the right order. I will try it now! $\endgroup$ – ofir_13 May 7 at 7:48
  • $\begingroup$ I did the following to complete the proof: $$s\hat{f}(s)=s^2 \bigg[ \int_{0}^{t_0} te^{-st}\bigg(\frac{g(t)}{t} -d\bigg)dt + \int_{t_0}^{\infty} te^{-st}\bigg(\frac{g(t)}{t} -d\bigg)dt\bigg] + d,$$ but the term $$\int_{t_0}^{\infty} te^{-st}\bigg(\frac{g(t)}{t} -d\bigg)dt < \int_{t_0}^{\infty} \big |te^{-st}\big |\bigg|\frac{g(t)}{t} -d\bigg|dt < \epsilon \int_{t_0}^{\infty} \big |te^{-st}\big |dt = \epsilon \int_{t_0}^{\infty} te^{-st}dt = \epsilon \frac{(t_0-1)e^{-st_0}}{s},$$ which vanishes as $t_0 \to \infty$. $\endgroup$ – ofir_13 May 7 at 9:59
  • $\begingroup$ We are then left with $$s\hat{f}(s)=s^2 \int_{0}^{t_0} te^{-st}\bigg(\frac{g(t)}{t} -d\bigg)dt + d,$$ and taking the $\lim_{s\to0}$ at both sides complete the proof. $\endgroup$ – ofir_13 May 7 at 9:59
  • 1
    $\begingroup$ @ofir_13 You have made the first part a little complicated. I have edited my answer with more details. $\endgroup$ – Kabo Murphy May 7 at 10:03
  • $\begingroup$ Well, now it seems more elegant and clear, thank you very much again! I was also wondering, is this problem in some way a "standard problem" that can be framed in a certain "standard way" of solving it? Because I am an engineer and for me it is not always that clear which path to take to solve certain mathematical problems. $\endgroup$ – ofir_13 May 7 at 10:15

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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