|
|
1行目: |
1行目: |
− | ヤングの不等式(-ふとうしき、Young's inequality)とは、[[積]]と[[べき乗]]の[[加法|和]]との間に成り立つ[[不等式]]であり、様々な分野で広く用いられている。
| + | {{テンプレート:20180815sk}} __NOINDEX__ |
− | | |
− | ''a'',''b''を非負値な[[実数]]、1 < ''p'',''q'' < ∞を1/''p'' + 1/''q'' = 1 なる[[実数]]とする。このとき、
| |
− | | |
− | :<math>ab \le \frac{a^p}{p} + \frac{b^q}{q}.</math>
| |
− | | |
− | が成り立つ。[[等号]]が成立するのは ''a''<sup>''p''</sup> = ''b''<sup>''q''</sup> のときに限る。
| |
− | | |
− | とくに、これを変形した任意のε>0に対する式
| |
− | | |
− | :<math>ab \le \varepsilon a^p + \frac{1}{\varepsilon ^{\frac{1}{p-1}}} b^q.</math>
| |
− | | |
− | もよく使われる。
| |
− | | |
− | == 一般化されたヤングの不等式 ==
| |
− | | |
− | ''f''(''x'')を''x''≧0で[[連続]]、[[単調関数|狭義単調増加]]、''f''(0) = 0なる[[関数 (数学)|関数]]で、''a'',''b''>0とすると、
| |
− | | |
− | :<math> ab \le \int ^a _0 f(x) \ dx + \int ^b _0 f^{-1} (x) \ dx </math> | |
− | | |
− | が成り立つ。[[等号]]は''b''=''f''(''a'')のときに限る。
| |
− | | |
− | ''f''(''x'')=''x<sup>p-1</sup>''に適用すれば冒頭のヤングの不等式が得られる。
| |
− | | |
− | == 畳み込みに関するヤングの不等式 ==
| |
− | | |
− | 1 ≤ ''p'',''q'' ≤ ∞ かつ 1/''r'' = 1/''p'' + 1/''q'' - 1 ≥ 0 とし、''f'' を ''L<sup>p</sup>''('''R'''<sup>''n''</sup>) 、''g'' を ''L<sup>q</sup>''('''R'''<sup>''n''</sup>) の元とする。このとき、''f'' * ''g'' は ''L<sup>r</sup>''('''R'''<sup>''n''</sup>) の元となり、
| |
− | | |
− | :<math> \| f * g \| _{L^r} \le \| f \| _{L^p} \| g \| _{L^q} </math>
| |
− | | |
− | が成り立つ。
| |
− | | |
− | === 例 ===
| |
− | | |
− | とくに、''p'',''q'' の片方を 1 にしたものが有用である。例えば ''q'' = 1 とすれば、''f'' を ''L<sup>p</sup>''('''R'''<sup>''n''</sup>) 、''g'' を ''L<sup>1</sup>''('''R'''<sup>''n''</sup>) の元としたときに、''f'' * ''g'' は ''L<sup>p</sup>''('''R'''<sup>''n''</sup>) の元となり、
| |
− | | |
− | :<math> \| f * g \| _{L^p} \le \| f \| _{L^p} \| g \| _{L^1} </math>
| |
− | | |
− | が成り立つことが分かる。これは ''f'' と ''g'' の[[畳み込み]]の ''L<sup>p</sup>''-ノルムが ''f'' の ''L<sup>p</sup>''-ノルムと ''g'' の''L<sup>1</sup>''-ノルムの積で抑えられていることを表している。
| |
− | | |
− | | |
− | == 関連項目 ==
| |
− | *[[不等式]]
| |
− | *[[コーシー・シュワルツの不等式]]
| |
− | *[[ヘルダーの不等式]]
| |
− | *[[ミンコフスキーの不等式]]
| |
− | *[[畳み込み]]
| |
− | | |
− | {{DEFAULTSORT:やんくのふとうしき}}
| |
− | [[Category:不等式]]
| |
− | [[Category:数学に関する記事]]
| |
− | | |
− | {{Math-stub}}
| |