WIIS

凸関数・凹関数

1次関数(アフィン関数)は凸関数かつ凹関数

目次

Twitter
Mailで保存

1変数の1次関数は凸関数かつ凹関数

区間上に定義された1変数関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、定数\(a,b\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =ax+b
\end{equation*}という形で表されるものとします。つまり、関数\(f\)は1次関数(アフィン関数)であるということです。1次関数\(f\)の形状は2つの定数\(a,b\)に依存しますが、\(a,b\)としてどのような値を選ぶかに関わらず、\(f\)は凸関数かつ凹関数です。

問題(1次関数は凸関数かつ凹関数)
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、定数\(a,b\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =ax+b
\end{equation*}と表されるものとする。\(a,b\)の値によらず、\(f\)は凸関数かつ凹関数である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(1次関数)
1変数の1次関数は全区間\(\mathbb{R} \)上に定義可能であるため、定数\(a,b\in \mathbb{R} \)を任意に選んだとき、それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =ax+b
\end{equation*}を定める関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)が定義可能です。\(\mathbb{R} \)は\(\mathbb{R} \)上の区間であり、なおかつ\(f\)は1次関数であるため、先の命題より\(f\)は凸関数かつ凹関数です。
例(定数関数)
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、定数\(b\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =b
\end{equation*}と表されるものとします。つまり、\(f\)は定数関数です。定数関数は変数\(x\)の係数\(a\)が\(0\)であるような特別な1次関数であるため、先の命題より、\(f\)は凸関数かつ凹関数です。
例(恒等関数)
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\begin{equation*}f\left( x\right) =x
\end{equation*}であるものとします。つまり、\(f\)は恒等関数です。恒等関数は変数\(x\)の係数\(a\)が\(1\)であるとともに定数項\(b\)が\(0\)であるような特別な1次関数であるため、先の命題より、\(f\)は凸関数かつ凹関数です。
例(1次関数)
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\begin{equation*}f\left( x\right) =2x+1
\end{equation*}であるものとします。この関数\(f\)は1次関数であるため、先の命題より、\(f\)は凸関数かつ凹関数です。
例(1次関数)
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\begin{equation*}f\left( x\right) =-2x-1
\end{equation*}であるものとします。この関数\(f\)は1次関数であるため、先の命題より、\(f\)は凸関数かつ凹関数です。
例(1次関数と凸関数の和)
区間上に定義された関数\(f,g:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が与えられたとき、関数\(f+g:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が定義可能です。\(f,g\)がともに凸関数である場合に\(f+g\)は凸関数であるため、\(f\)が1次関数で\(g\)が凸関数ならば\(f+g\)は凸関数です。具体例を挙げると、それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =2x+1+e^{x}
\end{equation*}を定める関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)は凸関数です(演習問題)。
例(1次関数と凹関数の和)
区間上に定義された関数\(f,g:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が与えられたとき、関数\(f+g:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が定義可能です。\(f,g\)がともに凹関数である場合に\(f+g\)は凹関数であるため、\(f\)が1次関数で\(g\)が凹関数ならば\(f+g\)は凹関数です。具体例を挙げると、それぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =2x+1+\ln \left( x\right)
\end{equation*}を定める関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)は凸関数です(演習問題)。
例(1次関数と凸関数の合成関数)
区間上に定義された関数である\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)と\(g:\mathbb{R} \supset J\rightarrow \mathbb{R} \)の間に\(f\left( I\right) \subset J\)が成り立つ場合には合成関数\(g\circ f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が定義可能です。\(f\)が凸関数であり\(g\)が単調増加(単調非減少)の凸関数である場合に\(g\circ f\)は凸関数であるため、\(f\)が1次関数で\(g\)が単調増加の凸関数ならば\(g\circ f\)は凸関数です。1次関数は単調増加の凸関数であるため、\(f\)が凸関数で\(g\)が1次関数ならば\(g\circ f\)は凸関数です。具体例を挙げると、それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =e^{2x+1}
\end{equation*}を定める関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)や、それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}g\left( x\right) =2e^{x}+1
\end{equation*}を定める関数\(g:\mathbb{R} \rightarrow \mathbb{R} \)はいずれも凸関数です(演習問題)。
例(1次関数と凹関数の合成関数)
区間上に定義された関数である\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)と\(g:\mathbb{R} \supset J\rightarrow \mathbb{R} \)の間に\(f\left( I\right) \subset J\)が成り立つ場合には合成関数\(g\circ f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が定義可能です。\(f\)が凹関数であり\(g\)が単調増加(単調非減少)の凹関数である場合に\(g\circ f\)は凹関数であるため、\(f\)が1次関数で\(g\)が単調増加の凹関数ならば\(g\circ f\)は凹関数です。1次関数は単調増加の凹関数であるため、\(f\)が凹関数で\(g\)が1次関数ならば\(g\circ f\)は凹関数です。具体例を挙げると、それぞれの\(x\in \left( -\frac{1}{2},+\infty \right) \)に対して、\begin{equation*}f\left( x\right) =\ln \left( 2x+1\right)
\end{equation*}を定める関数\(f:\mathbb{R} \supset \left( -\frac{1}{2},+\infty \right) \rightarrow \mathbb{R} \)や、それぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}g\left( x\right) =2\ln \left( x\right) +1
\end{equation*}を定める関数\(g:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はいずれも凹関数です(演習問題)。

 

多変数の1次関数は凸関数かつ凹関数

凸集合上に定義された多変数関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、ベクトル\(a\in \mathbb{R} ^{n}\)およびスカラー\(b\in \mathbb{R} \)を用いて、\begin{eqnarray*}f\left( x\right) &=&a\cdot x+b \\
&=&a_{1}x_{1}+\cdots +a_{n}x_{n}+b
\end{eqnarray*}という形で表されるものとします。つまり、関数\(f\)は1次関数(アフィン関数)であるということです。1次関数\(f\)の形状はベクトル\(a\)とスカラー\(b\)に依存しますが、\(a,b\)としてどのような値を選ぶかに関わらず、\(f\)は凸関数かつ凹関数です。

問題(1次関数は凸関数かつ凹関数)
凸集合上に定義された多変数関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、ベクトル\(a\in \mathbb{R} ^{n}\)およびスカラー\(b\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =a\cdot x+b
\end{equation*}と表されるものとする。\(a,b\)の値によらず、\(f\)は凸関数かつ凹関数である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(1次関数)
多変数の1次関数は\(\mathbb{R} ^{n}\)上に定義可能であるため、ベクトル\(a\in \mathbb{R} ^{n}\)およびスカラー\(b\in \mathbb{R} \)を任意に選んだとき、それぞれの\(x\in \mathbb{R} ^{n}\)に対して、\begin{equation*}f\left( x\right) =a\cdot x+b
\end{equation*}を定める関数\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} \)が定義可能です。\(\mathbb{R} ^{n}\)は\(\mathbb{R} ^{n}\)上の凸集合であり、なおかつ\(f\)は1次関数であるため、先の命題より\(f\)は凸関数かつ凹関数です。
例(1次関数)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)がそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して定める値が、\begin{equation*}f\left( x,y\right) =x+2y+3
\end{equation*}であるものとします。\(\mathbb{R} ^{2}\)は\(\mathbb{R} ^{2}\)上の凸集合であり、なおかつ\(f\)は1次関数であるため、先の命題より\(f\)は凸関数かつ凹関数です。
例(1次関数)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)がそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して定める値が、\begin{equation*}f\left( x,y\right) =-x-2y-3
\end{equation*}であるものとします。\(\mathbb{R} ^{2}\)は\(\mathbb{R} ^{2}\)上の凸集合であり、なおかつ\(f\)は1次関数であるため、先の命題より\(f\)は凸関数かつ凹関数です。
例(1次関数と凸関数の和)
凸集合上に定義された関数\(f,g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が与えられたとき、関数\(f+g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義可能です。\(f,g\)がともに凸関数である場合に\(f+g\)は凸関数であるため、\(f\)が1次関数で\(g\)が凸関数ならば\(f+g\)は凸関数です。具体例を挙げると、それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x\right) =x+y+e^{x+y}
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)は凸関数です(演習問題)。
例(1次関数と凹関数の和)
凸集合上に定義された関数\(f,g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が与えられたとき、関数\(f+g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義可能です。\(f,g\)がともに凹関数である場合に\(f+g\)は凹関数であるため、\(f\)が1次関数で\(g\)が凹関数ならば\(f+g\)は凹関数です。具体例を挙げると、それぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x\right) =x+y+\ln \left( x+y\right)
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)は凹関数です(演習問題)。ただし、\(X\)は\(f\)の定義域であり、\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。

