Hartogs' extension theorem

Hartogs' extension theorem

In mathematics, precisely in the theory of functions of several complex variables, Hartogs' extension theorem is a statement about the singularities of holomorphic functions of several variables. Informally, it states that the support of the singularities of such functions cannot be compact, therefore the singular set of a function of several complex variables must (loosely speaking) 'go off to infinity' in some direction. More precisely, it shows that the concept of isolated singularity and removable singularity coincide for analytic functions of n > 1 complex variables. A first version of this theorem was proved by Friedrich Hartogs,[1] and as such it is known also as Hartogs' lemma and Hartogs' principle: in earlier Soviet literature[2] it is also known as the Osgood-Brown theorem, acknowledging later work by Arthur Barton Brown and William Fogg Osgood. This property of holomorphic functions of several variables is also called Hartogs' phenomenon: however, the locution "Hartogs' phenomenon" is also used to identify the property of solutions of systems of partial differential or convolution equations satisfying Hartogs type theorems.[3]

Contents

Historical note

The original proof was given by Friedrich Hartogs in 1906, using Cauchy's integral formula for functions of several complex variables.[1] Today, usual proofs rely on either Bochner–Martinelli–Koppelman formula or the solution of the inhomogeneous Cauchy–Riemann equations with compact support. The latter approach is due to Leon Ehrenpreis who initiated it in the paper (Ehrenpreis 1961). Yet another very simple proof of this result was given by Gaetano Fichera in the paper (Fichera 1957), by using his solution of the Dirichlet problem for holomorphic functions of several variables and the related concept of CR-function[4]: later he extended the theorem to a certain class of partial differential operators in the paper (Fichera 1983), and his ideas were later further explored by Giuliano Bratti.[5] Also the Japanese school of the theory of partial differential operators worked much on this topic, with notable contributions by Akira Kaneko.[6]

Formal statement

Theorem 1.1. If f is a holomorphic function on \scriptstyle G \setminus K, where G is an open subset of ℂn (with n ≥ 2) and K is a compact subset of G such that \scriptstyle G \setminus K is connected, then f can be extended to a unique holomorphic function on G.

Counterexamples in dimension one

The theorem does not hold when n = 1: to see this, it suffices to consider the function

f(z)=\frac{1}{z}

which is clearly holomorphic in ℂ\{0}, but cannot be continued as an holomorphic function on the whole ℂ. Therefore the Hartogs' phenomenon constitutes one elementary phenomena that emphasizes the difference between the theory of functions of one and several complex variables.

Notes

  1. ^ a b See the original paper of Hartogs (1906) and its description in various historical surveys by Osgood (1963, pp. 56–59), Severi (1958, pp. 111–115) and Struppa (1988, pp. 132–134). In particular, in this last reference on p.132, the Author explicitly writes :-"As it is pointed out in the title of (Hartogs 1906), and as the reader shall soon see, the key tool in the proof is the Cauchy integral formula".
  2. ^ See Vladimirov (1966, p. 153), which refers the reader to the work of Fuks (1963, p. 284) for a proof: however note that in the former reference it is wrongly stated that the proof is on page 324 of the latter one.
  3. ^ See Fichera (1983) and Bratti (1986a) (Bratti 1986b).
  4. ^ Fichera's prof as well as his epoch making paper (Fichera 1957) seem to have been overlooked by many specialists of the theory of functions of several complex variables: see Range (2002) for the correct attribution of many important theorems in this field.
  5. ^ See Bratti (1986a) (Bratti 1986b).
  6. ^ See his paper (Kaneko 1973) and the references therein.

Bibliography

References

External links


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Lemme de Hartogs —  Ne pas confondre avec les résultats sur l ordinal de Hartogs d un ensemble, ni avec le théorème de Hartogs (en) En mathématiques, le lemme de Hartogs est un résultat fondamental sur les fonctions de plusieurs variables complexes,… …   Wikipédia en Français

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Lemme de Zorn — En mathématiques, le lemme de Zorn (ou théorème de Zorn, ou parfois lemme de Kuratowski Zorn), est un théorème de la théorie des ensembles qui affirme que si un ensemble ordonné est tel que toute chaîne (sous ensemble totalement ordonné) possède… …   Wikipédia en Français

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • Domain of holomorphy — The sets in the definition. In mathematics, in the theory of functions of several complex variables, a domain of holomorphy is a set which is maximal in the sense that there exists a holomorphic function on this set which cannot be extended to a… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”