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

learn more… | top users | synonyms

16
votes
1answer
375 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
404 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 ...
13
votes
1answer
273 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
644 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 ...
8
votes
2answers
143 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
134 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) = ...
8
votes
0answers
219 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 ...
8
votes
0answers
348 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 ...
7
votes
1answer
103 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
0answers
248 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
160 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( ...
6
votes
1answer
124 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 ...
6
votes
0answers
328 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
451 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
127 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 ...
5
votes
1answer
364 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
113 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
2answers
166 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= ...
5
votes
0answers
154 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
188 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
164 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
103 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
2answers
290 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 ...
4
votes
1answer
68 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
131 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
72 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
93 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
113 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
499 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
40 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
81 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
70 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
73 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
109 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
76 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
107 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
28 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
41 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
58 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
92 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
98 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
144 views

Jacobi Theta function inequality

I am trying to show that $$\sum_{n=1}^\infty e^{- \pi n^2 x} < \frac{1}{2} x^{-\frac{1}{2}}, \; \forall x>1$$ Here's what I'm doing: $$\sum_{n=1}^\infty e^{- \pi n^2 x} < ...
2
votes
0answers
70 views

Primitive of Weierstrass $\wp$

Consider a lattice $L=\mathbb{Z}+\mathbb{Z}\tau$. Take the function $\xi(z) = \frac{-1}{z} - \sum_{w \in L\backslash \{0\}} \Big ( \frac{1}{z-w} + \frac{1}{w} + \frac{z}{w^2} \Big )$. Obviously this ...
2
votes
0answers
57 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}} ...
2
votes
0answers
41 views

What is known about $\sum_{n=0}^{\infty} x^{n^3} $.

$f(x) =\sum_{n=0}^{\infty} x^{n^2}$ and similar "theta-type" functions are extensively studied. They have many properties and occur in number theory , algebra (in particular solving the quintic ...
2
votes
0answers
19 views

Zeros of the derivative of a theta function

I'm trying to find the positions or at least the number of zeros of $\partial_z\vartheta[p,0](z,\tau)$ where the standard theta function with characteristics $(p,q)$ is defined as ...
2
votes
0answers
46 views

Are all Jacobi theta functions modular?

An exercice in Neukirch's classical textbook "Algebraic Number Theory" asks us to prove that Jacobi's classical theta function $\vartheta(z)$ is a modular form of weight $1/2$. There are other ...
2
votes
0answers
59 views

Jacobi Theta Functions?

For the Jacobi theta function $\vartheta_3(z|\tau)$ there exists an equality (by Whittaker & Watson) \begin{equation} \vartheta_3(z|\tau) = \sum_{n=-\infty}^{\infty} e^{n^2 \pi i \tau + 2 n i z} ...