Is Injectivity of the Generalized Laplace Transform Proveable?

Click For Summary
SUMMARY

The discussion centers on the injectivity of a "generalized" Laplace transform defined by the operator L, specifically for rational functions. The operator L is expressed as (Lf)(w) = ∫_C e^(zw)f(z)dz, where C is a closed contour in the complex plane that does not enclose any poles of f. The author has established that for step functions, (Lf)(w) = 0 for N real values of w implies that f is the zero function, but seeks to extend this proof to rational functions. The conversation also touches on Cauchy's integral theorem and its implications for holomorphic functions.

PREREQUISITES
  • Understanding of complex analysis, particularly contour integration.
  • Familiarity with the properties of rational functions and holomorphic functions.
  • Knowledge of the classical Laplace transform and its injectivity properties.
  • Basic concepts of linear independence in the context of function spaces.
NEXT STEPS
  • Research the properties of the generalized Laplace transform in complex analysis.
  • Study Cauchy's integral theorem and its applications to holomorphic functions.
  • Explore the concept of injectivity in integral transforms and related proofs.
  • Investigate counterexamples to injectivity in the context of rational functions.
USEFUL FOR

Mathematicians, particularly those specializing in complex analysis, functional analysis, and integral transforms, as well as students seeking to deepen their understanding of the generalized Laplace transform and its properties.

Pere Callahan
Messages
582
Reaction score
1
"Generalized" Laplace transform

Hello,

I'm having trouble proving injectivity of what might be called a "generalized" Laplace transform (not the one by Varma).

Let f be a rational function and C be a fixed closed contour in the complex plane, (such that C contains not pole of f):
The operator L is then defined by
[tex] (Lf)(w) = \int_C{e^{zw}f(z)dz}.[/tex]

One could define L also for a more general class of functions, but for the moment rational ones suffice. It is clear that when f is the zero function, Lf is the zero function as well. I'm wondering about the converse; for the ordinary Laplace transform we know that the zero function is in fact the only function yielding a vanishing Laplace transform. I think that should also be true in this case but I have been unable to prove it.
When we restrict the class of functions in the domain even further so as to only contain "step functions" with N steps i was able to prove that (Lf)(w)=0 for N real values of w implies that f is the zero function by using the linear independence of exponentials of different frequencies.
I would appreciate any help in doing the step (:smile:) from step functions to rational functions.Pere
 
Physics news on Phys.org


Thinking again, it seems to me that Cauchy's integral theorem implies that Lf is identical zero for any holomorphic function f, in particular for poynomials.
This does not necessarily contradict what i wrote about step functions, because step functions are certainly not holomorphic...

Can one then prove something weaker for example that (Lf)(w) = 0 for sufficiently many w implies that f must be rational? Probably f(z) = 1/z^2 would be a counter example to this ...
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K