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

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

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

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

Добавлен: 11.04.2024

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

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

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

еслп правая часть

существует. Показать, что

 

 

(1

1

-2

 

 

 

(Я/) (*) =

1— е

 

1

1

 

 

 

(1

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

Лапласа об­

З а д а ч а 3.3.4.

Двустороннее

 

— < Hes< .

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

определенное) — впа“*"1)всех

элементах 3)', может быть

введено следующим образом, основанным на результатах Земаняпа

[1] (пп.

7.6 п

7.8):

 

 

 

 

 

 

 

(а) Пусть ( p £ Ä H g — такая локальпо интегрируемая

функ­

ция, что

для каждого действительного числа

с функция e~cl g (t)

абсолютно интегрируема

на

оо

<

t <

со.

Положим

 

ОО

 

 

 

 

Ф (*) =

(Яф )(*)=

^

ф (t)e-“

dt,

 

 

 

 

 

ОО

 

 

 

 

 

 

 

G («) =

^ g ( 0

e~Bt dt.

 

 

 

Показать, что для любого действительного значения с

 

 

C -j-ioo

G (s) Ф (s) ds =

2лі оо ^

g (t) ф (— t)dt .

(6 )

 

С— ІОО

 

 

— 00

 

 

 

 

Это приводит к следующему определению Я / для любого / £ 3)':

 

<Я/,

Яф> = 2 яі </, ф>,

 

 

-(7)

где ф (<) =

ф (— г). Таким

образом, Я на 3)' представляет

собой

отображенпе, сопряженпое отображению Яф

 

яіф,

где ф

пробегает

пространство S).

Отметим, что при

f —

2g левая часть

равенства (7) может интерпретироваться как интеграл по верти­ кальной линии в комплексной s-плоскости, а именно, как левая

часть

 

равенства

(

).

 

 

 

 

 

(в)

Пусть п

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

положительное целое число, 3?п — пространство

всех целых функций Ф , таких, что

 

 

 

 

ип к (Ф) 4

 

sup I е~пЫ / ф (») I <

оо, в =

Re *,

* = О, 1, 2, ... .

Снабдим

& п

seSP'

 

 

 

 

 

 

 

 

 

 

 

 

топологией, порожденной мультинормон {un, k}£L0. До­

казать,

 

что

3?п — полное

счетно-мультпнормпропаппоо простран-

ство

и

что

 

ф =х Яф

2яіф — изоморфизм

5?п

на 3>к , где К

отрезок — п <

t

 

п.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

А

оо

 

 

 

 

(с) Показать, что S? =

U S? может быть определено естествен-

ным образом

как

 

П =1

 

 

 

строгое

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

Ф =

Яф1-»-

2

яіф — изоморфизм S?

па 3). Отсюда следует, что если

Я/

 

 

 

 

 

 

 

 

 

 

указанным

в (а), то / і->- Я/ —

 

определено на / £ 3)' способом,

изоморфизм 3)'

на

где

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

сопряженное к S?.

84


3.4. Формулы преобразования операций

Вэтом пункте мы определим ряд операций, применимых

кэлементам любых пространств Х а,ь или X ' (w, z), и покажем, как эти операции преобразуются при преобразо­ вании Лапласа. На протяжении всего пункта мы предпо­

лагаем, что

F s

 

 

2

 

 

( ) =

£/ при s ЕЕ й/ и что ах, аг обозначают

абсциссы сходимости для й/.

 

 

 

 

Дифференцирование.

В п. 3.2. (равенство (1))мы видели,

 

y h

 

D

 

 

что

(— Z)cp) = Т/т (ф)- Поэтому согласно лемме 1.10.1

оператор —

 

(т. е. дифференцированней умножение на — 1)

задает непрерывное

линейное отображение

Х а, ь

в себя.

D ,

 

По

теореме

1.10.1

сопряженный оператор

 

который

является оператором обобщенного дифференцирования (см. п. 2.5), определяет непрерывное линейное отображение

Х а,ь в себя. Следовательно,— D определяет также не­ прерывное линейное отображение любого пространства

