книги / Операционное исчисление и обобщенные ряды Лагерра
..pdfА К А Д Е М И Я Н А У К К А З А Х С К О Й С С Р
И Н С Т И Т У Т М А Т Е М А Т И К И И М Е Х А Н И К И
В. М. А М Е Р Б А Е В
ОПЕРАЦИОННОЕ
ИСЧИСЛЕНИЕ
И
ОБОБЩЕННЫЕ РЯДЫ ЛАГЕРРА
И з д а т е л ь с т в о « Н А У К А » К а з а х с к о й ССР
Алма - Ата - 1 97 4
В теории операционного исчисления видное место занимают вопросы обобщения операционного исчисления и проблемы числен ного обращения интегрального преобразования Лапласа. Обе эти темы освещены в работе на базе методов разложения. В частности, здесь описаны основы общего подхода к построению операционно го исчисления, а также некоторые приемы численного восстанов ления оригинала по изображению Лапласа.
Книга представляет интерес для широкого круга специали стов в области прикладной математики.
Табл. 1 библ. 226.
Издательство «НАУКА* Казахской ССР. 1974 г.
П Р Е Д И С Л О В И Е
Операционное исчисление — важный аппарат современ ных методов прикладной математики. Самым главным до стоинством, обеспечивающим большую популярность этому методу, является алгебраизация основных важнейших ли нейных процедур математического анализа, что в свою очередь открывает большие возможности для «экономики мышления», компактности интерпретаций, широкого ис пользования аппарата алгебры и метода аналогий. Другое не менее важное преимущество его состоит в том, что оно, по существу, служит языком перевода задач теории функ ций вещественного переменного на язык задач теории функ ций комплексного переменного, которая обладает развитым и тонким аппаратом.
Развитие теории операционного исчисления стимулиро-' валось тенденцией переноса операционных методов на бо лее общие классы функциональных объектов. Как показы вает анализ литературы, проблемой обобщения операцией: ного исчисления занимаются исследователи разных стран. Наиболее широкую известность получили работы Г, Деча,
В.А. Диткина, Я. Микусинского, Л. Шварца.
Внастоящей книге излагаются элементы нового подхода к построению операционного исчисления. Сущность этого подхода .заключается в разработке процедур (типа попол нения пространств), расширяющих область определений операторов. Основу используемого аппарата составляют! обобщенные ряды Лагерра и метод аналитического про:
должения функций комплексного переменного. Идея мето да исходит из эйлеровского обобщения понятия суммы бес конечного ряда. Л. Эйлер писал: «...если под «суммой» ря да понимать, как это обычно делается, результат сложения всех его членов, то нет никакого сомнения, что суммы мож^ но получать только для тех бесконечных рядов; которые
Ь
являются сходящимися и дают результаты тем более близ кие к некоторому определенному значению, чем больше членов складывается... мы припишем слову «сумма» зна чение, отличное от обычного. А именно, мы скажем, что сумма некоторого бесконечного ряда есть конечное выраже ние, из разложения которого возникает этот ряд» [113].
Последнее предложение является формулировкой зна менитого принципа Эйлера суммирования расходящихся рядов. Эта точка зрения предвосхитила ряд крупных идей последующего развития математики, в том числе идею аналитического продолжения. В частности, сам принцип Эйлера нельзя корректно сформулировать, не используя метода аналитического продолжения.
По Эйлеру, «сумма ряда» является первичным поняти ем, тогда как «ряд» — производным, вторичным. В обыч ном понимании картина противоположная: первичным яв ляется «ряд», а «сумма ряда» — вторичным.
Подобная же схема может быть использована при по строении операционного исчисления. В обычном понимании операционного исчисления изображение оригинала /(f) есть функция F(p) комплексного переменного р, получае мая умножением оригинала /(f) на е ~pt и интегрированием iio f на интервале от 0 до со. Следовательно, оригинал явля ется первичным, а изображение — вторичным: оригинал производит изображение.
Аналог эйлеровского принципа в операционном исчис лении предполагает такую процедуру построения простран ства изображений, при которой изображение было бы пер вичным, а оригинал — вторичным : изображение произво дит оригинал. Последовательно придерживаясь этой точки зрения можно получить пространство обобщенных оригина лов, где каждый из них понимается как класс эквивалент ности во множестве формальных рядов Лагерра. Простран ство обобщенных оригиналов изоморфно пространству всех аналитических функций комплексного переменного, кото рое выступает в роли пространства изображений. Таким образом, в рамках этой теории любая аналитическая функ ция является изображением, а пространство обобщенных Оригиналов выступает как новый тип пространства обоб щенных функций. Это пространство в общем случае не яв ляется ни полем, ни кольцом, ни линейным пространством. Вместе с тем принцип изоморфного вложения позволяет отождествить отдельные подмножества пространства обоб щенных оригиналов с пространством классических функцийоригиналов, с пространством обобщенных функций Do'*' Л. Шварца, с пространством Я. Минусинского.
В предлагаемой книге приводятся наиболее важные по нятия математического анализа и их распространение на обобщенные оригиналы: интегрирование, дифференциро
вание, |
свертка, значение обобщенного оригинала в точках |
f = 0 + |
и t= + оо, обобщение понятия интеграла Лапласа — |
Карсона на класс обобщенных оригиналов и т. п. Рассматриваются три стержневые проблемы, возникаю
щие в связи с обобщением операционного исчисления:
1 ) распространение операционных правил на класс обоб щенных оригиналов;
2) изучение состава пространства обобщенных оригина лов, т. е. изучение вопроса о том, какие классы функций принадлежат пространству обобщенных оригиналов и ка кие (конкретно) изображения им соответствуют ;
3) исследование алгоритмов и приемов построения (реа лизации) неизвестного оригинала, когда известно изобра жение.
В связи с небольшим объемом книги материал, касаю щийся двух последних проблем, несколько ограничен.
За исключением первой главы, где излагаются элементы дискретного операционного исчисления над произвольным полем, по которым имеется обширная библиография, в кни ге приводятся библиографические замечания. Цель первой главы — показать идейное (структурное) родство дискрет ного и непрерывного операционных исчислений, проиллю стрировать на примере дискретных преобразований силу эйлеровских идей по обобщению понятия суммы расходя щихся рядов, подготовить идейный фундамент — ввести по нятие обобщенного ряда Лагерра для последующего обоб щения операционного исчисления.
Вначале каждой главы в краткой форме освещаются постановка задачи и содержание.
Вкниге принята трехместная нумерация формул (т, п,
s): т —. глава, п — параграф, s — формула. Ссылки наних внутри параграфа — одноместные (s), по главе — двумест ные (л, s), по книге — трехместные (т, п, $).
Автор глубоко благодарен профессорам В. А. Диткину
иА. П. Прудникову за неоднократное обсуждение материа ла и дружескую критику.
В написании |
книги приняли |
участие |
Ж. |
Наурзбаев, |
Р. Джаембаев. |
Ж. Наурзбаевым |
написан |
§ |
3 главы 4, |
Р. Джаембаевым — § 2, 3 главы 6. Ж. Наурзбаевым оказана большая помощь в подготовке библиографического матери ала: Автор выражает им, а также Э. Альзамаровой свою признательность за помощь в работе над книгой.
Г л а в а 1
ДИСКРЕТНЫЕ ПРЕОБРАЗОВАНИЯ
Принцип финитности. Пусть Р некоторое поле, N упо рядоченное множество целых чисел N = {0, 1 , 2, 3 , . .
Образуем совокупность всевозможных последовательно стей fajtew над Р, т. е.
1>(]«ен=(«о. «и «2. • • • )» V*6N : а,еР .
Каждую последовательность |
(о^еи |
удобно отождествлять |
с функцией а(£), определенной на N, со значениями в Р и |
||
удовлетворяющей условию V*6 N : a(t) — a t. |
||
Совокупность всех таких |
последовательностей обозна |
|
чим символом P [t]. |
|
отношений, используе |
Важный тип функциональных |
мых в дискретной математике, составляют отображения, удовлетворяющие принципу финитности.
Принцип финитности формально выражается следую щим образом.
Пусть /={*<>, Хи * 2,. ••} упорядоченное множество пере
менных. |
|
Любому fgN |
сопоставляются : конечное подмножество |
и формула |
A t (/(), включающая в себя конечное чис |
ло операций поля Р над элементами из I (. Тогда последовательность формул
^ = U t(Ie)]feN= U 0(/0), А(Л), • • • )
представляет собой оператор, который осуществляет ото бражение Р[£] в себя.
Действительно, любой функции oi(t)= '(а0, ai, a2, ...) вР[£] оператор А сопоставляет функцию fi(t)=Aa(t) по правилу:
для VfgN |
£-я координата последовательности р(£)=(Ро, Pt, |
р2»...» Pt, |
...) образуется по формуле P, = A t ( I t) Cat]te^. |
в |
|
Таким образом, всякое отображение пространства P[ï] в себя удовлетворяет принципу финитности, если каждая компонента р, образа P(f) вычисляется посредством конеч ного числа операций поля Р.
Операторы описанного типа будем называть конечными операторами, а их компоненты A t( I t) конечными арифме тическими формулами.
Анализ (описание) конечных операторов, алгебраизация
приемов решения |
задач, |
формулируемых на |
языке этих |
||||
операторов, |
составляет |
основ |
«Сг, • |
• /*0 |
|||
ной цикл вопросов теории дис |
|||||||
кретных преобразований. |
|
|
|
||||
В данной главе на базе тео |
|
|
|||||
рии |
формальных |
степенных |
|
|
|||
рядов (ф. с. р.) описывается |
|
|
|||||
общая схема построения дис |
|
|
|||||
кретных преобразований. |
|
|
|
||||
Использование ф. с. р. поз |
|
|
|||||
воляет установить один общий |
|
|
|||||
алгебраический |
фундамент |
|
|
||||
для широкого класса дискрет |
|
|
|||||
ных |
преобразований, |
имею |
|
|
|||
щих |
большое практическое |
|
|
||||
значение в |
дискретной |
мате |
|
|
|||
матике. |
финитности |
яв |
|
|
|||
Принцип |
|
|
ляется единственным ограни чением на операции над ф. с. р. в тех случаях, когда нет
необходимости или не имеет смысла рассматривать вопросы сходимости бесконечных процедур, как например, в случае, когда поле Р является конечным. Поэтому последователь ное применение принципа финитности в теории дискретных преобразований имеет самостоятельный интерес, особенно в теории дискретных преобразований над конечными поля ми. Л. Эйлер первый, кто широко использовал этот прин цип (не формулируя его) в своих знаменитых трудах [113].
В случае полей характеристики О (например, в поле ком плексных чисел) появляется необходимость рассматривать операции над ф. с. р., включающие в себя бесконечное чис ло арифметических действий. Теоретическим принципом, позволяющим избежать практические трудности, связанные с выполнением бесконечного числа операций, является ме тод Л. Эйлера суммирования расходящихся степенных ря дов. Иными словами, по Л. Эйлеру, не ряд производит сум му, а сумма производит ряд. Такой взгляд на понятие
суммы оказался наиболее благоприятным для теории дис кретных (а также непрерывных) преобразований.
Для последующего рассмотрения изучаемых вопросов существенное значение имеет пЬнятие формальных рядов Лагерра.
§ 1. Формальные степенные ряды (краткий обзор)
Совокупность сумм вида
a0+ a 12-fo 2s2+ . . . + a „ z * - f----- |
(1 .1 .1) |
где коэффициенты a k принадлежат P, a z — некоторый сим вол, называется формальным степенным рядом (ф. с. р.) и обозначается символом f(z).
Ф. с. р. можно складывать и умножать подобно сложе нию и умножению многочленов. В последнем случае пред полагается, что определена операция умножения степеней символа z : z n'Zm— 2т+л. Следовательно, совокупность всех ф. с. р. над Р образует кольцо, которое будем обозначать символом P[z].
Кольцо Р[г] не содержит делителей нуля, т. е. оно обла дает свойством: если произведение двух ф. с. р. /(z) и g(z) равно 0, то по крайней мере один из них равен 0.
Доказательство легко получить методом ложного поло жения, пользуясь правилом умножения ф. с. р. и замечая, что два ф. с. р. равны тогда и только тогда, когда равны их коэффициенты при одинаковых степенях г.
Это свойство позволяет расширить кольцо ф. с. р. P [z] до поля частных P(z), подобно тому, как кольцо целых чи сел расширяется до поля рациональных чисел.
Нетрудно видеть, что любой элемент f(z) поля частных
P(z) может быть записан в виде |
|
/(z)=z*(a0-K z-H z2z2+ . . . ), |
(1 .1 .2) |
где s целое число, ао¥=0. |
оно может быть |
Число s называется порядком ряда f ; |
как положительным, так и отрицательным и обозначается символом О(/).
Очевидно, что
0 (f- g )= 0 (f)+ 0 (g ),
(1.1.3)
0 (f± g )> m in [0 (f), Ote)].
Удобно определить порядок нулевого ряда, положив 0(0)= + оо, тогда свойства (3) будут иметь место для любых элементов из Р(г).
Из свойств ф. с. р. отметим:
1 ) допустимо дифференцирование ряда (которое обычно называется алгебраическим дифференцированием) ;
2) допустима подстановка ряда в ряд |(здесь следует сде лать оговорку, что если исходить из принципа финитности, то на процедуру подстановки налагаются опреде ленные ограничения, которые будут рассмотрены ниже).
§ 2. Операционное исчисление функций целозначного аргумента
Рассмотрим совокупность P[f] функций целозначного аргумента, определенных на N, со значениями в поле Р.
Помимо операций :
1) умножения функции ф(£) на скаляр a gP, которое определяется следующим образом :
если
ТО |
<?(0=(<Ро» |
?2>•••). |
|
а®(г)=(а<р0, a®j, «®2»•••); |
|||
|
|||
2) |
сложения функций, которое определяется следующим |
||
образом : |
|
|
|
если |
|
|
|
|
?(*)=(?о. Ъ f t .. ••)» |
||
|
WHOh). |
Ф* •••). |
|
то |
|
|
('Р+’Ю(*)==?(0+ 'К 0—ОРо+Фо» Çi+’h» 'Рг+Фг» •••);
важное практическое значение имеет операция
3) свертывания функций q>(f) й ф(г), которое определяет ся следующим образом:
<p(t)*é(f) = c(t),
где
|
t |
|
= |
Щ к) |
( i= 0, 1, 2, . . . ) . |
h=0
Нетрудно видеть, что P [t] образует коммутативное коль цо с единицей, со сверткой в качестве умножения, без дели телей нуля.
Следуя идее Я. Минусинского, для того чтобы обеспе чить во всех случаях разрешимость уравнения a(t)*x (t)~ b(t), можно построить операторное исчисление в классе P [f], расширив P [t] до поля отношений P(f)„
Однако для случая кольца Р[£] целесообразнее восполь зоваться изоморфизмом колец P [f] и P[z], которое устанав ливается согласно соотношению для у <p(t)6 P[f]
00
?(*)-•-2 <Р(*)**-Ф(*). |
(1.2.1) |
6=0 |
|
Действительно, в соответствии с правилами сложения и умножения ф. с. р. будем иметь:
если
Ti (0 -*• 2 |
Ti (ft) 2* = |
ф1(2)> |
оо |
|
|
Ъ (0 2 |
% (*) гк = |
Ф2(г), |
О |
|
|
ТО Д Л Я V О ], 02 еР |
|
|
«Л (*) + «2?2 (0 ■+■*1®1 (*) + О Ф (г), |
||
Ti(0 *?г(?) -s- ®i(г) • Фг(г). |
В соотношении (1), которое будем называть операцион ным соотношением, функция <р(£) называется оригиналом, ф. с. р. Ф(г)— его изображением, а само преобразование
q>(t) в Ф(г) — дискретным преобразованием. |
до поля отноше |
Расширение кольца изображений P[z] |
|
ний P(z) индуцирует расширение кольца |
оригиналов P [i] |
до поля отношений Р(£). Очевидно, что в |
общем случае |
элементы поля Р(г) не могут быть представлены в виде по следовательности. Поэтому их называют обобщенными ори гиналами, а отвечающие им формальные ряды из поля ча стных B(z) — обобщенными изображениями.
Приведем несколько основных операционных соотноше ний дискретного преобразования.
Вначале рассмотрим изображения некоторых простей ших функций.
Ю