Научная статья на тему 'О свойствах одного усредняющего ядра в весовом классе Лебега'

О свойствах одного усредняющего ядра в весовом классе Лебега Текст научной статьи по специальности «Математика»

CC BY
168
23
i Надоели баннеры? Вы всегда можете отключить рекламу.
Область наук
Ключевые слова
УСРЕДНЯЮЩЕЕ ЯДРО / ВЕСОВОЙ КЛАСС ФУНКЦИЙ ЛЕБЕГА / AVERAGING KERNEL / LEBESGUE WEIGHT CLASS OF FUNCTIONS

Аннотация научной статьи по математике, автор научной работы — Шишкина Э.Л.

В работе показано, что рассматриваемое ядро является усредняющим в весовым классах Лебега и получено преобразование Фурье Бесселя такого ядра. Ядро рассматриваемого вида может быть использовано при построении обратного оператора к гиперболическому потенциалу Рисса, порожденного многомерным обобщенным сдвигом.I

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

t is shown that the considering kernel is the averaging kernel in the Lebesgue weight class of functions. The Fourier Bessel transform of such kernel was obtained. This kernel can be used in the construction of the inverse operator for the hyperbolic Riesz potentials generated by multidimensional generalized translation.

Текст научной работы на тему «О свойствах одного усредняющего ядра в весовом классе Лебега»

УДК 517-9

О СВОЙСТВАХ ОДНОГО УСРЕДНЯЮЩЕГО ЯДРА В ВЕСОВОМ

КЛАССЕ ЛЕБЕГА

ABOUT PROPERTIES OF THE AVERAGING KERNEL IN THE LEBESGUE

WEIGHTED CLASS

Э.Л. Шишкина 1 E.L. Shishkina 1

1 Воронежский государственный университет, Россия, Воронеж, Университетская пл., д. 1 Voronezh State University, Universitetskaya pl., 1, Voronezh, Russia E-mail: ilina_dico@mail.ru

Аннотация. В работе показано, что рассматриваемое ядро является усредняющим в весовым классах Лебега и получено преобразование Фурье - Бесселя такого ядра. Ядро рассматриваемого вида может быть использовано при построении обратного оператора к гиперболическому потенциалу Рисса, порожденного многомерным обобщенным сдвигом.

Resume. It is shown that the considering kernel is the averaging kernel in the Lebesgue weight class of functions. The Fourier - Bessel transform of such kernel was obtained. This kernel can be used in the construction of the inverse operator for the hyperbolic Riesz potentials generated by multidimensional generalized translation.

Ключевые слова: усредняющее ядро, весовой класс функций Лебега.

Key words: averaging kernel, Lebesgue weight class of functions.

Введение

Исследование классических гиперболических уравнений опирается на интегральные операторы, называемые гиперболическими потенциалами. Такие потенциалы определяются на основе расстояния Лоренца. Их изучению посвящены многочисленные исследования [1—6]. Обращение гиперболических потенциалов опирается на операторы со специальными ядрами. Исследование сингулярных гиперболических уравнений также приводит к изучению весовых гиперболических потенциалов, которые мы называем гиперболическими В-потенциалами. Они

п

представляют собой отрицательные вещественные степени оператора Оу = В— ^Ву , где

1=2 '

д2 уд

В--— Н—'--- сингулярный дифференциальный оператор Бесселя с произвольным

г дхк Х- Окк

положительным индексом у-, г = 1,...,п [7, с. 3]. Дробные степени подобных операторов

исследованы в источнике [8]. Исследование обращения таких операторов так же, как и в случае классических гиперболических потенциалов, требует изучения специальных ядер в весовых функциональных классах. Одно из таких ядер изучается в данной работе.

Отметим, что В-потенциалы Рисса с евклидовым расстоянием (эллиптические риссовы В-потенциалы, которые можно представить как отрицательные вещественные степени

оператора Дг = XВГк) Достаточно хорошо изучены [9-12]. Однако, подходы к изучению

Ук к=1

эллиптических и гиперболических В-потенциалов отличаются, и мы будем использовать как инструменты, приспособленные для работы с потенциалами, порожденными обобщенным

сдвигом Ту [13], разработанные в [9-12], так и методы работы с гиперболическими потенциалами, предложенные в [4, 5, 8].

Основные определения

Пусть Р ; ={* = Хп ) £Р „, Х1>0,..„ хп >0}, | X = 7 X!2 +... + хи2 , У = СУ1,-..,УИ) -мультииндекс, состоящий из фиксированных положительных чисел и | У |= У1 п • • • пуп.