X(w, z), являющегося счетным объединением пространств,

всебя, а обобщенный оператор D — непрерывное линей­ ное отображение X ' (w, z) в себя.

Это приводит к следующей формуле:

2 D k

/

(t)

=

skF

(s),

в е й / ,

к

=

1,

2, 3,

. . .

(1)

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

 

если

/ е

У (ой,

су2),

e~sl ЕЕ X

(ой, сг2), то

 

 

 

Ф кІ (<), e~sl >

=

</ (г),

( ~ D tf

e- sl>

=

</ (г),

S*e-sl> =

 

 

 

 

 

 

 

 

 

 

 

=

skF (s).

Формула (1) представляет собой свойство преобразования Лапласа, которое делает это преобразование столь полез­ ным в качестве основы для операционного исчисления при

решении

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

уравнений с

постоянными

коэффициентамиУмножение на.

функциюМы рассмотримиз ОмОмэтот вопрос

в конце

п.

3.6.

 

функций,

 

 

 

 

 

 

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

 

(t)

 

 

 

Ѳ м

 

 

 

 

 

гладких

 

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

следующим

образом:

Ѳ

 

принадлежит

 

тогда

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

когда

она

является

 

гладкой

на —

оо

<

 

і <

оо и для

каждого

не­

отрицательного

целого

числа

к

существует такое целое

число

 

N k,

чтооофункция.

(1 +

t2)~NkD kQ (t)

ограничена

оо

< ;

t

 

 

на —

 

 

 

<

 

 

 

 

 

 

 

 

 

 

 

Пусть ф — произвольный элемент Х с, а и а, & — произ­ вольные действительные числа, удовлетворяющие услови­ ям а < с и d < .Ъ . Тогда для любой Ѳ ЕЕ Ом операция

85


cp

t-> Ѳ Ф

 

является

непрерывным лппѳйпым

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

 

 

 

в

%а,ь-

Чтобы показать это,

напишем

 

 

 

 

 

 

 

 

 

 

 

 

Ка,Ь0*(Ѳф)

 

 

 

 

 

Z)'l- v0)( x CidZ ) » ,

 

 

 

 

 

и заметим,

что

 

можно выбрать постоянную

В к

так,к .

что

 

 

 

 

jI

*a, b D k-v 0

< B k,

 

 

° ° < ' : <

 

lX5i

V =

0 ,

1 , . .

 

 

 

 

 

 

Xc.d

 

 

 

 

 

 

 

 

 

 

 

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

 

 

если10

ф1 б Ж Сіі,

 

 

(ф)-

 

 

 

Линей­

Таким

образом,

то Ѳф€ЕІёа ,ь.

 

ность отображения 1ф>->-

Ѳф

очевидна,

непрерывность его

вытекает из леммы . .

Ом.

 

 

 

 

 

0

выборе

w, z

 

Из всего сказанного6следует, что приXлюбомw

 

 

 

0и для любой функцииѲ

=

 

соответствие ф>->-

 

ф определя­

ет непрерывное линейное отображение

(

, z)

в себя (т. е.

 

— мультипликатор в

X

w

Действительно, для лю­

X

 

(

, z)).

бой

 

заданной

 

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

{фѵ},

сходящейся

 

в

 

w

, z), можно найти такие

действительные числа

 

а,

b

,

с

 

