4

I encountered this line of argument. Suppose $z_k=k\pi$. We clearly have $\sin z_k=0$. Then we can write $\sin z=(z-z_k)(\cos(z_k)+g_k(z))$ where $g_k$ is holomorphic and $g_k(z_k)=0$.

It seems the argument that's being used is like:

Suppose we have $f(z)$ holomorphic and $f(a)=0$. Then we can write $f(z)=(z-a)(f'(a)+g(z))$ where $g(z)$ is holomorphic and $g(a)=0$.

Why is this true?

Mika H.
  • 5,639

1 Answers1

4

Great question. The answer is that you can write $f$ as a power series. We see that if $f$ is a holomorphic function such that $f(a)=0$, then $f(z)/(z-a)$ is holomorphic at all points in the domain of $f$, except possibly at $z=a$. I will show that it is actually holomorphic at $z=a$, and so $f(z)/(z-a)$ is holomorphic on the whole domain of $f$.

Locally we have that $f(z)=a_1(z-a)+a_2(z-a)^2+\cdots$ (we could have that $a_1=0$, but there is at least no constant term since $f$ is zero at $a$), and $f'(z)=a_1+2a_2(z-a)+\cdots$. We have that $f(z)/(z-a)=a_1+a_2(z-a)+\cdots$ and is holomorphic at $a$. Moreover, to get the decomposition you are looking for, we get from the equations that $$f(z)=(z-a)((a_1+2a_2(z-a)+3a_3(z-a)^2+\cdots)-(a_2(z-a)+2a_3(z-a)^2+\cdots)$$ $$=(z-a)(f'(z)+g(z)),$$ where $g(z)=-(a_2(z-a)+2a_3(z-a)^2+\cdots)=-\sum_{k=1}^\infty ka_k(z-a)^k$. This is holomorphic close to $a$ and is easily seen to extend to the whole domain of $f$ (since $g(z)=f(z)/(z-a)-f'(z)$, which is defined everywhere on the domain of $f$).

Of course if you don't want to use power series and already know that $f(z)/(z-a)$ is holomorphic, then you can write $$f(z)=(z-a)(f'(z)+(\frac{f(z)}{z-a}-f'(z))),$$ which is what you have written.

rfauffar
  • 7,509
  • Thanks. I think I made a typo where $f(z)$ should have been $f(a)$. Just edited. How do we know the coefficient $a_1$ should be $f'(a)$? – Mika H. Oct 26 '13 at 03:16
  • This is because if $f(z)=a_0+a_1(z-a)+a_2(z-a)^2+\cdots$, then we differentiate and obtain that $f'(z)=a_1+2a_2(z-a)+\cdots$. After evaluating in $z=a$ we get that $f'(a)=a_1$. – rfauffar Oct 26 '13 at 16:02