Intereting Posts

Uses of Lebesgue's covering lemma
I have to prove by mathematical induction that $\frac{(2n)!}{n!(n+1) !}$ is a natural number for all $n\in\mathbb{N}$.
Finding continuity and differentiability of a multivariate function
what are the p-adic division algebras?
Prove by mathematical induction that: $\forall n \in \mathbb{N}: 3^{n} > n^{3}$
Proof for an integral identity
Simplification of $\binom{50}{0}\binom{50}{1}+\binom{50}{1}\binom{50}{2}+\cdots+\binom{50}{49}\binom{50}{50}$
Basis properties of the polynomial system in the space of continuous functions
Are there real world applications of finite group theory?
Does the converse of uniform continuity -> Preservance of Cauchy sequences hold?
When an ideal is generated by idempotents
Trajectories on the $k$-dimensional torus
Basis for recurrence relation solutions
How to characterize the non-trivial solutions of this non-linear differential equation? Are they all periodic?
Can the integers be made into a vector space over any Finite Field?

Let $q = e^{2\pi i \tau}$. Given the *j-function*,

$$j = j(q) = 1/q + 744 + 196884q + 21493760q^2 + \dots$$

and define,

- Convergence/Divergence of infinite product
- Proof of a theorem of Cauchy's on the convergence of an infinite product
- How can we apply the Borel-Cantelli lemma here?
- Question on $\Pi_{n=1}^\infty\left(1-\frac{x^a}{\pi^an^a}\right)$ and the Riemann Zeta function
- How to prove that $\frac{\sin \pi x}{\pi x}=\prod_{n=1}^{\infty}(1-\frac{x^2}{n^2})$
- Find the value of $\sqrt{10\sqrt{10\sqrt{10…}}}$

$$k = j-1728$$

Let $\tau =\sqrt{-N}$, where $N > 1$. *Anybody knows how to prove the RHS of these conjectured relations?*:

$$\begin{align}q^{-1/60} G(q) = q^{-1/60} \prod_{n=1}^\infty \frac{1}{(1-q^{5n-1})(1-q^{5n-4})} &= j\,^{1/60}\,_2F_1\left(\tfrac{19}{60},\tfrac{-1}{60},\tfrac{4}{5},\tfrac{1728}{j}\right)\\

&= k\,^{1/60}\,_2F_1\left(\tfrac{29}{60},\tfrac{-1}{60},\tfrac{4}{5},\tfrac{-1728}{k}\right)\\[2.5mm]

q^{11/60} H(q) = q^{11/60} \prod_{n=1}^\infty \frac{1}{(1-q^{5n-2})(1-q^{5n-3})} &= j\,^{-11/60}\,_2F_1\left(\tfrac{31}{60},\tfrac{11}{60},\tfrac{6}{5},\tfrac{1728}{j}\right)\\

&= k\,^{-11/60}\,_2F_1\left(\tfrac{41}{60},\tfrac{11}{60},\tfrac{6}{5},\tfrac{-1728}{k}\right)\end{align}$$

- How to prove that $\frac{\sin \pi x}{\pi x}=\prod_{n=1}^{\infty}(1-\frac{x^2}{n^2})$
- Value of a Sine-Like Infinite Product
- How to calculate $|\operatorname {SL}_2(\mathbb Z/N\mathbb Z)|$?
- Evaluate the infinite product $\prod_{k \geq 2}\sqrt{1+\frac{1}{k}}=\sqrt{1+\frac{1}{2}} \sqrt{1+\frac{1}{3}} \sqrt{1+\frac{1}{4}} \cdots$
- Cusp forms' Fourier coefficients sign changes
- Modular Forms: Find a set of representatives for the cusps of $\Gamma_0(4)$
- Where does Klein's j-invariant take the values 0 and 1, and with what multiplicities?
- Is the product $\prod_{k=1}^\infty \frac{2^k-1}{2^k}$ necessarily $0$?
- Limit of $\prod\limits_{k=2}^n\frac{k^3-1}{k^3+1}$
- Riemann zeta function Euler product for primes equivalent to $3$ mod $4$

Let

$$\begin{align}

g(\tau) &= q^{-1/60} G(q)

\\ h(\tau) &= q^{11/60} H(q)

\end{align}$$

First of all, the equalities between the hypergeometric $j$ and $k$ expressions

follow from the eulerian transformation

$${}_2F_1(a,b;c;z) = (1-z)^{-b}\,{}_2F_1\left(c-a,b;c;\frac{z}{z-1}\right)$$

Therefore it suffices to prove the identities between $g$ resp. $h$

