A CONJECTURE (could someone help ? )

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

The discussion centers on a conjecture regarding infinite power series represented by the function f(x) = ∑_{n=0}^{∞} a_{2n}(-1)^{n} x^{2n}, where a_{2n} = ∫_{-c}^{c} w(x)x^{2n} dx, with w(x) being a non-negative, even function. It is established that if the coefficients a_{2n} are all positive and non-zero, then f(x) either has only real roots or no roots at all. This conjecture is supported by examples such as sin(x)/x and the Bessel function of zeroth order J_0(x), demonstrating its validity for specific analytic functions.

PREREQUISITES
  • Understanding of analytic functions and their power series expansions.
  • Familiarity with integral calculus, particularly definite integrals.
  • Knowledge of properties of even and odd functions.
  • Basic concepts of real analysis, including roots of functions.
NEXT STEPS
  • Research the properties of analytic functions and their convergence.
  • Explore the implications of the Bessel function of zeroth order J_0(x) in relation to power series.
  • Study the behavior of infinite series and their roots in complex analysis.
  • Investigate the role of weight functions in integrals and their effects on series convergence.
USEFUL FOR

Mathematicians, researchers in real analysis, and anyone studying properties of infinite power series and their roots will benefit from this discussion.

zetafunction
Messages
371
Reaction score
0
i have the following conjecture about infinite power series

let be a function f(x) analytic so it can be expanded into a power series

[tex]f(x)= \sum_{n=0}^{\infty} a_{2n}(-1)^{n} x^{2n}[/tex]

with [tex]a_{2n} = \int_{-c}^{c}dx w(x)x^{2n}[/tex] [tex]w(x) \ge 0[/tex] and [tex]w(x)=w(-x)[/tex] on the whole interval (-c,c) in case c is inifinite this W(x) is ALWAYS positive for every real 'x'

here 'c' is a Real constant , also we can have [tex]c=\infty[/tex]

and [tex]a(n)=0[/tex] for n=1,3,5,7,9,.. 2n-1

the [tex]a(2n)[/tex] are ALL positive and NONZERO

then f(x) has ONLY real roots or f(x) has NO roots at all (not real or complex)

amazingly it seems true , for example it holds for [tex]sin(x)/x[/tex] the Bessel function of zeroth order [tex]J_0 (x)[/tex] and so on
 
Last edited:
Physics news on Phys.org
zetafunction said:
i have the following conjecture about infinite power series

let be a function f(x) analytic so it can be expanded into a power series

[tex]f(x)= \sum_{n=0}^{\infty} a_{2n}(-1)^{n} x^{2n}[/tex]

with [tex]w(x) \ge 0[/tex] and [tex]w(x)=w(-x)[/tex] on the whole interval (-c,c) in case c is inifinite this W(x) is ALWAYS positive for every real 'x'

here 'c' is a Real constant , also we can have [tex]c=\infty[/tex]

and [tex]a(n)=0[/tex] for n=1,3,5,7,9,.. 2n-1

the [tex]a(2n)[/tex] are ALL positive and NONZERO

then f(x) has ONLY real roots or f(x) has NO roots at all (not real or complex)

amazingly it seems true , for example it holds for [tex]sin(x)/x[/tex] the Bessel function of zeroth order [tex]J_0 (x)[/tex] and so on

The series simplifies to 2 *integral( 0 to c) {1 / 1+ (tx)^2}w(t) dt , which is posotive for all
real x. I'm not sure about the complex case, though.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 33 ·
2
Replies
33
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K