Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Земанян А.Г. Интегральные преобразования обобщенных функций

.pdf
Скачиваний:
43
Добавлен:
25.10.2023
Размер:
13.27 Mб
Скачать

З а д а ч а 6.8.1. Функция и = Y~t

(t)

ниляется

решением

однородного дифференциального уравнения

+ 1=

0 в смыс­

ле обычного дифференцирования. Доказать, что это верно н в смысле дифференцирования н равенства в Sö' (/), но не справедли­ во, если 5р. понимается как обобщенный дифференциальный опе­

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

а (а > 0). Показать также, что У 7 / (JL(I) —

регулярный элемент Ж^.а при любом а > 0.

За д а ч а 6.8.2. Описать метод решения системы дифференци­ альных уравнений вида (1), основанный па использовании Ä -иреоб- разовапия обобщенных функций. Указать, какие условия нужно наложить на дифференциальные уравнения, чтобы обеспечить воз­ можность применения этого метода.

За д а ч а 6.8.3. Пусть ß — комплексное число, не равное

нулю.

Найти Др-п реобразуемую

обобщенную функцию и (г),

удовлетворяющую im I дифференциальному уравнению

Указание. Использовать

формулу

 

— ß) и (0 =

ОО

 

 

 

^

(z) dz = 2р-аГ

) Г

, Re р > Re р.

О

 

 

 

6.9.Прішенешш к некоторым электрическим цепям

спеременными параметрами

13 этом пункте мы используем /^-преобразование для исследования трех электрических цепей с переменными

 

Ljit)

 

 

Ѣо(І}

параметрами. G точки зре­

 

 

 

 

ния теории

интегральных

__ пггѵЧ___ _

 

 

 

 

 

 

 

 

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

эти

при­

vltjC^)

 

 

- -Cd)

 

меры,

а также некоторые

 

 

 

 

другие, впервые были рас­

 

 

 

 

 

 

смотрены

Асельтином [1]

 

Lj(t)= а і2^ ' гн

 

и

Жерарди

[1].

Рас­

 

І г (і)=Ы2^ г н

 

 

П р и м е р

6.9.1.

 

С(і)=с-1і~г* - ’ф(

смотрим

 

электрическую

 

 

 

 

 

 

цепь,

изображенную

на

 

 

Рис.

6.9.1.

 

 

рис.

6.9.1,

в

интервале

 

 

 

 

 

 

времени

 

t

 

 

 

 

 

 

 

 

0 < L^t)< , ооL.t(t)Эта

 

С

t

v(t),

двух

цепь

состоит из источника

напряжения

 

индуктивностей

 

 

и

емкости

 

( ).

Индуктивности и емкость

изменяются во

времени по законам, указанным

на рисунке.

Символами

а, Ь и с обозначены действительные положительные по­ стоянные; р. — любая действительпая постоянная (мы

250

могли бы допустить

и комплексные значения р,, одна­

ко это физически бессмысленно).

Пусть

qx(t)

и

q2(t)

— переносимые в цепи заряды (см.

 

 

рис. 6.9.1). Из законов Кирхгофа получаем систему диф­

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

 

 

 

 

 

 

 

 

 

 

 

D

