Файл: Амербаев, В. М. Операционное исчисление и обобщенные ряды Лагерра.pdf

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

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

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

Добавлен: 29.10.2024

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

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

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

[ШЛ

л '

( - 1)п~г

{[In2 +

ЧГ(ц)Г + 2Щ1) - T'(n)} = АпЛ(г),

{ tn j

2(п—1)!гп

 

 

^ - } ч (0 +

з ! Л ^

Г {[1пг +

Щи)]» + 3[ЧГ(п) + 1пг] [2 Ч ''(1 )-

1 Г'(Л] + ЧГ{п)} = А пЛ(г).

Замечание. Применяя теорему сдвига (при а > 0 ) к выра­ жению (1 ), получаем

{(f — а)-" ln*(t — а)} yt(t — *)-*- е~а,г А п, ъ(г).

(4.3.3)

Этим соотношением воспользуемся ниже.

п. 2. Функции с неинтегрируемыми степенными особен' ностями в произвольной точке. Очевидно, (ReX>—1):

(t) 7j (а — t) -у j* e~tlztl dt = Ф(а, X, z), а > 0.

(4.3.4)

0

 

Так как изображение Ф(а, X, z) аналитично для всех Х ф —1, —2,... (в точках Х = —1, —2,... эта функция имеет про­ стые полюсы), то аналитическим продолжением соответст­ вия (4) по X имеем уже для всех Х ф —1, —2,...

{fx} fj(t)ri(a.—t) -5-ф (а, X, z), а > 0.

(4.3.5)

Аналогичным приемом, изложенным в § 1, разложим функцию Ф(а, X, z) в ряд Лорана по степеням Х+п. В резуль­ тате получим

ф(а, X, z) =

(в—l)!(X+n)zn

+ 2

(Х+п)*

Р *п) (а>2’1па) *

k\ » (4.3.6)

 

 

h=0

 

 

где

 

P(kn) (а, z, 1па) =

 

 

 

 

- l ) " - 1 Г п 1п * + 1а

, ( - z \ n V У 2 / у ( Ъ \

81

— p r - l ~ k + i ------ ВЧ ~ /

£

("-*>

а

(—1 )^!1п*

saS4-2 iJ,s+2(l>-.» 1 ; 2 ,..., 2 ,

п + Ь - ~ ) ,

2

 

 

 

 

(4.3.7)

91


Домножая теперь обе части (1.22) на произведение еди­ ничных функций, получим

{fxh(f)r/(<*— о = (п-ЩА+ п)

(4.3.8)

Сравнивая (6) и (8), учитывая при этом (5), находим:

{t-nln*f}7](07i(a—f) Р%\ос, 2 , 1па),

(4.3.9)

где Р ^ (а, z, 1па) определяется по формуле (7).

Аналогично тому, как было получено соответствие (9), устанавливаем справедливость следующих соответствий

(ниже k = 0, 1 , 2 , . . . ; п = 1 , 2 , . .. )

{(* — <*)~п1п* (t — a)} ri(t)r;(cc -~ t) e~a z Q[n)(ос, г), (4.3.10)

здесь и ниже ln (iа) понимается в смысле главного значе­ ния

{(а — f)~nlnft(a — f)} rt(t) Tj(at) -г-e~*2 Q ^ (a, z),

(4.3 .1 1 )

где

 

 

z) = - P kn){ (a, - 2,0), Qin) (a, z) =

 

= ( — l)n_I PM [a, 2, ln(aei71)].

(4.3.12)

 

Суммируя попарно соответствия (3), (10) и (3), (1 1 ), по­

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

 

 

{(* “ *)-" In* (f - а)}г((0 е-!* [Ап, *(г) +

^ " ’(о, *)],

(4.3.13)

{If — а\~пIn* |f —a| fa(f)-*- е -“'г[Ал> k(2)+

2)].

(4.3.14)

n. 3. Регуляризация некоторых расходящихся интегра­ лов. В силу обобщенного интеграла Лапласа — Карсона со­ ответствие (9) принимает вид

а

 

РОг) (а, 2, lna) = j1 e~t,z {t~nln*f} dt.

(4.3.15)

0

 

92


Полагая здесь 2 = 1,

получим регуляризованное

значение

следующего интеграла:

 

 

Jв“ *

dt =

а, 1 , 1па)

(4.3.16)

О

 

 

 

(при п = 1 второе слагаемое в (7) должно быть положено рав­ ным нулю).

Переходя к пределу в обеих частях (15) при 2-»-+°°, по­ лучаем

—— lnft+1 я

 

при

п = 1

* + 1 1 1

 

 

 

(4.3.17)

f № - |

И

у.

 

In® а

 

 

0

а"-1

2d

s!(n-l)ft-®+1 при

п — 2,3

 

 

s—0

 

 

 

Совершенно

аналогично

с помощью

соответствия (10)

вычисляются следующие регуляризованные значения инте­ гралов :

Je -f {(f -

a)-» In*(t -

a)} dt =

(я, 1 )

0

 

 

 

(4.3.18)

 

 

k = 0, 1 , 2 , . . .

 

 

 

С fln*(t-q)) dt =

lnft+1 (аег”),

n = 1

 

 

 

 

J I (*-“)" i

(—l ) n— у

ln®(aei71)

, „

 

 

а"” 1 &

.1(П- 1 ) А- * + 1 ’

(4.3.19)

 

 

 

 

Замечание. Равенства (18) и (19) также могут быть по­ лучены из (16) и (17) соответствующей заменой переменных интегрирования, причем при выводе (18) необходимо учесть второе из равенств (1 2 ).

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

93


* * *

Как известно, понятие конечной части расходящегося интеграла было впервые введено Коши [132], назвавшим его «необычным интегра­ лом». Он также указал на возможность дифференцирования и интегри­ рования по параметру таких интегралов. Конечная часть расходящегося интеграла была использована в теории дифференциальных уравнений в частных производных Р. Адемаром [114].

Однако большая заслуга принадлежит Ж. Адамару [157, 158], который не только изучил свойства введенного им независимо от Коши понятия конечной части, но и, распространив эту концепцию на кратные интегралы, применил эти понятия для решения задачи Коши уравнения гиперболического типа второго порядка. Обобщение его идеи было осуществлено Ван-дер-Корпутом [218].

Впоследствии появился ряд работ, где упомянутая концепция была исследована с различных точек зрения. Так, в теории распределений Шварца [202] конечная часть трактуется как разновидность псевдофунк­ ции и играет связующую роль между обычными функциями и распреде­ лениями.

Понятия конечной части и логарифмической части расходящихся интегралов были применены к решению задачи Коши для уравнений вто­ рого порядка всех трех типов и системы уравнений в частных производ­ ных в работе [128].

Лавуан [172, 173] и Рюхе [192] с помощью понятия конечной части расширили операционное исчисление.

Джилли [153—155] использовал понятие конечной части для регу­ ляризации степенных особенностей любого отрицательного, но нецелого порядка при обобщении преобразования Лапласа.

Следует также указать на исследование Бохме [126], где дана регу­ ляризация особенностей типа {t2lni}, здесь г может быть любым, в том

числе целым отрицательным числом.

При этом он опирается на работу

Бутсера

[129], в которой

операторное исчисление Микусинского [76]

применено к исследованию

конечной

части расходящихся

интегралов

типа свертки.

 

11—ot] ”lnfe | t — a |

t-n ln 'H ц

О. о.

вида (t—a )- " In* (t—a)?j(i)i

(at) впервые были изучены Ж. Наурзбаевым [80].


Г л а в а 5

ЧИСЛЕННОЕ ОБРАЩЕНИЕ ПРЕОБРАЗОВАНИЯ ЛАПЛАСА МЕТОДАМИ ГАРМОНИЧЕСКОГО АНАЛИЗА

Ниже речь будет идти о приближенном (численном) ре­ шении интегрального уравнения Фредгольма первого рода

00

F(p) = | е~Р* f(t)dt (Rep > 7 ),

(1)

О

где F(p) — заданная функция; f(t) — искомая функция. Известно [54, 64, 120], что указанная задача относится

к классу некорректных задач. Одной из существенных ха­ рактеристик этой некорректности является следующая осо­ бенность: сколь угодно малые погрешности, вносимые в вы­ числение значений функции F(p), могут существенно влиять на значения вычисляемой функции f(t). Этот факт можно проиллюстрировать следующим простым примером.

Пусть решается задача обращения (1). Известно,

оо

Г

R a

(R > 1).

J e~pt Rsin at =

^3+^2

0

 

 

Нетрудно видеть, что для любого е > 0

существует такое А,

что при а~>А:

 

 

R a

Rep > 0.

<

Таким образом, изображения F(p)

и 'ф(р)= F(p) + — 2

 

 

Р Л"Т“&

численно отличаются друг от друга на величину, модуль которой не превышает е. Тогда как соответствующие им ори-

95

гиналы разнятся величиной |2?sinat|, которая при а > А характеризуется высокочастотными колебаниями.

Приведенный факт значительно затрудняет применение универсальных приемов, таких, как сведение уравнения (1 ) к системе алгебраических уравнений посредством исполь­ зования тех или иных квадратурных формул.

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

Пусть изображение F(p) разлагается в сумму вида

^ Ы = 2k а*ф^ ) -

