Questions tagged [modular-function]

This tag is for questions relating to Modular Function or, Elliptic Modular Function.

A function is said to be Modular or, elliptic modular if it satisfies the following conditions:

$1.~~ f$ is meromorphic in the upper half-plane $H$,

$2.~~ f(\bf A\tau)=f(\tau)$ for every matrix $\bf A$ in the modular group Gamma,

$3.~~$ The Laurent series of $f$ has the form

$$ f(\tau)=\sum_{n=-m}^{\infty}a(n)e^{2\pi i n\tau} $$

A modular function is a function that, like a modular form, is invariant with respect to the modular group, but without the condition that $f (z)$ be holomorphic in the upper half-plane. Instead, modular functions are meromorphic.

References:

https://en.wikipedia.org/wiki/Modular_form#Modular_functions

http://mathworld.wolfram.com/ModularFunction.html

114 questions
27
votes
2 answers

Closed form of $\frac{e^{-\frac{\pi}{5}}}{1+\frac{e^{-\pi}}{1+\frac{e^{-2\pi}}{1+\frac{e^{-3\pi}}{1+\ddots}}}}$

It is well known that $$\operatorname{R}(-e^{-\pi})=-\cfrac{e^{-\frac{\pi}{5}}}{1-\cfrac{e^{-\pi}}{1+\cfrac{e^{-2\pi}}{1-\cfrac{e^{-3\pi}}{1+\ddots}}}}=\frac{\sqrt{5}-1}{2}-\sqrt{\frac{5-\sqrt{5}}{2}}$$ where $\operatorname{R}$ is the…
12
votes
2 answers

Plotting graphs of Modular Forms

After watching all the 8 parts of "“Introduction to Modular Forms,” by Keith Conrad" on YouTube, I got "extremely intrigued" by plotting graphs of Modular Forms ( on SL(2,Z) ). So after watching all those videos, I tried the following approach by…
8
votes
0 answers

The golden ratio $\phi$ for $_2F_1\big(\frac16,\frac16,\frac23,-2^7\phi^9\big)$ and $_2F_1\big(\frac16,\frac56,1,\frac{\phi^{-5}}{5\sqrt5}\big)$?

I. Context Given the golden ratio $\phi$, then we have the nice closed-forms, \begin{align} _2F_1\left(\frac16,\frac16,\frac23,-2^7\phi^9\right) &= \frac{3}{5^{5/6}}\phi^{-1}\\[6pt] _2F_1\left(\frac16,\frac56,1,\,\frac{\phi^{-5}}{5\sqrt5}\right)\,…
6
votes
1 answer

Is $\prod_{n=0}^\infty \left(1-\frac{1}{\cosh ^2((n+1/2)\pi)}\right)=\frac{1}{\sqrt[4]{2}}$ true?

The infinite product $$\prod_{n=0}^\infty \left(1-\frac{1}{\cosh  ^2((n+1/2)\pi)}\right)$$ agrees with $\frac{1}{\sqrt[4]{2}}$ to at least 100 decimal places. The "identity" is reminiscent of $$\sqrt[4]{1-\lambda (i)}=\frac{1}{\sqrt[4]{2}}$$ where…
6
votes
1 answer

Haar measure, can image of modular function be any subgroup of $(0,\infty)$?

It is easy to find examples of locally compact second countable Hausdorff topological groups $G$ whose modular function $\Delta$ has image $\{1\}$ or $(0,\infty)$. Are there groups $G$ of this kind for which the image of $\Delta$ is anything else?
5
votes
1 answer

On the elliptic modular equation of weight 5

Schläfli's form of elliptic modular equation of weight $5$ is $$\frac{u^3}{v^3}+\frac{v^3}{u^3}=2\left(u^2v^2-\frac{1}{u^2v^2}\right)$$ Where $$\begin{cases}u=2^{-1/4}q^{-1/24}(1+q)(1+q^3)(1+q^5)\cdots \\…
user1018345
5
votes
1 answer

Explicit equations for $Y(N)$ for small $N$

Consider the congruence subgroup $$\Gamma(N) = \left\{\left(\begin{array}{cc} a & b \\ c & d\end{array} \right) \in SL_2(\mathbb{Z})\ ;\ \left(\begin{array}{cc} a &…
5
votes
1 answer

Ramanujan Identity related to JacobiFunction

The following identity is allegedly due to Ramanujan $$\int_0^\infty \frac{{\rm d}x}{(1+x^2)(1+r^2x^2)(1+r^4x^2)\cdots} = \frac{\pi/2}{\sum_{n=0}^\infty r^{\frac{n(n+1)}{2}}} \, $$but how do you prove this? The denominator of the right side is…
Diger
  • 6,852
5
votes
1 answer

What are the simplest known classes of bijections in $\mathbb{Z}/n\mathbb{Z}$, where n is a power of 2?

What are some of the simplest known bijections in $\mathbb{Z}/n\mathbb{Z}$? Offhand, the following classes of primitive bijections come to mind: Addition/subtraction (+/–) of any constant Multiplication ($\times$) by an odd constant (and division…
4
votes
1 answer

Consider the set $A_N$ of all fractions $\left(\frac{3}{2}\right)^n \pmod{1}$ for $n\le N.$ Prove that $\min(A_N)→0$ as $N→∞.$

This is related to the well-known unsolved problem in number theory that concerns the distribution of $(3/2)^n \pmod{1}$. This sequence is believed to be uniformly distributed. Has this simpler problem been proven before? I think that it may be done…
4
votes
0 answers

Echelon basis for modular forms $M_{2}(\Gamma_{0}(23))$

This is referring to Example 9.15 in William Stein's book 'Modular forms: a computational approach'. In this example, we are to calculate the newform of weight 2 level 23 in $S_{2}(\Gamma_{0}(23))$. It starts by working out the Manin symbols…
4
votes
1 answer

On a generalization of Chudnovsky's $\pi$ formula

Let $q=e^{2\pi i\tau}$ and $$E_2(\tau)=1-24\sum_{n=1}^\infty n\frac{q^n}{1-q^n},$$ $$E_4(\tau)=1+240\sum_{n=1}^\infty n^3\frac{q^n}{1-q^n},$$ $$E_6(\tau)=1-504\sum_{n=1}^\infty…
4
votes
1 answer

Asymptotics of $j$-invariant at elliptic fixed points of $\text{PSL}(2,\mathbb Z)$

Let $j=12^3 E_4^3/(E_4^3-E_6^2)$ be the modular $j$-invariant $$j(\tau)=q^{-1} + 744 + 196884q +...,$$ with $q=e^{2\pi i \tau}$ and $E_k$ the weight $k$ Eisenstein series. At the elliptic points $\tau=i$ and $\tau=\zeta_3=e^{2\pi i/3}$ of…
4
votes
0 answers

Determine whether $\frac{K\left(\sqrt{1-x^2}\right)^2}{K(x)^2}$ is positive rational (given $x$)

Denote the complete elliptic integral of the first kind by $$K(x)=\int_0^{\pi /2}\frac{d\varphi}{\sqrt{1-x^2\sin^2\varphi}}$$ and $$f(x)=\frac{K\left(\sqrt{1-x^2}\right)^2}{K(x)^2}$$ Question: Given a real $x$, $0\lt x\lt 1$, is there an algorithm…
4
votes
1 answer

$N$-th root of modular forms

In my research, I have encountered many $q$-series of functions that turn out to be the Fourier expansions of roots of modular forms. Examples are $n$-th roots of Eisenstein series and the $j$-invariant. These seem to be related in certain instances…
El Rafu
  • 660
1
2 3 4 5 6 7 8