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

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

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

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

Добавлен: 11.04.2024

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

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

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

простые действительные полюсы, расположенные в точ­ ках вида — 7??.р, где т — неотрицательное целое число. Справедливо п более общее утверждение, а именно; если в X (t) входят только действительные экспоненты, то F n (s) может иметь только действительные полюсы. Если же мы позволим X (t) содержать затухающие синусоидальные экспоненты, то окажется, что Fn (s) может иметь как дей­ ствительные, так и комплексные полюсы.

З а д а ч а 9.10.1. Показать, что двустороннее пребрааованпе Лапласа выражения (3) есть рациональная функция, имеющая нуль при s = оо и только один полюс кратности /V + 1 + а/2, расположенный в точке s — 1/2. Как и раньше, порядок а обоб­

щенных функции Лагерра фп считается равным неотрицательному четному целому числу.

9.11. Применение преобразования Лежандра: внутренняя задача Дирихле для единичной сферы

J Іреобразоваппе Лежандра может быть использовано для решения следующей внутренней задачи Дирихле для единичной сферы. Выберем сферическую систему коор­ динат

{(г, Ѳ, а) : О ^ г < 1 , О ^ 0 ^ л , О ^ о с < 2л}

и предположим, что искомая функция ѵ не зависит от коор­ динаты а (т. е. V — V (г, 0)). Полагая р — cos Ö, мы можем переписать уравнение Лапласа в виде

rD\ rv - f Dp

(1 — р2) Dy.v =

0,

(1)

V = V ( г , arccos р),

0 < ; г < 1, — 1

<

р < 1 .

Далее, потребуем, чтобы функция ѵ (?■ , 0) оставалась огра­ ниченной в некоторой окрестности начала координат г = 0. Пусть, наконец, Л ' — пространство обобщенных функций, соответствующее системе 4а (см. п. 9.8) для пре­ образования Лежандра, и / (р) £Е Л '. Наложим гранич­ ное условие

V (г, arccos р)

/ (р) в Л ' при 7-

1 — 0 .

(2)

Чтобы формально получить решение, мы сначала приме­ ним преобразование Лежандра 11 по р к дифференциаль­

ному уравнению (1). Переставляя операции U и г D\ и полагая

V — V (г, //) = U V (г, arccos р), п = 0, 1, 2, . . .,

342


приходим

к уравнению

п (п

 

 

 

 

 

V =

 

 

 

 

 

(3)

 

 

 

 

 

rD lrV -

 

 

 

 

 

+

 

 

1 )

 

 

 

0 .

 

 

 

Решение уравнения (3) имеет вид

 

 

 

 

 

 

 

 

 

 

 

 

 

V (г, п)

 

=

А (п) гп

 

+

В

(и) г-""1. г —

 

(4)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Так как функция конечна в окрестности точки

 

0, то мы

должны положить

В (п)

=

 

0,

 

чтобы исключить слагаемое,

расходящееся при

г —>- 0.

Фупкции

А

(

п

) определяются

 

 

 

 

г

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

из преобразования граничного условия (2); при этом мы

предполагаем,

что

оператор

 

U

и

предельный переход

при

 

->■

1

А п)

 

 

 

 

 

V

 

 

 

п)

 

 

 

 

(х).

 

 

 

 

— 0 перестановочны. Тогда

 

 

 

 

 

 

 

 

 

 

 

 

(

=

 

 

1—0

 

(г,

 

 

=

(U/)

 

 

 

 

 

(5)

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

Отсюда

 

 

 

 

 

г—>

 

 

 

 

 

 

 

 

 

г11,

 

 

 

 

 

 

V(г, п) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вытекает

равенство

 

 

фп (р))

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

(/ (р),

 

 

 

 

 

 

 

 

 

 

п

 

Ѵ п

 

+ Ѵа

Р

,I (р),

п =

0,

 

1, 2, . . .

 

 

V

 

Р Фп (р) =

 

 

 

 

 

 

 

 

 

 

 

 

п)

(р) обозначены полиномы Лежандра.

Применяя

Через

 

 

к

(г,

 

обратное преобразование Лежандра,

мы полу­

чаем формальное

решение

 

 

 

 

оо

(/> Фп) гпФп (cos Ѳ).

(6)

 

 

V (г, Ѳ) =

V (г, arccos р) =

 

2

Теперь мы докажем,

 

 

 

 

 

 

n=0

 

 

 

 

 

 

 

 

 

 

что функция (6) — обычная и удов­

 

 

 

 

 

 

 

D fD l

 

р

 

q

 

 

 

 

 

 

 

 

 

 

 

летворяет уравнению (1) в обычном смысле. Формально

применяя

оператор

 

 

 

 

 

( ,

 

 

=

0, 1, 2, . . .)

под

зна­

ком интеграла в (6), приходим к выражению

 

 

 

D?Dfa> =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

оо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

2

 

(/» фи) Л (и—1)... (и—р - И ) / я

+

 

(І-О- (7)

T L ~ p

Из теоремы 9.6.1 вытекает, что (/, фп) имеет медленный рост; это означает, что существует постоянная С и целое число к, для которых

I (/. Фп) I < Спк, п = 1, 2, 3, . . .

Кроме того, известно, что

I D l Р п (р) I < и»«, - 1 < р < 1, » = 1, 2, 3, . . .

343


(см. Черчилл [2], стр.ап211—212)

. Поэтому ряд (7) сходится

равномерно в области

0

а < 1 ,

— 1

< 1 ,

так как функция

экспоненциально

убывает

при

n -V оа, а другие множители ограничены полиномами от п. Отсюда мы видим, что (6) — обычная, причем гладкая, функция и что оператор Лапласа можно применить к (6) почленно. Поскольку функция гпф„(р) удовлетворяет урав­ нению (1) в обычном смысле, то, как легко показать, то же самое справедливо и относительно функции (6).

Всилу сказанного мы можем перейти к пределу при

г— 0 под знаком суммирования и прийти к заключению,

что выражение (6)

стремится к (/, ф0)/|/"2 равномерно на

О

0 ^ я .

Таким образом,

выражение (6) остается огра­

ниченным в

окрестности началаЛ координат.

.

ср — произ­

 

Проверим, наконецЛ ,

, условие

(2)Ь 2. Пусть

вольный элемент пространства

Согласно

лемме

9.3.3

ряд (6) сходится в

 

а потому и в

 

(/), для любого фик­

сированного

г

1.

Следовательно, мы можем вычислить

его

скалярное произведение

с ср почленно и написать

 

(у (г, arccos р), ср (р)) = 2

(/> Фп)

гп

(Фи, ф),

 

г < 1.

(8)

 

 

 

 

 

 

 

 

71— 0

 

 

 

 

 

 

Функция (/, ф„) имеет медленный рост (теоремы 9.5.1 и 9.6.1), а (фп, ср) быстро убывает (леммы 9.3.2 и 9.3.3). Поэтому правая часть равенства (8) равномерно сходится на 0 < г < 1, и мы можем перейти к пределу при г 1—0 под знаком суммирования. Тогда

С О

lim (V (г, arccos р), ср (р)) =

2 (/, Фп) (Фп,

ф) =

(/, ф),

 

,'-*1—0

 

п=0

 

 

 

 

 

 

чтокотораяи доказываетудовлетворяетформулудифференциальному(2).

уравнению (1) во внеш­

В а д а ч а 9.11.1. Найти

обычную

функцию

ѵ (г,

arccos

р),

ности единичной сферы (т.

е.

при 1 < г < о о ,

1

< р <

1),

поточечно сходится к нулю при г —> оо и сходится

в

 

к / 6Е с&'

при г —>1 + 0. Здесь через

 

снова

обозначено

пространство

обобщенных функций для системы 4а (см. п. 9.8). Показать, что полученное решение удовлетворяет требуемым условиям.

З а д а ч а 9.11.2. Рассмотрим задачу о распространении тепла в одномерном неоднородном стержне. Этот процесс описывает­ ся дифференциальным уравнением

[aDx (1 — X2) D x + (р.т +

ѵ) D x] V (х , С) = cD tv (х, t),

(9)

— 1 < ж < 1,

0 < г < о о ,

 

344


1'де я, с,

р и V действительнее постоянные, прячем а > О, с > Ü.

Через V

(X, і) обозначена температура в стержне. Все поверхности

стержня считаются обсолютно изолированными. Отметим, что функция а (1 — х3) представляет собой теплопроводность стерж­ ня, с — постоянная, зависящая от плотности и удельной теплоем­ кости стержня, а слагаемое (рг + ѵ) D xv описывает распределен­ ный источник тепла внутри стержня. Показать, что дифференциаль­

ное уравнение (9)

можно привести к виду

 

 

 

 

 

 

а 91л и (X , I) = с Diu (х,

t),

 

 

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

(по

х),

соответствующий

системе 4 (п.

9.8)

для преобразования Якоби, и =

V w ѵ, w (х) =

= (1 — х)а (1 +

a;)ß. Какие ограничения на р и" ѵ

налагают усло­

вия а > - 1

и Р > - 1 ?

 

 

 

 

Предположим,

далее, что при / -> -(-

0 функция ѵ (х , t) сходится

в 3)' (/), I = (— 1,

1) к g {x)/V w (X), где g Er •?#',

Л-' — соответст­

вующее пространство обобщенных функций для

 

преобразования

Якобн.

Найти

формально решение этой задачи Коши. (Этот пример

взят из

работы Дебната [3].)

 

 

 

 

9.12, Применение первой формы конечного преобразования Ганкеля: задача Дирихле для полубесконечного цилиндра

Конечное преобразование Ганкеля оказывается полезным при решении различных граничных задач для областей с цилиндрическими границами. В этом и следующем пунктах мы приведем два соответствующих примера; первый посвящен задаче Дирихле.

Мы хотим найти решение уравнения ЛапласаRво вну­

тренней части

R

полубесконечного цилиндра единичного

радиуса. В цилиндрических координатах область

можно

описать

следующим

образом:

 

 

 

 

< 2

 

 

 

 

R

=

{(г,

Ѳ, z):

0

< г

< 1 ,

0 < 0 < 2 л ,

0

 

 

 

< оо}.

Предполагая,

 

что

искомая

функция

ѵ

не зависит от Ѳ

(т. Уе.г v(r,

V

(г,

z))

и

 

вводя

новую функцию

 

и

(г,

z ) —

=

 

V

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

z),

 

мы преобразуем уравнение Лапласа к виду

где,

как

и всегда,

R о,ги

л-

DUi

=

0,

 

 

 

 

 

 

 

(1)

0іГ

=

 

 

 

 

 

 

 

 

 

Мы

наложим

 

 

S

r-'-''DrrDTr-'\

 

 

условия.

 

 

также

следующие граничные

Л '.

1) Если z

—> + 0 . то

и

(г, z) сходится в

Л ’

к

g

(г) SE

Здесь

Л '

обозначает пространство

обобщенных

 

функций,

соответствующее

системе 5а

(см.

п. 9.8).

 

 

 

 

 

 

345


па

2)

