In mathematics, the (exponential) shift theorem is a theorem about polynomial differential operators (D-operators) and exponential functions. It permits one to eliminate, in certain cases, the exponential from under the D-operators.

Statement

The theorem states that, if P(D) is a polynomial of the 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.}$

Related

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)\}.}$

Examples

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]

Notes

References

• 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.