arXiv reader

Note on extensions of the beta function

Mehar Chand

arXiv
1704.08191v1 · PDF · 17 April 2017
Categories
math.CA
Licence
CC0 1.0 The site shows the text.

Abstract

The classical beta function B(x; y) is one of the most fundamental special functions, due to its important role in various fields in the mathematical, physical, engineering and statistical sciences. Useful extensions of the classical Beta function has been considered by many authors. In the present paper, our main objective is to study the convergence of extensions of classical beta function and introduce modified extension of classical beta function. It is interpreted numerically and geometrically in the view of convergence, further properties and integral presentations are established.

Items 29

Claim

Claim 1

ER4D

If \Re(\alpha)>0,\Re(\beta)>0, \Re(p)>0, then the extensions of classical beta function in equation (?) does not convergent.

Proof of Claim 1

To prove our claim, we write the exponential function in series form, the equation (?) reduces to the following form

\begin{aligned} \aligned & B(\alpha,\beta;p)=\sum_{n=0}^\infty \frac{(-p)^n}{n!}\int_0^\infty t^{\alpha-n-1}(1-t)^{\beta-n-1}dt, \endaligned \end{aligned}

further using the definition of the beta function in the above equation (Proof), we have

\begin{aligned} \aligned & B(\alpha,\beta;p)=\sum_{n=0}^\infty \frac{(-p)^n}{n!}B(\alpha-n,\beta-n)\\& =B(\alpha,\beta)+\frac{-p}{1!}B(\alpha-1,\beta-1)+...\\& +\frac{(-p)^n}{n!}B(\alpha-n,\beta-n)+... \rm{to~infinity~terms}. \endaligned \end{aligned}

In the above equation (Proof), B(\alpha,\beta;p) is an power series involving B(\alpha-n,\beta-n) (where n=0,1,2,...). The series B(\alpha,\beta;p) will be convergent if B(\alpha-n,\beta-n) is convergent and B(\alpha-n,\beta-n) will be convergent only if \Re(\alpha-n)>0 and \Re(\beta-n)>0. But this is not possible as \alpha and \beta are finite and n\rightarrow\infty. The series B(\alpha,\beta;p) contains many terms, which does not exist. Moreover B(\alpha,\beta;p) is the sum of terms involving B(\alpha-n,\beta-n), which are not convergent, which implies that B(\alpha,\beta;p) is not convergent.

Example

Example 1

NBDM

If we choose \alpha=5,\beta=7,p=3, then from equation (Proof), we have

\begin{aligned} \aligned & B(5,7;3)=\sum_{n=0}^\infty \frac{(-3)^n}{n!}B(5-n,7-n), \endaligned \end{aligned}

The above series B(5,7;3) is the sum of terms involving the beta function B(5-n,7-n) and B(5-n,7-n) does not exit for n>5. Therefor B(5,7;3) is not convergent.

Uses Proof
Definition

Definition 1 (Ratio Test)

F18Y

Let \sum_{n=1}^\infty p_n be a series of positive terms, and suppose that \displaystyle\frac{p_{n+1}}{p_n}\rightarrow {\rm a\,\,limit\,\,} l as n\rightarrow \infty. Then (i) If l<1 the series \sum p_n is convergent, (ii) If l>1, then the series is divergent. If l=1, the ratio test fails, and the question of convergence of \sum p_n must be investigated by some other methods.

Used by Proof
Definition

Definition 2 (Leibniz’s Test or Alternating Series Test)

K4MC

The series \sum_{n=1}^\infty(-1)^{n+1}a_n (where a_n>0) is convergent provided (i) a_n is a decreasing sequence, (ii) a_n\rightarrow 0 as n\rightarrow\infty.

Theorem

Theorem 1

90L7

If \Re(\alpha)>0,\Re(\beta)>0, m\in\mathbb{C};|m|<M (where M is positive finite real number), then the modified extension of the classical beta function in equation (?) is convergent.

Proof of Theorem 1

We can write the above equation (?) as follows

\begin{aligned} \aligned & B(\alpha,\beta;m)=\int_0^1 t^{\alpha-1}(1-t)^{\beta-1}\sum_{n=0}^\infty \frac{[mt(1-t)]^n}{n!}dt\\& \hskip 10mm=\sum_{n=0}^\infty \frac{(m)^n}{n!}\int_0^1 t^{\alpha+n-1}(1-t)^{\beta+n-1}dt, \endaligned \end{aligned}

further, using the definition of beta function, the above equation (Proof) reduces to

