Bonjour,
ici j'ai tenté un truc et j'aimerais savoir si ça vous convainc.
- Soit le prolongement analytique de
bi-holomorphe pour
- On remarque que
Si on trouvait queest bi-holomorphe dans un voisinage de
alors
par ailleurs
donc
on peut continuer comme ça et aller jusqu'à exprimeren fonction de
ce qui nous amène à regarder
au voisinage de
![]()
au voisinage desi
alors
et ses dérivées premières sont absolument convergentes
doncest holomorphe par rapport à chacune des deux variables au voisinage de
ansiest bien bi-holomorphe au voisinage de
et
c'est le passage en rouge qui me parait délicat (car on est limité par le)
Merci
-----