Intereting Posts

Sign of Laplacian at critical points of $\mathbb R^n$
When is $(a+b)^n \equiv a^n+b^n$?
Over a PID, $\text{rank}(F/N)=0 \Longleftrightarrow\text{rank}(F)=\text{rank}(N)$?
Stalk of the quotient presheaf
Are $\sigma$-algebras that aren't countably generated always sub-algebras of countably generated $\sigma$-algebras?
Two Dimensional Lie Algebra
In proof by induction, what does it mean when condition for inductive step is lesser than the propsition itself?
Will inverse functions, and functions always meet at the line $y=x$?
Does set theory help understand machine learning or make new machine learning algorithms?
Does the improper integral $\int_0^\infty e^{-x^2}dx$ converge?
$(P(X), C_R)$ may be a choice structure even if $R$ is not a rational relation.
Maximize absolute value of complex logarithm
Dense subset of $C(X)$
Show that $(X\times Y)\setminus (A\times B)$ is connected
Help to understand material implication

Suppose $\Omega$ is a domain of the complex plane (i.e. an open and connected subset of the plane). Suppose $f$ is holomorphic on $\Omega$, and $f$ is not identically zero.

Suppose $f$ has a holomorphic logarithm on $\Omega$, which means that there is a function $g$ holomorphic on $\Omega$ such that $e^g=f$. Then it is easy to show that $f$ has holomorphic $n$-th roots on $\Omega$ for each $n$, which means that for each integer $n$, there exist a function $g_n$ holomorphic on $\Omega$ such that $(g_n)^n = f$.

Is the converse true? i.e. if $f$ has holomorphic $n$-th roots on $\Omega$ for all $n$, then can we find a function $g$ holomorphic on $\Omega$ such that $f=e^g$?

- Complex cosine and sine
- Schwarz's lemma $\Rightarrow$ an analytic conformal map UHP$\to$UHP must be an FLT?
- Finding the Laurent series of $f(z)=1/((z-1)(z-2))$
- Approximation of Products of Truncated Prime $\zeta$ Functions
- Integral with logarithm - residue
- What is wrong in this calculation $\int_{-\infty}^{\infty}\frac{\cos x}{1+x^2}dx$?

A few remarks :

One can prove that if $f$ has holomorphic $n$-th roots on $\Omega$ for all $n$, then $f$ does not vanish on $\Omega$. Therefore, we can define a holomorphic logarithm *locally*, but is it possible to find a *global* holomorphic logarithm?

Furthermore, notice that $\Omega$ is not supposed simply connected, in which case the answer to my question is yes.

- Möbius transformations on $D$ such that $f(D)=D$
- How do I find out the symmetry of a function?
- An inequality involving arctan of complex argument
- What happens to small squares in Riemann mapping?
- What is a geometric explanation of complex integration in plain English?
- Physical interpretation of residues
- Proving a function is continuous for a fixed variable
- Single variable complex analysis vs the world of the functions $f:\Bbb R^2 \to \Bbb R^2$.
- If $f,g$ are both analytic and $f(z) = g(z)$ for uncountably many $z$, is it true that $f = g$?
- Finding the integral $I=\int_0^1{x^{-2/3}(1-x)^{-1/3}}dx$

The condition that $f$ have a holomorphic logarithm is equivalent to

$df/f=f'(z)dz/f(z)$ being an exact differential. This is equivalent to

the integral of $df/f$ over all closed curves in $\Omega$ vanishing.

Let $C$ be a closed curve in $\Omega$.

If $f=g^n$ is an $n$-th power in $\Omega$ of a holomorphic $g$ then

$\int_C df/f=n\int_C dg/g$. But $\int_C dg/g$ is an integer multiple of $2\pi i$.

Hence $\int_C df/f$ is an integer multiple of $2\pi ni$. If this holds for

all $n$ then $\int_C df/f=0$. It follows that $f$ has a holomorphic logarithm.

- How do we show the equality of these two summations?
- How will the limit $\lim \sin(A^{n})$ behave for $|A| > 1$?
- Why isn't $\mathbb{RP}^2$ orientable?
- Is this claim true for multivariable functions
- Calculation of $\lim_{x\rightarrow 0}\frac{\sin (\pi\cos^2 x)}{x^2}$
- Can vectors be inverted?
- Find the largest prime factor
- If $A$ is positive definite, then $\int_{\mathbb{R}^n}\mathrm{e}^{-\langle Ax,x\rangle}\text{d}x=\left|\det\left({\pi}^{-1}A\right)\right|^{-1/2}$
- Integral problem
- Inductive definition of power set for finite sets
- Monotone+continuous but not differentiable
- Is there a division algorithm for any Euclidean Domain?
- Quick way to find the number of the group homomorphisms $\phi:{\bf Z}_3\to{\bf Z}_6$?
- What are some common pitfalls when squaring both sides of an equation?
- Equilateral Triangle from three complex points