close

Вход

Забыли?

вход по аккаунту

?

Теорема о полноте пространства дробно-дифференцируемых функций.

код для вставкиСкачать
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2016. № 13 (234). Выпуск 43
________________________________________________________________
53
УДК 517.9
ТЕОРЕМА О ПОЛНОТЕ ПРОСТРАНСТВА ДРОБНО-ДИФФЕРЕНЦИРУЕМЫХ
ФУНКЦИЙ
THEOREM OF COMPLETENESS OF SPACE FRACTIONAL-DIFFERENTIABLE
FUNCTIONS
М.В. Кукушкин
M.V. Kukushkin
Институт прикладной математики и автоматизации,
Россия, 360000, г. Нальчик, ул. Шортанова, 89а
Institute of Applied Mathematics and Automation, 89a Shortanova St, Nalchik, 360000, Russia
E-mail: kukushkinmv@rambler.ru
Аннотация. Получено представление для нормы, в энергетическом пространстве, порожденном оператором дробного дифференцирования, в терминах коэффициентов Фурье дробной производной функции элемента пространства. Доказана теорема устанавливающая полноту унитарного пространства дробнодифференцируемых функций в случае, когда элементами унитарного пространства являются функции представимые дробным интегралом от суммируемых с квадратом функций. Доказана теорема имеющая своим
результатом описание, в терминах шкалы пространств Лебега функций суммируемых в степени q, замкнутых
линейных многообразий в энергетическом пространстве порожденном оператором дробного дифференцирования.
Resume. In this paper we investigate the representation for norm, in the energetic space generated by the operator of fractional differentiation, in terms of coefficients of Fourier of a fractional derivative function. The theorem
establishes the completeness of the unitary space of fractionally- differentiable functions, when elements of the unitary space are the functions represented by fractional integral from square-integrable functions, is proved. The theorem having the result the description of closed linear manifolds, in the energetic space generated by the operator of
fractional differentiation, is proved.
Ключевые слова: энергетическое пространство, оператор дробного дифференцирования, положительно определенный оператор.
Key words: energetic space, operator of fractional differentiation, strongly monotone operator.
Введение
В работе [1] доказана положительная определенность оператора дробного дифференцирования на линейном пространстве, I a ( L )
что в свою очередь порождает унитарное простран-
ство. Как известно из общей теории гильбертовых пространств всякое унитарное пространство
можно пополнить до гильбертова пространства с точностью до изометрии (см.[2, c.26]). Очевидно,
сразу возникает вопрос полноты унитарного пространства. Будут ли идеальные элементы (см.[2,
c.25]) также принадлежать унитарному пространству? Данная работа посвящена изучению этого
вопроса. Выделен класс, по которому построенное унитарное пространство является полным. Доказаны утверждения в терминах шкалы Lq , результатом которых является возможность определения многообразий замкнутых, в смысле введенной нормы, в классах I a ( Lq ) . Если это не оговорено
дополнительно, везде будем полагать:   (0,1), x  (a, b)  . Интегрирование будем понимать в
смысле Лебега. Будем использовать обозначения

Dax
u
sgn( x  a)
u (t )
dt ,
( ) a | x  t | 1
x

Dax
u  sgn( x  a)
d  1
Dax u ,
dx
54
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2016 № 13 (234). Выпуск 43
_________________________________________________________________
f ,g
0
 f,g
=  f ( x) g ( x)dx,
L2 (  )
f,g

0,
 f,g
L2 ( , )
=  f ( x) g ( x) ( x)dx.

Будем рассматривать классы

I a ( L ) = { f ( x) : f ( x) = Dax
 ,  ( x)  L ()},
(1)

Ib ( L ) = { f ( x) : f ( x) = Dbx
 ,  ( x)  L ()},

I b  ( Lq ) = { f ( x) : f ( x)  I b ( Lq ),  ( x) > 0}.
(2)
Допустим, что действительные числа:  , q удовлетворяют условиям
2
1
2
1
1
 1  2 ,
<  < ,1< q < ,
 q
1  2


и пусть c( x)  I b ( Lq ) . Определим на I a ( L ) билинейную форму