[Lj.

(l) Dqx (t)

 

 

 

 

 

 

= I/ (0.

 

 

d'i

 

v

 

 

 

 

+] +

 

 

 

 

 

.

 

 

 

Ы О - М О

 

 

D l L2(i)Dq2(t)l = 0 .

 

 

Полагая

 

=

Ü1+1'*g,

 

qx

=

 

 

 

 

 

 

t~v-4*u2,

 

 

 

 

 

 

 

 

 

 

 

 

и д г =L x(t), L 2(t)подстав­

ляя явные выражения для функций

 

 

 

и

С (І)

и умножая'

оба уравнения на

 

 

мы получаем систему

 

 

 

 

 

aSy.ii!

+

 

с (

и2)

=

g,

 

 

 

 

 

 

 

 

 

с (и2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

их)

 

mj

bSyii« —

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

 

 

 

 

 

 

 

Эти уравнения имеют вид,

 

удобный для решения с помо­

щью /^-преобразования, если предположить, что

g

явля­

ется ^-преобразуемой обобщенной функцией.

 

 

 

Если р

 

 

0, то нужно применить преобразование

если р < 0, то используем

 

 

 

Это приводит к системе

уравнений

 

(as2 +

С) а д

-

с а д

=

а д ,

 

 

 

 

 

 

— cLj(s)

+

(bs2

+

c)U2(s) =

0,

 

 

 

где символами

 

G, U

j

 

и

 

U 2

обозначены/^-преобразования

обобщенных функций

 

g,

 

их

 

и

и2

соответственно. Все нули

 

 

 

 

 

 

определителя матрицы, составленной из коэффициентов

системы

уравнений (3), лежат на мнимой оси в s-плоско­

сти.

Решая

(3) относительно

Ѵ х

и

U 2,

получаем

 

 

 

U

i(s)

_____ 1-11_________

G(s)

 

R

es^>

max (0,

ag),

 

 

(s)

abs* + с (а + Ь) s*

 

K h

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

U г

abs* -f- с (я -|- Ъ) s2

 

 

 

 

 

 

 

<jg

 

 

 

 

 

 

 

 

 

 

G(s).

 

— абсцисса определения для преобразования

 

Теперь мы можем, используя формулы обращения, найти (хотя бы в принципе) два распределения их и и2, удовлет­ воряющие системе (2) в смысле равенства в пространстве З)'(І). Таким образом, qx и q2 удовлетворяют системе (1) в смысле равенства в З)'(І).

Вообще говоря, мы могли бы получить другое решение, добавив к паре glt q2 функцию, описывающую свободные

251

колебания

в цепи, изображенной на рис. 6.9.1 (т. е. лю­

бое решение однородной системы, получающейсяѵ

из

(1)

при

V

 

0).

 

Однако

такие

свободные

колебания

можно

исключить, потребовав< it , чтобы напряжение

 

 

и

перено­

симые заряды были равны нулю на некотором начальном

интервале

вида 0

< Г . Действительно, согласно ре­

зультату,

сформулированному

в

задаче 6.7.1,

если рас­

пределение

V

равно нулю на 0 <С

t

<

Т ,

то

 

G,

а поэтомуqx

U i и

 

U*

также удовлетворяют

условиям

 

 

задачи 6.7.1.

 

 

 

 

 

L

 

 

ЯШ

С

 

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

 

решения

и

 

 

 

 

 

 

 

 

<7а,

полученные

в

предыду­

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

щем

 

абзаце,

также

равны

 

 

 

 

 

 

 

 

 

 

 

нулю

 

па

0

<Ct

< Г . Поэтому

 

 

 

 

 

 

 

 

 

 

 

если переносимые заряды то­

 

 

 

 

 

 

 

 

 

 

 

же обладают этим свойством,

 

 

 

 

 

 

 

 

 

 

 

то в цепи не может быть сво­

 

 

 

 

 

Рпс.

 

6.9.2.

 

 

бодных колебаний. Это объяс­

 

 

 

 

 

 

 

 

 

 

 

няется тем, что любая обоб­

 

<Ct

 

 

 

 

 

 

 

щенная функция, описываю­

щая свободное колебание и обращающаяся

в нуль

при

0

 

 

 

<

Г ,

равна пулю и на 0

<

£ <1 оо (см. Шварц [11,

т. I, стр. 130 и Гуревич [1], стр. 46).ЗВ)'(результатеІ),

заряды

qx

и

q

полученные

нри помощи ЛГ-преобразованияt , яв­

 

 

*,

ляются

единственными элементами

 

 

удовлетворяю­

щими системе (1) и условию равенства нулю на 0

<

<

Г ,

если предположить,

