Soit une fonction continue sur le bord orienté d’un compact ; soit : pour , on définit On va établir que est holomorphe dans . Fixons et posons .
1
Soit et . Montrer, en développant en série entière de , que est somme d’une série entière au voisinage de ; en déduire que .
2
Montrer que est indéfiniment dérivable en tout point de et que