Differential relations for modular forms of level five. (Q1872570)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Differential relations for modular forms of level five.
scientific article

    Statements

    Differential relations for modular forms of level five. (English)
    0 references
    0 references
    2002
    0 references
    It is known that the solutions to the system of differential equations \[ \begin{aligned} \frac{d\omega_1}{d\tau} &=\omega_1\omega_2+\omega_1\omega_3-\omega_2\omega_3 \\ \frac{d\omega_2}{d\tau} &=\omega_1\omega_2+\omega_2\omega_3-\omega_1\omega_3 \\ \frac{d\omega_3}{d\tau} &=\omega_1\omega_3+\omega_2\omega_3-\omega_1\omega_2 \end{aligned} \] are \[ \omega_1=\frac{1}{2}\frac{d\log\theta_2^4(0,\tau)}{d\tau},\qquad \omega_2=\frac{1}{2}\frac{d\log\theta_3^4(0,\tau)}{d\tau},\qquad \omega_3= \frac{1}{2}\frac{d\log\theta_4^4(0,\tau)}{d\tau}, \] where \(\theta_i\) are the classical theta functions. In this paper, the author establishes a similar result for the following system of equations: \[ \begin{aligned} \frac{dX_\infty}{d\tau}&=\sum_{k=0}^{10} X_\infty X_k -X_\infty X_0-X_1 X_2 - X_3X_4-X_5X_6-X_7X_8-X_9X_{10},\\ \frac{dX_j}{d\tau} &= X_\infty X_j+\sum_{k=0}^{10} X_jX_k-X_j^2 -X_\infty X_0 -X_1X_2-X_3X_4-X_5 X_6-X_7X_8-X_9X_{10},\end{aligned} \] for \(0\leq j\leq 10\), where \(X_\infty\) and \(X_j\)'s satisfy certain relations. The author explicitly determines these \(X_j\)'s, namely, \[ X_\infty =\frac{d\log{\alpha_1}}{d\tau}, \quad X_0 =\frac{d\log{\alpha_2}}{d\tau},\quad X_{2k+1}= \frac{d\log\left(\alpha_2+\frac{1}{2}(1-\sqrt{5})\varepsilon^k\alpha_1\right)} {d\tau}, \] and \[ X_{2k+2}= \frac{d\log\left(\alpha_2+\frac{1}{2}(1+\sqrt{5})\varepsilon^k\alpha_1\right)} {d\tau}, \] where \(0\leq k\leq 4\), \(\varepsilon=e^{2\pi i/5}\), \(q=e^{\pi i\tau}\), \[ \begin{aligned} \alpha_1 &= \prod_{n=1}^\infty(1-q^{2n})^{-3/5}\sum_{n\in \mathbb Z}(-1)^nq^{5n^2-n},\\ \text{and} \alpha_2 &= q^{2/5}\prod_{n=1}^\infty(1-q^{2n})^{-3/5}\sum_{n\in \mathbb Z}(-1)^nq^{5n^2-3n}. \end{aligned} \]
    0 references
    0 references
    differential equations
    0 references
    modular forms
    0 references
    theta functions
    0 references
    0 references