# Difference between revisions of "Invariant differential operator"

An invariant differential operator is a differential operator that does not change its form under certain transformations of the space on which it is defined. For example, if $L(\partial/\partial x_k)$ is a partial differential operator written out in some coordinate system $(x_1,\ldots,x_n)$, if $x_k=\phi_k(y)$, $y=(y_1,\ldots,y_n)$, is some transformation of coordinates inducing a corresponding mapping $\phi^*$ in the set of functions $u(x)$ (each function $u(x)$ is associated in a natural way with the function $(\phi^* u)(y)$) and if $\phi^* L\left( \frac{\partial}{\partial x} \right)u = L\left( \frac{\partial}{\partial y} \right) \phi^* u,$ where the operator $L$ on the right-hand side is expressed in terms of $\partial/\partial y_k$ in the same way as the operator $L$ on the left-hand side is expressed in terms of $\partial/\partial x_k$, then $L$ is said to be invariant under the transformation $\phi$ (or $L$ is said to commute with the operator transformation $\phi^*$). The most important case is when a differential operator is invariant under a family of transformations forming a group. The definition of an invariant differential operator becomes substantially more complicated if one considers a system of functions transformed by some representation of this group of transformations. The invariant differential operators related to the Lorentz group and the orthogonal group (the wave operator, the Klein–Gordon and Laplace operators, etc.) play an important role in mathematical physics. In analysis on differentiable manifolds one extensively uses the operator of exterior differentiation $d$, which is invariant under diffeomorphisms, and the operator $\partial$, metrically dual to it, which is invariant under smooth transformations that preserve the metric tensor. In the theory of Lie groups, the so-called left- and right-invariant operators under the corresponding shifts on the group are of great importance.