(

 

 

 

 

 

и

â,

 

что

w

Х<

а

 

<

с,

d

<

b

< z и

{Xфѵ(w,} сходится

в

Х Су (1.

 

 

 

а>ъ

 

 

 

 

 

 

Наш предыдущий результат показывает теперь, что {Ѳф„}

сходится в

 

 

 

и,

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

в

z). Поэтому ото­

бражение действительно непрерывно, линейность же его

очевидна.

 

 

 

 

 

 

 

 

 

 

X ' w0

 

 

Мы можем поэтому заключить, что / ■->-

,

/ (см. п. 2.5) —

непрерывное линейное отображение

 

 

(

z)

в себя.

Этот

результат и тот факт, что

tk ЕЕ Ом

для

всех

к

= 0, 1,

2,...,

 

 

 

s,

приводит к еще одной формуле преобразования операции.

Для

любого

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

 

числа

 

 

такого,

что

О! <

Re s <

о2,

справедливо

соотношение

 

 

2

 

 

 

« / (

0

.

e~st>

=

</ (

0

.

te-st>,

 

 

гдеX

обе

 

 

 

 

 

 

 

 

 

 

( )

стороны

равенства имеют смысл

как результаты

применения2

элемента из пространства

X '

(ц1, о2) к элементам

(ог1, ст2). На основании

равенства

(3) п.

3.3

можно пере­

писать

( ) в виде

 

=

 

— D F

Is),

 

s E Ö / .

 

 

(3)

 

 

 

&t f { t )

 

 

 

 

 

 

Для любого положительного целого числа к и фикси­ рованной (но произвольной) точки s из Q/ мы можем

86


аналогичным образом провести- следующие выкладки:

 

 

<t*f ( 0 ,

е " 8' )

=

< * * -1 /

(te~S,>=0 .

D

. <

* * ~

Ѵ ( 0 . е ~ 8,>

=

 

 

 

- -

 

я .

 

(0, ^ ' >

=

( -

Л.)* <гя~2/ (0, <г8'> = •■ ■

(4)

В результате мы

 

 

 

 

 

 

. . .

=

(

-

 

Л ,)*</(*),«-'>•

 

получим формулу преобразования опе­

рации утюжения / на

 

 

 

 

 

 

 

 

 

 

F is),

s

 

 

 

 

 

 

 

S

tkf (t)

= </ (0,

к

=

 

=

( -

Д*)

 

 

 

 

 

 

e

Q/,

(5)

 

 

 

 

 

 

 

 

 

 

 

Умножение на

 

 

 

1,

2,

3, . . .

 

 

 

 

Пусть а —

 

 

 

 

 

 

экспоненциальную функцию.

фиксированноеа-комплексноеГ, ь-г %а, числоь-

и

 

г

=

 

 

 

 

 

Re а . Мы дока­

жем сначалаХ, что

 

отображение ср >->

 

е-“ '<р

является изо­

морфизмом

 

 

 

на

 

 

 

 

 

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

 

 

 

 

х0, ь (<)

D ke

 

 

 

 

 

 

 

 

к—V

^a, b (0

 

 

 

 

 

 

 

 

 

 

~alср (<) =

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

( - a )

 

 

 

r, b-r -at

 

 

 

 

 

 

 

 

 

 

 

 

 

ѵ=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

2

 

 

 

 

 

 

 

 

 

 

 

 

 

(0

■«a-r.b-r (0

 

0

Функция к а, ь (г) е-а7ха-г, ь-г (0

ограничена на — оо <;

(

*

<

оо постоянной,

 

равной 1.

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

 

 

 

 

 

 

 

 

 

Та, ь, к (е_а'ф) <

 

2

 

( *) I “

Г"ѴТо-г, Ь - г ,

V(ф),

 

 

 

 

И

поэтому

е~а'ср еі? ь ,а >

 

если

ср

е

 

 

Ä а-г, Ь-г-

Так

КЭК

отображение1 10 1, очевидно,

линейно,

то полученное неравен­

ство доказывает, что оно и непрерывно из

Х

а~ , ь_,-

ъ Х йіЪ

(лемма .

. ).

 

 

 

 

 

 

 

 

 

 

 

 

 

еаі

>->■

 

 

 

 

 

 

 

 

С другой стороны, умножение на

 

является единст­

венным обратным отображением для ср

 

е-а“(ср,^

причема-г,ь-г-

аналогичные рассуждения показывают, что

Хоно определя­

ет непрерывное линейное отображение всего

 

 

 

в

 

 

 

Поэтому отображение

qp>->-e_ a ((p

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

является

изоморфизмом Ä a_,.jt>_r нэ

Х а, ь.

Следовательно, ср>->-е-а,(р —

 

г =

изоморфизм

X

(w

— г,

z

г)

на

X

iw,

z);

при

этом

мы

полагаем,

что

 

— оо —

 

 

 

— оо

 

при

w =

— оо,

и

 

 

 

 

 

 

 

 

оог — оо при z = оо.

Из результатов п. 2.5 вытекает теперь, что / >->- e~atf

изоморфизм

как

Х а,ъ

на

Х а- Г,ъ-Т,

так

 

и

X '

(w,

z)

на

X '

(

w

г, z

7

 

Поэтому

если В / =

 

F

(s) при

s

€Е Q/,

то

 

 

— -).

 

 

 

 

равенство

 

 

> =

</

it),

e-(s+a)(>,

s

+ a e

Й/,

 

6

 

 

 

 

- a7 (t), e~sl

 

 

 

 

<e

 

 

 

 

 

( )


имеет в 1смысл.

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

6Ж'

(огх,

въ),

е-Ф+а>' ее

е

X

(d ,

Ста),

e -at )

(0

е

Ä ' (о1! — Г,

въ —

г)

и e- s' е

 

2

 

 

Е Ж

(

— г, <х — г).

Равенство

( )

 

можно

нереписть

также в

виде- а1 / ( ( г )

F

(s + а ) , s

+ а

е £2,.

(7 )

 

 

 

£ е

 

 

 

 

 

 

 

 

 

Сдвиг. Пусть т — фиксированное действительное чис­ ло. Отображение cp (t) >-*- ср (і + т), как мы уже видели, является непрерывным линейным отображением Х а, ъ в %а,ъ, поскольку

 

 

 

 

I-

 

X

(/)

 

Т) Аі-тф (/ +

т)

ха, Ь(О А Ф (І +

т) = -—

_рту V-a. b (t +

и

отношение

на, ь (/)/х„)Ь (/ + т)

ограничено

на

оо

< ;

і

< ;

оо.

фЕдинственное(t) >-*■ ф (t

обратное отображениеX а, ъиме­

Xета, ъвид

ср (/) и-»-

ср (і — т) Хиа, ьотображает).

все

Х а, ь

в

Х а, ъ.

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

 

+

т) — изоморфизм

 

 

на

 

 

(т. е. автоморфизм

 

Поэтому рассматриваемое

отображение

задает также

автоморфизм

X

 

 

w

 

 

 

 

 

( , z).

(t

 

 

Обозначим отображение,

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

(t) >->-

ф

+ т),

через

f (t)

 

f {t

— т), поскольку оно имеет такой вид для

обычных функций, и напишем

 

 

 

 

 

 

 

 

 

 

 

</ (г — т), ф (г)> =

</ (г), ф {t +

т)>.

 

 

(8)

По теореме 1.10.2 / (t) / (/ + т) задает автоморфизм

пространств Х а, ь и X ' (w, г)'при любых а, Ъ, w и z. След­ ствием всего сказанного является формула

 

 

S3 / t t - т )

= e ~ ^ F (s),

 

s ^ Q j .

 

(9)

З а д а ч а

 

 

F (s) при s Е Qf-

 

 

 

.4.1.

Пусть йf =

Показать сна­

чала,

что ср (г) і->- ф (— г) — изоморфизм 31_ь _ а на5?а ь. Затем для

любой

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

/ Е

Sßa ь,

 

определить

отображение

f (0

/ (— 0

формулой

 

 

 

 

 

 

 

 

 

 

< /(-< ).

ф (0 > = < / ( 0 .

Ф (-<)>■

 

 

Наконец, показать, что й/ (— г) =

Т7 (—s) при —s Е

йу.

З а д а ч а

3.4.2.

Пусть

т — фиксированное

положительное

число,

йf = F

(s) при

s Е

Qy.

Показать,

что ср (г) >-*- ср (г/т)—изо­

морфизм 5?та тЬ на S6a

ь.

Для

/ Е

Sß'a j,

определить

отображение

/ (г) і->- / (т, г) формулой

 

 

 

 

 

 

 

 

 

</ (т, 0. Ф М>

=

</ (0.

'с~1/ С/т)>

 

 

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

Й/ (тг)

=

т-1/'’ (s/т)

при s/x Е S2/.

 

 

88