三角関数や平方根を含む定積分の中には、直接計算することが難しいものがあります。特に、複数の二次式が平方根の中に入っている積分では、式の形を整理して適切な置換を行うことが重要です。今回は、0<a,b<1の条件を持つ積分「∫[-1,1]1/√((1-2ax+a²)(1-2bx+b²))dx」について、どのような考え方で変形していくのかを詳しく解説します。
積分の形を確認する
今回求める積分をIと置きます。
I=∫-11dx/√((1-2ax+a²)(1-2bx+b²))
分母を見ると、
1-2ax+a²=(x-a)²+(1-a²)
1-2bx+b²=(x-b)²+(1-b²)
という形に変形できます。
つまり、それぞれの式は常に正であり、平方根内が負になる心配はありません。条件0<a,b<1によって積分は通常通り扱えます。
二次式を三角関数の形に変換する
このような平方根を含む積分では、三角関数置換を利用すると整理しやすくなります。
まず、
x=cosθ
と置くと、
dx=-sinθdθ
になります。
xの範囲が-1から1なので、θの範囲はπから0へ変化します。そのため積分は、
I=∫0πsinθdθ/√((1-2acosθ+a²)(1-2bcosθ+b²))
となります。
式をさらに簡単な形に整理する
ここで重要になるのが、
1-2a cosθ+a²=|1-ae^{iθ}|²
という複素数表示です。
同様に、
1-2b cosθ+b²=|1-be^{iθ}|²
となります。
この形にすることで、積分は単なる多項式計算ではなく、ポアソン核や楕円積分に関係する形であることが分かります。
一般的には、この積分は完全楕円積分を用いて表現されます。
完全楕円積分を用いた表現
この積分は、パラメータの値によって表現が変化しますが、aとbを用いて
k=2√(ab)/√((1+a)(1+b))
のような形の母数を導入することで、第一種完全楕円積分K(k)に変換できます。
完全楕円積分は、
K(k)=∫0π/2dφ/√(1-k²sin²φ)
で定義されます。
したがって、元の積分は定数倍されたK(k)の形で表すことができます。
ただし、aとbの具体的な値が与えられていない場合、一般的な初等関数だけで表すことはできません。
特別な場合で確認する
例えばa=bの場合、積分は、
I=∫-11dx/(1-2ax+a²)
となり、平方根が外れて比較的簡単になります。
この場合、分母を、
(x-a)²+(1-a²)
として、arctanを使った積分に帰着できます。
このように、パラメータの関係によっては初等関数で求められる場合もありますが、一般のa,bでは楕円積分が必要になります。
この問題で重要な考え方
このタイプの積分で大切なのは、無理に展開して計算しようとしないことです。平方根内の二次式は、三角関数や複素数表示に変換することで構造が見えてきます。
特に、1-2ax+a²のような形は、単なる二次式ではなく、三角関数や複素解析で頻繁に登場する重要な形です。
大学数学では、すべての積分が初等関数で表せるわけではありません。この問題のように、特殊関数を使う必要がある積分が存在することを理解しておくことも重要です。
まとめ｜平方根を含む定積分は形の変換が解法の鍵
∫[-1,1]1/√((1-2ax+a²)(1-2bx+b²))dxは、二次式を整理し、三角関数置換を行うことで構造を明らかにできます。
一般の0<a,b<1では完全楕円積分を用いた表現となり、通常の高校数学で扱うような基本的な積分だけでは解くことができません。
このような問題では、答えを無理に求めるよりも、「どのような変形をすれば既知の形になるか」を考えることが重要です。積分問題では計算力だけでなく、式の形を見抜く力が大きな役割を果たします。
コメント