Следуя И. А. Киприянову [7, с.21], функцию определенную на Р п будем называть X -чётной (по Киприянову), если она может быть продолжена на Р п четным образом по каждой переменной

Xу с сохранением класса принадлежности функции. Примером функциональных множеств такого

рода четности может служить множество I раз непрерывно дифференцируемых функций, определенных на положительной полуоси X >0, все производные которых нечетного порядка, меньшего или равного I, равны нулю при X = 0.

Через (Р п ) = Пр , 1 < р < да, будем обозначать замыкание по норме:

( ур

|| / || У (V п ) =|| 11| РУ

Ч (Р п)

{1/С X)!р ^^

Рп

\Р п У

XУ = П'

'=1

множества измеримых на Р п, X -четных функций /(X) , определенных в области Р п, Хорошо

известно, что это пространство банахово [7].

Преобразование Фурье-Бесселя [13], рассматриваемое в данной работе, имеет вид:

Рв[/](£)= \ ]у (x¿)f(x)X7, dX,

3 +

где \г (х£) = П/ , а Л (X) - .¡-функция Бесселя, связанная с функцией Бесселя первого

'=1 У'

2

рода Jv формулой [13]

. 2Т (уп 1)

]у (x) =-у-(x). (1)

X

Многомерный оператор Пуассона имеет вид [7]

П;Г/(X) = C(y)j...jf (x1 cosа,...,Xn шзап)ПsmУ] 1 йа/, (2)

]=1

п

С (у) = п~п/2 П-]=1

Свойства оператора (2) изучены в [14] и [15].

Приведем формулу интеграла по сфере от «весовой плоской волны» из [16].

У] -11

2 У

