Shift theorem

Last updated February 07, 2024

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,

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

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

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

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

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

Then,

{\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:

{\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 ( $t<a$ ):

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 $f(x)=\sin(x)e^{x}$ , one has that

{\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

↑ See the article homogeneous equation with constant coefficients for more details.

Related Research Articles

Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions $y (x)$ of Bessel's differential equation

Euler's formula, named after Leonhard Euler, is a mathematical formula in complex analysis that establishes the fundamental relationship between the trigonometric functions and the complex exponential function. Euler's formula states that, for any real number $x$ , one has

<span class="mw-page-title-main">Exponential function</span> Mathematical function, denoted exp(x) or e^x

The exponential function is a mathematical function denoted by $or . Unless otherwise specified, the term generally refers to the positive-valued function of a real variable, although it can be extended to the complex numbers or generalized to other mathematical objects like matrices or Lie algebras. The exponential function originated from the operation of taking powers of a number, but various modern definitions allow it to be rigorously extended to all real arguments, including irrational numbers. Its ubiquitous occurrence in pure and applied mathematics led mathematician Walter Rudin to consider the exponential function to be "the most important function in mathematics".$

In mathematics, the trigonometric functions are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all sciences that are related to geometry, such as navigation, solid mechanics, celestial mechanics, geodesy, and many others. They are among the simplest periodic functions, and as such are also widely used for studying periodic phenomena through Fourier analysis.

In mathematics and physics, Laplace's equation is a second-order partial differential equation named after Pierre-Simon Laplace, who first studied its properties. This is often written as

In mathematics, hyperbolic functions are analogues of the ordinary trigonometric functions, but defined using the hyperbola rather than the circle. Just as the points $(cos t, sin t)$ form a circle with a unit radius, the points $(cosh t, sinh t)$ form the right half of the unit hyperbola. Also, similarly to how the derivatives of $sin(t)$ and $cos(t)$ are $cos(t)$ and $-sin(t)$ respectively, the derivatives of $sinh(t)$ and $cosh(t)$ are $cosh(t)$ and $+sinh(t)$ respectively.

<span class="mw-page-title-main">Fourier series</span> Decomposition of periodic functions into sums of simpler sinusoidal forms

A Fourier series is an expansion of a periodic function into a sum of trigonometric functions. The Fourier series is an example of a trigonometric series, but not all trigonometric series are Fourier series. By expressing a function as a sum of sines and cosines, many problems involving the function become easier to analyze because trigonometric functions are well understood. For example, Fourier series were first used by Joseph Fourier to find solutions to the heat equation. This application is possible because the derivatives of trigonometric functions fall into simple patterns. Fourier series cannot be used to approximate arbitrary functions, because most functions have infinitely many terms in their Fourier series, and the series do not always converge. Well-behaved functions, for example smooth functions, have Fourier series that converge to the original function. The coefficients of the Fourier series are determined by integrals of the function multiplied by trigonometric functions, described in Common forms of the Fourier series below.

<span class="mw-page-title-main">Legendre polynomials</span> System of complete and orthogonal polynomials

In mathematics, Legendre polynomials, named after Adrien-Marie Legendre (1782), are a system of complete and orthogonal polynomials with a vast number of mathematical properties and numerous applications. They can be defined in many ways, and the various definitions highlight different aspects as well as suggest generalizations and connections to different mathematical structures and physical and numerical applications.

In mathematics and physical science, spherical harmonics are special functions defined on the surface of a sphere. They are often employed in solving partial differential equations in many scientific fields. A list of the spherical harmonics is available in Table of spherical harmonics.

In mathematics, a Green's function is the impulse response of an inhomogeneous linear differential operator defined on a domain with specified initial conditions or boundary conditions.

In mathematics, a linear differential equation is a differential equation that is defined by a linear polynomial in the unknown function and its derivatives, that is an equation of the form

In mathematics, separation of variables is any of several methods for solving ordinary and partial differential equations, in which algebra allows one to rewrite an equation so that each of two variables occurs on a different side of the equation.

The Gaussian integral, also known as the Euler–Poisson integral, is the integral of the Gaussian function $over the entire real line. Named after the German mathematician Carl Friedrich Gauss, the integral is$

In mathematics, the matrix exponential is a matrix function on square matrices analogous to the ordinary exponential function. It is used to solve systems of linear differential equations. In the theory of Lie groups, the matrix exponential gives the exponential map between a matrix Lie algebra and the corresponding Lie group.

In mathematics, an Euler–Cauchy equation, or Cauchy–Euler equation, or simply Euler's equation is a linear homogeneous ordinary differential equation with variable coefficients. It is sometimes referred to as an equidimensional equation. Because of its particularly simple equidimensional structure, the differential equation can be solved explicitly.

In mathematics, the associated Legendre polynomials are the canonical solutions of the general Legendre equation

In mathematics, the method of undetermined coefficients is an approach to finding a particular solution to certain nonhomogeneous ordinary differential equations and recurrence relations. It is closely related to the annihilator method, but instead of using a particular kind of differential operator in order to find the best possible form of the particular solution, an ansatz or 'guess' is made as to the appropriate form, which is then tested by differentiating the resulting equation. For complex equations, the annihilator method or variation of parameters is less time-consuming to perform.

In mathematics, the binomial differential equation is an ordinary differential equation containing one or more functions of one independent variable and the derivatives of those functions.

In mathematics, the characteristic equation (or auxiliary equation) is an algebraic equation of degree $n$ upon which depends the solution of a given $n$ th-order differential equation or difference equation. The characteristic equation can only be formed when the differential or difference equation is linear and homogeneous, and has constant coefficients. Such a differential equation, with $y$ as the dependent variable, superscript $(n)$ denoting n^th-derivative, and $a n, a n - 1, ..., a 1, a 0$ as constants,

In mathematics, the exponential response formula (ERF), also known as exponential response and complex replacement, is a method used to find a particular solution of a non-homogeneous linear ordinary differential equation of any order. The exponential response formula is applicable to non-homogeneous linear ordinary differential equations with constant coefficients if the function is polynomial, sinusoidal, exponential or the combination of the three. The general solution of a non-homogeneous linear ordinary differential equation is a superposition of the general solution of the associated homogeneous ODE and a particular solution to the non-homogeneous ODE. Alternative methods for solving ordinary differential equations of higher order are method of undetermined coefficients and method of variation of parameters.

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.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] See the article homogeneous equation with constant coefficients for more details.

[1]