Файл: Земанян А.Г. Интегральные преобразования обобщенных функций.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 11.04.2024

Просмотров: 197

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

сходится к (12) равномерно на К при /л->-оо, так как подынтегральное выражение в правой части непрерывно, а поэтому равномерно непрерывно в замкнутой ограни­ ченной области Q. Это и доказывает утверждение, сформу­

лированное в начале абзаца.

М 2,

 

т

М 2

Поскольку / ЕЕ

$'

(/), то для рассмотренного ранее чис­

ла е > 0 мы можем найти такое

 

что при всех

 

 

(11) отличается от правой части (9) меньше чем на е. Та­ ким образом, мы показали, что разность между левой и пра­

вой частью (9) ограничена числом 2е, а так как е

О про­

извольно, доказательство завершено.Ж\і

Мы по­

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

т е о р е м ы 5.6.3.

казали, что для любой функции Ф ЕЕ

 

 

« /

(х), V х у Jy. (ху)),

Ф

(у))

= </, §ДР>.

(13)

 

 

Согласно лемме 5.2.1 и теоремам 5.6.1 и 5.6.2, левая часть (13) равна

у

$ </ (х), V х у (ху)) Ф (у) dy +

О

со

+ \ < f (х), V х у j р (ху)) Ф (у) dy. (14)

У

Кроме того, по любому е )> 0 найдется такое Y x, что для всех Y второе слагаемое в (14) ограничено числом е. С другой стороны, правая часть (13) может быть записа­ на в виде

У

(у) V x y J v i x y ) dy)

+ </

(х),

со

Ф

(у) Ѵ х у М х у ) dy>-

</ (*). 5 Ф

 

 

J

(15)

о]

 

 

 

У

 

 

 

 

 

 

 

В силу леммы 5.6.1 существует такое Y 2, что второе слага­ емое в (15) ограничено числом е, если Y ]> У 2. Наконец, первые слагаемые в (14) и (15) равны друг другу согласно лемме 5.6.2. Таким образом, разность между левой и пра­ вой частью (13) меньше е. Поскольку е 0 можно выбрать как угодно малым, доказательство теоремы закончено.

З а д а ч а 5.6.1.

Пусть

/ €= %' (/) и ц >

— 1/2. Проверить,

что -SpjjLn (Nyj) = —

и Jj^

(ЛТД) = y S p ^ j ,

используя теорему

5.6(.3 для прямого вычисления левых частей этих формул.

190


З а д а ч а

5.6.2. Предположим, что

 

р >

— 1,2,

/ 6Е $ '

(/)

и F = $}yf. Показать, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

/ (re) =

lim

\ Л (i/)

У Д у

 

 

(xy) dy

 

 

 

 

 

 

 

 

 

у

 

 

r

 

 

 

 

 

 

 

 

 

 

 

Y -> со

оJ

 

 

 

 

 

 

 

 

 

 

 

в смысле сходимости в Ж у.

Это выражение является формулой об­

ращения для (1).

 

 

Допустим,

что

 

р >

- -

1/2,

/ е й '

и

З а д а ч а

5.6.3.

 

 

F — Spyf. Пусть q— положительное целое число, причем 2д)> р +

2,

где р — число, указанное в теореме 5.6.2.

Показать, что

в Ж у

справедливо равенство

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

смысле, а/

интеграл( * )

— в=

 

СО

 

.

т+

 

 

 

 

т ((

*

-t f4

)

-

смысле [Римана5 і

 

 

 

 

 

 

 

L

 

 

м^ ) 4

Уо

 

У*яJi>

*у>

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

где дифференциальный оператор

 

 

понимается

в обобщенном

З а д а ч а

5.6.4. Показать, что при р ^

 

— 1/2 и 0 <

а <

Ъ<

оо

bq-Pf

1. Іх а) 1. (Ь — х)

 

 

 

 

 

 

 

 

 

 

 

 

 

И

s - a

------

- =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т

Ѵ *У Jq .ixy) — V ay J (ay)

 

 

 

£

 

У х у J у (xy)

 

 

=

\

------------------------------------------dx +

\

 

------ —

----- dx.

 

 

J

 

 

 

X a

 

 

 

 

 

1 #)

 

X a

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

a+l

 

 

 

 

Здесь Pf означает псевдофункцию (см. Земанян [1], п. 1.4 и 2.5).

5.7. Операционное исчисление

