Неравенство Гёльдера и Минковского для конечных и бесконечных сумм

Материал из Циклопедии
Перейти к: навигация, поиск

Пусть заданы числа (вообще говоря комплексные) [math]x_1,\ldots ,x_n, y_1,\ldots,y_n[/math] и (положительные) действительные числа [math]1 \lt p \lt +\infty, [/math] и [math]q[/math], определяемое равенством [math]{1\over p} + {1\over q}=1.[/math] Тогда справедливы неравенства:

[math]\sum^{n}_{i=1} \mid x_i y_i \mid \leq \left( \sum^{n}_{i=1} {\mid x_i\mid}^p \right)^{1/p} \left( \sum^{n}_{i=1} {\mid y_i\mid}^q \right)^{1/q}[/math]

(Неравенство Гёльдера) и

[math]\left( \sum^{n}_{i=1} {\mid x_i + y_i \mid}^p\right)^{1/p} \leq \left( \sum^{n}_{i=1} {\mid x_i\mid}^p \right)^{1/p} + \left( \sum^{n}_{i=1} \ {\mid y_i\mid}^p \right)^{1/p}[/math]

(Неравенство Минковского).

Их доказательство проводится по той же схеме, что и в случае соответствующих интегральных неравенств Гёльдера и Минковского.

Введём для краткости обозначения:

[math]\lVert x\rVert_{p} =^{\!\!\!\!\!\!def} \left( \sum^{n}_{i=1} {\mid x_i\mid}^p \right)^{1/p},\ \ \lVert y\rVert_{q} =^{\!\!\!\!\!\!def} \left( \sum^{n}_{i=1} {\mid y_i\mid}^q \right)^{1/q}\ \ (*)[/math]

Применив неравенство [math]ab \leq {a^p\over p} + {b^q\over q}, \ \ a\geq 0,\ \ b\geq 0 [/math] к

[math]a= {\mid x_i\mid\over \lVert x\rVert_p},\ \ b= {\mid y_i\mid\over \lVert y\rVert_q},\ \ i=1,2,\ldots , n,\ \text{имеем} {\mid x_i\mid\over \lVert x\rVert_p} \ {\mid y_i\mid\over \lVert y\rVert_q} \leq {1\over p} {\mid x_i\mid^p\over \lVert x\rVert^p_p} + {1\over q} {\mid y_i\mid^q\over \lVert y\rVert^q_q}.[/math]

Просуммировав эти неравенства по i от 1 до n в силу (*) и условия [math]{1\over p}+{1\over q}=1[/math] получим

[math]{1\over \lVert x\rVert_q \lVert y\rVert_q} \sum^n_{i=1} \mid x_i y_i\mid \leq {1\over p\lVert x\rVert^p_p} \sum^n_{i=1} \mid x_i \mid^p + {1\over q\lVert y\rVert^q_q} \sum^n_{i=1} \mid y_1 \mid^q \ =\ {1\over p}+{1\over q} =1,[/math]

откуда

[math]\sum^n_{i=1} \mid x_i y_1 \mid \leq \lVert x \rVert_p \lVert y\rVert_q ;[/math]

тем самым неравенство Гёльдера доказано.

Неравенство Минковского следует из неравенства Гёльдера из очевидного соотношения

[math] \sum^n_{i=1} \mid x_i+y_i\mid^p \leq \sum^n_{i=1} \mid x_i \mid \mid x_i + y_i \mid^{p-1}\ +\ \sum^n_{i=1} \mid y_i \mid \mid x_i +y_i \mid^{p-1} ,[/math]

применив к каждому слагаемому в правой части неравенство Гёльдера, получим

[math]\sum^n_{i=1} \mid x_i+ y_i \mid ^p \leq \left( \sum^n_{i=1} \mid x_i \mid^p \right)^{1/p} \left( \sum^n_{i=1} \mid x_i + y_i \mid^{q(p-1)} \right)^{1/q} \ + \ \left( \sum^n_{i=1} \mid y_i \mid^p \right )^{1/p}\ \left( \sum^n_{i=1} \mid x_i + y_i \mid^{q(p-1)} \right)^{1/q}.[/math]

Если левая часть неравенства равна нулю, то неравенство Минковского, очевидно, справедливо; если же она не равна нулю, то, сокращая обе части неравенства на множитель [math]\left( \sum^n_{i=1} \mid x_i + y_i \mid^p \right)^{1/q}[/math] и заметив, что [math]{1\over p} + {1\over q} = 1, \ q(p-1)=p,[/math] получим неравенство Минковского.

Для любых двух рядов [math]\sum^\infty_{n=1}\ x_n , \sum^\infty_{n=1}\ y_n[/math] справедливы аналогичные неравенства

[math]\sum^\infty_{n=1} \mid x_n y_n \mid \leq \left( \sum^\infty_{n=1} \mid x_n \mid^p \right)^{1/p} \left( \sum^\infty_{n=1} \mid y_n \mid^q \right)^{1/q} \ \ \ (1)\ ,[/math]

[math]\left( \sum^\infty_{n=1} \mid x_n + y_n \mid^p \right)^{1/p} \leq \left( \sum^\infty_{n=1} \mid x_n \mid^p \right)^{1/p} + \left( \sum^\infty_{n=1} \mid y_n \mid^p \right)^{1/p}\ \ \ (2)\ .[/math]

Действительно, для всех частичных сумм одного и того же порядка заданных рядов справедливы неравенства Гёльдера и Минковского. Переходя в них к пределу при [math]n \rightarrow\infty,[/math] мы и получим неравенства (1) и (2).

Из доказанных неравенств следует, в частности, что если ряды [math]\sum^\infty_{n=1} \mid x_n \mid^p ,\ \sum^\infty_{n=1} \mid y_n \mid^q [/math] сходятся, то ряд [math]\sum^\infty_{n=1} \mid x_n y_n \mid[/math] сходится, а если сходятся ряды [math]\sum^\infty_{n=1} \mid x_n \mid^p, \ \sum^\infty_{n=1} \mid y_n \mid^p,[/math] то сходится ряд [math]\sum^\infty_{n=1} \mid x_n + y_n \mid^p .[/math]

[править] См. также

Персональные инструменты
Пространства имён

Варианты
Действия
Навигация
Инструменты