例(1次関数と凸関数の合成関数)
凸集合上に定義された多変数関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と区間上に定義された1変数関数\(g:\mathbb{R} \supset I\rightarrow \mathbb{R} \)の間に\(f\left( X\right) \subset I\)が成り立つ場合には合成関数\(g\circ f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が定義可能です。\(f\)が凸関数であり\(g\)が単調増加(単調非減少)の凸関数である場合に\(g\circ f\)は凸関数であるため、\(f\)が多変数の1次関数で\(g\)が1変数の単調増加な凸関数ならば\(g\circ f\)は凸関数です。また、1変数の1次関数は単調増加な凸関数であるため、\(f\)が多変数の凸関数で\(g\)が1変数の1次関数ならば\(g\circ f\)は凸関数です。具体例を挙げると、それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =e^{x+y}
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)や、それぞれの\(\left( x,y\right)\in \mathbb{R} ^{2}\)に対して、\begin{equation*}g\left( x,y\right) =2e^{x+y}+1
\end{equation*}を定める関数\(g:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はいずれも凸関数です(演習問題)。
例(1次関数と凹関数の合成関数)
凸集合上に定義された多変数関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)と区間上に定義された1変数関数\(g:\mathbb{R} \supset I\rightarrow \mathbb{R} \)の間に\(f\left( X\right) \subset I\)が成り立つ場合には合成関数\(g\circ f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)が定義可能です。\(f\)が凹関数であり\(g\)が単調増加(単調非減少)の凹関数である場合に\(g\circ f\)は凹関数であるため、\(f\)が多変数の1次関数で\(g\)が1変数の単調増加な凹関数ならば\(g\circ f\)は凹関数です。また、1変数の1次関数は単調増加な凹関数であるため、\(f\)が多変数の凹関数で\(g\)が1変数の1次関数ならば\(g\circ f\)は凹関数です。具体例を挙げると、それぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\ln \left( x+y\right)
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)や、それぞれの\(\left( x,y\right)\in X\)に対して、\begin{equation*}g\left( x,y\right) =2\ln \left( x+y\right) +1
\end{equation*}を定める関数\(g:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)はいずれも凸関数です(演習問題)。ただし、\(X\)は\(f,g\)の定義域であり、\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。

 

