Proving Integrals and Series: A Generalization?

  • Thread starter Thread starter amcavoy
  • Start date Start date
  • Tags Tags
    Integrals Series
amcavoy
Messages
663
Reaction score
0
I need to prove the following:

\int_{0}^1\int_{0}^1\int_{0}^1\frac{1}{1-xyz}dxdydz=\sum_{n=1}^{\infty}\frac{1}{n^3}

Or, as a generalization:

\int_{0}^1\cdots\int_{0}^1\frac{1}{1-\prod_{k=1}^mx_k}\prod_{k=1}^mdx_k=\sum_{n=1}^{\infty}\frac{1}{n^m}

...if there is such a generalization.

I don't know where to begin, any suggestions?

Thanks a lot for your help.
 
Last edited:
Physics news on Phys.org
You can make a Taylor expansion of the denominator since it is convergent for every point in the domain of integration.
 
Alright, a friend showed me how to do this for m=3. Does this work?

\sum_{n=1}^{\infty}\frac{1}{n^3}=\sum_{n=0}^{\infty}\frac{1}{(n+1)^3}

and since \int_{0}^1x^kdx=\frac{1}{k+1}, the sum can be rewritten as follows:

\sum_{n=0}^{\infty}\frac{1}{(n+1)^3}=\sum_{n=0}^{\infty}\int_{0}^1\int_{0}^1\int_{0}^1(xyz)^kdxdydz=\int_{0}^1\int_{0}^1\int_{0}^1\frac{1}{1-xyz}dxdydz.

This works? Or, is the proof more in-depth? I would like to know whether the needs to be a justification for evaluating the outside sum first.

Thanks again.
 
For original Zeta function, ζ(s)=1+1/2^s+1/3^s+1/4^s+... =1+e^(-slog2)+e^(-slog3)+e^(-slog4)+... , Re(s)>1 Riemann extended the Zeta function to the region where s≠1 using analytical extension. New Zeta function is in the form of contour integration, which appears simple but is actually more inconvenient to analyze than the original Zeta function. The original Zeta function already contains all the information about the distribution of prime numbers. So we only handle with original Zeta...

Similar threads

Back
Top