(У/Л

2 у

п

п п

0 0

\ Ц/«£ х»хуаох

8+ (п)

л/^2п—1Г

' г!п +п—1 >I/^р*1—л

г=1

п+! у ! —3

^ 2 Ф,

(3)

где

/ а )(1—/2Г!у!—32 б А(—1,1)

2

Основной результат

Рассмотрим функцию:

С(п,у,£)

Ху(х,£) =-у У-, (4)

—+1 п+! у'!

(х2 + £2)2 ( !х! 2 +£2) 2

где х' = (x2,...,хп), £ >0,

+ ЛтТ п+Щ

С (п,у,£) =-

п

'Гр^ .

Далее мы покажем, что функция (2) является усредняющим ядром (см. в ниже доказанной теореме) и найдем преобразование Фурье - Бесселя этого ядра (свойство 3 теоремы).

Изучаемое нами ядро (2) оказывается полезным при изучении В-потенциалов с лоренцевыми расстояниями.

В следующей теореме приводятся основные свойства ядра N (Х, £) .

Теорема. Функция Ху (х,£) обладает свойствами:

1. IN (х,£)Хуёх = IN (х,1)Хуёх = 1,

2. Ху (Х,£) е Ир, 1 < р <г ,

3. ^ [ Ку (х, £)](#) = !.

Доказательство

1. Легко проверить, что | Му (х, £)хуйх = IN (х, 1) хуйх (применить растяжение х = £У).

р+ р+

п п

Остается показать, что IN (х, 1) хуйх = 1 . Простейшие преобразования приводят к

р+

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

п

вычислению трех интегралов:

уу йу } У1 йух г гп+! у'!—2

I-УйУ-= I ^ I г " иг I с у'йЗ

* г 2+^ ^ » 2 2+1 »(г2 +1) ^ Л

п (У12 +1)2 ( ! у'! 2 +1) 2 (у2 +1)2 (г +А) п—1

где 8п—\ - поверхность "нагруженной сферы" 1,С- >0 в Р +—1. Первые два из них вычисляются

по формуле из источника [16], а площадь "нагруженной сферы":

+

+

р 1 п

Р 1 п

Щ 2

+|= у=2 v 2

У, п 1

2п-2Г( пп | у' |-1

2

(источник [16, формула (1.2.5)]). Отсюда следует доказываемое равенство.

2. Свойство Ny (X, *) 6 Пр, 1 < р < да - очевидно.

3. Найдем преобразование Фурье-Бесселя от N (X,*) . Имеем:

Рв [N (X, е)](& = С(п, у, 8) |-р7^-^ =

7 J У1п1 пп|/|

Р

п (X2 п*2)2 (|X'|2 п*2) 2

п

Еи( ^)

-1 У ' = 1

: С(п, у, 8) |--—^-xуdx =

Зп

п п|У'|

(X,2 п*2)2 (И2 п*2) 2

■У 1( X1^1)

да -

да 1

С(п.У.е)]—2-— / -пм(ПУе-'*',г'')(Х')У <*'.

0(XГ пг2)2п '"А*"!1 2

п

Переходя в интеграле по x1 к функции Jу по формуле (1), получим

]У1 -1( ^ 1 , У1±1

Г_2_„ 9 „ 9 Луп 11 да X 2

0

у^«1 =2 2 й2 Г^| * у1п1 Jр-!СXlй)dCl.

(X? п*2)2 (X? п£2)2 2

Для вычисления последнего интеграла применим формулу 2.12.4.28 со стр. 160 из [18], которая имеет вид:

xvnl ср-1гу-рп1 Г-;-;-^ < =-:-К ^ у(сг ), (5)

Г (X2 п г2У у 2Р-1 Г(р) у-рп1

с > 0, Яег >0; -1 < Яе у <2, Яе р- 1

2'

где К (X) - функция Макдональда:

2 sinСап)

.. / ч 2тпа

1 ( X

I (X) = Га3 ('X) = У —

) а( ) Xт!Г(тпап 1)^2„

а функции 1а(x) и Ка(^ называются также гиперболическими функциями Бесселя первого и второго рода, соответственно. Очевидно, что

ка( х) = К—а( х).

Приведем также формулу из [18] вида:

ж

к1( = ^ '.

Имеем р = р- +1, у = у—1, с = £ , £ £ 2 2

у

+1

г О

г х 2

у1+1

У —1(х1£1)их1 =

(х2 +£2)2

2

,—1

_ £ 2 £1

2

р2

2 2 Г^

— у +1

£ 2£

2

22 +1

Ж

2

у1 +1

2 2 ^ +1

(6)

Следовательно,

Л

4Жг\

2

(х2 +£2)2

" хл их,

2 У —££

—-е 1.

2£Г

Гу л у+1

V 2 у

(7)

о

у

у

1

у

1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1

г

о

В интеграле:

1-(ЦТе '<х'£'>)(х')у' сМ

I п+!у'!

Р +—1(! х' !2 +£2) 2

х +

перейдем к сферическим координатам х ' = гв, в = — еР +—1 , получим:

! х !

I -Цп+й(Цуе--<^)(х')у'их' =

р +—1(! х' !2 +£2) 2

г гп+\у'\—2

= I—-Шиг I (Дуе~'г <в£'> )вуи8.

0(Г2 +£2) 2 2+ (п—1) Для вычисления интеграла I (Пуе -г<в,£ >)ву воспользуемся формулой (3), получим:

(п—1)

Г ПГ^ 1 ^

I (П^<в£>)ву'=-'=2 V 2 У-ч \е—гр£\1 — р2) 2 (р

* 1— _ I п-V-1 V I —9 1 *

2+ (п—1) ТЖ2п—2 г\ ^

пг

У, п 1

г( пШ^ ]-'

1 пп | у'| -4

\еггр14\1 -р<р.

Применяя формулу 4 из [19] вида

/ (*) = ■

2

пш Г (1 -'г)

^ 2 о ш

еш<1,

Тп 2 Л 2

2

' = 2

будем иметь:

Г (Пуе-'г (в4> )0У' dS =-^

П^ упг

пп|у,|-2 2

(п-1)

пп|у'|-3 3пп|у '|-3 (Г | 4 |)

л/п2п-2 г

пп | у' | -2V г |4 ' 11 2 2

2

2

пг

_ '=2

У п 1 2

2п

^ 2 > V г|4'|у

пп|у'|-3 2

Зп+^у^-З (г | 4'|). 2

Получим:

1

Г ^ (ПУе-'< ^^ '>)(X У =

рп-1 (| X' |2 п*2) 2

У п 1 | ип|у'|-3 пп|у'|-1

( П \

пг

2

2

п-2

2

.|4'|.

г

ппУТ■/пп|у1-3(г | 4 |)<Г.

V 4 | у 0(г2 п*2) 2 2

пп | У' | пп | у' | -3 Последний интеграл найдем по формуле (5) при р = ——I, у =--, с =| 4 |

2

2

г = * и используем формулу (6):

п п|у '|-1

уг/пп\у'\-3 (г | 4' |)<г =

пп|у'| 1

_ 14 ' | 2 * 2

Г ппУ пп|у'|-^У ^ „пУ-1 , у,

0 2 2 2 2 1 г| пп | У |

(г2 п £ )

пп\у'\ 1

14 ' | 2 * 2 2^(пп | У2*|4 Т

п

„-А4'| -

1 (* | 4 ' |) =

2

пп|у'|-3

•Ш14 ' Р~

2 ^Г ^

Тогда

1

Г пп|у ' |

Рп-1 (| X ' |2 п*2) 2

(ПУе-'<x ' >)(X ' )у ' dx ' =

V

_ '=2

со

2

г

2

2

ГГН Yi+1 I n+\y'- «+!y'-

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

ИГ1^ к v^i^'i

k\?\j

-S é ' =

n+\ y'\-1

2 2 \Г|

n+\Y ' \ 2

n i

л/^пГ

i = 2

^ J

n-1„H n+\/\

2n\Г|

2

Пользуясь (7) и (8) имеем:

FB [ Nr ( x,s)](é) = C (n, y, s)

l 2 J п l 2 J cs,-s\Ç'\ =

Yi , j on-i„rf n+ \ Y' \

2\г|^ +11 2п-1\Г

rs2^ + iJri ^

пГ

Y, +1

ПГ

¿=1

Y, +1 2

2п\2г| ^^ +1 1Г[

n+ \ Y' \

^-sb-Sé' \= ^-s^ .

(8)

Доказательство закончено.

e

n-2

2

2

i=1

2

Список литературы

1. Riesz M. L'intégrale de Riemann-Liouville et le problème de Cauchy / M. Riesz // Acta Math. -1949. - V. 81. - № 1-2. - Р. 1-223.

2. Самко С.Г. Интегралы и производные дробного порядка и некоторые их приложения / С.Г. Самко, А.А. Килбас, О.И. Маричев. - Минск: Наука и техника, 1987. - 687 с.

Samko S.G. Integrals and Fractional Derivatives and Some of Their Applications / S.G. Samko,

A.А. Kilbas, O.I. Marichev. - Minsk: Nauka i Tekhnika, 1987. - 687 р.

3. Ногин В.А. Обращение и описание гиперболических потенциалов с Lp -плотностями /

B.А. Ногин, Е.В. Сухинин // Докл. РАН. - 1993. - Т. 329. - № 5. - С. 550-552.

Nogin V.A. Inversion and characterization of hyperbolic potentials in Lp-spaces / V.A. Nogin, E.V. Sukhinin // Dokl. Acad. Nauk. - 1993. - V. 329 - № 5. - Р. 550-552.

4. Ногин В.А. Дробные степени оператора Клейна-Гордона-Фока в Lp -пространствах /

В.А. Ногин, Е.В. Сухинин // ДАН. - 1995. - Т. 341. - № 2. - С. 166-168.

Nogin V.A. Fractional powers of the Klein-Gordon-Fock-spaces / V.A. Nogin, E.V. Sukhinin // Dokl. Acad. Nauk. - 1995. - V. 341. - № 2. - С. 166-168.

5. Киприянов И.А. Потенциалы Рисса на пространствах Лоренца / И.А. Киприянов, Л.А. Иванов // Матем. сб. - 1986. - Т. 130(172). - № 4(8).- С. 465-474.

Kipriyanov I.A. Riesz potentials on Lorentz spaces / I.A. Kipriyanov, L.A. Ivanov // Mat. Sb. (N.S.). - V. 130(172). - № 4(8). - 1986. - Р. 465-474.

6. Киприянов И.А. Сингулярные эллиптические краевые задачи / И.А. Киприянов. - М.: Наука, 1997. - 200 с.

Kipriyanov I.A. Singular Elliptic Boundary Value Problems / I.A. Kipriyanov. - М.: Nauka, 1997. -

200 р.

7. Киприянов И.А. Преобразование Фурье-Бесселя и дробные степени дифференциальных операторов / И.А. Киприянов // ДАН. - 2000. - Т. 373. - № 1. - С. 17-20.

Kipriyanov I.A. The Fourier-Bessel transform and fractional powers of differential operators / I.A. Kipriyanov // Dokl. Math. 2000. - V. 373. - № 1. - Р. 17-20.

8. Ляхов Л.Н. Обращение B-потенциалов Рисса / Л.Н.Ляхов // Докл. АН СССР. - 1991 . - Т. 321. - № 3 . — С. 466-469.

Lyakhov L.N. Inversion of Riesz B-potentials / L.N. Lyakhov // Dokl. Acad. Nauk USSR, 1994. V. 334. - № 3. Р. 278-280.

9. Ляхов Л.Н. Пространства B-потенциалов Рисса / Л.Н.Ляхов // Докл. АН СССР. - 1994. -Т. 334. - № 3 - С. 278-280.

Lyakhov L.N. Spaces of Riesz B-potentials / L.N. Lyakhov // Dokl. Acad. Nauk USSR, 1991. V. 321. - № 3. Р. 466-469.

10. Ляхов Л.Н. О символе интегрального оператора типа B-потенциала с однократной характеристикой / Л.Н. Ляхов // Докл. РАН. - 1996. - Т. 351. - № 2 .— С. 164-168.

Lyakhov L.N. On the symbol of the B-potentials' type integral operator of with a single characteristic / L.N. Lyakhov // Dokl. RAN, 1996. V. 351. - № 2. Р. 164-168.

11. Ляхов Л.Н. Обобщенные В-потенциалы Рисса смешанного типа / Л.Н. Ляхов, Э.Л. Шишкина ДАН, 2006. - Т. 406. - № 3. - С. 303-307.

Lyakhov L.N., Shishkina E. L., Generalized Riesz B-potentials of the mixed type, Doklady Mathematics. - V. 73. - № 1. - P. 42-45.

12. Левитан Б. М. Разложение по функциям Бесселя в ряды и интегралы Фурье / Б.М. Левитан // Успехи математических наук. - Т. VI. - Вып. 2 (42). - 1951. - С. 102-143.

Levitan B.M. Expansion in Fourier Series and Integrals with Bessel Functions / B.M. Levitan // Uspekhi Mat. Nauk. 1951. V. 6. - № 2(42). - Р. 102-143.

13. Ситник С.М. Операторы преобразования и их приложения / С.М. Ситник // Исследования по современному анализу и математическому моделированию: сборник; отв. ред.: Ю.Ф. Коробейник, А.Г. Кусраев. - Владикавказ, 2008. - С. 226-293.

Sitnik S.M. Transmutations and Applications / S.M. Sitnik // Contemporary Studies in Mathematical Analysis. Eds. Yu.F. Korobeinik, A.G. Kusraev. - Vladikavkaz, 2008. - Р. 226-293.

14. Ситник С.М. Решение задачи об унитарном обобщении операторов преобразования Сонина-Пуассона / С.М. Ситник // Научные ведомости Белгородского государственного университета. Серия: Математика. Физика. - 2010. - Т. 5. - № 18. - С. 135 -153.

Sitnik S.M. A Solution to the Problem of Unitary Generalization of Sonine-Poisson Transmutations / S.M. Sitnik // Belgorod State University Scientific Bulletin, Mathematics and Physics, -V. 5. - № 18. - P. 135 -153.

15. Ляхов Л.Н. В-гиперсингулярные интегралы и их приложения к описанию пространств Киприянова дробной В-гладкости и интегральным уравнениям с В-потенциальными ядрами / Л.Н. Ляхов. - Липецк: Издательство ЛГПУ, 2007. - 234 с.

Lyakhov L.N. B-hypersingular integrals and their applications to the description of the Kipriyanovs' spaces with fractional B-smoothness and integral equations with B-potential kernels / Lipetsk: Lyakhov L.N. LGPU publishing, 2007. - 234 p.

16. Прудников А.П. Интегралы и ряды / А.П. Прудников, Ю.А. Брычков, О.И. Маричев. -Т. 1. Элементарные функции. Изд. 2-е, исправ. — М.: Физматлит, 2002. - 632 с.

Prudnikov A.P. Integrals and Series /A.P. Prudnikov, Yu.A. Brychkov, O.I. Marichev. V. 1. -Elementary functions, 2-d edition, FML. - 2002. - 632 p.

17. Прудников А.П. Интегралы и ряды / А.П. Прудников, Ю.А. Брычков, О.И. Маричев. - Т. 2. Специальные функции. Изд. 2-е. - М.: Физматлит, 2003. - 664 с.

Prudnikov A.P. Integrals and Series / A.P. Prudnikov, Yu.A. Brychkov, O.I. Marichev. V. 2. Special functions, 2-d edition, FML. 2003. - 664 p.

18. Ватсон Г.И. Теория Бесселевых функций / Г.И. Ватсон. - Ч. 1 - М.: ИЛ, 1949. - 798 c.

Watson G.N. A treatise on the theory of Bessel functions / G.N. Watson. - First part. - M: IL, 1949.

- 798 p.

i Надоели баннеры? Вы всегда можете отключить рекламу.