とおきます。これは周期 の区分的に滑らかな函数なので Fourier 級数展開が出来ます。その結果は となります。特に のとき となります。ここで を代入すると となるので、整理して を得ます。 同じ Fourier 級数に、今度は Parseval の等式を適用すると を得…