多凸函数

数学における多凸性（たとつせい、テンプレート:Lang-en-short）とは、行列の空間上で定義される函数の凸性の概念の一般化である。主に固体力学 に応用を持つ。特に、固体の歪みエネルギーに対する物理的な条件はふつう多凸（だが凸でない）函数になる。

任意のテンプレート:仮リンクな多凸函数は凸函数となるが、逆は成り立たない。必ずしも任意の凸または準凸函数は多凸でない。

定義

テンプレート:Harvtxt は弾性あるいは弾性変形位置エネルギーに対して凸性を仮定することは物理的な状況に合わないこと、つまり弾性ポテンシャルは凸函数でないことがあり得ることを示した。Ball は凸性の概念が制約として強すぎるためより弱い概念で置き換えられるべきであると提唱、自身は解の存在に関するいくらかの結果を定式化できるような制約の弱い合理的な条件として多凸性の定義を考案した。大抵の文献では Ball が最初に考案したものよりもやや広い意味で多凸函数を定義する。

体 テンプレート:Mvar（これは実数体 テンプレート:Math でも複素数体 テンプレート:Math でもよい）上のすべての テンプレート:Math 行列のなす空間テンプレート:Math 上の拡大実数値函数 テンプレート:Math} が多凸 (polyconvex) であるとは、

$A\mapsto f(A)$

が行列 テンプレート:Mvar のすべての小行列式を変数として凸であること、より具体的には

$f(A)=F({\mathrm{adj}}_{1}A,{\mathrm{adj}}_{2}A,\dots ,{\mathrm{adj}}_{r}A)$

が 1 ≤ p ≤ min{m, n} なる任意の テンプレート:Mvar に対する テンプレート:Math 小行列式たちに関する、テンプレート:Mvar 上の凸函数となることを言う。ただし、テンプレート:Math は テンプレート:Mvar の テンプレート:Math 小行列式を全て並べたもの（たとえば テンプレート:Math は テンプレート:Mvar の テンプレート:Math 個ある要素全て）、テンプレート:Math} である。テンプレート:Mvar は

$\tau (m,n):=\sum _{p=1}^r\sigma (p),\sigma (p):=(\genfrac{}{}{0ex}{}{m}{p})(\genfrac{}{}{0ex}{}{n}{p})=\frac{m!n!}{(p!{)}^2(m-p)!(n-p)!}$

と置けば テンプレート:Math 個の引数を持つ拡張実数値函数 テンプレート:Math である。

例と性質

多凸性は、凸性よりも弱い性質である。例えば、次で与えられる函数 f は多凸であるが、凸ではない。

$f(A)=\{\begin{array}{cc}\frac{1}{\det (A)},& \det (A)>0;\\ +\mathrm{\infty },& \det (A)\le 0.\end{array}$

参考文献

• テンプレート:Cite book
• テンプレート:Citation
• テンプレート:Citation