4

Let $f:\mathbb{D}\to\mathbb{D}$ be a holomorphic function s.t $0$ is a zero of order $k\geq 1$. Prove that $f(z)=z^kg(z)$, in which $g:\mathbb{D}\to\mathbb{D}$ is holomorphic.

My attempt:
Since $f$ is holomorphic on $\mathbb{D}$, then by Taylor's expansion we have $$f(z)=\sum\limits_{n=0}^{\infty}c_nz^n,\quad c_n=\dfrac{f^{(n)}(0)}{n!}.$$ Since $0$ is zero of order $k\geq 1$, we have $c_1=...=c_{k-1}=0, c_k\neq 0$.
$\Rightarrow\quad f(z)=z^kg(z)$, in which $g(z)=c_k+c_{k+1}z+...$
My question is how can I show such $g$ is holomorphic on $\mathbb{D}$ and $|g(z)|<1$? Could someone help me? Thanks in advance!

Alex Nguyen
  • 1,139
  • What is $\mathbb{D}$? Is that the open unit ball of $\mathbb{C}$ centered at the origin? Or the closed unit ball of $\mathbb{C}$ centered at the origin? – Dean Miller Mar 14 '24 at 06:56
  • $\mathbb{D}=D(0,1)$ as usual in complex analysis – Alex Nguyen Mar 14 '24 at 06:56
  • 2
    $g$ is given by a convergent power series in ${z:0<|z|<1}$. This is enough to say that $g$ is holomorphic in $D$. – geetha290krm Mar 14 '24 at 07:15
  • 2
    If $\mathbb{D} = {z\in\mathbb{C} : |z| < 1}$, then from what I can tell, the result is false by looking at the function $f:\mathbb{D} \to \mathbb{D}$ defined by $f(z) = z$. How did you show that $|g(z)| < 1$ for all $z\in\mathbb{D}$? – Dean Miller Mar 14 '24 at 07:18
  • @geetha290krm Could you explain why $g$ is given by a convergent power series in ${z;0<|z|<1}$? – Alex Nguyen Mar 14 '24 at 07:25
  • 1
    @AlexNguyen If $f$ is defined in that way, then you have $f(z) = z\cdot g(z)$ for each $z\in\mathbb{D}$ which implies that $g(z) = 1$ for each $z\in\mathbb{D}$. But then it is impossible that $|g(z)| < 1$ for each $z\in\mathbb{D}$. – Dean Miller Mar 14 '24 at 07:25
  • 1
    @AlexNguyen You can show that the power series of $g$ at $0$ has the same radius of convergence as the power series of $f$ at $0$. – Dean Miller Mar 14 '24 at 07:31
  • I think I'm wrong at proving $g(z)<1$? Can anyone show me how to prove $g(z)\leq 1$? – Alex Nguyen Mar 14 '24 at 07:32
  • If it is assumed that $\mathbb{D} = {z\in\mathbb{C} : |z|\leq 1}$, then the result is true. I will type up a sketch of an answer now. – Dean Miller Mar 14 '24 at 07:33
  • 1
    $g(z)=f(z)/z^{k}$. Doesn't that prove that $g$ is given by a convergent power series? – geetha290krm Mar 14 '24 at 07:35
  • 1
    BTW, $g(z) <1$ and $g(z) \le 1$ have no meaning. – geetha290krm Mar 14 '24 at 07:35

2 Answers2

5

$g$ is holomorphic because it has a power series. Holomorphic is equivalent to analytic. $c_k+c_{k+1}z+\dots $ is a power series.

The inequality $1\ge\mid f(z)\mid={\mid g(z)\mid}{\mid z^k\mid}\mid=\mid g(z)\mid$ holds for $\mid z\mid=1.$

Now apply the maximum modulus principle to get the inequality on the whole disk.

calc ll
  • 8,427
3

I will assume that $\mathbb{D} = \{z\in\mathbb{C} : |z| \leq 1\}$. This can be done by induction on $k$. Suppose first that $k=1$. Define the function $g:\mathbb{D} \to \mathbb{C}$ by

$$g(z) := \begin{cases} \frac{f(z)}{z} & \text{ if } z\in \mathbb{D} \setminus \{0\}, \\ f'(0) & \text{ if } z\in \{0\}. \end{cases}$$

Then $g$ is a holomorphic function, because if $f$ has a convergent power series expansion of the form $f(z) = \sum_{n=0}^{\infty}c_{n}z^{n}$, $g$ has a convergent power series expansion of the form $g(z) = \sum_{n=0}^{\infty}c_{n+1}z^{n}$.

By Schwarz's lemma, $|g(z)| \leq 1$ holds for all $z\in\text{int}(\mathbb{D})$, and by continuity it holds for all $z\in\mathbb{D}$. So it may be assumed that $g:\mathbb{D} \to \mathbb{D}$, and consequently $g$ is the desired function.

Now suppose the result has been proved for $k\in\mathbb{N}$. Suppose that $g$ has a zero of order $k+1$ at $0$. By the above argument, there is some holomorphic $h:\mathbb{D} \to \mathbb{D}$ such that $f(z) = z\cdot h(z)$ for all $z\in\mathbb{D}$. $h$ has a zero of order $k$, so by the induction assumption there is some holomorphic $g:\mathbb{D} \to \mathbb{D}$ such that $h(z) = z^{k}\cdot g(z)$ for all $z\in\mathbb{D}$. As $f(z) = z^{k+1} \cdot g(z)$ for all $z\in\mathbb{D}$, it follows that $g$ is the desired function. The desired result follows by induction.

Dean Miller
  • 1,100