что

ѵ

удовлетворяет этому условию.

 

 

Отметим,

 

наконец, что тем же самым методом можно

исследовать любую цепь, состоящую только из индуктив­ ностей и емкостей, изменяющихся во времени пропорцио­ нально <2!Х+1 и £~2“_1 соответственно, и соответствующим образом выбранного источника напряжения. Сделав ука­

занную выше замену переменныхSy.

, мы получим

тогда

дифференциальные уравнения, содержащие

только

диф­

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

 

 

 

 

 

v(t),

П р и м е р 6.9.2. Рассмотрим контур,

изображенный

на рис. 6.9.2

и состоящий пзRисточника напряжения

С

 

постоянной

индуктивности

L,

постоянной

емкости

и

переменного

сопротивления

 

(t) =

r/t.

Мы считаем, что

L, С

и г — фиксированные действительные числа и снова

ограничиваемся интервалом

времени 0 < £

< о о . Из за­

конов Кирхгофа получаем для переносимого заряда урав­

нение

LD'-q + ^ - D q + ^ = v .

(4)

 

 

252

Полагая

q (t)

=

u{t),

g =

L~1^-iA+V«y (t) и r/L —

= — 2p +

1,

мы можем переписать это уравнение в виде

 

 

 

S * u + Т с

=

g '

Предположим, что g является ^ц^-преобразуемой обоб­ щенной функцией; тогда можно применить ^-преобразо­ вание порядка | р | и получить

U (s) = > і//_с . Не s > max (о*, + Re / — LC).

Прописными буквами обозначеныog, как обычно, преобра­

зования

соответствующихg.

обобщенных функций, обозна­

ченных строчными буквами, a

— это

абсцисса

сходи­

мостии (t

дляЮ'(Г)-

 

Применяя одну из формул обращенияq t) = ,

приведенных в пп.6.6 и 6.7, мы находим

распределение

=

 

) Er

 

 

Отсюда мы находим распределение

(

 

 

 

 

 

 

удовлетворяющее

уравнению

(4)

в

смысле

равенства в

SD'{I).

Здесь мы снова могли бы добавить лю­

бое

свободное

колебание в цепи, изображенной на рис.

6q

.9t).2,

и получить другое решение уравненияТ ,

(4). Но если

наложить условия равенства нулю распределений

ѵ

(

t)

и

 

(

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

< ; £ <

то никакие сво­

SD'(I)бодные.

колебания существовать не смогут,

и

q (t

 

 

 

 

) будет

единственным

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

 

 

П р и м е р

6.9.3. В качестве последнего примера рас­

смотрим систему, изображенную на рис. 6.9.3, в интер­ вале времени 0 < с ю . Она может быть приближенно реализована с помощью подходящим образом соединен­ ных компонентов аналоговой вычислительной машины. В эту систему входят два идеальных усилителя напря­ жения с меняющимися во времени коэффициентами уси­ ления р2/і и 1/t, два идеальных интегратора, емкость С и индуктивность L; при этом р2, L и С имеют фиксирован­ ные положительные значения. Входное напряжение пред­ полагается известным. Мы желаем найти заряд, проте­ кающий через индуктивность L и емкость С за интервал времени 0 < £ < о о . Падение напряжения между точкой

А

и землей равно

L D 2q + ^ L .

(5)

 

 

 

 

С другой стороны, напряжение между точкой А и зем­ лей, обусловленное остальной частью системы, имеет

253

I

J

вид

L п

.

L\i*

.

|х2

 

^

" г

Н

+

Ѵ -

(6 )

 

Приравнивая (5) и (6) и разделив на L , мы получим диф­ ференциальное уравнение

^

+ 4 - ^ ( т 7 Г -- Й - ) 9

V .

(7)

Li*

 

 

t ~ ' 1 \ L C

t* I v

Р2

 

Простая выкладка показывает,

что оператор

 

совпадает с

£>а + -{■ -£? — ц2Г 2

ц можно считать

оператором

где

Рис. 6.9.3.

положительным числом. Следовательно, полагая и (t) = = V t q { t ) , мы можем переписать уравнение (7) в виде

+ - ^ = « " Mo - (8)

Мы снова получили уравнение, которое можно исследо­

вать

при помощи

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

Gпорядка

р., если

предположить, что

Г 3/»

ѵ (і)

является

^-преобразуе­

мой

обобщенной функцией.

Полагая

 

(s)

=

[Г*Ігѵ

(і)]

 

 

 

254

при Re s <^0g, получаем

U (*) =

> Re s > max (0, Og),

(9)

 

 

где U(s) = -&.J. и. Применяя к (9) какую-нибудь формулу обращения, находим распределение и (t) и, следователь­ но, распределение q (f) = t~'!i и ((), удовлетворяющее

(7) в смысле равенства в 3)' (/). Как и раньше, получен­ ное решение будет единственным в 3)'{І), если мы потре­ буем, чтобы V и q обращались в нуль на некотором ин­ тервале вида 0 < t Т .

З а д а ч а 6.9.1. Проверить, что любая цепь, состоящая толь­ ко из источников напряжения и переменных индуктивностей и

емкостей, изменяющихся во времени пропорционально г2'А+1 и 1 с00тветсхвенн0] порождает (после указанной выше замены

переменных) дифференциальные уравнения, содержащие только оператор S^.

