Integral of Rational Function with Zero Result

  • Context: Graduate 
  • Thread starter Thread starter StatusX
  • Start date Start date
  • Tags Tags
    Integral Zero
Click For Summary
SUMMARY

The integral of the rational function defined as f(x) = \frac{a(x^2-1)^2-2x(x+a)^2}{(x+a)^3(ax+1)^3} evaluates to zero for all a > 0. This conclusion is reached using the second fundamental theorem of calculus, where the limits of the anti-derivative at both zero and infinity yield a result of zero. The discussion highlights the importance of rigor in mathematical proofs and the potential pitfalls of neglecting constants in integrals.

PREREQUISITES
  • Understanding of the second fundamental theorem of calculus
  • Familiarity with rational functions and their properties
  • Knowledge of limits and anti-derivatives
  • Basic proficiency in polynomial functions and their behavior
NEXT STEPS
  • Study the second fundamental theorem of calculus in detail
  • Learn about the behavior of rational functions at infinity
  • Explore techniques for evaluating improper integrals
  • Investigate the role of constants in integration and anti-derivatives
USEFUL FOR

Mathematicians, calculus students, and anyone interested in advanced integration techniques and the properties of rational functions.

StatusX
Homework Helper
Messages
2,570
Reaction score
2
I've just found that, for all a>0:

\int_0^\infty \frac{a (x^2 - 1)^2 - 2 x (x + a)^2}{(x + a)^3 (a x + 1)^3} dx = 0

This can be found by brute force, but there must be a simpler way to show it.
 
Physics news on Phys.org
StatusX said:
I've just found that, for all a>0:

\int_0^\infty \frac{a (x^2 - 1)^2 - 2 x (x + a)^2}{(x + a)^3 (a x + 1)^3} dx = 0

This can be found by brute force, but there must be a simpler way to show it.

How formal does the solution need to be? I have an idea that might work out, but I don't know if it would be exactly what you're looking for.
 
Id be interested to hear any thoughts you have on it.
 
The integrand happens to be an exact derivative of x*P(x)/Q(x) for some P and Q.
 
Read This First: Here are my first thoughts. The biggest problem with this is that it's not rigorous and utilizes a lot of 'hand-waving arguments' (and I'm not positive that this hand-waving is even justified here!). Another problem with it is that it's not really all that simple, so even if it can be justified, I don't think that it's much good as a solution. I think that hamster143 outlined a much better solution too. But with that qualified, here was my first thought about the problem.

Let the function f be defined such that

f(x) = \frac{a(x^2-1)^2-2x(x+a)^2}{(x+a)^3(ax+1)^3}​

Since f is continuous on [0,\infty), we can apply the second fundamental theorem of calculus to find that ...

\int_0^{\infty}f(x)\mathrm{d}x = \lim_{x \to \infty}F(t) - F(0)​

where F is an anti-derivative of f. Therefore, we need only find the values of these anti-derivatives. We'll go about this in an indirect way.

To find F(0), first define the function g such that g(x) = a(x^2-1)^2-2x(x+a)^2. Next, note that by choosing x small enough, we can find numbers h,k > 0 such that the following inequality holds:

h[g(x)] \leq f(x) \leq k[g(x)]​

Since it's easy to verify that G(0) = 0 (neglecting the constant) where G is an anti-derivative of g, this suggests that the anti-derivative of f at zero is equal to zero. Therefore, F(0) = 0.

To evaluate the term \lim_{x \to \infty}F(t), we can note that as x becomes arbitrarily large, f(x) tends to something like h(x) = x^{-2} (because the numerator is a polynomial of degree 4 and the denominator is a polynomial of degree 6). Since lim_{x \to \infty}H(x) = 0 (once again, neglecting the constant) where H is an anti-derivative of h, this suggests that \lim_{x \to \infty}F(t) = 0.

Combining these two results, we find that ...

\int_0^{\infty}f(x)\mathrm{d}x = 0​
 
hamster,

I'm not sure what you mean. Are P(x) and Q(x) supposed to be polynomials? According to mathematica, the indefininte integral contains logs, and is very complicated.

jgens,

I'm not sure I understand exactly what you're saying, but I'm skeptical of your method since you don't seem to be using the specific form of the function I gave. For example, if I changed the (ax+1) in the denominator to (ax+2), the integral would no longer be zero, but I'm not sure your argument would be any different. I think you're neglecting constants when you shouldn't be.
 
StatusX said:
jgens,

I'm not sure I understand exactly what you're saying, but I'm skeptical of your method since you don't seem to be using the specific form of the function I gave. For example, if I changed the (ax+1) in the denominator to (ax+2), the integral would no longer be zero, but I'm not sure your argument would be any different. I think you're neglecting constants when you shouldn't be.

That's very likely. If you read the "Read This First" segment of my post, I acknowledged that.
 
StatusX said:
hamster,

I'm not sure what you mean. Are P(x) and Q(x) supposed to be polynomials? According to mathematica, the indefininte integral contains logs, and is very complicated.

Not according to wolfram alpha ...

http://www.wolframalpha.com/input/?i=\int+\frac{a+%28x^2+-+1%29^2+-+2+x+%28x+%2B+a%29^2}{%28x+%2B+a%29^3+%28a+x+%2B+1%29^3}+dx+
 
jgens said:
Since it's easy to verify that G(0) = 0 (neglecting the constant)
"Neglecting" the constant? :confused: You make it sound like there's One True Antiderivative which all others are just modifications of!

Of course, you can choose the constant so that G(0) = 0. And you can choose the corresponding constant so that F(0) = 0.
(it would be easier to choose F(0) directly)


Since lim_{x \to \infty}H(x) = 0 (once again, neglecting the constant) where H is an anti-derivative of h, this suggests that \lim_{x \to \infty}F(t) = 0.
Again with the One True Antiderivative thing. You can certainly choose the constant so that \lim_{x \to \infty}F(t) = 0.


Of course, there's no reason those two choices have to be consistent. :frown:
 
  • #10
A method which doesn't require heavy developments is given in attachment.

( Typo in the attachment : remplace equation -Aa=-a by -Aa=a )
 

Attachments

  • Definite Integral.JPG
    Definite Integral.JPG
    38 KB · Views: 582
Last edited:

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 27 ·
Replies
27
Views
686
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K