Sum notation - lower/upper limits

  • Context: Undergrad 
  • Thread starter Thread starter JFo
  • Start date Start date
  • Tags Tags
    Limits Notation Sum
Click For Summary

Discussion Overview

The discussion revolves around the interpretation of sum notation, specifically the implications of lower and upper limits in summation. Participants explore the meaning of sums with unconventional limits, such as \(\sum_{n=0}^{-1} 1\), and its relevance to proving the commutativity of convolution sums in mathematical contexts.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant questions the value of \(\sum_{n=0}^{-1} 1\) and considers whether it is undefined, zero, or another value.
  • Another participant suggests that the conventional interpretation assigns the value of zero to such sums, regardless of the summand, but emphasizes that this may not apply to the participant's specific case.
  • There is a discussion about the orientation of sums and how substituting variables affects the bounds and potentially introduces negative signs.
  • One participant expresses interest in learning more about the conventions of summation and requests resources for further reading.
  • Corrections to earlier posts are noted, including adjustments to the notation used in the convolution sum expressions.

Areas of Agreement / Disagreement

Participants do not reach a consensus on the interpretation of the sum with unconventional limits. Multiple viewpoints regarding the meaning and implications of the sum notation are presented, indicating ongoing debate.

Contextual Notes

Participants highlight the importance of correctly orienting the bounds of sums and the potential for confusion when making substitutions. There is an acknowledgment of the need for clarity in mathematical notation.

JFo
Messages
91
Reaction score
0
This is a simple problem which I'm having trouble finding an answer.
What would [tex]\sum_{n = 0}^{-1} 1[/tex] be?
Would this be undefined? 0? 2? or ?
The reason this came up in the first place is that I was trying to prove that the convolution sum is commutative, that is h*x = x*h.
I started with h*x
[tex]\sum_{n = - \infty}^{infty} h(n-m)x(m)[/tex]
making the substitution [itex]k = n-m[/itex], i get
[tex]\sum_{k = \infty}^{- \infty} x(k-m)h(k)[/tex]
The problem I have is witht the upper/lower limits of the sum. Does this mean the sum "decrements" through values of k?
 
Mathematics news on Phys.org
It won't let me edit my original post, so I have to repost to make corrections.

This is a simple problem which I'm having trouble finding an answer.
What would
[tex]\\ \sum_{n = 0}^{-1} 1 \\[/tex]
be?
Would this be undefined? 0? 2? or ?

The reason this came up in the first place is that I was trying to prove that the convolution sum is commutative, that is h*x = x*h.
I started with h*x
[tex]\\ \sum_{n = - \infty}^{\infty} h(n-m)x(m) \\[/tex]
making the substitution [itex]k = n-m[/itex], i get
[tex]\\ \sum_{k = \infty}^{- \infty} x(k-m)h(k) \\[/tex]
The problem I have is witht the upper/lower limits of the sum. Does this mean the sum "decrements" through values of k? How do I get this to be

[tex]\\ \sum_{k =- \infty}^{\infty} x(k-m)h(k) \\[/tex]
 
The usual way of assigning meaning to [itex]\sum_{n=0}^{-1}[/itex] always assigns it the value of zero, whatever the summand. Also, [itex]\sum_{n=0}^{-2} f(n) = -f(-1)[/itex].

However, this isn't quite what you want. You're not doing this sort of "directed summation"1... you're merely summing over a set of integers, and the bounds are just a convenient way to write that set. Always write them with the right orientation unless you know what you're doing.

Now, if you really want to deal with the analogy to integrals, then your sum has an orientation which we usually don't bother writing. When you made the substitution k = n-m, then your bounds should flip, but the orientation also gets reversed, which contributes a negative sign. You can consume that sign to flip the bounds again. (it might help to work through the same substitution with an ordinary integral)


1: quotes because this is not a standard term.
 
Last edited:
Thanks Hurkyl for the informative reply. That is a very interesting about the conventions you mentioned involving sums. I wish to learn more about them, is there a site, or book I can read?

By the way, I noticed several errors in my post, but you seemed to understand what I was getting at anyway. Just for reference to other readers, I have added corrections below.

JFo said:
.
This is a simple problem which I'm having trouble finding an answer.
What would
[tex]\\ \sum_{n = 0}^{-1} 1 \\[/tex]
be?
Would this be undefined? 0? 2? or ?
The reason this came up in the first place is that I was trying to prove that the convolution sum is commutative, that is h*x = x*h.
I started with h*x
[tex]\\ \sum_{n = - \infty}^{\infty} h(m-n)x(n) \\ \[/tex]
making the substitution [itex]k = m-n[/itex], i get
[tex]\\ \sum_{k = \infty}^{- \infty} x(k-m)h(k) \\ \[/tex]
The problem I have is witht the upper/lower limits of the sum. Does this mean the sum "decrements" through values of k? How do I get this to be
[tex]\\ \sum_{k =- \infty}^{\infty} x(m-k)h(k) \\[/tex]
 
errr... it should be [itex]x(m-k)[/itex] in the second to last summand as well. I wish the edit button was working.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K