and the corresponding hypergeometric $j$ expressions.

I will translate those to more familiar identities.

We will use the Rogers-Ramanujan continued fraction

(RRCF),

$$\rho(\tau) = \frac{h(\tau)}{g(\tau)} = q^{1/5}\frac{H(q)}{G(q)}$$

Formula $(22)$ from the above MathWorld entry on RRCF essentially states that

$$\frac{1}{\rho^{5}} – 11 – \rho^5 = \frac{1}{g^6\,h^6}$$

(Use the product representation of $g$ and $h$ to identify the right-hand side).

From this, we can easily deduce

$$\begin{align}

g &= \frac{1}

{\left(\rho – 11\,\rho^6 – \rho^{11}\right)^{1/12}}

\\ h &= \frac{\rho}

{\left(\rho – 11\,\rho^6 – \rho^{11}\right)^{1/12}}

\end{align}$$

assuming that the arguments to the radicals are small positive reals,

which should follow from the restrictions you have placed on $\tau$.

Furthermore, formula $(46)$ from the above Mathworld entry on RRCF

gives the relation of $\rho$ with Klein’s $j$:

$$j = \frac

{\left(1+228\,\rho^5+494\,\rho^{10}-228\,\rho^{15}+\rho^{20}\right)^3}

{\left(\rho – 11\,\rho^6 – \rho^{11}\right)^5}$$

which allows us to write

$$\begin{align}

g\,j^{-1/60} &=

\left(1+228\,\rho^5+494\,\rho^{10}-228\,\rho^{15}+\rho^{20}\right)^{-1/20}

\\ h\,j^{11/60} &= \frac

{\left(1+228\,\rho^5+494\,\rho^{10}-228\,\rho^{15}+\rho^{20}\right)^{11/20}}

{1 – 11\,\rho^5 – \rho^{10}}

\end{align}$$

again assuming that the arguments to the radicals are small positive reals.

I need a *deus ex machina* now, and Raimundas Vidūnas arXiv:0807.4808v1 comes to the rescue.

His formulae $(59)$ and $(61)$

in section 6.3 (“icosahedral hypergeometric equations”, p. 20)

state precisely that

$$\begin{align}

{}_2F_1\left(\tfrac{19}{60},-\tfrac{1}{60};\tfrac{4}{5};\varphi_1(x)\right)

&= \left(1-228\,x+494\,x^2+228\,x^3+x^4\right)^{-1/20}

\\{}_2F_1\left(\tfrac{31}{60},\tfrac{11}{60};\tfrac{6}{5};\varphi_1(x)\right)

&= \frac{\left(1-228\,x+494\,x^2+228\,x^3+x^4\right)^{11/20}}

{1 + 11\,x – x^2}

\\\text{where}\qquad

\varphi_1(x) &= \frac{-1728\,x\,(1+11\,x-x^2)^5}

{\left(1-228\,x+494\,x^2+228\,x^3+x^4\right)^3}

\end{align}$$

And your conjecture follows from setting $x=-\rho^5$ which implies

$\varphi_1(x) = \frac{1728}{j}$.

Summarizing, there is an algebraic relation between $j$ and $g$ resp. $h$,

and the hypergeometric ${}_2F_1$ expressions are designed to solve those

algebraic relations for $g\,j^{-1/60}$ resp. $h\,j^{11/60}$, given $j$.

- Inequality $\sum\limits_{cyc}\frac{a^3}{13a^2+5b^2}\geq\frac{a+b+c}{18}$
- Dual space and covectors: force, work and energy
- Series of logarithms $\sum\limits_{k=1}^\infty \ln(k)$ (Ramanujan summation?)
- Currently, what is the largest publicly known prime number such that all prime numbers less than it are known?
- a question about behavior of functions whose graphs are rectifiable curves
- Bijection $f: \mathbb{R}^2 \rightarrow \mathbb{R}^2$ preserves collinearity $\iff \ \ f(x)=Ax+b$
- Difference between i and -i
- Show that $PF.PG=b^2$ in a hyperbola
- How to prove completeness of the Spherical Harmonics
- Eisenstein Criterion with a twist
- A Binomial Coefficient Sum: $\sum_{m = 0}^{n} (-1)^{n-m} \binom{n}{m} \binom{m-1}{l}$
- Inverse Galois problem for small groups
- Given a fixed prime number $p$ and fixed positive integers $a$ and $k$; Find all positive integers $n$ such that $p^k \mid a^n-1$
- Taylor's Theorem with Peano's Form of Remainder
- Josephus' Puzzle Basic Java with some basic math.