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

learn more… | top users | synonyms

17
votes
1answer
384 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 ...
9
votes
1answer
310 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
140 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
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, ...
2
votes
1answer
26 views

any interpretation for $\left[ \sum_{n\in \mathbb{Z}} q^{n^2} w^{2n} \right]^{-1}$?

One very simple version of the theta function is as a generating function over the perfect squares: $$ \theta(\tau; z) = \sum_{n\in \mathbb{Z}} q^{n^2} w^{2n} $$ Where $q = e^{2\pi i \tau}$ and $w = ...
0
votes
1answer
78 views

the zeros of theta function?

Recall that the theta function with character $(a,b)\in \mathbb{R}^2$ is defined by $$ \vartheta_{a,b}(z, \tau) :=\sum^\infty_{n=-\infty} e^{\pi i (n + a)^{2} \tau + 2 \pi i(n + a)(z + b)},\quad a,b ...
0
votes
1answer
72 views

Reciprocals of theta functions

I've spent the last few months with partial fraction expansions, and thought to create a function with simple poles over a lattice of zeros, like that of any of the Jacobi theta functions... but I ...
9
votes
0answers
224 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
359 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
467 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
162 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 ...
3
votes
0answers
28 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
47 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
0answers
64 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
90 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
81 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
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
114 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
21 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
53 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
77 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
44 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
29 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
67 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
40 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) = ...
2
votes
0answers
47 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
33 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\{ ...
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
78 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 + ...
2
votes
0answers
196 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 + ...
2
votes
0answers
194 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
28 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 ...
1
vote
0answers
14 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. ...
1
vote
0answers
45 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
25 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
vote
0answers
25 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
52 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 ...
1
vote
0answers
72 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 ...
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
38 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
92 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} & ...
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
15 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( - ...
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 ...
0
votes
0answers
95 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 ...