∑f(n)=1 (n=1 to n), find f(n).

  • Context: Graduate 
  • Thread starter Thread starter member 463737
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the mathematical problem of finding a function f(n) such that the sum of f(n) from n=1 to a given n equals 1. Participants explore the nature of summations, the concept of anti-sums, and the implications of fixed versus variable n in the context of this summation.

Discussion Character

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

Main Points Raised

  • Some participants inquire about the existence of "anti-sums" and how they relate to traditional summation concepts.
  • One participant suggests that if the formula is to hold for all n, then f(n) must be zero except for f(1)=1, while if it is for a fixed n, there could be infinitely many solutions.
  • Another participant emphasizes the importance of using a dummy variable in summation notation and clarifies that the summation must be valid for either specific or all positive n.
  • There is a discussion about discrete calculus and the notation Δ/Δn, with participants explaining its meaning and how it relates to summation and differentiation.
  • One participant presents a function f[n] in terms of the discrete delta function, suggesting that f(n) can be expressed as a delta function that is 1 at n=1 and 0 elsewhere.

Areas of Agreement / Disagreement

Participants express differing views on whether the summation condition applies to all n or just specific values, leading to multiple competing interpretations of the problem. The discussion remains unresolved regarding the implications of these interpretations.

Contextual Notes

Participants note the potential confusion arising from using the same variable for both the summation index and the upper limit of the sum. There are also references to discrete calculus concepts that may not be universally understood, indicating a need for clarity in notation and definitions.

member 463737
Not sure if this is impossible, simply wondering if anti-sums are a thing, ie. (Anti)∑0.5n(n+1)=n.
 
Mathematics news on Phys.org
Hi Crack Dragon! Welcome to PF! :smile:

Yes, it's a difference!

The difference of a series {an} is the series {an - an-1}

eg 0.5n(n+1) - 0.5(n-1)n = 0.5n((n+1) - (n-1)) = n :wink:
 
Hi, thanks for that, sorry if this was in the wrong area; wasn't too sure. That's pretty handy actually, by your post count you seem to be a busy person, but do you know where I could do any reading up on summations and the like?
 
Crack Dragon said:
… do you know where I could do any reading up on summations and the like?

sorry, no idea …

but I'm sure you'll find plenty if you google it :smile:
 
Can you clarify, is the formula meant to hold for all n or for a fixed value of n? If it is for all n the f(n)=0 is the only solution in this case. If it is for a fixed n then there are infinite f(n) that will work.
 
Crack Dragon said:
Fixed n? I really am new to this, just in this format though if that's what you were wondering: http://www.wolframalpha.com/input/?i=Sum+f(n),+n=1+to+n, are you saying ∑0=1?

My mistake, I missread 1 as 0. But it doesn't change much. If the sum of f(k) from k=1 to n (btw, don't use n as both the thing you are summing over as well as the number of terms you are summing) for all n, then you must have f(1)=1 and all others are 0. To see this just set n=1 so f(1)=1 then set n=2 to get f(1)+f(2)=1 so 1+f(2)=1 which gives f(2)=0. Continue inductively to get the rest being 0.
 
