直交関数列

直交関数列とは

数学において、直交関数列は互いに直交する特性を持つ関数の集合を指します。この概念は、特に解析学や物理学において重要な役割を果たしています。関数が直交であることは、定義された区間における内積がゼロとなる条件によって確認されます。

定義

直交関数列は、区間
(α, β)
内で定義された複素数値関数
f(x)
および
g(x)
に対して、以下の内積が成り立つときに成立します:

⟨f, g⟩ = ∫αβ f(x) g(x) dx

この内積が有限である場合、関数
{φn(x)}
の列が互いに直交するためには、次の条件が必要です:

⟨φm, φn⟩ = ∫αβ φm(x) φn(x) dx = 0 (m ≠ n)

これは、異なるインデックスの関数間の内積がゼロであることを意味します。さらに、特に正規直交関数列と呼ばれる関数列は、ノルムが1であることが求められます。これは、以下の条件を満たすものです:

‖φ‖² = ∫αβ |φn(x)|² dx = 1

また、実数値関数の列
{φn(x)}
と重み関数
w(x) ≥ 0
を用いることで、次の条件を満たす重みの直交関数列を形成することも可能です:

∫αβ φm(x) φn(x) w(x) dx = 0 (m ≠ n)

例

直交関数列の一例としては、三角関数が挙げられます。具体的には、余弦関数の系列
{1, cos(x), cos(2x), cos(3x,…}
は区間
[0, π]
で直交関数系を形成します。この場合:

• - ∫0π 1 dx = π
• - ∫0π 1·cos(nx) dx = 0 (n=1, 2, …)
• - ∫0π cos(mx)·cos(nx) dx = (π/2) δmn (m, n=1, 2, …)

正弦関数の系列も同様に、区間
[0, π]
で直交関数系を構成し、以下の条件を満たします:

• - ∫0π sin(mx)·sin(nx) dx = (π/2) δmn (m, n=1, 2, …)

さらに、関数系の組み合わせとして
{1, cos(x), sin(x), cos(2x), sin(2x,…}
が区間
[-π, π]
で直交関数系を形成します。

直交多項式

エルミート多項式やルジャンドル多項式なども直交関数列の一例です。たとえば、エルミート多項式
Hn(x)
は、次の条件を満たす重み
e^{-x²/2}
の下で直交します:

∫−∞∞ e^(-x²/2) Hm(x) Hn(x) dx = n! √(2π) δmn (m, n=0, 1, 2, …)

このように、直交関数列は多くの応用があり、特にフーリエ級数や波動方程式の解析において重要な役割を果たしています。これらの関数列は、数理科学のさまざまな側面で使用され、直交性の特性が問題解決に寄与することを示しています。

もう一度検索