Integral of a rational function over the positive real axis

Click For Summary
SUMMARY

The integral I(t)=∫₀^∞ dx (x⁵/((t+x²)(1+(t+x²)⁴))) is computed over the positive real axis, where t is a positive real number. The discussion highlights the use of residue calculus, particularly the residue theorem, to evaluate the integral. The user initially attempted to integrate around a quarter-circle contour but encountered errors in their calculations, leading to a discrepancy with results from Mathematica. The correct evaluation of the integral yields a simpler form than initially derived.

PREREQUISITES
  • Understanding of complex analysis, specifically residue theory.
  • Familiarity with contour integration techniques.
  • Knowledge of integral calculus involving rational functions.
  • Experience with symbolic computation tools like Mathematica.
NEXT STEPS
  • Study the residue theorem in complex analysis for evaluating integrals with poles.
  • Learn about contour integration methods, particularly in the context of rational functions.
  • Explore the use of Mathematica for symbolic integration and verification of results.
  • Investigate the properties of integrals involving odd and even functions in complex analysis.
USEFUL FOR

Mathematicians, physicists, and engineering students engaged in advanced calculus, particularly those working with complex integrals and residue theory.

muppet
Messages
602
Reaction score
0
Hi everyone, this isn't really a homework question- this integral has come up during project work- but this seems like a sensible place to ask it nontheless.

Homework Statement


Compute
I(t)=\int^{\infty}_{0} dx \frac{x^5}{(t+x^2)(1+(t+x^2)^4)}
where t is real and positive.

Homework Equations


If f(z)=h(z)/g(z), and g has a simple pole at z=z_0, then

Res(f,z_0) = \frac{h(z_0)}{g'(z_0)}

\oint_ Cf(z)dz=2\pi i \sum_{j}Res(f,z_j)+\pi i \sum_{k} Res(f,b_k)
where C is a contour enclosing poles at z=z_j that "infinitesmally semi-circles around" simple poles at z=b_k

The Attempt at a Solution


As my integral only runs over the positive real axis, I can't integrate around the "usual" semi-circle of infinite radius in the upper half-plane. However, as the integrand is odd in x (or, changing language to the conventions of complex analysis, in z), I think I can take the real part of an integral around a quarter-circle of infinite radius along the positive real axis and down the negative imaginary axis. This gives me a simple pole on the boundary at z=i\sqrt{t} and a simple pole at z=\sqrt{e^{i \pi/4}-t}. Plugging these in and taking the real part gives me
I(t)=Re \left[ \frac{\pi i}{4}e^{-i \pi /2}(e^{i \pi /4}-t)^{2} \right] =\frac{\pi}{4}(t^2-t\sqrt{2})

This is unfortunately wrong- mathematica gives me a decreasing function of t, but in a horribly complicated form, whilst I happen to know that a much simpler form exists. Any help would be greatly appreciated.
 
Last edited:
Physics news on Phys.org
The integrand is not odd in x, because of the (t + x) term.
 
Sorry, TeX error! Thanks for that.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 105 ·
4
Replies
105
Views
7K
Replies
13
Views
2K