255

Г Л А В А 7

ПРЕОБРАЗОВАН И Е ВЕЙЕРШ ТРАССА

7.1. Введение

Обычным преобразованием Вейерштрасса называется вы­ ражение

F ^

д

“p W

ехр

~ Т)*МІ^т,

(1)

=

Üот ^

где / (т) — функция,

удовлетворяющая соответствующим

ограничениям

на — оо < т < о о ,

и

s — комплексное

число. Это преобразование было в

определенной степени

исследовано

Хиршманом

и Уиддером

[1], гл. V I II .

Оно

известно также

под

названиями преобразования Гаусса

(Руни [1],

[2]), преобразования Гаусса — Вейерштрасса

(Хилл и Филлипс [1]) и преобразования Хилла (Гонзалес Домингес [1]).

Функция Грина для одномерного уравнения тепло­

проводности

 

0

 

0

 

0

2

=

и = и (х > > — э °

 

< о о , < f < о°,

( )

где X — положительная постоянная, имеет вид

 

 

 

 

 

 

- х Щ х(

 

 

 

* «

' • " >

"

 

Т Е Г

 

 

Если заменить х на s — х и положить xt = I , то выра­ жение (1) преобразуется к виду

оо

F (s) = \ / (т) к (s X , 1) dx.

(4)

—оо

 

Поэтому преобразование Вейерштрасса естественно воз­ никает в задачах, связанных с уравнением теплопровод-

256

пости (2). Этому вопросу посвящен п. 7.5, где решается задача Коши для уравнения (2) с обобщенной функцией в начальном условии.

Отметим, что выражение (4) представляет собой сверт­ ку. Действительно, преобразование Вейерштрасса явля­ ется частным случаем преобразования свертки (Хиршман и Уиддер [1], стр. 196), которая рассматривается в сле­ дующей главе. Наш способ распространения формулы (4) на обобщенные функции (Земанян [10]) совершенно ана­

логичен методу,

использованному

в гл.

3 для

двусто­

роннего преобразования Лапласа.

Основная идея состоит

в построении пространства основных функций

W

(о>і, а2),

которое является

счетным

объединением пространств и

содержит ядро

к (s

— т, 1) приW

о г

<

Re s <

о2. При этом

 

 

F

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

Вейерштрасса

 

к) (sлюбого1

элемента /

сопряженного пространства

 

(щ,

ст2) получается пос­

редством применения / (т) к ядру

 

— т,

):

^

F ® ^

 

^

ехр

 

^ — ^)2/4)).

 

 

 

