Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

5652

.pdf
Скачиваний:
5
Добавлен:
13.11.2022
Размер:
2.64 Mб
Скачать

(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

 

Тогда найдётся номер k0

1, ..., n

такой, что

J ,

(Ik0 )

 

max

J , (Ik )

 

 

 

 

 

 

 

1 k

n

и

 

 

 

 

 

 

 

J ,

(Ik

0

)

J , (Ik 1 ).

 

 

 

 

 

 

 

 

 

 

 

Если теперь уменьшить

Ik 0

 

на достаточно малое δ, например

 

Ik 0

 

 

xk 0

xk 0 1

 

xk 0

 

xk 0 1

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с условием, что в полученном новом разбиении

L

I1 , ..., In L

найдётся номер k1

1, ..., n , что

 

 

 

 

 

 

 

 

 

 

 

J , (Ik

)

 

max

J

, (Ik

) и J ,

(Ik

0

)

J ,

(Ik

).

1

 

1 k

n

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда мы получили новое разбиение L’’, для которого Φ(L’) > Φ(L’’). Повторив эту процедуру, мы имеем новое разбиение L’’’:

Φ(L’) > Φ(L’’) > Φ(L’’’).

Таким образом, можно строить новые разбиения, на которых функция Φ будет принимать меньшее значение. Следовательно, всякое разбиение L’, для которого Φ(L’) > 0 не может быть минимальным, и это доказывает (5.14). В силу конструкции функции (5.13)

min

( *)

0 при J

,

(I *) J

,

(I

*) ...

J

,

(I

* ),

 

 

1

 

2

 

 

n

что и заканчивает доказательство леммы 5.2.3. 

 

 

 

 

Пусть L Ik k K , I

Ik – представление интервала

I

(0, ) в

 

 

k K

 

 

 

 

 

 

 

 

 

виде объединения попарно непересекающихся конечных интервалов Ik. Рассмотрим разложение пространства Lp(I) в сумму двух подпро-

странств – Lop (I ) и Д cp (I ).

Пусть pi ( y) , j 0, 1, ... ортонормированная в L2

(1, 2) система поли-

номов. Тогда для любого интервала I

(a, b)

(0,

) полиномы

 

p j,i (x): (b a) 1/ 2 p j

x b

2a

,

j

0, 1, ...

(5.15)

b

 

 

a

 

 

 

56

 

 

 

 

 

 

образуют ортонормированную систему в L2 (I). Имеем

I

 

p j, i (x)

 

p dx (b a)1 p / 2

12

 

p j (s)

 

p ds : c j, p

 

I

 

1 p / 2 , p 0.

(5.16)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим

( f , g)Ik :Ik f (x)g(x)dx

скалярное произведение функций f и g, когда оно существует. Пусть

 

 

 

 

 

p j, k :

p j, I

k

.

 

 

 

 

 

 

 

 

 

 

Определим проектор

c

: L p (I )

c

по формуле

 

PI

 

L p (I )

 

c

 

 

1

 

 

 

 

 

 

 

 

 

( f , p j, k )Ik p j, k (x) Ik (x),

 

PI

f (x) :

 

 

 

(5.17)

 

 

j

0 k

K

 

 

 

 

где Lcp (I ) – подпространство кусочно-полиномиальных функций:

 

 

c

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

qk (x) I

 

(x), qk

 

 

 

 

1 .

 

L p (I ) L p (I , L)

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

обозначает совокупность всех полиномов степени не превосходящей α – 1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лемма 5.2.4. Если 1 ≤ p < ∞, то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рc

f

 

 

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(5.18)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

L p (I )

 

 

 

 

 

L p (I )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Из (5.17) имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F j (x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

PI

 

f (x) :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда при p > 1 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F j

 

p

 

 

 

 

 

 

 

 

 

 

 

( f , p j, k )Ik

 

p

Ik

 

p j, k (x)

 

p

dx

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

L p (I )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

p

 

 

p

1

 

 

 

 

 

 

 

 

 

 

 

 

 

p ,

 

 

 

 

 

 

 

Ik

f

 

Ik

p j, k

 

 

 

Ik

 

p j, k

 

 

 

 

 

k

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

применяя (5.16)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c p 1c j, p

 

 

 

 

 

f

 

p

 

c p 1c j, p

 

 

 

f

 

 

 

p

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j, p

 

 

 

 

 

 

 

k

K

Ik

 

 

 

 

 

 

 

j, p

 

 

 

 

 

 

 

L p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

57

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

откуда следует (5.18). При p = 1 доказательство аналогично. Определим

 

 

 

 

 

 

 

 

Po

:

 

 

id

 

Pc.

 

 

 

 

 

 

 

 

 

(5.19)

 

 

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

Тогда в силу разложения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

yi

 

 

 

 

 

p j, I , yi

 

 

 

 

 

p j, I ( y)

 

 

 

 

 

 

 

 

 

 

 

 

j

 

 

0

 

 

 

 

 

 

I

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для любого i

 

 

0 такого, что 0 ≤ i ≤ α – 1, следует

 

 

 

 

 

 

 

 

 

 

 

 

o

 

 

: L p (I )

 

o

 

 

 

 

 

 

 

 

 

 

 

 

 

 

PI

 

 

 

L p (I ),

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

o

f

 

 

 

L p (I ) :

 

 

 

 

y

i

f ( y)dy 0, j

 

0,1...,

1, k

K , (5.20)

L p (I ) :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ik

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

причём по лемме 5.2.4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рo f

 

 

 

 

 

 

 

 

 

f

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I

 

 

 

 

L p (I )

 

 

 

 

 

 

 

 

L p (I )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если sup p f

Ik ,

 

 

 

 

 

o

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f L p (I ) , то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T f (x) 0, x Ik

 

 

 

 

 

(ak , bk ),

 

 

потому что, при x bk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

1

 

 

 

 

 

 

 

 

T f (x)

(x y)

1 f ( y)dy

 

c j x

1 j

yi f ( y)dy 0.

 

 

Ik

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j

0

 

 

 

 

 

Ik

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

o

 

выполнено дизъюнктное

Отсюда следует, что в подпространстве L p (I )

 

свойство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

,

f

 

 

 

 

q

 

 

 

 

 

 

 

T , f

 

q

 

, f

o

(5.21)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Lq (I )

 

 

 

 

 

 

 

 

Lq (Ik )

L p (I ).

 

 

 

 

 

 

 

 

 

 

k K

 

 

 

 

 

 

 

 

Таким образом, формулы (5.17) и (5.19) задают ограниченные операторы

 

 

 

 

 

 

 

 

 

 

 

c

 

 

: L p (I )

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

PI

 

 

 

L p (I ),

 

 

 

 

PIo : Lp (I ) Lop (I )

такие, что их сумма

58

 

Po

Pc

id

(5.22)

 

I

I

 

 

является тождественным оператором. В силу

(5.21) оператор T ,

дизъюнктен на

o

 

 

 

L p (I ) , а также заметим, что

 

rank PIc card K.

Из разложения (5.22) следует, что

 

 

 

 

 

 

 

o

 

c

 

o

 

 

 

c

 

 

 

(5.23)

 

 

T

,

 

 

T

, PI

T

, PI

 

:T

,

 

 

T

, .

 

Следующая лемма уточняет значение нормы оператора T ,

при его

 

 

 

 

 

 

 

o

(I )

и играет ключевую роль в получении

сужении на подпространство L p

дальнейших оценок.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лемма 5.2.5.

Пусть 0 < q < 1 < p < ∞,

I

(0,

 

), L

Ik k 1,

I Ik и

Lq (Ik ) . Тогда для любой функции

f

o

(I , L)

 

 

L p

 

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T

,

f

 

L

(I )

J

,

(Ik )

r /(1

r)

 

r

 

f

 

L p (I )

.

(5.24)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Используя лемму 5.2.1 и неравенство Гельдера с пока-

зателями

p

и

 

r

 

 

, мы получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

r)q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

T ,

f

 

q

 

 

T ,

( Ik f

 

 

 

 

q

J

, (Ik )q

 

Ik f

 

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

 

 

 

 

q

 

 

 

 

p

 

 

 

 

 

 

 

k

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(1

 

 

 

 

r)q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

qr

r

 

 

 

 

q p / q q / p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J ,

 

(Ik ) (1

r)q

 

 

Ik f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

K

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

59

 

 

 

 

 

 

 

 

 

 

 

 

 

(1

 

r)q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J ,

(Ik ) (1

r)

 

 

 

 

 

 

 

f

 

 

 

q

. 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Лемма 5.2.6.

Пусть 0 < q < 1 < p < ∞, I

 

 

 

 

 

(0,

),

L Ik k K ,

I Ik , P

o

: L p (I )

 

o

 

 

 

Lq (Ik ) для любого k. Зададим по-

 

 

L p (I , L) и

 

k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следовательность натуральных чисел

nk

 

таких, что

 

 

 

 

 

 

 

 

 

 

n

(nk

1)

 

 

1

 

 

.

 

 

 

 

 

 

 

 

 

 

 

(5.25)

 

 

 

 

 

 

k

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

r

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

r

a

1)

1

(T

,

Po )

2

 

n

1

 

 

r J

,

 

 

(I

k

)1

r

. (5.26)

(n

 

 

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Заметим, что в силу формулы (5.25) лишь конечное число nk может быть отлично от единицы. Для таких nk > 1, используя лемму 5.2.3, мы разобьём соответствующие интервалы Ik ещё на nk интер-

валов Ik*,1, ..., Ik*, nk с условием, что

J , (Ik*,1) ... J , (Ik*, nk ).

Если же nk = 1, то положим Ik*,1 : Ik . В результате мы построили новое разбиение интервала I

*

*

L

Ik, j :1 j nk , k K .

Причём по формуле (5.8)

J

,

(I

*

j

) n 1/ r J

,

(I

k

), 1

j n .

(5.27)

 

 

k,

k

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим проекции относительно нового разбиения

P

c

: L p (I )

c

*

o

: L p (I )

o

*

 

L p (I , L ) и P

 

L p (I , L ) .

*

 

 

*

 

 

 

 

 

 

 

60

 

 

 

 

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]