Integrate kˆ(n-1) / prod_{i=1...n} (kˆ(2)+x_iˆ{2}) dk between 0 and infinity, with x_i constants and n>=1? - MathOverflow most recent 30 from http://mathoverflow.net2013-05-26T09:23:36Zhttp://mathoverflow.net/feeds/question/60334http://www.creativecommons.org/licenses/by-nc/2.5/rdfhttp://mathoverflow.net/questions/60334/integrate-kn-1-prod-i1-n-k2x-i2-dk-between-0-and-infinity-witIntegrate kˆ(n-1) / prod_{i=1...n} (kˆ(2)+x_iˆ{2}) dk between 0 and infinity, with x_i constants and n>=1?Payze2011-04-02T01:03:39Z2011-04-02T03:16:59Z
<p>[some formatting tweaked, and the question copied from the title to the main body, by YC]</p>
<hr>
<p>Hi,</p>
<p>I've been struggling a lot to calculate this integral.</p>
<p><code>$$ \int_0^\infty k^{n-1} /\quad \prod_{i=1}^n (k^2+ x_i^2)\; dk
$$</code>
where $x_i$ are constants and $n\geq 1$.</p>
<p>I did the calculation for n=1,2,3,4, with the hope of identifying some form and then find the result by induction. But here is what I got:</p>
<ul>
<li><p>n=1: I= (pi/2) * abs(x1) </p></li>
<li><p>n=2: I= (1/2) * 1/(x2ˆ(2)-x1ˆ(2)) * log(x2ˆ(2) / x1ˆ(2))</p></li>
<li><p>n=3: I= (pi/2) * [abs(x1) (x2ˆ(2)-x3ˆ(2)) +abs(x2) (x3ˆ(2)-x1ˆ(2))+ abs(x3) (x1ˆ(2)-x2ˆ(2))] / [(x2ˆ(2)-x3ˆ(2) (x3ˆ(2)-x1ˆ(2)) (x1ˆ(2)-x2ˆ(2)]</p></li>
<li><p>n=4: I= (1/2) * [ A1 log(x1ˆ(2)) + A2 log(x2ˆ(2)) +... A4 log(x4ˆ(2))), where Ai= xiˆ(2) / [ prod (xjˆ(2)-xiˆ(2))]</p></li>
</ul>
<p>-->> This makes me think that the result depends on whether n is even or uneven; that is, we would have a form in log( ) for n even, and something in pi/2 for n uneven? </p>
<p>Could you please help me here? What is the correct result and how to get it? </p>
<p>Your help is so much appreciated, many many thanks in advance!
Elise</p>
http://mathoverflow.net/questions/60334/integrate-kn-1-prod-i1-n-k2x-i2-dk-between-0-and-infinity-wit/60339#60339Answer by Mark Sapir for Integrate kˆ(n-1) / prod_{i=1...n} (kˆ(2)+x_iˆ{2}) dk between 0 and infinity, with x_i constants and n>=1?Mark Sapir2011-04-02T02:16:32Z2011-04-02T03:16:59Z<p>You are correct. Use the partial fraction decomposition: <a href="http://en.wikipedia.org/wiki/Partial_fraction" rel="nofollow">http://en.wikipedia.org/wiki/Partial_fraction</a> For example, if $n=4$, the decomposition is (over the rationals):</p>
<p>$$\begin{array}{l}
{\frac {ck}{ \left( {k}^{2}+c \right) \left( -c+a \right) \left( -c+
b \right) \left( -d+c \right) }}-\\ {\frac {dk}{ \left( {k}^{2}+d
\right) \left( -d+a \right) \left( -d+b \right) \left( -d+c
\right) }}-\\ {\frac {bk}{ \left( {k}^{2}+b \right) \left( -b+a
\right) \left( -c+b \right) \left( -d+b \right) }}+\\ {\frac {ak}{
\left( {k}^{2}+a \right) \left( -b+a \right) \left( -c+a \right)
\left( -d+a \right) }}\end{array}
$$
where $a=x_1^2,b=x_2^2,...$. I guess you can get the pattern. For odd $n$ there is no $k$ in the numerator. This is the cause of the difference you noticed. </p>