Differential equations satisfied by modular forms of level 5
Extracted source text ยท arXiv 1610.06849
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\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 Jacobi's derivative formula \\ with modular forms of level five}}
\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 another expressions of Jacobi's derivative formula in terms of modular forms of level five.
For this purpose, we use the residue theorem and the Fourier series expansions of
$\eta^5(\tau)/\eta(5\tau)$ and $\eta^5(5\tau)/\eta(\tau),$ where $\eta(\tau)$ is the Dedekind eta function.
\newline
{\bf Key Words:} theta function; theta constant; rational characteristics; Hecke group.
\newline
{\bf MSC(2010)} 14K25; 11E25
\section{Introduction}
\label{intro}
Throughout this paper, the {\it upper half plane} $\mathbb{H}^2$ is defined by
$
\mathbb{H}^2=
\{
\tau\in\mathbb{C} \,\, | \,\, \Im \tau>0
\}.
$
The {\it Dedekind eta function} is defined by
$
\displaystyle
\eta(\tau)=q^{\frac{1}{24}} \prod_{n=1}^{\infty} (1-q^n), \,\,q=\exp(2\pi i \tau), \,\,\tau\in\mathbb{H}^2.
$
\par
Our concern is with the famous product-series identities,
\begin{align}
\frac{\eta^5(\tau)}{\eta(5\tau)}
=&
1-5
\sum_{n=1}^{\infty}
\left( \sum_{d|n} d \left( \frac{d}{5} \right) \right) q^n, \label{eqn:pro-series-deg1-(1,1/5),(1,3/5)} \\
%%%%%%%%%%%%%%%%%%%%%%
\frac{\eta^5(5\tau)}{\eta(\tau)}
=&
\sum_{n=1}^{\infty}
\left( \sum_{d|n} \frac{n}{d} \left(\frac{d}{5}\right) \right) q^n, \quad q=\exp(2\pi i \tau),\label{eqn:pro-series-deg1-(1/5,1),(3/5,1)}
\end{align}
where for each $m\in\mathbb{N},$
\begin{equation*}
\left(
\frac{m}{5}
\right)
=
\begin{cases}
1 &\text{if $m\equiv \pm1 \mod 5,$}\\
-1 &\text{if $m\equiv \pm2 \mod 5,$}\\
0 &\text{if $m\equiv 0 \hspace{3mm}\mod 5. $} \\
\end{cases}
\end{equation*}
Ramanujan's famous identity,
\begin{equation*}
\sum_{n=0}^{\infty} p(5n+4) q^n=5\prod_{n=1}^{\infty} \frac{(1-q^{5n})^5}{(1-q^n)^6},
\end{equation*}
is proved by the identity (\ref{eqn:pro-series-deg1-(1/5,1),(3/5,1)}),
where for each $n\in\mathbb{N},$ $p(n)$ is the partition number of $n.$
For the proof, see Bailey \cite{Bailey1, Bailey2}.
\par
The aim of this paper is to obtain another expressions of {\it Jacobi's derivative formula}
by means of the identities (\ref{eqn:pro-series-deg1-(1,1/5),(1,3/5)}) and (\ref{eqn:pro-series-deg1-(1/5,1),(3/5,1)}).
Jacobi's 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}
Moreover, we derive modular equations of level 5 and the formulas of Wronskian of modular forms of level 5.
Our main theorem is as follows:
\begin{theorem}
\label{thm:another-Jacobi-level-5}
{\it
For every $\tau\in\mathbb{H}^2,$
we have
\begin{equation}
\label{eqn:Jacobi-(1,1/5)-(1,3/5)}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^4
=
\frac
{2^4 \pi^4
\theta^{11}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%
\theta^{11}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
-
11
\theta^{5}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^{5}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
-
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn:Jacobi-(1/5,1)-(3/5,1)}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^4
=
\frac
{2^4 \pi^4
\zeta_5^4
\theta^{11}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%%%
\theta^{11}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%
}
{
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
-
11
\theta^{5}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
\theta^{5}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
-
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^4
=
\frac
{2^4 \pi^4
\theta^{11}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%%%%
\theta^{11}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
%%%%%%%%%%%%%%
}
{
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
-
11
\zeta_5^4
\theta^{5}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
\theta^{5}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
-
\zeta_5^3
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn:Jacobi-(1/5,3/5)-(3/5,9/5)}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^4
=
\frac
{2^4 \pi^4
\theta^{11}
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
%%%%%%%%%%%%%%%%%%
\theta^{11}
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
%%%%%%%%%%%%%%
}
{
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
+
11
\zeta_5
\theta^{5}
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
\theta^{5}
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
-
\zeta_5^2
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn:Jacobi-(1/5,7/5)-(3/5,1/5)}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^4
=
\frac
{2^4 \pi^4
\zeta_5^3
\theta^{11}
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
%%%%%%%%%%%%%%%%%%
\theta^{11}
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%
}
{
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
-
11
\zeta_5^3
\theta^{5}
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
\theta^{5}
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
-
\zeta_5
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
},
\end{equation}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
and
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation}
\label{eqn:Jacobi-(1/5,9/5)-(3/5,7/5)}
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^4
=
\frac
{2^4 \pi^4
\zeta_5^3
\theta^{11}
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
%%%%%%%%%%%%%%%%%%
\theta^{11}
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
%%%%%%%%%%%%%%
}
{
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
-
11
\zeta_5
\theta^{5}
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
\theta^{5}
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
-
\zeta_5^2
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
},
\end{equation}
where $\zeta_5=\exp(2\pi i/5).$
}
\end{theorem}
%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
\par
This paper is organised as follows.
In Section \ref{sec:properties}, we review the basic properties of the theta functions.
\par
In Section \ref{sec:pro-series-level5},
we prove the identities (\ref{eqn:pro-series-deg1-(1,1/5),(1,3/5)}) and (\ref{eqn:pro-series-deg1-(1/5,1),(3/5,1)}).
In Section \ref{sec:derivative-level-5}, we recall the derivative formulas of level five.
In \cite{Matsuda-1} and \cite{Matsuda-2}, we expressed
$
\theta^{\prime}
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right]
$
by theta constants with rational characteristics for $\epsilon=1, \epsilon^{\prime}\in\mathbb{Q}.$
\par
In Sections \ref{sec:formula-(1,1/5)-(1,3/5)} and \ref{sec:formula-(1/5,1)-(3/5,1)}, we prove the formulas (\ref{eqn:Jacobi-(1,1/5)-(1,3/5)}) and (\ref{eqn:Jacobi-(1/5,1)-(3/5,1)}).
In Section \ref{sec:formulas-(1/5,1/5)-(3/5,3/5)-etc}, we prove the formulas (\ref{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)}), (\ref{eqn:Jacobi-(1/5,3/5)-(3/5,9/5)}), (\ref{eqn:Jacobi-(1/5,7/5)-(3/5,1/5)}), and (\ref{eqn:Jacobi-(1/5,9/5)-(3/5,7/5)}). For the proof, we note the residue theorem.
\begin{theorem}
\label{thm-fundamental-elliptic-function}
(The residue theorem)
{\it
The sum of all the residues of an elliptic function in the fundamental parallelogram is zero.
}
\end{theorem}
%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{The properties of the theta functions}
\label{sec:properties}
\subsection{Notations}
Following Farkas and Kra \cite{Farkas-Kra},
we first introduce the {\it 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),
\end{align*}
where $\epsilon, \epsilon^{\prime}\in\mathbb{R}, \, \zeta\in\mathbb{C},$ and $\tau\in\mathbb{H}^{2}.$
The {\it 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*}
%and
%\begin{equation*}
\theta^{\prime \prime \prime}
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right]
:=\left.
\frac{\partial^3 }{\partial \zeta^3}
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right] (\zeta, \tau)
\right|_{\zeta=0}.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\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*}
%%%%%%%%%%%%%%%%
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
\begin{equation*}
\zeta=\frac{1-\epsilon}{2}\tau+\frac{1-\epsilon^{\prime}}{2}.
\end{equation*}
\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
\begin{equation*}
\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=-2\pi\eta^3(\tau), \,\,q=\exp(2\pi i \tau).
\end{equation*}
\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}
\section{On $\eta^5(\tau)/\eta(5\tau)$ and $\eta^5(5\tau)/\eta(\tau)$ }
\label{sec:pro-series-level5}
\subsection{Some theta functional formulas}
\begin{proposition}
\label{prop:theta-function-identities-level5}
{\it
For every $(z,\tau)\in\mathbb{C}\times\mathbb{H}^2,$ we have
\begin{align}
&
\theta^2
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right](z)
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac95
\end{array}
\right](z)
%%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](z)
%%%%%%
\theta
\left[
\begin{array}{c}
1\\
\frac75
\end{array}
\right](z) \notag \\
%%%%%%
%%%%%%%%
&\hspace{20mm}
+
\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)=0, \label{eqn:level5-(1,1/5),(1,3/5)}
\end{align}
%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
\begin{align}
&
-
\zeta_5^2
\theta^2
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](z)
%%%%%%
\theta
\left[
\begin{array}{c}
\frac95\\
1
\end{array}
\right](z)
%%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%
\zeta_5^3
\theta^2
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](z)
%%%%%%
\theta
\left[
\begin{array}{c}
\frac75 \\
1
\end{array}
\right](z) \notag \\
%%%%%%
%%%%%%%%
&\hspace{20mm}
+
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
%%%%%%
\theta^2
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)=0. \label{eqn:level5-(1/5,1),(3/5,1)}
\end{align}
}
\end{proposition}
\begin{proof}
We prove equation (\ref{eqn:level5-(1,1/5),(1,3/5)}).
Equation (\ref{eqn:level5-(1/5,1),(3/5,1)}) 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
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac95
\end{array}
\right](z,\tau)
, \,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac75
\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
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac95
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+x_2
\theta
\left[
\begin{array}{c}
1\\
\frac35
\end{array}
\right](z,\tau)
%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
1 \\
\frac75
\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 \\
\frac15
\end{array}
\right](z),
$
%%%%%%%%%%%%%%%%%%%%%%%%%
$
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](z),
$
or
$
\theta
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
$
is $z=2/5,$ $1/5$ or $0.$
Substituting $z=2/5, 1/5,$ and $0,$ we have
\begin{alignat*}{4}
&
&
&
x_2
\theta
\left[
\begin{array}{c}
1\\
\frac35
\end{array}
\right]
%%%%%%%%%%
&
&+x_3
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
&
&=0, \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&-x_1
\theta
\left[
\begin{array}{c}
1\\
\frac15
\end{array}
\right]
%%%%%%%%%%
&
&
&
&+x_3
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
&
&=0, \\
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&
-
x_1
\theta^2
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
&
-&x_2
\theta^2\left[
\begin{array}{c}
1 \\
\frac35
\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 \\
\frac35
\end{array}
\right],
%%%%%%%%%%%%%%%%%%%%%%%%
-
\theta^2\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right],
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%%%%%
\theta\left[
\begin{array}{c}
1\\
\frac53
\end{array}
\right]
\right) \,\,\, \text{for some} \,\,\alpha\in\mathbb{C}\setminus\{0\},
\end{equation*}
which proves the proposition.
\end{proof}
\begin{lemma}
\label{lem:first-order-deri-square}
{\it
For every $(z,\tau)\in\mathbb{C}\times\mathbb{H}^2,$
we have
\begin{equation*}
\left\{
\frac{
\theta^{\prime}
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](z)
}
{
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](z)
}
\right\}^2
%%%%%%%%%%%%%
=
%%%%%%%%%%%%%%%
\frac{
\theta^{\prime \prime}
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](z)
}
{
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](z)
}
-
\frac
{
d^2
}
{
dz^2
}
\log
\theta
\left[
\begin{array}{c}
\epsilon \\
\epsilon^{\prime}
\end{array}
\right](z).
\end{equation*}
}
\end{lemma}
\begin{proof}
The lemma can be proved by direct calculation.
\end{proof}
\subsection{Proof the identities (\ref{eqn:pro-series-deg1-(1,1/5),(1,3/5)}) and
(\ref{eqn:pro-series-deg1-(1/5,1),(3/5,1)})}
\begin{proof}
By equation (\ref{eqn:level5-(1,1/5),(1,3/5)}),
we derive equation (\ref{eqn:pro-series-deg1-(1,1/5),(1,3/5)}).
Equation (\ref{eqn:pro-series-deg1-(1/5,1),(3/5,1)}) can be proved in the same way.
\par
Comparing the coefficients of the term $z^2$ in equation (\ref{eqn:level5-(1,1/5),(1,3/5)}),
we have
\begin{align*}
%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%
\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]
}
%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%
=&
%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%
\left.
\frac{d^2}{dz^2}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right](z)
\right|_{z=0}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
-
\left.
\frac{d^2}{dz^2}
\log
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](z)
\right|_{z=0}.
%%%%%%%%%%%%%%%%%%%%%
\end{align*}
Therefore,
equation (\ref{eqn:pro-series-deg1-(1,1/5),(1,3/5)}) can be obtained
by Jacobi's triple product identity (\ref{eqn:Jacobi-triple}).
\end{proof}
\section{Derivative formulas of level five}
\label{sec:derivative-level-5}
From Matsuda \cite{Matsuda-2}, recall the following derivative formulas:
\begin{theorem}
\label{thm:analogue-Jacobi-(1/5,1/5), (3/5,3/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
=
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
-
3
\zeta_5^4
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
=
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
3
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
+
\zeta_5^4
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}.
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%
}
\end{theorem}
\begin{theorem}
\label{thm:analogue-Jacobi-(1/5,3/5), (3/5,9/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
}
=
-
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
+
3
\zeta_5
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
}, \,\,
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
}
=
-
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
3
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
-
\zeta_5
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right]
}.
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%
}
\end{theorem}
\begin{theorem}
\label{thm:analogue-Jacobi-(1/5,1), (3/5,1)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
=
-
\zeta_5^3
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
+
3
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
=
-
\zeta_5^3
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
3
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
-
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}.
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%
}
\end{theorem}
\begin{theorem}
\label{thm:analogue-Jacobi-(1/5,7/5), (3/5,1/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
}
=
-
\zeta_5
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
-
3
\zeta_5^3
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
}
=
-
\zeta_5
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
3
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
+
\zeta_5^3
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right]
}.
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%
}
\end{theorem}
\begin{theorem}
\label{thm:analogue-Jacobi-(1/5,9/5), (3/5,7/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
}
=
\zeta_5
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
-
3
\zeta_5
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
}
=
\zeta_5
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\frac
{
\left(
3
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
+
\zeta_5
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
\right)
}
{
10
\theta^3
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^3
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right]
}.
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%
}
\end{theorem}
\begin{theorem}
\label{thm:analogue-Jacobi-(1,1/5), (1,3/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\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
{
\left(
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
-
3
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\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
{
\left(
3
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
+
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\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{Proof of the formula (\ref{eqn:Jacobi-(1,1/5)-(1,3/5)}) }
\label{sec:formula-(1,1/5)-(1,3/5)}
\subsection{Proof of the formula (\ref{eqn:Jacobi-(1,1/5)-(1,3/5)}) }
\begin{proof}
Consider the following elliptic functions:
\begin{equation*}
\varphi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
1\\
\frac15
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\psi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
1 \\
-\frac15
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}.
\end{equation*}
In the fundamental parallelogram,
the pole of $\varphi(z)$ or $\psi(z)$ is $z=0,$
which implies that
$\mathrm{Res} (\varphi(z), 0)=\mathrm{Res} (\psi(z), 0)=0.$
Therefore, it follows that
\begin{equation}
\label{eqn:relation-1-1/5,3/5(1)}
2
\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
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
+
4
%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
\cdot
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
\right\}^2=0,
\end{equation}
and
\begin{equation}
\label{eqn:relation-1-1/5,3/5(2)}
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
2
%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
-
4
%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
\cdot
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
\right\}^2=0.
\end{equation}
By the drivative formulas of Theorem \ref{thm:analogue-Jacobi-(1,1/5), (1,3/5)}, we have
\begin{equation}
\label{eqn:relation-2-derivative-(1,1/5),(1,3/5)}
\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
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
{
50
\theta^6
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%
\left\{
-4
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
+
44
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
+
4
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\right\}.
\end{equation}
\par
The heat equation (\ref{eqn:heat}) and Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{align*}
\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]
}
=&
4 \pi i
\frac{d}{d\tau}
\log
\frac
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
=
-8\sqrt{5} \pi^2 \sum_{n=1}^{\infty} \left( \sum_{d |n} \frac{n}{d} \left(\frac{d}{5} \right) \right) q^n, \,\,q=\exp(2 \pi i \tau), \\
=&
-8\sqrt{5} \pi^2
\frac
{
\eta^5(5\tau)
}
{
\eta(\tau)
}
=
-\frac{32 \pi^4}{25}
\frac
{
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}.
\end{align*}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
Therefore, it follows that
\begin{equation*}
-\frac{32 \pi^4}{25}
\frac
{
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
=
\frac
{
-2
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
{
25
\theta^6
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%
\left\{
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
-
11
\theta^5
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
-
\theta^{10}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
\right\},
\end{equation*}
which proves the formula (\ref{eqn:Jacobi-(1,1/5)-(1,3/5)}).
\end{proof}
\begin{corollary}
\label{coro:pro-series-q-eta-(1,1/5),(1,3/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ set $q=\exp(2\pi i \tau).$ Then, we have
\begin{align*}
\frac{22\sqrt{5}}{50} \frac{\eta^5(\tau)}{\eta(5\tau)}+5\sqrt{5} \frac{\eta^5(5\tau)}{\eta(\tau)}=&
\frac{25+11\sqrt{5}}{50}
\left\{
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^5
\left(
1+\frac{1+\sqrt{5}}{2}q^n+q^{2n}
\right)^5
}
{
(1-q^{5n})^3
}
\right\}^2 \\
%%%%%%%%%%%%%%%%%%
&-
%%%%%%%%%%%%%%%%%%%%
\frac{25-11\sqrt{5}}{50}
\left\{
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^5
\left(
1+\frac{1-\sqrt{5}}{2}q^n+q^{2n}
\right)^5
}
{
(1-q^{5n})^3
}
\right\}^2.
\end{align*}
}
\end{corollary}
\begin{proof}
The corollary follows from Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) and
equation (\ref{eqn:relation-2-derivative-(1,1/5),(1,3/5)}).
\end{proof}
\subsection{Theorem of Farkas and Kra}
\begin{theorem}
\label{thm:Farkas-Kra-5}
(Farkas and Kra \cite[pp. 318]{Farkas-Kra})
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac{d}{d \tau}
\log
\left(
\frac{\eta(5\tau)}{\eta(\tau)}
\right)
+
\frac{1}{2\pi i \cdot 3}
\left[
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac{1}{5}
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac{1}{5}
\end{array}
\right](0,\tau)
}
\right\}^2
+
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac{3}{5}
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac{3}{5}
\end{array}
\right](0,\tau)
}
\right\}^2
\right]=0.
\end{equation*}
}
\end{theorem}
\begin{proof}
Summing both sides of equations (\ref{eqn:relation-1-1/5,3/5(1)}) and (\ref{eqn:relation-1-1/5,3/5(2)}) yields
\begin{equation*}
3
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
3
%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
-
2
%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
\right\}^2
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
\right\}^2
=0.
\end{equation*}
The heat equation (\ref{eqn:heat}) implies that
\begin{equation*}
4\pi i
\frac{d}{d\tau}
\log
\frac
{
\theta^3
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^3
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
\right\}^2
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
\right\}^2
=0.
\end{equation*}
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{equation*}
\frac
{
\theta^3
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^3
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
=
\frac{(\sqrt{5})^3}{4\pi^2}
\frac{\eta^3(5\tau)}{\eta^3(\tau)},
\end{equation*}
which proves the theorem.
\end{proof}
\begin{corollary}
\label{coro:pro-series-modulus5-(1,1/5),(1,3/5)}
{\it
For $q\in\mathbb{C}$ with $|q|<1,$ we have
\begin{align*}
1+6\sum_{n=1}^{\infty}
(\sigma(n)-5\sigma(n/5)) q^n=&
\frac{25+11\sqrt{5}}{50}
\left\{
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^5
\left(
1+\frac{1+\sqrt{5}}{2}q^n+q^{2n}
\right)^5
}
{
(1-q^{5n})^3
}
\right\}^2 \\
%%%%%%%%%%%%%%%%%%
&+
%%%%%%%%%%%%%%%%%%%%
\frac{25-11\sqrt{5}}{50}
\left\{
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^5
\left(
1+\frac{1-\sqrt{5}}{2}q^n+q^{2n}
\right)^5
}
{
(1-q^{5n})^3
}
\right\}^2.
\end{align*}
}
\end{corollary}
\begin{proof}
The corollary follows from Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) and
the derivative formulas of Theorem \ref{thm:analogue-Jacobi-(1,1/5), (1,3/5)}.
\end{proof}
\subsection{Some product-series identities}
\begin{theorem}
\label{thm:pro-series-(1,1/5),(1,3/5)}
{\it
For $q\in\mathbb{C}$ with $|q|<1,$ we have
\small{
\begin{equation*}
\left\{
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^5
\left(
1+\frac{1+\sqrt{5}}{2}q^n+q^{2n}
\right)^5
}
{
(1-q^{5n})^3
}
\right\}^2
=
1+\frac{25-11\sqrt{5} }{4}
\sum_{n=1}^{\infty}
\left\{
30
\sum_{\tiny{
\begin{matrix}
d|n \\
5 \nmid d
\end{matrix}
}
} d
+
\sqrt{5}
\sum_{d|n} \left(\frac{d}{5}\right) \left(25 \frac{n}{d}-11d \right)
\right\}
q^n,
\end{equation*}
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\normalsize
{
and
}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\small{
\begin{equation*}
\left\{
\prod_{n=1}^{\infty}
\frac
{
(1-q^n)^5
\left(
1+\frac{1-\sqrt{5}}{2}q^n+q^{2n}
\right)^5
}
{
(1-q^{5n})^3
}
\right\}^2
=
1+\frac{25+11\sqrt{5} }{4}
\sum_{n=1}^{\infty}
\left\{
30
\sum_{\tiny{
\begin{matrix}
d|n \\
5 \nmid d
\end{matrix}
}
} d
-
\sqrt{5}
\sum_{d|n} \left(\frac{d}{5}\right) \left(25 \frac{n}{d}-11d \right)
\right\}
q^n.
\end{equation*}
}
}
\end{theorem}
\begin{proof}
The theorem follows from Corollaries \ref{coro:pro-series-q-eta-(1,1/5),(1,3/5)} and \ref{coro:pro-series-modulus5-(1,1/5),(1,3/5)}.
\end{proof}
\subsection{The modular equation of level 5. }
\begin{theorem}
\label{thm:algebraic-(1,1/5),(1,3/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ set
\begin{equation*}
(X,Y,Z)=
\left(
\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),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac{\eta^5(\tau)}{\eta(5\tau)}
\right).
\end{equation*}
Then, $(X,Y,Z)$ satisfies the following relations:
\begin{align}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
&5^5 X^9 Y^9-Z^{10}(X^2-11XY-Y^2)^5=0. \label{eqn:alg-eqn-(X,Y)-(1,1/5),(1,3/5)}
\end{align}
}
\end{theorem}
\begin{proof}
The formula (\ref{eqn:Jacobi-(1,1/5)-(1,3/5)}) implies that
\begin{equation*}
Z^2(X^2-11XY-Y^2)=5
\theta^9
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
\theta^9
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right].
\end{equation*}
Equation (\ref{eqn:alg-eqn-(X,Y)-(1,1/5),(1,3/5)}) follows from raising to the fifth power both sides of this equation.
\end{proof}
\subsection{The formula of Wronskian}
\begin{theorem}
\label{thm:ODE-(1,1/5),(1,3/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ set
\begin{equation*}
(X,Y,Z)=
\left(
\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),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac{\eta^5(\tau)}{\eta(5\tau)}
\right).
\end{equation*}
Then, $(X,Y,Z)$ satisfies the following relations:
\begin{equation}
\label{eqn:diff-eqn-(X,Y)-(1,1/5),(1,3/5)}
\frac{dX}{d\tau}Y-X\frac{dY}{d\tau}=\frac{2 \pi i}{(\sqrt{5})^3}Z(X^2-11XY-Y^2).
\end{equation}
}
\end{theorem}
\begin{proof}
Note that
\begin{equation*}
5
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac15
\end{array}
\right]
}
=4\pi i
\frac{d}{d\tau}
\log X, \,\,
5
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
1 \\
\frac35
\end{array}
\right]
}
=4\pi i
\frac{d}{d\tau}
\log Y,
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
and
%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation*}
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\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}}
\frac{\eta^5(\tau)}{\eta(5\tau)}=\frac{4\pi^2}{\sqrt{5}}Z.
\end{equation*}
Equation (\ref{eqn:diff-eqn-(X,Y)-(1,1/5),(1,3/5)}) follows from (\ref{eqn:relation-2-derivative-(1,1/5),(1,3/5)}).
\end{proof}
\begin{theorem}
\label{thm:Wronskian-X,Y-(1,1/5),(1,3/5)}
{\it
For every $\tau\in\mathbb{H}^2,$ set
\begin{equation*}
(X,Y)=
\left(
\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)
\right),
W(X, Y)=
\begin{vmatrix}
X & Y \\
\displaystyle
\frac{d X}{d\tau} &\displaystyle \frac{d Y}{d\tau}
\end{vmatrix}.
\end{equation*}
Then, the Wronskian of $(X,Y)$ is given by
\begin{equation}
\label{eqn:Wronskian-(1,1/5),(1,3/5)}
W(X,Y)^{10}
=
\left(\frac{2\pi i}{5} \right)^{10}
X^9 Y^9 (X^2-11XY-Y^2)^5.
\end{equation}
}
\end{theorem}
\begin{proof}
The theorem can be proved by
eliminating $Z$ from Theorems \ref{thm:algebraic-(1,1/5),(1,3/5)} and \ref{thm:ODE-(1,1/5),(1,3/5)}.
\end{proof}
\section{Proof of the formula (\ref{eqn:Jacobi-(1/5,1)-(3/5,1)}) }
\label{sec:formula-(1/5,1)-(3/5,1)}
\subsection{Proof of the formula (\ref{eqn:Jacobi-(1/5,1)-(3/5,1)}) }
\begin{proof}
Consider the following elliptic functions:
\begin{equation*}
\varphi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\psi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
-\frac15 \\
1
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}.
\end{equation*}
In the fundamental parallelogram,
the pole of $\varphi(z)$ or $\psi(z)$ is $z=0,$
which implies that
$\mathrm{Res} (\varphi(z), 0)=\mathrm{Res} (\psi(z), 0)=0.$
Therefore, it follows that
\begin{equation}
\label{eqn:relation-(1/5,1),(3/5,1)-(1)}
2
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
+
4
%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
\cdot
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
\right\}^2=0,
\end{equation}
and
\begin{equation}
\label{eqn:relation-(1/5,1),(3/5,1)-(2)}
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
2
%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
-
4
%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
\cdot
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35\\
1
\end{array}
\right]
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
\right\}^2=0.
\end{equation}
By the drivative formulas of Theorem \ref{thm:analogue-Jacobi-(1/5,1), (3/5,1)}, we have
\begin{equation}
\label{eqn:relation-1/5,3/5-1}
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
-
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
=
\frac
{
\zeta_5
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
{
50
\theta^6
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%
\left\{
4
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
+
44
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
-
4
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
\right\}.
\end{equation}
\par
The heat equation (\ref{eqn:heat}) and Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{align*}
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
-
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
=&
4 \pi i
\frac{d}{d\tau}
\log
\frac
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
=
- \frac{8\pi^2}{25}\left(1-5 \sum_{n=1}^{\infty} \left( \sum_{d|n} d \left(\frac{d}{5} \right) \right) y^n \right), \,\,y=\exp \left(\frac{2 \pi i \tau}{5} \right), \\
=&
-\frac{8 \pi^2}{25}
\frac
{
\eta^5(\tau/5)
}
{
\eta(\tau)
}
=
-\frac{32 \pi^4}{25}
\frac
{
\theta^5
\left[
\begin{array}{c}
\frac15\\
1
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}.
\end{align*}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
Therefore, it follows that
\begin{equation*}
-\frac{32 \pi^4}{25}
\frac
{
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
=
\frac
{
2
\zeta_5
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
{
25
\theta^6
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%
\left\{
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
+
11
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
-
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
\right\},
\end{equation*}
which proves the formula (\ref{eqn:Jacobi-(1/5,1)-(3/5,1)}).
\end{proof}
\begin{corollary}
\label{coro:algebraic-q-eta-(1/5,1)-(3/5,1)}
{\it
For every $\tau\in\mathbb{H}^2,$ set $q=\exp(2\pi i \tau).$
Then,
we have
\begin{equation*}
\left\{
\prod_{n=1}^{\infty} \frac{(1-q^n)^2}{(1-q^{5n-1})^5(1-q^{5n-4})^5}
\right\}^2
-
\left\{
q\prod_{n=1}^{\infty} \frac{(1-q^n)^2}{(1-q^{5n-2})^5(1-q^{5n-3})^5}
\right\}^2
=
11
\frac{\eta^5(5\tau)}{\eta(\tau)}+\frac{\eta^5(\tau)}{\eta(5\tau)}.
\end{equation*}
}
\end{corollary}
\begin{proof}
Equation (\ref{eqn:relation-1/5,3/5-1}) and Jacobi's triple product identity yield
\begin{equation*}
\left\{
\prod_{n=1}^{\infty} \frac{(1-y^n)^2}{(1-y^{5n-1})^5(1-y^{5n-4})^5}
\right\}^2
-
\left\{
y\prod_{n=1}^{\infty} \frac{(1-y^n)^2}{(1-y^{5n-2})^5(1-y^{5n-3})^5}
\right\}^2
=
11
\frac{\eta^5(\tau)}{\eta(\tau/5)}+\frac{\eta^5(\tau/5)}{\eta(\tau)},
\end{equation*}
where $y=\exp(2 \pi i \tau/5).$
The corollary can be obtained by changing $\tau\rightarrow 5\tau.$
\end{proof}
\subsection{Theorem of Farkas and Kra type}
\begin{theorem}
\label{thm:Farkas-Kra-(1/5,1),(3/5,1)}
{\it
For every $\tau\in\mathbb{H}^2,$ we have
\begin{equation*}
\frac{d}{d \tau}
\log
\left(
\frac{\eta(\tau/5)}{\eta(\tau)}
\right)
+
\frac{1}{2\pi i \cdot 3}
\left[
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](0,\tau)
}
\right\}^2
+
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](0,\tau)
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](0,\tau)
}
\right\}^2
\right]=0.
\end{equation*}
}
\end{theorem}
\begin{proof}
Summing both sides of equations (\ref{eqn:relation-(1/5,1),(3/5,1)-(1)}) and (\ref{eqn:relation-(1/5,1),(3/5,1)-(2)}) yields
\begin{equation*}
3
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
3
%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35\\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
-
2
%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
\right\}^2
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
\right\}^2
=0.
\end{equation*}
The heat equation (\ref{eqn:heat}) implies that
\begin{equation*}
4\pi i
\frac{d}{d\tau}
\log
\frac
{
\theta^3
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
\theta^3
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
\right\}^2
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
\right\}^2
=0.
\end{equation*}
Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{equation*}
\frac
{
\theta^3
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
\theta^3
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\left\{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
\right\}^2
}
=
\frac{\zeta_5^3}{4\pi^2}
\frac{\eta^3(\tau/5)}{\eta^3(\tau)},
\end{equation*}
which proves the theorem.
\end{proof}
\begin{corollary}
\label{coro:algebraic-q-sigma-(1/5,1)-(3/5,1)}
{\it
For $q\in\mathbb{C}$ with $|q|<1,$
we have
\begin{equation*}
\left\{
\prod_{n=1}^{\infty} \frac{(1-q^n)^2}{(1-q^{5n-1})^5(1-q^{5n-4})^5}
\right\}^2
+
\left\{
q\prod_{n=1}^{\infty} \frac{(1-q^n)^2}{(1-q^{5n-2})^5(1-q^{5n-3})^5}
\right\}^2
=
1+6\sum_{n=1}^{\infty}(\sigma(n)-5\sigma(n/5)) q^n.
\end{equation*}
}
\end{corollary}
\begin{proof}
The corollary follows from Theorems \ref{thm:analogue-Jacobi-(1/5,1), (3/5,1)} and \ref{thm:Farkas-Kra-(1/5,1),(3/5,1)}.
\end{proof}
\subsection{Some product-series identities}
\begin{theorem}
\label{thm:pro-series-(1/5,1),(3/5,1)}
{\it
For $q\in\mathbb{C}$ with $|q|<1,$
we have
\begin{equation*}
\left\{
\prod_{n=1}^{\infty} \frac{(1-q^n)^2}{(1-q^{5n-1})^5(1-q^{5n-4})^5}
\right\}^2
=
1+\sum_{n=1}^{\infty}
\left\{
3\sum_{\tiny{
\begin{matrix}
d|n \\
5 \nmid d
\end{matrix}
}} d
+
\frac12\sum_{d|n} \left(\frac{d}{5}\right) \left(11\frac{n}{d}-5d\right)
\right\}
q^n,
\end{equation*}
and
\begin{equation*}
\left\{
q
\prod_{n=1}^{\infty} \frac{(1-q^n)^2}{(1-q^{5n-2})^5(1-q^{5n-3})^5}
\right\}^2
=
\sum_{n=1}^{\infty}
\left\{
3\sum_{\tiny{
\begin{matrix}
d|n \\
5 \nmid d
\end{matrix}
}} d
-
\frac12\sum_{d|n} \left(\frac{d}{5}\right) \left(11\frac{n}{d}-5d\right)
\right\}
q^n.
\end{equation*}
}
\end{theorem}
\begin{proof}
The theorem follows from Corollaries \ref{coro:algebraic-q-eta-(1/5,1)-(3/5,1)} and \ref{coro:algebraic-q-sigma-(1/5,1)-(3/5,1)}.
\end{proof}
\subsection{The modular equation of level 5}
\begin{theorem}
\label{thm:algebraic-(1/5,1),(3/5,1)}
{\it
For every $\tau\in\mathbb{H}^2,$ set
\begin{equation*}
(X,Y,Z)=
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](0,5\tau),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](0,5\tau),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac{\eta^5(5\tau)}{\eta(\tau)}
\right).
\end{equation*}
Then, $(X,Y,Z)$ satisfies the following relations:
\begin{equation}
\label{eqn:alg-eqn-(X,Y)-(1/5,1),(3/5,1)}
X^9 Y^9-Z^{10}(X^2+11XY-Y^2)^5=0.
\end{equation}
}
\end{theorem}
\begin{proof}
Set
\begin{equation*}
(\tilde{X}, \tilde{Y}, \tilde{Z})=
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](0,\tau),
%%%%%%%%%%%%%%%%%%%%
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](0,\tau),
%%%%%%%%%%%%%%%%%%%%%%%%%
\frac{\eta^5(\tau)}{\eta(\tau/5)}
\right).
\end{equation*}
The formula (\ref{eqn:Jacobi-(1,1/5)-(1,3/5)}) implies that
\begin{equation*}
\tilde{Z}^2(\tilde{Y}^2-11\tilde{X}\tilde{Y}-\tilde{X}^2)=
\zeta_5
\theta^9
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
\theta^9
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right].
\end{equation*}
Equation (\ref{eqn:alg-eqn-(X,Y)-(1/5,1),(3/5,1)}) follows from raising to the fifth power both sides of this equation and changing $\tau\rightarrow 5\tau$.
\end{proof}
\subsection{The formula of Wronskian}
\begin{theorem}
\label{thm:ODE-(1/5,1),(3/5,1)}
{\it
For every $\tau\in\mathbb{H}^2,$ set
\begin{equation*}
(X,Y,Z)=
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](0,5\tau),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](0,5\tau),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\frac{\eta^5(5\tau)}{\eta(\tau)}
\right).
\end{equation*}
Then, $(X,Y,Z)$ satisfies the following relations:
\begin{equation}
\label{eqn:diff-eqn-(X,Y)-(1/5,1),(3/5,1)}
\frac{dX}{d\tau}Y-X\frac{dY}{d\tau}=2 \pi i Z(X^2+11XY-Y^2).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\end{equation}
}
\end{theorem}
\begin{proof}
Set
\begin{equation*}
(\tilde{X}, \tilde{Y}, \tilde{Z})=
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](0,\tau),
%%%%%%%%%%%%%%%%%%%%
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](0,\tau),
%%%%%%%%%%%%%%%%%%%%%%%%%
\frac{\eta^5(\tau)}{\eta(\tau/5)}
\right).
\end{equation*}
Note that
\begin{equation*}
5
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
=4\pi i
\frac{d}{d\tau}
\log \tilde{X}, \,\,
5
\frac
{
\theta^{\prime \prime}
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
=4\pi i
\frac{d}{d\tau}
\log \tilde{Y},
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
and
%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation*}
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
%%%%%%%%%%%%%%%%
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
=
\frac{4\pi^2}{\zeta_5}
\frac{\eta^5(\tau)}{\eta(\tau/5)}=\frac{4\pi^2}{\zeta_5} \tilde{Z}.
\end{equation*}
Equation (\ref{eqn:relation-1/5,3/5-1}) implies that
\begin{equation*}
\frac{d \tilde{X}}{d\tau} \tilde{Y}-\tilde{X} \frac{d \tilde{Y}}{d\tau}=\frac{2 \pi i}{5} \tilde{Z}(\tilde{X}^2+11\tilde{X}\tilde{Y}-\tilde{Y}^2).
\end{equation*}
Equation (\ref{eqn:diff-eqn-(X,Y)-(1/5,1),(3/5,1)}) can be obtained by changing $\tau\rightarrow 5\tau.$
\end{proof}
\begin{theorem}
\label{thm:Wronskian-X,Y-(1/5,1),(3/5,1)}
{\it
For every $\tau\in\mathbb{H}^2,$ set
\begin{equation*}
(X,Y)=
\left(
\theta^5
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right](0,5\tau),
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\theta^5
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right](0,5\tau)
\right), \,\,
W(X,Y)
=
\begin{vmatrix}
X & Y \\
\displaystyle
\frac{d X}{d \tau} &
\displaystyle
\frac{d X}{d \tau}
\end{vmatrix}.
\end{equation*}
Then, the Wronskian is given by
\begin{equation}
\label{eqn:diff-eqn-1st-order-(1/5,1),(3/5,1)}
W(X,Y)^{10}=
\left(2\pi i \right)^{10}
X^9 Y^9 (X^2+11XY-Y^2)^5.
\end{equation}
}
\end{theorem}
\begin{proof}
The theorem can be proved by
eliminating $Z$ from Theorems \ref{thm:algebraic-(1/5,1),(3/5,1)} and \ref{thm:ODE-(1/5,1),(3/5,1)}.
\end{proof}
\section{Proof of the formulas (\ref{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)}), (\ref{eqn:Jacobi-(1/5,3/5)-(3/5,9/5)}), (\ref{eqn:Jacobi-(1/5,7/5)-(3/5,1/5)}) and (\ref{eqn:Jacobi-(1/5,9/5)-(3/5,7/5)}) }
\label{sec:formulas-(1/5,1/5)-(3/5,3/5)-etc}
\subsection{Proof of the formula (\ref{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)})}
\begin{proof}
Consider the following elliptic functions:
\begin{equation*}
\varphi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\psi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
-\frac15 \\
-\frac15
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}.
\end{equation*}
In the fundamental parallelogram,
the pole of $\varphi(z)$ or $\psi(z)$ is $z=0,$
which implies that
$\mathrm{Res} (\varphi(z), 0)=\mathrm{Res} (\psi(z), 0)=0.$
Therefore, it follows that
\begin{equation*}
2
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
+
4
%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
1
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
\cdot
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
\right\}^2=0,
\end{equation*}
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
and
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{equation*}
\label{eqn:relation-1/5,3/5-1(2)}
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
+
2
%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%
-
%%%%%%%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime\prime \prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%%%%%%%%%%
-
4
%%%%%%%%%%%%%%%%%%
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
\cdot
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35\\
\frac35
\end{array}
\right]
}
+
2
\left\{
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
\right\}^2=0.
\end{equation*}
By the drivative formulas of Theorem \ref{thm:analogue-Jacobi-(1/5,1/5), (3/5,3/5)}, we have
\begin{equation*}
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
1
\end{array}
\right]
}
-
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
=
\frac
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
{
50
\theta^6
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%
\left\{
4
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
-
44
\zeta_5^4
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
-
4
\zeta_5^3
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
\right\}.
\end{equation*}
\par
The heat equation (\ref{eqn:heat}) and Jacobi's triple product identity (\ref{eqn:Jacobi-triple}) yields
\begin{align*}
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
-
\frac
{
\theta^{\prime\prime}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
=&
4 \pi i
\frac{d}{d\tau}
\log
\frac
{
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
}
=
- \frac{8\pi^2}{25}\left(1-5 \sum_{n=1}^{\infty} \left( \sum_{d|n} d \left(\frac{d}{5} \right) \right) \tilde{y}^n \right) \\
=&
-\frac{8 \pi^2}{25}
\frac
{
\eta^5((\tau+1)/5)
}
{
\eta(\tau+1)
}
=
\frac{32 \pi^4}{25}
\frac
{
\theta^5
\left[
\begin{array}{c}
\frac15\\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
},
\end{align*}
where
$
\displaystyle
\tilde{y}=\exp \left\{\frac{2 \pi i (\tau+1)}{5} \right\}.
$
%%%%%%%%%%%%%%%%%%%%%%%%%%%
Therefore, it follows that
\begin{equation*}
\frac{32 \pi^4}{25}
\frac
{
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
{
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
=
\frac
{
2
\theta^{\prime}
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right]^2
}
{
25
\theta^6
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
%%%%%%%%%%%%%%%
\theta^6
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
}
%%%%%%%%%%%%%%%%%
\left\{
\theta^{10}
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
-
11
\zeta_5^4
\theta^5
\left[
\begin{array}{c}
\frac15 \\
\frac15
\end{array}
\right]
\theta^5
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
-
\zeta_5^3
\theta^{10}
\left[
\begin{array}{c}
\frac35 \\
\frac35
\end{array}
\right]
\right\},
\end{equation*}
which proves the formula (\ref{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)}).
\end{proof}
\subsection{Proof of the formula (\ref{eqn:Jacobi-(1/5,3/5)-(3/5,9/5)})}
\begin{proof}
Consider the following elliptic functions:
\begin{equation*}
\varphi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac15 \\
\frac35
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\psi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac35 \\
\frac95
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
-\frac15 \\
-\frac35
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}.
\end{equation*}
The formula (\ref{eqn:Jacobi-(1/5,3/5)-(3/5,9/5)}) can be proved in the same way as the formula (\ref{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)})
\end{proof}
\subsection{Proof of the formula (\ref{eqn:Jacobi-(1/5,7/5)-(3/5,1/5)})}
\begin{proof}
Consider the following elliptic functions:
\begin{equation*}
\varphi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac15 \\
\frac75
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\psi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac35 \\
\frac15
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
-\frac15 \\
\frac35
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}.
\end{equation*}
The formula (\ref{eqn:Jacobi-(1/5,7/5)-(3/5,1/5)}) can be proved in the same way as the formula (\ref{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)})
\end{proof}
\subsection{Proof of the formula (\ref{eqn:Jacobi-(1/5,9/5)-(3/5,7/5)})}
\begin{proof}
Consider the following elliptic functions:
\begin{equation*}
\varphi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac15 \\
\frac95
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
\frac35 \\
-\frac35
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}, \,\,
%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%
\psi(z)
=
\frac
{
\theta^2
\left[
\begin{array}{c}
\frac35 \\
\frac75
\end{array}
\right](z)
\theta
\left[
\begin{array}{c}
-\frac15 \\
\frac15
\end{array}
\right](z)
}
{
\theta^3
\left[
\begin{array}{c}
1 \\
1
\end{array}
\right](z)
}.
\end{equation*}
The formula (\ref{eqn:Jacobi-(1/5,9/5)-(3/5,7/5)}) can be proved in the same way as the formula (\ref{eqn:Jacobi-(1/5,1/5)-(3/5,3/5)})
\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{Bailey1}
W. N. Bailey,
{\it A note on two of Ramanujan's formulae, }
Quart. J. Math., Oxford Ser. (2) {\bf 3}, (1952) 29-31.
\bibitem{Bailey2}
W. N. Bailey,
{\it A further note on two of Ramanujan's formulae, }
Quart. J. Math., Oxford Ser. (2) {\bf 3}, (1952) 158-160.
\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{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,}
in preparation.
\bibitem{Matsuda-3}
K. Matsuda,
{\it Riccati equations satisfied by certain theta constants,}
in preparation.
\end{thebibliography}
\end{document}