上に凸，下に凸な関数と二階微分

下に凸な関数の定義と性質

• グラフ上の二点を結んだ線分が常にグラフの上側にあるような関数を下に凸な関数（または単に凸関数）と言います。

• 式で表すと，区間内の任意の $x_1, x_2$ と $\lambda \:(0\leq \lambda\leq 1)$ に対して， $\lambda f(x_1)+(1-\lambda)f(x_2)\geq f(\lambda x_1+(1-\lambda)x_2)$ となります。 （左辺は関数のグラフ上の二点を $1-\lambda:\lambda$ に内分する点 $A$ の $y$ 座標で，右辺は $x$ 座標が $A$ と同じで関数上にある点の $y$ 座標です)

• 下に凸な関数は最小値＝極小値が成立するので，最適化理論など工学的にも非常に重要な概念です。

• 入試問題では「二階微分が正であることを示す→下に凸な関数→よって上記の不等式を適用できる」という流れで使うことが多いです。特に $\lambda=\dfrac{1}{2}$ とした式： $\dfrac{1}{2}(f(x_1)+f(x_2))\geq f(\dfrac{x_1+x_2}{2})$ を使うことが多いです。

上に凸な関数の定義と性質

• グラフ上の二点を結んだ線分が常にグラフの下側にあるような関数を上に凸な関数（または単に凹関数）と言います。

• $\lambda f(x_1)+(1-\lambda)f(x_2)\leq f(\lambda x_1+(1-\lambda)x_2)$ と不等号が逆向きになります。

• 「$f(x)$ が上に凸 $\iff$ $-f(x)$ が下に凸」が成立するので上に凸な関数と下に凸な関数は本質的に同じです。

• 下に凸と上に凸の見分け方：「凸」を「ボコっとしてる」と言い換えれば覚えやすいです。「下に凸は線分が上側」と覚えるのではなく「下にボコっとしてる」関数です。

上に凸，下に凸な関数と二階微分

二階微分が存在するとき，上に凸，下に凸の判定は二階微分の符号を見ればOKです。

下に凸 $\iff$ 二階微分 $f''(x)\geq 0$ の簡単な説明をします。

凸関数と二階微分の関係は有名な定理です。厳密な証明には平均値の定理などを使う必要がありますが，上記の方が直感的で分かりやすく，大雑把に理解するための説明としては十分だと思います。

京大の入試問題

凸関数の例題として1991年京大理系問4を解説します。ここまでの内容を理解していればかなり易しい問題です。

なお，より発展的な話題としてイェンゼンの不等式があります。→イェンゼンの不等式の3通りの証明

Tag:京大入試数学の良問と背景知識まとめ

Tag:数学3の教科書に載っている公式の解説一覧