Shift theorem

The theorem states that, if P(D) is a polynomial D-operator, then, for any sufficiently differentiable function y,

${\displaystyle P(D)(e^{ax}y)\equiv e^{ax}P(D+a)y.}$

To prove the result, proceed by induction. Note that only the special case

${\displaystyle P(D)=D^{n}}$

needs to be proved, since the general result then follows by linearity of D-operators.

The result is clearly true for n = 1 since

${\displaystyle D(e^{ax}y)=e^{ax}(D+a)y.}$

Now suppose the result true for n = k, that is,

${\displaystyle D^{k}(e^{ax}y)=e^{ax}(D+a)^{k}y.}$

Then,

${\displaystyle {\begin{aligned}D^{k+1}(e^{ax}y)&\equiv {\frac {d}{dx}}\left\{e^{ax}\left(D+a\right)^{k}y\right\}\\&{}=e^{ax}{\frac {d}{dx}}\left\{\left(D+a\right)^{k}y\right\}+ae^{ax}\left\{\left(D+a\right)^{k}y\right\}\\&{}=e^{ax}\left\{\left({\frac {d}{dx}}+a\right)\left(D+a\right)^{k}y\right\}\\&{}=e^{ax}(D+a)^{k+1}y.\end{aligned}}}$

This completes the proof.

The shift theorem can be applied equally well to inverse operators:

${\displaystyle {\frac {1}{P(D)}}(e^{ax}y)=e^{ax}{\frac {1}{P(D+a)}}y.}$

There is a similar version of the shift theorem for Laplace transforms (${\displaystyle t<a}$):

${\displaystyle e^{-as}{\mathcal {L}}\{f(t)\}={\mathcal {L}}\{f(t-a)\}.}$

The exponential shift theorem can be used to speed the calculation of higher derivatives of functions that is given by the product of an exponential and another function. For instance, if ${\displaystyle f(x)=\sin(x)e^{x}}$, one has that

$${\displaystyle {\begin{aligned}D^{3}f&=D^{3}(e^{x}\sin(x))=e^{x}(D+1)^{3}\sin(x)\\&=e^{x}\left(D^{3}+3D^{2}+3D+1\right)\sin(x)\\&=e^{x}\left(-\cos(x)-3\sin(x)+3\cos(x)+\sin(x)\right)\end{aligned}}}$$

Another application of the exponential shift theorem is to solve linear differential equations whose characteristic polynomial has repeated roots.[1]

• Morris, Tenenbaum; Pollard, Harry (1985). Ordinary differential equations : an elementary textbook for students of mathematics, engineering, and the sciences. New York: Dover Publications. ISBN 0486649407. OCLC 12188701.