Res<[a.2.

 

 

 

Оказывается, что преобразование Вейерштрасса может быть связано с двусторонним преобразованием Лапласа; поэтому некоторые свойства последнего можно перенести на преобразование Вейерштрасса. Действительно, в п. 7.3 мы получим теорему аналитичности, формулу обращения и описание преобразований Вейерштрасса с помощью соответствующих результатов, относящихся к преобра­ зованию Лапласа. В п. 7.4 выводится вторая формула об­ ращения, которая представляет собой обобщение комп­

лексной формулы обращения (Хиршман

и Уиддер [1])

на случай обобщенных функций. Существует еще третья

теорема обращения для преобразования

Вейерштрасса

обобщенных функций (Куин [1]).

Она

обобщает форму­

лу Руни [1], [2], но пригодна

для

менее

широкого

класса обобщенных функций, чем

формулы

обращения

пп. 7.3 и 7.4.

Спомощью указанного метода можно определить и

гс-мерное преобразование Вейерштрасса, где т £Е

и

s

%п.

Его свойства совершенно аналогичны соответ­

 

 

ствующим свойствам рассматриваемого ниже одномерно­ го преобразования (см. Куин [1]).

9 А. Г. Земанян

257

7.2. Пространства W а, ь и W (w, «) основных функций и сопряженные к ним

Пусть

а

b

— фиксированные числа в

 

т — перемен­

?1п

 

 

ная в J

и ра>ь (т) определяется формулой

О ,

 

 

 

f e-ax/2j

— оо <

X

<

 

 

ра- ь(т) = { е-ьх/2,

0 < т < о о .

Обозначим через Wa,b линейное пространство всех комп­ лекснозначных гладких функций ф (т) на интервале

—оо <;т < оо таких, что для каждого р = 0, 1 , 2, . . .

Хр (Ф) =

ХаЬ, . Р (ф ) =

— о о <SUт < Pо о I вт,/4Ра. Ь СО Д Р ФСО I < 0 0

Мы снабдим W a, ь топологией,

порождаемой последова­

тельностью

полунорм

{Хр)Г=о-

Так как Хо — норма, то

{Хр}р=о — мультинорма в W a,bi и W'o,ь ~ счетно-мульти- нормированное пространство. Обычным образом (см., например, доказательство леммы 3.2.1) можно показать, что Wa,b является полным и, следовательно, пространст­ вом Фреше. Заметим еще, что дифференцирование явля­ ется непрерывным линейным отображением W a,b в себя.

Всюду в этой главе к (ѵ, t) будет обозначать функцию

 

 

 

 

 

 

 

к ^ѵ,і) = Те-®Ѵш4<

 

 

 

 

(1)

где

V

 

1

t

 

J

/?1

при

 

0 <

t

 

 

 

 

 

ЕЕ fë и

1

ее

 

 

 

 

1. Основной резуль­

тат состоит в том, что для любого фиксированного s

e

 

ядро

к (s

— т,

 

) как функция т принадлежит

W a,b

тогда

и только тогда,

когда

а < .

Res

•<

Ь.

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

что

 

 

 

числения показывают,

у Pp

 

т, — j ,

 

(2)

 

 

 

D-zk (s

 

X, t) =

 

 

где Pp (s — г, 1It) — полином р-го порядка относительно \!t и s — т. Поэтому

Хр [к (s

X , <)] —

 

 

 

= sup

е-»*/4( - j - T'(1-1/,)

 

 

 

4лг

Р а .ь С 0

e^' Ppl s

(3 )

— о о < т < о о

V

 

258

Полагая в (3)

 

t

— І и

 

принимая во внимание определение

Ра,ь(т))

мы

получим

 

 

наше

утверждение.

Равенство (3)

также

показывает,

что

 

для

любого

фиксированного

t,

такого,

что

0

<

і <

1

,

 

и

для

каждого

 

фиксированного

 

 

ядро

 

к (s

■— т,

t)

как

функция

т

принадлежит

Wa,b

ПРИ любых

а

и

Ь.

 

 

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

 

 

 

> сопряженное

 

 

 

 

 

 

Ш а,ь

В силу теоремы 1.8.3

 

 

 

 

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

 

W a,b,

 

также

полно

в обычной

(слабой)

топологии.

 

 

 

 

 

 

 

 

2.5

определим дифференцирование

В соответствии с п.

 

(обобщенное)

на

 

W

а,ъ

 

следующим образом:

 

 

 

 

 

<£>/, ф> =

</, — Пср>, f <=W 'a,b, 4><^жа,

 

 

 

 

 

 

 

 

 

 

 

<Ша,ь

 

 

 

 

 

 

а

 

 

 

d

Ъ,

 

Такое дифференцирование является непрерывным линей­

W c, d

 

 

 

 

 

 

 

 

 

 

 

 

W a, ь

 

 

 

<

 

W c, а

< W ато, ь-

ным отображением

 

 

 

 

 

в себя. Если

 

 

с и

 

 

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

 

 

 

 

и топология

 

 

сильнее

топологии%,а,ъиндуцированной,р %c,d,p

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

 

В самом деле,

 

0 < р а, ь (т)

 

рс, d(х) при — оо

 

< о о ,

так что

 

 

(ф) ^

 

 

 

 

 

(ф); этот факт и лемма 1.6.3 до­

казывают справедливость

нашего утверждения.

 

Следова­

тельно, сужение любой f^ W 'a , ъна W c,d есть элемент W'c,d-

Ш а,ь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следуя общей схеме, использованной в случае преоб­

разования Лапласа, мы построим теперь из пространств

 

 

 

счетное объединение пространств.

Пусть ш,

как и ра­

нее, обозначает действительное конечное число либо —

оо,

и z, либо

действительное

конечное

 

число,

либо

 

-foo.

Выберем две

монотонные

 

 

 

 

 

 

 

av

 

w

 

0

 

 

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

действи­

Ьѵ

 

 

 

 

 

 

 

{av}^Lx

 

W (w, z)

 

 

 

что

 

 

 

+

 

 

и

тельных чисел

и {ftv}SLi такие,

 

 

 

 

 

 

 

—*■ z — 0.

Мы определим

z)

 

 