演習問題

問題(1次関数と凸関数の和)
それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =2x+1+e^{x}
\end{equation*}を定める関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)が凸関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凹関数の和)
それぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =2x+1+\ln \left( x\right)
\end{equation*}を定める関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)が凹関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凸関数の合成関数)
それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =e^{2x+1}
\end{equation*}を定める関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)が凸関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凸関数の合成関数)
それぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =2e^{x}+1
\end{equation*}を定める関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)が凸関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凹関数の合成関数)
それぞれの\(x\in \left( -\frac{1}{2},+\infty\right) \)に対して、\begin{equation*}f\left( x\right) =\ln \left( 2x+1\right)
\end{equation*}を定める関数\(f:\mathbb{R} \supset \left( -\frac{1}{2},+\infty \right) \rightarrow \mathbb{R} \)が凹関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凹関数の合成関数)
それぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}g\left( x\right) =2\ln \left( x\right) +1
\end{equation*}を定める関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)が凸関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数は凸関数かつ凹関数)
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\frac{1}{2}x-1
\end{equation*}を定めるものとします。逆関数\(f^{-1}\)を求めた上で、それが凸関数かつ凹関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凸関数の和)
それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x\right) =x+y+e^{x+y}
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)が凸関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凹関数の和)
それぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x\right) =x+y+\ln \left( x+y\right)
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)について考えます。ただし、\(X\)は\(f\)の定義域であり、\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。\(f\)が凹関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凸関数の合成関数)
それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =e^{x+y}
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)が凸関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凸関数の合成関数)
それぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =2e^{x+y}+1
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)が凸関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凹関数の合成関数)
それぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\ln \left( x+y\right)
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)について考えます。ただし、\(X\)は\(f\)の定義域であり、\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。\(f\)が凹関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(1次関数と凹関数の合成関数)
それぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =2\ln \left( x+y\right) +1
\end{equation*}を定める関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)について考えます。ただし、\(X\)は\(f\)の定義域であり、\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。\(f\)が凹関数であることを示してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

