BranchesHistoryHelpLogin
Welcome guest
You're not logged in.
341 users online, thereof 0 logged in

Proof: (related to "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 (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 $(2)$

$$\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 $(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)$

q.e.d

| | | | created: 2020-03-24 17:24:48 | modified: 2020-03-24 17:25:31 | by: | references: [1112], [8404], [8405]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[8405] Bool, George: “A Treatise on the Calculus of Finite Differences”, Dover Publications, Inc., 0

[1112] Graham L. Ronald, Knuth E. Donald, Patashnik Oren: “Concrete Mathematics”, Addison-Wesley, 1994, 2nd Edition

[8404] Miller, Kenneth S.: “An Introduction to the Calculus of Finite Differences And Difference Equations”, Dover Publications, Inc, 0