Файл: Крылов, В. И. Методы приближенного преобразования Фурье и обращения преобразования Лапласа справочная книга.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 |
|
|||
|
|
|
|
|
|
||
|
2т |
м 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 |
|||
|
2т 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)