Материал: 5652

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

(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

 

Источник: https://studfile.net/preview/16711312/