(i)
sup n an (T , ) c |
|
r |
, |
(5.4) |
n |
|
|
|
|
|
|
|
|
(ii) если |
|
r |
, то |
|
|
|
lim sup n an (T , n ) c |
|
r |
. |
(5.5) |
n |
|
|
|
|
|
|
|
|
Всюду в статье неравенство A << B означает A << c ∙ B, где константа, c > 0,
абсолютная или зависит только от p,q, α. Соотношение A ≈ B понимается как
A << B << A. Обозначения := и =: используются для определения новых вели-
чин; N, Z – множества всех натуральных и целых чисел соответственно; K
означает либо конечное, либо счётное бесконечное индексное множество,
символизирует конец доказательства.
§2 Оценки an (T , ) и |
Lq (I ) на интервале I (a, b) (0, ) |
Критерий ограниченности и компактности оператора Римана – Лиувилля заключён в следующей теореме.
Теорема 5.3[32]. Пусть I = (a, b), 0 ≤ a < b ≤ ∞, α > 0,
0 < q < p < ∞, |
1 |
: |
1 |
|
1 |
, p max(1/ , 1). Тогда |
|
||||||||
|
|
|
|
|
|||||||||||
|
|
s |
q |
|
p |
|
|
|
|
|
|
||||
(i) оператор Tα, υ ограничен из Lp(I) в Lq(I), если |
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
s / p |
1/ s |
||||
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
(x)(x a) 1 |
|
qdx |
|
|
(t)(t a) 1 |
|
q dt |
|
|||
B |
b t a s / p |
|
b |
|
|
|
, |
||||||||
|
a |
|
t |
|
|
|
|
|
|
|
|
|
|
||
причём
T , |
L p (I ) |
Lq (I ) |
B. |
|
|
(ii) оператор Tα, υ : Lp(I) → Lq(I) компактен, если
51
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
B < ∞. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
Из теоремы следует, что если Tα, υ : Lp(I) → Lq(I) ограничен, то |
Lq (I ) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
для любого внутреннего интервала I |
|
|
|
|
|
|
|
I . В частности, если Tα, υ : Lp(0, ∞) → |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Lq(0, ∞), то υ Lq(I) для любого I = (a, b) при 0 < a < b < ∞. |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Лемма 5.2.1. Для 0 < q < 1 < p < ∞, |
|
N на конечном интервале |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
I (a, b) |
(0, |
) выполняется оценка |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
T , |
f |
|
|
|
L |
|
(I ) |
|
|
|
|
|
|
|
I |
|
|
|
|
|
|
|
1/ p |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lq (I ) |
|
|
|
f |
|
|
|
L p (I ) , |
|
(5.6) |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
для всех |
f |
L p (I ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Доказательство. Применяя неравенство Гельдера с показателями p и p', получаем |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
1/ q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
x(x t) |
|
|
|
1 f (t)dt |
|
|
||||||||||||||||||||||||||||||||||||
|
|
T , |
f |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(x) |
|
|
|
|
|
|
dx |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
Lq (I ) |
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
b |
|
|
|
|
|
|
|
|
|
1/ q |
|
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1/ p |
b |
|
|
|
|
|
|
|
|
|
|
|
|
|
1/ p |
|
||||||||||||||||||||||||||||||
|
|
|
(x) |
|
q dx |
|
|
|
|
|
|
|
|
|
|
f (t) |
|
|
|
|
|
|
p dx |
|
b t |
|
( 1) p dt |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
I |
|
|
1/ p |
|
|
|
|
|
|
|
|
|
|
|
L (I ) |
|
|
|
f |
|
|
|
L |
p |
(I ). |
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
В дальнейшем величина |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
J |
, |
|
|
|
(I ) |
: |
|
I |
|
|
|
|
|
|
|
1/ p |
|
|
|
|
|
|
|
Lq (I ) |
. |
|
|
|
|
|
|
|
|
(5.7) |
|||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
будет играть важную роль, поэтому в леммах 2.2 – 2.3 докажем ряд её
свойств на конечном интервале I (0, ) . |
|
|
|
|
|
||||||
Лемма 5.2.2. Пусть 0 < q < 1 < p < ∞, |
1 |
|
1 |
|
1 |
. |
|||||
|
|
|
|
|
|
|
|||||
|
|
|
|
|
r |
|
p |
r |
|||
|
N |
|
|
|
|
|
|
|
|
|
|
(i) Для |
Lq (I ) и Ik |
справедливо неравенство |
|||||||||
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
N |
|
1/ r |
|
|
|
|
|
|
(5.8) |
|
|
|
r |
|
|
|
|
|
|
|||
|
J |
, (I k ) |
|
|
J , |
(I ). |
|||||
|
|
|
|
|
|
||||||
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
(ii) Для 1, |
2 Lq (I ) и любого разбиения интервала Ik имеем |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
k 1 |
|
|
|
52 |
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
1 (Ik )r |
|
|
|
N |
|
, 2 (Ik )r |
|
|
|
|
|
|
|
|
|
|
|
(I )r . |
|
|
|
|||||||
|
|
|
|
J , |
|
|
|
|
J |
|
|
J , |
|
1 |
2 |
|
(5.9) |
||||||||||||||||||
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
k |
1 |
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
|
|||
|
Доказательство. (i) Применяя неравенство Гельдера с показателями |
||||||||||||||||||||||||||||||||||
|
r |
||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
и |
1 |
, получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
( 1/ p)r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
N |
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
r / q |
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
( |
|
1/ p)r |
|
|
|
|
|
|
|
|
q dx |
|
|
|
||||||||||
|
|
|
|
J , (Ik )r |
|
|
|
|
Ik |
|
|
|
|
|
(x) |
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
k |
1 |
|
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
Ik |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
N |
( |
|
|
1/ p)r |
N |
|
|
|
|
|
|
|
|
|
|
r / q |
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
qdx |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
Ik |
|
|
|
|
|
|
|
|
|
|
Ik |
|
(x) |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
k |
1 |
|
|
|
|
|
|
|
|
k |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
N |
|
( |
|
1/ p)r |
|
|
|
r |
|
|
|
|
|
|
N |
|
|
r |
J r , (I ). |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
Ik |
|
|
|
|
|
|
|
|
|
|
|
|
J , |
|
Ik |
|
|
|
||||||||||||||
|
|
|
k |
1 |
|
|
|
|
|
|
|
|
|
Lq (I ) |
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
(ii) Пусть |
1, |
2 |
|
|
Lq (I ) , 0 < r < 1 и 0 < q < 1 < p < ∞, тогда |
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
N |
1 (Ik )r |
|
|
N |
|
|
2 (Ik )r |
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
J , |
|
|
|
J , |
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
k |
1 |
|
|
|
|
|
|
|
|
k |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N Ik (
1/ p)r k 1
N |
( 1/ p)r |
|
|
|
|
Ik |
( |
|
|
|
|
|
Ik |
|
k 1 |
|
|
||
|
|
|
||
N Ik (
1/ p)r k 1
N Ik (
1/ k 1
|
|
|
|
|
|
|
|
|
|
q |
r / q |
|
|
|
|
|
|
|
|
|
|
|
|
q r / q |
|
|
|||||||||
|
Ik |
|
|
1 |
|
|
|
|
|
|
Ik |
|
2 |
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
1 |
|
r )q / r r / q |
|
|
|
|
|
( |
|
|
|
2 |
|
r )q / r r / q |
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ik |
|
|
|
|
|
|
|
|
||||
|
1 |
|
r |
|
Lq / r (Ik ) |
|
|
|
|
|
2 |
|
r |
|
|
Lq / r (Ik ) |
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
p)r |
|
|
|
1 |
|
r |
|
|
2 |
|
r |
|
|
|
|
|
Lq / r (Ik ) |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
N |
( 1/ p)r |
|
|
|
r |
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Ik |
|
1 |
2 |
|
|
|
Lq / r (Ik ) |
||
k 1 |
|
|
|
|
|
|
|
|
||
53 |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
||
|
|
|
|
N |
|
|
( |
|
|
|
|
|
1/ p)r |
|
|
|
|
|
|
|
r |
|
q / r r / q |
|
|
|
|
|
|||
|
|
|
|
|
|
|
Ik |
|
|
|
|
|
Ik |
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
N |
Ik |
|
( 1/ p)r |
|
|
|
|
|
|
2 |
|
q r / q |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
Ik |
|
1 |
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
N |
|
|
( |
1/ p)r |
|
|
|
|
|
|
|
|
|
r |
N |
r |
|
|
|
|
|
|
|
r |
|
|
|||||
|
Ik |
|
|
1 |
2 |
|
|
|
|
|
J |
|
|
|
|
|
|
(Ik ) J |
|
(I ). |
|||||||||||
|
|
|
|
|
|
|
|
Lq (Ik ) |
|
|
, |
|
1 2 |
|
, |
|
1 2 |
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
k 1 |
|
|
|
|
|
|
k |
1 |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Лемма 5.2.2 необходима для доказательства следующего утверждения.
Лемма 5.2.3. Пусть I |
(a, b), |
|
Lq (I ) . Тогда (i) справедливо равенство |
|||||||||||||||
|
|
|
|
|
N |
|
|
|
|
|
1/ r |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
)r |
|
|
|
|
|
|
|
|
|
|
|
|
|
inf |
|
J |
, |
(I |
k |
: L |
|
I ,..., I |
N |
|
. |
(5.10) |
||
|
|
Lr (I ) |
|
L |
|
|
|
|
|
|
1 |
|
|
|
||||
|
|
|
k |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
(ii) Для каждого n |
N существует разбиение |
* |
* |
, |
* |
* |
||||||||||||
L |
I1 |
I2 |
, ..., In |
|||||||||||||||
интервала I такое, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
J |
, |
(I |
*) |
J |
, |
(I *) |
... J |
, |
(I |
* ). |
|
|
|
|
||
|
|
|
1 |
|
2 |
|
|
|
n |
|
|
|
|
|||||
Доказательство. Равенство (5.10) докажем в три этапа. На первом этапе покажем, что
|
|
N |
1/ r |
|
|
|
J , (Ik )r . |
||
Lr (I ) |
inf |
|
||
L |
k |
1 |
||
|
||||
|
|
Действительно, применяя неравенство Гельдера
1 |
, получаем |
( 1/ p)r |
|
r |
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
q dx |
r / q |
|
( |
|
|
|
|
|
|
|
|
|
|
(x) |
|
Ik |
|||||||
|
Lr |
(I ) |
1 |
Ik |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
( |
1/ p)r |
|
|
|
|
|
|
|
r |
N |
|||||
|
|
|
Ik |
|
|
|
|
|
|
|
|
J |
|||||||
|
k |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
Lq (Ik ) |
k |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
с показателями |
q |
и |
|
r |
|||
|
|
1/ p)r
, (Ik )r .
Вторым шагом проверим (5.10) для ступенчатых функций
54
N
(t) ck Ik (t) k 1
для некоторого разбиения I1, ... , IN интервала I и сk ≥ 0.
N |
N |
|
r / q ( 1/ p)r cr |
N |
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
J , (Ik )r |
|
Ik |
|
cr |
|
I |
|
|
|
|
|
|
|
|
|
, |
||
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
k |
k |
|
|
|
|
|
|
|
|
|
|
|
Lr (I ) |
|
k 1 |
k 1 |
|
|
|
|
|
|
|
|
|
||||||||
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
что в результате даёт
N |
1/ r |
|
||
|
|
|
|
|
J , (Ik )r |
|
|
Lr (I ) |
. |
|
|
|||
k 1 |
|
|
|
|
|
|
|
|
|
Далее зададим
Lq (I ) и ε > 0, выберем φ ≥ 0 так, чтобы выполнялось неравенство
|
|
|
|
Lq (I ) |
|
I |
|
( |
1/ p) , |
|
|
|
(5.11) |
||||||||||
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
которое по неравенству Гельдера влечёт |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
Lr (I ) |
. |
|
|
|
|
|
|
|
|
|
|
(5.12) |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
При 0 < r < 1, используя (5.9), (5.11) и (5.12), получаем |
|
|
|
||||||||||||||||||||
N |
|
|
|
N |
|
|
|
|
|
|
|
|
|
|
|
|
r |
|
|
|
|||
J , (Ik )r |
|
J , |
(Ik )r |
r |
|
|
|
|
|
|
|
|
2 r |
, |
|||||||||
|
|
|
|
|
|
||||||||||||||||||
k 1 |
|
|
|
k 1 |
|
|
|
|
|
|
|
|
|
|
|
|
Lr (I ) |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
что при ε → 0 доказывает (5.10). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Для проверки (ii) зафиксируем n |
|
N и определим функцию Φ на мно- |
|||||||||||||||||||||
жестве n-разбиений интервала I: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
(L) : |
max |
J |
, (Ik ) |
min |
J |
, (Ik ), |
L |
I1, ..., |
In . (5.13) |
||||||||||||||
1 |
k |
n |
1 |
|
k |
n |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Функция Φ(L) непрерывно зависит от n-точек, определяющих разбиение
L-интервала I, следовательно, существует разбиение |
* |
* |
0 , на кото- |
L , |
Ik |
ром функция Φ достигает своего минимального значения. Покажем, что
Φ(L*) = 0. |
(5.14) |
Допустим, что существует другое разбиение L I1 , ..., In |
L* , на ко- |
тором функция (5.13) достигает минимального значения: |
|
Φmin = Φ(L`) > 0. |
|
55 |
|