\begin{aligned} \aligned & B(\alpha,\beta;m)=\sum_{n=0}^\infty \frac{(m)^n}{n!}B(\alpha+n,\beta+n). \endaligned \end{aligned}

In the above equation, B(\alpha,\beta;m) is in series form involving B(\alpha+n,\beta+n) (where n=0,1,2,...) and in each term of the series, B(\alpha+n,\beta+n) is convergent since \Re(\alpha+n)>0 and \Re(\beta+n)>0 for \Re(\alpha),\Re(\beta)>0, which implies that each term of the series (Proof) exist.

Now we shall prove that B(\alpha,\beta;m) is convergent. m may be greater than or less than 0, so there are two cases as follows.

Case.

If m>0, then to prove B(\alpha,\beta;m) is convergent.

The equation (Proof) can be written as

\begin{aligned} \aligned & B(\alpha,\beta;m)=\sum_{n=0}^\infty a_n, \,\, \\&\hskip 20mm{\rm where}\,\, \displaystyle a_n=\frac{(m)^n}{n!}B(\alpha+n,\beta+n). \endaligned \end{aligned}

Further

\begin{aligned} \aligned & \lim_{n\rightarrow \infty}\frac{a_n}{a_{n+1}}=\infty>1. \endaligned \end{aligned}

By ratio test, B(\alpha,\beta;m) is convergent for m>0.

Case.

If m<0, then to prove that the extension of classical beta function B(\alpha,\beta;m) is convergent.

To prove this case, let m=-p (where p>0), then equation (Proof)

\begin{aligned} \aligned & B(\alpha,\beta;m)=\sum_{n=0}^\infty \frac{(-p)^n}{n!}B(\alpha+n,\beta+n), \endaligned \end{aligned}

the above equation (Proof) can be written as

\begin{aligned} \aligned & B(\alpha,\beta;m)=-\sum_{n=0}^\infty (-1)^{n-1}b_n,\,\,\\&\hskip 20mm{\rm where}\,\, \displaystyle b_n=\frac{(p)^n}{n!}B(\alpha+n,\beta+n). \endaligned \end{aligned}

The series (Proof) is an alternating series, therefor

  1. a_n>0, \forall p>0,\Re(\alpha,\beta)>0

  2. \displaystyle a_n-a_{n+1}=\frac{p^n}{n!}B(\alpha+n,\beta+n)~~~~~~~~~~ \displaystyle\times\left[1-\frac{(\alpha+n)(\beta+n)}{(\alpha+\beta+2n)(\alpha+\beta+2n+1)}\right] >0 \Rightarrow a_n is decreasing

  3. \displaystyle\lim_{n\rightarrow \infty}a_n=0 if p\leq2 (\displaystyle {p^n}/{n!}\rightarrow 0 as n\rightarrow\infty only if p\leq 2 and B(\alpha+n,\beta+n)\rightarrow 0 as n\rightarrow \infty)

All the conditions of Leibniz’s test have been satisfied, therefore B(\alpha,\beta;m) is convergent for 0<p\leq 2\,\,\, i.e.\,-2\leq m<0.

From the above two cases Proof and Proof implies that the power series in equation (Proof) is convergent.

Note

Note 1

HGQL

It is also noted that if p=0, the extension of classical beta function should be reduced to the classical beta function i.e. B(\alpha,\beta;0) =B(\alpha,\beta). But the same not depict in the graph cited in [Chaudhry-Qadir-Rafique-Zubair-1997, Fig. 1, p. 31]. The graph depicts the values of extension of the classical beta function B(1,2.25;0)= B(1,0.25)=13.75 when p=0,x=1, y=0.25 and B(10,2.25;0)= B(10,0.25)=2.18(approximately) when p=0, x=10, y=0.25, which are not the correct values of the classical beta function. The correct values of the classical beta function at these point are B(1,0.25)=4 and B(10,0.25) =2.0582. It also can be easily observed from the figure that when p\neq 0 the graph of extended beta function totally different from that of the classical beta function. i.e. the behavior and nature of the curves differ from that of classical beta function.

Note

Note 2

8EAP

From the above discussion, it is very clear that the extension of classical beta function in equation (?) do not convergent. The extensions in equations (?), (?) and (?) are further extension of the extended beta function (?), therefor all these extensions also can not be convergent.

Note

Note 3

UR70

Due to the lack of the convergence of the extension of the classical beta function, all the associated results established by Chaudhary et\,\, al. [Chaudhry-Qadir-Rafique-Zubair-1997] do not convergent.

Note

Note 4

HJAC

