This is an old revision of the document!


Smooth function of a linear operator

Set


Expansion

Let $A(z),B(z)$ be function with expansion around $a,b$, respectively.

$A(D)\,B(X)=\sum_{k=0}^\infty A^{(k)}(a) \dfrac{1}{k!} (D-a)^k \cdot \sum_{j=0}^\infty B^{(j)}(b) \dfrac{1}{j!} (X-b)^j $

Truncation at $k=j$

For $D$ a linear operator with $D^{n+1}X^{n}=0$ in an $\mathbb C$-algebra with unit and infinite sums, we find

$A(D)\,B(X) =\sum_{j=0}^\infty B^{(j)}(b) \dfrac{1}{j!} \left( \sum_{k=0}^j A^{(k)}(a) \dfrac{1}{k!} (D-a)^k (X-b)^j \right)$.

(here I say $\mathbb C$-algebra and interpret $a$ as $a$ times the unit. I haven't checked out what the minimal requirements really are, yet)

Differential operators

For $a=0$ and $D=Y\frac{\partial}{\partial X}$, we use ${j \choose k}=\frac{1}{k!}\frac{j!}{(j-k)!}$ and find

$A(D)\,B(X) =\sum_{j=0}^\infty B^{(j)}(b) \dfrac{1}{j!} \left( \sum_{k=0}^j A^{(k)}(0) {\large{j \choose k}} Y^k (X-b)^{j-k} \right)$.

Shift operator

For $A=\exp$, i.e. $A^{(k)}(0)=1$, we use $(u+v)^j=\sum_{k=0}^j {j \choose k} u^k v^{j-k}$ and find

$A(D)\,B(X) =\sum_{j=0}^\infty B^{(j)}(b) \dfrac{1}{j!} (Y+(X-b))^j=B(Y+X)$.

Direct prove

Note that the last bit can be proven more directly by Taylor expansion of $f(x+h)$ around $x$:

$f(x+d)=\sum_{k=0}^\infty\frac{1}{k!}(\frac{\partial^k}{\partial x^k}f(x))\cdot((x+h)-x)^k=\sum_{k=0}^\infty\frac{1}{k!}\left(d\frac{\partial}{\partial x}\right)^k f(x)=\exp(h\frac{\partial}{\partial x})\,f(x)$.

Curiously, note how

$\dfrac{\partial}{\partial x}\,f(x)=\lim_{h\to 0}\dfrac{f(x+h)-f(x)}{h}=\lim_{h\to 0}\dfrac{\exp(h\frac{\partial}{\partial x})-1}{h}f(x)$,

$f(x)=\lim_{h\to 0}\dfrac{\exp(h\frac{\partial}{\partial x})-1}{h}\int_0^x f(y)\,{\mathrm d}y$.

References

Wikipedia: Shift operator


Link to graph
Log In
Improvements of the human condition