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 ...
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
61 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
63 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 ...
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
0answers
249 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
0answers
331 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
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
0answers
120 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
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
0answers
74 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
0answers
71 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} ...
2
votes
0answers
38 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
30 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
58 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
53 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
76 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
193 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
193 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
19 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
22 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
49 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
71 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
42 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
82 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
67 views

Zeroes of Jacobi Theta Functions

Based on wolfram alpha: $$\sum_{i=0}^{\infty}[x^{i^2}] = \frac{1}{2}(v_3(0,x) +1) $$ Whereas $v_3$ is the third Jacobi Theta function. See: http://bit.ly/1FIyUTq I am curious for what values in ...
0
votes
0answers
70 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
93 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 ...