Holomorphic function defined as an integral.

I do not fully understand the following statement:

"Let f(x) decay faster than any polynomial as x -> infinity, then int_0^infinity f(x) x^{s-1}dx defines a holomorphic function of s when Re(s) > 1.

This is because int_0^1 x^{s-1}ds converges and f(x) has a rapid decay."

When, in general, the function defined by an integral is holomorphic?

Re: Holomorphic function defined as an integral.

Quote:

Originally Posted by

**Laurent** Do you know the theorem about continuity of functions defined by an integral? There is a very similar result for holomorphic functions:

Suppose

is

- holomorphic with respect to the

variable and measurable with respect to the

variable

- such that there is a function

with

for any

and

. (this is a "domination" of

)

Then the function

is holomorphic, and

.

(I didn't specify the intervals or domains, this is whatever you want)

This theorem is quite powerful. It shows for instance that the "integral function"

is indefinitely differentiable, using only a domination of the function (and not of its derivatives).

In your situation, you'll probably have to apply this theorem to compact subsets of the domain (otherwise you won't be able to get the domination).

Thanks Laurent. Could you please provide a reference to a general version of this result? It seems one could use this result to show that solutions of initial-boundary problems for the heat equation are (real) analytic in even if boundary data is discontinuous. I have only seen such results with smooth boundary data. What am I missing?

Many thanks.

Re: Holomorphic function defined as an integral.

Quote:

Originally Posted by

**Laurent** Do you know the theorem about continuity of functions defined by an integral? There is a very similar result for holomorphic functions:

Suppose

is

- holomorphic with respect to the

variable and measurable with respect to the

variable

- such that there is a function

with

for any

and

. (this is a "domination" of

)

Then the function

is holomorphic, and

.

(I didn't specify the intervals or domains, this is whatever you want)

This theorem is quite powerful. It shows for instance that the "integral function"

is indefinitely differentiable, using only a domination of the function (and not of its derivatives).

In your situation, you'll probably have to apply this theorem to compact subsets of the domain (otherwise you won't be able to get the domination).

Also, is there a name for results of this general type?