PlanetMath (more info)
 Math for the people, by the people.
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

$\displaystyle 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

$\displaystyle 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)$
$\displaystyle = {1 \over 1 + a} \alpha^{{a + 1 \over b} + c} \beta^{-{a + 1 \ov... ...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
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 2261 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)