極値

実数値関数の極値について

数学の実解析における実数値関数の極値とは、その関数が定義された範囲内での局所的な最大値または最小値のことです。関数の極値を求めることは、多くの数学的な問題や応用分野において非常に重要な意味を持ちます。この概念を理解することで、関数の振る舞いをより深く把握し、最適化問題などの解決に役立てることができます。

極値の定義

関数 f が定義された空間内の点 p において、あるε近傍内に存在するすべての点 q について、f(p) が f(q) 以上である場合、f(p) を極大値と呼び、点 p を極大点と呼びます。同様に、あるε近傍内のすべての点 q について、f(p) が f(q) 以下である場合、f(p) を極小値と呼び、点 p を極小点と呼びます。極大値と極小値を総称して極値と呼び、極大点と極小点を総称して極値点と呼びます。より厳密に定義すると以下のようになります。

極小値: あるε>0が存在し、点pの近傍内の任意の点qに対して d(p,q)<ε ならば f(p) ≤ f(q) が成り立つとき、f(p)を極小値と呼ぶ。
極大値: あるε>0が存在し、点pの近傍内の任意の点qに対して d(p,q)<ε ならば f(p) ≥ f(q) が成り立つとき、f(p)を極大値と呼ぶ。

さらに、上記の不等号を狭義不等号に変えた場合（f(p) < f(q) または f(p) > f(q)）、それぞれ狭義の極小値、狭義の極大値と呼びます。これらの定義は、関数の挙動を局所的に詳細に分析するための基礎となります。

極値の必要条件

微分可能な関数 f において、点 p が極値点であるためには、その点 p における関数の勾配がゼロになる必要があります。この点を停留点または臨界点と呼び、その時の関数値を停留値または臨界値と呼びます。数式で表すと、∇f(p) = 0 となります。これは、極値が存在するためには、その点での関数の傾きが水平になる必要があることを示しています。しかし、停留点であることは極値点であるための必要条件に過ぎず、十分条件ではありません。つまり、停留点であっても極値ではない場合が存在します。

極値の十分条件

関数の極値をより厳密に判定するためには、ヘッセ行列を使用します。2回連続微分可能な関数 f において、停留点 p におけるヘッセ行列 ∇²f(p) が正定符号であれば、関数 f は点 p で狭義の極小値を持ちます。逆に、ヘッセ行列が負定符号であれば、関数 f は点 p で狭義の極大値を持ちます。また、ヘッセ行列が不定符号であれば、その点 p は極値点ではなく鞍点となります。ヘッセ行列を用いた判定により、停留点が極値であるか否かを判断することが可能になります。

ヘッセ行列が特異行列の場合には、この方法では極値判定ができません。その場合は、他の手法を検討する必要があります。極値の判定は、関数の局所的な挙動を解析するための重要な手段であり、最適化問題など様々な分野で応用されています。

まとめ

極値は関数の振る舞いを理解する上で不可欠な概念であり、その定義、必要条件、十分条件を理解することで、関数の特徴をより深く理解することができます。極値問題を解くことは、工学、経済学、物理学など、多岐にわたる分野で重要な役割を果たしています。この知識を基に、より複雑な関数の解析や最適化問題に挑戦していくことができます。

もう一度検索