From the above discussion, it is easy to conclude that the value of \Re(m) lies in the interval [-2.0335,2.0335] i.e. -2.0335\leq\Re(m)\leq 2.0335.

Note

Note 5

DG3K

In the sequel of this paper, |m|<M represents the circle of convergence and M is the radius of convergence of equation (?), where M is sightly grater than from 2.0335.

Theorem

Theorem 2 (Relation between modified extension of the classical beta function and the classical beta function)

Z4PO

If \Re(\alpha+s)>0, \Re(\beta+s)>0, m\in\mathbb{C}; |m|<M (where M is positive finite real number slightly greater than 2.0335), then we have the following relation

\begin{aligned} \aligned & \int_0^\infty m^{s-1}B(\alpha,\beta;m)dm=(-1)^s\Gamma(s)B(\alpha+s,\beta+s). \endaligned \end{aligned}
Used by Remark 1
Proof of Theorem 2

Multiplying both sides of equation (?) by m^{s-1}, then integrate w.r.t. m from m=0 to m=\infty, we have

\begin{aligned} \aligned & \int_0^\infty m^{s-1}B(\alpha,\beta;m)dm\\&=\int_0^\infty m^{s-1}\left[\int_0^1 t^{\alpha-1}(1-t)^{\beta-1}\exp(mt(1-t))dt\right]dm, \endaligned \end{aligned}

interchanging the order of integration, the above equation (Proof), reduces to

\begin{aligned} \aligned & \int_0^\infty m^{s-1}B(\alpha,\beta;m)dm\\&=\int_0^1 t^{\alpha-1}(1-t)^{\beta-1}\left[\int_0^\infty m^{s-1}\exp(mt(1-t))dm\right]dt, \endaligned \end{aligned}

further using the formula given in equation (?), after simplification the above equation (Proof) reduces to

\begin{aligned} \aligned & \int_0^\infty m^{s-1}B(\alpha,\beta;m)dm\\&=(-1)^s\Gamma(s)\int_0^1 t^{\alpha+s-1}(1-t)^{\beta+s-1}dt, \endaligned \end{aligned}

using the definition of classical beta function, we have the required result.

Remark

Remark 1

KC4Z

By setting s=1, the result in equation (2) reduces to

\begin{aligned} \aligned & \int_0^\infty B(\alpha,\beta;m)dm=-B(\alpha+1,\beta+1), \\&\hskip 20mm \Re(\alpha)>-1,\Re(\beta)>-1,\endaligned \end{aligned}

gives the interesting relation between classical beta function and modified extended beta function.

Remark

Remark 2

F831

All the derivatives of the modified extension of classical beta function (MECBF) with respect to the parameter m can be expressed in terms of the function as

\begin{aligned} \aligned & \frac{\partial^n }{\partial^nm}B(\alpha,\beta;m) =B(\alpha+n,\beta+n),\\& \hskip 20mm \Re(\alpha+n)>0,\Re(\beta+n)>0.\endaligned \end{aligned}
Theorem

Theorem 3 (Integral representations of the modified extension of the classical beta function)

H4SO

If \Re(x)>0, \Re(y)>0, m\in\mathbb{C}; |m|<M (where M is positive finite real number slightly greater than 2.0335), then we have the following relation

\begin{aligned} \aligned & B(\alpha,\beta;m)=2\int_0^{\frac{\pi}{2}}\cos^{2\alpha-1}\theta\sin^{2\beta-1}\theta\\&\hskip20mm\times\exp(m\cos^2\theta\sin^2\theta)d\theta, \endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=\int_0^{\infty}\frac{u^{\alpha-1}}{(1+u)^{\alpha+\beta}}\exp\left({mu}/{(1+u)^2}\right)du,\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=\frac{1}{2}\int_{0}^{\infty}\frac{u^{\alpha-1}+u^{\beta-1}}{(1+u)^{\alpha+\beta}}\\&\hskip20mm\times\exp\left({mu}/{(1+u)^2}\right)du,\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=(c-a)^{1-\alpha-\beta}\int_{a}^{c}(u-a)^{\alpha-1}(c-u)^{\beta-1}\\&\hskip20mm\times\exp\left(\frac{m(u-a)(c-u)}{(c-a)^2}\right)du,\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=2^{1-\alpha-\beta}\int_{-1}^{1}(1+t)^{\alpha-1}(1-t)^{\beta-1}\\&\hskip20mm\times\exp\left(m(1-t^2)/4\right)du,\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=2^{1-\alpha-\beta}\\&\times\int_{-\infty}^{\infty}\exp\left[(\alpha-\beta)x+\frac{m}{4\cosh^2x}\right]\frac{dx}{(\cosh x)^{\alpha+\beta}},\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=2^{2-\alpha-\beta}\int_{0}^{\infty}\cosh((\alpha-\beta)x)\\&\hskip20mm\times\exp\left[\frac{m}{4\cosh^2x}\right]\frac{dx}{(\cosh x)^{\alpha+\beta}},\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=2^{1-\alpha-\beta}\\&\times\int_{-\infty}^{\infty}\exp\left[\frac{1}{2}(\alpha-\beta)x+\frac{m}{2\cosh x}\right]\frac{dx}{(\cosh x/2)^{\alpha+\beta}},\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;m)=2^{2-\alpha-\beta}\int_{0}^{\infty}\cosh((\alpha-\beta)x/2)\\&\hskip20mm\times\exp\left[\frac{m}{2\cosh x}\right]\frac{dx}{(\cosh x/2)^{\alpha+\beta}}.\endaligned \end{aligned}
Used by Remark 3
Proof of Theorem 3

