Trouver une paramétrisation holomorphe
Bonjour,
Soit un domaine ouvert $\Omega\subset\Bbb C$ de la forme suivante :
Plus précisément, il est de la forme $\Omega = \{z=x+iy \mid (x\in {]0,L_1]} \text{ et } y\in {]0,h(x)[}) \text{ ou } ( x\in {[L_1,L_2[} \text{ et }y\in {]0,H[})\}$ avec $0<L_1<L_2$, $H>0$ et $h:[0,L_1]\to \Bbb R_+^*$ une fonction strictement croissante et convexe, aussi régulière que souhaitable, telle que $h(L_1)=H$ (mais $h'(L_1)\neq 0$).
Je recherche une fonction biholomorphe de $\Omega$ vers un rectangle $R$ (par exemple $]0,L_2[\times]0,H[$) avec une expression explicite assez simple. D'après le théorème de représentation conforme de Riemann, je sais qu'il existe théoriquement une telle fonction, mais je n'en connais pas explicitement. C'est pour une simulation numérique où j'ai besoin de ramener $\Omega$ à un rectangle que je vais discrétiser par une grille. L'holomorphie a pour but de simplifier les calculs de laplaciens.
Merci d'avance
Soit un domaine ouvert $\Omega\subset\Bbb C$ de la forme suivante :
Plus précisément, il est de la forme $\Omega = \{z=x+iy \mid (x\in {]0,L_1]} \text{ et } y\in {]0,h(x)[}) \text{ ou } ( x\in {[L_1,L_2[} \text{ et }y\in {]0,H[})\}$ avec $0<L_1<L_2$, $H>0$ et $h:[0,L_1]\to \Bbb R_+^*$ une fonction strictement croissante et convexe, aussi régulière que souhaitable, telle que $h(L_1)=H$ (mais $h'(L_1)\neq 0$).
Je recherche une fonction biholomorphe de $\Omega$ vers un rectangle $R$ (par exemple $]0,L_2[\times]0,H[$) avec une expression explicite assez simple. D'après le théorème de représentation conforme de Riemann, je sais qu'il existe théoriquement une telle fonction, mais je n'en connais pas explicitement. C'est pour une simulation numérique où j'ai besoin de ramener $\Omega$ à un rectangle que je vais discrétiser par une grille. L'holomorphie a pour but de simplifier les calculs de laplaciens.
Merci d'avance
Réponses
-
Qu'est-ce qui te fait croire que c'est possible ? Déterminer explicitement des représentations conformes de domaines de $\mathbb C$ est notoirement difficile, et à part quelques cas particuliers simples, il me semble qu'on ne sait pas faire en général.
-
Ah rien ; je ne sais pas si c'est possible. Ça n'existe peut-être pas.
Merci pour ta réponse. -
Je confirme que j'ai entendu que c'était difficile...
Infos ici sur des cas particuliers du problème : https://en.wikipedia.org/wiki/Schwarz%E2%80%93Christoffel_mapping
Le pavé https://www.librairie-gallimard.com/livre/9782842250355-geometrie-vivante-ou-l-echelle-de-jacob-marcel-berger/ parle du problème p.132, mentionne la référence https://link.springer.com/book/10.1007/978-3-662-02770-7 où apparemment, ça parle d'algorithmes extrêmement rapides. -
Merci Georges, je n'arrivais pas à retrouver le nom de Christoffel, dont j'avais déjà vu le résultat. La complexité pour un cas aussi simple (polygone) montre qu'il est sûrement sans espoir de s'attaquer à des choses plus compliquées...
-
Merci pour vos réponses ! Tant pis pour moi, je ferai autrement.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.4K Toutes les catégories
- 62 Collège/Lycée
- 22.2K Algèbre
- 37.6K Analyse
- 6.3K Arithmétique
- 60 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 23 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.8K Géométrie
- 84 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 26 Mathématiques et finance
- 342 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 804 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres