To put these ideas into practice, we first construct an analytic continuation of the free
resolvent on the cylinder.
Therefore, we define


Let  satisfy


and define

Then, there exists  such that


Define the set

where