# proof of Hartogs’ theorem

###### Lemma.

Suppose that $g$ is a smooth differential  $(0,1)$-form with compact support in ${\mathbb{C}}^{n}.$ Then there exists a smooth function  $\psi$ such that

 $\bar{\partial}\psi=g,$ (1)

and $\psi$ has compact support if $n\geq 2.$

Let $z=(z_{1},\ldots,z_{n})\in{\mathbb{C}}^{n}$ be our coordinates. We note that $(0,1)$-form means a differential form  given by

 $\sum_{k=1}^{n}g_{k}(z)d\bar{z}_{k}.$

The operator $\bar{\partial}$ is the so-called d-bar operator and we are looking for a smooth function $\phi$ solving the equation inhomogeneous $\bar{\partial}$ equation. It is important that $g$ has compact support, otherwise solutions to (1) are much harder to obtain.

###### Proof.

Written out in detail we can think of $g$ as $n$ different functions $g_{1},\ldots,g_{n},$ where are date $g_{k}$ satisfy the compatibility condition

 $\frac{\partial g_{k}}{\partial\bar{z}_{l}}=\frac{\partial g_{l}}{\partial\bar{% z}_{k}}\text{ for all k, l}.$

Then we write equation (1) as

 $\frac{\partial\psi}{\partial\bar{z}_{k}}=g_{k}\text{ for all k.}$

We assume also that $g_{k}$ have compact support.

This system of equations has a solution (many equations in fact). We can obtain an explicit solution as follows.

 $\psi(z)=\frac{1}{2\pi i}\int_{\mathbb{C}}\frac{g_{1}(\zeta,z_{2},\ldots,z_{n})% }{\zeta-z_{1}}d\zeta\wedge d\bar{\zeta}.$

$\psi$ is smooth by differentiating under the integral. When $n\geq 2,$ this solution will also have compact support since $g_{1}$ has compact support and as $z$ tends to infinity $(\zeta,z_{2},\ldots,z_{n})$ also tends to infinity no matter what $\zeta$ is. The reader should notice that there is one direction which does not work. But if $\psi$ has bounded   support  except for the line defined by $z_{2}=z_{3}=\cdots=z_{n}=0,$ then the support must be compact  by continuity of $\psi$. It should also be clear why $\psi$ does not have compact support if $n=1.$

One might be wondering why we picked $z_{1}$ and $g_{1}$ in the construction of $\psi.$ It does not matter, we will get different solutions we we use $z_{k}$ and $g_{k},$ but it will still have compact support. Further one might wonder why we only use one part of the data, and still get an actual solution. The answer here is that the compatibility condition relates all the data, so we only need to look at one.

We still must check that this really is a solution. We apply the compatibility condition. Let $k\geq 2$.

 $\begin{split}\displaystyle\frac{\partial\psi}{\partial\bar{z}_{k}}(z_{1},z_{2}% ,\ldots,z_{n})&\displaystyle=\frac{1}{2\pi i}\int_{\mathbb{C}}\frac{\frac{% \partial g_{1}}{\partial\bar{z}_{k}}(\zeta,z_{2},\ldots,z_{n})}{\zeta-z_{1}}d% \zeta\wedge d\bar{\zeta}\\ &\displaystyle=\frac{1}{2\pi i}\int_{\mathbb{C}}\frac{\frac{\partial g_{k}}{% \partial\bar{z}_{1}}(\zeta,z_{2},\ldots,z_{n})}{\zeta-z_{1}}d\zeta\wedge d\bar% {\zeta}.\end{split}$

Note that the integral can be taken over a large ball $B$ that contains the support of $g_{k}$. We apply the generalized Cauchy formula, where the boundary part of the integral is obviously zero since it is over a set where $g_{k}$ is zero.

 $\begin{split}\displaystyle\frac{1}{2\pi i}\int_{\mathbb{C}}\frac{\frac{% \partial g_{k}}{\partial\bar{z}_{1}}(\zeta,z_{2},\ldots,z_{n})}{\zeta-z_{1}}d% \zeta\wedge d\bar{\zeta}&\displaystyle=\frac{1}{2\pi i}\int_{B}\frac{\frac{% \partial g_{k}}{\partial\bar{z}_{1}}(\zeta,z_{2},\ldots,z_{n})}{\zeta-z_{1}}d% \zeta\wedge d\bar{\zeta}\\ &\displaystyle=g_{k}(z_{1},\ldots,z_{n}).\end{split}$

Hence $\frac{\partial\psi}{\partial\bar{z}_{k}}=g_{k}$.

When $k=1$, change coordinates to see that

 $\frac{1}{2\pi i}\int_{\mathbb{C}}\frac{g_{1}(\zeta,z_{2},\ldots,z_{n})}{\zeta-% z_{1}}d\zeta\wedge d\bar{\zeta}=\frac{1}{2\pi i}\int_{\mathbb{C}}\frac{g_{1}(% \zeta+z_{1},z_{2},\ldots,z_{n})}{\zeta}d\zeta\wedge d\bar{\zeta}.$

Next differentiate in $\bar{z}_{k}$ and change coordinates back and apply the generalized Cauchy formula as before to get that $\frac{\partial\psi}{\partial\bar{z}_{1}}=g_{1}.$

###### Proof of Theorem.

Let $U\subset{\mathbb{C}}^{n}$, $K$ a compact subset of $U$ and $f$ be a holomorphic function  defined on $U\setminus K$ and $U\setminus K$ to be connected  . By the smooth version of Urysohn’s lemma we can find a smooth function $\varphi$ which is 1 in a neighbourhood of $K$ and is compactly supported in $U.$ Let $f_{0}:=(1-\varphi)f,$ which is identically zero on $K$ and holomorphic near the boundary of $U$ (since there $\varphi$ is 0). We let $g=\bar{\partial}f_{0}$, that is $g_{k}=\frac{\partial f_{0}}{\partial\bar{z}_{k}}$. Let us see why $g_{k}$ is compactly supported. The only place to check is on $U\setminus K$ as elsewhere we have 0 automatically,

 $\frac{\partial f_{0}}{\partial\bar{z}_{k}}=\frac{\partial}{\partial\bar{z}_{k}% }((1-\varphi)f)=-f\frac{\partial\varphi}{\partial\bar{z}_{k}}.$

By Lemma Lemma. we find a compactly supported solution $\psi$ to $\bar{\partial}\psi=g$.

Set $\tilde{f}:=f_{0}-\psi$. Let us check that this is the desired extention. Firstly let us check it is holomorphic,

 $\frac{\partial\tilde{f}}{\partial\bar{z}_{k}}=\frac{\partial f_{0}}{\partial% \bar{z}_{k}}-\frac{\partial\psi}{\partial\bar{z}_{k}}=g_{k}-g_{k}=0.$

It is not hard to see that $\psi$ is compactly supported in $U.$ This follows by the fact that $U\setminus K$ is connected and the fact that $\psi$ is holomorphic on the set where $g$ is identically zero. By unique continuation of holomorphic functions, support of $\psi$ is no larger than that of $g.$

Title proof of Hartogs’ theorem ProofOfHartogsTheorem 2013-03-22 17:46:48 2013-03-22 17:46:48 jirka (4157) jirka (4157) 5 jirka (4157) Proof msc 32H02