For questions about $\theta$ functions (special functions of several complex variables).

learn more… | top users | synonyms

17
votes
1answer
396 views

Convexity of $\theta(q)$

Define Jacobi's (fourth) theta function with argument zero and nome $q$: $$\theta(q) = 1+2\sum_{n=1}^\infty (-1)^n q^{n^2}$$ plot of the function via Wolfram|Alpha plot of the function via Sage I ...
15
votes
2answers
425 views

Combinatorial interpretation of this identity of Gauss?

Gauss came up with some bizarre identities, namely $$ \sum_{n\in\mathbb{Z}}(-1)^nq^{n^2}=\prod_{k\geq 1}\frac{1-q^k}{1+q^k}. $$ How can this be interpreted combinatorially? It strikes me as being ...
15
votes
1answer
177 views

Family of definite integrals involving Dedekind eta function of a complex argument, $\int_0^{\infty} \eta^k(ix)dx$

The Dedekind eta function is denoted by $\eta(\tau)$, and is defined on the upper half-plane ($\Im \tau >0$). Put $\tau = i x$ where $x$ is a positive real number. The function has the following ...
14
votes
1answer
299 views

Proving $\left(\sum_{n=-\infty}^\infty q^{n^2} \right)^2 = \sum_{n=-\infty}^\infty \frac{1}{\cos(n \pi \tau)}$