1
1
u, v ,c = u, Dax v 0,c  v, Dax u 0,c , u, v  I a ( L ).
2
2
(3)
(4)
Для этой билинейной формы выполнение аксиом скалярного произведения очевидно, кроме
аксиомы
(5)
u, u ,c  0, u  0.
Из леммы 1 [1], следует, что пара билинейная форма (4) и линейное пространство I a ( L ) образует
унитарное пространство, которое обозначим N ,c  L  . Гильбертово пространство полученное в
N ,c  L  , будем обозначать
результате пополнения унитарного пространства
 c( x)  D  

bx
теореме 1 [1] пространство N ,c ( L ()) ,
N ,c ( L ) . Согласно
ограниченно вложенно в L2 (,  ) , и имеет
место энергетическое неравенство
1
 u  ,c , u  N ,c ( L ).
2
Положим в (4)   2, определим весовую функцию
u
(6)
0,
 ( x) 
(b  x) 
,
(  1)
(7)
тогда согласно формуле (2.45) [3, c.47] дробного интегрирования степенной функции имеем:

c( x)  Dbx
  1. Для рассматриваемого случая веса (7), неравенство квазиположительной
определенности (6), легко свести к неравенству положительной определенности (см.[4, c. 62]) для
оператора дробного дифференцирования
Dax u, u

2
0
1
  2 u 0 ,    2(b  a) (  1)  2 .
Основная теорема
Перед
доказательством теоремы полноты пространства
(8)
N ,1  L2  , в целях удобства
дальнейшего изложения, докажем два утверждения являющиеся незначительными обобщениями
утверждений доказанных в [5, с.39].
Лемма 1. Пусть f ( x)  неотрицательная убывающая функция из класса C (0, b  a] L(0, b  a),
которая имеет возрастающую производную f '( x) из класса C (0, b  a). Тогда
an0 
2
ba
ba

f ( x)cos
0
2 n
xdx  0, n  0,1...
ba
(9)
Доказательство. Будем рассматривать периодическое продолжение функции f ( x) с периодом
T=b-a. Из условий наложенных на f ( x) очевидно, что a00  0. Положим
ba 
F (t )  f 
t  , t  [0, 2 n], n  1, 2,...
 2 n 
Осуществив замену переменной t 
an0 
1
n
2 n
x в (9), получим
ba
2 n

0
F (t )cos tdt 
1 2 n 1

 n r 0
 ( r 1)

r
F (t )cos tdt.
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2016. № 13 (234). Выпуск 43
________________________________________________________________
55
Сделав замену x  t   r , с учетом равенства cos( x   r )  (1)r cos x имеем



2
1 2 n 1
1 2 n 1
1 2 n 1
a 
(1) r  F ( x   r ) cos xdx 
(1) r  F ( x   r ) cos xdx 
(1) r  F ( x   r ) cos xdx.



 n r 0

n

n
r

0
r

0

0
0
0
n
2
После замены: t  x 

2
во втором слагаемом правой части последнего равенства, получим
 2

2 n 1
1
2r  1 
 

0
r  
an 
 (1)    F ( x   r ) cos x  F  x  2   sin x  dx  
 n r 0
 
0 




1 n 1 2 
  4r  3 
 4r  1  

 Fx
   sin x  dx 
  F ( x  2 r )  F  x  (2r  1)  cos x   F  x 


 n r 0 0 
2
2



 


1 n 1 2 
 4r  1 
 4r  3  

F ( x  2 r )  F  x 
   F  x  (2r  1)   F  x 
   cos xdx 



 n r 0 0 
2
2






n 1 2
1
 
4r  1 
4r  3  

Fx
 Fx
    cos x  sin x  dx  S1  S2 .



 n r 0 0  
2
2



Из условий монотонности наложенных на f ( x) и f '( x) в формулировке данной теоремы, следует
монотонное убывание функции F ( x  h)  F ( x) на интервале (h, 2 n), n  1, 2... . Положив h 

2
, в
силу вышесказанного, имеем положительность подынтегральных функций в выражении для S1 .
Из чего очевидно следует: S1  0. Далее для S 2 имеем