The result (3) can be easily obtained by setting t=\cos^2\theta, to prove (3) choose t=u/(1+u), (3) can be easily obtained by applying the symmetric property in equation (3) then adding new one and (3), the result in equation (3) is obtained by taking t=(u-a)/(c-a), setting a=-1,c=1 in equation (3) gives the result in equation (3) and to prove the result in equation (3) put u=\tanh x in (3). The results in equation (3), (3) and (3) can be easily obtained from the result (3).

Remark

Remark 3 (Useful inequalities)

GZVL

If \Re(\alpha)>0, \Re(\beta)>0, then we have the following inequality

\begin{aligned} \aligned & |B(\alpha,\beta;m)|\leq 1.6626B(\alpha,\beta)\endaligned \end{aligned}

follows from the integral representation (3). Since the function \exp(mu/(1+u)^2) attains its maximum value 1.6626 at u=1 and m=2.0335. The equality is verified with the help of numerical results by using Matlab.

Theorem

Theorem 4 (Functional Relation)

9DP0

If \Re(\alpha)>0, \Re(\beta)>0, m\in\mathbb{C}; |m|<M (where M is positive finite real number slightly greater than 2.0335), then we have the following relation

\begin{aligned} \aligned & B(\alpha,\beta+1;m)+B(\alpha+1,\beta;m)= B(\alpha,\beta;m). \endaligned \end{aligned}
Proof of Theorem 4

LHS of the above equation (4) is equal to

\begin{aligned}\int_0^1\{ t^{\alpha-1}(1-t)^{\beta}+t^{\alpha}(1-t)^{\beta-1}\}e^{mt(1-t)}dt \end{aligned}

after simplification the above equation (Proof) reduced to

\begin{aligned}\int_0^1\{ t^{\alpha-1}(1-t)^{\beta-1}\}e^{mt(1-t)}dt=B(\alpha,\beta;m). \end{aligned}
Theorem

Theorem 5 (Symmetry)

D0XS

If \Re(\alpha)>0, \Re(\beta)>0, m\in\mathbb{C}; |m|<M (where M is positive finite real number slightly greater than 2.0335), then we have the following relation

\begin{aligned} \aligned & B(\alpha,\beta;m)= B(\beta,\alpha;m). \endaligned \end{aligned}
Proof of Theorem 5

From equation (Proof) we have

\begin{aligned} \aligned & B(\alpha,\beta;m)=\sum_{n=0}^\infty \frac{(m)^n}{n!}B(\alpha+n,\beta+n) \endaligned \end{aligned}

Since usual beta function is symmetric i.e. B(\alpha,\beta)=B(\beta,\alpha). Using this property in the right hand side of the equation (Proof), then we have

\begin{aligned} \aligned & B(\alpha,\beta;m)=\sum_{n=0}^\infty \frac{(m)^n}{n!}B(\beta+n,\alpha+n)= B(\beta,\alpha;m). \endaligned \end{aligned}
Uses Proof
Theorem

Theorem 6 (First Summation Relation)

QF36

If \Re(\alpha)>0, \Re(1-\beta)>0, m\in\mathbb{C}; |m|<M (where M is positive finite real number slightly greater than 2.0335), then we have the following relation

\begin{aligned} \aligned & B(\alpha,1-\beta;m)= \sum_{n=0}^\infty \frac{(\beta)_n}{n!}B(\alpha+n,1;m). \endaligned \end{aligned}
Used by Proof
Proof of Theorem 6

