三角関数を含む積分の中には、一見すると複雑に見えても、三角関数の性質や恒等式を利用することで簡単に計算できるものがあります。今回は、積分区間が0からπで与えられる「(sin nx / sin x)^2」の形を持つ積分について、考え方や解法の流れを詳しく解説します。
問題の積分を整理する
考える積分は、次の形です。
I=∫[0,π](sin nx / sin x)^2 dx
ここでnは1,2,3,…の整数です。この式は、分母にsin xがあるため、そのまま積分しようとすると難しく感じます。しかし、この形は三角関数の重要な恒等式と深く関係しています。
特に、sin nxをsin xで割った形は、チェビシェフ多項式やフーリエ解析でも登場する重要な式です。
sin(nx)を展開する考え方
まず、sin nx/sin xという部分に注目します。この式は整数nに対して、余弦の和として表すことができます。
具体的には、次の恒等式があります。
sin(nx)/sin(x)=2cos((n-1)x)+2cos((n-3)x)+…+2cos(x)（nが偶数の場合）
また、nが奇数の場合には定数項を含む余弦の和になります。このように、sin(nx)/sin(x)は単なる分数ではなく、複数のcosの和として表現できます。
フーリエ級数の直交性を利用する
この積分を解くポイントは、三角関数の直交性を利用することです。
cos(mx)とcos(kx)について、mとkが異なる整数ならば、0からπの範囲で積分すると以下が成立します。
∫[0,π]cos(mx)cos(kx)dx=0（m≠k）
また、同じ次数の場合には、
∫[0,π]cos²(mx)dx=π/2
となります。この性質によって、展開した式の異なる項同士の積分は消え、同じ項だけが残ります。
積分値を求める計算
sin(nx)/sin(x)の展開では、n個の項が関係します。その二乗を積分すると、直交性により交差項が消えるため、それぞれのcos²の積分だけを考えればよくなります。
結果として、この積分は次の値になります。
∫[0,π](sin nx/sin x)^2dx=nπ
つまり、nが1,2,3,…のどの場合でも、積分値は非常にシンプルにnπとなります。
具体例で確認する
例えばn=1の場合を考えると、
sin x/sin x=1
なので、積分は
∫[0,π]1dx=π
となり、公式nπに一致します。
次にn=2の場合では、
sin2x/sinx=2cosx
となります。そのため、
∫[0,π](2cosx)^2dx=4∫[0,π]cos²x dx=4×π/2=2π
となり、こちらもnπ=2πと一致します。
この積分が数学で重要な理由
この積分は単なる計算問題ではなく、フーリエ解析や信号処理で重要な役割を持っています。
sin(nx)/sin(x)の形は、ディリクレ核と呼ばれる関数と関連しており、周期関数を三角関数の組み合わせで表す理論の中で登場します。
また、三角関数の直交性を利用して複雑な式を簡単化するという考え方は、大学数学や物理学でも頻繁に使われる重要な手法です。
まとめ｜sin(nx)/sin(x)型積分は直交性を利用すると解ける
積分∫[0,π](sin nx/sin x)^2dxは、一見すると難しい分数型の三角関数積分ですが、sin(nx)/sin(x)を余弦の和に変形し、三角関数の直交性を利用することで解くことができます。
最終的な答えは、
∫[0,π](sin nx/sin x)^2dx=nπ
となります。
この問題を通して、三角関数の恒等式や直交性という数学の重要な考え方を身につけることができます。
コメント