Laplace transform of a simple equation (Simple question)

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
LagrangeEuler
Messages
711
Reaction score
22
Lets consider very simple equation ##x''(t)=0## for ##x(0)=0##, ##x'(0)=0##. By employing Laplace transform I will get
[tex]s^2X(s)=0[/tex] where ##X(s)## is Laplace transform of ##x(t)##. Why then this is equivalent to
[tex]X(s)=0[/tex]
why we do not consider ##s=0##?
 
Physics news on Phys.org
The solution is x(t)=0. Laplace transform of 0 is also 0.
 
I know that. I am asking you why we do not consider that for ##s=0##, ##X(s)## can be different from zero?
 
I do not think our problem is to get value of s to satisfy
[tex]s^2 X(s) = 0[/tex]
because s is parameter transformed which varies from 0 to infinity in usual.
We should have interest on Laplace transform X(s) and observe that it returns zero for any s.
 
LagrangeEuler said:
I am asking you why we do not consider that for [itex]s = 0[/itex], [itex]X(s)[/itex] can be different from zero?

The definition [tex] X(s) \equiv \int_0^\infty x(t)e^{-st}\,dt[/tex] is not valid for every [itex]s \in \mathbb{C}[/itex] (in general it's only valid for [itex]s[/itex] with sufficiently large and positive real part). Where that definition is not valid, we must define [itex]X(s)[/itex] by analytic continuation from the domain where it is valid. In this case, the equation [itex]s^2X(s) = 0[/itex] obtained from integrating [itex]x''(t)e^{-st}[/itex] is only valid for [itex]\operatorname{Re}(s) > 0[/itex]. The unique analytic extension of [itex]X[/itex] to [itex]\operatorname{Re}(s) \leq 0[/itex] then gives [itex]X(s) \equiv 0[/itex] everywhere.