Discrete Analogue of the Fundamental Theorem of Calculus

In Saber Elaydi's book "An Introduction to Difference Equations", 3rd ed., Sec. 2.1 (page 59), the discrete analogue of the Fundamental Theorem of Calculus is stated: $$\sum_{k=n_0}^{n-1} \Delta x(k) = x(n) - x(n_0)$$ and $$\Delta \left(\sum_{k=n_0}^{n-1}x(k) \right) = x(n)$$ where $\Delta x(k) = x(k+1)-x(k)$ is the difference operator. I do not understand the second part. The $\Delta$ operator is linear so why does it not enter the sum? Also, even if the sum is evaluated first, and then the difference is taken, the result is the same as in the first equation. Is there any missing notation on which $x's$ the $\Delta$ should act on?

Thank you in advance for the support.

-

The first equation, when the operator is written inside the sum is meant to be analogous to $$\int^b_a f'(x) dx = f(b) - f(a).$$
In the second equation when the operator is written outside the sum, we are reminded of: $$\frac{d}{dx} \int^x_a f(t) dt = f(x).$$
While the forward difference operator is indeed linear, we can not simply move the operator inside the summation. This is because in the second equation, the operator is acting on the index $n$, not on $k$ as it does in the first equation. We are considering the sequence $a_n = \displaystyle \sum_{k=n_0}^{n-1} x(k)$ so $$$$\Delta \left(\sum_{k=n_0}^{n-1}x(k) \right) = \Delta (a_n) = a_{n+1} - a_n = \sum_{k=n_0}^{n} x(k) -\sum_{k=n_0}^{n-1} x(k)= x(n)$$$$
I see. But isn't this notation misleading? I mean, in continuous calculus you write $d/dx$ to specify the derivative is with respect to $x$. Wouldn't $\Delta_n$ be a more adequate notation? And is this common in difference calculus literature? Anyway, thank you very much for the answer. – Gabriel Landi Sep 10 '12 at 14:00
@GabrielLandi Indeed perhaps if one is legitimately dealing with several index variables then a notation like the one you propose would have to be taken up. In this case however, after one gets used to it there is little chance for confusion, and there is actually no ambiguity - $n$ is the only legitimate variable inside the brackets, the $k$ is simply a dummy variable for the sum and $n_0$ is understood to be constant. Similarly if someone asked you "What is the derivative of $\int^x_{x_0} f(t) dt$ ?" you would probably say $f(x)$, since $t$ is just a dummy variable and $x_0$ is constant. – Ragib Zaman Sep 10 '12 at 14:18
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 3, "x-ck12": 0, "texerror": 0, "math_score": 0.9672450423240662, "perplexity": 200.26971798790157}, "config": {"markdown_headings": false, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-07/segments/1454701164268.69/warc/CC-MAIN-20160205193924-00267-ip-10-236-182-209.ec2.internal.warc.gz"}