1804 Operator Rules
In stating these rules, we will always assume that the functions involved are sufficiently differentiable, so that the operators can be applied to them.
Sum Rule. If and are polynomial operations, the any (sufficiently differentiable) function u,
Lineariry Rule. If and are functions and and are constants,
Proof of the linearity rule: This rule follows from the linearity of differentiation. That is,
Similarly taking the second or higher derivative also follows the linearity rule . That is,
Next, we can scale the linear operator by and it stays linear. That is,
(Notice that a
does not actually have to be a constant, it can be a function of t (or of whatever independent variable we're using). )
Finally we can combine these operators into a polynomial operator
which clearly still obeys the linearity rule. □
Multiplication rule. If as polynomials in , then
The property is true when is the simple operator , essentially because
It extends to general polynomial operators by linearity. Note that here a
must be a constant; it's false
otherwise.
An important corollary of the multiplication property is that polynomial operators with constant coefficients commute
; i.e., for every function ,
As polynomials, .
The remaining two rules are of a different type and are more concrete: they tell us how polynomial operators behave when applied to exponential functions and products involving exponential functions.
Substitution rule. Proof We have, by repeated differentiation, therefore, which is the substitution rule. □
The exponential-shift rule This handles expressions such as and . Let . Then Proff. We prove it in successive stages. First, it is true when , since by the product rule for differentiation, To show the rule is true for ,we apply to repeatedly: In the same way, and so on. This shows that is true for an operator of the form . To show it is true for a general operator we write for each , multiply both sides by the coefficient , and add up the resulting equations for the different values of .
Example. Find . Solution using the exponential-shift rule. Solution using the substitution rule. Write . We have Take the imaginary part: