Is there any counterexample to this ?

  • Context: Graduate 
  • Thread starter Thread starter zetafunction
  • Start date Start date
  • Tags Tags
    Counterexample
Click For Summary
SUMMARY

The discussion centers on the properties of the Fourier transform, specifically the function G(s) defined as G(s) = ∫_{-∞}^{∞} f(x) exp(isx) dx. It is established that if f(x) and its second derivative D²f(x) are even functions and positive over the entire interval (-∞, ∞), then G(s) possesses only real roots. However, a counterexample is sought, leading to a clarification that no function satisfying D²f(x) > 0 can decay to zero at both ends, thus affecting the existence of a valid Fourier transform.

PREREQUISITES
  • Understanding of Fourier transforms and their properties
  • Knowledge of even functions and their implications in calculus
  • Familiarity with the concept of derivatives, particularly second derivatives
  • Basic principles of complex analysis as they relate to real functions
NEXT STEPS
  • Explore the implications of even functions in Fourier analysis
  • Study the conditions under which Fourier transforms exist and their limitations
  • Investigate the behavior of functions that are twice differentiable and their Fourier transforms
  • Learn about the extension of Fourier transforms to complex variables and its applications
USEFUL FOR

Mathematicians, physicists, and engineers interested in Fourier analysis, particularly those examining the properties of functions and their transforms in relation to real and complex domains.

zetafunction
Messages
371
Reaction score
0
is there any counterexample to this ??

let be the Fourier transform

[tex]G(s) = \int_{-\infty}^{\infty}dxf(x)exp(isx)[/tex]

with the properties

[tex]f(x)[/tex] and [tex]D^{2}f(x)[/tex] are EVEN funnctions of 'x'

[tex]f(x) > 0[/tex] and [tex]D^{2}f(x) > 0[/tex] on the whole interval (-oo,oo)

then G(s) has only REAL roots

is there any counterexample to this ?? thanks
 
Physics news on Phys.org


zetafunction said:
let be the Fourier transform

[tex]G(s) = \int_{-\infty}^{\infty}dxf(x)exp(isx)[/tex]

with the properties

[tex]f(x)[/tex] and [tex]D^{2}f(x)[/tex] are EVEN funnctions of 'x'

[tex]f(x) > 0[/tex] and [tex]D^{2}f(x) > 0[/tex] on the whole interval (-oo,oo)

then G(s) has only REAL roots

is there any counterexample to this ?? thanks

Are you sure you mean that you want f''(x)>0? No function satisfying this can decay to zero for both small and large x (try drawing a graph), and hence no such function will have a Fourier Transform (except in a distributional sense).

It means a different thing to have f even: it means f(x)=f(-x) for all x. In that case, if f is twice differentiable, then f'' will automatically also be even (just use the chain rule).

The Fourier transform is only usually defined for real s. It maps complex functions of real variables to complex functions of real variables. If your function f is very well behaved, so it decays faster than any exponential, you could extend the transform to complex s, but I'm not sure what benefit you get from this.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K