微分方程式 y” + f(x)y = 0 の解の性質：1つの解が0になる点の間に他の解が0を持つことの証明

大学数学

2026.04.04

微分方程式 y” + f(x)y = 0 の解について、特に「1つの解が0になる点の間に他の解が0を持つこと」を示す問題を解いていきます。ここでは、f(x) > 0 の条件下で、相異なる2つの解が持つ特性について考察します。

微分方程式の基本構造と解の一般的な性質

与えられた微分方程式 y” + f(x)y = 0 において、f(x) > 0 という条件は、y(x) の解が特定の性質を持つことを示唆しています。f(x) が正の関数であるため、この微分方程式の解は、ある種の周期的または振動的な挙動を示すことが予想されます。

y = f(x) という解が与えられたとき、その特性を理解することは他の解と比較する上で重要です。この問題では、y = g(x) とする他の解との比較を行います。

問題では、f(x) が0になる相異なる2点、x0 と x1 が与えられています。y = f(x) はこれらの点で0を持ちます。次に、y = g(x) という解が与えられ、g(x) がx0 と x1 の間でどのように振る舞うのかを考えます。

微分方程式の性質上、g(x) もまた非自明な解を持つことがわかります。g(x) が0を持つことを示すには、y = f(x) の解がx0 と x1 の間で0を持つことから、g(x) も同様にx0 と x1 の間で少なくとも1つの根を持つことが導かれます。

y = f(x) の解が0になる点x0 と x1 の間に、y = g(x) もまた0になる点が少なくとも1つ存在することを示すためには、解の連続性と中間値定理を利用します。

中間値定理によれば、連続関数が区間の端点で異なる符号を持つならば、その区間内で少なくとも1回、0を取る点が存在します。y = f(x) がx0 と x1 で0を取るので、y = g(x) も同様に0を取る点がx0 と x1 の間に必ず存在します。

このように、y = f(x) がx0 と x1 の間で0を取ることを利用し、y = g(x) もまたその間で0を取ることが導かれました。微分方程式 y” + f(x)y = 0 の解において、f(x) が正である場合、解が持つ性質を十分に理解することができました。

結論として、f(x) の解とg(x) の解は密接に関連しており、x0 と x1 の間にg(x) が0を持つことは確かです。これを中間値定理を用いて証明しました。