実数ベキ関数は狭義凸関数または狭義凹関数
実数ベキ関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)が与えられているものとします。つまり、\(f\)がそれぞれの\(x\in \mathbb{R} _{++}\)に対して定める値が、\(p\not=0\)を満たす定数\(p\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =x^{p}
\end{equation*}と表されるということです。
指数が\(p>1\)または\(p<0\)であるような実数ベキ関数は狭義凸関数であり、指数が\(0<p<1\)であるような実数ベキ関数は狭義凹関数です。なお、\(p=1\)の場合には\begin{equation*}x^{p}=x
\end{equation*}ですが、アフィン関数は凸関数かつ凹関数であるため、この場合の\(x^{p}\)は凸関数かつ凹関数です。
命題（実数ベキ関数は狭義凸関数または狭義凹関数）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)がそれぞれの\(x\in \mathbb{R} _{++}\)に対して定める値が、\(p\not=0\)を満たす定数\(p\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =x^{p}
\end{equation*}と表されるものとする。以下が成り立つ。
\end{equation*}と表されるものとする。以下が成り立つ。
- \(p>1\)または\(p<0\)ならば、\(f\)は狭義凸関数である。
- \(0<p<1\)ならば、\(f\)は狭義凹関数である。
例（実数ベキ関数は狭義凸関数または狭義凹関数）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x^{\sqrt{2}}
\end{equation*}を定めるものとします。\(\sqrt{2}>1\)であるため、先の命題より\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。\(\sqrt{2}>1\)であるため、先の命題より\(f\)は狭義凸関数です。
例（実数ベキ関数は狭義凸関数または狭義凹関数）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x^{-\sqrt{2}}
\end{equation*}を定めるものとします。\(-\sqrt{2}<1\)であるため、先の命題より\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。\(-\sqrt{2}<1\)であるため、先の命題より\(f\)は狭義凸関数です。
例（実数ベキ関数は狭義凸関数または狭義凹関数）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x^{\frac{1}{2}}
\end{equation*}を定めるものとします。\(0<\frac{1}{2}<1\)であるため、先の命題より\(f\)は狭義凹関数です。
\end{equation*}を定めるものとします。\(0<\frac{1}{2}<1\)であるため、先の命題より\(f\)は狭義凹関数です。
実数ベキ関数の定数倍
実数ベキ関数の定数倍の凹凸は以下の通りです。
命題（実数ベキ関数の定数倍）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)がそれぞれの\(x\in \mathbb{R} _{++}\)に対して定める値が、\(p\not=0\)を満たす定数\(p\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =x^{p}
\end{equation*}と表されるものとする。実数\(c\in \mathbb{R} \)を任意に選んだ上で関数\(cf:\mathbb{R} _{++}\rightarrow \mathbb{R} \)を定義する。以下が成り立つ。
\end{equation*}と表されるものとする。実数\(c\in \mathbb{R} \)を任意に選んだ上で関数\(cf:\mathbb{R} _{++}\rightarrow \mathbb{R} \)を定義する。以下が成り立つ。
- \(p>1\)または\(p<0\)であるとともに\(c>0\)ならば、\(cf\)は狭義凸関数である。
- \(p>1\)または\(p<0\)であるとともに\(c<0\)ならば、\(cf\)は狭義凹関数である。
- \(0<p<1\)かつ\(c>0\)ならば、\(cf\)は狭義凹関数である。
- \(0<p<1\)かつ\(c<0\)ならば、\(cf\)は狭義凸関数である。
- \(c=0\)ならば、\(cf\)は凸関数かつ凹関数である。
例（実数ベキ関数の定数倍）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\frac{x^{\sqrt{2}}}{2}
\end{equation*}を定めるものとします。\(\sqrt{2}>1\)ゆえに\(x^{\sqrt{2}}\)は狭義凸関数です。狭義凸関数の正の定数\(\frac{1}{2}\)倍は狭義凸関数であるため\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。\(\sqrt{2}>1\)ゆえに\(x^{\sqrt{2}}\)は狭義凸関数です。狭義凸関数の正の定数\(\frac{1}{2}\)倍は狭義凸関数であるため\(f\)は狭義凸関数です。
例（実数ベキ関数の定数倍）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =-x^{\sqrt{2}}
\end{equation*}を定めるものとします。\(\sqrt{2}>1\)ゆえに\(x^{\sqrt{2}}\)は狭義凸関数です。狭義凸関数の負の定数\(-1\)倍は狭義凹関数であるため\(f\)は狭義凹関数です。
\end{equation*}を定めるものとします。\(\sqrt{2}>1\)ゆえに\(x^{\sqrt{2}}\)は狭義凸関数です。狭義凸関数の負の定数\(-1\)倍は狭義凹関数であるため\(f\)は狭義凹関数です。
例（実数ベキ関数の定数倍）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =-x^{\frac{1}{2}}
\end{equation*}を定めるものとします。\(0<\frac{1}{2}<1\)ゆえに\(x^{\frac{1}{2}}\)は狭義凹関数です。狭義凸関数の負の定数\(-1\)倍は狭義凸関数であるため\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。\(0<\frac{1}{2}<1\)ゆえに\(x^{\frac{1}{2}}\)は狭義凹関数です。狭義凸関数の負の定数\(-1\)倍は狭義凸関数であるため\(f\)は狭義凸関数です。
実数ベキ関数と凸関数・凹関数の和
実数ベキ関数と凸関数ないし凹関数の和について以下が成り立ちます。
命題（実数ベキ関数と凸関数・凹関数の和）
\(\mathbb{R} _{++}\)の部分集合であるような区間上に定義された関数\(f,g:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)をそれぞれ任意に選んだとき、そこから関数\(f+g:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)を定義する。以下が成り立つ。
- \(f,g\)の一方が\(p>1\)または\(p<0\)を満たす指数\(p\in \mathbb{R} \)を持つ実数ベキ関数で、他方が凸関数であるならば、\(f+g\)は狭義凸関数である。
- \(f,g\)の一方が\(0<p<1\)を満たす指数\(p\in \mathbb{R} \)を持つ実数ベキ関数で、他方が凹関数であるならば、\(f+g\)は狭義凹関数である。
例（実数ベキ関数と凸関数・凹関数の和）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x^{\sqrt{2}}+2x+1
\end{equation*}を定めるものとします。\(f\)は狭義凸な実数ベキ関数\(x^{\sqrt{2}}\)とアフィン関数\(2x+1\)の和ですが、アフィン関数は凸関数であるため、\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。\(f\)は狭義凸な実数ベキ関数\(x^{\sqrt{2}}\)とアフィン関数\(2x+1\)の和ですが、アフィン関数は凸関数であるため、\(f\)は狭義凸関数です。
例（実数ベキ関数と凸関数・凹関数の和）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x^{\frac{1}{2}}+2x+1
\end{equation*}を定めるものとします。\(f\)は狭義凹な実数ベキ関数\(x^{\frac{1}{2}}\)とアフィン関数\(2x+1\)の和ですが、アフィン関数は凹関数であるため、\(f\)は狭義凹関数です。
\end{equation*}を定めるものとします。\(f\)は狭義凹な実数ベキ関数\(x^{\frac{1}{2}}\)とアフィン関数\(2x+1\)の和ですが、アフィン関数は凹関数であるため、\(f\)は狭義凹関数です。
実数ベキ関数との合成関数
1変数関数と実数ベキ関数の合成関数に関して以下が成り立ちます。
命題（実数ベキ関数との合成関数）
\(\mathbb{R} _{++}\)の部分集合であるような区間上に定義された関数\(f:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\(p>0\)を満たす定数\(p\in \mathbb{R} \)と関数\(g:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =\left[ g\left( x\right) \right] ^{p}
\end{equation*}と表されるものとする。以下が成り立つ。
\end{equation*}と表されるものとする。以下が成り立つ。
- \(0<p<1\)かつ\(g\)が凹関数ならば、\(f\)は凹関数である。
- \(p>1\)かつ\(g\)が凸関数ならば、\(f\)は凸関数である。
- \(0<p<1\)かつ\(g\)が定数関数ではないアフィン関数ならば、\(f\)は狭義凹関数である。
- \(p>1\)かつ\(g\)が定数関数ではないアフィン関数ならば、\(f\)は狭義凸関数である。
- \(0<p<1\)かつ\(g\)が狭義凹関数ならば、\(f\)は狭義凹関数である。
- \(p>1\)かつ\(g\)が狭義凸関数ならば、\(f\)は狭義凸関数である。
例（実数ベキ関数との合成関数）
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\left( 2x+1\right) ^{\sqrt{2}}
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ x\in \mathbb{R} \ |\ 2x+1>0\right\}
\end{equation*}です。\(\sqrt{2}>1\)であるとともに\(2x+1\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ x\in \mathbb{R} \ |\ 2x+1>0\right\}
\end{equation*}です。\(\sqrt{2}>1\)であるとともに\(2x+1\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凸関数です。
例（実数ベキ関数との合成関数）
関数\(f:\mathbb{R} \supset X\rightarrow \mathbb{R} \)はそれぞれの\(x\in X\)に対して、\begin{equation*}f\left( x\right) =\left( 2x+1\right) ^{\frac{1}{2}}
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ x\in \mathbb{R} \ |\ 2x+1>0\right\}
\end{equation*}です。\(0<\frac{1}{2}<1\)であるとともに\(2x+1\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凹関数です。
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ x\in \mathbb{R} \ |\ 2x+1>0\right\}
\end{equation*}です。\(0<\frac{1}{2}<1\)であるとともに\(2x+1\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凹関数です。
多変数関数と実数ベキ関数の合成関数に関しても同様の主張が成り立ちます。
命題（実数ベキ関数との合成関数）
凸集合上に定義された関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)がそれぞれの\(\boldsymbol{x}\in X\)に対して定める値が、\(p>0\)を満たす定数\(p\in \mathbb{R} \)と、\(g\left( X\right) \subset \left( 0,+\infty \right) \)を満たす関数\(g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)を用いて、\begin{equation*}f\left( \boldsymbol{x}\right) =\left[ g\left( \boldsymbol{x}\right) \right]
^{p}
\end{equation*}と表されるものとする。以下が成り立つ。
\end{equation*}と表されるものとする。以下が成り立つ。
- \(0<p<1\)かつ\(g\)が凹関数ならば、\(f\)は凹関数である。
- \(p>1\)かつ\(g\)が凸関数ならば、\(f\)は凸関数である。
- \(0<p<1\)かつ\(g\)が定数関数ではないアフィン関数ならば、\(f\)は狭義凹関数である。
- \(p>1\)かつ\(g\)が定数関数ではないアフィン関数ならば、\(f\)は狭義凸関数である。
- \(0<p<1\)かつ\(g\)が狭義凹関数ならば、\(f\)は狭義凹関数である。
- \(p>1\)かつ\(g\)が狭義凸関数ならば、\(f\)は狭義凸関数である。
例（実数ベキ関数との合成関数）
関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\left( x+y\right) ^{\sqrt{2}}
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。\(\sqrt{2}>1\)であるとともに\(x+y\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。\(\sqrt{2}>1\)であるとともに\(x+y\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凸関数です。
例（実数ベキ関数との合成関数）
関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\left( x+y\right) ^{\frac{1}{2}}
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。\(0<\frac{1}{2}<1\)であるとともに\(x+y\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凹関数です。
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x+y>0\right\}
\end{equation*}です。\(0<\frac{1}{2}<1\)であるとともに\(x+y\)は定数関数ではないアフィン関数であるため、先の命題より\(f\)は狭義凹関数です。
例（実数ベキ関数との合成関数）
関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\left( x^{2}+y^{2}\right) ^{\sqrt{2}}
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x^{2}+y^{2}>0\right\}
\end{equation*}です。\(\sqrt{2}>1\)であるとともに\(x^{2}+y^{2}\)は狭義凸関数であるため、先の命題より\(f\)は狭義凸関数です。
\end{equation*}を定めるものとします。ただし、\begin{equation*}
X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ x^{2}+y^{2}>0\right\}
\end{equation*}です。\(\sqrt{2}>1\)であるとともに\(x^{2}+y^{2}\)は狭義凸関数であるため、先の命題より\(f\)は狭義凸関数です。
演習問題
問題（実数ベキ関数どうしの和）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x^{\sqrt{2}}+x^{\pi }-x^{\frac{1}{2}}
\end{equation*}を定めるものとします。\(f\)が狭義凸関数であることを示してください。
\end{equation*}を定めるものとします。\(f\)が狭義凸関数であることを示してください。
問題（実数ベキ関数との合成関数）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x^{\frac{1}{2}}\right)
\end{equation*}を定めるものとします。\(f\)が狭義凸関数であることを示してください。
\end{equation*}を定めるものとします。\(f\)が狭義凸関数であることを示してください。
問題（実数ベキ関数との合成関数）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =e^{x^{\sqrt{2}}}
\end{equation*}を定めるものとします。\(f\)が狭義凹関数であることを示してください。
\end{equation*}を定めるものとします。\(f\)が狭義凹関数であることを示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】