16
$\begingroup$

I would like to show that there is a holomorphic $f$ on a neighborhood of zero such that $f(z)^2=1-\cos(z)$.

In other words, I want to show that $1-\cos(z)$ has a complex square root. I know that this has something to do with whether one can define a branch of $\log(1-\cos(z))$ in a neighborhood of zero (since $z^{1/2}=e^{\frac12 (\log(1-\cos(z)))}$, but I thought this could not be possible because at zero, $1-\cos(z)=0$, and $\log(z)$ is not defined.

Can someone help me out? In general I'm missing out on some subtlety about the complex logarithm.

  • 1
    There are times when you can have a square root of a function in some domain without the existence a logarithm of that function. I'll post a detailed answer soon.2012-08-29
  • 0
    I think you could use this $1 - cos(z) = 1 - \frac{e^{iz} + e^{-iz}}{2}$2012-08-29
  • 2
    There is an analytic square root near a zero if and only if it is a zero of even order. Try to prove this yourself!2012-08-29
  • 0
    @Integral: How?2012-08-29
  • 0
    Im not sure how, i just think it is easier this way. I could be wrong.2012-08-29
  • 2
    @GEdgar, I guess in the case where $f(z)=z^{2n}g(z)$, where $g(z)$ is nonzero in a nbhd around 0, then the log of $g$ is defined and thus $\sqrt{f(z)}=z^n e^{\frac12 \log g(z)}$ is a square root, as desired?2012-08-29
  • 0
    @QualFighter : yes! Ignore my answer then.. :-)2012-08-29
  • 0
    @Qual: good job!2012-08-29
  • 0
    Following @Integral's observation we could write $1-\cos z = 1-\frac{e^{iz}+e^{-iz}}{2} = \frac{2-e^{iz}-e^{-iz}}{2} = - \frac{e^{-iz}}{2} \left( e^{iz}-1 \right)^2$ and now take $\sqrt{1-\cos z} = \frac{i}{\sqrt 2} e^{-iz/2} \left( e^{iz}-1 \right)$. But I think the answers below shed more light on the general problem.2012-08-29
  • 0
    My previous comment does show however that $\sqrt{1-\cos z} = \pm \sqrt 2 \sin z/2$.2012-08-29

3 Answers 3

2

One cheeky yet direct way is that: $1-\cos{z} = (\cos^2{z/2}+ \sin^2{z/2} )- (\cos^2{z/2}-\sin^2{z/2}) = 2 \sin^2{z/2} = (\sqrt{2}\sin{z/2})^2$ which is definitely holomorphic in a neighborhood of the origin.

50

Since Malik already gave an answer concerning your specific question about $1-\cos z$, I will just talk about the existence of logarithms and $n$-th roots in general.

Given a holomorphic function $f:\Omega\to\mathbb{C}\setminus\{0\}$, we say that a holomorphic function $g:\Omega\to\mathbb{C}\setminus\{0\}$ is a logarithm of $f$ if $f(z)=e^{g(z)}$ for $z\in\Omega$. Similarly, we say that a holomorphic function $h_n:\Omega\to\mathbb{C}\setminus\{0\}$ is an $n$-th root of $f$ if $f(z)=h_n(z)^n$ for $z\in\Omega$. The question is, when do such functions exist?

The quick answer is that for an $n$-th root to exist, we must have, for any closed curve $\gamma$ in $\Omega$, $$ \frac{1}{2\pi i}\int_\gamma \frac{f'}{f}\ dz \in n\mathbb{Z}. $$ Furthermore, a branch of the logarithm of $f$ exists if and only if for every $n\in\mathbb{N}$, an $n$-th root of $f$ exists. The reason for this is that a logarithm of $f$ exists if and only if for every closed curve $\gamma$ in $\Omega$, $$ \frac{1}{2\pi i}\int_\gamma \frac{f'}{f}\ dz = 0. $$ Notice that if we have a logarithm of $f$, say $g$, then we can construct an $n$-th root of $f$ for any $n$ by letting $h_n(z):=e^{\frac{g(z)}{n}}$. For the other direction, notice that if the aforementioned integral is an element of $n\mathbb{Z}$ for every $n$, then it must be zero, and thus the logarithm of $f$ must exist.

Now, the above may seem very mysterious. Where did we get these conditions on the integral? The easiest explanation is via algebraic topology. Unfortunately, I can't draw commutative diagrams with MathJax, but the point is the existence of a logarithm of $f$ is equivalent to the existence of a lift with respect to the covering map $\exp:\mathbb{C}\to\mathbb{C}\setminus\{0\}$. Since $\mathbb{C}$ is simply connected, the induced homomorphism of fundamental groups, which we will denote $\exp_*$, is trivial. Thus, a lift (and hence a branch of the logarithm of $f$) exists if and only if $f_*(\pi_1(\Omega))<\exp_*(\pi_1(\mathbb{C}))$, which is if and only if $f_*(\pi_1(\Omega))$ is trivial, which is if and only if the winding number $n(f\circ\gamma,0)=0$ if and only if $\frac{1}{2\pi i}\int_\gamma \frac{f'}{f}\ dz=0$.