Twitter
Mailで保存

質問とコメント

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

1変数の凸関数・凹関数

定義域が区間であるとともに、そのグラフが直線もしくは谷型の曲線になるような関数を凸関数と呼び、グラフが直線もしくは山型の曲線になるような関数を凹関数と呼びます。

微分を用いた1変数の凸関数・凹関数の判定

微分可能な関数が凸関数であることは、導関数が単調増加関数であることと必要十分です。また、微分可能な関数が凹関数であることは、導関数が単調減少関数であることと必要十分です。

1変数の狭義凸関数・狭義凹関数

定義域が区間であるとともに、そのグラフが谷型の曲線になるような関数を狭義凸関数と呼び、グラフが山型の曲線になるような関数を狭義凹関数と呼びます。

多変数の凸関数・凹関数

定義域がユークリッド空間上の凸集合であるとともに、そのグラフが平面もしくは下に凸であるような関数を凸関数と呼びます。また、グラフが平面もしくは上に凸であるよう関数を凹関数と呼びます。

多変数の狭義凸関数・狭義凹関数

定義域がユークリッド空間上の凸集合であるとともに、そのグラフが下に凸であるような関数を狭義凸関数と呼びます。また、グラフが上に凸であるよう関数を狭義凹関数と呼びます。

凸関数・凹関数の定数倍

凸関数の正の定数倍として定義される関数は凸関数であり、凹関数の正の定数倍として定義される関数は凹関数です。

凸関数・凹関数の和

凸関数どうしの和として定義される関数は凸関数であり、凹関数どうしの和として定義される関数は凹関数です。

凸関数・凹関数の合成関数

凸関数どうしの合成関数が凸関数になるための条件、凹関数どうしの合成関数が凹関数になるための条件、凸関数と凹関数の合成関数が凸関数ないし凹関数になるための条件などを明らかにします。

凸関数・凹関数の逆関数

凸関数や凹関数の逆関数が存在する場合、その逆関数もまた凸関数や凹関数になるための条件を明らかにします。

アロー・プラットの絶対的リスク回避度

アロー・プラットの絶対的リスク回避度の符号を通じて主体のリスク選好(リスク回避的・中立的・愛好的)を判定できます。また、絶対的リスク回避度の値を通じてリスク回避の度合いを比較できます。

1変数の凸関数・凹関数の劣勾配と劣微分

1変数の凸関数や凹関数の内点における劣勾配と呼ばれる概念を定義するとともに、その関数が内点において微分可能である場合、そこでの劣勾配と微分係数は概念として一致することを示します。

凸関数・凹関数