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

learn more… | top users | synonyms

17
votes
1answer
391 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 ...
10
votes
1answer
321 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$ ...
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
76 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
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}...
9
votes
0answers
234 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 ...
6
votes
0answers
491 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
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
0answers
26 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 ...
3
votes
0answers
35 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
54 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
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}} \tag{$...
3
votes
0answers
45 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
99 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
0answers
77 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
119 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
0answers
29 views

Implementation of Jacobi theta functions in Matlab

I need Jacobi theta functions for my Matlab program. The functions are not included in the predefined Matlab functions. Doing a simple Google search, I found a package developed by Moiseev I. in 2008. ...
2
votes
0answers
22 views

show that $\sum P(x,y) e^{x^2 + y^2}$ is a modular form over $\Gamma_0(4)$ where $P(x,y) = x^4 - 6 x^2 y^2 + y^4$

In these lecture notes of Zagier, I read that generalized theta functions are still modular forms. Let $q = e^{2\pi i z}$ $$\theta(z) = \sum_{(x,y) \in \mathbb{Z}} \Big[ x^4 - 6 x^2 y^2 + y^4 \Big] \...
2
votes
0answers
58 views

Siegel's article “The volume of the fundamental domain for some infinite groups”: trouble with understanding computations

This is the article I mentioned. While the idea of what Siegel is doing in order to compute the volume of the fundamental domain described in the article (the very first one, for there are discussed ...
2
votes
0answers
46 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
36 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 $\vartheta[p,q](z,\...
2
votes
0answers
71 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} =...
2
votes
0answers
43 views

Holomorphicity and modularity of Jacobi forms

I am reading this paper Suerconformal algebras and mock theta functions by T. Eguchi and K. Hikami. In section 3.2, the authors define a function $$J(z;w;\tau) = \frac{(\theta_{11}(z;\tau))^2}{(\eta(\...
2
votes
0answers
50 views

Fibonacci-related infinite sum

Prove that $$\sum_{n=0}^\infty \frac{1}{F_{2n+1}}=\frac{\sqrt{5}}{4}\theta_2^2\bigg(\frac{3-\sqrt{5}}{2}\bigg)$$ and $$\sum_{n=0}^\infty \frac{1}{F_{2n+1}+F_{2k-1}}=\frac{(2k-1)\sqrt{5}}{2F_{2k-1}}$$ ...
2
votes
0answers
34 views

Equation of the curve corresponding to a principal polarization

Let $\mathbb{C}^2/\Lambda$ be a principally polarized abelian surface. I think it is well-known how to write down the equation of the divisor (Riemann surface) corresponding to the polarization, in ...
2
votes
0answers
27 views

Does this function appear in theory of modular forms?

Does the following function $\phi(q,z)$ appear in theory of modular forms $$ \phi(q,z):=\prod_{n=-\infty}^{\infty}(1+q^nz) $$ for $(q,z)$ in some domain in $\mathbb{C}^2$? Any reference will be ...
2
votes
0answers
64 views

When are theta constants modular

I'm looking at $\theta$ constants with characteristic, defined by $$\theta\left(\begin{array}{c} \epsilon \\ \epsilon' \end{array}\right)(z,\tau) = \sum_{n\in \mathbb{Z}} \exp 2\pi i \left\{ \frac{1}{...
2
votes
0answers
58 views

Motivation behind theta function calculation in Diamond & Shurman

I am reading section 1.2 of A First Course in Modular Forms. Let $q=e^{2\pi i\tau}$, where $\tau\in\cal H$ is assumed to be in the upper half plane, and define $\theta(\tau)=\sum_{n\in\Bbb Z}q^{n^2}$. ...
2
votes
0answers
81 views

Theta-divisor and special divisors

I'm studying the Jacobi inversion problem. Could you help me with the next question? Let us consider an algebraic curve $C$ and it's Jacobian $J(C)$. For a initial point $P_0$ we can construct the ...
2
votes
0answers
22 views

Is it true that $\theta_{1,1}^{4N} \in J_{2N,2N}(2N)$?

I need examples of Jacobi forms for full congruence subgroups $\Gamma(N) $ of $SL(2,Z)$. As a particular case, take the theta function $\theta_{1,1}(t,z) := \sum_{n\in\mathbb{Z}} exp(\pi it(n + 1/2)...
2
votes
0answers
197 views

A Dedekind eta function sum of form $y_0^k+y_1^k+y_2^k+y_3^k+… = 0$

Given the Dedekind eta function $\eta(\tau)$. Define, $y_p = e^{\pi i p/6}\,\eta(\tfrac{\tau+2p}{5})$ Prove the multi-grade identity [1], $y_0^k + y_1^k + y_2^k + y_3^k + y_4^k + (\sqrt{5}\,\eta(5\...
2
votes
0answers
196 views

What is meant by a set of generic points on a compact Riemann surface

Let $X$ be a compact connected Riemann surface of genus $g \geq 1$. I'm studying a theorem of Faltings which looks as follows. Let $P_1,\ldots, P_g$ be generic points on $X$. Then we have some ...
1
vote
0answers
34 views

General Form of Theta Functions from Functional Equations

From Elliptic Curves: Function Theory, Geometry and Arithmetic by McKean and Moll: Exercise 3.1.2. Discuss the general solution of the two identities (a) $f(x+2)=f(x)$ and (b) $f(x+2\omega)=e^{ax+b}f(...
1
vote
0answers
57 views

proof of jacobi triple product using ramanujan's notation

Inspired by this proof in mathworld,I rewrote the proof in terms of ramanujan theta function Define the function $$M(c)=\prod_{n = 1}^{\infty}(1 +a^{n}b^{n-1}c)(1+\frac{a^{n-1}b^{n}}{c})\tag1$$ then ...
1
vote
0answers
26 views

Coefficients of a power series, an algebraic identity

Given the following 4 functions: \begin{align} \theta_1(0, \tau) &= 2(q^{1/4} + q^{9/4} + q^{25/4} + \ddots), \\ \theta_2(0, \tau) &= 1-2q+2q^4-2q^9+ \ddots), \\ \theta_3(0, \tau) &= 1+2q+...
1
vote
0answers
27 views

Summation of an infinite q series

When calculating a Partition function, I encounter the following summation $$\sum_{n=0}^{\infty} x^n q^{n^2}.$$ I know that the sum$\sum_{n=-\infty}^{\infty} x^n q^{n^2}$ is a Theta function , but I ...
1
vote
0answers
55 views

Elliptic formulation of sum with cosine and hyperbolic cosine

Can anyone check my reformulation below?$$\sum_{k\in \mathbb{Z}}\frac{1}{\cosh{(k+z)\pi}+\cos{(k+z)\pi}}=\frac 2\pi \csc{\pi z}D_z\left[\tan^{-1}\left(\frac{\theta(z/2,2)}{\vartheta(z/2,2)}\right)\...
1
vote
0answers
76 views

Elliptic theta function approximations

I have encountered the formulas, which are approximations of Elliptic Theta functions, $$\vartheta _4\left(0,\frac{1}{\sqrt{e}}\right)\simeq 2 \sqrt{2 \pi } \sqrt[8]{\left(4+\cosh \left(4 \pi ^2\right)...
1
vote
0answers
15 views

Is the $z\gg 1$ behavior of the theta function $\theta_1(z;q)$ known?

Is the $z\gg 1$ behavior of the theta function $\theta_1(z;q)$ known? It seems naively like it could be estimated by a Gaussian integral which would give an answer along the lines of $e^{bz^2}$ for ...
1
vote
0answers
40 views

Which theta function is $\theta(x;q) = (x;q)(q/x;q)$?

The physics paper I am reading very non-chalantly defines the theta function as $$ \theta(x;q) = (x;q)(q/x;q) \hspace{0.5in} \tilde{\theta}(x;q) = x^{-1/2}(x;q)(q/x;q) $$ where they are using the $...
1
vote
0answers
43 views

What is this quotient of partial derivatives of the first Jacobi's Theta function

Let $\theta_1(x,\tau)$ be the first Jacobi's theta function: $$ \theta_1(x)=\theta_1(x,\tau)=-i \sum_{n\in \mathbb Z} (-1)^{n}e^{i \pi (n+1/2)^2\tau}e^{2i\pi(n+1/2)x}\qquad x\in \mathbb C, \, \tau\in ...
1
vote
0answers
103 views

q-theta function and their properties

I want to compute the residue integral for the $q$-theta function, and derive its properties. First, I'll briefly explain the definition \begin{align} & \theta(a;q)=(a;q)(q/a;q)=\prod_{i=0}^{\...
1
vote
0answers
91 views

Rapidly convergent series for $\sum_{J=0}^{\infty} (2 J + 1) e^{-\beta J(J+1)}$ (rigid rotor)

I need to evaluate this series for arbitrary $\beta > 0$: $ Q = \sum_{J=0}^{\infty} (2 J + 1) e^{-\beta J(J+1)} $ Is it related to a known transcendental function? From the research I did, it ...
0
votes
0answers
22 views

Let $\theta(z) = \sum q^{n^2}$, is $\theta(-1/z)$ also a theta function?

I am learning about theta functions. Let $q = e^{2\pi i \, z}$ and $\theta(z) = \sum q^{n^2}$. How does it behave under $\mathrm{SL}_2(\mathbb{Z})$ ? In general we have: $$ \theta\left( - \frac{1}...
0
votes
0answers
71 views

Bound of integral involving theta function

I need to prove that the following bound is true. I thought this might follow from the inversion property of the theta function, as the infinite sum in the integrand is precisely $\frac{1}{2}(\theta_3(...
0
votes
0answers
99 views

Interpretation of functional equation of dedekind eta function

It's well known that the Dedekind eta function defined by $\eta(z) = \displaystyle e^{\frac{\pi i z}{12}} \prod_{n=1}^{\infty} (1 - e^{2 \pi i n z}) $ converges for $z$ in the upper half plane to a ...