Одними из широко распространенных специальных функций являются ортогональные многочлены (полиномы). Mathematica имеет следующие функции, возвращающие значения ортогональных многочленов:
ChebyshevT [n, х] — полином Чебышева п-й степени первого рода;
CyebyshevU [n, x] — полином Чебышева п-йстепени второго рода;
LegendreP [n, m, x] — присоединенный полином Лежандра;
LegendreQ [n, z] — функция Лежандра второго рода n-го порядка;
LegendreQ [n, m, z] — присоединенная функция Лежандра второго рода.
LegendreType — опция для функций LegendreP и LegendreQ; она указывает выборы разрывов кривой для функций Лежандра на комплексной плоскости.
Все ортогональные полиномы имеют простые рекуррентные представления. Поэтому приведенные выше функции вычисляются по ним довольно быстро и точно. Они находят широкое применение в технике интерполяции и аппроксимации функций.
Следующие примеры иллюстрируют работу с ортогональными многочленами.
Ввод (In)
Вывод (Out)
ChebyshevT [ 8, х]
1 - 32 x
2
+ 160 x
4
- 256 x
6
+ 128 x
8
ChebyshevT [5, 0.2]
0.84512
ChebyshevU [3,0. 15]
-0.573
HermiteH[4,3]
876
JacobiP[3,l,2,0.2]
-0.256
GegenbauerC [ 3 , 1 , x]
-4 x + 8 x
3
N [LaguerreL [3,x]]
0.166667 (6. -18. x+ 9. x
2
- 1. X
3
)
LegendreP [ 5 , x ]
15 x /6-35 x
3
/4+63 x
5
/8
LegendreQ[2,0.2]
-0.389202
Важно отметить, что при указании конкретного значения параметра п и символьном значении параметра х функции этой группы возвращают присущие им представления через степенные многочлены с соответствующими коэффициентами.
На рис. 6.1 показаны графики ортогональных полиномов Чебышева ChebyshevT и ChebyshevU. Для этих полиномов характерно изменение от -1 до +1 при \х\<1, причем при высоком порядке полиномов графики функций имеют колебательный характер.