Mixing
Rewriting Appell's Hypergeometric Function $F_1$ in terms of Gauss' Hypergeometric Function $_2F_1$
$begingroup$
While going through David H. answer on What is $int_0^1 frac{log left(1-x^2right) sin ^{-1}(x)^2}{x^2} , dx$? I have encountered a step in between I do not really understand. Within the second half of Part $3$ he has rewritten an Appellian Hypergeometric Function $F_1(a;b,b';c;x,y)$ in terms of two Gaussian Hypergeometric Functions $_2F_1(a,b;c;x)$ in the following way
$$F_1left(1;1,frac12;2;x,xzright)~=~frac2{xsqrt{1-zx}}~_2F_1left(1,frac12;frac32;frac{1-z}{1-xz}right)-frac2x~_2F_1left(1,frac12;frac32;1-zright)$$
Relying on the general idea of Appell's Hypergeometric Function as an extension of Gauss' Hypergeometric Function I conjectured that the given identity is a particular case of a more general formula. Searching through various websites aswell as articles $-$ which could be found freely available $-$ I was not able to find something helpful. It might be the case that I have overlooked something.
However, while searching I became more familiar with the machiney of Hypergeometric Functions in general. Thus, I have some guesses regarding the identity
- First of all I concerning the factor $2$: quite often a regularisation using Beta Functions is done withint the integral representations of Hypergeometric Functions. Therefore I guess the $2$ can be represented through $Bleft(frac12,1right)=Bleft(frac12,frac32-frac12right)=2$. The arguments of this Beta Function correspond to the values of the $_2F_1$ functions.
- Secondly it seems to me that the arguments of the latter $_2F_1$ functions correspond to the two arguments of the $F_1$ function as $$F_1(dots;x,y)=~_2F_1left(dots;frac{1-frac yx}{1-y}right)-~_2F_1left(dots;1-frac yxright)$$
- Last but not least the factors infront of the $_2F_1$ functions which depend on $x,y$ might be given by $$F_1(a;b,b';c;x,y)=~x^{-b}y^{-b'}~_2F_1(dots)-~x^{-b}~_2F_1(dots)$$
I am still not really sure how to deduce the general formula from the given particular case since on could combine the arguments of the $F_1$ function in many ways in order to get the one from the $_2F_1$ functions. I tried to utilize the integral representations of both invoked functions but it did not really lead anywhere. The usage of the series representations seems to be pointless her but I could be proved wrong. I had no luck with the particular case either.
Could someone provide a proof for the given identity? Moreover I would be interested in the general formula which was used here and in a proof of it aswell.
Thanks in advance!
hypergeometric-function
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
$endgroup$
add a comment |
$begingroup$
While going through David H. answer on What is $int_0^1 frac{log left(1-x^2right) sin ^{-1}(x)^2}{x^2} , dx$? I have encountered a step in between I do not really understand. Within the second half of Part $3$ he has rewritten an Appellian Hypergeometric Function $F_1(a;b,b';c;x,y)$ in terms of two Gaussian Hypergeometric Functions $_2F_1(a,b;c;x)$ in the following way
$$F_1left(1;1,frac12;2;x,xzright)~=~frac2{xsqrt{1-zx}}~_2F_1left(1,frac12;frac32;frac{1-z}{1-xz}right)-frac2x~_2F_1left(1,frac12;frac32;1-zright)$$
Relying on the general idea of Appell's Hypergeometric Function as an extension of Gauss' Hypergeometric Function I conjectured that the given identity is a particular case of a more general formula. Searching through various websites aswell as articles $-$ which could be found freely available $-$ I was not able to find something helpful. It might be the case that I have overlooked something.
However, while searching I became more familiar with the machiney of Hypergeometric Functions in general. Thus, I have some guesses regarding the identity
- First of all I concerning the factor $2$: quite often a regularisation using Beta Functions is done withint the integral representations of Hypergeometric Functions. Therefore I guess the $2$ can be represented through $Bleft(frac12,1right)=Bleft(frac12,frac32-frac12right)=2$. The arguments of this Beta Function correspond to the values of the $_2F_1$ functions.
- Secondly it seems to me that the arguments of the latter $_2F_1$ functions correspond to the two arguments of the $F_1$ function as $$F_1(dots;x,y)=~_2F_1left(dots;frac{1-frac yx}{1-y}right)-~_2F_1left(dots;1-frac yxright)$$
- Last but not least the factors infront of the $_2F_1$ functions which depend on $x,y$ might be given by $$F_1(a;b,b';c;x,y)=~x^{-b}y^{-b'}~_2F_1(dots)-~x^{-b}~_2F_1(dots)$$
I am still not really sure how to deduce the general formula from the given particular case since on could combine the arguments of the $F_1$ function in many ways in order to get the one from the $_2F_1$ functions. I tried to utilize the integral representations of both invoked functions but it did not really lead anywhere. The usage of the series representations seems to be pointless her but I could be proved wrong. I had no luck with the particular case either.
Could someone provide a proof for the given identity? Moreover I would be interested in the general formula which was used here and in a proof of it aswell.
Thanks in advance!
hypergeometric-function
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
$endgroup$
add a comment |
$begingroup$
While going through David H. answer on What is $int_0^1 frac{log left(1-x^2right) sin ^{-1}(x)^2}{x^2} , dx$? I have encountered a step in between I do not really understand. Within the second half of Part $3$ he has rewritten an Appellian Hypergeometric Function $F_1(a;b,b';c;x,y)$ in terms of two Gaussian Hypergeometric Functions $_2F_1(a,b;c;x)$ in the following way
$$F_1left(1;1,frac12;2;x,xzright)~=~frac2{xsqrt{1-zx}}~_2F_1left(1,frac12;frac32;frac{1-z}{1-xz}right)-frac2x~_2F_1left(1,frac12;frac32;1-zright)$$
Relying on the general idea of Appell's Hypergeometric Function as an extension of Gauss' Hypergeometric Function I conjectured that the given identity is a particular case of a more general formula. Searching through various websites aswell as articles $-$ which could be found freely available $-$ I was not able to find something helpful. It might be the case that I have overlooked something.
However, while searching I became more familiar with the machiney of Hypergeometric Functions in general. Thus, I have some guesses regarding the identity
- First of all I concerning the factor $2$: quite often a regularisation using Beta Functions is done withint the integral representations of Hypergeometric Functions. Therefore I guess the $2$ can be represented through $Bleft(frac12,1right)=Bleft(frac12,frac32-frac12right)=2$. The arguments of this Beta Function correspond to the values of the $_2F_1$ functions.
- Secondly it seems to me that the arguments of the latter $_2F_1$ functions correspond to the two arguments of the $F_1$ function as $$F_1(dots;x,y)=~_2F_1left(dots;frac{1-frac yx}{1-y}right)-~_2F_1left(dots;1-frac yxright)$$
- Last but not least the factors infront of the $_2F_1$ functions which depend on $x,y$ might be given by $$F_1(a;b,b';c;x,y)=~x^{-b}y^{-b'}~_2F_1(dots)-~x^{-b}~_2F_1(dots)$$
I am still not really sure how to deduce the general formula from the given particular case since on could combine the arguments of the $F_1$ function in many ways in order to get the one from the $_2F_1$ functions. I tried to utilize the integral representations of both invoked functions but it did not really lead anywhere. The usage of the series representations seems to be pointless her but I could be proved wrong. I had no luck with the particular case either.
Could someone provide a proof for the given identity? Moreover I would be interested in the general formula which was used here and in a proof of it aswell.
Thanks in advance!
hypergeometric-function
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
$endgroup$
While going through David H. answer on What is $int_0^1 frac{log left(1-x^2right) sin ^{-1}(x)^2}{x^2} , dx$? I have encountered a step in between I do not really understand. Within the second half of Part $3$ he has rewritten an Appellian Hypergeometric Function $F_1(a;b,b';c;x,y)$ in terms of two Gaussian Hypergeometric Functions $_2F_1(a,b;c;x)$ in the following way
$$F_1left(1;1,frac12;2;x,xzright)~=~frac2{xsqrt{1-zx}}~_2F_1left(1,frac12;frac32;frac{1-z}{1-xz}right)-frac2x~_2F_1left(1,frac12;frac32;1-zright)$$
Relying on the general idea of Appell's Hypergeometric Function as an extension of Gauss' Hypergeometric Function I conjectured that the given identity is a particular case of a more general formula. Searching through various websites aswell as articles $-$ which could be found freely available $-$ I was not able to find something helpful. It might be the case that I have overlooked something.
However, while searching I became more familiar with the machiney of Hypergeometric Functions in general. Thus, I have some guesses regarding the identity
- First of all I concerning the factor $2$: quite often a regularisation using Beta Functions is done withint the integral representations of Hypergeometric Functions. Therefore I guess the $2$ can be represented through $Bleft(frac12,1right)=Bleft(frac12,frac32-frac12right)=2$. The arguments of this Beta Function correspond to the values of the $_2F_1$ functions.
- Secondly it seems to me that the arguments of the latter $_2F_1$ functions correspond to the two arguments of the $F_1$ function as $$F_1(dots;x,y)=~_2F_1left(dots;frac{1-frac yx}{1-y}right)-~_2F_1left(dots;1-frac yxright)$$
- Last but not least the factors infront of the $_2F_1$ functions which depend on $x,y$ might be given by $$F_1(a;b,b';c;x,y)=~x^{-b}y^{-b'}~_2F_1(dots)-~x^{-b}~_2F_1(dots)$$
I am still not really sure how to deduce the general formula from the given particular case since on could combine the arguments of the $F_1$ function in many ways in order to get the one from the $_2F_1$ functions. I tried to utilize the integral representations of both invoked functions but it did not really lead anywhere. The usage of the series representations seems to be pointless her but I could be proved wrong. I had no luck with the particular case either.
Could someone provide a proof for the given identity? Moreover I would be interested in the general formula which was used here and in a proof of it aswell.
Thanks in advance!
hypergeometric-function
hypergeometric-function
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
edited Jan 18 at 10:56
mrtaurho
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
asked Jan 18 at 10:47
mrtaurhomrtaurho
5,54051440
5,54051440
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Given real parameters $left(alpha,beta,gamma,deltaright)inmathbb{R}^{4}$ such that $0<alpha<delta$ and real arguments $left(x,yright)inleft(-infty,1right)^{2}$, we can express the Appell $F_{1}$ function via the integral representation
$$begin{align}
F_{1}{left(alpha;beta,gamma;delta;x,yright)}
&=frac{1}{operatorname{B}{left(alpha,delta-alpharight)}}int_{0}^{1}mathrm{d}t,frac{t^{alpha-1}left(1-tright)^{delta-alpha-1}}{left(1-xtright)^{beta}left(1-ytright)^{gamma}}.\
end{align}$$
Starting from the integral representation of the $F_{1}$ function for the particular set of parameters that we're interested in, we obtain an integral of a simple algebraic function with elementary antiderivative: for any fixed but arbitrary $left(x,yright)inleft(-infty,1right)^{2}$,
$$begin{align}
F_{1}{left(1;1,frac12;2;x,yright)}
&=frac{1}{operatorname{B}{left(1,1right)}}int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{1}^{0}mathrm{d}u,frac{left(-1right)left(1-xright)}{left(1-xuright)^{2}}cdotfrac{left(1-xuright)sqrt{1-xu}}{left(1-xright)sqrt{left(1-yright)-left(x-yright)u}};~~~small{left[t=frac{1-u}{1-xu}right]}\
&=frac{1}{sqrt{1-y}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-y}{1-y}right)uright]}}.\
end{align}$$
Suppose $ainleft(0,1right)$ and $x<1land xneq0$. Setting $y=ax$, we then find
$$begin{align}
F_{1}{left(1;1,frac12;2;x,axright)}
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-ax}{1-ax}right)uright]}}\
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{1-a}{1-ax}right)xuright]}}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{x}mathrm{d}v,frac{1}{sqrt{left(1-vright)left[1-left(frac{1-a}{1-ax}right)vright]}};~~~small{left[u=frac{v}{x}right]}\
&=frac{1}{xsqrt{1-ax}}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[1-left(frac{1-a}{1-ax}right)left(1-wright)right]}};~~~small{left[v=1-wright]}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[left(1-axright)-left(1-aright)left(1-wright)right]}}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&~~~~~-frac{1}{x}int_{0}^{1-x}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[left(1-axright)-left(1-aright)tright]}};~~~small{left[w=1-tright]}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{tleft[a+left(1-aright)tright]}};~~~small{left[w=left(1-xright)tright]}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[1-left(frac{1-a}{1-ax}right)tright]}}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-uright)left[1-left(1-aright)uright]}};~~~small{left[t=1-uright]}\
&=frac{2}{xsqrt{1-ax}},{_2F_1}{left(frac12,1;frac32;frac{1-a}{1-ax}right)}-frac{2}{x},{_2F_1}{left(frac12,1;frac32;1-aright)},\
end{align}$$
where in the last line above we've used the Euler integral representation formula to express the remaining integrals in terms of the ${_2F_1}$ function:
$$int_{0}^{1}mathrm{d}t,frac{t^{beta-1}left(1-tright)^{gamma-beta-1}}{left(1-ztright)^{alpha}}=operatorname{B}{left(beta,gamma-betaright)},{_2F_1}{left(alpha,beta;gamma;zright)};~~~small{z<1land0<beta<gamma}.$$
$$tag*{$blacksquare$}$$
answered Jan 24 at 4:57
David HDavid H
21.6k24592
$endgroup$
$begingroup$
First of all thank you for your answer (+1). How did you encountered this identity? Is it a particular form of a more general relation $-$ as I conjectured $-$ or did you found it by pure chance while trying to evaluate the integral?
$endgroup$
– mrtaurho
Jan 25 at 12:58
1
$begingroup$
@mrtaurho The identity is just something I jerry-rigged together for the sole purpose of aiding the evaluation of a difficult integral, and so far as I know isn't a particular case of any well-known general functional relation. Knowing that the Appell $F_1$ function stands for an elementary integral, and knowing that most basic elementary functions can be expressed as a Gauss ${_2F_1}$ function, I was able to guess that some sort of identity could be constructed in this case. Note that the steps in my work rely HEAVILY on the fact that the hypergeometric parameters are half-integers.
$endgroup$
– David H
Jan 25 at 13:34
$begingroup$
I have to admit that I am even more impressed by your capability of eventually evaluating this integral knowing that it did not rely on a general relation. I take my hat off to you!
$endgroup$
– mrtaurho
Jan 25 at 13:50
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3078082%2frewriting-appells-hypergeometric-function-f-1-in-terms-of-gauss-hypergeometr%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Given real parameters $left(alpha,beta,gamma,deltaright)inmathbb{R}^{4}$ such that $0<alpha<delta$ and real arguments $left(x,yright)inleft(-infty,1right)^{2}$, we can express the Appell $F_{1}$ function via the integral representation
$$begin{align}
F_{1}{left(alpha;beta,gamma;delta;x,yright)}
&=frac{1}{operatorname{B}{left(alpha,delta-alpharight)}}int_{0}^{1}mathrm{d}t,frac{t^{alpha-1}left(1-tright)^{delta-alpha-1}}{left(1-xtright)^{beta}left(1-ytright)^{gamma}}.\
end{align}$$
Starting from the integral representation of the $F_{1}$ function for the particular set of parameters that we're interested in, we obtain an integral of a simple algebraic function with elementary antiderivative: for any fixed but arbitrary $left(x,yright)inleft(-infty,1right)^{2}$,
$$begin{align}
F_{1}{left(1;1,frac12;2;x,yright)}
&=frac{1}{operatorname{B}{left(1,1right)}}int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{1}^{0}mathrm{d}u,frac{left(-1right)left(1-xright)}{left(1-xuright)^{2}}cdotfrac{left(1-xuright)sqrt{1-xu}}{left(1-xright)sqrt{left(1-yright)-left(x-yright)u}};~~~small{left[t=frac{1-u}{1-xu}right]}\
&=frac{1}{sqrt{1-y}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-y}{1-y}right)uright]}}.\
end{align}$$
Suppose $ainleft(0,1right)$ and $x<1land xneq0$. Setting $y=ax$, we then find
$$begin{align}
F_{1}{left(1;1,frac12;2;x,axright)}
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-ax}{1-ax}right)uright]}}\
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{1-a}{1-ax}right)xuright]}}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{x}mathrm{d}v,frac{1}{sqrt{left(1-vright)left[1-left(frac{1-a}{1-ax}right)vright]}};~~~small{left[u=frac{v}{x}right]}\
&=frac{1}{xsqrt{1-ax}}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[1-left(frac{1-a}{1-ax}right)left(1-wright)right]}};~~~small{left[v=1-wright]}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[left(1-axright)-left(1-aright)left(1-wright)right]}}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&~~~~~-frac{1}{x}int_{0}^{1-x}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[left(1-axright)-left(1-aright)tright]}};~~~small{left[w=1-tright]}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{tleft[a+left(1-aright)tright]}};~~~small{left[w=left(1-xright)tright]}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[1-left(frac{1-a}{1-ax}right)tright]}}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-uright)left[1-left(1-aright)uright]}};~~~small{left[t=1-uright]}\
&=frac{2}{xsqrt{1-ax}},{_2F_1}{left(frac12,1;frac32;frac{1-a}{1-ax}right)}-frac{2}{x},{_2F_1}{left(frac12,1;frac32;1-aright)},\
end{align}$$
where in the last line above we've used the Euler integral representation formula to express the remaining integrals in terms of the ${_2F_1}$ function:
$$int_{0}^{1}mathrm{d}t,frac{t^{beta-1}left(1-tright)^{gamma-beta-1}}{left(1-ztright)^{alpha}}=operatorname{B}{left(beta,gamma-betaright)},{_2F_1}{left(alpha,beta;gamma;zright)};~~~small{z<1land0<beta<gamma}.$$
$$tag*{$blacksquare$}$$
answered Jan 24 at 4:57
David HDavid H
21.6k24592
$endgroup$
$begingroup$
First of all thank you for your answer (+1). How did you encountered this identity? Is it a particular form of a more general relation $-$ as I conjectured $-$ or did you found it by pure chance while trying to evaluate the integral?
$endgroup$
– mrtaurho
Jan 25 at 12:58
1
$begingroup$
@mrtaurho The identity is just something I jerry-rigged together for the sole purpose of aiding the evaluation of a difficult integral, and so far as I know isn't a particular case of any well-known general functional relation. Knowing that the Appell $F_1$ function stands for an elementary integral, and knowing that most basic elementary functions can be expressed as a Gauss ${_2F_1}$ function, I was able to guess that some sort of identity could be constructed in this case. Note that the steps in my work rely HEAVILY on the fact that the hypergeometric parameters are half-integers.
$endgroup$
– David H
Jan 25 at 13:34
$begingroup$
I have to admit that I am even more impressed by your capability of eventually evaluating this integral knowing that it did not rely on a general relation. I take my hat off to you!
$endgroup$
– mrtaurho
Jan 25 at 13:50
add a comment |
$begingroup$
Given real parameters $left(alpha,beta,gamma,deltaright)inmathbb{R}^{4}$ such that $0<alpha<delta$ and real arguments $left(x,yright)inleft(-infty,1right)^{2}$, we can express the Appell $F_{1}$ function via the integral representation
$$begin{align}
F_{1}{left(alpha;beta,gamma;delta;x,yright)}
&=frac{1}{operatorname{B}{left(alpha,delta-alpharight)}}int_{0}^{1}mathrm{d}t,frac{t^{alpha-1}left(1-tright)^{delta-alpha-1}}{left(1-xtright)^{beta}left(1-ytright)^{gamma}}.\
end{align}$$
Starting from the integral representation of the $F_{1}$ function for the particular set of parameters that we're interested in, we obtain an integral of a simple algebraic function with elementary antiderivative: for any fixed but arbitrary $left(x,yright)inleft(-infty,1right)^{2}$,
$$begin{align}
F_{1}{left(1;1,frac12;2;x,yright)}
&=frac{1}{operatorname{B}{left(1,1right)}}int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{1}^{0}mathrm{d}u,frac{left(-1right)left(1-xright)}{left(1-xuright)^{2}}cdotfrac{left(1-xuright)sqrt{1-xu}}{left(1-xright)sqrt{left(1-yright)-left(x-yright)u}};~~~small{left[t=frac{1-u}{1-xu}right]}\
&=frac{1}{sqrt{1-y}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-y}{1-y}right)uright]}}.\
end{align}$$
Suppose $ainleft(0,1right)$ and $x<1land xneq0$. Setting $y=ax$, we then find
$$begin{align}
F_{1}{left(1;1,frac12;2;x,axright)}
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-ax}{1-ax}right)uright]}}\
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{1-a}{1-ax}right)xuright]}}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{x}mathrm{d}v,frac{1}{sqrt{left(1-vright)left[1-left(frac{1-a}{1-ax}right)vright]}};~~~small{left[u=frac{v}{x}right]}\
&=frac{1}{xsqrt{1-ax}}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[1-left(frac{1-a}{1-ax}right)left(1-wright)right]}};~~~small{left[v=1-wright]}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[left(1-axright)-left(1-aright)left(1-wright)right]}}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&~~~~~-frac{1}{x}int_{0}^{1-x}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[left(1-axright)-left(1-aright)tright]}};~~~small{left[w=1-tright]}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{tleft[a+left(1-aright)tright]}};~~~small{left[w=left(1-xright)tright]}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[1-left(frac{1-a}{1-ax}right)tright]}}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-uright)left[1-left(1-aright)uright]}};~~~small{left[t=1-uright]}\
&=frac{2}{xsqrt{1-ax}},{_2F_1}{left(frac12,1;frac32;frac{1-a}{1-ax}right)}-frac{2}{x},{_2F_1}{left(frac12,1;frac32;1-aright)},\
end{align}$$
where in the last line above we've used the Euler integral representation formula to express the remaining integrals in terms of the ${_2F_1}$ function:
$$int_{0}^{1}mathrm{d}t,frac{t^{beta-1}left(1-tright)^{gamma-beta-1}}{left(1-ztright)^{alpha}}=operatorname{B}{left(beta,gamma-betaright)},{_2F_1}{left(alpha,beta;gamma;zright)};~~~small{z<1land0<beta<gamma}.$$
$$tag*{$blacksquare$}$$
answered Jan 24 at 4:57
David HDavid H
21.6k24592
$endgroup$
$begingroup$
First of all thank you for your answer (+1). How did you encountered this identity? Is it a particular form of a more general relation $-$ as I conjectured $-$ or did you found it by pure chance while trying to evaluate the integral?
$endgroup$
– mrtaurho
Jan 25 at 12:58
1
$begingroup$
@mrtaurho The identity is just something I jerry-rigged together for the sole purpose of aiding the evaluation of a difficult integral, and so far as I know isn't a particular case of any well-known general functional relation. Knowing that the Appell $F_1$ function stands for an elementary integral, and knowing that most basic elementary functions can be expressed as a Gauss ${_2F_1}$ function, I was able to guess that some sort of identity could be constructed in this case. Note that the steps in my work rely HEAVILY on the fact that the hypergeometric parameters are half-integers.
$endgroup$
– David H
Jan 25 at 13:34
$begingroup$
I have to admit that I am even more impressed by your capability of eventually evaluating this integral knowing that it did not rely on a general relation. I take my hat off to you!
$endgroup$
– mrtaurho
Jan 25 at 13:50
add a comment |
$begingroup$
Given real parameters $left(alpha,beta,gamma,deltaright)inmathbb{R}^{4}$ such that $0<alpha<delta$ and real arguments $left(x,yright)inleft(-infty,1right)^{2}$, we can express the Appell $F_{1}$ function via the integral representation
$$begin{align}
F_{1}{left(alpha;beta,gamma;delta;x,yright)}
&=frac{1}{operatorname{B}{left(alpha,delta-alpharight)}}int_{0}^{1}mathrm{d}t,frac{t^{alpha-1}left(1-tright)^{delta-alpha-1}}{left(1-xtright)^{beta}left(1-ytright)^{gamma}}.\
end{align}$$
Starting from the integral representation of the $F_{1}$ function for the particular set of parameters that we're interested in, we obtain an integral of a simple algebraic function with elementary antiderivative: for any fixed but arbitrary $left(x,yright)inleft(-infty,1right)^{2}$,
$$begin{align}
F_{1}{left(1;1,frac12;2;x,yright)}
&=frac{1}{operatorname{B}{left(1,1right)}}int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{1}^{0}mathrm{d}u,frac{left(-1right)left(1-xright)}{left(1-xuright)^{2}}cdotfrac{left(1-xuright)sqrt{1-xu}}{left(1-xright)sqrt{left(1-yright)-left(x-yright)u}};~~~small{left[t=frac{1-u}{1-xu}right]}\
&=frac{1}{sqrt{1-y}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-y}{1-y}right)uright]}}.\
end{align}$$
Suppose $ainleft(0,1right)$ and $x<1land xneq0$. Setting $y=ax$, we then find
$$begin{align}
F_{1}{left(1;1,frac12;2;x,axright)}
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-ax}{1-ax}right)uright]}}\
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{1-a}{1-ax}right)xuright]}}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{x}mathrm{d}v,frac{1}{sqrt{left(1-vright)left[1-left(frac{1-a}{1-ax}right)vright]}};~~~small{left[u=frac{v}{x}right]}\
&=frac{1}{xsqrt{1-ax}}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[1-left(frac{1-a}{1-ax}right)left(1-wright)right]}};~~~small{left[v=1-wright]}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[left(1-axright)-left(1-aright)left(1-wright)right]}}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&~~~~~-frac{1}{x}int_{0}^{1-x}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[left(1-axright)-left(1-aright)tright]}};~~~small{left[w=1-tright]}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{tleft[a+left(1-aright)tright]}};~~~small{left[w=left(1-xright)tright]}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[1-left(frac{1-a}{1-ax}right)tright]}}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-uright)left[1-left(1-aright)uright]}};~~~small{left[t=1-uright]}\
&=frac{2}{xsqrt{1-ax}},{_2F_1}{left(frac12,1;frac32;frac{1-a}{1-ax}right)}-frac{2}{x},{_2F_1}{left(frac12,1;frac32;1-aright)},\
end{align}$$
where in the last line above we've used the Euler integral representation formula to express the remaining integrals in terms of the ${_2F_1}$ function:
$$int_{0}^{1}mathrm{d}t,frac{t^{beta-1}left(1-tright)^{gamma-beta-1}}{left(1-ztright)^{alpha}}=operatorname{B}{left(beta,gamma-betaright)},{_2F_1}{left(alpha,beta;gamma;zright)};~~~small{z<1land0<beta<gamma}.$$
$$tag*{$blacksquare$}$$
answered Jan 24 at 4:57
David HDavid H
21.6k24592
$endgroup$
Given real parameters $left(alpha,beta,gamma,deltaright)inmathbb{R}^{4}$ such that $0<alpha<delta$ and real arguments $left(x,yright)inleft(-infty,1right)^{2}$, we can express the Appell $F_{1}$ function via the integral representation
$$begin{align}
F_{1}{left(alpha;beta,gamma;delta;x,yright)}
&=frac{1}{operatorname{B}{left(alpha,delta-alpharight)}}int_{0}^{1}mathrm{d}t,frac{t^{alpha-1}left(1-tright)^{delta-alpha-1}}{left(1-xtright)^{beta}left(1-ytright)^{gamma}}.\
end{align}$$
Starting from the integral representation of the $F_{1}$ function for the particular set of parameters that we're interested in, we obtain an integral of a simple algebraic function with elementary antiderivative: for any fixed but arbitrary $left(x,yright)inleft(-infty,1right)^{2}$,
$$begin{align}
F_{1}{left(1;1,frac12;2;x,yright)}
&=frac{1}{operatorname{B}{left(1,1right)}}int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{0}^{1}mathrm{d}t,frac{1}{left(1-xtright)sqrt{1-yt}}\
&=int_{1}^{0}mathrm{d}u,frac{left(-1right)left(1-xright)}{left(1-xuright)^{2}}cdotfrac{left(1-xuright)sqrt{1-xu}}{left(1-xright)sqrt{left(1-yright)-left(x-yright)u}};~~~small{left[t=frac{1-u}{1-xu}right]}\
&=frac{1}{sqrt{1-y}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-y}{1-y}right)uright]}}.\
end{align}$$
Suppose $ainleft(0,1right)$ and $x<1land xneq0$. Setting $y=ax$, we then find
$$begin{align}
F_{1}{left(1;1,frac12;2;x,axright)}
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{x-ax}{1-ax}right)uright]}}\
&=frac{1}{sqrt{1-ax}}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-xuright)left[1-left(frac{1-a}{1-ax}right)xuright]}}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{x}mathrm{d}v,frac{1}{sqrt{left(1-vright)left[1-left(frac{1-a}{1-ax}right)vright]}};~~~small{left[u=frac{v}{x}right]}\
&=frac{1}{xsqrt{1-ax}}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[1-left(frac{1-a}{1-ax}right)left(1-wright)right]}};~~~small{left[v=1-wright]}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[left(1-axright)-left(1-aright)left(1-wright)right]}}\
&=frac{1}{x}int_{1-x}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&~~~~~-frac{1}{x}int_{0}^{1-x}mathrm{d}w,frac{1}{sqrt{wleft[aleft(1-xright)+left(1-aright)wright]}}\
&=frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[left(1-axright)-left(1-aright)tright]}};~~~small{left[w=1-tright]}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{tleft[a+left(1-aright)tright]}};~~~small{left[w=left(1-xright)tright]}\
&=frac{1}{xsqrt{1-ax}}int_{0}^{1}mathrm{d}t,frac{1}{sqrt{left(1-tright)left[1-left(frac{1-a}{1-ax}right)tright]}}\
&~~~~~-frac{1}{x}int_{0}^{1}mathrm{d}u,frac{1}{sqrt{left(1-uright)left[1-left(1-aright)uright]}};~~~small{left[t=1-uright]}\
&=frac{2}{xsqrt{1-ax}},{_2F_1}{left(frac12,1;frac32;frac{1-a}{1-ax}right)}-frac{2}{x},{_2F_1}{left(frac12,1;frac32;1-aright)},\
end{align}$$
where in the last line above we've used the Euler integral representation formula to express the remaining integrals in terms of the ${_2F_1}$ function:
$$int_{0}^{1}mathrm{d}t,frac{t^{beta-1}left(1-tright)^{gamma-beta-1}}{left(1-ztright)^{alpha}}=operatorname{B}{left(beta,gamma-betaright)},{_2F_1}{left(alpha,beta;gamma;zright)};~~~small{z<1land0<beta<gamma}.$$
$$tag*{$blacksquare$}$$
answered Jan 24 at 4:57
David HDavid H
21.6k24592
answered Jan 24 at 4:57
David HDavid H
21.6k24592
answered Jan 24 at 4:57
David HDavid H
21.6k24592
answered Jan 24 at 4:57
David HDavid H
21.6k24592
21.6k24592
$begingroup$
First of all thank you for your answer (+1). How did you encountered this identity? Is it a particular form of a more general relation $-$ as I conjectured $-$ or did you found it by pure chance while trying to evaluate the integral?
$endgroup$
– mrtaurho
Jan 25 at 12:58
1
$begingroup$
@mrtaurho The identity is just something I jerry-rigged together for the sole purpose of aiding the evaluation of a difficult integral, and so far as I know isn't a particular case of any well-known general functional relation. Knowing that the Appell $F_1$ function stands for an elementary integral, and knowing that most basic elementary functions can be expressed as a Gauss ${_2F_1}$ function, I was able to guess that some sort of identity could be constructed in this case. Note that the steps in my work rely HEAVILY on the fact that the hypergeometric parameters are half-integers.
$endgroup$
– David H
Jan 25 at 13:34
$begingroup$
I have to admit that I am even more impressed by your capability of eventually evaluating this integral knowing that it did not rely on a general relation. I take my hat off to you!
$endgroup$
– mrtaurho
Jan 25 at 13:50
add a comment |
$begingroup$
First of all thank you for your answer (+1). How did you encountered this identity? Is it a particular form of a more general relation $-$ as I conjectured $-$ or did you found it by pure chance while trying to evaluate the integral?
$endgroup$
– mrtaurho
Jan 25 at 12:58
1
$begingroup$
@mrtaurho The identity is just something I jerry-rigged together for the sole purpose of aiding the evaluation of a difficult integral, and so far as I know isn't a particular case of any well-known general functional relation. Knowing that the Appell $F_1$ function stands for an elementary integral, and knowing that most basic elementary functions can be expressed as a Gauss ${_2F_1}$ function, I was able to guess that some sort of identity could be constructed in this case. Note that the steps in my work rely HEAVILY on the fact that the hypergeometric parameters are half-integers.
$endgroup$
– David H
Jan 25 at 13:34
$begingroup$
I have to admit that I am even more impressed by your capability of eventually evaluating this integral knowing that it did not rely on a general relation. I take my hat off to you!
$endgroup$
– mrtaurho
Jan 25 at 13:50
$begingroup$
First of all thank you for your answer (+1). How did you encountered this identity? Is it a particular form of a more general relation $-$ as I conjectured $-$ or did you found it by pure chance while trying to evaluate the integral?
$endgroup$
– mrtaurho
Jan 25 at 12:58
$begingroup$
First of all thank you for your answer (+1). How did you encountered this identity? Is it a particular form of a more general relation $-$ as I conjectured $-$ or did you found it by pure chance while trying to evaluate the integral?
$endgroup$
– mrtaurho
Jan 25 at 12:58
1
1
$begingroup$
@mrtaurho The identity is just something I jerry-rigged together for the sole purpose of aiding the evaluation of a difficult integral, and so far as I know isn't a particular case of any well-known general functional relation. Knowing that the Appell $F_1$ function stands for an elementary integral, and knowing that most basic elementary functions can be expressed as a Gauss ${_2F_1}$ function, I was able to guess that some sort of identity could be constructed in this case. Note that the steps in my work rely HEAVILY on the fact that the hypergeometric parameters are half-integers.
$endgroup$
– David H
Jan 25 at 13:34
$begingroup$
@mrtaurho The identity is just something I jerry-rigged together for the sole purpose of aiding the evaluation of a difficult integral, and so far as I know isn't a particular case of any well-known general functional relation. Knowing that the Appell $F_1$ function stands for an elementary integral, and knowing that most basic elementary functions can be expressed as a Gauss ${_2F_1}$ function, I was able to guess that some sort of identity could be constructed in this case. Note that the steps in my work rely HEAVILY on the fact that the hypergeometric parameters are half-integers.
$endgroup$
– David H
Jan 25 at 13:34
$begingroup$
I have to admit that I am even more impressed by your capability of eventually evaluating this integral knowing that it did not rely on a general relation. I take my hat off to you!
$endgroup$
– mrtaurho
Jan 25 at 13:50
$begingroup$
I have to admit that I am even more impressed by your capability of eventually evaluating this integral knowing that it did not rely on a general relation. I take my hat off to you!
$endgroup$
– mrtaurho
Jan 25 at 13:50
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3078082%2frewriting-appells-hypergeometric-function-f-1-in-terms-of-gauss-hypergeometr%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
