2
$\begingroup$

Does there exist a non-constant complex function $f(z)$ which is analytic in the whole $z$-plane and infinity point? Or must a function which is analytic in the infinity point be singuler in some points of $z$-plane?

There are two conditions what I mean analytic in the infinity point.

1) allowing $f(\infty)=\infty$ but that the map $f:S2\rightarrow S2$ is holomorphic?

2) $f(\infty)$ is finite or $f(\infty)\in \mathbb{C}$

Discuss it in two different conditions. Thanks!

$\endgroup$
3
  • $\begingroup$ @user48481MirkoSwirko Sorry, it's my fault. If the function is not a constant $\endgroup$
    – 346699
    Commented Nov 23, 2014 at 5:49
  • $\begingroup$ When you say analytic at $\infty$, are you allowing the possibility that it be a pole - i.e., that $f(\infty) = \infty$ but that the map $f: S^2 \to S^2$ is holomorphic? Or do you want $f(\infty) \in \Bbb C$? $\endgroup$
    – user98602
    Commented Nov 23, 2014 at 5:56
  • $\begingroup$ @MikeMiller Thanks. You can discuss it in different conditions. $\endgroup$
    – 346699
    Commented Nov 23, 2014 at 6:00

1 Answer 1

5
$\begingroup$

Yes and no.

First, note that a meromorphic function that doesn't have an essential singularity at $\infty$ is a rational function. You can find a proof here. Then because you require analyticity in the entire plane, $p(z)$ must be a polynomial. To check analyticity at $\infty$, we check that $g(z) = p(1/z)$ is analytic at $0$. Write $p(z) = a_0z^n + \dots + a_n$; then $$g(z) = a_0z^{-n} + \dots + a_n = \frac{a_0 + a_1z \dots + a_nz^n}{z^n}$$ For your second question: if we demand that $g(0) \in \Bbb C$, then we must have $a_1 = \dots = a_n = 0$. So the only holomorphic functions $S^2 \to \Bbb C$ are constants.

Now if you allow $p(z)$ to have a pole at infinity, we're fine; $g(z)$ is perfectly meromorphic at $0$. So the meromorphic functions on the Riemann sphere that are analytic on the plane are precisely polynomials. (The meromorphic functions in general - if you don't make any analyticity requirements on the plane - are the rational functions.)

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .