CC BY
56
УДК 517.9
Л.Е.Бритвина ПРЕОБРАЗОВАНИЕ ХАНКЕЛЯ, ПРИНАДЛЕЖАЩЕЕ КЛАССУ L(R + ), И ЕГО ПРИЛОЖЕНИЕ
In this paper the Hankel integral transform is considered. New function spaces are defined. In this spaces the general convolution is constructed.
Введение
Многие из задач физики, прикладной математики и математического моделирования сводятся к решению дифференциальных, интегральных и интегро-дифференциальных уравнений. Одним из эффективных методов нахождения аналитического решения является метод интегральных преобразований. Чаще всего применяют преобразования Фурье (спектральный анализ) и преобразование Лапласа (операционное исчисление). В данной работе рассматривается интегральное преобразование Ханкеля, которое выгодно использовать в задачах с осевой симметрией. Оно определяется посредством интеграла [1]
Fv (x) = j f(t) t JV ( xt)dt = Hv [f(t)] (1)
0
где Jv (z) — функция Бесселя первого рода порядка v, Re v > -1/2, x > 0.
Преобразование (1) порождает множество сверточных конструкций и, следовательно, позволяет находить решения достаточно широкого класса сверточных уравнений и уравнений в частных производных. При этом возникает вопрос: каким условиям должна удовлетворять функция f (t), чтобы ее преобразование Ханкеля Fv (x) и функция VxFv (x) принадлежали классу L(R +) ? Данная статья посвящена построению соответствующих функциональных пространств и рассмотрению одного из возможных применений полученных результатов.
Результаты
Пусть CX(0, (»)р — множество функций f (t), имеющих непрерывную на интервале (0, да) производную, для которых справедливы следующие асимптотические оценки [2,3]: f (t) = O(tX ) t ^ +0, f (t) = O(t~p) t ^ +W.
Известно [4], что если f (t)e CX(0, <»)p, X >-Re v - 2, p > 3/2, то ее преобразование Ханкеля Fv (x) существует и для него справедливы асимптотические оценки
Fv (x) = O(xx ) при x ^ +0,
(2)
Fv (x) = O(xp ) при x ^ +w, при этом X ' > min{Re v,p - 2}, p ' < max{-1/2,-X - 2}. Учитывая условия, которым удовлетворяют v, X и p, получаем, что в общем случае X ' > -12, p ' < Re v.
Следовательно, условия f (t )е CX (0, <»)p недостаточно, чтобы Fv (x),
V^Fv (x)e L(R +), какие бы ограничения на v, X и p мы не вводили.
Рассмотрим дифференциальные операторы:
которые обладают следующими свойствами [2,3]:
а) Skmv = Бкт^ = Б, , где ^ = <-„ = Б]пу =
а2 .ы -
Жг2 г Жг г2
Ь) Nm,±v+kmNm,±v+(k-1)m * •••* Nm,±v+mNm,± V Nm(k+1),±v+km •
Следует отметить, что частные случаи данных операторов встречаются в основных уравнениях математической физики, например в теории упругости [1,5,6].
Используя свойства а) и Ь), нетрудно показать, что все известные дифференциальные операторы (см., напр., [7]), связанные с преобразованиями Ханкеля, можно выразить через ^,± у и 5. Поэтому в дальнейшем ограничимся рассмотрением операторов (3).
Теорема 1. Пусть ■^ftNm ±у+mf (г)е ДИ + ) и Nк,±у+к/(г)е Сх(0,да^, 1 >-1/2,
р> 3/2, к = 0,1,..., m -1, тогда преобразование Ханкеля порядка V,
Яе V >-1/2 + шах{0,+m}, функции f (г) принадлежит классу Ь(Я + ), если m > 2. Доказательство. В условиях данной теоремы справедливо равенство [3]
Н У±,я [Nm,± у+ mf (г )]( ] ) = (+ х ТН V и (г )]( х) Яе V>-1 + шax{0,+m}.
Так как ф, (г) = Nk+v+kf(г)е Сх(0, да)р, к = 0,1,...^ -1 и 1 >-12, р> 3/2, то
•ЛФк(г)е + ) V, = 0,1,...,m. Следовательно, преобразования Ханкеля функций фк(г)
являются непрерывными и ограниченными на всей числовой полуоси (0, да) функциями [8]
Н* m NN
m,± v+m
f (г)](х)| = хт\Н ¥ [f (г)](х)|< с
или
с
Н V [у (г)](х)|<—.
xm
Последнее неравенство показывает, что функция Ну [у(г)](х) убывает на бесконечности быстрее, чем х ~гп.
Исследуем поведение функции Н у [ и (г)](х) при х ^+0. Так как у (г )е Сх (0, да)р,
1 >-1/2 и р> 3/2, то ^ (х) = о(хх) при х ^+0, 1'> ш1и{Яе у,р - 2}. В нашем случае р > 3/2, поэтому 1' > -^2.
Подведем итоги. Во-первых, Н у [ у (г)](х) = Н у [ф0 (г)](х) является непрерывной и ограниченной на всей числовой полуоси (0, да) функцией. Во-вторых,
Н V [У (г)](х) = о(х1 ), 1' > -1/2 при х ^ +0,
НV [У(г)](х) = о(х~гп) при х ^ +да.
Вывод: Н [ у (г)](х)е ЦЯ +) при m > 2. Теорема доказана.
Следствие. При выполнении условий теоремы 1 функция уГхН у [ У (г)](х) е ДЯ +) при m > 2.
Аналогично доказывается
Теорема 2. Пусть Nm-k,+v-kNm,± v+mf (гX Nm-k,± v+m-kf (г )е С1(0, да)р , 1 >-1/2,
р> 3/2, к = 0,1,..., m -1 и ^/7Sm,v У (г) е ЦЯ +), тогда преобразование Ханкеля порядка V, Яе V > -1/2 + шах{0,+m}, функции у (г) принадлежит классу ДЯ +), m > 1.
п
Следствие. При выполнении условий теоремы 2 функция "JxHv [ f (t)](x) e L(R +).
Условия теорем 1 и 2 могут быть уточнены, если воспользоваться следующей теоремой [3].
Теорема 3. Если JtNm ±v f (t)e L(R +) и Nm_k,±v-kf (t)e cxt (0,ад)ц,
Xk >max{_3/2,_1 _Rev±(k_1)}, ц> 3/2, k = 1,2,...,m _ 1, Rev > _1/2 + max{0,±m}, то справедлива формула
H v [Nm,±v f(t)] ) = (+ U ) mH vmm [f (t)](u )■
Рассмотрим теперь приложение теорем 1 и 2 к построению одной из полисверток преобразования Ханкеля:
h(t) = (fo * gm )m (t) = ( 21) I cos ms ds | g( t) f (t2 + т2 + 2tx cos s )x dx, (4)
0 0 обладающей факторизационным свойством:
f0* gm
(x) = (H0 f)(x)(H mg )(x). (5)
Теорема 4. Пусть yftg(t)e L(R +), а функция f (t) такова, что -JtN22 f (t)e L(R +) и
f (tX N1,1f (t)e cx(0, ад)р , ^ >—1/2, p> 3/2, тогда полисвертка (4) существует и для нее
справедливо факторизационное равенство (5).
Доказательство. Вначале покажем, что конструкция (4) существует, при этом воспользуемся определением полисвертки, которое ввел В.А.Какичев [9], и определением преобразования Ханкеля (1):
ад ад
h(t) = Hm'[(H0 f )(x)(Hmg)(x)](t) = |xdx|g(x)(H0 f )(x) Jm (xt)Jm (xx)x dx. (6)
00
Отсюда
с2
\h(t)|<-j= I|(H0f )(x)||||g(t)||<ад , (7)
так как в силу теоремы 1 H0 [f ](x) e L(R +). Существование полисвертки (4) доказано.
Теперь поменяем порядок интегрирования в формуле (6), — данная операция законна в силу (7), — и воспользуемся формулой (2.12.27.5) из [10]:
Jm (a)Jm (b) = -(—П— | J0 (a2 + b 2 + 2ab cos s)osms ds.
0
В результате полисвертка примет вид
m ад ад , ч
h(t ) = cos ms ds Ig(x) x dx|(H0 f)(x)J0 (x л/t2 + x2 + 2tx cos s jx dx.
000
Обратное преобразование Ханкеля от H 0 [ f ](x) существует в силу следствия из теоремы 1. Мы получили явный вид (4) для искомой полисвертки.
Теорема доказана.
Знание сверточной конструкции (4), обладающей факторизационным свойством (5), позволяет решать сверточные уравнения и системы уравнений, где она присутствует, с помощью интегрального преобразования Ханкеля. Кроме этого, возможно ее применение для решения обыкновенных дифференциальных уравнений и уравнений в частных производных, содержащих оператор Бесселя или другую комбинацию дифференциальных операторов (3) с целочисленными значениями v.
m
В заключение отмечу, что возможно получение полисвертки, обладающей фактори-зационным свойством (5) и при других условиях.
Вывод
Представленные в данной работе результаты позволяют описать классы функций, в которых возможно построение новых обобщенных сверток преобразования Ханкеля, решение различных сверточных, дифференциальных, а также интегро-дифференциальных уравнений.
1. Снеддон И. Преобразования Фурье. М.: ИЛ, 1955. 668 с.
2. Бритвина Л.Е. // ДРАН. 2002. Т.382. № 3. С.1-3.
3. Бритвина Л.Е. // Вестник НовГУ. Сер.: Техн. науки. 2004. № 26. С. 98-100.
4. Диткин В.А., Прудников А.П. Интегральные преобразования и операционное исчисление. М.: Физмат-
гиз, 1961. 524 с.
5. Владимиров В.С. Уравнения математической физики. М.: Наука, 1971. 512 с.
6. Уфлянд Я.С. Интегральные преобразования в задачах теории упругости. Л.: Изд-во АН СССР, 1967.
420 с.
7. Брычков Ю.А., Прудников А.П. Интегральные преобразования обобщенных функций. М.: Наука, 1977.
288 с.
8. Колмогоров А.Н., Фомин С.В. Элементы теории функций и функционального анализа. М.: Наука, 1976.
544 с.
9. Какичев В.А. // Изв. АН БССР. Сер. физ.-мат. наук. 1967. №2. С.48-57.
10. Прудников А.П., Брычков Ю.А., Маричев О.И. Интегралы и ряды. Специальные функции. М.: Наука,
1981. 800 с.
