Théorème de représentation conforme de Riemann

Aide à la résolution d'exercices ou de problèmes de niveau supérieur au baccalauréat.

Modérateur : gdm_sco

Règles du forum
Merci de soigner la rédaction de vos messages et de consulter ce sujet avant de poster. Pensez également à utiliser la fonction recherche du forum.
paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Théorème de représentation conforme de Riemann

Message par paspythagore »

Bonjour.
Je ne dois pas comprendre la signification de l’énoncé suivant :
Qoit $\Omega\subset\C$ un domaine simplement connexe différent de $\C$.
Alors il existe une représentation conforme de $\Omega$ sur $D(0,1)$.
Ca veut dire, il existe une fonction $f$ telle que $f(\Omega)\in D(0,1)$ ?
Quelle est la différence avec le lemme suivant ?
Ce lemme précise un peu plus les choses, il implique forcément le théorème ?
Soit $\Omega$ un domaine simplement connexe distinct de $\C$.
Alors il existe une représentation conforme $h$ de $\Omega$ sur un domaine $\Omega'$ contenu dans $D(0,1)$.
D'ailleurs ces notions sont encore reprises me semble t-il dans le lemme suivant :
Soit $\Omega\subset D(0,1)$ un domaine simplement connexe qui contient $0$ et :
$$\mathcal{F}_\Omega=\{ f\in\mathcal{O}(\omega);f\text{ injective },f(\Omega)\subset D(0,1),f(0)=0\}.$$
Soit $f\in\mathcal{F}_\Omega$. Les assertions suivantes sont équivalentes :
1)$f$ est une représentation conforme de $\Omega$ sur $D(0,1)$.
2) $|f'(0)|=\ds\sup_{g\in\mathcal{F}_\Omega}|g'(0)|$.
Pourtant ces 2 lemmes vont servir à démontrer le premier théorème.

Merci de vos éclaircissements.

balf
Utilisateur chevronné
Utilisateur chevronné
Messages : 3970
Inscription : mercredi 02 janvier 2008, 23:18

Re: Théorème de représentation conforme de Riemann

Message par balf »

paspythagore a écrit :Bonjour.
Je ne dois pas comprendre la signification de l’énoncé suivant :
Qoit $\Omega\subset\C$ un domaine simplement connexe différent de $\C$.
Alors il existe une représentation conforme de $\Omega$ sur $D(0,1)$.
Ca veut dire, il existe une fonction $f$ telle que $f(\Omega)\in D(0,1)$ ?
Pas n'importe quelle fonction : une bijection de Ω sur D(0,1) qui conserve localement les angles. C'est la même chose, en termes de fonctions de variables complexes, qu'une bijection holomorphe.
Quelle est la différence avec le lemme suivant ?
Ce lemme précise un peu plus les choses, il implique forcément le théorème ?
Soit $\Omega$ un domaine simplement connexe distinct de $\C$.
Alors il existe une représentation conforme $h$ de $\Omega$ sur un domaine $\Omega'$ contenu dans $D(0,1)$.
Il est une étape dans la démonstration du théorème. Après, il faudra démontrer que le théorème est vrai pour un domaine simplement connexe contenu dans Ω. C'est, semble-t-il, l'objet du lemme que vous mentionnez ensuite. La stratégie est de se ramener à un cas particulier, réputé plus facile, ou pour lequel on a plus de renseignements (ici, une caractérisation des représentations conformes).
Pourtant ces 2 lemmes vont servir à démontrer le premier théorème.
C'est bien ce que font les lemmes, d'habitude, non ?

B.A.

paspythagore
Utilisateur chevronné
Utilisateur chevronné
Messages : 2287
Inscription : mercredi 19 novembre 2008, 15:35
Statut actuel : Autre

Re: Théorème de représentation conforme de Riemann

Message par paspythagore »

Bonsoir.
Quelle est la différence entre "Alors il existe une représentation conforme de $\Omega$ sur $D(0,1)$." et "Alors il existe une représentation conforme $h$ de $\Omega$ sur un domaine $\Omega'$ contenu dans $D(0,1)$."

J'ai l'impression que le second implique le premier et non l'inverse.

C'est cela que je ne comprends pas.

balf
Utilisateur chevronné
Utilisateur chevronné
Messages : 3970
Inscription : mercredi 02 janvier 2008, 23:18

Re: Théorème de représentation conforme de Riemann

Message par balf »

Dans la premier cas, l'image de la représentation conforme est D(0,1) (tout entier) ; dans le second, Ω' tout entier (il est écrit sur et non pas dans.

B.A.