Использование удобных классов

Удобные классы, предоставляемые пакетом полиномов, следующие:

Ряды в данном контексте — конечные суммы соответствующих базисных функций полиномов, умноженных на коэффициенты. Например, ряд по степеням выглядит так

и имеет коэффициенты . Ряд Чебышева с теми же коэффициентами выглядит так

и более общо

где в данном случае являются функциями Чебышева степени , но могут так же легко быть базисными функциями любого из других классов. Соглашение для всех классов состоит в том, что коэффициент соответствует базисной функции степени i.

Все классы неизменяемы и имеют одинаковые методы, и, в частности, они реализуют арифметические операторы Python +, -, *, //, %, divmod, **, == и !=. Два последних могут быть немного проблематичными из-за ошибок округления с плавающей точкой. Сейчас мы покажем краткий пример различных операций с использованием NumPy версии 1.7.0.

Основы

Сначала нам нужен класс полинома и экземпляр полинома для работы. Классы могут быть импортированы непосредственно из пакета полиномов или из модуля соответствующего типа. Здесь мы импортируем из пакета и используем стандартный класс Polynomial из-за его привычности:

>>> from numpy.polynomial import Polynomial as P
>>> p = P([1,2,3])
>>> p
Polynomial([ 1.,  2.,  3.], domain=[-1,  1], window=[-1,  1])

Обратите внимание, что в длинной версии вывода три части. Первая — коэффициенты, вторая — область определения, третья — интервал:

>>> p.coef
array([ 1.,  2.,  3.])
>>> p.domain
array([-1.,  1.])
>>> p.window
array([-1.,  1.])

Вывод полинома имеет более короткий формат без области определения и интервала:

>>> print p
poly([ 1.  2.  3.])

Мы рассмотрим область определения и интервал, когда дойдем до подгонки, пока мы их игнорируем и пройдемся по основным алгебраическим и арифметическим операциям.

Сложение и вычитание:

>>> p + p
Polynomial([ 2.,  4.,  6.], domain=[-1,  1], window=[-1,  1])
>>> p - p
Polynomial([ 0.], domain=[-1,  1], window=[-1,  1])

Умножение:

>>> p * p
Polynomial([  1.,   4.,  10.,  12.,   9.], domain=[-1,  1], window=[-1,  1])

Степень:

>>> p**2
Polynomial([  1.,   4.,  10.,  12.,   9.], domain=[-1,  1], window=[-1,  1])

Деление:

Целочисленное деление, ‘//’, — оператор деления для классов полиномов, полиномы рассматриваются как целые числа в этом отношении. Для версий Python < 3.x оператор ‘/’ отображается на ‘//’, как и в Python, для более поздних версий оператор ‘/’ будет работать только для деления на скаляры. В какой-то момент он будет устаревшим:

>>> p // P([-1, 1])
Polynomial([ 5.,  3.], domain=[-1,  1], window=[-1,  1])

Остаток:

>>> p % P([-1, 1])
Polynomial([ 6.], domain=[-1,  1], window=[-1,  1])

Divmod:

>>> quo, rem = divmod(p, P([-1, 1]))
>>> quo
Polynomial([ 5.,  3.], domain=[-1,  1], window=[-1,  1])
>>> rem
Polynomial([ 6.], domain=[-1,  1], window=[-1,  1])

Вычисление значения:

>>> x = np.arange(5)
>>> p(x)
array([  1.,   6.,  17.,  34.,  57.])
>>> x = np.arange(6).reshape(3,2)
>>> p(x)
array([[  1.,   6.],
       [ 17.,  34.],
       [ 57.,  86.]])

Подстановка:

Подставьте полином для x и разложите результат. Здесь мы подставляем p в себя, что приводит к новому полиному степени 4 после разложения. Если полиномы рассматривать как функции, это композиция функций:

>>> p(p)
Polynomial([  6.,  16.,  36.,  36.,  27.], domain=[-1,  1], window=[-1,  1])

