Файл: Амербаев, В. М. Операционное исчисление и обобщенные ряды Лагерра.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 эквивалентно вычислению значения многочлена

Qhi (x) в комплексной

точке

 

ft

k

£ = cos2n-^-f-£sin2n — Этот

процесс удобно реализовать

по

схеме Горнера,

если / г —

комплексные величины

или

посредством

схемы

деления

многочлена QN-t(x) на х22 соэ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