Pour réaliser ces idées, on commence par construire un prolongement analytique de la
résolvante libre sur le cylindre.
À cette fin, on définit


Soit  tel que


et définissons 

Alors, il existe  tel que


On définit l'ensemble

où