Processing math: 100%

Proof

(related to Proposition: Basic Calculations Involving the Difference Operator)

By hypothesis, D\subseteq\mathbb R is a subset of real numbers, x, x+1\in D,\lambda\in\mathbb R, and f,g:D\to\mathbb R are functions. The statements follow immediately from the definition of the difference operator.

Ad (1)

\begin{array}{rcl} \Delta (\lambda f)(x)&=&\lambda f(x+1)-\lambda f(x)\\ &=&\lambda(f(x+1)-f(x))\\ &=&\lambda \Delta f(x)\\ \end{array}

Ad (2)

\begin{array}{rcl} \Delta (f\pm g)(x)&=&(f\pm g)(x+1)-(f\pm g)(x)\\ &=&f(x+1)\pm g(x+1)-(f(x)\pm g(x))\\ &=&(f(x+1)-f(x))\pm (g(x+1)-g(x))\\ &=&\Delta f(x)\pm \Delta g(x)\\ \end{array}

Ad (3)

\begin{array}{rcl} \Delta (fg)(x)&=&(fg)(x+1)-(fg)(x)\\ &=&f(x+1)g(x+1)-f(x)g(x)\\ &=&f(x+1)g(x+1)-f(x+1)g(x)+f(x+1)g(x)-f(x)g(x)\\ &=&f(x+1)(g(x+1)-g(x))+g(x)(f(x+1)-f(x))\\ &=&f(x+1)\Delta g(x)+g(x)\Delta f(x)\\ \end{array}

Ad (4)


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Graham L. Ronald, Knuth E. Donald, Patashnik Oren: "Concrete Mathematics", Addison-Wesley, 1994, 2nd Edition
  2. Miller, Kenneth S.: "An Introduction to the Calculus of Finite Differences And Difference Equations", Dover Publications, Inc, 1960
  3. Bool, George: "A Treatise on the Calculus of Finite Differences", Dover Publications, Inc., 1960