∫0∞(f⁡(x))2⁢ⅆ⁡x=12⁢π⁢∫-∞∞|ℳ⁡(f;12+ⅈ⁢t)|2⁢ⅆ⁡t.