PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] integration of differential binomial (Theorem)

Theorem. Let $a$ , $b$ , $c$ , $\alpha$ , $\beta$ be given real numbers and $\alpha\beta \neq 0$ . The antiderivative $$I = \int x^a(\alpha+\beta x^b)^c\,dx$$ is expressible by means of the elementary functions only in the three cases: $(1)\,\, \frac{a+1}{b}+c\in\mathbb{Z}$ , $(2)\,\, \frac{a+1}{b}\in\mathbb{Z}$ , $(3)\,\, c\in\mathbb{Z}$

In accordance with P. L. Chebyshev (1821$-$ 1894), who has proven this theorem, the expression $x^a(\alpha+\beta x^b)^c\,dx$ is called a differential binomial.

It may be worth noting that the differential binomial may be expressed in terms of the incomplete beta function and the hypergeometric function. Define $y = \beta x^b / \alpha$ . Then we have $$I = {1 \over b} \alpha^{{a + 1 \over b} + c} \beta^{-{a + 1 \over b}} B_y \left( {1 + a \over b}, c - 1 \right)$$ $$= {1 \over 1 + a} \alpha^{{a + 1 \over b} + c} \beta^{-{a + 1 \over b}} y^{1 + a \over b} F \left( {a + 1 \over b}, 2-c; {1 + a + b \over b}; y \right)$$

Chebyshev's theorem then follows from the theorem on elementary cases of the hypergeometric function.




"integration of differential binomial" is owned by rspuzio. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: hypergeometric function, beta function, incomplete, terms, binomial, expression, elementary functions, expressible, antiderivative, real numbers, theorem
There is 1 reference to this entry.

This is version 2 of integration of differential binomial, born on 2004-10-23, modified 2004-10-25.
Object id is 6408, canonical name is IntegrationOfDifferentialBinomial.
Accessed 3231 times total.

Classification:
AMS MSC26A36 (Real functions :: Functions of one variable :: Antidifferentiation)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)