5
$\begingroup$

We define $f:\mathbb{C}\rightarrow\mathbb{C},\ f(z)=\log|z|$. $f$ is harmonic. Why can't we describe $f$ as a real part of a holomorphic (analytic) function?

Thank you very much for your time,

Chris

$\endgroup$
9
$\begingroup$

Any harmonic function on a simply connected region in $\mathbb{R}^2$ (seen as $\mathbb{C}$) is indeed the real part of a holomorphic function on the same region. The function $f(z) = \log |z|$ is not defined at zero, and so the domain you're referring to is actually $\mathbb{C}\backslash\{0\}$. This is the reason why it doesn't globally represent the real part of a holomorphic function.

The complex logarithm is the typical example of many related notions in complex analysis, notably "multi-valued" functions, functions defined on Riemann surfaces (multi-sheated surfaces), and functions that fail to be analytically continued properly. The harmonic function $\log |z|$ is indeed the real part of the complex logarithm, but its imaginary part is not well defined because of its reliance on the complex argument (which is the same mod $2\pi$). Any introductory text on complex analysis will discuss all of this in depth.

$\endgroup$
  • $\begingroup$ Maybe one should add that the function admits, locally, an extension to a holomorphic function. A problem only occurs if the domain of definition will contain a closed path surrounding the origin. $\endgroup$ – user20266 Jun 17 '12 at 5:16
  • $\begingroup$ The fact that $\log|z|$ is not defined at zero is the reason why it is not the real part of a holomorphic function on the same region? $\endgroup$ – Chris Jun 17 '12 at 13:00

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.