Файл: Амербаев, В. М. Операционное исчисление и обобщенные ряды Лагерра.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.10.2024
Просмотров: 103
Скачиваний: 0
Нетрудно убедиться (используя интегралы Эйлера второ го рода [20]), что справедливо
d
d t
t |
к |
гт |
+k+m |
|
|||
о Ъ\ |
|
m l |
(й+тге)! |
Сопоставляя каждую числовую последовательность
= |
(1.5.1) |
над полем Р комплексных чисел с формальным экспонен циальным рядом
|
Л |
X41 |
(1.5.2) |
|
f x = |
\ f t |
|
|
|
t=о |
|
с которым в свою очередь сопоставляется ф. с. р. |
|
||
|
|
сс |
|
|
F { z ) = 2 l f tz‘, |
(1.5.3) |
|
|
|
t= о |
|
получим три типа изоморфных между собой |
колец Р[?], |
||
Р0[х], |
Р [г], где Ро[х] кольцо рядов типа (2) |
со сверткой |
|
d |
х |
|
|
Г |
|
|
|
ви д а ^ |
\ /(х—x)g{x)dx в качестве умножения. |
|
|
0
Теперь на ряды типа (2) можно распространить опера ционные правила дискретного преобразования.
Приведем несколько примеров. Имеем диаграмму изоморфизмов
Р М < -^ Р оГ х ]^ Р [г], |
(1.5.4) |
i______________ + |
|
которые задаются следующим соответствием |
функций (1), |
(2), (3): |
|
f( ty * - f ( x) +FW.
I |
• |
I |
Отсюда, в частности,
1) 8 # -* )-* - I______^ 1 _ |
32
2) H(t |
а)~ е |
v? |
xk |
“ |
гП |
i=0 |
л |
1 —г> |
|||
|
|
|
|
|
3) (—1)*-' (" ) -s- 2 ( - D"-* ( " J l T ^ ( г - 1 )в,
(отметим, что многочлены L n(х)= |
2( —l)n~fe ( ь ) "аГ н ^ з ы - |
|||||
ваются многочленами Лагерра) |
fc =0 |
' ' |
||||
|
|
|||||
4) |
п) ' |
|
|
|
п! ■(1-г)п+1’ |
|
|
|
|
|
|||
|
5) c'/W |
f (ах) |
^(яг), |
|
||
|
|
ж |
|
|
|
|
6) ftf -m ) |
d |
|
|
|
|
|
dx i (*m! Г |
|
gmJ,(2)’ |
||||
|
|
|
||||
|
dm A |
F ( z ) - ( f Q+ f tz + . . . + f m_ lZ m- 1) |
||||
7) /r(f+m)-*-;£m/r(*)- |
|
|
2m |
> |
||
I |
|
|
|
|
|
|
8) K . t f {» ) - ( « ;£ |
|
|
|
g/o |
||
|
|
|
г ’ |
|||
|
|
A |
f* |
A |
|
Fi.z') |
9) 2 |
f * ■*- Л*) + |
e* |
^ |
w dt ^ |
T=T* |
|
*-o |
|
|
5 |
|
|
|
3 - 5 |
33 |
X |
X \ |
z |
И ) Щ + J ^ |
dxi\f(x2)dx2^ F ( C , ) d r „ |
|
0 |
0 |
о |
/ 1\ |
х п л |
12) ( л ) ^ — |
|
ит. д.
Приведенные примеры показывают, как операционные соотношения между элементами двух любых колец диаграм мы {4) порождают соответствующие операционные соотно шения для любой другой пары колец.
Используя диаграмму изоморфизмов (4), получаем сле дующее утверждение:
если имеют место соответствия
—f(t) = (fо, fi, ft, • • • )>
- F { z ) = 2 ^ .
|
|
k=0 |
то для у Цг), g(z)Q P[z] |
при условии 0 (g(z))^l справедли |
|
вы соответствия |
|
|
Qt r n |
2 |
Qt ([/]) -JT 4 z ) F № ) , |
где многочлены Qt (u>) порождаются производящей функци-
09
34
Отсюда, в частности, легко устанавливаются соотноше
ния |
|
00 |
.ft |
|
|
|
|
||
т = си , f u / 2, . . . ) = 2 - j i - ( 4 ) ( k )’ |
<1-6-5) |
|||
|
|
А—О |
|
|
/(* )= 2 f r i r |
= |
^ ‘ 2 |
A«V o 4 ТЬ |
(1-5-6) |
А=0 |
|
А=0 |
|
|
00 |
|
“ |
ft |
|
В Д = 2 / ,*г |
= |
Рг 2 |
^в,f/o (а_рг)Л > |
(1.5.7) |
А-0 |
|
*=о |
|
|
которые проверяются непосредственно.
Указанные соотношения означают, что преобразованию Эйлера степенных рядов (7) отвечают следующие его моди фикации: в пространстве Р0[л;] преобразование (6); в про странстве Р[£] преобразование (5).
Отметим, что формализм принципа финитности позво ляет использовать итерации преобразования Эйлера и его модификаций.
Дополнение диаграммы изоморфизмов (4) новыми коль цами можно осуществить различными путями (часть кото рых указана ниже). При этом будут получаться различные модификации дискретных преобразований.
Остановимся на одном из таких дополнений, которое будет играть большую роль для последующего построения.
Выше было показано, |
что полиному Лагерра |
L n(я) = |
||
= ^ |
( |
п \ х к |
отвечает в кольце P[z] |
полином |
(—1)и-*1 k )Ц 6 Pol*] |
||||
А=0 |
' |
/ |
|
|
(z—1)п. Используя правило подобия, легко видеть, что спра ведливо операционное соотношение 6 £<)(х)=апL n(x/a.)s-(z—а)п.
Следовательно, согласно теореме о свертке, будем иметь
х |
|
|
|
4 г J '1 — х) |
(х)^х |
(2 — а)п (г — а)т . Отсюда заключа- |
|
0 |
|
|
|
ем, что справедливо |
|
|
|
х |
|
|
|
- Ш j |
в(Л * “ |
Sm(T)dx = 6n l m (*)• |
(1-5.8) |
0 |
|
|
|
35
Последнее свойство позволяет построить кольцо Ра [х] рядов вида
(1.5.9)
к^О
произведение которых определяется соотношением (8). Ря ды (9) будем называть формальными a-рядами Лагерра (ф. р. Л). Кольцо Ра [х] изоморфно кольцу ф. с. р. P[z—а] ; упомянутый изоморфизм задается соответствием
00 СО
№ = 2 W |
(*) 2 Ы г - |
= F{z). (1.5.10) |
к - 0 |
А=0 |
|
Таким образом, диаграмма изоморфизмов (4) дополня ется новой цепочкой соответствий:
Ра [х]<--------------- |
>-Р[2 —а] |
(1.5.11)
P[fj
t
Рассмотрим операционные соотношения, порождаемые цепочкой изоморфизмов
РМ«~*Р.Г*]<"»'Р|>—*]. (1.5.12)
где изоморфизм задается следующим соответствием функ ций:
f(t) =(f 0»f 1. |
|
ePtf], |
|
+ |
СО |
|
|
|
|
|
|
f(x) = y^ i fkB<k)(x) |
' |
бРаИ, |
|
+ |
k—0 |
|
|
со |
|
|
|
|
|
|
|
—F(z — а) = 2 fk(.z—<3-)k |
6Р[2 — а]. |
||
|
*=о |
|
|
Для вывода операционных правил воспользуемся сле дующим приемом.
36
Обозначим через Ро[х], Ра [ж], P[z , P [z—а] подкольца многочленов колец Ро[х], Ра [я], P[z , Р [z—а] соответст-
венно.
Упомянутые подкольца изоморфны, изоморфизм порож-
Х п |
Л |
Л |
Л |
дается соответствием 2п,при этом Ро[х] =Ра [х] и Р[г] =
= Р [г—а].
Отсюда следует, что операционные соотношения между
ЛЛ
элементами подколец Ро[х] и Р [z] могут быть распростра нены на пару колец Ра [я] и P[z—а] при условии, что соот ветствующее распространение допустимо для пары колец Р0[х] и P[z] и оно свободно от влияния параметра а. На
пример, так как |
х ± (Ц-) + ± 2", То ( ~ х ~ ) ©'“’(х) +• |
-д- [г — <х)п для любого agP.
В частности, легко убедиться, что ^ -^ х -^^0(п“)(л:)=ге0^1(д:)-
Следовательно, для цепочки (12) справедливо правило
'W-lsI*£)«*>" £F(2)-
При распространении операционных правил с пары колец Ро[х] и P[z] на пару колец Р п[л:] и P[z—а] также суще ственное значение оказывает то, что упомянутые пары обладают общим правилом свертывания оригиналов и ум ножения изображений.
Поэтому здесь справедливо, например, правило
f ( t - т) + £ ) 6W (х - |
x ) f № |
+ ( г - |
a)mF(z - a) |
0 |
|
|
|
и в более общем случае |
|
|
|
t |
*л |
|
|
2 fi* — *) S{k) + ~^с } fix — ^g i^d z |
F(z — a)G(z — a). |
||
A=0 |
|
|
|
Без труда перефразируются |
остальные операционные |
||
соотношения, рассмотренные для пары колец Ро[х] Р[з].
37
Заметим также, что при а = 0 полином |
|
в^Ч*) прини- |
||
хп |
^ |
ak |
хк |
могут |
мает вид - f - , следовательно, ряды вида |
> |
|
||
k=0
рассматриваться как формальные нуль-ряды Лагерра. Общность операционных правил дискретных преобразо
ваний, порождаемых кольцами формальных a-рядов Лагер ра Ро[*]-<~*Р [z] иР» [х] Р [z—а], позволяет по-новому взглянуть на структуру и вопросы построения (непрерывно го) операционного исчисления.
Г л а в а 2
ПРОСТРАНСТВО ОБОБЩЕННЫХ ОРИГИНАЛОВ И ПРОСТРАНСТВО ИЗОБРАЖЕНИЙ ЛАПЛАСА
Ниже дано обобщение понятия преобразования Лапласа. Пространство обобщенных оригиналов строится на основе понятия формальных рядов Лагерра. Изоморфное ему про странство изображений описывается совокупностью полных аналитических функций на комплексной z-плоскости. При построении использован эйлеровский принцип обобщения понятия суммы бесконечного ряда. В классическом вариан те изображение Лапласа возникает как результат примене ния интеграла Лапласа к оригиналу. В этом случае расши рение класса изображений осуществляется путем обобще ния понятия оригинала (например, переходом к обобщен ным функциям). Если попытаться применить эйлеровскую идею обобщения понятия суммы к задаче обобщения поня тия изображения, то в грубом варианте она звучала бы сле дующим образом: вместо схемы «оригинал производит изоб ражение» следует исходить из схемы «изображение произ водит оригинал». Ниже эта идея развивается на точном языке. Развитие указанной идеи позволяет получить значи тельное расширение возможностей операционного исчисле ния, построить такую теорию операционного исчисления, которая удобно сочетает в себе алгебраические и аналити ческие достоинства операторного анализа.
§ 1. Пространство обобщенных оригиналов
Пусть Р — поле комплексных чисел. Для произвольного а 6 Р рассмотрим пару колец: формальных отрядов Лагерра Ра [£] и формальных степенных рядов P[z—а]. Выделим в
указанных кольцах изоморфные подкольца Р0[£] и P[z—а]
Р « № — — а]. |
(2 .1 .1 ) |
39