f(x)=k は d²/dx² の固有関数か？定数関数と二階微分演算子の固有値問題を解説

関数 f(x)=k（kは定数）が微分演算子 d²/dx² の固有関数にあたるのかどうかは、線形代数と微分方程式の基本概念に関わる重要な問題です。本記事では固有関数の定義から出発し、定数関数がどのように扱われるのかを丁寧に整理します。

固有関数と固有値の定義

ある演算子 L に対して、関数 f(x) が固有関数であるとは Lf = λf を満たすことを指します。

ここで λ は定数（固有値）であり、演算後も関数の形が変わらないことが条件です。

この関係が成り立つかどうかを確認することが本質になります。

二階微分演算子は関数を2回微分する操作を意味します。

この演算は関数の曲率（凹凸の強さ）を表すもので、定数項や直線の性質に敏感です。

特に多項式や指数関数などで特徴的な振る舞いを示します。

f(x)=k は x に依存しない定数関数です。

まず1階微分は 0、さらに2階微分も 0 になります。

つまり d²/dx² f(x) = 0 が常に成り立ちます。

固有関数であるためには d²f/dx² = λf(x) が必要です。

しかし f(x)=k の場合、左辺は0、右辺はλkとなります。

この等式が成立するのは k≠0 のとき λ=0 の場合に限られます。

f(x)=k（k≠0）は d²/dx² の固有関数であり、固有値は0です。

ただし k=0 の場合は零関数となり、通常は固有関数として扱わないことがあります。

したがって条件付きで「固有関数である」が正しい結論です。

定数関数は二階微分すると常に0になるため、固有値0の固有関数として扱えます。

固有関数の定義に照らすと、f(x)=k は条件を満たす典型例です。

この問題は演算子と関数空間の基本的な理解に直結する重要なテーマです。