Skip to main content
4 of 6
edited tags
pisco
  • 528
  • 4
  • 11

Analytic continuation of $\int_V (f(x_1,\cdots,x_n))^s dx_i$

Let $V$ be an $n$-dimensional simplex, let $f(\boldsymbol{x}) = f(x_1,\cdots,x_n)\in \mathbb{C}[x_1,\cdots,x_n]$ be a product of linear polynomials that is non-zero in interior of $V$. Also let $E(\boldsymbol{x})$ be an entire function.

Consider the integral $$I_{f,E}(s) = \int_V (f(\boldsymbol{x}))^s E(\boldsymbol{x}) dx_i$$ which is analytic on (at least) $\Re(s)>0$.

Is it true that $I_{f,E}(s)$ admits a meromorphic continuation to $s\in \mathbb{C}$, and order of poles at negative integer $s$ is $\leq n$?


I have a trick that can prove the statement in simple cases, but proving the full statement using this idea might require a very delicate argument. So I am looking for a more conceptual proof.

The trick is as follows: consider the $n=1$ case: $$I_{f,E}(s) = \int_0^1 x^s E(x) dx$$ if we let $0\leq \arg x < 2\pi$, then above equals $$(1-e^{2\pi i s})^{-1}\int_C x^s E(x)dx$$ with $C$ being the following contour

enter image description here

Since $C$ doesn't pass through $0$, $\int_C x^s E(x)dx$ is now entire in $s$, and $(1-e^{2\pi i s})^{-1}$ has simple pole at $s\in \mathbb{Z}$, so the statement is true in this case. This can be generalized to $$I_{f,E}(s) = \int_{[0,1]^n} x_1^{s}\cdots x_n^{s} E(\boldsymbol{x}) dx_i = (1-e^{2\pi i s})^{-n} \int_{C^n} (x_1,\cdots,x_n)^s E(x)dx$$

As another example, again let $n=1$, $$I_{f,E}(s) = \int_0^1 x^s (1-x)^s E(x) dx$$ also satisfies the statement: break the integral into $\int_0^{1/2} + \int_{1/2}^1$, then apply above argument separately to these two parts.

pisco
  • 528
  • 4
  • 11