В математике, производная Пинкерле T’ линейного оператора T:K[x] → K[x] на векторном пространстве многочленов от переменной x над полем K это коммутатор оператора T с умножением на x в алгебре эндоморфизмов End(K[x]). T.e. T’ является ещё одним линейным оператором T’:K[x] → K[x]
![{\displaystyle T':=[T,x]=Tx-xT=-\operatorname {ad} (x)T.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b7122640330d2fd54b6ba7bdb75125eea94a81a)
Более подробно, на многочлене
этот оператор действует следующим образом:
![{\displaystyle T'\{p(x)\}=T\{xp(x)\}-xT\{p(x)\}\qquad \forall p(x)\in \mathbb {K} [x].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/25baff00a3c5ca6de0647d4daf76c6622b41b421)
Названа в честь итальянского математика Сальваторе Пинкерле.
Свойства
Производная Пинкерле, как и любой коммутатор, является дифференцированием, удовлетворяющим правилу произведения и суммы: для любых линейных оператора
и
, принадлежащих
, выполняется
;
где
является композицией операторов ;
Также
где
— обычная скобка Ли, что следует из тождества Якоби.
Обычная производная, D = d/dx, является оператором на многочленах. Прямое вычисление показывает, что её производная Пинкерле равна
![{\displaystyle D'=\left({d \over {dx}}\right)'=\operatorname {Id} _{\mathbb {K} [x]}=1.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/067676cf06f192b93b47d2122716b3e8609b6f25)
По индукции, эта формула обобщается до
![{\displaystyle (D^{n})'=\left({{d^{n}} \over {dx^{n}}}\right)'=nD^{n-1}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9148abc15e438d37670eb95f7173f1fd9e71cba4)
Это доказывает, что производная Пинкерле дифференциального оператора
![{\displaystyle \partial =\sum a_{n}{{d^{n}} \over {dx^{n}}}=\sum a_{n}D^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c46364861aa39a3cb6762285a6ab2c0eab7c41f0)
также является дифференциальным оператором, так что производная Пинкерле есть дифференцирование
.
Оператор сдвига
![{\displaystyle S_{h}(f)(x)=f(x+h)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/838f293e8a3d5955738577a3f183ca429edbd1c3)
может быть записан
![{\displaystyle S_{h}=\sum _{n=0}{{h^{n}} \over {n!}}D^{n}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/baa516b31f62e8e88fc06261f63416ad86ea9e7d)
с помощью формулы Тейлора. Тогда его производная Пинкерле равняется
![{\displaystyle S_{h}'=\sum _{n=1}{{h^{n}} \over {(n-1)!}}D^{n-1}=h\cdot S_{h}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b043913bf0d27617c6e399836bd2e8643d0d387)
Другими словами, операторы сдвига есть собственные векторы производной Пинкерле, чей спектр есть все пространство скаляров
.
Если T инвариантен к сдвигу, то есть если T коммутирует с Sh или
, мы также имеем:
, так что
также является инвариантным к тому же сдвигу
.
Дельта-оператор[англ.] дискретного времени
![{\displaystyle (\delta f)(x)={{f(x+h)-f(x)} \over h}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d45ef8f986a6410e3ba0cdd986a4778b6d099082)
это оператор
![{\displaystyle \delta ={1 \over h}(S_{h}-1),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/df5fed7433c9154c1e23db4e816b6ffe5d678db9)
чья производная Пинкерле — оператор сдвига
.
См. также
Ссылки