Integral Involving Irrational values

Click For Summary

Homework Help Overview

The discussion revolves around calculating the definite integral \(\int^b_a x^{\alpha}\) for irrational values of \(\alpha\) within the bounds \(0 < a < b\). Participants explore the application of the Mean Value Theorem and the representation of \(\alpha\) as a limit of rational numbers.

Discussion Character

  • Exploratory, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to connect the Mean Value Theorem with the integral of \(x^{\alpha}\) and questions how to prove the limit relationship between irrational and rational exponents. Other participants suggest using properties of logarithms and derivatives to approach the problem.

Discussion Status

Participants are actively engaging with various mathematical concepts, including the Mean Value Theorem and the Fundamental Theorem of Calculus. There is a mix of approaches being discussed, but no explicit consensus has been reached regarding the best method to prove the integral's evaluation.

Contextual Notes

The discussion includes assumptions about the behavior of irrational exponents and their relationship to rational approximations, as well as the constraints of the problem setup regarding the bounds of integration.

courtrigrad
Messages
1,236
Reaction score
2
Hello all

If we want to calculate the definite integral [tex]\int^b_a x^{\alpha}[/tex] for any irrational value of [tex]\alpha[/tex] where [tex]0<a<b[/tex] do we use the Mean Value Theorem? Would [tex]\alpha[/tex] be represented as a limit of a sequence of rational numbers [tex]\alpha = \lim_{x\rightarrow \infty} \alpha_n[/tex] and [tex]\alpha[/tex] is not equal to -1. Hence [tex]x^{\alpha} = \lim_{x\rightarrow \infty} x^{\alpha_n}[/tex] So we can always find a number such that [tex]|x^{\alpha} - x^{\alpha_n}| < \epsilon[/tex] (how do we prove this)?.

Now [tex]f(x) = x^\alpha[/tex] and [tex]g(x) = x^{\alpha_n}[/tex]. Now applying the Mean Value Theorem for Integral Calculus we get:

[tex]-\epsilon(b-a) + \int^b_a x^{\alpha_n} \ dx < \int^b_a x^{\alpha} \ dx < \int^b_a x^{\alpha_n} + \epsilon(b-a)[/tex]

We know that [tex]\int^b_a x^{\alpha} \ dx = \frac {1}{\alpha +1}(b^{\alpha +1} - a^{\alpha+1})[/tex].

[tex]-\epsilon(b-a) + \frac{1}{\alpha_n +1}(b^{\alpha_n+1} - a^{\alpha_n+1}) < \int^b_a x^\alpha \ dx < \frac{1}{\alpha_n +1}(b^{\alpha_n+1} - a^{\alpha_n+1}) + \epsilon(b-a)[/tex]. From here how do we receive

[tex]\int^b_a \ dx = \frac{1}{\alpha +1}(b^{\alpha+1} - a^{\alpha +1})[/tex]?

Thanks
 
Last edited:
Physics news on Phys.org
use
[tex]x^\alpha = e^{\alpha lnx}[/tex]
 
We could use the FTAC, because we know the derivative of x&alpha;+1.
 
Last edited:
If y= xα then ln(y)= α ln(x) so [itex]\frac{1}{y}\frac{dy}{dx}= \alpha \frac{1}{x}[/itex]. That is, [itex]\frac{dy}{dx}= \alpha\frac{1}{x}y= \alpha\frac{1}{x}x^{\alpha}= \alpha x^{\alpha-1}[/itex]

From that, it follows that [itex]\frac{1}{\alpha+1}x^{\alpha+1}[/itex] is an anti-derivative of [itex]x^{\alpha;}[/itex].

[itex]\int^b_a x^{\alpha}= \frac{1}{\alpha+1}x^{\alpha+1}+ C[/itex].
 
Last edited by a moderator:

Similar threads

Replies
7
Views
3K
Replies
46
Views
8K
Replies
3
Views
3K
  • · Replies 15 ·
Replies
15
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 36 ·
2
Replies
36
Views
7K
  • · Replies 3 ·
Replies
3
Views
1K
Replies
1
Views
2K
  • · Replies 29 ·
Replies
29
Views
4K
Replies
25
Views
2K