Корни:

>>> p.roots()
array([-0.33333333-0.47140452j, -0.33333333+0.47140452j])

Не всегда удобно явно использовать экземпляры Polynomial, поэтому кортежи, списки, массивы и скаляры автоматически преобразуются в арифметических операциях:

>>> p + [1, 2, 3]
Polynomial([ 2.,  4.,  6.], domain=[-1,  1], window=[-1,  1])
>>> [1, 2, 3] * p
Polynomial([  1.,   4.,  10.,  12.,   9.], domain=[-1,  1], window=[-1,  1])
>>> p / 2
Polynomial([ 0.5,  1. ,  1.5], domain=[-1,  1], window=[-1,  1])

Полиномы, которые различаются по области определения, интервалу или классу, не могут смешиваться в арифметике:

>>> from numpy.polynomial import Chebyshev as T
>>> p + P([1], domain=[0,1])
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<string>", line 213, in __add__
TypeError: Domains differ
>>> p + P([1], window=[0,1])
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<string>", line 215, in __add__
TypeError: Windows differ
>>> p + T([1])
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "<string>", line 211, in __add__
TypeError: Polynomial types differ

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

>>> p(T([0, 1]))
Chebyshev([ 2.5,  2. ,  1.5], domain=[-1,  1], window=[-1,  1])

Что дает полином p в форме Чебышева. Это работает, потому что и подстановка для не изменяет исходный полином. Однако все умножения и деления будут выполняться с использованием рядов Чебышева, поэтому тип результата — ряд Чебышева.

Предполагается, что все экземпляры полиномов неизменяемы, поэтому расширенные операции (+=, -=, и т. д.) и любая другая функциональность, которая нарушала бы неизменяемость экземпляра полинома, намеренно не реализована.

Математический анализ

Экземпляры полиномов могут быть интегрированы и дифференцированы:

>>> from numpy.polynomial import Polynomial as P
>>> p = P([2, 6])
>>> p.integ()
Polynomial([ 0.,  2.,  3.], domain=[-1,  1], window=[-1,  1])
>>> p.integ(2)
Polynomial([ 0.,  0.,  1.,  1.], domain=[-1,  1], window=[-1,  1])

В первом примере полином интегрируется один раз, во втором примере интегрируется дважды. По умолчанию нижняя граница интегрирования и постоянная интегрирования равны 0, но обе могут быть указаны:

>>> p.integ(lbnd=-1)
Polynomial([-1.,  2.,  3.], domain=[-1,  1], window=[-1,  1])
>>> p.integ(lbnd=-1, k=1)
Polynomial([ 0.,  2.,  3.], domain=[-1,  1], window=[-1,  1])

В первом случае нижняя граница интегрирования установлена в -1, а постоянная интегрирования равна 0. Во втором случае постоянная интегрирования также установлена равной 1. Дифференцирование проще, так как единственным вариантом является количество раз, которое дифференцируется полином:

>>> p = P([1, 2, 3])
>>> p.deriv(1)
Polynomial([ 2.,  6.], domain=[-1,  1], window=[-1,  1])
>>> p.deriv(2)
Polynomial([ 6.], domain=[-1,  1], window=[-1,  1])

Другие конструкторы полиномов

Конструирование полиномов путем задания коэффициентов — лишь один из способов получения экземпляра полинома; они также могут быть созданы путем задания их корней, путем преобразования из других типов полиномов и путем наименьших квадратов. Подгонка рассматривается в отдельном разделе, другие методы продемонстрированы ниже:

>>> from numpy.polynomial import Polynomial as P
>>> from numpy.polynomial import Chebyshev as T
>>> p = P.fromroots([1, 2, 3])
>>> p
Polynomial([ -6.,  11.,  -6.,   1.], domain=[-1,  1], window=[-1,  1])
>>> p.convert(kind=T)
Chebyshev([ -9.  ,  11.75,  -3.  ,   0.25], domain=[-1,  1], window=[-1,  1])