The LHS of the equation (6) can be written as

\begin{aligned} \aligned & B(\alpha,1-\beta;m)= \int_0^1 t^{\alpha-1}(1-t)^{-\beta}\exp(mt(1-t))dt, \endaligned \end{aligned}

using the binomial series expansion \displaystyle(1-t)^{-\beta}= \displaystyle\sum_{n=0}^\infty\frac{(\beta)_n}{n!}t^n in the above equation (Proof) and then interchanging the order of summation and integration, the above result (Proof) reduced to the following form

\begin{aligned} \aligned & B(\alpha,1-\beta;m)\\&= \sum_{n=0}^\infty\frac{(\beta)_n}{n!}\int_0^1 t^{\alpha+n-1}\exp(mt(1-t))dt \endaligned \end{aligned}
\begin{aligned} \aligned & \Rightarrow B(\alpha,1-\beta;m)= \sum_{n=0}^\infty\frac{(\beta)_n}{n!}B(\alpha+n,1;m). \endaligned \end{aligned}
Theorem

Theorem 7 (Second Summation Relation)

Q5GR

If \Re(\alpha)>0,\Re(\beta)>0, m\in\mathbb{C};|m|<M (where M is positive finite real number slightly greater than 2.0335), then we have the following relation

\begin{aligned} \aligned & B(\alpha,\beta;m)= \sum_{n=0}^\infty B(\alpha+n,\beta+1;m). \endaligned \end{aligned}
Proof of Theorem 7

The LHS of the equation (6) can be written as

\begin{aligned} \aligned & B(\alpha,\beta;m)= \int_0^1 t^{\alpha-1}(1-t)^{\beta-1}\exp(mt(1-t))dt, \endaligned \end{aligned}

using the binomial series expansion \displaystyle(1-t)^{\beta-1}=(1-t)^\alpha\sum_{n=0}^\infty t^n,\hskip 2mm(|t|<1) and interchanging the order of summation and integration, the above equation (Proof) reduces to

\begin{aligned} \aligned & B(\alpha,\beta;m)= \sum_{n=0}^\infty\int_0^1 t^{\alpha+n-1}(1-t)^\beta\exp(mt(1-t))dt \endaligned \end{aligned}
\begin{aligned} \aligned & \Rightarrow B(\alpha,\beta;m)= \sum_{n=0}^\infty B(\alpha+n,\beta+1;m). \endaligned \end{aligned}
Theorem

Theorem 8 (Separation)

U894

If \Re(\alpha)>0, \Re(\beta)>0, m\in\mathbb{C}; |m|<M (where M is positive finite real number slightly greater than 2.0335), then B(\alpha,\beta;m) can can be separated into real and imaginary part of m as follows

\begin{aligned} \aligned & B(\alpha,\beta;r\cos\theta)\\&=\int_0^1t^{\alpha-1}(1-t)^{\beta-1}\exp(rt(1-t)\cos\theta)dt,\endaligned \end{aligned}
\begin{aligned} \aligned & B(\alpha,\beta;r\sin\theta)\\&=\int_0^1t^{\alpha-1}(1-t)^{\beta-1}\exp(rt(1-t)\sin\theta)dt, \endaligned \end{aligned}

where r=\sqrt{x^2+y^2}=|m|<M and \theta=\tan^{-1}y/x.

Proof of Theorem 8

Since m\in\mathbb{C}, so let m=x+iy where x,y\in\mathbb{R} and also let x+iy=r\cos\theta+ir\sin\theta \Rightarrow r=\sqrt{x^2+y^2} and \theta=\tan^{-1}y/x, then from equation (?), we have

\begin{aligned} \aligned & B(\alpha,\beta;x+iy)\\&=\int_0^1t^{\alpha-1}(1-t)^{\beta-1}\exp(re^{i\theta}t(1-t))dt, \endaligned \end{aligned}

after simplification the above equation (Proof) reduces to

\begin{aligned} \aligned & B(\alpha,\beta;r\cos\theta+ir\sin\theta)\\&=\int_0^1t^{\alpha-1}(1-t)^{\beta-1}\exp(rt(1-t)\cos\theta)dt\\& \hskip 10mm +i\int_0^1t^{\alpha-1}(1-t)^{\beta-1}\exp(rt(1-t)\sin\theta)dt, \endaligned \end{aligned}

equating the real and imaginary parts of m only, we have the required results.

Source and licence

The text on this page is from arXiv:1704.08191v1 by Mehar Chand, under the licence CC0 1.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1704/1704.08191.jsonl.