1 n 1 2  
4r  1 
4r  3  

S2 
Fx
 Fx
    cos x  sin x  dx 



 n r 0 0  
2
2




1 n 1 4  
4r  1 
4r  3  


Fx
 Fx
    cos x  sin x  dx 



 n r 0 0  
2
2




1 n 1 2  
4r  1 
4r  3  

   F  x 
 Fx
    cos x  sin x  dx.
 n r 0   
2
2



4
Осуществив в интегралах второго слагаемого правой части последнего равенства замену t 
получим
S2 

2
 x,

n 1 4
1
 
4r  1 
4r  3  

Fx
 Fx
    cos x  sin x  dx 



 n r 0 0  
2
2




1 n 1 4

  F  (2r  1)  t   F  2(r  1)  t   cos t  sin t  dt 
 n r  0 0 


n 1 4

1
  4r  1 
 4r  3 
Fx
   F  (2r  1)  x   F  x 
   F  2(r  1)  x   cos x  sin x  dx.



 n r 0 0  
2
2




Из
условия
данной
леммы,
полностью
аналогично
рассуждениям
доказательства положительности S1 (достаточно положить h 

2
приведенным
для
 2 x ), следует положительность
подынтегральных выражений в правой части последнего равенства. Следовательно S2  0 .
В результате an0  S1  S2  0, n  1, 2... . Лемма доказана.
Рассмотрим квадратичную форму с симметричным ядром см.[5, c.38]
НАУЧНЫЕ ВЕДОМОСТИ
56
Серия Математика. Физика. 2016 № 13 (234). Выпуск 43
_________________________________________________________________
b b
(10)
I ( , )    K ( x, y) ( x) ( y)dxdy.
a a
В
силу
доказанной в [5, c. 35] теоремы 1.3.1, квадратичная форма (10) с ядром
1
 1
K ( x, y) 
x  y ,   (0,1) является положительной на множестве:    :  L, I ( , )   .
( )
Следующая теорема дает возможность представления квадратичной формы (10) в терминах
коэффициентов Фурье.
Теорема 1. Пусть:
 ( x)  C(0, b  a] L(0, b  a)  неотрицательная, убывающая функция
которая имеет возрастающую непрерывную производную  '( x)  C(0, b  a), свертка функций

2
, 
.
1  
1 
    Lp ,   L , p 
Тогда на множестве
L
(11)
K ( x, y)    x  y  имеет
квадратичная форма (10) с ядром
представление

 a0

I ( , )   2  0 a02   an0 (an2  bn2 )  ,
n 1
2


ba
, 
2
сn 
1
 an  ibn  ,
2
где
an0 
2
ba
ba
2 n
n  0,1,... .
  ( x) cos b  a xdx  0,
0
Доказательство. Будем рассматривать периодические продолжения: функций  ( x), (   )( x) с
периодом T=b-a, функции  (| x |) с периодом 2T. Используя свойства периодичности функций,
изменив порядок интегрирования воспользовавшись теоремой Фубини, имеем
2 ni
2 ni
2 ni

x

x

x
1
1
1
(   )( x)e b  a dx 
e b  a dx   (| x  y |) ( y )dy 
e b  a dx   (| x  y |) ( y )dy 



ba a
ba a
2(
b

a
)
a
a b
a
b
rn 
b
b
2 ni
2 ni

y

( x y)
1
 ( y)e b  a dy   (| x  y |)e b  a
dx 

2(b  a) a
a b
ba
b

ba
b
2 ni

y
1
 ( y )e b  a dy

(b  a) a
b

ba
2 ni
  ( x) cos b  a xdx  c a
n
0
n
,
(12)
n  0,1...
0
Следовательно
2 ni

    ( x)   an0 cn e b  a
x
.
(13)

Обозначим частичную сумму ряда (13) как: Sn ( x) 
n N
 a c e
0
n n
n  N
2 ni
x
ba
.
Заметим, что квадратичная
форма (10) ограничена. В этом несложно убедиться используя неравенство Коши-Гельдера
b
I ( , )   ( x)(   )( x)dx  
 
