積に対するヤングの不等式

数学における（積に対する）ヤングの不等式（ヤングのふとうしき、）は二つの数の積を評価する不等式である。名称は、に因む。ヤングの畳み込み不等式と混同すべきではない。

ヤングの不等式はヘルダーの不等式の証明に利用できる。二つの項の積がヤングの不等式によりそれらの項の冪を適当にスケールしたものの和として評価できることから、ヤングの不等式は偏微分方程式論における非線形項を評価するのにも広く用いられる。

標準的な主張 
ヤングの不等式の標準的な主張では、 は非負実数とし、 は  以上の実数で  を満たすもの（ヘルダーの意味での「共軛指数」）とするとき、 が成り立つことを述べる。

等号の成立には  が必要十分である。この形のヤングの不等式はイェンゼンの不等式から証明することができ、ヘルダーの不等式の証明に利用できる。

 注 特別の場合として冪指数を  ととった  はより初等的な証明が可能である。またここから、いわゆる  付きのヤングの不等式（ は任意） も生じる。

行列版 
安藤毅は複素行列に対するヤングの不等式の一般化（順序はによる）を示した。
 定理 (行列ヤング不等式) 位数  の任意の複素行列の対  に対し、ユニタリ行列  が一意に存在して、 とできる。ここに  は行列の随伴で、 とする。

増大函数による一般化 

ある種のヤングの不等式は を閉区間  () で狭義単調増大な実数値連続函数で  となるものを用いて記述される。 は  の逆写像とすれば、任意の  および  に対し、 であり、等号成立は  が必要十分。

フェンケル–ルジャンドル変換を用いた一般化 
 は凸函数として、そのルジャンドル変換（凸共軛）を  と書けば、 が成り立つ。これはルジャンドル変換の定義から直ちに従う。

より一般に、 が実線型空間  上で定義された凸函数で、その凸共軛を （これは双対空間  上定義される）と書けば、 である。ただし、 は双対性の内積とする。

 例
  のルジャンドル変換は  ( であるから、冒頭に述べたヘルダー共軛指数に対するヤングの不等式は、特別の場合になっている。
  のルジャンドル変換は  であるから、 が任意の  に対して成立する。この評価式は、指数モーメント条件下のにおいて有用である（ は、のである相対エントロピーに現れる）。

関連項目 
 凸共役性
 ルジャンドル変換

注

注釈

出典

外部リンク 
 
 
  /  / 
 
  / 

不等式
解析学
数学に関する記事
数学のエポニム