Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
smooth_function_of_a_linear_operator [2015/01/20 13:18] nikolaj |
smooth_function_of_a_linear_operator [2015/01/20 13:19] nikolaj |
||
---|---|---|---|
Line 46: | Line 46: | ||
=B(Y+X)$. | =B(Y+X)$. | ||
- | Note that the last bit can be proven more directly. Taylor expansion of $f(x+h)$ around $x$ gives | + | == 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)$ | $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)$ |