(2 )

Пусть далее известны оригиналы <pft(£), отвечающие изобра­ жениям Фh(p). Тогда ряд (2) порождает ряд

2 аъЪ (0 .

(3)

k

 

Естественно, при этом возникают вопросы:

а) в каких случаях и в какой топологии ряд (3) представ­ ляет оригинал f(t), отвечающий изображению F(p);

б) каким образом вычислить коэффициенты ак ряда (3) (или что то же ряда (2 )).

Для задачи численного обращения важное значение также приобретает ответ на такие вопросы, как: скорость сходимости ряда (3); в каких случаях появляется возмож­ ность улучшить сходимость ряда (3); с какой точностью могут быть определены коэффициенты ак; какова степень влияния точности вычисления коэффициентов а* на общее представление функции f(t) рядом (3).

Очевидно, что вид разложения (3) зависит от выбора функций Фа(р ). В данной главе используется простейшая ситуация, когда в качестве <р*(г) избираются функции Лагерра <р* (0 = e~ tl2 L h(£). Таким образом, здесь ряды Лагерра выступают как аппарат численного обращения преобразо­ вания Лапласа. Для вычисления коэффициентов a *(& = 0, 1, 2 ,...) ряда Лагерра (называемых иногда лагерровским спектром) используются формулы, являющиеся аналогами формул тригонометрического интерполирования. Этот факт позволяет широко применять методы гармонического ана­

96