Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Someone wrote on the Wikipedia article for the Laplace trasform that 'this transformation is essentially bijective for the majority of practical uses.'

Can someone provide a proof or counterexample that shows that the Laplace transform is not bijective over the domain of functions from $\mathbb{R}^+$ to $\mathbb{R}$?

share|improve this question
    
Although not a proof or a counter-example, you might check: en.wikipedia.org/wiki/Inverse_Laplace_transform –  Thomas Andrews Nov 27 '12 at 19:57
1  
I have provided you with a counter example that shows Laplace transforme is not injective over the functions whose domain are the real line, while Robert gave condition for it to be a bijection. –  Jean-Sébastien Nov 27 '12 at 23:48
add comment

3 Answers

up vote 5 down vote accepted

Bijective from what space of functions to what space of functions?

For example, by the Paley-Wiener theorem the Laplace transform is a bijection from $L^2(0,\infty)$ to the functions $F$ analytic in the open right half plane whose restrictions to vertical lines in the right half plane have uniformly bounded $L^2$ norm.

share|improve this answer
    
Shouldn't this be a comment? –  Rick Decker Nov 27 '12 at 21:10
    
Well, I'll expand it to an answer. –  Robert Israel Nov 27 '12 at 21:12
add comment

For "the majority of practical uses" it is important that the Laplace transform ${\cal L}$ is injective. This means that when you have determined a function $s\mapsto F(s)$ that suits your needs, there is at most one process $t\mapsto f(t)$ such that $F$ is its Laplace transform. You can then look up this unique $f$ in a catalogue of Laplace transforms.

This injectivity of ${\cal L}$ is the content of Lerch's theorem and is in fact an essential pillar of the "Laplace doctrine". The theorem is proven first for special cases where we have an inversion formula, and then extended to the general case.

The difference between "injectivity" and "bijectivity" here is that we don't have a simple description of the space of all Laplace transforms $F$. But we don't need to know all animals when we want to analyze a zebra. Lerch's theorem tells us that it has a unique pair of parents.

share|improve this answer
add comment

It depends on you set of definition. If you ask wheter it is bijective from the functions defined on $\mathbb{R}$, compare the laplace transform of $$ f(x)=\begin{cases} \sin(x)&x\geq0\\ 0&x<0 \end{cases} $$

and $$ g(x)=\sin(x), \forall x. $$

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.