Преобразование Ганкеля порождает операционное исчис­ ление, с помощью которого можно решать некоторые диф­ ференциальные уравнения, включающие обобщенные функции. Пусть Р (X) — полином, не имеющий корней на

— оо < ж < ; 0, и [ х > —Ѵг- Дифференциальные уравне­ ния, которые могут быть решены на основе использования преобразования Ганкеля обобщенных функций, имеют вид

Р ( M q jtfq .) U = g, 0 < X < OQ,

(1)

где g — заданный элемент Жу., а и — неизвестная функция,

причем мы требуем, чтобы она также принадлежала Жу.. Применяя §(о. к (1) и используя формулу (8) п. 5 .5 , мы

получаем уравнение

Р (—У2) U (у) — G (у),

(2)

191


где U и G — преобразования Гапкеля обобщенных функ­ ций и н g соответственно. Согласно лемме 5.3.1 функция 1(—г/2) — мультипликатор в Жу. Следовательно, мы можем умножить (2) на 1(—г/2) и получить преобразо­ вание U (у) искомого решения. Совершая обратное пре­ образование Ганкеля, мы находим окончательно решение

“ (*) = & T j S f i

(3)

(Напомним, что = Jpjx1 в Жу.) Таким образом, и — это

обобщенная функция в Жу, ставящая в соответствие каждому элементу ср ЕЕ Жу число

<“•сР>= <тр^)- ф(г/)> =

со

= < / (*), \ р Ф( - 1 * ) У x y J v-(xlJ ) d,j } .

где

Ф =

 

 

 

О

решение единственно в Жу-

 

 

Полученное

G (уДействительно)/ у2)

, любое решение (1) должно иметь в каче­

стве

преобразования Ганкеля

обобщенную

функцию

 

Р

 

(

(докажите

это),

а

 

является

взаимно

однозначным отображением

Жу

на себя.

х —

 

0

 

Если

Р (х)

имеет нуль кратности

п

 

0, но

 

 

 

в точке 1

 

не имеет нулейgна —оо

< , то указанная операцион­

ная техника все еще применима для решения ( ) при ус­

ловии,

что на

наложены несколько другие ограничения.

В частности, пусть обобщенная функция

g

такова, что су­

 

ществует элемент G ЕЕ Жу-2п, сужение которого на Жу равно G = $Qyg (если найдется хотя бы один такой эле­

мент G, то тогда существует и бесконечное число таких элементов). При сформулированных условиях уравнение

) имеет решение, которое, однако,

в

Жу

уже не един-

(Івенно, как

мы увидим ниже.

 

 

Q

 

 

 

Q

 

 

ст Запишем

Р (х)

в виде

х

Р (х) — хп

),

где

(х)

не

 

 

имеет корней на — оо < ;

0. Тогда (1) принимает вид

 

(MyNy)nQ MyNy) и =

 

g.

 

 

 

 

(4)

Применение фц к

 

 

(

 

 

 

 

 

 

 

 

 

У(4) дает

 

(у) =

 

 

(у).

 

 

 

(5)

 

( -

 

2)71Q (~ У г) и

 

 

G

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

192


По лемме 5.3.2 обобщенная функция

 

(6)

 

 

n - i f ) U { y ) = ( - i f r ' G ( y )

 

 

<

 

 

 

 

 

 

принадлежит,^;

в силу свойства II и. 5.2 она также удов­

летворяет уравнению (5) в смысле равенства в

Ж^..

 

 

 

6

 

 

 

 

 

 

Однако результат ( ) не единствен, существуют и дру­

гие элементы

Ж],.,

удовлетворяющие уравнению (5) в смыс­

ле равенства в

Ж

ц. В частности,

 

 

6

 

мы можем добавить к ( )

любое решение

Н (у)

£Е

Жу.

однородного

уравнения

 

 

 

 

 

