エンジニアを目指す浪人のブログ

情報系に役立ちそうな応用数理をゆるめにメモします

2020-12-01から1ヶ月間の記事一覧

双対問題を解くことを経て主問題を解くことの概要をまとめる

本記事は以下の過去記事の内容を用います.ラグランジュ関数,ラグランジュ双対問題,最適性条件(KKT条件)のあらすじをまとめる - エンジニアを目指す浪人のブログ 勉強を進めていて,最適化問題において,主問題を解くために双対問題を利用できることについ…

ニュートンデクリメントの別表現を導出する

本記事は以下の過去記事の内容を用います.制約なし凸最適化問題に対するニュートン法と,ニュートンステップの定義,解釈,性質をまとめる - エンジニアを目指す浪人のブログ正定値行列の逆行列は正定値であることの証明をメモする - エンジニアを目指す浪…

制約なし凸最適化問題に対するニュートン法の,目的関数に強凸性,そのヘッセ行列にリプシッツ連続性を仮定するときの収束解析をまとめる

本記事は以下の過去記事の内容を用います.制約なし凸最適化問題の目的関数に強凸性を仮定することの意味について考える - エンジニアを目指す浪人のブログ降下法の枠組みと,厳密直線探索,バックトラッキング直線探索の概要をまとめる - エンジニアを目指…

強凸関数のヘッセ行列と逆行列の,最大固有値,最小固有値,スペクトルノルムの不等式を証明する

本記事は以下の過去記事の内容を用います.強凸関数のヘッセ行列の逆行列の不等式を証明する - エンジニアを目指す浪人のブログ行列が半正定値(あるいは正定値)であるための必要十分条件はすべての固有値が非負(あるいは正)であることを証明する - エンジニ…

エルミート行列のスペクトルノルムは最大固有値の絶対値に等しいことを証明する

本記事は以下の過去記事の内容を用います.エルミート行列のすべての固有値は実数であることの証明をメモする - エンジニアを目指す浪人のブログ 勉強を進めていて,エルミート行列のスペクトルノルム(spectral norm)は最大固有値の絶対値に等しいことを証明…

目的関数に強凸性を仮定するときのニュートンデクリメントの不等式を証明する

本記事は以下の過去記事の内容を用います.制約なし凸最適化問題に対するニュートン法と,ニュートンステップの定義,解釈,性質をまとめる - エンジニアを目指す浪人のブログ強凸関数のヘッセ行列の逆行列の不等式を証明する - エンジニアを目指す浪人のブ…

強凸関数のヘッセ行列の逆行列の不等式を証明する

本記事は以下の過去記事の内容を用います.制約なし凸最適化問題の目的関数に強凸性を仮定することの意味について考える - エンジニアを目指す浪人のブログ行列が半正定値(あるいは正定値)であるための必要十分条件はすべての固有値が非負(あるいは正)である…

制約なし凸最適化問題に対するニュートン法と,ニュートンステップの定義,解釈,性質をまとめる

本記事は以下の過去記事の内容を用います.制約なし凸最適化問題の目的関数に強凸性を仮定することの意味について考える - エンジニアを目指す浪人のブログ降下法の枠組みと,厳密直線探索,バックトラッキング直線探索の概要をまとめる - エンジニアを目指…

制約なし凸最適化問題に対する最急降下法と,ノルム選択,目的関数に強凸性を仮定するときの収束解析をまとめる

本記事は以下の過去記事の内容を用います.制約なし凸最適化問題の目的関数に強凸性を仮定することの意味について考える - エンジニアを目指す浪人のブログ降下法の枠組みと,厳密直線探索,バックトラッキング直線探索の概要をまとめる - エンジニアを目指…