L
L '
C 
L
 
Lp
 , C  const ,
(14)
a
поскольку из условия (11) данной теоремы следует : p 
c.423], ряд (13) сходится к   



  ' . В силу теоремы 6.4 [7,
1     1
в смысле нормы L p . С учетом оценки (14), используя свойство
непрерывности скалярного произведения, имеем
I ( , )   ,  
0
 lim  , S N
N 
b
0
 lim  ( x)
N 
a
n N
 a c e
n  N
0
n n
2 ni
x
ba

b

a
2 ni
dx    an0 cn  ( x)e b  a dx 
ba  0 2
(b  a)   a | cn | 
  an  an  bn2  .
4


Поскольку: b0n  bn0 , a0n  an0 , b00  b0  0, то последнее выражение можно
следующему виду
x

0
n
2
преобразовать

 a0

I ( , )   2  0 a02   an0 (an2  bn2 )  .
n 1
 2

0
Положительность коэффициентов an , n  0,1, 2... незамедлительно следует из леммы 1.
полностью доказана.
Теорема 2. N ,1  L2   N ,1 ( L2 ) .
к
(15)
Теорема
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2016. № 13 (234). Выпуск 43
________________________________________________________________
57
un   I a  L2  , фундаментальна в смысле
u0  I a  L2  являющийся пределом
эллемент
Доказательство. Допустим, что последовательность
нормы
N ,1  L2  .
Покажем, что существует

данной последовательности. Поскольку un  Dax
 n , то в силу: следствия 2 [3, c.51] , теоремы 1
имеем цепочку равенств
un m  un
 ,1
 unm  un , Dax (un m  un )   n m  n , Dax ( n m  n ) 
0
0
1
2

 a00

   (a0,n  m  a0,n )2   an0 (ak ,n  m  ak ,n ) 2  (bk ,n m  bk ,n ) 2   .
k 1
2

Следовательно поскольку un m  un  ,1  0, m  , n  , то
1
 n  m  n
0

2
  (ak ,n  m  ak ,n )2  (bk ,n m  bk ,n ) 2    0 .
 k 0

L2
Значит в силу полноты пространства L2 имеет место:  n  0  L2 , а следовательно и подавно:
L
 n  0 ,
2
1 
   min  ,2. В силу теоремы Харди-Литтлвуда [3, с.64]:
1
 
Lp
un  u0 , p 

,
1  
откуда следует
un  u0
2
 ,1
  n  0 , un  u0
 С  n  0
поскольку:  ' 



 p.
  1 1  
L
un  u0
Lp
0
  n  0
L
un  u0
L '

 0, C  const , n   ,
Таким образом мы показали,
что всякая фундаментальная

 
последовательность в пространстве N  ,1  L2  , сходится к элементу u0  I a  L2 . Теорема
доказана.
Как известно из теории рядов Фурье равенство Парсеваля имеет место в пространстве L2 , ответ
на вопрос возможны ли оценки нормы через коэффициенты Фурье в пространствах
Lp , p  2
дает
теорема 3.19 [8, c.165], в более общем случае теорема Пэли [8, c.182]. Для случая рассматриваемого пространства дробно-дифференцируемых функций, из вышеупомянутых утверждений вытекает
следующая теорема.
Теорема 3. Пусть линейное многообразие  определено следующим образом
   :
cn ,| cn | O(| n | ) , 1    .
I a     I a  Lq  , q  2 
Тогда

,
 1
(16)
 
где операция замыкания понимается в смысле нормы пространства N ,1 Lq .
Доказательство. Так как в силу теоремы 2.22 [7, c.305],
 ( x)  x 1 ,  (0,1) имеет место ассимптотическое равенство
ak( )
для коэффициентов Фурье ядра:
1
k  ( )sin  (1   ), k  ,
2
то с учетом условий (16) относительно q, получим следующие оценки
| ck |q | k | 1
q 2
 C | ck |2 | k | 1  C1 | ck |2 ak( ) , C, C1  const, k  .

