Inverse of the asymptotic expansion of Gauss Hypergeometric function












0












$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)$$










share|cite|improve this question











$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
















0












$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)$$










share|cite|improve this question











$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














0












0








0





$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)$$










share|cite|improve this question











$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






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








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


















  • $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










1 Answer
1






active

oldest

votes


















1












$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.






share|cite|improve this answer











$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












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
});


}
});














draft saved

draft discarded


















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









1












$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.






share|cite|improve this answer











$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
















1












$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.






share|cite|improve this answer











$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














1












1








1





$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.






share|cite|improve this answer











$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.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








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


















  • $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


















draft saved

draft discarded




















































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.




draft saved


draft discarded














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





















































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







Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

張江高科駅