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

learn more… | top users | synonyms

17
votes
1answer
388 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
418 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 ...
14
votes
1answer
287 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
669 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
316 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
228 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
360 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
232 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( ...
8
votes
2answers
157 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 ...
8
votes
1answer
153 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) = ...
7
votes
2answers
335 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
137 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
106 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
295 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
136 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= ...
6
votes
0answers
474 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
478 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
366 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
129 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 ...
5
votes
0answers
56 views

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

Motivation 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 ...
5
votes
0answers
163 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
213 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) = ...
4
votes
1answer
171 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, ...
4
votes
2answers
114 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
72 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
136 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
78 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
105 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
1answer
141 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 ...
3
votes
1answer
514 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
30 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 + ...
3
votes
0answers
50 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, ...
3
votes
1answer
73 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 ...
3
votes
0answers
65 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}} ...
3
votes
0answers
44 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
94 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
82 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
43 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, ...
3
votes
0answers
76 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 ...
3
votes
0answers
117 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
82 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
122 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} ...
2
votes
1answer
55 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 ...
2
votes
1answer
104 views

What is the limit $\lim_{q\to 1} \vartheta_{2}^{2}(q)(1-q)$

If $\vartheta_{2}(q)$ is jacobi's theta function, what is the limit $$\lim_{q\to 1} \vartheta_{2}^{2}(q)(1-q)$$ for the nome $q$. I would like to know whether the limit exists or not. If it does, ...
2
votes
1answer
63 views

Derivation of Transformation for basic theta function

Given that $\vartheta(x) = \sum_{n = -\infty}^\infty e^{-\pi n^2 x}$, I am trying to finish a derivation that $\vartheta(x) = \frac{1}{\sqrt{x}}\vartheta(1/x)$. I believe that I am very close. I ...
2
votes
1answer
99 views

Conclude behaviour of holomorphic function on interior from behaviour on boundary - by the example of Theta function

Actual Problem I feel like by attempting to transfer my problem to a more general form it suffered a lot of important detail. So here i present to you my actual problem. It's part of a proof in an ...
2
votes
1answer
60 views

Prove that $\prod_{k=1}^{\infty}\left(1-e^{-\pi{k\sqrt n}}\right)=\frac{\sqrt2 g_n^2\psi(e^{-\pi\sqrt n})}{e^{\frac{\pi\sqrt n}{12}}}$

The source of idea is from here Where $$\psi(q)=\sum_{k=0}^{\infty}q^{\frac{k(k+1)}{2}}$$ Prove that, (1) $$\prod_{k=1}^{\infty}\left(1-e^{-\pi{k\sqrt n}}\right)=\frac{\sqrt2 ...