0
$\begingroup$

Consider a meromorphic function $f(\mathfrak{a}_1, \mathfrak{a}_2)$, such that $$ \begin{align} f(\mathfrak{a}_1, \mathfrak{a}_2) = f (\mathfrak{a}_1 + 1, \mathfrak{a}_2) = f(\mathfrak{a}_1 + \tau, \mathfrak{a}_2) = f(\mathfrak{a}_1, \mathfrak{a}_2 + 1) = f(\mathfrak{a}_1, \mathfrak{a}_2+ \tau) \ . \end{align} $$ So essentially $f$ is elliptic w.r.t. both $\mathfrak{a}_{1,2}$.

My question is: consider the integral $$ I(\mathfrak{a}_1) \equiv \int_0^1 d \mathfrak{a}_2 f(\mathfrak{a}_1, \mathfrak{a}_2) \ . $$ Question: do we still have ellipticity $I(\mathfrak{a}_1 + 1) = I (\mathfrak{a}_1 + \tau) = I(\mathfrak{a}_1)$?

I once thought that the answer is of course positive, but recently I encounter an example where it is not.

Consider $$ f(\mathfrak{a}_1, \mathfrak{a}_2) \equiv \frac{\vartheta_1(2\mathfrak{a}_2)^2}{ \prod_\pm \vartheta_4(\pm 2\mathfrak{a}_2 - \mathfrak{a}_1)} \frac{1}{\vartheta_4(\mathfrak{a}_1)^4} \frac{\vartheta_1(2\mathfrak{a}_1)^2}{\prod_\pm \vartheta_4(\pm2\mathfrak{\mathfrak{b}} + \mathfrak{a}_1)} \ . $$ The function is elliptic w.r.t. both $\mathfrak{a}_{1,2}$.

Now we can integrate over $\mathfrak{a}_2$ from $0 \to 1$, using the formula (by first expanding the elliptic integrand in Weierstrass-$\zeta$ function and then integrate) $$ \int_0^1 d \mathfrak{a}_2 \prod_\pm \frac{\vartheta_1(2\mathfrak{a}_2)^2}{ \vartheta_4(\pm 2\mathfrak{a}_2 - \mathfrak{a}_1)} = \frac{1}{ \pi\eta(\tau)^3 }\frac{ \vartheta'_4(\mathfrak{a}_1) }{ \vartheta_1(2\mathfrak{a}_1) } \ . $$

Now, due to the presence of $\vartheta'_4(\mathfrak{a}_1)$, it is easy to see that $$ \int_0^1 f(\mathfrak{a}_1, \mathfrak{a}_2) d \mathfrak{a}_2 $$ is no longer elliptic in $\mathfrak{a}_1$ (it is still invariant under the unit shift, but not so for $\tau$-shift).

Why does the integration destroy the periodicity ?

$\endgroup$
9
  • 1
    $\begingroup$ First thought - since there are poles around, the result of integration is ambiguous, it depends on the path. It might thus be that it is still elliptic if along with the $\tau$-shift you also shift the path accordingly. $\endgroup$ Commented Apr 4, 2021 at 9:14
  • $\begingroup$ Also, what is $\mathfrak b$? $\endgroup$ Commented Apr 4, 2021 at 9:18
  • $\begingroup$ @მამუკაჯიბლაძე $\mathfrak{b}$ is a free parameter that resolves a double pole into simple pole. $\endgroup$
    – Lelouch
    Commented Apr 4, 2021 at 10:05
  • $\begingroup$ @მამუკაჯიბლაძე Indeed, $\tau$-shift moves the $\mathfrak{a}_2$-integration path, and it does cross poles. But thanks to the ellipticity, I think their residues precisely cancel. $\endgroup$
    – Lelouch
    Commented Apr 4, 2021 at 10:09
  • 1
    $\begingroup$ $\theta(\tau)$ is a modular form not an elliptic function, did you mean $\theta(\tau,.)$ for fixed $\tau$. Then $\int_0^1 \frac1{\wp_i(z+t)-\wp_i(1/4)}dt$ is well-defined and analytic and doubly periodic for $\Im(z)\not \in \Bbb{Z}$ but its analytic continuation has logarithmic branch points at $1/4+\Bbb{Z}/2+i\Bbb{Z}$. $\endgroup$
    – reuns
    Commented Apr 4, 2021 at 13:17

0

You must log in to answer this question.