S. G. Krantz a montré qu'une solution u de l'équation de Cauchy-Riemann pour une donnée f à coefficients bornés appartient à l'espace de Lipschitz $\Lambda^(\frac(1)(2))$ dans les domaines strictement pseudoconvexes. Plus récemment, A. Cumenge d'une part et B. Fischer, J. E. Fornaess, K. Diederich d'autre part ont obtenu dans le cas des domaines convexes de type fini m des estimations en $\Lambda^(\frac(1)(m))$ . Cependant, le résultat de S. G. Krantz dans les domaines strictement pseudoconvexe a ensuite été amélioré par P. Greiner et E. Stein qui ont obtenu sous les mêmes hypothèses une solution dans l'espace anisotrope höldérien $\Lambda^(\frac(1)(2), 1)$. Ce résultat indique qu'une meilleure régularité de la solution est attendue dans les directions tangentes complexes. Notre travail consiste alors à obtenir les estimations lipschitziennes optimales des solutions de l'équation de Cauchy-Riemann dans un domaine $\Omega$ à frontière lisse borné et convexe de type fini. Dans la première partie de notre travail, nous reprenons la formule de représentation intégrale construite par A. Cumenge avec des noyaux de type Berndtsson-Andersson où le poids dépend du noyau de Bergman. Elle est ``semi-géométrique'' dans le sens où le noyau est construit en partie à l'aide du noyau de Bochner-Martinelli qui, bien qu'universel, ne nous permettra pas a priori d'exploiter toute la géométrie du domaine. Dans tous les résultats précités, la donnée $f$ est dans l'espace $L^(\infty)$. C'est ainsi la solution qui porte l'anisotropie induite par la géométrie des strictement pseudoconvexes ou des convexes de type fini. Il nous a semblé intéressant de donner aussi une approche où la donnée appartient à un espace anisotrope. Pour cela, nous utilisons la norme $|||f|||_(\kappa)$ qui est définie à l'aide d'une norme de type Kobayashi pour les vecteurs. La solution appartient alors à l'espace de Zygmund isotrope $\Lambda^1(\Omega)$. Pour montrer les techniques usuelles de résolution, et les difficultés d'approche pour les estimations de la partie euclidienne du noyau résolvant, nous donnons aussi un résultat où la donnée appartient à l'espace des (0,1)-formes $L^(\infty)$. Ce résultat n'est pas optimal et nous l'améliorons dans la troisième partie. La seconde partie donne la construction d'un noyau entièrement géométrique. Il ne fait plus intervenir que le noyau et la métrique de Bergman et nous pouvons espérer être donc à même de l'exploiter pour obtenir les résultats les plus fins. Cette construction est similaire à celle de Berndtsson-Andersson en choisissant comme section une approximation de la métrique de Bergman à l'ordre 2. Ce noyau permet d'obtenir une formule de représentation valable pour les (p,q)-formes en général. Le choix du poids permet l'annulation du terme d'intégration sur le bord qui apparaît dans les formules d'homotopie, ce qui nous donne directement une solution de l'équation de Cauchy-Riemann pour les (p,q)-formes $\overline \partial$ fermée. Dans la troisième partie, nous donnons un premier résultat qui utilise ce noyau et améliore le second résultat de la première partie. Nous obtenons un résultat optimal : pour une donnée dans $L^(\infty)(\Omega)$, nous montrons que l'équation de Cauchy-Riemann admet une solution dans l'espace de fonction anisotrope $\Gamma_(\rho)^(\frac(1)(m))(\Omega)$ introduit par J. McNeal et E. Stein. C'est un espace de type Lipschitz $\frac(1)(m)$ pour une métrique $\rho$ faisant intervenir la pseudométrique de McNeal, donc reflétant la géométrie du domaine. Pour obtenir ce résultat, nous avons dû adapter un lemme de type ``Hardy-Littlewood anisotrope'' pour pouvoir estimer directement les termes du noyau ne contenant pas la singularité maximale. Pour le dernier terme, nous avons dû introduire une définition directe de $\Gamma_(\rho)^(\frac(1)(m))(\Omega)$ qui nécessitait l'introduction d'une approximation de l'unité adapté à la géométrie des convexes de type fini. Nous terminons par une seconde application : nous retrouvons un théorème de P. Greiner et E. Stein dans les domaines strictement pseudoconvexes. C'est-à-dire que pour une donnée $L^(\infty)(\Omega)$, nous montrons que nous pouvons trouver une solution dans $\Lambda^(\frac(1)(2),1)(\Omega)$. Il est assez naturel de pouvoir y arriver puisque notre solution est construite afin de dominer les aspects géométriques des domaines.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00004225 |
| Date | 18 December 2003 |
| Creators | Fructus, Mathieu |
| Publisher | Université Paul Sabatier - Toulouse III |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0023 seconds