Если z —ѵ оо, то

и {г,

z) равномерно сходится it нулю

 

0 <

г

СZ

1.

 

 

 

 

 

 

 

Z

 

 

 

 

3)

Если

т

—>1 — 0,

то

и

(г, z)

 

равномерно сходится

к нулю на

г

 

 

z <

со

при любом

 

>

 

0.

Z

4)

Если

 

-*

+ 0 ,

то

и

(г, z) =

О ( У

г)

равномерно на

 

z < с»

при любом

Z ]> 0.

 

 

 

 

 

Отметим, что эта задача полностью аналогична рассмот­ ренной в п. 5.8. Однако там областью изменения был

полубесконечный интервал

(0, оо),

и мы использовали

преобразование

Ганкеля

(не конечное) нулевого по­

рядка. Теперь

же г изменяется в

конечном интервале

(0, 1) и мы используем первую форму конечного преоб­

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

U

нулевого

 

порядка.

х

 

г

 

Уо,пМы

Упвведем-

 

обозначения, несколько отличающиеся от

указанных для системы 5я (п.

 

9.8),

а именно

 

=

 

и

 

=

 

Формально

 

примененное

преобразование

U

переводит (1)

 

в уравнение

 

 

= 0,

 

 

 

 

(2)

 

U

— U

 

п

 

y lU

 

D\U

 

 

 

 

где

(

, z) —

(и (г,+

 

 

 

 

 

 

 

 

 

 

 

 

 

z), ф„

 

(г)).

 

 

 

 

 

 

В силу граничного условия 2) мы выбираем в качестве

решения уравнения

(2)

функцию

 

 

 

 

 

 

 

 

 

 

 

U

(

п

, z) =

A

(n)e~VnZ,

 

 

 

(3)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где А (п) не зависит от z. Используя преобразование гра­ ничного условия 1), получаем

A (n) = G (и) ^ (g, ф„).

И наконец, вычисляя обратное преобразование для функ­ ции (3), мы получаем желаемое решение

и {г, z ) = 2 G (,l) e ""ЧЛ»').

(4)

П—1

 

где

У 2rJo(V .

J M

Удостоверимся теперь в том, что и (г, z) — действительно решение уравнения (1). Прежде всего, справедливы фор­ мулы

У п ~ Я ( п

п оо,

(5)

346