The so-called "two squares theorem" can be proven by establishing the following identity: $$\left(\sum_{n=-\infty}^\infty e^{\pi i \tau n^2}\right)^2 = \sum_{n=-\infty}^\infty \frac{1}{\cos(n \pi \...
11
votes
1answer
677 views

Hermite's solution of the general quintic in terms of theta functions

Can someone point me at or produce a translation or modern exposition of Hermite's solution of the general quintic in terms of theta functions? (the "before" and "after" steps are on the mathworld ...
10
votes
1answer
323 views

How to estimate a specific infinite sum

Let $M$ be an $n$ by $n$ matrix with each diagonal element equal to $k$ and each non-diagonal element equal to $k-1$ where $n$ and $k$ are positive integers. Let $k < n$ and we can assume both $k$ ...
9
votes
0answers
237 views

Global sections of vector bundles on a complex elliptic curve and analytic functions

Let me fix an elliptic curve $E$ over complex numbers with distinguished point $x \in E$. Thanks to Atiyah we know everything about discreet parameters of vector bundles and its moduli spaces. But I ...
9
votes
0answers
361 views

Extension of the Jacobi triple product identity

The Jacobi triple product identity is: $$\prod\limits_{n=1}^{ \infty }(1-q^{2n})(1+zq^{2n-1})(1+z^{-1}q^{2n-1})=\sum\limits_{n = - \infty }^ \infty z^n q^{n^2} $$ I would like to extend the idea for ...
8
votes
2answers
241 views

series involving $\log \left(\tanh\frac{\pi k}{2} \right)$

I found an interesting series $$\sum_{k=1}^\infty \log \left(\tanh \frac{\pi k}{2} \right)=\log(\vartheta_4(e^{-\pi}))=\log \left(\frac{\pi^{\frac{1}{4}}}{2^{\frac{1}{4}}\Gamma \left( \frac{3}{4}\...
8
votes
2answers
163 views

the ratio of jacobi theta functions and a new conjectured q-continued fraction

Given the squared nome $q=e^{2i\pi\tau}$ with $|q|\lt1$, define $$\begin{aligned}H(q)=\cfrac{2(1+q^2)}{1-q+\cfrac{(1+q)(1+q^3)}{1-q^3+\cfrac{2q^2(1+q^4)}{1-q^5+\cfrac{q^3(1+q)(1+q^5)}{1-q^7+\cfrac{q^...
8
votes
1answer
157 views

What is a mock theta function?

We define a mock theta function as follows: A mock theta function is a function defined by a $q$-series convergent when $|q|<1$ for which we can calculate asymptotic formulae when $q$ tends ...
8
votes
1answer
1k views

On the growth of the Jacobi theta function

So, I ran into this exercise from Stein & Shakarchi. CA, Chapter 5: Show that if $\tau$ is fixed with positive imaginary part, then the Jacobi theta function $$\theta(z | r) = \sum_{n=-\infty}^{\...
7
votes
2answers
353 views

Ramanujan theta function and its continued fraction

I believe Ramanujan would have loved this kind of identity. After deriving the identity, I wanted to share it with the mathematical community. If it's well known, please inform me and give me some ...
7
votes
1answer
143 views

How do I show Theta function is not identically zero

How do I show that for a fixed $\omega$ in the upper half plane, the theta function $\theta(z) = \sum_{n=-\infty}^{\infty} e^{\pi i(n^2\omega + 2nz)}$ is not identically zero? Is there an obvious ...
7
votes
1answer
107 views

Generating function for $r^\binom{n}{2}$

I'm trying to find a closed form of the generating function $$ G(x) = \sum_{n \ge 0} r^\binom{n}{2} x^n $$ for a real number $0 < r < 1$. I found that $G(x) = 1 + xG(rx)$. Any hints where to ...
7
votes
1answer
322 views

How to solve the general sextic equation with Kampé de Fériet functions?

It is frequently stated, for example on Wolfram Mathworld, that the general sextic equation $$x^6 + a_5 x^5 + a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x^1 + a_0 = 0$$ can be solved in terms of Kampé de ...
6
votes
1answer
55 views

Curious integrals for Jacobi Theta Functions $\int_0^1 \vartheta_n(0,q)dq$

There are various identities for the Jacobi Theta Functions $\vartheta_n(z,q)$ on the MathWorld page and on the Wikipedia page. But I found no integral identities for these functions. Meanwhile, ...
6
votes
1answer
138 views

The “$\mathbb{Z}_n$-theta function” - what is it? Is it being studied somewhere?

The Jacobi theta function is well known: $$\theta(z, \tau) = \sum_{n=-\infty}^\infty \mathrm{e}^{\pi i n^2 \tau + 2\pi i nz}$$ In Shahn Majid's "Foundations of Quantum Group Theory", you'll find a ...
6
votes
2answers
181 views

A $q$-continued fraction connected to the divisor function?

In this post, the following two continued fractions discussed by Nicco are given, $$A(q)= \left(\frac{\vartheta_2(0,q)}{2\,q^{1/4}}\right)^2= \cfrac{1}{1-q+\cfrac{q(1\color{red}-q)^2}{1-q^3+\cfrac{q^...
6
votes
0answers
492 views

How to simplify $\newcommand{\bigk}{\mathop{\vcenter{\hbox{K}}}}\prod_{p\in\mathbb{P}}\left(1+\bigk_{k=1}^{\infty }\frac{f_k(s)}{g_k(s)}\right)^{-1}$

I'd like to simplify $$\newcommand{\bigk}{\mathop{\huge\vcenter{\hbox{K}}}}B(s)=\prod_{p\in\mathbb{P}}\left(1+\bigk_{k=1}^{\infty }\frac{f_{k}(s)}{f_{k}(s)}\right)^{-1}$$ to something of the form $$...
5
votes
2answers
513 views

Convergence to $0$ of Jacobi theta function

I'm trying to prove that a function $$f(y) = \sum_{k=-\infty}^{+\infty}{(-1)^ke^{-k^2y}}$$ is $O(y)$ while $y$ tends to $+0$. I have observed that $f(y) = \vartheta(0.5,\frac{iy}{\Pi})$ where $\...
5
votes
1answer
368 views

Where are this kind of series used, $\vartheta_{4}(0,e^{\alpha \cdot z})$?

In my recent explorations I stumbled upon the following series $$ \vartheta_{4}(0,e^{\alpha \cdot z})=1+2\sum_{k=1}^{\infty} (-1)^{k}\cdot e^{\alpha \cdot z\cdot k^{2}} ; \alpha \in \mathbb{R}, z \...
5
votes
1answer
190 views

Closed-form of an integral involving a Jacobi theta function, $ \int_0^{\infty} \frac{\theta_4^{n}\left(e^{-\pi x}\right)}{1+x^2} dx $

The Jacobi theta function $\theta_4$ is defined by $$\displaystyle \theta_4(q)=\sum_{n \in \mathbb{Z}} (-1)^n q^{n^2} \tag{1}$$ For this question, set $q=\large e^{-\pi x}$ and $\theta_4 \equiv \...
5
votes
1answer
132 views

Rogers-Ramanujan continued fraction in terms of theta functions?

The Rogers-Ramanujan cfrac is, $$r = r(\tau)= \cfrac{q^{1/5}}{1+\cfrac{q}{1+\cfrac{q^2}{1+\ddots}}}$$ If $q = \exp(2\pi i \tau)$, then it is known that, $$\frac{1}{r}-r =\frac{\eta(\tau/5)}{\eta(5\...
5
votes
0answers
166 views

Relationship between Dixonian elliptic functions and Borwein cubic theta functions

In this paper, it says that the three Borwein cubic theta functions obey the identity $a(q)^{3}=b(q)^{3}+c(q)^{3}$, which is strongly reminiscent of the identity that Dixonian elliptic functions obey $...
4
votes
2answers
228 views

What is a Theta Function?

What exactly is a theta function $$\vartheta(z; \tau) = \sum_{n=-\infty}^\infty \exp (\pi i n^2 \tau + 2 \pi i n z)= 1 + 2 \sum_{n=1}^\infty \left(e^{\pi i\tau}\right)^{n^2} \cos(2\pi n z) = \sum_{n=-...
4
votes
1answer
93 views

$E_8$ and theta functions

The root lattice $\Gamma_8$ of the exceptional Lie algebra $E_8$ is an eight-dimensional lattice which consists of lattice points in $\mathbb{R}^8$ which with respect to an orthonormal basis $e_1, \...
4
votes
1answer
172 views

Monstrous Moonshine for $M_{24}$?

This is connected to my MO post "Monstrous Moonshine for $M_{24}$ and K3?". In page 44 of this paper, eqn(7.16) and (7.19) yield, $$\begin{aligned}h^{(2)}(\tau)&=\frac{\vartheta_2(0,p)^4-\...
4
votes
2answers
122 views

Proof of Functional Equation Zeta

$$ \pi^{-s/2}\zeta(s)\Gamma(s/2)=\pi^{-(1-s)/2}\zeta(1-s)\Gamma((1-s)/2) $$ (That's the equation that want to prove) Hello guys, so I'm trying to prove the functional equation of Riemann Zeta, ...
4
votes
1answer
74 views

Some analogs of the pentagonal number theorem

There are the following analogs of the famous identity $$ \prod_{n\geqslant1}(1-q^n)=\sum_{n\in\mathbb Z}(-1)^nq^{\frac{3n^2-n}2}. $$ Let $v_2(n)$ denote the 2-adic valuation of $n$, that is, the ...
4
votes
1answer
139 views

Reference request: theta functions for lattices which are not unimodular or even

In A Course in Arithmetic, Serre works out some of the theory of theta functions for even, self-dual lattices, e.g. such theta functions are modular forms of weight $n/2$, where $n$ is the dimension ...
4
votes
1answer
81 views

Jacobi theta with a matrix

I would like to evaluate $$ \sum_{q_1 = -\infty}^{\infty} \cdots \sum_{q_N = -\infty}^{\infty} e^{-\sum_{j}\sum_{k} q_{k} A_{kj} q_{j}} $$ with $A$ a real $N\times N$ symmetric matrix. I know how to ...
4
votes
1answer
110 views

Jacobi Elliptic Functions built from Jacobi theta functions

I believe I understand the general theory of elliptic functions to an extent. What I can't seem to find is the distinct method which was used to show that a particular combination of Jacobi Theta ...
4
votes
0answers
33 views

Why do the Jacobi theta functions have a natural boundary?

The Jacobi theta functions, like $$ \theta_3(z,q)=1+2\sum_{n=0}^\infty q^{n^2}\!\cos(2nz) , $$ look relatively innocent in how they handle the 'nome' $q$, a complex parameter that shapes the ...
4
votes
1answer
142 views

About the sums $\sum_{n=1}^\infty x^{n^2}$ and $\sum_{n=1}^\infty \frac{x^n}{1+x^{2n}}$

Despite all my efforts trying to crack these, i haven't been able to do so. An approach that i've tried gives me somewhat of an asymptotic approximation, but still fails to produce the values near x=0....
3
votes
1answer
522 views

Calculating a summation of a $\theta$ function

Let $ \theta_z(t) = \sum \limits_{m,n\in\mathbb{z}}e^{-\pi Q_z(m,n)t}$ where $Q_z(m,n)=y^{-1}|mz+n|^2$. I need to prove that $\theta_z(t)=t^{-1}\theta_z(t^{-1})$. Now, looking that up I know that ...
3
votes
0answers
36 views

Degree of the Divisor of a Theta Function

Let $(\gamma_1, \gamma_2)$ be a base for a lattice $\Gamma$ in $\mathbb C$, and $\theta$ a theta function, ie an holomorfic function such that $\theta(z+ \gamma) = \theta(z)e^{2i\pi(a_\gamma z + b_{\...
3
votes
0answers
60 views

Modular Discriminant and Pentagonal Numbers

I am asked to show $$(2\pi)^{-12}\Delta(\tau) = q \cdot \Big (\sum_{n\in \mathbb{Z}} (-1)^n \cdot q^{(3n^2+n)/2} \Big)^{24}$$ where $\Delta:\mathbb{H} \to \mathbb{C}$ is the modular discriminant, $q=e^...
3
votes
1answer
77 views

series involving $\log(\tanh(\pi k/2))$ II

continuation of the question above series involving $\log\tanh(\pi k/2)$) it is posible to prove that $$\sum_{k=1}^\infty \log (\tanh (k x))=\sum _{n=1}^\infty \left(\frac{\tanh \left(\frac{\pi ^2 n}{...
3
votes
0answers
68 views

What is the series expansion of reciprocal of theta function $\frac{1}{\theta(z;q)}$?

"The" theta function is an ambiguous concept, but one definition I have found is: $$ \theta(z;q) = (z;q)_\infty(q/z;q)_\infty = \frac{1}{(q;q)_\infty}\sum_{k \in \mathbb{Z}}z^k q^{\binom{k}{2}} \tag{$...
3
votes
0answers
47 views

Is $\sum_n\exp(ian+ibn^2+icn^3)$ known in terms of anything else?

For arbitrary $a,b,c$, does the series $$F(a,b,c)=\sum_{n=-\infty}^\infty\exp\left(ian+ibn^2+icn^3\right),$$ i.e. an evenly-weighed series of exponentials of cubic polynomials, converge to anything ...
3
votes
0answers
101 views

conjectured identity of the product of two theta functions

Looking into the discussion in this post,I was naturally led to consider the following general identity Given the two jacobi theta functions,$$\theta_2(q)=\sum_{n=-\infty}^\infty q^{(n+1/2)^2}$$ and $...
3
votes
0answers
87 views

Freeman Dyson's identity for the modular discriminant $\Delta$

In his 'Introduction to Modular Forms', Don Zagier states the Freeman Dyson's identity : $$\Delta(\tau)=\sum_{\substack{ (x_1,\ldots,x_5)\in \mathbb{Z}^5 \\ x_1+\cdots+x_5=0 \\ x_i \equiv i \...
3
votes
1answer
44 views

Injectivity of Theta functions

Let $\vartheta_{00}$ and $\vartheta_{01}$ be Jacobian Theta functions (notations like on wikipedia). $F:=\left\{ \tau \in \mathbb{C}: Im(\tau)>0, \left| Re(\tau)\right|<1, \left|Re(\frac{1}{\tau}...
3
votes
0answers
79 views

Values of derivatives of Jacobi theta function

The Jacobi theta function is defined as: $$\theta(x)=\sum_{n=-\infty}^{\infty}\exp(-\pi n^2 x)\text{ }, x>0$$ On wikipedia.org, we can find close-form expressions for the values of $\theta(k)$,$...
3
votes
0answers
120 views

Modular forms on the theta group

The theta group $\Gamma$ is the subgroup of $SL(2;\mathbb{Z})$ generated by $T=\begin{pmatrix} 1 & 2 \\ 0 & 1 \end{pmatrix}$ and $S=\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}.$ It ...
2
votes
3answers
83 views

How fast does $\Sigma_{n=1}^{\infty} (1- \exp(-x))^{n^2} $ grow?

Let $x$ be a positive real. Define $\theta(x) = \Sigma_{n=1}^{\infty} (1- \exp(-x))^{n^2} $. How fast does $\theta(x)$ grow ? In other words what is a good asymptotic for it when $x$ is large ? Maybe ...
2
votes
1answer
132 views

About Jacobi Theta function

The Jacobi theta function is given by \begin{align} \theta_1(\tau|z)&=\theta_1(q,y)=-iq^{\frac{1}{8}}y^{\frac{1}{2}}\prod_{k=1}^{\infty}(1-q^k)(1-yq^k)(1-y^{-1}q^{k-1}) \\ &= -i\sum_{n\in \...
2
votes
1answer
40 views

Why is this not a complex variable?

I'm watching a video about the Jacobi Theta Function on YouTube. At around 6:14 in the video, he has shown that... $$\vartheta (x) = \sum_{n\in \mathbb Z} e^{-\pi {n^2} x} = \sum_{k\in \mathbb Z} {e^...
2
votes
1answer
59 views

Expression for Jacobi theta function derivative

Please explain how to get $$\frac{\vartheta'_{1}(z, q)}{\vartheta_{1}(z, q)} = \cot z + 4\sum_{n = 1}^{\infty}\frac{q^{2n}}{1 - q^{2n}}\sin 2nz$$ where $\vartheta_{1}(z, q)$ is one of the Jacobi theta ...