シュワルツの不等式の積分形

シュワルツの不等式の積分バージョン

pxqp\leqq x\leqq q で定義された任意の連続関数 f(x),g(x)f(x),g(x) に対して, (pqf(x)2dx)(pqg(x)2dx)(pqf(x)g(x)dx)2 \left(\int_p^q f(x)^2dx\right)\left(\int_p^q g(x)^2dx\right) \geq \left(\int_p^q f(x)g(x)dx\right)^2 等号成立条件は g(x)=tf(x)g(x)=tf(x) となる tt が存在する(または f(x)=0f(x)=0 である)こと。

シュワルツの不等式の積分バージョンを紹介します。

数列版との関係

高校数学でよく登場するシュワルツの不等式(数列バージョン)は以下のようなものでした。

(a12+a22)(b12+b22)(a1b1+a2b2)2 (a_1^2+a_2^2)(b_1^2+b_2^2)\geq (a_1b_1+a_2b_2)^2

この式と「シュワルツの不等式の積分バージョン」はなんとなく似ていますね。

実は「数列バージョン」と「積分バージョン」は,いずれも,後述する シュワルツの不等式(一般形)の特殊ケースとみなせます。

シュワルツの不等式(一般形)

任意の2つのベクトル aundefined,bundefined\overrightarrow{a},\overrightarrow{b} に対して,

(aundefinedaundefined)(bundefinedbundefined)(aundefinedbundefined)2 (\overrightarrow{a}\cdot\overrightarrow{a})(\overrightarrow{b}\cdot\overrightarrow{b})\geq(\overrightarrow{a}\cdot\overrightarrow{b})^2

が成立します。これを,シュワルツの不等式(一般形)と呼ぶことにします。

  • aundefined=(a1,a2)\overrightarrow{a}=(a_1,a_2)bundefined=(b1,b2)\overrightarrow{b}=(b_1,b_2) とすると,数列バージョン: (a12+a22)(b12+b22)(a1b1+a2b2)2(a_1^2+a_2^2)(b_1^2+b_2^2)\geq (a_1b_1+a_2b_2)^2 が得られます。

  • より一般に,aundefined=(a1,a2,,an)\overrightarrow{a}=(a_1,a_2,\cdots,a_n)bundefined=(b1,b2,,bn)\overrightarrow{b}=(b_1,b_2,\cdots, b_n) とすると,(i=1nai2)(i=1nbi2)(i=1naibi)2\displaystyle \left( \sum_{i=1}^n a_i^2 \right) \left( \sum_{i=1}^n b_i^2 \right) \geq \left( \sum_{i=1}^n a_i b_i \right)^2 が得られます。

  • 実は,実数値関数 f(x),g(x)f(x),\:g(x) もベクトルと考えることができます。そして「かけ算して積分したもの」を内積と考えることができます。すると,シュワルツの不等式の積分バージョンが得られます。

※少し難しいですが,シュワルツの不等式(一般形)の主張における「任意の2つのベクトル」をより厳密に言うと,「任意の内積空間 VV と,VV に属する2つのベクトル」です。

シュワルツの不等式(積分バージョン)について

  • 証明は?
    積分バージョンの証明も,数列バージョンと同様にできます。つまり,tt に関する二次方程式 pq(g(x)tf(x))2dx=0\displaystyle\int_p^q(g(x)-tf(x))^2dx=0 の判別式が 00 以下になることから導出できます。

  • 等号成立条件は?
    g(x)=tf(x)g(x)=tf(x) となる tt が存在する(または f=0f=0),です。「等号成立条件は,片方がもう片方の定数倍」と言うこともできます。数列バージョンと似ていますね。

  • 大学入試で使う?
    「知らないと困る」ことは無いですが,知っていると若干有利になる場合があります。愛知県立大学2014年理系第3問で「積分バージョンのシュワルツの不等式を証明して,その結果を応用する」問題が出題されました。具体的には, ππ{f(x)}2dx=1\displaystyle\int_{-\pi}^{\pi} \{f(x)\}^2dx=1 を満たす連続関数 f(x)f(x) の中で,ππf(x)cos2xdx\displaystyle\int_{-\pi}^{\pi}f(x)\cos 2xdx を最大にするものを求める問題です。シュワルツの不等式に関する知識が無くても誘導に従えば解ける問題ですが,知識があった方が落ち着いて対応できます。

→高校数学の問題集 ~最短で得点力を上げるために~のT131では,積分バージョンに関する例題と2通りの解答を紹介しています。

大学で抽象的な数学を理解すれば,「関数もベクトルの一種」であることがわかります。