Sunday, January 27, 2019

complex analysis - Analytic continuation "playing nice" with function composition


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:



  1. First analytically continue gN(t) to g(t), and then take f(g(t))




  2. Analytically continue f(gN(t)) all at once



In other words, for the second approach, we define a new family of functions (fg)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. gNNg pointwise on some open subset Ω0Ω. Given any entire function f:CC, is it true that fgN converges pointwise to a holomorphic function h on Ω0 and that fg 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:=(fg)|Ω0 and have found a holomorphic function on Ω0 such that fgN converges pointwise to h. Furthermore: By construction fg 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

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...