PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (232)
Orphanage
Unclass'd
Unproven (519)
Corrections (22)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Hartogs' theorem (Proof)
Lemma 1   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
$\displaystyle \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

$\displaystyle \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
$\displaystyle \frac{\partial g_k}{\partial \bar{z}_l} = \frac{\partial g_l}{\partial \bar{z}_k}$    for all $ k$, $ l$$\displaystyle .$    

Then we write equation (1) as
$\displaystyle \frac{\partial \psi}{\partial \bar{z}_k} = g_k$    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.

$\displaystyle \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{displaymath}\begin{split}\frac{\partial \psi}{\partial \bar{z}_k}(z_1,z_2... ...ts,z_n) }{\zeta - z_1} d\zeta \wedge d\bar{\zeta} . \end{split}\end{displaymath}    

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{displaymath}\begin{split}\frac{1}{2\pi i} \int_{\mathbb{C}} \frac{ \frac{... ...ta \wedge d\bar{\zeta} \\ & = g_k(z_1,\ldots,z_n) . \end{split}\end{displaymath}    

Hence $ \frac{\partial \psi}{\partial \bar{z}_k} = g_k$.

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

$\displaystyle \frac{1}{2\pi i} \int_{\mathbb{C}} \frac{ g_1(\zeta,z_2,\ldots,z_... ...{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 .$ $ \qedsymbol$
Proof. [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,
$\displaystyle \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 [*] 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,

$\displaystyle \frac{\partial \tilde{f}}{\partial \bar{z}_k} = \frac{\partial f_... ...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.$ $ \qedsymbol$



"proof of Hartogs' theorem" is owned by jirka.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: continuation, place, near, neighbourhood, Urysohn's lemma, connected, holomorphic function, compact subset, differentiate, boundary, generalized Cauchy formula, contains, ball, clear, line, bounded, infinity, integral, functions, solutions, inhomogeneous, equation, d-bar operator, operator, differential form, coordinates, smooth function, support, compact, smooth
There is 1 reference to this entry.

This is version 2 of proof of Hartogs' theorem, born on 2008-02-05, modified 2008-02-06.
Object id is 10238, canonical name is ProofOfHartogsTheorem.
Accessed 366 times total.

Classification:
AMS MSC: 32H02 (Several complex variables and analytic spaces :: Holomorphic mappings and correspondences :: Holomorphic mappings, embeddings and related questions)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)