как счетное объеди­

 

 

 

 

 

 

 

 

 

 

 

W w

 

 

образом,

последова­

нение пространств U ^ = i^ av,bv; таким

 

тельность сходится в

 

( ,

 

 

W av,b4.

 

 

 

 

 

 

 

 

 

 

тогда и только тогда, когда

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

 

 

 

 

 

Нетрудно по­

Wказать( w ,

, z)что это определение не зависитW '(w ,отz),выбора последо­

вательностей

W

w

и {Ьѵ}.

Согласно

 

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

{а ѵ}

 

 

 

 

 

 

 

полно.

 

к (s

 

 

 

 

 

 

 

 

сопряженное

 

 

 

 

 

Пространство

 

 

 

 

 

 

 

 

W (w,

z)

 

(

 

, z),

 

 

 

 

 

 

 

 

w

 

 

 

 

 

 

 

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

 

 

также полно в соответствии с тео­

ремой 1.9.2. tЯдро

 

 

 

— т, 1)

как функция0 <c.tт принадле1

­

к (s

 

 

 

t)

 

тогда и только тогда,

 

 

W

 

 

<

Res

<

 

z;

жит

 

 

 

 

 

когда

 

 

далее,

если

фиксировано1 в

 

 

w

 

 

 

 

<

 

,

то

интервалві

(га,

 

 

 

 

— т,

 

как функция т есть элемент

 

 

z) для каж­

дого фиксированного s е= fé

и любых

 

 

и z. Отметим, что

9* 25Ѳ

Соседние файлы в папке книги из ГПНТБ