В силу теоремы Харди и Литтлвуда [8,c.165], с учетом (17), имеем цепь неравенств
1
 n  m  n
Lq

q2 q
 Aq  | ck , n  m  ck , n |q | k | 1  
 

1
 
q
 Cq  ak  (ak , n  m  ak , n ) 2  (bk ,n  m  bk ,n )2   ,
 

 n    ,
Aq , Cq  const.
(17)
58
НАУЧНЫЕ ВЕДОМОСТИ
Серия Математика. Физика. 2016 № 13 (234). Выпуск 43
_________________________________________________________________
Значит из: Dax ( n  m  n )
 ,1
 0, следует:  n  m  n
Lq
 0. Откуда в силу полноты пространства
L
Lq
Lq существует предел:  n  0 , 0  Lq , а значит и подавно:  n  0 ,
2
1 
   min  , q  . Условие
1 
 
2
. Из теоремы об ограниченном действии
1 
опрератора дробного интегрирования (теорема 3.5 [3, c. 64]) следует
L

Dax n  Dax 0 , p 
.
1  
На основании вышесказанного имеем
относительно
 коректно, поскольку в силу (16): q 
p

Dax
 n  Dax 0
2
 ,1

  n  0 , Dax
 n  Dax 0
 C  n  0
L

Dax
 n  Dax 0
последнее неравенство выполняется,
определении, следует
'
Lp
0
  n  0
 0,
L
n  ,

Dax
 n  Dax 0
L '

C  const ,
поскольку из оценки снизу для  , имеющей место в



 p.
  1 1  
Теорема доказана.
Для теоремы 3 можно привести наглядную иллюстрацию. В силу теоремы 40 [6, c.48]

AC1  2 , 2   :
Из теоремы 3 следует

cn ,| cn | O | n |2  .
I a  AC1   I a  Lq  , q  2   ,
 
где операция замыкания понимается в смысле нормы пространства N ,1 Lq .
Список литературы
References
1. Кукушкин М.В. 2016. О весовых пространствах дробно дифференцируемых функций. Научные ведомости БелГУ, Математика. Физика. № 6 (227), выпуск 42: 60-70.
Kukushkin M.V. 2016. About the weighted spaces of fractionally differentiable functions.// Belgorod state
university scientific bulletin. Mathematics & Physics, №6(227),42: 60-70.
2. Морен К. 1965. Методы гильбертова пространства. М., Мир: 570.
Moren K. 1965. Hilbert space methods. M., Mir, 570.
3. Самко С.Г., Килбас А.А., Маричев О.И. 1987. Интегралы и производные дробного порядка и
некоторые их приложения . Минск "Наука и техника" : 688.
Samko S.G., Kilbas A.A., Marichev O.I. 1987. Integrals and derivatives of fractional order, and some applications. Minsk "Science and Technology" :688.
4. Михлин С.Г. 1977.Линейные уравнения в частных производных. М., "Высшая школа" :431 .
Mikhlin S.G. 1977. Linear partial differential equations. M ., Higher School, 431.
5. Нахушев А.М. 2003. Дробное исчисление и его применение. М., Физматлит: 272 .
Nahushev A.M. 2003. Fractional calculus and its application. M ., FIZMATLIT: 272.
6. Харди Г.Х., Рогозинский В.В. 1962. Ряды Фурье.М., Физматгиз :156.
Hardy G.H., Rogosinski W.W. 1956. Fourier Series. Cambridge Tracts in Mathematics and Mathematical
Physics, No. 38, 156.
7. Зигмунд А. 1965. Тригонометрические ряды. Том 1. М., Мир, 616 .
Zygmund A. 1959. Trigonometric Series volume I. Cambridge at the university press, 616.
8. Зигмунд А. 1965. Тригонометрические ряды. Том 2. М. , Мир: 538 .
Zygmund A. 1959. Trigonometric Series volume II. Cambridge at the university press, 538.
Документ
Категория
Без категории
Просмотров
6
Размер файла
4 291 Кб
Теги
дифференцируемых, теорема, пространство, функции, полноте, дробной
1/--страниц
Пожаловаться на содержимое документа