3
$\begingroup$

I have some problem that I can't figure out myself. Hope that someone can help me out. The problem is: Let $f : U \to \mathbb{R}$ be some real function on a simply-connected domain $U \subset \mathbb{C}^{n}$ with $\partial\bar{\partial}f = 0$ on $U$. Then $f$ is the real part of a holomorphic function on $U$.

The question is: Is this holomorphic function unique? If not what choices are there to choose such a function? Are there any choices? How does the proof go?

I hope that someone has some answers for me and I will be very happy for a lot of answers. I have to apologize if this question is too trivial for some of you :).

Best regards philippe

1 Answers 1

1

Suppose $g_1, g_2 : U \to \mathbb{C}$ are holomorphic functions such that $\Re(g_1) = \Re(g_2) = f$. Then $\Re(g_1 - g_2) = 0$, that is $g_1 - g_2 = 0 + iv(x, y)$; that is, $g_1 - g_2$ is a purely imaginary function. Furthermore, as both $g_1$ and $g_2$ are holomorphic, so is $g_1 - g_2$. Hence we can apply the Cauchy-Riemann equations which tell us that $v(x, y)$ is locally constant.

In summary, if $U$ is connected, any two holomorphic functions with real part $f$ differ by an imaginary constant.

  • 0
    @LVK: Thanks for clarifying.2012-10-01