Dirichlet積分

広義Riemannの意味で存在して，Lebesgueだと存在しない積分

Lem. 不等式

Prop. Dirichlet積分


[証明]は複素積分で行う。
積分路は

Prop. Lebesgueの意味では存在しない。
即ち，絶対積分は発散する。

Cf. 以下は広義RとLいずれの意味でも存在する。