4
$\begingroup$

Let $f:ℂ→ℂ$ be an analytic function. Define $|f|$ and $\arg(f)$ be the modulus and the argument of $f$. Generally, $|f|$ and $\arg(f)$ are not analytic.

My question is about the cases where this happen: $|f|$ and $\arg(f)$ are analytic.

$\endgroup$
  • 3
    $\begingroup$ Only if $f$ is constant en.wikipedia.org/wiki/Picard_theorem $\endgroup$ – jspecter Dec 30 '12 at 15:58
  • $\begingroup$ But there exists some cases where $|f|$ or $arg(f)$ are analytic. $\endgroup$ – Germany Dec 30 '12 at 16:09
  • $\begingroup$ @RH1: If even one of them is analytic it must be because $f$ is constant. $\endgroup$ – Henning Makholm Dec 30 '12 at 16:13
  • 1
    $\begingroup$ I changed $arg(f)$, coded as arg(f), to $\arg(f)$, coded as \arg(f). $\endgroup$ – Michael Hardy Dec 30 '12 at 16:43
4
$\begingroup$

The values of a nonconstant analytic function defined on some domain $\Omega\subset{\mathbb C}$ always fill another two-dimensional domain $\Omega'\subset{\mathbb C}$. Given an analytic $f:\ \Omega\to{\mathbb C}$ the two functions $|f|$ and $\arg(f)$ are real-valued, resp. $S^1$-valued; therefore they cannot be analytic.

There is, however, a way to introduce these two functions into the analytic realm: Assume that $\Omega$ is simply connected and that $f(z)\ne0$ for all $z\in\Omega$. Then there is an analytic function $z\mapsto g(z)$ such that $$f(z)=e^{g(z)}\quad (z\in\Omega)\ .$$ This function $g$ can be considered as the logarithm of $f$. Going through the details you will see that in fact $$g(z)=\log\bigl|f(z)\bigr| + i \arg\bigl(f(z)\bigr)\quad (z\in\Omega)$$ (note that $g$ is only determined up to an additive multiple of $2\pi i$). So you can say that $\arg\bigl(f(z)\bigr)$ is the imaginary part of $\log\bigl(f(z)\bigr)$.

$\endgroup$

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.