メリン変換
は収束することが分かる。これを組み合わせることで、リース函数のメリン変換は帯状領域 formula_14 の上で定義されることが分かる。この領域上では、formula_15 が成り立つ。