Cubic theta functions and modular forms of level six
Extracted source text ยท arXiv 1508.05838
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\documentclass[12pt]{article}
\usepackage{amsfonts,amsmath,amsthm,amssymb,amscd}
\usepackage[dvips]{graphicx}
\setcounter{tocdepth}{1}
\sloppy
\theoremstyle{definition}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{example}[theorem]{Example}
\newtheorem{definition}[theorem]{Definition}
% Reset counters in each section
\numberwithin{equation}{section}
\numberwithin{theorem}{section}
\newcommand{\comment}[1]{\textbf{#1}}
\newcommand{\trace}{\qopname\relax o{trace}}
\newcommand{\res}{\qopname\relax o{res}}
\newcommand{\sing}{\qopname\relax o{Sing}}
\newcommand{\trdeg}{\qopname\relax o{tr.deg}}
\newcommand{\rank}{\qopname\relax o{rank}}
\newcommand{\bbP}{\mathbb{P}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\calO}{\mathcal{O}}
\newcommand{\calM}{\mathcal{M}}
\newcommand{\calC}{\mathcal{C}}
\newcommand{\scriptS}{\mathbb{S}}
\newcommand{\scriptV}{\mathbb{V}}
\newcommand{\scriptN}{\mathbb{N}}
\newcommand{\Res}{\textrm{Res}}
% ???E??Q
\newcommand{\calD}{\mathcal{D}}
\newcommand{\ex}{\text{Example}}
%%% For 12 point version %%%%%%%%%
%\setlength{\topmargin}{-.5cm}
\setlength{\headheight}{15pt}
\setlength{\footskip}{15pt}
\setlength{\oddsidemargin}{-.3cm}
\setlength{\evensidemargin}{-.3cm}
\setlength{\textwidth}{16cm}
\setlength{\textheight}{20cm}
%\pagestyle{plain}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{document}
\begin{center}
{\bf{\Large Riccati equations satisfied by \\ modular forms of level 5, 6 and 8}}
\end{center}
\begin{center}
By Kazuhide Matsuda
\end{center}
\begin{center}
Faculty of Fundamental Science, National Institute of Technology, Niihama College,\\
7-1 Yagumo-chou, Niihama, Ehime, Japan, 792-8580. \\
E-mail: matsuda@sci.niihama-nct.ac.jp \\
Fax: 81-0897-37-7809
\end{center}
\noindent
{\bf Abstract}
In this paper,
we derive differential equations of the Riccati type satisfied by modular forms of level 5, 6 and 8.
For this purpose, we use the high-level versions of Jacobi's derivative formula.
\newline
{\bf Keywords:} theta function; theta constant; rational characteristics; Riccati equation.
\newline
{\bf MSC(2010)} 14K25; 11E25
\section{Introduction}
\label{intro}
There have been many researches in ordinary differential equations (ODEs) satisfied by modular forms.
In particular, Hurwitz \cite{Hurwitz}, Klein \cite{Klein} and Van del Pol \cite{Pol} considered the following ODE,
\begin{equation}
\label{eqn:2-order-Eisenstein}
y^{\prime \prime}+\frac{\pi^2}{36} E_4(\tau) y=0,
\end{equation}
where the Eisenstein series $E_2, E_4$, and $E_6$ are defined by
\begin{align*}
E_2(q)=E_2(\tau)&:=1-24\sum_{n=1}^{\infty} \frac{n q^n}{1-q^n}, \,\,
E_4(q)=E_4(\tau):=1+240\sum_{n=1}^{\infty} \frac{n^3 q^n}{1-q^n}, \\
E_6(q)=E_4(\tau)&:=1-504\sum_{n=1}^{\infty} \frac{n^5 q^n}{1-q^n}, \,\,q=\exp(2\pi i \tau), \tau\in\mathbb{H}^2,
\end{align*}
and the upper half plane $\mathbb{H}^2$ is defined by
\begin{equation*}
\mathbb{H}^2=
\{
\tau\in\mathbb{C} \,\, | \,\, \Im \tau>0
\}.
\end{equation*}
\par
Van del Pol \cite{Pol} noticed that the ODE (\ref{eqn:2-order-Eisenstein}) corresponds to the Riccati equation,
\begin{equation}
\label{eqn:Riccati-Eisenstein}
\frac{6}{\pi i}u^{\prime}+u^2=E_4.
\end{equation}
Thanks to Ramanujan's ODEs,
\begin{equation*}
q\frac{E_2}{dq}=\frac{(E_2)^2-E_4 }{12 }, \,\,
q\frac{E_4}{dq}=\frac{E_2 E_4-E_6 }{3 }, \,\,
q\frac{E_6}{dq}=\frac{E_2 E_6-(E_4)^2 }{2 },
\end{equation*}
$u=-E_2$ is a solution of the ODE (\ref{eqn:Riccati-Eisenstein}). For the proof, see Sebbar et al. \cite{Sebbar}.
\par
Sebbar et al. \cite{Sebbar} studied the following Riccati equations,
\begin{equation*}
\frac{k}{\pi i} u^{\prime}+u^2=E_4, \,\,(k=1,2,3,4,5,6),
\end{equation*}
and the correspoding second order ODE
\begin{equation*}
y^{\prime \prime}+\frac{\pi^2}{k^2} E_4(\tau) y=0.
\end{equation*}
\par
ODEs satisfied by modular forms also apper in mathematical physics.
For example,
Milas \cite{Milas} derived the ODE of the form
\begin{equation}
\label{ODE:MIlas}
y^{\prime \prime}-4 \pi i E_2(\tau) y^{\prime} +\frac{44}{5} \pi^2 E_4(\tau) y=0,
\end{equation}
from the character formula for the Virasoro model and the theory of vertex operator algebras.
In particular, the solutions of the ODE (\ref{ODE:MIlas}) are given by modular forms of level 5.
\par
The aim of this paper is to derive Riccati equations satisfied by modular forms of level 5, 6 and 8.
In particular, we propose a new approach to ODEs satisfied by modular forms through the high-level versions of Jacobi's derivative formula,
which were studied in \cite{Matsuda-1} and \cite{Matsuda-2}.
\par
This paper is organized as follows.
In Section \ref{sec:properties}, we review the properties of the theta functions.
In Section \ref{sec:theta-function-identities}, we derive some theta-functional formulas.
In Section \ref{sec:analogue-Jacobi},
we recall the high-level versions of Jacobi's derivative formula.
\par
In Section \ref{sec:ODE-level-4}, we derive ODE satisfied by a modular form of level 4,
which turns out to be equivalent to the formula of the number
of representations of a natural number $n, (n=1,2,\ldots)$ as the sum of four triangular numbers.
In Sections \ref{sec:ODE-level-5}, \ref{sec:ODE-level-6}, and \ref{sec:ODE-level-8}, we deal with Riccati equations satisfied by modular forms of level 5, 6 and 8.
\section{The properties of the theta functions}
\label{sec:properties}
\subsection{Notation}
Throughout this paper, let $\mathbb{N}_0,$ $\mathbb{N},$ $\mathbb{Z},$ $\mathbb{Q},$ $\mathbb{R},$ $\mathbb{C}$ and $\mathbb{C}^{*}$
denote the set of nonnegative integers, positive integers, integers, rational numbers, real numbers, complex numbers and nonzero complex numbers, respectively.
and
the Dedekind eta function is defined by
\begin{equation*}
\eta(\tau)=q^{\frac{1}{24}} (q;q)_{\infty}, \,
(q;q)_{\infty}=\prod_{n=1}^{\infty}(1-q^n), \,
q=\exp(2\pi i \tau), \,\,\tau\in\mathbb{H}^2.
\end{equation*}
\par
Following Farkas and Kra \cite{Farkas-Kra},
we first introduce the theta function with characteristics,
which is defined by
\begin{align*}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta, \tau)
=
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta)
:=&\sum_{n\in\mathbb{Z}} \exp
\left(2\pi i\left[ \frac12\left(n+\frac{\epsilon}{2}\right)^2 \tau+\left(n+\frac{\epsilon}{2}\right)\left(\zeta+\frac{\epsilon^{\prime}}{2}\right) \right] \right) \\
=&\sum_{n\in\mathbb{Z}}
q^{
\frac12 \left(n+\frac{\epsilon}{2} \right)^2
}
e^{
2\pi i
\left(
n+\frac{\epsilon}{2}
\right)
\left(
\zeta+\frac{\epsilon^{\prime}}{2}
\right)
},
\end{align*}
where $\epsilon, \epsilon^{\prime}\in\mathbb{R}, \, \zeta\in\mathbb{C},$ $\tau\in\mathbb{H}^{2}$ and $q=\exp(2\pi i \tau).$
The theta constants are given by
\begin{equation*}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right]
:=
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (0, \tau).
\end{equation*}
Let us denote the derivative coefficients of the theta functions by
\begin{equation*}
%%%%%%%%%%%%%%%%%%%%%%%
\theta^{\prime}
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right]
:=\left.
\frac{\partial}{\partial \zeta}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta, \tau)
\right|_{\zeta=0},
%%%%%%%%%%%%%%%%%%%%%%%
\,
%%%%%%%%%%%%%%%%%%%%%%%
\theta^{\prime \prime}
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right]
:=\left.
\frac{\partial^2 }{\partial \zeta^2}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta, \tau)
\right|_{\zeta=0}.
\end{equation*}
Jacobi's derivative formula is given by
\begin{equation}
\label{eqn:Jacobi-derivative}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
=
-\pi
\theta
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right]
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right].
\end{equation}
\subsection{Basic properties}
We first note that
for $m,n\in\mathbb{Z},$
\begin{equation}
\label{eqn:integer-char}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta+n+m\tau, \tau) =
\exp(2\pi i)\left[\frac{n\epsilon-m\epsilon^{\prime}}{2}-m\zeta-\frac{m^2\tau}{2}\right]
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta,\tau),
\end{equation}
and
\begin{equation}
\theta
\left[
\begin{array}{c}
\epsilon +2m\\
\epsilon^{\prime}+2n
\end{array}
\right]
(\zeta,\tau)
=\exp(\pi i \epsilon n)
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right]
(\zeta,\tau).
\end{equation}
Furthermore,
it is easy to see that
\begin{equation*}
\theta
\left[
\begin{array}{c}
-\epsilon \\
-\epsilon^{\prime}
\end{array}
\right] (\zeta,\tau)
=
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (-\zeta,\tau)
\,\,
\mathrm{and}
\,\,
\theta^{\prime}
\left[
\begin{array}{c}
-\epsilon \\
-\epsilon^{\prime}
\end{array}
\right] (\zeta,\tau)
=
-
\theta^{\prime}
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (-\zeta,\tau).
\end{equation*}
\par
For $m,n\in\mathbb{R},$
we see that
\begin{align}
\label{eqn:real-char}
&\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] \left(\zeta+\frac{n+m\tau}{2}, \tau\right) \notag\\
&=
\exp(2\pi i)\left[
-\frac{m\zeta}{2}-\frac{m^2\tau}{8}-\frac{m(\epsilon^{\prime}+n)}{4}
\right]
\theta
\left[
\begin{array}{c}
\epsilon+m \\
\epsilon^{\prime}+n
\end{array}
\right]
(\zeta,\tau).
\end{align}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
We note that
$\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] \left(\zeta, \tau\right)$ has only one zero in the fundamental parallelogram,
which is given by
$$
\displaystyle
\zeta=\frac{1-\epsilon}{2}\tau+\frac{1-\epsilon^{\prime}}{2}.
$$
\subsection{Jacobi's triple product identity}
All the theta functions have infinite product expansions, which are given by
\begin{align}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta, \tau) &=\exp\left(\frac{\pi i \epsilon \epsilon^{\prime}}{2}\right) x^{\frac{\epsilon^2}{4}} z^{\frac{\epsilon}{2}} \notag \\
&\quad
\displaystyle \times\prod_{n=1}^{\infty}(1-x^{2n})(1+e^{\pi i \epsilon^{\prime}} x^{2n-1+\epsilon} z)(1+e^{-\pi i \epsilon^{\prime}} x^{2n-1-\epsilon}/z), \label{eqn:Jacobi-triple}
\end{align}
where $x=\exp(\pi i \tau)$ and $z=\exp(2\pi i \zeta).$
Therefore, it follows from Jacobi's derivative formula (\ref{eqn:Jacobi-derivative}) that
$$
\label{eqn:Jacobi}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](0,\tau)
=
-2\pi
q^{\frac18}
\prod_{n=1}^{\infty}(1-q^n)^3, \,\,q=\exp(2\pi i \tau).
$$
\subsection{Spaces of $N$th order $\theta$-functions}
Following Farkas and Kra \cite{Farkas-Kra},
we define
$\mathcal{F}_{N}\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] $ to be the set of entire functions $f$ that satisfy the two functional equations
$$
f(\zeta+1)=\exp(\pi i \epsilon) \,\,f(\zeta)
$$
and
$$
f(\zeta+\tau)=\exp(-\pi i)[\epsilon^{\prime}+2N\zeta+N\tau] \,\,f(\zeta), \quad \zeta\in\mathbb{C}, \,\,\tau \in\mathbb{H}^2,
$$
where
$N$ is a positive integer and
$\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] \in\mathbb{R}^2.$
This set of functions is called the space of {\it $N$th order $\theta$-functions with characteristic }
$\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right]. $
Note that
$$
\dim \mathcal{F}_{N}\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] =N.
$$
For its proof, see Farkas and Kra \cite[p.133]{Farkas-Kra}.
\subsection{The heat equation}
The theta function satisfies the following heat equation:
\begin{equation}
\label{eqn:heat}
\frac{\partial^2}{\partial \zeta^2}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](\zeta,\tau)
=
4\pi i
\frac{\partial}{\partial \tau}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](\zeta,\tau).
\end{equation}
\subsection{Lemma of Farkas and Kra}
We recall the lemma of Farkas and Kra \cite[p.~78]{Farkas-Kra}.
\begin{lemma}
\label{lem:Farkas-Kra}
{\it
For
all characteristics
$
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right],
\left[
\begin{array}{c}
\delta \\
\delta^{\prime}
\end{array}
\right]
$
and
all $\tau\in\mathbb{H}^2,$
we have
\begin{align*}
&\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](0,\tau)
%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
\delta \\
\delta^{\prime}
\end{array}
\right](0,\tau) \\
=&
\theta
\left[
\begin{array}{c}
\frac{\epsilon+\delta}{2} \\
\epsilon^{\prime}+\delta^{\prime}
\end{array}
\right](0,2\tau)
%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
\frac{\epsilon-\delta}{2} \\
\epsilon^{\prime}-\delta^{\prime}
\end{array}
\right](0,2\tau)
+
\theta
\left[
\begin{array}{c}
\frac{\epsilon+\delta}{2}+1 \\
\epsilon^{\prime}+\delta^{\prime}
\end{array}
\right](0,2\tau)
%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
\frac{\epsilon-\delta}{2}+1 \\
\epsilon^{\prime}-\delta^{\prime}
\end{array}
\right](0,2\tau).
\end{align*}
}
\end{lemma}
\section{Theta-functional formula}
\label{sec:theta-function-identities}
\begin{proposition}
\label{prop:theta-function-identities}
{\it
For every $(z,\tau)\in\mathbb{C}\times\mathbb{H}^2,$ we have
\begin{align}
&
\theta^2
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](z,\tau)
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac32
\end{array}
\right](z,\tau)
%%%%%%
%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z,\tau)=0, \label{eqn:two-theta-sum-2-deno-2}
\end{align}
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
\begin{align}
&
\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac53
\end{array}
\right](z,\tau)
%%%%%%
%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac43
\end{array}
\right](z,\tau) \notag \\
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
&
\hspace{30mm}
+\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z,\tau)=0, \label{eqn:two-theta-sum-2-deno-3-(0)}
\end{align}
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
\begin{align}
&
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac74
\end{array}
\right](z,\tau)
%%%%%%
%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac54
\end{array}
\right](z,\tau) \notag \\
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
&
\hspace{30mm}
+\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z,\tau)=0, \label{eqn:two-theta-sum-2-deno-4}
\end{align}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{align}
&
\theta^2
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right](z,\tau)
\theta
\left[
\begin{array}{c}
1 \\
\frac95
\end{array}
\right](z,\tau)
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](z,\tau)
\theta
\left[
\begin{array}{c}
1 \\
\frac75
\end{array}
\right](z,\tau) \notag \\
&\hspace{30mm}
+
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z,\tau)
=0. \label{eqn:two-theta-sum-2-deno-5}
\end{align}
}
\end{proposition}
\begin{proof}
We prove equation (\ref{eqn:two-theta-sum-2-deno-2}).
The others can be proved in the same way.
We first note that
$
\dim \mathcal{F}_{2}\left[
\begin{array}{c}
0 \\
0
\end{array}
\right]
=
2
$
and
\begin{equation*}
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](z,\tau), \,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac32
\end{array}
\right](z,\tau), \,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z,\tau) \in
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\mathcal{F}_{2}\left[
\begin{array}{c}
0 \\
0
\end{array}
\right].
\end{equation*}
Therefore, there exist some complex numbers $x_1, x_2$, and $ x_3$, not all zero, such that
\begin{align*}
&
x_1
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+x_2
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac32
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
x_3
\theta^2
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z,\tau)=0.
\end{align*}
Note that in the fundamental parallelogram,
the zero of
$
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](z),
$
%%%%%%%%%%%%%%%%%%%%%%%%%
$
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](z),
$
or
$
\theta
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
$
is $z=1/2,$ $1/4$, or $0.$
Substituting $z=1/2, 1/4,$ and $0,$ we have
\begin{alignat*}{4}
&
&
&
x_2
\theta^2\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
&
&+x_3\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
&
&=0, \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&x_1
&
&
&
&+x_3
&
&=0, \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&x_1\theta^2\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
&
-&x_2\theta^2\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
&
&
&
&=0.
\end{alignat*}
Solving this system of equations,
we have
\begin{equation*}
(x_1,x_2,x_3)=\alpha
\left(
\theta^2\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right],
%%%%%%%%%%%%%%%%%%%%%%%%
\theta^2\left[
\begin{array}{c}
1 \\
0
\end{array}
\right],
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
\theta^2\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
\right) \,\,\, \text{for some} \,\,\alpha\in\mathbb{C}\setminus\{0\},
\end{equation*}
which proves the proposition.
\end{proof}
\section{High-level versions of Jacobi's derivative formula}
\label{sec:analogue-Jacobi}
From Matsuda \cite{Matsuda-1, Matsuda-2},
recall the following derivative formulas.
\begin{theorem}
\label{thm:analogue-Jacobi-derivative}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation}
\label{eqn:analogue-1/2}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
=
-\pi
\theta^{2}
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,2\tau)
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau),
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn:analogue-1/3-2/3}
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
=
\frac16
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\frac
{
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
-
3
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right)
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}, \quad
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
=
\frac13
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\frac
{
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
\theta^3
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn-modulus4(1)}
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right](0,\tau)
}
=
\displaystyle
-\frac{\pi}{2}
\cdot
\left\{
\theta^2
\left[
\begin{array}{c}
0\\
0
\end{array}
\right](0,2\tau)
-
\theta^2
\left[
\begin{array}{c}
0\\
1
\end{array}
\right](0,2\tau)
%%%%%%%%%%%%%%%
\frac
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right](0,\tau)
}
{
%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right](0,\tau)
}
\right\},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn-modulus4(2)}
\frac{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right](0,\tau)
}
=
\displaystyle
-\frac{\pi}{2}
\cdot
\left\{
-
\theta^2
\left[
\begin{array}{c}
0\\
0
\end{array}
\right](0,2\tau)
%%%%%%%%%%%%%%%
+
\theta^2
\left[
\begin{array}{c}
0\\
1
\end{array}
\right](0,2\tau)
%%%%%%%%%%%%%%%
\frac{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right](0,\tau)
}
{
%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right](0,\tau)
}
\right\},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn:analogue-1/5-3/5}
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
=
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\frac
{
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
-
3
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
10
\theta^3
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^3
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
=
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\frac
{
3
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
+
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
10
\theta^3
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^3
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}.
\end{equation}
}
\end{theorem}
\section{ODE satisfied by a modular form of level 4}
\label{sec:ODE-level-4}
\subsection{Preliminary result}
\begin{proposition}
\label{prop:2nd-deri-theta-0,1/2}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
=
-
\pi^2
\theta^4
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau).
\end{equation*}
}
\end{proposition}
\begin{proof}
Comparing the coefficients of the term $z^2$ in equation (\ref{eqn:two-theta-sum-2-deno-2}),
we have
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
=
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
\right\}^2.
\end{equation*}
From Jacobi's derivative formula (\ref{eqn:Jacobi-derivative}) and equation (\ref{eqn:analogue-1/2}),
we obtain
\begin{align*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
=&
-\pi^2
\left(
\theta^4
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,2\tau)
-
\theta^2
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,\tau)
\theta^2
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,\tau)
\right) \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%
=&
-\pi^2
\left(
\theta^4
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,2\tau)
-
\theta^4
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,2\tau)
\right)
\,\,
\mathrm{by \,\,Lemma \,\,\ref{lem:Farkas-Kra}}.
\end{align*}
Recall Jacobi's quartic identity:
\begin{equation*}
\theta^4
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,\tau)
=
\theta^4
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,\tau)
+
\theta^4
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau).
\end{equation*}
For the proof, see Farkas and Kra \cite[p.~120]{Farkas-Kra}.
\par
Therefore, it follows that
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
=
-
\pi^2
\theta^4
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau).
\end{equation*}
\end{proof}
\begin{theorem}
\label{thm:4-triangulars}
{\it
For each $n\in\mathbb{N}_0,$
\begin{align*}
t_4(n):=&
\sharp
\left\{
(x,y,z,w)\in\mathbb{N}_0^4 \,| \, n=\frac{x(x+1)}{2}+\frac{y(y+1)}{2}+\frac{z(z+1)}{2}+\frac{w(w+1)}{2}
\right\} \\
=&\sigma(2n+1),
\end{align*}
where $\sigma(m)$ is the sum of positive divisors of $m\in\mathbb{N}.$
}
\end{theorem}
\begin{proof}
Set $q=\exp(2\pi i \tau).$
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) implies
\begin{align*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
=&-8\pi^2
\sum_{N=1}^{\infty}
\left\{
2\sigma(N)-6\sigma\left(\frac{N}{2}\right)+4\sigma\left(\frac{N}{4}\right)
\right\} q^{N} \\
=&-16\pi^2
\sum_{n=0}^{\infty} \sigma(2n+1) q^{2n+1}.
\end{align*}
From the definition, it follows that
\begin{align*}
-
\pi^2
\theta^4
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau)
=&
-\pi^2
\left\{
\sum_{n\in\mathbb{Z}}
q^{\left(n+\frac12\right)^2}
\right\}^4
=
-16\pi^2
q
\left\{
\sum_{n=0}^{\infty}
q^{2\cdot \frac{n(n+1)}{2}}
\right\}^4 \\
=&
-16\pi^2
\sum_{n=0}^{\infty} t_4(n) q^{2n+1}.
\end{align*}
The theorem follows from Proposition \ref{prop:2nd-deri-theta-0,1/2}.
\end{proof}
\subsection{Derivation of a differential equation}
\begin{theorem}
\label{thm:diff-eta}
{\it
For every $\tau\in\mathbb{H}^2,$
we have
\begin{equation}
\label{eqn:diff-eta}
\frac{d}{d\tau}
\left\{
\frac
{
\eta^3(2\tau)
}
{
\eta^2(\tau) \eta(4\tau)
}
\right\}
=
4\pi i
\frac
{
\eta^7(4\tau)
}
{
\eta^2(\tau) \eta(2\tau)
},
\end{equation}
that is,
\begin{equation*}
\frac{d}{d q}
\left\{
\frac
{
(q^2;q^2)_{\infty}^3
}
{
(q;q)_{\infty}^2 (q^4;q^4)_{\infty}
}
\right\}
=
2
\frac
{
(q^4;q^4)_{\infty}^7
}
{
(q;q)^2_{\infty} (q^2;q^2)_{\infty}
},
\quad
q=\exp(2\pi i \tau).
\end{equation*}
}
\end{theorem}
\begin{proof}
The heat equation (\ref{eqn:heat}) and Proposition \ref{prop:2nd-deri-theta-0,1/2} imply that
\begin{equation*}
4\pi i
\left(
\frac
{
\displaystyle
\frac{d}{d\tau}
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\displaystyle
\frac{d}{d\tau}
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
\right)
=
-
\pi^2
\theta^4
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau).
\end{equation*}
Multiplying
$
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
/
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
$ by both sides,
we have
\begin{align*}
4\pi i
\frac{d}{d\tau}
\left\{
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
\right\}
=
-
\pi^2
\theta^4
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau)
\cdot
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}.
\end{align*}
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) shows
\begin{equation*}
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
=
\sqrt{2}
\prod_{n=1}^{\infty}
\frac
{
(1-q^{2n})^3
}
{
(1-q^{n})^2(1-q^{4n})
} \,\,
\end{equation*}
and
\begin{equation*}
\theta^4
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau)
\cdot
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right](0,\tau)
}
=
16\sqrt{2}
q
\prod_{n=1}^{\infty}
\frac
{
(1-q^{4n})^7
}
{
(1-q^{n})^2(1-q^{2n})
},
\end{equation*}
which proves the theorem.
\end{proof}
\subsection*{Remark}
Theorems \ref{thm:4-triangulars} and \ref{thm:diff-eta} follow from Proposition \ref{prop:2nd-deri-theta-0,1/2}.
Therefore,
the differential equation (\ref{eqn:diff-eta}) is equivalent to the formula of $t_4(n),$
the number of representations of $n$ as the sum of four triangular numbers.
\section{ODE satisfied by a modular form of level 5}
\label{sec:ODE-level-5}
\subsection{Preliminary results}
\begin{proposition}
\label{prop:2nd-order-theta(1)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
-
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
{
100
\theta^6
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^6
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left\{
-8
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
+88
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
+8
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\right\}.
\end{equation*}
}
\end{proposition}
\begin{proof}
The proposition can be obtained by
considering equation (\ref{eqn:analogue-1/5-3/5}) and
comparing the coefficients of the term $z^2$ in equation (\ref{eqn:two-theta-sum-2-deno-5}).
\end{proof}
\subsection{Derivation of a Riccati equation}
\begin{theorem}
\label{thm:q-Riccati-diff-eq-modulus5}
{\it
For every $\tau\in\mathbb{H}^2,$ set
$$
W=
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right](0,\tau)
/
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](0,\tau), \,\,\,
{\it and } \,\,q=\exp(2\pi i \tau).
$$
Then, $W$ satisfies the following Riccati equation:
\begin{equation}
\label{eqn:Riccati-q-diff-eq-modulus5}
q
\frac{d}{dq} W
=
\frac{1}{(\sqrt{5})^3}
\frac{(q;q)_{\infty}^5}{(q^5;q^5)_{\infty}}
\left(
W^2-11W-1
\right).
\end{equation}
}
\end{theorem}
\begin{proof}
The heat equation (\ref{eqn:heat}) and
Proposition \ref{prop:2nd-order-theta(1)}
imply that
\begin{align*}
&
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=&
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
{
100
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\left\{
-8
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
+88
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
+8
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\right\}
}
{
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
},
\end{align*}
which shows that
\begin{align*}
&
4\pi i
\frac
{
d
}
{
d \tau
}
\log
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=&
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
{
20
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\left\{
-8
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
+88
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
+8
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\right\}
}
{
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}.
\end{align*}
%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
\par
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{equation*}
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
=\frac{4\pi^2}{\sqrt{5}}
\prod_{n=1}^{\infty} \frac{(1-q^n)^5}{(1-q^{5n})}
=\frac{4\pi^2}{\sqrt{5}}
\frac{\eta(\tau)^5}{\eta(5\tau)}.
\end{equation*}
\par
Setting
\begin{equation*}
(X,Y)=
\left(
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right],
%%%%%%%%%%%%%%%%%%%%%%
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\right),
\end{equation*}
we obtain
\begin{equation*}
\frac{d X}{d\tau} Y
-
X \frac{d Y}{d\tau}
=
\frac{2\pi i}{(\sqrt{5})^3}
\frac{\eta^5(\tau)}{\eta(5\tau)}
\left(X^2-11XY-Y^2\right),
\end{equation*}
which implies that
\begin{equation*}
\frac{d}{d\tau} W
=
\frac{d}{d\tau}
\left(
\frac{X}{Y}
\right)
=
\frac
{
\displaystyle \frac{dX}{d\tau}Y-X\frac{dY}{d\tau}
}
{
Y^2
}
=
\frac{2 \pi i}{(\sqrt{5})^3}
\frac{\eta^5(\tau)}{\eta(5\tau)}
\left(
W^2-11W-1
\right).
\end{equation*}
The theorem can be obtained by considering that
$
\displaystyle
\frac{d}{d\tau}=\frac{dq}{d\tau}\frac{d}{dq}=2\pi i q \frac{d}{dq}.
$
\end{proof}
\section{ODE satisfied by a modular form of level 6}
\label{sec:ODE-level-6}
\subsection{Preliminary results}
\begin{proposition}
\label{prop:theta-relation-1/3,2/3}
{\it
For every $\tau\in\mathbb{H}^2,$
we have
\begin{equation*}
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
-
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]=0.
\end{equation*}
}
\end{proposition}
\begin{proof}
We note that
$
\mathcal{F}_{2}\left[
\begin{array}{c}
\frac{4}{3} \\
0
\end{array}
\right] =2$ and
\begin{alignat*}{2}
&\theta
\left[
\begin{array}{c}
\frac{2}{3} \\
\frac{1}{3}
\end{array}
\right] (\zeta, \tau)
\theta
\left[
\begin{array}{c}
\frac{2}{3} \\
\frac{5}{3}
\end{array}
\right] (\zeta, \tau),
\quad
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&\theta
\left[
\begin{array}{c}
\frac{2}{3} \\
\frac{2}{3}
\end{array}
\right] (\zeta, \tau)
\theta
\left[
\begin{array}{c}
\frac{2}{3} \\
\frac{4}{3}
\end{array}
\right] (\zeta, \tau), \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&\theta^2
\left[
\begin{array}{c}
\frac{2}{3} \\
1
\end{array}
\right] (\zeta, \tau),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&\theta^2
\left[
\begin{array}{c}
\frac{2}{3} \\
0
\end{array}
\right] (\zeta, \tau)
\in
\mathcal{F}_{2}\left[
\begin{array}{c}
\frac{4}{3} \\
0
\end{array}
\right].
\end{alignat*}
\par
Substituting
$$
\zeta=\frac{\tau\pm2}{6}, \,\, \frac{\tau\pm1}{6}, \,\, \frac{\tau\pm 1}{6}, \,\,\frac{\tau+3}{6},
$$
we obtain
\begin{equation}
\label{eqn:system-A}
A \mathbf{x}=\mathbf{0},
\end{equation}
where
\begin{equation*}
A
=
\begin{pmatrix}
0 &
%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%%%
\zeta_6
\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%
-\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%
0 &
%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac{2}{3}
\end{array}
\right] &
%%%%%%%%%%%%%%%
\zeta_6
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
-\theta^2
\left[
\begin{array}{c}
1 \\
\frac{1}{3}
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%%%%%%
-\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%%
0 &
%%%%%%%%%%%%%%%%%
\zeta_6
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right] &
0
\end{pmatrix},
\end{equation*}
$\zeta_6=\exp(2\pi i /6)$, and
$\mathbf{x}= {}^{t} (x_1, x_2, x_3, x_4).$
\par
Since the system of equations (\ref{eqn:system-A}) has a nontrivial solution $\mathbf{x}\neq \mathbf{0},$
we have $\det A=0.$
Therefore, it follows that
\begin{align*}
&
\begin{vmatrix}
0 &
%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%
-\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%
0 &
%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac{2}{3}
\end{array}
\right] &
%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
-\theta^2
\left[
\begin{array}{c}
1 \\
\frac{1}{3}
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%%%%%%
-\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%%
0 &
%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right] &
%%%%%%%%%%%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right] &
0
\end{vmatrix}
\\
=&
\left(
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right)^2 \\
=&0.
\end{align*}
\end{proof}
\begin{proposition}
\label{prop:2nd-deri-theta-1/3,2/3}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
=
-\frac{1}{12}
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
\left(
\theta^8
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10
%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9
\theta^8
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right)
\end{equation*}
and
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
=
-\frac{1}{12}
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
}
{
%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%
\theta^5
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right).
\end{equation*}
}
\end{proposition}
\begin{proof}
Comparing the coefficients of the term $z^2$ in equation (\ref{eqn:two-theta-sum-2-deno-3-(0)}),
we have
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
=
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}.
\end{equation*}
From equation (\ref{eqn:analogue-1/3-2/3}), it follows that
\begin{align*}
&
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
} \\
=&
-
\frac{1}{12}
%%%%%%%%%%%%%%%%
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
\theta^6
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left(
\theta^8
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
+
2
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
-3
\theta^8
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
-
12
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right).
\end{align*}
The first formula follows from Proposition \ref{prop:theta-relation-1/3,2/3}.
\par
The second formula follows from the fact that
\begin{align*}
&
\left(
\theta^8
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
10
%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9
\theta^8
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right)
=
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
-
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right)
%%%%%%%%%%%%%%%
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
-
9
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right) \\
=&
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
-
9
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right).
\end{align*}
\end{proof}
\subsection{Derivation of a Riccati equation}
\begin{theorem}
\label{thm:Riccati-theta-1/3-2/3}
{\it
For every $\tau\in\mathbb{H}^2,$
set
\begin{equation*}
W=
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right](0,\tau)
/
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right](0,\tau)
=
\left\{
\sqrt{3}
\frac
{
(q^2;q^2)_{\infty} (q^3;q^3)_{\infty}^2
}
{
(q;q)_{\infty}^2 (q^6;q^6)_{\infty}
}
\right\}^4,
\quad q=\exp(2\pi i \tau).
\end{equation*}
Then, $W$ satisfies the following Riccati equation:
\begin{equation*}
q\frac{d}{dq}W
=
\frac{1}{2^3}
\left\{
\frac
{
(q;q)_{\infty}^2 (q^3;q^3)_{\infty}^2
}
{
(q^2;q^2)_{\infty} (q^6;q^6)_{\infty}
}
\right\}^2
\left(
W^2-10W+9
\right).
\end{equation*}
}
\end{theorem}
\begin{proof}
The heat equation (\ref{eqn:heat}) and
Proposition \ref{prop:2nd-deri-theta-1/3,2/3}
imply that
\begin{align*}
&
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=&
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\left\{
\theta^{8}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
-10
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
+9
\theta^{8}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right\}
}
{
12
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
},
\end{align*}
which shows that
\begin{align*}
&
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right] \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=&
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\left\{
\theta^{8}
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
-10
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
+9
\theta^{8}
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right\}
}
{
3
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
%%%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}.
\end{align*}
%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
\par
Moreover,
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{equation*}
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
}
=
\left\{
-\sqrt{3}\pi
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^2(1-q^{3n})^2
}
{
(1-q^{2n})(1-q^{6n})
}
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left\{
-\sqrt{3}\pi
\frac
{
\eta^2(\tau) \eta^2(3\tau)
}
{
\eta(2\tau) \eta(6\tau)
}
\right\}^2.
\end{equation*}
\par
Setting
\begin{equation*}
(X,Y)=
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac13
\end{array}
\right],
%%%%%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac23
\end{array}
\right]
\right),
\end{equation*}
we obtain
\begin{equation}
\label{eqn:relation-(X,Y)}
\frac{d X}{d\tau} Y
-
X \frac{d Y}{d\tau}
=
\frac{2\pi i}{2^3}
\left\{
\frac
{
\eta^2(\tau) \eta^2(3\tau)
}
{
\eta(2\tau) \eta(6\tau)
}
\right\}^2
\left(X^2-10XY+9Y^2\right),
\end{equation}
which implies that
\begin{equation*}
\frac{d}{d\tau} W
=
\frac{d}{d\tau}
\left(
\frac{X}{Y}
\right)
=
\frac
{
\displaystyle \frac{dX}{d\tau}Y-X\frac{dY}{d\tau}
}
{
Y^2
}
=
\frac{2 \pi i}{2^3}
\left\{
\frac
{
\eta^2(\tau) \eta^2(3\tau)
}
{
\eta(2\tau) \eta(6\tau)
}
\right\}^2
\left(W^2-10W+9 \right).
\end{equation*}
The theorem can be obtained by considering that
$
\displaystyle
\frac{d}{d\tau}=\frac{dq}{d\tau}\frac{d}{dq}=2\pi i q \frac{d}{dq}.
$
\end{proof}
By the second formula of Proposition \ref{prop:2nd-deri-theta-1/3,2/3},
we obtain the following theorem.
\begin{theorem}
\label{thm:q-diff-eta}
{\it
For every $\tau\in\mathbb{H}^2,$
set
\begin{equation*}
W
=
\left\{
\frac
{
\eta(2\tau)\eta^2(3\tau)
}
{
\eta^2(\tau)\eta(6\tau)
}
\right\}^4
=
\left\{
\frac
{
(q^2;q^2)_{\infty} (q^3;q^3)_{\infty}^2
}
{
(q;q)_{\infty}^2 (q^6;q^6)_{\infty}
}
\right\}^4, \,\,\,q=\exp(2\pi i \tau).
\end{equation*}
Then,
$W$ satisfies the following differential equation:
\begin{equation*}
q
\frac{d}{d q}
W
=
\frac
{
(q^2;q^2)_{\infty}^7 (q^3;q^3)_{\infty}^7
}
{
(q;q)_{\infty}^5 (q^6;q^6)_{\infty}^5
}
(W-1), \,\,
\text{or}\,\,
\frac{d}{d \tau}
W
%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%
2\pi i
\frac
{
\eta^7(2\tau)\eta^7(3\tau)
}
{
\eta^5(\tau) \eta^5(6\tau)
}
(W-1).
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%%%%
}
\end{theorem}
\section{ODE satisfied by a modular form of level 8}
\label{sec:ODE-level-8}
\subsection{Preliminary results}
From Matsuda \cite{Matsuda-1}, recall the following theta constant identities.
\begin{theorem}
\label{thm:theta-mod8}
{\it
For every $\tau\in\mathbb{H}^2,$
we have
\begin{align}
&\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%
\theta^3
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
-
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%
\theta^3
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
-
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
%%%%%
\theta^3
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]=0, \label{theta-constant-identity(1)} \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%
&\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
%%%%%%%%
%%%%%%%%
-
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
+
\theta^2
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]=0, \label{theta-constant-identity(2)} \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&\theta^4
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%
%%%%%%%%
-
\theta^4
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
%%%%%%%%%%%
%%%%%%%%%%
-
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
%%%%%
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]=0. \label{theta-constant-identity(3)}
\end{align}
}
\end{theorem}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\noindent
From these theta constant identities,
we can obtain the following proposition.
\begin{proposition}
\label{prop:2nd-deri-1/4-3/4}
{\it
For every $\tau\in\mathbb{H}^2,$
we have
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
=
-\frac{1}{8}
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^4
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6
%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
\right).
\end{equation*}
}
\end{proposition}
\begin{proof}
By Lemma \ref{lem:Farkas-Kra},
we first note that
\begin{equation*}
\theta^2
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,\tau)
=
\theta^2
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,2\tau)
+
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau),
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation*}
\theta^2
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,\tau)
=
\theta^2
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,2\tau)
-
\theta^2
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right](0,2\tau),
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation*}
\theta^2
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,2\tau)
=
\theta
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,\tau)
\theta
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,\tau).
\end{equation*}
\par
Comparing the coefficients of the term $z^2$ in equation (\ref{eqn:two-theta-sum-2-deno-4}) yields
\begin{equation}
\label{eqn:relation:z^2-(1,1/4),(1,3/4)}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}.
\end{equation}
Equations (\ref{eqn-modulus4(1)}), (\ref{eqn-modulus4(2)}), (\ref{theta-constant-identity(1)}), and (\ref{theta-constant-identity(3)}) imply that
\begin{align*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
=&
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac12
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%
\left\{
\frac
{
\theta^2
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,2\tau)
+
\theta^2
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,2\tau)
}
{
\theta^2
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,2\tau)
}
+
2
\right\} \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&
-
\frac14
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%
\theta^7
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^6
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
},
\end{align*}
which shows
\begin{align*}
&
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%
\cdot
%%%%%%%%%
\frac
{
\theta^2
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,4\tau)
}
{
\theta^2
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,2\tau)
}+ \\
%%%%%%%%%%%%%%%%%%%%
&\hspace{25mm}+
%%%%%%%%%%%%%%%%%%%%
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac14
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta^7
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^6
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
\theta^6
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}.
\end{align*}
\par
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{align*}
&
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%
\cdot
%%%%%%%%%
\frac
{
\theta^2
\left[
\begin{array}{c}
0 \\
0
\end{array}
\right](0,4\tau)
}
{
\theta^2
\left[
\begin{array}{c}
0 \\
1
\end{array}
\right](0,2\tau)
}
=
\frac18
%%%%%%%%%%%%%%%%%%
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta^7
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^6
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
\theta^6
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
} \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=&
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4\pi^2 \sqrt{2}
\frac
{
\eta^{13}(4\tau)
}
{
\eta^2(\tau) \eta(2\tau) \eta^6(8\tau)
}.
\end{align*}
\par
Therefore, it follows that
\begin{equation}
\label{eqn:relation-1/4-3/4}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
\frac18
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta^3
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta^7
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^6
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
\theta^6
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}.
\end{equation}
Equation (\ref{theta-constant-identity(1)})
implies that
\begin{equation*}
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
=
-\frac{1}{8}
\frac
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^4
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
\left(
\theta^4
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6
%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
\right).
\end{equation*}
\end{proof}
\begin{corollary}
\label{coro:pro-series-(1,1/4),(1,3/4)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac
{
\eta^2(\tau) \eta(2\tau) \eta^3(4\tau)
}
{
\eta^2(8\tau)
}
=
1-2\sum_{n=1}^{\infty} \left( \sum_{d|n}d \left( \frac{8}{d}\right) \right)q^n,
\end{equation*}
where $q=\exp(2\pi i \tau)$ and for each $m\in\mathbb{N},$
\begin{equation*}
\left(\frac{8}{m}\right)
=
\begin{cases}
+1, \,\,&\text{if} \,\,m\equiv \pm1 \,\,(\mathrm{mod} \, 8), \\
-1, \,\,&\text{if} \,\,m\equiv \pm3 \,\,(\mathrm{mod} \, 8), \\
0, \,\,&\text{if} \,\,m\equiv 0 \,\,(\mathrm{mod} \, 2). \\
\end{cases}
\end{equation*}
}
\end{corollary}
\begin{proof}
By equation (\ref{eqn:relation:z^2-(1,1/4),(1,3/4)}),
we have
\begin{equation*}
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%
=
\left.
\frac{d^2}{dz^2}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right](z)
\right|_{z=0}
%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%
\left.
\frac{d^2}{dz^2}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right](z)
\right|_{z=0}.
\end{equation*}
The corollary follows from Jacobi's triple product identity (\ref{eqn:Jacobi-triple}).
\end{proof}
\begin{corollary}
\label{thm:2nd-deri-theta-eta-1/4-3/4}
{\it
For every $\tau\in\mathbb{H}^2,$
we have
\begin{equation*}
\frac
{
\eta^{13}(4\tau)
}
{
\eta^2(\tau) \eta(2\tau) \eta^6(8\tau)
}
=
1
-
2
\sum_{n=1}^{\infty}
\left(
\sum_{d|n}
\left(
d
\left(
\frac{8}{d}
\right)
-
2
\frac{n}{d}
\left(
\frac{8}{d}
\right)
\right)
\right)
q^{n},
\end{equation*}
where $q=\exp(2\pi i \tau).$
}
\end{corollary}
\begin{proof}
The heat equation (\ref{eqn:heat}) and equation (\ref{eqn:relation-1/4-3/4}) imply that
\begin{equation*}
\frac{d}{d\tau}
\log
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%
\frac{2 \pi i}{\sqrt{2}}
\left\{
\frac
{
\eta^{13}(4\tau)
}
{
\eta^2(\tau) \eta(2\tau) \eta^6(8\tau)
}
-
\frac
{
\eta^2(\tau) \eta(2\tau) \eta^3(4\tau)
}
{
\eta^2(8\tau)
}
\right\},
\end{equation*}
which shows that
\begin{equation*}
\frac
{
\eta^{13}(4\tau)
}
{
\eta^2(\tau) \eta(2\tau) \eta^6(8\tau)
}
-
\frac
{
\eta^2(\tau) \eta(2\tau) \eta^3(4\tau)
}
{
\eta^2(8\tau)
}
%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%
4
\sum_{n=1}^{\infty}
\left(
\sum_{d | n} \frac{n}{d} \left(\frac{8}{d}\right)
\right)
q^{n}.
\end{equation*}
\end{proof}
\subsection{Derivation of a Riccati equation}
\begin{theorem}
{\it
For every $\tau\in\mathbb{H}^2,$
set
\begin{equation*}
W=
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right](0,\tau)
/
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right](0,\tau), \quad q=\exp(2\pi i \tau).
\end{equation*}
Then, $W$ satisfies the following Riccati equation:
\begin{equation*}
q\frac{dW}{dq}
=
\frac{1}{(\sqrt{2})^5}
\frac
{
(q;q)_{\infty}^2(q^2;q^2)_{\infty} (q^4; q^4)_{\infty}^3
}
{
(q^8; q^8)_{\infty}^2
}
\left(
W^2-6W+1
\right).
\end{equation*}
}
\end{theorem}
\begin{proof}
Set
\begin{equation*}
(X,Y)=
\left(
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right],
%%%%%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
\right).
\end{equation*}
The heat equation (\ref{eqn:heat}) and
Proposition \ref{prop:2nd-deri-1/4-3/4}
imply that
\begin{equation*}
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%
4\pi i
\frac
{
d
}
{
d\tau
}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
\frac18
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^4
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
(X^2-6XY+Y^2),
\end{equation*}
which shows that
\begin{equation*}
4\pi i
\frac
{
d
}
{
d\tau
}
\log
X
%%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%
4\pi i
\frac
{
d
}
{
d\tau
}
\log
Y
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
\frac14
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^4
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%
\theta^4
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
(X^2-6XY+Y^2).
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
\par
Moreover,
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{equation*}
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
0
\end{array}
\right]
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac12
\end{array}
\right]
}
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac14
\end{array}
\right]
%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac34
\end{array}
\right]
}
=
4\sqrt{2}\pi^2
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^2(1-q^{2n}) (1-q^{4n})^3
}
{
(1-q^{8n})^2
}
%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
4\sqrt{2}\pi^2
\frac
{
\eta^2(\tau) \eta(2\tau)\eta^3(4\tau)
}
{
\eta^2(8\tau)
}.
\end{equation*}
\par
Therefore,
it follows that
\begin{equation}
\label{eqn:relation-(X,Y)-1/4-3/4}
\frac{d X}{d\tau} Y
-
X \frac{d Y}{d\tau}
=
\frac{2\pi i}{4\sqrt{2}}
\frac
{
\eta^2(\tau) \eta(2\tau)\eta^3(4\tau)
}
{
\eta^2(8\tau)
}
\left(X^2-6XY+Y^2\right),
\end{equation}
which implies that
\begin{equation*}
\frac{d}{d\tau} W
=
\frac{d}{d\tau}
\left(
\frac{X}{Y}
\right)
=
\frac
{
\displaystyle \frac{dX}{d\tau}Y-X\frac{dY}{d\tau}
}
{
Y^2
}
=
\frac{2 \pi i}{4\sqrt{2}}
\frac
{
\eta^2(\tau) \eta(2\tau)\eta^3(4\tau)
}
{
\eta^2(8\tau)
}
\left( W^2-6W+1 \right).
\end{equation*}
The theorem can be obtained by considering that
$
\displaystyle
\frac{d}{d\tau}=\frac{dq}{d\tau}\frac{d}{dq}=2\pi i q \frac{d}{dq}.
$
\end{proof}
%\begin{acknowledgements}
%If you'd like to thank anyone, place your comments here
%and remove the percent signs.
%\end{acknowledgements}
% BibTeX users please use one of
%\bibliographystyle{spbasic} % basic style, author-year citations
%\bibliographystyle{spmpsci} % mathematics and physical sciences
%\bibliographystyle{spphys} % APS-like style for physics
%\bibliography{} % name your BibTeX data base
% Non-BibTeX users please use
\begin{thebibliography}{}
%
% and use \bibitem to create references. Consult the Instructions
% for authors for reference list style.
%
\bibitem{Hurwitz}
A. Hurwitz,
{\it Ueber die Differentialgleichungen dritter Ordnung, welchen die Formen mit linearen Transformationen in sich gen\"ugen,}
Math. Ann. {\bf 33} (1889), 345-352.
\bibitem{Farkas-Kra}
H. M. Farkas, and Irwin Kra,
{\it Theta constants, Riemann surfaces and the modular group,}
AMS Grad Studies in Math., {\bf 37} 2001.
\bibitem{Farkas-2}
H. M. Farkas,
{\it Theta functions in complex analysis and number theory,}
Dev. Math., {\bf 17} (2008), 57-87.
%\bibitem{Fine}
%N. J. Fine,
%{\it
% Basic hypergeometric series and applications.
%}
%Mathematical Surveys and Monographs, {\bf 27} American Mathematical Society, Providence, RI, 1988.
\bibitem{Klein}
F. Klein, {\it Ueber Multiplicatorgleichungen,} Math. Ann. {\bf 15} (1879), 86-88.
\bibitem{Matsuda-1}
K. Matsuda,
{\it Analogues of Jacobi's derivative formula,}
Ramanujan J. {\bf 39} (2016), 31-47.
\bibitem{Matsuda-2}
K. Matsuda,
{\it Analogues of Jacobi's derivative formula II,} Ramanujan J (2016).
doi:10.1007/s11139-016-9803-3
\bibitem{Milas}
A. Milas, {\it Ramanujan's "Lost Notebook'' and the Virasoro algebra, }
Comm. Math. Phys. {\bf 251} (2004), 567-588.
\bibitem{Mumford}
D.
Mumford,
{\it Tata lectures on theta. I. }
Reprint of the 1983 edition. Modern Birkhauser Classics. Birkhauser Boston, Inc., Boston, MA, 2007.
\bibitem{Pol}
B. Van der Pol,
{\it On a non-linear partial differential equation satisfied by the logarithm of the Jacobian theta-functions, with arithmetical applications. I, II,}
Nederl. Akad. Wetensch. Proc. Ser. A. {\bf 54} = Indag. Math. {\bf 13} (1951), 261-271, 272-284.
\bibitem{Sebbar}
A. Sebbar, and A. Sebbar, Ahmed,
{\it Eisenstein series and modular differential equations, } Canad. Math. Bull. {\bf 55} (2012), 400-409.
\end{thebibliography}
\end{document}