Метод convert также может преобразовывать область определения и интервал:

>>> p.convert(kind=T, domain=[0, 1])
Chebyshev([-2.4375 ,  2.96875, -0.5625 ,  0.03125], [ 0.,  1.], [-1.,  1.])
>>> p.convert(kind=P, domain=[0, 1])
Polynomial([-1.875,  2.875, -1.125,  0.125], [ 0.,  1.], [-1.,  1.])

В версиях numpy >= 1.7.0 также доступны методы basis и cast. Метод cast работает так же, как метод convert, а метод basis возвращает базисный полином заданной степени:

>>> P.basis(3)
Polynomial([ 0.,  0.,  0.,  1.], domain=[-1,  1], window=[-1,  1])
>>> T.cast(p)
Chebyshev([ -9.  ,  11.75,  -3.  ,   0.25], domain=[-1,  1], window=[-1,  1])

Преобразования между типами могут быть полезны, но не рекомендуется для рутинного использования. Потеря точности вычислений при переходе от ряда Чебышева степени 50 к ряду степеней того же порядка может сделать результаты численного вычисления фактически случайными.

Подгонка

Подгонка — вот почему атрибуты domain и window являются частью удобных классов. Чтобы проиллюстрировать проблему, ниже показаны значения полиномов Чебышева до степени 5.

>>> import matplotlib.pyplot as plt
>>> from numpy.polynomial import Chebyshev as T
>>> x = np.linspace(-1, 1, 100)
>>> for i in range(6): ax = plt.plot(x, T.basis(i)(x), lw=2, label="$T_%d$"%i)
...
>>> plt.legend(loc="upper left")
<matplotlib.legend.Legend object at 0x3b3ee10>
>>> plt.show()

В диапазоне -1 <= x <= 1 они представляют собой хорошие равноуровневые функции, лежащие между +/- 1. Те же графики в диапазоне -2 <= x <= 2 выглядят совершенно иначе:

>>> import matplotlib.pyplot as plt
>>> from numpy.polynomial import Chebyshev as T
>>> x = np.linspace(-2, 2, 100)
>>> for i in range(6): ax = plt.plot(x, T.basis(i)(x), lw=2, label="$T_%d$"%i)
...
>>> plt.legend(loc="lower right")
<matplotlib.legend.Legend object at 0x3b3ee10>
>>> plt.show()

Как видно, «хорошие» части стали незначительными. При использовании полиномов Чебышева для подгонки мы хотим использовать область, где x находится между -1 и 1, и именно это задает window. Однако маловероятно, что данные, подлежащие подгонке, имеют все точки данных в этом интервале, поэтому мы используем domain для задания интервала, в котором находятся точки данных. При выполнении подгонки область определения сначала отображается на интервал с помощью линейного преобразования, и выполняется обычная подгонка наименьших квадратов с использованием отображенных точек данных. Интервал и область определения подгонки входят в возвращаемый ряд и автоматически используются при вычислении значений, производных и т. п. Если они не указаны в вызове, процедура подгонки использует значение по умолчанию для интервала и наименьшую область определения, которая содержит все точки данных. Это проиллюстрировано ниже для подгонки к шумной синусоидальной кривой.

>>> import numpy as np
>>> import matplotlib.pyplot as plt
>>> from numpy.polynomial import Chebyshev as T
>>> np.random.seed(11)
>>> x = np.linspace(0, 2*np.pi, 20)
>>> y = np.sin(x) + np.random.normal(scale=.1, size=x.shape)
>>> p = T.fit(x, y, 5)
>>> plt.plot(x, y, 'o')
[<matplotlib.lines.Line2D object at 0x2136c10>]
>>> xx, yy = p.linspace()
>>> plt.plot(xx, yy, lw=2)
[<matplotlib.lines.Line2D object at 0x1cf2890>]
>>> p.domain
array([ 0.        ,  6.28318531])
>>> p.window
array([-1.,  1.])
>>> plt.show()