線形代数、実解析、複素解析を組み合わせた問題では、個別の計算技術だけではなく、どの定理をどの順番で適用するかという方針設計が重要になります。本記事では、3次行列のスペクトル解析とパラメータ付き広義積分を組み合わせた典型的な問題について、数値計算やCASに頼らず厳密に議論するための考え方を整理します。
固有値計算では特性多項式から複素数範囲での構造を調べ、積分では収束判定・特殊関数・微分積分交換・漸近評価という流れで解析します。最後には両者を組み合わせた関数の最小値問題まで考えることで、高度な数学答案で求められる証明の組み立て方を解説します。
A(a)の固有値解析は特性多項式から始める
対象となる行列A(a)は、対角成分がすべてaで、上三角方向に1、左下に-1を持つ巡回型の行列です。固有値を求めるには、まず特性方程式det(A(a)-λI)=0を計算します。
A(a)-λIは、対角成分がa-λとなるため、行列式を展開すると(a-λ)^3+1=0という形になります。
したがって、固有値はa-λの3乗が-1となる複素数です。-1の3乗根は、e^{iπ},e^{iπ/3},e^{i5π/3}で表せるため、固有値はλ=a+1、λ=a-1/2±(√3/2)iという3つになります。
対角化可能性と実標準形の考え方
3つの固有値は互いに異なるため、複素数体上では必ず対角化可能です。一般に、n次正方行列がn個の相異なる固有値を持つ場合、対応する固有ベクトルは一次独立になります。
したがってA(a)は、どの実数aに対しても複素対角化が可能です。特にaの値によって固有値同士が重なることもありません。
一方、実数行列として扱う場合、非実固有値は共役複素数の組として2次ブロックにまとめます。実標準形では、実固有値a+1に対応する1次ブロックと、複素共役対a-1/2±(√3/2)iに対応する2次ブロックが現れます。
広義積分I(a)の収束条件を確認する方法
積分I(a)=∫₀∞x²e^{-ax}/(1+x⁶)dxを調べる場合、まず積分区間を0付近と∞付近に分けて考えます。
x→0では、分母は1+x⁶→1となり、被積分関数はx²e^{-ax}と同程度になります。これはx²型なので0付近では常に可積分です。
x→∞では、分母はx⁶と同程度になるため、被積分関数はe^{-ax}/x⁴程度になります。a>0の場合は指数減衰によって必ず収束します。
a=0の場合でも1/x⁴程度となるため収束します。しかしa<0ではe^{|a|x}/x⁴となり指数的に発散するため、通常の広義積分としては収束しません。
I(0)の評価ではベータ関数型公式を利用する
a=0の場合、積分はI(0)=∫₀∞x²/(1+x⁶)dxとなります。この形はベータ関数やガンマ関数と関連する標準的な積分です。
公式∫₀∞x^{p-1}/(1+x^q)dx=(π/q)csc(πp/q)は、q>0かつ0<p<qの条件で成立します。これはベータ関数B(p/q,1-p/q)から導かれます。
今回の場合はx²=x^{3-1}なのでp=3、q=6です。条件0<3<6を満たすため公式を適用でき、I(0)=(π/6)csc(π/2)=π/6となります。
積分記号下の微分とI(a)の性質
a>0では、パラメータ付き積分として微分を考えることができます。形式的にはI'(a)=∫₀∞(-x³)e^{-ax}/(1+x⁶)dxとなります。
この操作を正当化するには優収束定理などを利用します。aがある正の範囲に制限されているなら、微分後の被積分関数を支配する可積分関数を設定できます。
I'(a)の被積分関数は常に負であるため、I'(a)<0となります。つまりI(a)はaについて単調減少です。
さらに2回微分するとI”(a)=∫₀∞x⁴e^{-ax}/(1+x⁶)dxとなり、これは常に正です。そのためI(a)は下に凸ではなく、数学的には凸関数となります。
スペクトル半径ρ(A(a))の計算と漸近挙動
スペクトル半径とは固有値の絶対値の最大値です。今回の固有値はa+1とa-1/2±(√3/2)iなので、それぞれの絶対値を比較します。
実固有値の絶対値は|a+1|、複素固有値の絶対値は√((a-1/2)²+3/4)=√(a²-a+1)となります。
a>0では比較により、十分大きなaでは両者ともaに近づきますが、詳細な比較によってρ(A(a))は連続関数として扱うことができます。
F(a)=ρ(A(a))I(a)の最小値問題を考える
F(a)の極値を考えるには、a→0+とa→∞での挙動を見ることが重要です。
a→0+ではI(a)はI(0)=π/6に近づき、ρ(A(a))も有限値へ近づくため、F(a)は有限値になります。
一方、a→∞では指数減衰が強くなり、積分は0に近づきます。具体的には、分母が1に近い小さいx領域が支配的となり、I(a)はおおよそ定数/a³型で減少します。
ρ(A(a))はaに比例して増加するため、F(a)はおおよそ1/a²型となり0へ近づきます。このため、a>0全体では内部で必ず最小値を持つとは限らず、下限は0に近づく可能性があります。
数学答案で重要な証明の流れ
この種の問題では、単なる結果の提示ではなく、どの定理をどこで使ったかを明示することが重要です。
固有値問題では「特性多項式→固有値の分類→対角化可能性→実標準形」という流れを示します。積分問題では「端点評価→収束判定→特殊関数公式→微分交換→単調性・凸性」という順序で論証すると整理された答案になります。
数検1級レベルの記述では、公式を使う場合は適用条件を書き、微分と積分の交換では優収束定理などの根拠を示すことが評価につながります。
まとめ
行列A(a)と積分I(a)を組み合わせた問題では、線形代数・実解析・複素解析それぞれの道具を適切な場面で使うことが重要です。
A(a)については特性方程式から固有値構造を明らかにし、I(a)については収束性、特殊関数、微分可能性を段階的に確認します。
最後のF(a)の解析では、局所的な計算だけでなく、無限遠での漸近挙動を見ることで関数全体の性質を判断できます。このような問題では計算力だけでなく、定理を選択する解析的な視点が最も重要になります。
コメント