Suppose I have a meromorphic function f(s), and a sequence of functions gN(t) that diverge to infinity, but for which the analytic continuation exists. A good example would be gN(t)=∑Nn=11n0.5+it, which diverges as N→∞, but which can be analytically continued to g∞(t)=ζ(0.5+it).
Now consider the function f(gN(t)). As we increase N, the argument to f blows up. Naively, there are two ways to do the analytic continuation:
First analytically continue gN(t) to g∞(t), and then take f(g∞(t))
Analytically continue f(gN(t)) all at once
In other words, for the second approach, we define a new family of functions (f∘g)N(t), which has a different limit than the analytic continuation of f(g∞(t)).
Am I correct that this shows that analytic continuation and function composition do not play nice with one another? Is there a general theory of when the two approaches will agree?
For example, look at f(t)=1t. Then as N blows up, f(gN(t))→0, so the composition is the zero function. On the other hand, the analytic continuation g∞(t) need.not be strictly positive at all, or could even be zero at points, leading to poles.
Answer
Just to make my comment an official answer:
Assuming you really intend to ask this question
Assume gN,g∞:Ω→C are holomorphic functions s.t. gNN→∞→g∞ pointwise on some open subset ∅≠Ω0⊆Ω. Given any entire function f:C→C, is it true that f∘gN converges pointwise to a holomorphic function h on Ω0 and that f∘g∞ is the analytic continuation of h to all of Ω?
In that case, the answer is "yes" for obvious reasons: f is continuous, therefore f(gN(z))→f(g∞(z)) for all z∈Ω0. We can therefore define h:=(f∘g∞)|Ω0 and have found a holomorphic function on Ω0 such that f∘gN converges pointwise to h. Furthermore: By construction f∘g∞ is a holomorphic extension of h to all of Ω and by the identity theorem it is the unique such function, i.e. the analytic continuation of h.
Note that the two instances of pointwise convergence can be replace by a lot of other convergence modes. For example one could ask for uniform convergence, locally uniform convergence, and many more.
No comments:
Post a Comment