Differential operators on the polynomial ring

505 Views Asked by At

Let $A$ be a commutative algebra over complex numbers. If $a\in A$ we define $m_a$ to be a linear map which sends each $x$ to $ax$. The zero map $A\to A$ is said to be a differential operator of an order $-1$. A linear operator $f: A\to A$ is said to be a differential operator of an order $\le n$ if for all $a\in A$ the commutator $[m_a,f]$ is a differential operator of an order $\le n-1$.

It can be easily proven that each operator of an order $\le 0$ is $m_a$ for some $a\in A$ and each operator of an order $\le 1$ is $m_a+D$, where $D$ is a derivation of $A$ (i.e. $D(xy)=D(x)y+xD(y)$). There are some other easy properties: the composition $D_1D_2$ is an operator of an order $\le n_1+n_2$ where $D_i$ is of an order $\le n_i$ etc.

So, let $A=\mathbb{C}[x]$. We see that each operator $$\sum_{k=0}^N m_{g_k} \frac{d^k}{dx^k}$$ is a differential operator of an order $\le N$. Could you please help me to prove the converse? That is each operator of an order $\le N$ is the sum like this.

We can start with $N=2$. We have an operator $D$ of an order $\le 2$ and want to prove that $D=g_0+g_1d/{dx}+g_2d^2/{dx^2}$ for some polynomials $g_0,g_1,g_2$...