Similarly, the existence of an $n$-th root of $f$ is equivalent to the existence of a lift with respect to the covering map $(\cdot)^n:\mathbb{C}\to\mathbb{C}\setminus\{0\}$. Now the induced homomorphism of fundamental groups, which we will denote $(\cdot)^n_*$, has image $n\mathbb{Z}$. Thus, a lift (and hence an $n$-th root of $f$) exists if and only if $f_*(\pi_1(\Omega))<(\cdot)^n_*(\pi_1(\mathbb{C}))$, which is if and only if $f_*(\pi_1(\Omega))

Now, for the case when $f:\Omega\to\mathbb{C}$ (that is, $f$ might have zeros), then you simply restrict $f$ to the set where it is nonzero (this is still an open set) and follow the above procedure. If an $n$-th root of this restricted $f$ exists, then an $n$-th root of the original $f$ exists if and only if every zero of $f$ has order a multiple of $n$. This you can see because of the procedure laid out in the comments. Notice that this condition (along with the fact that a logarithm of $f$ exists if and only if for every $n\in\mathbb{N}$ an $n$-th root of $f$ exists) implies that a necessary condition for a logarithm of $f$ to exist is that it has no zeros in the domain in question.

I mentioned in the comments that it is possible for an $n$-th root of $f$ to exist for some $n\in\mathbb{N}$ and yet have it be the case that a logarithm for $f$ does not exist. As an example, consider the function $f(z)=z^2$ in the domain $\mathbb{C}\setminus\{0\}$. Clearly, the function $h_2(z)=z$ is a square root of $f$. However, $f$ does not have a logarithm in this domain because if $\gamma$ is some curve that winds around zero, then $$ \frac{1}{2\pi i}\int_\gamma \frac{f'}{f}\ dz = \frac{1}{2\pi i}\int_\gamma \frac{2}{z} \ dz = 2. $$ Since this is nonzero, $f$ cannot have a logarithm in the given domain.

Added: Let $f:\Omega\to\mathbb{C}\setminus\{0\}$ be a holomorphic function. Consider the following two statements.

  1. There exists a logarithm of $f$ in $\Omega$.
  2. There exists a branch of the logarithm in $f(\Omega)$.

We will show that 2 implies 1, but not conversely. To see that 2 implies 1, let $\log$ be a branch of the logarithm in $f(\Omega)$. Then define $g:=\log\circ f$. Then notice that for all $z\in\Omega$, $e^{g(z)}=e^{\log(f(z))}=f(z)$, since $f(z)\in f(\Omega)$. Thus $g$ is a logarithm of $f$. To see that the converse does not hold, simply consider the map $\exp:\mathbb{C}\to\mathbb{C}\setminus\{0\}$. This map is surjective, and it is a well-known fact (we could also use what I proved above) that there does not exist a branch of the logarithm in $\mathbb{C}\setminus\{0\}=\exp(\mathbb{C})$. However, there certainly exists a logarithm of $\exp$ in $\mathbb{C}$, namely, the identity map. Therefore 1 does not imply 2.

  • 0
    Thanks, very interesting discussion.2012-08-29
  • 0
    That's a great answer! Very interesting... +1!2012-08-29
  • 0
    Very helpful answer in addition to Malik's answer.2015-11-20
  • 0
    sorry for commenting such an old post, but what do you mean by covering map: $(\cdot)^n \colon \Bbb C \to \Bbb C\setminus \{0\}$, when $0^n=0$? I think you mean $(\cdot)^n \colon \Bbb C \setminus \{0\} \to \Bbb C\setminus \{0\}$2018-01-06
  • 2
    @Luigi: Indeed, that's what I meant. Probably a typo from copying and pasting from the exponential map. I noticed it a while ago, but I've refrained from editing just so the post doesn't get bumped to the front page. Now it's documented in the comments.2018-01-07
  • 0
    @J.Loreaux great answer! I was wondering if there is a direct way to show that an analytic function $f$ s.t. the integral along any closed loop of $f'/f$ is a multiple of $2\pi i n$ is the $n$-th power of another analytic function without using covering theory2018-04-04
15

If $g(z)=1-\cos{z}$, then $g$ can be written as $$g(z)=z^2 h(z)$$ where $h$ is entire and $h(0) \neq 0$ (why? Hint: Taylor).

Take a small disk $D$ around $0$ such that $h \neq 0$ on $D$. Then, on $D$, $h(z)=k(z)^2$ for some function $k$ analytic on $D$.

Finally, we get $$g(z)=z^2 h(z) = z^2 k(z)^2 = (z k(z))^2$$ for $ z \in D$.