8
$\begingroup$

Suppose I define a function using an integral:

$f(z)=\int_{\mathbb R} g(z,x)\ dx,$

where $g$ is some function, $z$ is a complex variable, and $x$ is a real variable. Suppose the integral exists for $z\in U$, where $U$ is some open region. What are sufficient conditions on $g$ so that $f$ is analytic here, and why do they suffice?

I looked in Ahlfors but couldn't find anything relevant.

  • 0
    Perhaps consult some previous questions and their answers: http://math.stacke$x$change.com/questions/177953/ or http://math.stacke$x$change.com/questions/81949/ or maybe several others2012-11-05

2 Answers 2

9

It suffices that $g$ is analytic in $z \in U$ for each $x\in {\mathbb R}$ and $\int_{\mathbb R} |g(z,x)|\ dx$ is locally uniformly bounded on compact subsets of $U$. For then if $\Gamma$ is any closed triangle in $U$, Fubini's theorem says $\oint_\Gamma f(z) \ dz = \int_{\mathbb R} \oint_\Gamma g(z,x)\ dz\; dx = 0$, and Morera's theorem says $f$ is analytic in $U$.

EDIT: I guess we'd better also assume that $g(z,x)$ is measurable.

  • 0
    @RobertIsrael Could you please confirm that only local integrability over compacts of product spaces is enough to use Fubini's theorem? Because in Fubini's theorem wikipedia page, it's about full integrability: https://en.wikipedia.org/wiki/Fubini%27s_theorem2018-03-28
0

Hint Morera's theorem should tell you something.