「自己整合障壁関数」の版間の差分

提供: ORWiki
ナビゲーションに移動 検索に移動
(新しいページ: ''''【じこせいごうしょうへきかんすう (self-concordant barrier function)】''' 以下の条件を満たす開凸領域 $F\subseteq {\bf R}^n$ 上の実数値関...')
 
 
(3人の利用者による、間の4版が非表示)
1行目: 1行目:
 
'''【じこせいごうしょうへきかんすう (self-concordant barrier function)】'''
 
'''【じこせいごうしょうへきかんすう (self-concordant barrier function)】'''
  
以下の条件を満たす開凸領域 $F\subseteq {\bf R}^n$ 上の実数値関数 $g$.
+
以下の条件を満たす開凸領域 <math>F\subseteq \mathbf{R}^n \,</math> 上の実数値関数 <math>g \,</math>.
\vspace{-0.6zw}
 
\begin{enumerate}
 
\item[(1)] 任意の $\bar{x}\in\partial F$ に収束する$F$ の任意の点列 $\{ x^k \}$ に対し,$k\rightarrow \infty$ で $g(x^k)\rightarrow\infty$ となる.
 
\item[(2)] 任意の $x\in F$ において, 任意の方向 $h\in {\bf R}^n$ に対して, 次が成り立つ.
 
  
\[
+
(1) 任意の <math>\bar{x}\in\partial F \,</math> に収束する<math>F \,</math> の任意の点列 <math>\{ x^k \} \,</math> に対し,<math>k\rightarrow \infty \,</math> で <math>g(x^k)\rightarrow\infty \,</math> となる.
 +
 
 +
(2) 任意の <math>x\in F \,</math> において, 任意の方向 <math>h\in \mathbf{R}^n \,</math> に対して, 次が成り立つ.
 +
 
 +
 
 +
<center>
 +
<math>
 
\begin{array}{l}
 
\begin{array}{l}
 
  \displaystyle{\left|\sum_{i,j,k}\frac{\partial^3 g}{\partial x_i\partial x_j\partial x_k}(x)
 
  \displaystyle{\left|\sum_{i,j,k}\frac{\partial^3 g}{\partial x_i\partial x_j\partial x_k}(x)
 
  h_i h_j h_k \right| \leq } \\
 
  h_i h_j h_k \right| \leq } \\
\hspace*{20mm} \displaystyle{2 \left|\sum_{i,j}\frac{\partial^2 g}{\partial x_i\partial x_j}(x)
+
\ \ \ \ \ \ \ \ \ \ \displaystyle{2 \left|\sum_{i,j}\frac{\partial^2 g}{\partial x_i\partial x_j}(x)
 
  h_i h_j \right|^{3/2},} \\[1.4em]
 
  h_i h_j \right|^{3/2},} \\[1.4em]
 
  \displaystyle{\left(
 
  \displaystyle{\left(
18行目: 20行目:
 
   \leq \nu \sum_{i,j}\frac{\partial^2 g}{\partial x_i\partial x_j}(x)h_ih_j.}
 
   \leq \nu \sum_{i,j}\frac{\partial^2 g}{\partial x_i\partial x_j}(x)h_ih_j.}
 
\end{array}
 
\end{array}
\]
+
\,</math>
\end{enumerate}
+
</center>
 +
 
 +
[[Category:線形計画|じこせいごうしょうへきかんすう]]

2008年11月9日 (日) 18:16時点における最新版

【じこせいごうしょうへきかんすう (self-concordant barrier function)】

以下の条件を満たす開凸領域 上の実数値関数 .

(1) 任意の に収束する の任意の点列 に対し, となる.

(2) 任意の において, 任意の方向 に対して, 次が成り立つ.