Inverse of the asymptotic expansion of Gauss Hypergeometric function
$begingroup$
I am interested in obtaining the asymptotic expansion of $r(rho)$ (which is the inverse of $rho$ below). Basically I want to series expand $rho$ for large $r$ (i.e. as $rto infty$) and then invert the series to obtain $r(rho)$. I have tried some readily available asymptotic expansion of $_2F_1$ but I think I ruined my calculations and I am not really sure if I am doing the right thing. By the way, $b$ is just some positive constant while $-infty<q<1$.
$$rho=frac{2b}{1-q}left(1-left(frac brright)^{1-q}right)^{1/2}left(_2F_1left(frac{1}{2},1-frac{1}{q-1},frac{3}{2},1-left(frac brright)^{1-q}right)right)$$
asymptotics power-series inverse-function hypergeometric-function
$endgroup$
add a comment |
$begingroup$
I am interested in obtaining the asymptotic expansion of $r(rho)$ (which is the inverse of $rho$ below). Basically I want to series expand $rho$ for large $r$ (i.e. as $rto infty$) and then invert the series to obtain $r(rho)$. I have tried some readily available asymptotic expansion of $_2F_1$ but I think I ruined my calculations and I am not really sure if I am doing the right thing. By the way, $b$ is just some positive constant while $-infty<q<1$.
$$rho=frac{2b}{1-q}left(1-left(frac brright)^{1-q}right)^{1/2}left(_2F_1left(frac{1}{2},1-frac{1}{q-1},frac{3}{2},1-left(frac brright)^{1-q}right)right)$$
asymptotics power-series inverse-function hypergeometric-function
$endgroup$
$begingroup$
Your function isn't analytic at $1/r=0$, it has a branch point with something like $r^{-1/2}$ and $r^{1-3/2-1+1/(q-1)}$ terms
$endgroup$
– reuns
Nov 23 '18 at 4:05
$begingroup$
What then can I do with the function? Thanks
$endgroup$
– user583893
Jan 26 at 5:25
add a comment |
$begingroup$
I am interested in obtaining the asymptotic expansion of $r(rho)$ (which is the inverse of $rho$ below). Basically I want to series expand $rho$ for large $r$ (i.e. as $rto infty$) and then invert the series to obtain $r(rho)$. I have tried some readily available asymptotic expansion of $_2F_1$ but I think I ruined my calculations and I am not really sure if I am doing the right thing. By the way, $b$ is just some positive constant while $-infty<q<1$.
$$rho=frac{2b}{1-q}left(1-left(frac brright)^{1-q}right)^{1/2}left(_2F_1left(frac{1}{2},1-frac{1}{q-1},frac{3}{2},1-left(frac brright)^{1-q}right)right)$$
asymptotics power-series inverse-function hypergeometric-function
$endgroup$
I am interested in obtaining the asymptotic expansion of $r(rho)$ (which is the inverse of $rho$ below). Basically I want to series expand $rho$ for large $r$ (i.e. as $rto infty$) and then invert the series to obtain $r(rho)$. I have tried some readily available asymptotic expansion of $_2F_1$ but I think I ruined my calculations and I am not really sure if I am doing the right thing. By the way, $b$ is just some positive constant while $-infty<q<1$.
$$rho=frac{2b}{1-q}left(1-left(frac brright)^{1-q}right)^{1/2}left(_2F_1left(frac{1}{2},1-frac{1}{q-1},frac{3}{2},1-left(frac brright)^{1-q}right)right)$$
asymptotics power-series inverse-function hypergeometric-function
asymptotics power-series inverse-function hypergeometric-function
edited Jan 18 at 6:43
mrtaurho
6,19771641
6,19771641
asked Nov 23 '18 at 3:32
user583893user583893
336
336
$begingroup$
Your function isn't analytic at $1/r=0$, it has a branch point with something like $r^{-1/2}$ and $r^{1-3/2-1+1/(q-1)}$ terms
$endgroup$
– reuns
Nov 23 '18 at 4:05
$begingroup$
What then can I do with the function? Thanks
$endgroup$
– user583893
Jan 26 at 5:25
add a comment |
$begingroup$
Your function isn't analytic at $1/r=0$, it has a branch point with something like $r^{-1/2}$ and $r^{1-3/2-1+1/(q-1)}$ terms
$endgroup$
– reuns
Nov 23 '18 at 4:05
$begingroup$
What then can I do with the function? Thanks
$endgroup$
– user583893
Jan 26 at 5:25
$begingroup$
Your function isn't analytic at $1/r=0$, it has a branch point with something like $r^{-1/2}$ and $r^{1-3/2-1+1/(q-1)}$ terms
$endgroup$
– reuns
Nov 23 '18 at 4:05
$begingroup$
Your function isn't analytic at $1/r=0$, it has a branch point with something like $r^{-1/2}$ and $r^{1-3/2-1+1/(q-1)}$ terms
$endgroup$
– reuns
Nov 23 '18 at 4:05
$begingroup$
What then can I do with the function? Thanks
$endgroup$
– user583893
Jan 26 at 5:25
$begingroup$
What then can I do with the function? Thanks
$endgroup$
– user583893
Jan 26 at 5:25
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
We need an asymptotic for ${_2hspace{-1px}F_1}(a, b; c; z)$ with $z to 1^-$. Since $c - a - b = 1/(q - 1) < 0$, the leading term is
$$frac {Gamma(c) Gamma(a + b - c)} {Gamma(a) Gamma(b)} (1 - z)^{c - a - b}.$$
This gives $rho sim r sqrt{1 - (b/r)^{1 - q}}$, therefore $rho sim r$ and $r sim rho$.
For $q < 0$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is a constant, and we need only the first term from the $(1 - z)^{1/2}$ factor:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {sqrt pi ,Gamma(1 - p)}
{2 Gamma {left( frac 3 2 - p right)}} + dots, \
rho = r + frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots, \
r = rho - frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots,$$
where $p = (2 - q)/(1 - q)$. For $q > 0$ and excluding the logarithmic case $p in mathbb N$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is of order $z^{2 - p}$, and we need two terms from $(1 - z)^{1/2}$:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {(2 p - 3) z^{2 - p}} {4 (p - 1) (p - 2)} + dots, \
rho = r + frac {b^{1 - q} r^q} {2 q} + dots, \
r = rho - frac {b^{1 - q} rho^q} {2 q} + dots,$$
the last step coming from the Lagrange reversion theorem.
$endgroup$
$begingroup$
Comments are not for extended discussion; this conversation has been moved to chat.
$endgroup$
– Aloizio Macedo♦
Jan 19 at 6:00
$begingroup$
@Maxim, why did you split the analysis into $q<0$ and $q>0$? In my numerical test of the magnitude of terms in the expansion, it seems that the constant in the expansion is practically zero (or has negative value) for all $q<0$ . And I guess all the correction terms come from the terms in parenthesis with the leading order.
$endgroup$
– user583893
Jan 20 at 10:31
add a comment |
Your Answer
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%2f3009945%2finverse-of-the-asymptotic-expansion-of-gauss-hypergeometric-function%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$
We need an asymptotic for ${_2hspace{-1px}F_1}(a, b; c; z)$ with $z to 1^-$. Since $c - a - b = 1/(q - 1) < 0$, the leading term is
$$frac {Gamma(c) Gamma(a + b - c)} {Gamma(a) Gamma(b)} (1 - z)^{c - a - b}.$$
This gives $rho sim r sqrt{1 - (b/r)^{1 - q}}$, therefore $rho sim r$ and $r sim rho$.
For $q < 0$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is a constant, and we need only the first term from the $(1 - z)^{1/2}$ factor:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {sqrt pi ,Gamma(1 - p)}
{2 Gamma {left( frac 3 2 - p right)}} + dots, \
rho = r + frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots, \
r = rho - frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots,$$
where $p = (2 - q)/(1 - q)$. For $q > 0$ and excluding the logarithmic case $p in mathbb N$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is of order $z^{2 - p}$, and we need two terms from $(1 - z)^{1/2}$:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {(2 p - 3) z^{2 - p}} {4 (p - 1) (p - 2)} + dots, \
rho = r + frac {b^{1 - q} r^q} {2 q} + dots, \
r = rho - frac {b^{1 - q} rho^q} {2 q} + dots,$$
the last step coming from the Lagrange reversion theorem.
$endgroup$
$begingroup$
Comments are not for extended discussion; this conversation has been moved to chat.
$endgroup$
– Aloizio Macedo♦
Jan 19 at 6:00
$begingroup$
@Maxim, why did you split the analysis into $q<0$ and $q>0$? In my numerical test of the magnitude of terms in the expansion, it seems that the constant in the expansion is practically zero (or has negative value) for all $q<0$ . And I guess all the correction terms come from the terms in parenthesis with the leading order.
$endgroup$
– user583893
Jan 20 at 10:31
add a comment |
$begingroup$
We need an asymptotic for ${_2hspace{-1px}F_1}(a, b; c; z)$ with $z to 1^-$. Since $c - a - b = 1/(q - 1) < 0$, the leading term is
$$frac {Gamma(c) Gamma(a + b - c)} {Gamma(a) Gamma(b)} (1 - z)^{c - a - b}.$$
This gives $rho sim r sqrt{1 - (b/r)^{1 - q}}$, therefore $rho sim r$ and $r sim rho$.
For $q < 0$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is a constant, and we need only the first term from the $(1 - z)^{1/2}$ factor:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {sqrt pi ,Gamma(1 - p)}
{2 Gamma {left( frac 3 2 - p right)}} + dots, \
rho = r + frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots, \
r = rho - frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots,$$
where $p = (2 - q)/(1 - q)$. For $q > 0$ and excluding the logarithmic case $p in mathbb N$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is of order $z^{2 - p}$, and we need two terms from $(1 - z)^{1/2}$:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {(2 p - 3) z^{2 - p}} {4 (p - 1) (p - 2)} + dots, \
rho = r + frac {b^{1 - q} r^q} {2 q} + dots, \
r = rho - frac {b^{1 - q} rho^q} {2 q} + dots,$$
the last step coming from the Lagrange reversion theorem.
$endgroup$
$begingroup$
Comments are not for extended discussion; this conversation has been moved to chat.
$endgroup$
– Aloizio Macedo♦
Jan 19 at 6:00
$begingroup$
@Maxim, why did you split the analysis into $q<0$ and $q>0$? In my numerical test of the magnitude of terms in the expansion, it seems that the constant in the expansion is practically zero (or has negative value) for all $q<0$ . And I guess all the correction terms come from the terms in parenthesis with the leading order.
$endgroup$
– user583893
Jan 20 at 10:31
add a comment |
$begingroup$
We need an asymptotic for ${_2hspace{-1px}F_1}(a, b; c; z)$ with $z to 1^-$. Since $c - a - b = 1/(q - 1) < 0$, the leading term is
$$frac {Gamma(c) Gamma(a + b - c)} {Gamma(a) Gamma(b)} (1 - z)^{c - a - b}.$$
This gives $rho sim r sqrt{1 - (b/r)^{1 - q}}$, therefore $rho sim r$ and $r sim rho$.
For $q < 0$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is a constant, and we need only the first term from the $(1 - z)^{1/2}$ factor:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {sqrt pi ,Gamma(1 - p)}
{2 Gamma {left( frac 3 2 - p right)}} + dots, \
rho = r + frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots, \
r = rho - frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots,$$
where $p = (2 - q)/(1 - q)$. For $q > 0$ and excluding the logarithmic case $p in mathbb N$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is of order $z^{2 - p}$, and we need two terms from $(1 - z)^{1/2}$:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {(2 p - 3) z^{2 - p}} {4 (p - 1) (p - 2)} + dots, \
rho = r + frac {b^{1 - q} r^q} {2 q} + dots, \
r = rho - frac {b^{1 - q} rho^q} {2 q} + dots,$$
the last step coming from the Lagrange reversion theorem.
$endgroup$
We need an asymptotic for ${_2hspace{-1px}F_1}(a, b; c; z)$ with $z to 1^-$. Since $c - a - b = 1/(q - 1) < 0$, the leading term is
$$frac {Gamma(c) Gamma(a + b - c)} {Gamma(a) Gamma(b)} (1 - z)^{c - a - b}.$$
This gives $rho sim r sqrt{1 - (b/r)^{1 - q}}$, therefore $rho sim r$ and $r sim rho$.
For $q < 0$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is a constant, and we need only the first term from the $(1 - z)^{1/2}$ factor:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {sqrt pi ,Gamma(1 - p)}
{2 Gamma {left( frac 3 2 - p right)}} + dots, \
rho = r + frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots, \
r = rho - frac {b sqrt pi ,Gamma(1 - p)}
{(1 - q) Gamma {left( frac 3 2 - p right)}} + dots,$$
where $p = (2 - q)/(1 - q)$. For $q > 0$ and excluding the logarithmic case $p in mathbb N$, the next term in the expansion of ${_2hspace{-1px}F_1}$ is of order $z^{2 - p}$, and we need two terms from $(1 - z)^{1/2}$:
$${_2hspace{-1px}F_1}
{left( frac 1 2, p; frac 3 2; 1 - z right)} =
frac {z^{1 - p}} {2 (p - 1)} +
frac {(2 p - 3) z^{2 - p}} {4 (p - 1) (p - 2)} + dots, \
rho = r + frac {b^{1 - q} r^q} {2 q} + dots, \
r = rho - frac {b^{1 - q} rho^q} {2 q} + dots,$$
the last step coming from the Lagrange reversion theorem.
edited Jan 16 at 17:01
answered Nov 23 '18 at 8:10
MaximMaxim
6,3231221
6,3231221
$begingroup$
Comments are not for extended discussion; this conversation has been moved to chat.
$endgroup$
– Aloizio Macedo♦
Jan 19 at 6:00
$begingroup$
@Maxim, why did you split the analysis into $q<0$ and $q>0$? In my numerical test of the magnitude of terms in the expansion, it seems that the constant in the expansion is practically zero (or has negative value) for all $q<0$ . And I guess all the correction terms come from the terms in parenthesis with the leading order.
$endgroup$
– user583893
Jan 20 at 10:31
add a comment |
$begingroup$
Comments are not for extended discussion; this conversation has been moved to chat.
$endgroup$
– Aloizio Macedo♦
Jan 19 at 6:00
$begingroup$
@Maxim, why did you split the analysis into $q<0$ and $q>0$? In my numerical test of the magnitude of terms in the expansion, it seems that the constant in the expansion is practically zero (or has negative value) for all $q<0$ . And I guess all the correction terms come from the terms in parenthesis with the leading order.
$endgroup$
– user583893
Jan 20 at 10:31
$begingroup$
Comments are not for extended discussion; this conversation has been moved to chat.
$endgroup$
– Aloizio Macedo♦
Jan 19 at 6:00
$begingroup$
Comments are not for extended discussion; this conversation has been moved to chat.
$endgroup$
– Aloizio Macedo♦
Jan 19 at 6:00
$begingroup$
@Maxim, why did you split the analysis into $q<0$ and $q>0$? In my numerical test of the magnitude of terms in the expansion, it seems that the constant in the expansion is practically zero (or has negative value) for all $q<0$ . And I guess all the correction terms come from the terms in parenthesis with the leading order.
$endgroup$
– user583893
Jan 20 at 10:31
$begingroup$
@Maxim, why did you split the analysis into $q<0$ and $q>0$? In my numerical test of the magnitude of terms in the expansion, it seems that the constant in the expansion is practically zero (or has negative value) for all $q<0$ . And I guess all the correction terms come from the terms in parenthesis with the leading order.
$endgroup$
– user583893
Jan 20 at 10:31
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%2f3009945%2finverse-of-the-asymptotic-expansion-of-gauss-hypergeometric-function%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
$begingroup$
Your function isn't analytic at $1/r=0$, it has a branch point with something like $r^{-1/2}$ and $r^{1-3/2-1+1/(q-1)}$ terms
$endgroup$
– reuns
Nov 23 '18 at 4:05
$begingroup$
What then can I do with the function? Thanks
$endgroup$
– user583893
Jan 26 at 5:25