{ i f f

И (у)

 

0

 

 

Такое решение имеет вид

—1

 

= .

 

 

 

 

 

Н ( ѵ ) =

П

 

 

 

(7)

 

 

 

 

 

Sav^v(y),

 

v=0

где a v — произвольные постоянные, а F v (у) £Е Ж?, оп­ ределяются равенствами

<F4 (у), Ф (z/)> = lim (y^D yYy-V -* Ф (у), Ф ЕЕ Ж *.

Они действительно определяют F v (у) в качестве элемен­

тов пространства Жу.\ это прямо следует из условия 2) лем­ мы 5.2.1. Чтобы убедиться, что (7) удовлетворяет одно­

родному уравнению в ЖlJL, достаточно написать для любой функции Ф €Е Ж у. цепочку равенств

< і №

{у),

 

{у),

I/*п

 

 

 

[у^у-ѵ-Ч.ф

 

 

Ф (г/)> = <ЕѴ

« -ФЧ -o(у)> =

 

( у ) ] = 0

при 0 ^

V ^

=

l i m Q r 1D ) v

 

 

 

п 1.

 

 

 

 

 

 

 

 

 

6

Таким образом, мы можем добавить (7) к правой части

( )

и получить уравнение для всего класса решений (5).

Операционное исчисление показывает теперь,

что

 

 

 

 

 

 

 

 

—1

 

 

 

 

 

 

 

П =

 

G (у)

 

П

 

 

{у)

 

(8)

 

 

 

Q ( - v 2)

(— у г)п +

 

2

 

« л

 

 

 

 

ѵ=0

 

что а ѵ —

является решением уравнения (4); напомним,

произвольные постоянные.

 

Р

 

 

 

 

 

 

Еще сложнее случай,

когда

 

)

имеет

корни на

— оо

 

< 0 .

Он приводит к проблеме деления, заклю-

7 А , Г , Земанян

193


чающейся в том, что нужно найти' обобщенную функцию

 

U у

 

 

 

 

 

 

 

 

 

 

 

 

( ), удовлетворяющую уравнению (2) (см. Земанян 18]).

 

 

Отметим, наконец,1

!

что дифференциальное уравнение

 

вида

_-:кист ііь<і &.Ѵ. .п

 

г-атэйоиэ yr.i-

тіг.к-чт.вп'!ГГь:

 

где

 

Л у

I. !.я т.ю і‘>«.і о .Р

і/?ѵ ).V =

 

 

'Ui.oa. (9)■

 

 

то'ѵатач.щу. .інктошіг.а он (Ш -!й.-.?гѵ«.»і. .-яви..О

 

 

 

 

tum.

 

 

 

x~hD

— J rV a,

' ■ MTi‘

 

 

!

 

 

 

ш/

.нтлоіі ••

ѵ

,

 

 

 

aiTiaiO- и: - Hoi-

 

 

--t

 

можно решить, если предварительно .умножить

 

и /

на

 

, Г -

 

ГТ - : , І

•'

 

 

1.

\-.. — ' . ' \

• U lli U l -

 

 

 

 

У X

 

 

поскольку

 

 

 

 

 

 

 

• Действительно,

 

 

 

 

 

P (B y)v = JУ^XP ( M [XN [X) V x v ,

то при и = Y XV и g = У ж/уравнение (9) совпадает с (1). Другими словами, мы определяем новое пространство обоб­

щенных функций, скажем, Ж^, для которого отображение

f у-*-

у Ѵ являётся изоморфизмом

Жр

на

Ж^..

Развитые

выше методы позволяют найти решение

ѵ

£Е

Жу.

уравне­

 

 

 

ния (9).

Прежде чем закончить этот пункт, стоит еще отметить, что Диткин и Прудников ([1], стр. 131—146) развили опе­ рационное исчисление,, аналогичное операционному ис­ числению Минусинске гр, для дифференциального опера­

тора П ^ і)„,;который может, быть, преобразован в

M 0N 0

 

на

умножением

рассматриваемых

обобщенных

функций

у х .

Кроме того, Меллер [1]ч,обобщила этот результат на

дифференциальные

операторы

вида

x^D xV+W ,

 

где

— 1

< р

< 1 , а Димовскис[1] сделал то же самое для бо­

лее общих операторов^, более высокого порядка.

 

 

 

З а д а ч а

5.7.1.

Пусть полином Р (х) ие имеет корней

на

— оо < X

0.

Доказать, что в

преобразование Ганкеля любо­

го решения уравнения,(1) равно G (у)/Р (— у2).

 

.?п

 

 

.■

З а д

а ч а

5.7.2. Н ай ти вІ^ р , р. ; > — 1/2, решения двух следую­

щих дифференциальных уравнений

'

и

оі;

 

 

 

 

 

 

 

 

 

 

(3)

.(Г,

11 (и) Л и

и = у X J..

7

' р О*-),

S'/

 

Указание. Относительно преобразований'правых частей см. задачу 5.5.1.

4Га дта ч а Щ .7.3 Г1Рассмотрим систему дифференциальных урав­

нении

.ОШПІГ. Эьі.

„а miqoH

u, + ”P12 ( M ^ J

щ = gl,

-Ob пая

( М ^ )

и* = ft,

194