[tex]\\ \sum f(n)\Delta n=1 \\ \\ \frac{\Delta\;\;}{\Delta n} \sum f(n)\Delta n = \frac{\Delta1}{\Delta n} \\ \\ f(n) = \left\{\begin{matrix} 1 & n=0\\ 0 & n\neq 0\\ \end{matrix}\right.[/tex]
 
Last edited:
Crack Dragon said:
Fixed n? I really am new to this, just in this format though if that's what you were wondering: http://www.wolframalpha.com/input/?i=Sum+f(n),+n=1+to+n, are you saying ∑0=1?
The way you're using the summation symbol is wrong crack dragon. You need to sum over a "dummy" variable such as "k" in the example below.

[tex]\sum_{k=1}^{n} f(k) = 1[/tex]

Now we can again ask the question: Do you require this to be valid just for some specific positive "n" or is it to be true for all positive "n"?

If it's for some specific "n" then there is a unique solution only for n=1, and an infinite number of solutions otherwise.

If it's for all positive "n" then there is just one solution, that given above by jsmith.
 
Last edited:
  • #10
Jhenrique said:
[tex]\\ \sum f(n)\Delta n=1 \\ \\ \frac{\Delta\;\;}{\Delta n} \sum f(n)\Delta n = \frac{\Delta1}{\Delta n} \\ \\ f(n) = \left\{\begin{matrix} 1 & n=0\\ 0 & n\neq 0\\ \end{matrix}\right.[/tex]
What does Δ/Δn mean? I understand the operator d/dn, but have never seen similar notation using Δ.
 
  • #11
Mark44 said:
What does Δ/Δn mean? I understand the operator d/dn, but have never seen similar notation using Δ.

##\Delta f=f_1-f_0##

##\frac{\Delta f}{\Delta x}=\frac{f_1-f_0}{x_1-x_0}##

How in discrete calculus we not consider an infinitesimal interval but yes a discrete interval (unitary), so Δx=1, ie:

##\frac{\Delta f}{\Delta x}=\frac{f(x+\Delta x)-f(x)}{\Delta x}=\frac{f(x+1)-f(x)}{1}=f(x+1)-f(x)=\Delta f##

The same logic for summation:

##\sum f(x)\Delta x=\sum f(x)\cdot 1=\sum _{x}f(x)##

FTC for the discrete case:

##\sum_{x_0}^{x_1} f(x)\Delta x=\sum_{x=x_0}^{x_1}f(x)=F(x_1+1)-F(x_0)##

inverse relationships:

##\sum \frac{\Delta f}{\Delta x}(x)\Delta x=f(x)##

##\frac{\Delta}{\Delta x} \sum f(x)\Delta x = f(x)##

with infinitesimal limits...

##\int f(x)dx=\lim_{\Delta x \rightarrow 0} \sum f(x) \Delta x##

##\frac{df}{dx}=\lim_{\Delta x \rightarrow 0} \frac{\Delta f}{\Delta x}##

computing...

##\frac{d}{dx}\left (\frac{1}{2}kx^2 \right )=kx##

##\frac{\Delta}{\Delta x}\left (\frac{1}{2}kx^2 \right )=kx+\frac{1}{2}k##

##\sum f(x)\Delta x=\frac{1}{6}kx^3-\frac{1}{4}kx^2+\frac{1}{12}kx + C##

##\int f(x)dx=\frac{1}{6}kx^3 + C##

And you still have a Z transform that is the discrete analogue of Laplace transform. All this is the discrete calculus.
 
Last edited:
  • #12
Jhenrique said:
##\Delta f=f_1-f_0##

##\frac{\Delta f}{\Delta x}=\frac{f_1-f_0}{x_1-x_0}##

How in discrete calculus we not consider an infinitesimal interval but yes a discrete interval (unitary), so Δx=1, ie:

##\frac{\Delta f}{\Delta x}=\frac{f(x+\Delta x)-f(x)}{\Delta x}=\frac{f(x+1)-f(x)}{1}=f(x+1)-f(x)=\Delta f##

The same logic for summation:

##\sum f(x)\Delta x=\sum f(x)\cdot 1=\sum _{x}f(x)##

FTC for the discrete case:

##\sum_{x_0}^{x_1} f(x)\Delta x=\sum_{x=x_0}^{x_1}f(x)=F(x_1+1)-F(x_0)##

inverse relationships:

##\sum \frac{\Delta f}{\Delta x}(x)\Delta x=f(x)##

##\frac{\Delta}{\Delta x} \sum f(x)\Delta x = f(x)##

with infinitesimal limits...

##\int f(x)dx=\lim_{\Delta x \rightarrow 0} \sum f(x) \Delta x##

##\frac{df}{dx}=\lim_{\Delta x \rightarrow 0} \frac{\Delta f}{\Delta x}##

computing...

##\frac{d}{dx}\left (\frac{1}{2}kx^2 \right )=kx##

##\frac{\Delta}{\Delta x}\left (\frac{1}{2}kx^2 \right )=kx+\frac{1}{2}k##
This (above) is what I've never seen before. Where does the k/2 on the right side come from?
Jhenrique said:
##\sum f(x)\Delta x=\frac{1}{6}kx^3-\frac{1}{4}kx^2+\frac{1}{12}kx + C##

##\int f(x)dx=\frac{1}{6}kx^3 + C##

And you still have a Z transform that is the discrete analogue of Laplace transform. All this is the discrete calculus.
 
  • #13
Mark44 said:
This (above) is what I've never seen before. Where does the k/2 on the right side come from?

From the definition of discrete differentiation: ##\frac{\Delta f}{\Delta x} = f(x+1)-f(x)=f'(x)##

If f(x)=1/2kx² so f'(x)=kx+1/2k

Ironically or not, It's so that math works...
 
  • #14
Now, my 2nd answer (considering the interval of summation):

The "graphic" of question below is:

##F[n]=\sum _{1}^{n}f[m]\Delta m=1##
\begin{matrix}
n & -4 & -3 & -2 & -1 & 0 & 1 & 2 & 3 & 4 \\
F[n] & 0 & 0 & 0 & 0 & 0 & 0 & 1 & 1 & 1 \\
F'[n] & 0 & 0 & 0 & 0 & 0 & 1 & 0 & 0 & 0 \\
\end{matrix}

Thus we have ##F'[n]=\frac{\Delta F[n]}{\Delta n}=F[n+1]-F[n]=f[n]## ([...] the colchets says that the domain is discrete). Remember that:
http://en.wikipedia.org/wiki/Kronecker_delta
http://en.wikipedia.org/wiki/Dirac_delta_function

##\delta [n]:=\left\{\begin{matrix}
1 & n=0\\
0 & n\neq 0
\end{matrix}\right.##

So, f[n] in terms of discrete delta is:
[tex]f[n]= \delta [n-1]=\left\{\begin{matrix} 1 & n=1\\ 0 & n\neq 1 \end{matrix}\right.[/tex]

I found f(n) to you. Capiche?
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 5 ·
Replies
5
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K