Файл: Крылов, В. И. Методы приближенного преобразования Фурье и обращения преобразования Лапласа справочная книга.pdf

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

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

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

Добавлен: 22.10.2024

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

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

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

104

ОБРАЩЕНИЕ ПРИ ПОМОЩИ КВАДРАТУРНЫХ ФОРМУЛ

[ГЛ. 5

Оно

переведет

точку

z = р в точку

t = 0. В плоскости t

сделаем

разрез

вдоль

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

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

оси

от точки

t = 1

до бесконечности и будем рассматривать ту

ветвь

У 1 t, для

которой arg (1 — /) = 0 для действитель­

ных t <

1. Контур

интегрирования I перейдет в контур %,

охватывающий

точку

t = 0. Интеграл (5.2.11) после пре­

образования (5.2.12) примет вид

 

 

dn (

еР

\

 

 

 

 

 

dpn п+5"1) ~~

 

 

 

dt

 

 

 

 

~ ( Y \ ~ i + \ )

 

 

п\

 

4 У 1 t

 

 

 

 

 

 

 

 

м f P o r a + O - " " ' "

 

 

 

 

п\ ■

2n+s 1

2ni ( I ) X

(— 1)” n\

ш (I)2n+S 1 |X

|( /i - H - i )

dt

i V \—t {—t)™1

±(Y— t +i)

dt

(| / ^ i— ^ 4 - l ) S 2 | ^ 1 — ^ /"+1 ’

(5.2.13)

Подставляя теперь выражение (5.2.13) вместо п-й произ­ водной в явное выражение (5.2 . 1) для многочленов Рjf} j,

получим

£(УГ=7+0

t = { — \ ) n e- P p n ^ - i {-\)пп\ ______________ dt_

4Jli{ L jn+s~14 { (|ЛП^7 + i)i_2 V\Y~i tn+1

 

22га+5-2л

(/1=7- i)

dt

 

я!_ f

____ e_

 

 

pn2m

({\f\УТ=- t-^ \)s~2 \f\—t *пП’

или

1

25-2g2p_WT=i-\)

 

 

2?nn\

dt

( 5 . 2 . 1 4 )

(KHI7+ 1)S-2 yr= l tnn

x


§ 5.2]

ОРТОГОНАЛЬНЫЕ МНОГОЧЛЕНЫ

105

Рассмотрим функцию

-- _ I (Y— t-1)

F (t) = __?S е____________ •

( Y ^ t + \ ) s-2V T ^ i’

она аналитична в точке t = 0; значит, в окрестности этой точки она может быть представлена своим рядом Тейлора

F (t)= J ] cntn,

«=о

где

 

 

 

 

 

 

 

с,2ш' 5

 

 

 

 

 

 

 

 

 

 

R(fT-~t-i)

dt

 

= J - C

2s~2e‘

 

 

P * [ j V

 

J { V \-t+ \)s-2V ^ - t tnvi

22«re!

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

P (/!_ /_ !)

 

 

 

 

 

 

=

 

 

 

 

2s-*e2

 

 

 

 

 

( |/l - ^

+ l)s“2| / l - /

 

 

2гпп I

 

Введя новую

переменную

h — pt/4

и

положив 1—х,

последнюю формулу

можно записать в виде

 

 

J- ( V l — 4 <j c — l )

 

СО . . .

 

 

 

=

=

у

 

п\

(5.2.15)

i V \ - t t x + \У~г V 1—4Мх/jc

bd

 

 

 

 

 

/2 =

0

 

 

где переменная снова обозначена /.

Функция, стоящая слева в выражении (5.2.15), явля­ ется производящей функцией для многочленов Р& (х).

5.2.6. Распределение корней многочленов Р<>> (л;).

В конце предыдущего параграфа мы указали, что для завершения исследования возможности построения квад­ ратурной формулы (5.1.5), точной для многочленов сте­

пени 2п — 1 от

1/р, необходимо показать,

что корни мно­

гочленов аф0

или корни многочленов

(х), отлича­

ющихся от со^ (х) только постоянным множителем, лежат в правой полуплоскости при всех s > 0.

В этом пункте рассмотрим данный вопрос для некото­ рых частных значений s. Докажем следующую теорему.


106 ОБРАЩЕНИЕ ПРИ ПОМОЩИ КВАДРАТУРНЫХ ФОРМУЛ [ГЛ. 5

Т е о р е м а 4. Все корни многочленов

= ( - D

при всех целых s ^ 2 лежат в правой полуплоскости,

т. е,

вещественные части всех корней положительны.

При

Д о к а з а т е л ь с т в о . Сначала возьмем s = 2.

доказательстве будем пользоваться некоторыми теоремами, известными из алгебры. Напомним *) их:

а) Для того чтобы вещественные части всех корней многочлена

Qn (х) = Ьпхп+ б*-!*"'1 -1- Ьп^ х п-2 + ... + Ь0

с вещественными коэффициентами были бы одного знака,

необходимо

и достаточно,

чтобы

корни многочленов

/ (х) =

Ьпхп-

Ь ^х"-2+

Ьп-4хл- 4- . . . ,

Ф (х) =

Ь^х»-1-

3xn~s+ V s *"-5 - . . .

были бы все вещественные и разделялись.

б) Если

все

корни

многочленов F (х) = А,/ {х) 4* рф (х)

вещественны

при

любых

вещественных А и р, то корни

многочленов f(x) и ф(х) вещественны и разделяются. Запишем многочлен P'i'(x) в виде

P i' (х) = апхп+ ап-ххп-х+ ап_2хп-2+ . . . + ахх + а0. (5.2.16)

Нам необходимо доказать, что вещественные части всех корней многочлена (5.2.16) одного знака. Для этого, на основании только что сформулированных теорем а) и б), достаточно установить справедливость следующих фактов:

1) все корни многочленов

Qn (х) = апхп - ап^хп-2+ a„_4x"-4- . . . ,

Rn-i (х) = — an_3xn~3+ ап^ьхп~ъ—...

вещественны и разделяются; 2) все корни многочленов

Р$’|г) (х) = Аапхп4- р а ^ л :”- 1 — Aa„-2*"-2

-рал_3хл- 34- karl-ixn-i 4- 1Шп_ъхп~5

будут вещественны при любых вещественных А и р.

*) См.

Д. К. Ф а д д е е в , И.

С. С о м и н с к и й, Сборник задач

по высшей

алгебре, М., «Наука»,

1968, стр, 106, 108.


§ 5.2]

 

ОРТОГОНАЛЬНЫЕ МНОГОЧЛЕНЫ

107

Из (5.2.7) видно, что

многочлен Р'п (лг) удовлетворяет

рекуррентному соотношению

 

 

 

 

РТ (х) = 2 (2л - 1) х Р

(х) +

Рп-ъ (х),

(5.2.17)

причем Р0— 1,

Р1(х) = 2х— 1.

 

 

 

 

Теперь

найдем

 

рекуррентное соотношение для много­

членов Р<£’ (х). Запишем многочлен Р'п (х) в виде

где

Рп (х) — А„ (х) -j- Вп (х) + Сп {x)-\-Dn (х),

 

 

 

 

 

 

 

 

 

 

 

Ап(х) =

апхп+ are_4x"-4+

a ^ 8xn~s+ . . . ,

 

Вп (х) =

a,,-!*"-1 +

ап-ъхп~ъ+

а„_9хи- 9+ . . . ,

(5.2.18)

Сп {х) = ап-2хп~2+

ап-ьхп~ь+

а„_wxn~10+ . . . ,

 

Dn (х) = а„_sxn-s+ ап-7хп~7+ а ^ х '1-11 +■■■ .

 

Тогда многочлен

Р^> и) (*) можно

записать следующим

образом:

 

 

 

 

 

 

 

 

 

 

