Skip to main content
deleted 5 characters in body
Source Link
Michael Albanese
  • 19.3k
  • 9
  • 87
  • 160

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

Here's an example. In the cubic transformation \begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*}\begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}_{2} F_{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}. \end{align*}\begin{align*} {}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}_{2} F_{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}. \end{align*}

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

Here's an example. In the cubic transformation \begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}_{2} F_{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}. \end{align*}

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

Here's an example. In the cubic transformation \begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}_{2} F_{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}. \end{align*}

added 2 characters in body; deleted 1 characters in body; added 2 characters in body; deleted 232 characters in body
Source Link
Ira Gessel
  • 17k
  • 1
  • 58
  • 80

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

$F_1$

$${}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right) =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) $$

Here's an example. In the cubic transformation \begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*}\begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}{2}F{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}{2} F{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}. \begin{align*} {}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}_{2} F_{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}. \end{align*}

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

$F_1$

$${}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right) =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) $$

Here's an example. In the cubic transformation \begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}{2}F{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}{2} F{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}.

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

Here's an example. In the cubic transformation \begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}_{2} F_{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}. \end{align*}

added 7 characters in body; added 2 characters in body; added 242 characters in body
Source Link
Ira Gessel
  • 17k
  • 1
  • 58
  • 80

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

$F_1$

$${}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right) =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) $$

Here's an example. In the cubic transformation \begin{multline*}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*}\begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}{2}F{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}{2} F{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}.

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

Here's an example. In the cubic transformation \begin{multline*}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}{2}F{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}{2} F{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}.

I don't think it's possible to derive these identities from quadratic transformations. However, it is possible to derive identities with $z=1/4$ from cubic transformations, though I don't know if the specific identity that the questioner asks about can be proved this way.

$F_1$

$${}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right) =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) $$

Here's an example. In the cubic transformation \begin{multline*}{}_{2}F_{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |z\right)\\ =\left( 1-z \right) ^{-a} \left( 1+8z \right) ^{-2a} {}_{2}F_{ 1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |{\frac {27 z}{ \left(1-z \right) \left( 1+8z \right) ^{2}}}\right) \end{multline*} we can set $z=1/4$ to get \begin{align*} {}{2}F{1}\left({{3a,1/3-a}\atop 2a+5/6}\Bigm |1/4\right)&= \left( {\frac {4}{27}} \right) ^{a} {}{2} F{1}\left({{a,a+1/2}\atop 2a+5/6}\Bigm |1\right)\ &= \frac{2\pi}{\sqrt3} \left( {\frac {4}{27}} \right) ^{a}{\frac {\Gamma \left( 2a+5/6 \right) }{\Gamma \left( 2/3 \right) \Gamma \left( a+5/6 \right) \Gamma \left( a+1/3 \right) }}.

Source Link
Ira Gessel
  • 17k
  • 1
  • 58
  • 80
Loading