# Real and imaginary part of an holomorphic function

I guess this could be a very elementary question. Anyway I can not find an answer in literature.

Let $f:U\rightarrow\mathbb{C}$ be an holomorphic function on an upen subset $U\subseteq\mathbb{C}$. Let us write $f(z) = u(x,y)+iv(x,y)$, where $z = x+iy$.

Is there a way of proving that $u,v\in C^{1}(U)$ without using complex integrals, and in particular without using the Cauchy integral formula?

Here holomorphic in $U$ means holomorphic in any $z_0\in U$ that is for any point $z_0\in U$ there exists the limit $$f^{'}(z) = \lim_{z\mapsto z_0}\frac{f(z)-f(z_0)}{z-z_0}.$$

• This has probably been addressed before on MathOverflow, but can you get what you want from the theory of "elliptic regularity"? – Yemon Choi Apr 21 '15 at 1:17
• "Without using integrals" is a very strong requirement. – Tom Goodwillie Apr 21 '15 at 2:00
• What is your definition of "holomorphic function"? – Nate Eldredge Apr 21 '15 at 2:24
• @YemonChoi Then it boils down to how to prove elliptic regularity without integrals. – Fan Zheng Apr 21 '15 at 3:18
• Can you define precisely what you mean by holomorphic function? Depending on the definition you use, the question may have an immediate answer. – Liviu Nicolaescu Apr 21 '15 at 11:01

You can solve the Dirichlet problem for Laplace's equation on a square by separation of variables and Fourier series. You can check explicitly from the Fourier series that the solution is $C^\infty$ inside the square. Now use the maximum principle to infer uniqueness.
• But how can we make sense of the Laplace equation without assuming $C^1$ regularity? In the weak sense? But that is integration, again! – Fan Zheng Apr 21 '15 at 5:28