р (к Ю { х ) = Я [4 (х) - Сп ( х ) ] + р [Вп ( х ) - Dn (* )] .

Рекуррентное соотношение (5.2.17) примет вид

 

А п ( х ) + Вп ( х ) + Сп ( х ) 4- Dn(х) =

 

 

 

= 2 (2л — 1) х

[ А п-1 ( х ) -j- Вп- 1 (х) -f- Cn-i ( х ) 4- Dn~i (х)] -j-

 

 

 

 

4“ Ап-%(х)+

Вп-2(х) + Сп- 2 (х) +

Dп—2 (X).

Отсюда

и

из

равенств (5.2.18)

и подобных равенств для

P'n-i (х)

и Рп’ -ъ (х)

получаем

 

 

 

 

 

 

Ап (х) =

2 (2л -

1) x4„_j (х) 4 - Сп- 2 (лг),

 

 

 

(х) = 2 ( 2 л - \)х Вп-х (х) 4- Dn (х),

 

 

 

С„ (х) =

2 (2л -

1) хСя_х (х) 4- 4 „_2 (х),

 

 

 

Dn(х) =

 

2 (2л - 1) xD„_x (х) 4 я_2(х).

 

Умножим

первое

и третье равенства соответственно на Я

и — Я, а

второе и четвертое на

р и — р и сложим их:

Я [Л„ (х) -

С„ (х)] 4-р [Я„ (х) - Dn(х)] =

= 2 (2л -

1) хЯ [Ап-! (х) - Сп-! М ] + Я [С„_2 (х) - А„-г (х)] 4

4-2 (2л - 1) хр [Вп-! (X) - Dn-! (*)] + Р [Dn- 2 (х) - Вп - 2 (х)].


108

ОБРАЩЕНИЕ ПРИ ПОМОЩИ КВАДРАТУРНЫХ ФОРМУЛ [ГЛ. 5

Полученному

равенству придадим вид

 

 

 

Я [Ап(х) - Сп(а)] + р [Вп {х) - Dn(а)] =

 

 

 

=

2(2я — \)х{%[Ап-1 (х) - Сл_а(х)] + р

 

(х) -

(л:)]}—

 

 

-

{Я [Ля_2 (х) Сл—^(а)] +

р [В„_2(л:) - ZV, (а)]}.

Последнее

равенство

есть

не что иное,

как

рекуррентное

соотношение для Р&>м (х), а именно:

 

 

 

 

P f. в) (х) =

2 (2п -

1) хР ^ >

(х) -

P*Lri (х),

(5.2.19)

где

 

 

 

 

Р? "|Х>М = 2Ях — р

 

Я ф. О,

 

Ptf- ^ W = Я,

 

при

 

В<°. и) (х) =

0,

 

Р<°'В)(х) =

— р

 

при

Я =

0.

Случай р = О,

Я =

0 тривиален, и его

из

рассмотрения

исключаем. Таким образом, получаем последовательность

многочленов

 

 

 

 

 

 

 

 

 

 

 

 

Р(К ю (д-);

p<Mj) (д-),

. . . ,

р(К я) (х)

при Я ф 0

(5.2.20)

или

^

 

(

*

) .

 

Р

^

Д

?

w

> 0,

5. 2( . •21)• • >

 

Р фп

 

 

причем во второй последовательности Р®>»*>(х) будет мно­

гочленом

степени

п 1 .

 

 

 

 

 

 

 

 

Эта последовательность многочленов обладает следую­

щими свойствами:

 

 

 

 

 

 

 

 

 

1)Последний многочлен последовательности есть отлич­ ная от нуля постоянная, а именно, в первой последова­ тельности это есть Я, во второй р.

2)Ни при каком значении х два рядом стоящих мно­ гочлена последовательности не обращаются в нуль.

Всамом деле, пусть хг является корнем Р®* -и>(х) и

PP-L-f (*); тогда ввиду (5.2.19) хх будет корнем и много­ члена (х). Рассуждая так дальше, мы пришли бы в конце концов к тому, что этот общий корень был бы корнем и многочлена ^ (х) в последовательности (5.2 .20) или Р<*-■^ (х) в последовательности (5.2.21), что невоз­ можно, так как эти многочлены есть отличные от нуля постоянные.

3) Если какой-нибудь из многочленов последователь­ ности обращается в нуль при вещественном значении х, то два соседних с ним многочлена имеют при этом х зна­ чения разных знаков. Действительно, из формулы (5.2.19)