Файл: Амербаев, В. М. Операционное исчисление и обобщенные ряды Лагерра.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 29.10.2024
Просмотров: 90
Скачиваний: 0
Окончание таблицы 1
t r c
tr3s
tr3
tr3c
tr3s
Узлы: |
и. |
|
|
!/(*) = 2 |
cosr-kx |
||
2k |
|||
X k = 271+ 1 |
ft= 0 |
|
—n< k<n |
Cft/i — i |
V ' fm cos2 я |
mk |
|
f(x)—ве |
2 n + l |
|||
2/1 + 1 |
m=0 |
|||
щественная |
|
|
||
четная |
c*b= ca+ o+2b+ 1 |
|
||
функция |
|
|
|
|
Узлы: |
= 2 |
sin-Аж |
|
|
2k |
|
|||
X k = 2п+1 |
*=1 |
|
|
|
—/1<А<П |
4 |
x'' . . . mk |
||
f(x)—ве |
dkn= 9n_j_ 1 / , f m вт2я |
2 n + l |
||
2 n + l |
771-=1 |
|||
щественная |
|
|
||
нечетная |
d k n = d k + °* _ 2n + l |
|
||
функция |
|
|||
|
|
|
n —1
Узлы:
А
X k = п
—k-^U
f ( x ) —ве щественная
функция ■
Узлы: k
X k = —
n
f(x)—ве щественная четная функция
J/(*)= 2 |
Ckn cos~fe*+ ^ |
dknsinrcAx |
||
A=0 |
ft=l |
|
||
i v ' |
|
k |
(—l)* |
|
Ckn==h |
2 d ^m+f-m)cosT.m— + — — /„ |
|||
|
771= 0 |
|
|
|
1 |
71—1 |
|
ттг/г |
|
dkn— |
(/тя / —/л) sin^ ~ |
|
||
|
7 7 1 = 1 |
|
|
|
Cftn = Ck + ®ft>2n; |
|
+ |
|
|
Cn7l= <?7»+(C37l+C571+ • |
• • |
) |
|
71 ^
y(x)= 2 |
Cft„ COS-Аж |
|
fc=o |
|
|
z v |
^ " m A |
, + |
Ck* ==~n2 d fm C0S7C~n~’ cftn= Cfc+a*. 2л
771= 0
Узлы:
Xk= kn
—n + l < k < n f(x)—Be-
щественная
нечетная
функция
При |
f n= 0 |
задача ir3s |
совпадает с задачей iri*. |
При |
f пф0 |
нечетность |
функции f(x) не обеспе |
чивает обращения в нуль коэффициентов с*„.
условиях задачи tr3 положить у(хп)= у-(Яжп)+/Х*-в))» то за
дача tr3 совпадает с задачей tr'\, т. е. задача tr'\ оказывает ся алгоритмически эквивалентной задаче tr3.
В задачах аппроксимации функций алгебраическими многочленами большую популярность завоевали многочле
ны П. Л. Чебышева.
Многочлены Т п(я) = cosnarccosa; (га=0, 1, 2,...) образуют
полную ортогональную систему с весом ■г 1 |
в Ь2[—1 , |
У 1—х 2 |
[—1, +1] |
+ 1 ]. Любая функция ограниченной вариации на |
разлагается в сходящийся ряд по многочленам Чебышева
00 |
i |
|
f(x) = 2 csT s(x), |
2_ Г f ( x ) T s ( x ) |
(5.1.8) |
dx. |
||
s= 0 |
* J / 1 - х 2 |
|
Для практических целей большую ценность приобрела задача интерполирования по многочленам Чебышева. Су ществует два варианта задач указанного типа.
Задача Thп [33]. Построить многочлен
L T |
(f-,x) = |
4 - с0п + сыТ г(х) + с2пТ2(х) + |
.. . + сппТ п (х), |
||||
|
|
|
|
|
|
|
(5.1.9) |
такой, |
что Lm |
(fi x k) = f (*ft), |
где в качестве узлов интер- |
||||
|
|
П+^н |
|
|
|
• |
T n+i(x): |
полирования избраны нули многочлена |
|||||||
|
|
(2k+l) |
п ^ |
и ^ |
га. |
|
|
|
|
Xk = C0S 2(п+1 ) я> 0 < |
* < |
|
|||
Опираясь на отношение ортогональности |
|
||||||
|
„ |
|
[0, |
если |
s ф-тп |
||
|
i f i ' Z |
T s(xh) T m(xh) = |
1, |
если 8 = тпф 0 (5.1.10) |
|||
|
k=o |
[2 , |
если s = |
тп= О, |
2 |
^ |
ч |
получаем csn = |
2 d f s(*ft) (0 < s < n ). |
|
|
ft=0 |
|
Продолжим по периоду соотношение (10). С этой целью за метим, что Ts(xk) — cos ^22(t+ i'r ‘ .^■усть ■s = 2r(ra + l) + p, где
—л + 1 ^ р < п . тогда T s(xk)=(—l)rT |ц|(ж*).
Поэтому
102
в+ 1 ^ Ts(Xk)Tm(x k)
k=0
Следовательно,
2 , |
если |
s = |
m = 0 |
|
(—1 )г, если s = |
2(n + |
l)r it m |
||
О, |
если |
s Ф 2(n + |
l)r ± m_ |
|
|
CO |
|
Csn |
Cs + |
( 1 ) (C r2(n+ 1)—s |
Cr2(n+l)-f-s ) (0 Ф S ф Tl). |
|
|
г = 1 |
|
Задача Thi2. Построить многочлен
L r n+l (f; x) = ~y c0n + |
c^T^x) + |
c2nT2(x) + . . . + \ |
cnnT „ (ж), |
Л |
xk) = f(xh), |
где в качестве узлов интер- |
|
такой, что L tu+1 (fl |
|||
полирования избраны точки |
xk = cosk — (0 ^ |
й=slи). |
Заменой x = cos© задача Th\2 сводится к задаче tr'ic (мо дификация К. Ланцоша).
Замечания 1 . В отличие от задачи Thu в задаче Th\2 в состав узлов интерполирования включаются концевые точ ки интервала интерполирования.
2. Сопоставим зависимость коэффициентов с sn от с г для задач Thu, Th\2.
Задача ТЬц
с 0л = С0 — 2(с2(л+1) — С4(п+1 ) + С8(п+1) — • • • ) Ci/j. С4 (С2л +1 ~\~С?п -ьз <?4n-f3 С4п+5 1 • • • )
........................... |
, л = |
• ........................ |
• • |
• |
• • |
(5.1.11) |
Сп—1 |
Сп—1 — (Сп+3 + |
СЗл+1 — СЗл+5 — Сбл +3 + |
. . . ) |
|||
С пп |
Сп |
(Сл+2 “l- C3nsf2 |
СЗл-{-4 ' ' С5л+4 Н- |
• . • ) |
|
|
Задача Th|2 |
|
|
|
|
||
с0л = с0 + 2(с2„ + cin + |
с6„ + . . .) |
|
|
|
||
с1 п = С1 “Ь С2л—1 + С2Л+1 |
—1 -J- С4Л+ 1 |
|
|
(5.1.12) |
||
.................................................... |
|
|
|
|
|
|
Сл—1 |
. л = |
Сп—1 + Сл+1 + Сзп—1 Ц-Сзл+Х+ |
Csn—1 + . . . |
|||
~ 2 с пп = |
с п + Сзп + Сб„ + Сгл + • . . |
|
|
|
Из сопоставления приведенных таблиц следует: достоин ство Т/г^-метода состоит в том, что величина -^-ся„ прибли
103
жает коэффициент с п с точностью до порядка малости коэф фициента с 3п ; однако в случае, когда коэффициенты cs ряда (8) убывают достаточно быстро, то предпочтение сле дует отдать Гйц-методу, так как в целом порядок прибли жения коэффициентов ckn к ck в этом случае будет лучше.
Многочлены Чебышева (второго рода)
V , (l) = j!5<I+«Si55E- ( в - 0 , 1 , 2 , . . . ) У 1—х-
удобны для полиномиальной аппроксимации функций, при нимающих большие значения на концах интервала
(—1 » + 1 )*
Аналогично задачам Thu, Th\3 в зависимости от узлов интерполирования могут быть сформулированы два вари анта задач. Из них отметим аналог второго варианта.
Задача Th22. Построить многочлен
% п(Л х) = d^U^x) + йгпи 2{х) + .. . + dn_x, „ Un-i(x), (5.1.13)
Л
такой, что Ljr (f, xk) = f(xk), где в качестве узлов интерпо-
U Л
k
лирования избраны точки xh=cos^ — (O ^fe^n).
Замена x=cos0 сводит задачу Тй22 к задаче tr\S отно сительно функции g(0 )= sin0 /(eos0 ).
Таким образом, искомые коэффициенты dsn исчисляют ся по формуле
_ |
72—1 |
s |
|
2 |
^ |
( l < s < n —1), |
|
d sn = т |
2 d S ( x k) s i n i z k |
— |
|
|
k=i |
|
|
где g(xk) = sin — f(xk).
Несколько замечаний о порядке вычисления коэффици ентов интерполяционных многочленов.
Если в памяти машины задать матрицу синусов и коси нусов, отвечающих интерполяционной задаче с А-узлами, а вычисление коэффициентов интерпретировать как умно жение матрицы на вектор, то потребуется порядка N2 умно жений и N 2 алгебраических сложений, т. е. суммарно потре буется порядка 2N2 арифметических действий. Поэтому при больших значениях N объем вычислений существенно воз растает и вопрос об экономии машинного времени становит ся актуальным.
104
Некоторую |
экономию машинного времени порядка |
N ~\2 |
„ |
6 - — арифметических действии дает рекуррентная схема
вычисления искомых коэффициентов, описанная в работе
[108].
Дадим полезную для вычислений интерпретацию этой схемы. С этой целью нормируем интервал интерполирова ния [—1, +1] к отрезку [0, 1]. Тогда искомые коэффици енты принимают вид
|
akN — |
2 f re2nr^ (x r jv" |
) - |
|
|
|
|
г =0 |
|
|
|
Введем в рассмотрение многочлен QN-i(x)—f 0+ |
х + / ’2я2+ |
||||
+ . • |
тогда, очевидно, N 'акы — Qjv-i(e |
2тЛ *_ |
). |
||
‘ я |
|||||
Таким |
образом, |
вычисление дискретного |
коэффициента |
Фурье akN эквивалентно вычислению значения многочлена
Qh—i (x) в комплексной |
точке |
|
ft |
k |
|
£ = cos2n-^-f-£sin2n — Этот |
|||||
процесс удобно реализовать |
по |
схеме Горнера, |
если / г — |
||
комплексные величины |
или |
посредством |
схемы |
деления |
|
многочлена QN-t(x) на х2—2 соэ22 я л :k- Ы |
(см. |
например, |
[53]), если fi — действительные числа.
Описанный метод удобен и тем, что он использует лишь
k k
значения cos2 n -jj-, sin2 n которые в свою очередь могут быть рассчитаны по известным тригонометрическим рекур-
рентным формулам, зная лишь два значения cos |
2 г . |
. 2л |
|
sm -^. |
В силу рекуррентности указанный метод может быть представлен короткой программой. Накопление погрешно стей метода незначительно.
Известно несколько приемов минимизации числа умно жений [70, 94, 108]. Существенно сократить число арифме тических действий (до порядка 2M g2N) позволяет метод работы [134]. Схему деления многочлена на двучлен удоб но использовать и для вычисления коэффициентов с кп в за дачах Thn,Th\2. Это следует из того, что
т Ш |
г |
= Ц т й |
з г ) |
(задача Г а д , |
T r(xk) = cos |
n- ^ |
= T k(xr) |
(задача |
Th12). |
105