Utilisateur:AlexiusCap/Brouillon

[[Catégorie:]]

• Gérer mon brouillon
• Demander une relecture (voir les demandes)
• Publier mon brouillon

Cette page est un brouillon appartenant à AlexiusCap

Conseils de rédaction

• → N'hésitez pas à publier sur le brouillon un texte inachevé et à le modifier autant que vous le souhaitez.
• → Pour enregistrer vos modifications au brouillon, il est nécessaire de cliquer sur le bouton bleu : « Publier les modifications ». Il n'y a pas d'enregistrement automatique.

Si votre but est de publier un nouvel article, votre brouillon doit respecter les points suivants :

• Respectez le droit d'auteur en créant un texte spécialement pour Wikipédia en français (pas de copier-coller venu d'ailleurs).
• Indiquez les éléments démontrant la notoriété du sujet (aide).
• Liez chaque fait présenté à une source de qualité (quelles sources  – comment les insérer).
• Utilisez un ton neutre, qui ne soit ni orienté ni publicitaire (aide).
• Veillez également à structurer votre article, de manière à ce qu'il soit conforme aux autres pages de l'encyclopédie (structurer – mettre en page).

• → Si ces points sont respectés, pour transformer votre brouillon en article, utilisez le bouton « publier le brouillon » en haut à droite. Votre brouillon sera alors transféré dans l'espace encyclopédique.

DOMAINES D'HOLOMORPHIE

en:Domain_of_holomorphy

En mathématiques et plus précisemment en analyse complexe à plusieurs variables, on dit qu'un domaine $D\subset \mathbb {C} ^{n}$ (i.e un ouvert connexe), est un domaine d'holomorphie s'il existe une fonction $f$ analytique dans $D$ est non-prolongeable ailleurs.

Dans le cas particulier des domaines plans, cette propriété est triviale. Mais ce n'est plus vrai dans le cas général comme l'explicite le théorème de Hartogs: il suffit par exemple de considérer $D=\mathbb {C} ^{n}\backslash \{0\}$ dans lequel toute fonction analytique se prolonge nécessairement à l'espace $\mathbb {C} ^{n}$ tout entier.

Un domaine $D$ qui n'est pas un domaine d'holomorphie admet une extension holomorphe $G$. Si de plus $f$ est holomorphe dans $D$, alors son prolongement à $G$ ne peut prendre que des valeurs déjà prises sur $D$.

Généralités

Domaine d'holomorphie

Un ouvert$D$ connexe de $\mathbb {C} ^{n}$ est un domaine d'holomorphie s'il n'existe aucun couple d'ouverts $(D_{1},D_{2})$ vérifiant les propriétés suivantes:

1. $\emptyset \neq D_{1}\subset D_{2}\cap D$,
2. $D_{2}$ est connexe et n'est pas contenu dans $D$,
3. Pour toute fonction $f$ holomorphe dans $D$, il existe une fonction $f_{2}$ holomorphe dans $D_{2}$ (pas nécéssairement unique) telle que $f=f_{2}$ sur $D_{1}$.

Un polydisque ou plus généralement un produit de domaines plans est un domaine d'holomorphie.

Théorème

:

Soit $\{D_{i}\}_{i}$ une famille de domaines d'holomorphie et $G$ leur intersection. Alors toute composante connexe de l'intérieur ${\overset {\circ }{G}}$ est un domaine d'holomorphie.

Domaines holomorphiquement convexes

Enveloppe d'holomorphie

L'enveloppe holomorphiquement convexe d'un ensemble $M$ d'un domaine $D\subset \mathbb {C} ^{n}$ (i.e un ouvert connexe), ou plus généralement d'une variété complexe $D$ est par définition

:

${\hat {M}}_{{\mathcal {O}}(D)}=\{z\in D:|f(z)|\leq \sup _{M}|f|;\;\forall f\in {\mathcal {O}}(D)\}.$

Propriétés

Soit $K\Subset D$ un compact. On a les propriétés suivantes:

propriété 1

${\hat {K}}_{{\mathcal {O}}(D)}$ est un fermé de $D$ contenant $K$. De plus,

$\sup _{\hat {K}}|f|=\sup _{K}|f|;\;\;\forall f\in {\mathcal {O}}(D)$.

C'est-à-dire,

${\hat {\hat {K}}}_{{\mathcal {O}}(D)}={\hat {K}}_{{\mathcal {O}}(D)}$.

propriété 2

Si $\varphi :D\rightarrow D'$ est une application holomorphe entre deux domaines et $K\Subset D$ une partie compacte alors :

$\varphi \left({\hat {K}}_{{\mathcal {O}}(D)}\right)\subset {\hat {\varphi \left(K\right)}}_{{\mathcal {O}}(D)}$.

En particulier,

$D\subset D'\Longrightarrow {\hat {K}}_{{\mathcal {O}}(D)}\subset {\hat {K}}_{{\mathcal {O}}(D')}\cap D$.

propriété 3

${\hat {K}}_{{\mathcal {O}}(D)}$ est la réunion de $K$ et des composantes connexes de $D\backslash K$ relativement compactes. Ceci découle principalement du principe du maximum.

D'autres classes de fonctions

Il peut s'avérer utile d'étudier l'enveloppe $F$-convexe d'un compact $K\Subset D$ relativement à une sous-classe $F\subset {\mathcal {O}}(D)$ de fonctions holomorphes. On la note alors ${\hat {K}}_{F}$.

Par exemple si $F$ désigne l'ensemble des fonctions linéaires, on retrouve l'enveloppe convexe au sens géométrique.

Si $F={\mathcal {O}}(\mathbb {C} ^{n})$, on appelle ${\hat {K}}_{{\mathcal {O}}(\mathbb {C} ^{n})}$ l'enveloppe polynomiale convexe. On peut également définir l'enveloppe rationnelle convexe de la même manière.

Propriété

Si $F\subset F'\subset {\mathcal {O}}(D)$ alors ${\hat {K}}_{F'}\subset {\hat {K}}_{F}$.

Sans précision, on considère l'enveloppe holomorphiquement convexe par rapport au domaine.

Caractérisation

Domaine holomorphiquement convexe

On dit qu'un domaine $D$ est holomorphiquement convexe si : $K\Subset D\Longrightarrow {\hat {K}}_{{\mathcal {O}}(D)}\Subset D$.

Remarque

Un domaine $D$ est holomorphiquement convexe si et seulement s'il existe une suite $\{K_{n}\}_{n}$ de compacts dans $D$ tels que :

• $D=\bigcup _{n}K_{n}$,
• ${\hat {K_{n}}}=K_{n}$ pour tout n,
• $K_{n-1}\subset {\overset {\circ }{K_{n}}}$

Propriété

Si $D$ est un domaine d'holomorphie et $K\Subset D$ alors :

$dist(K,\partial D)=dist({\hat {K}},\partial D)$.

Théorème

Un domaine $D$ est un domaine d'holomorphie si et seulement s'il est holomorphiquement convexe.

Comme application, tout domaine géométriquement convexe est un domaine d'holomorphie. Un domaine de Reinhardt est un domaine d'holomorphie si et seulement s'il est domaine de convergence d'une série entière.

Pseudo-convexité et plurisousharmonicité

Catégorie:Analyse complexe Catégorie:Géométrie complexe