
#1
Dec1012, 01:20 PM

P: 265

I choose a random number [itex]p_1 \in [0,1)[/itex] and a subsequent series of (increasingly smaller) random numbers [itex]p_i \in [0, p_{i1})[/itex]. Then I can calculate the sum [itex]\sum_{i=1}^\infty p_i[/itex]. Naturally, this sum is dependent on the random numbers chosen, so its particular result is not very insightful. However, it appears that its mean is rather surprising:
[tex]\left< \sum_{i=1}^\infty p_i \right>=1[/tex] Does anybody know a proof as to why this is the case? 



#2
Dec1012, 03:22 PM

Sci Advisor
P: 5,941

<p_{i}> = (1/2)^{i}. Sum is then 1/2 + 1/4 + .... = 1.




#3
Dec1012, 03:44 PM

P: 265

yes, I thought about that one too. But I got confused when I did a bunch of numerical simulations. Sometimes, the sum got very large (>1000). So I worry about the case where the sum may actually diverge: theoretically this is clearly possible (e.g.: sum of 1/n). Do we need to prove that this is not an issue?




#4
Dec1112, 02:56 AM

P: 1,351

Mean of sum of random numbersThe probability would be 1  C(100,30)/2^(100) = 1  [100!/(70!30!)]/2^(100) = 1  2.3*10^(5) that at least 30 of the first 1000 numbers will be < (1/2) * (their predecessor). The rest of the numbers would than be smaller han 2^(30), and you would need at least 10^12 numbers to get to a thousand, and after a another 100 numbers, your p(i) would likely be reduced by at least another 2^(30), etc. 



#5
Dec1112, 09:58 AM

P: 350

This should be in the probability forum. I bet you'd get some more answers there.
If you want prove this "from scratch", then you have to show that the series [itex]\sum P_i[/itex] represents a valid random variable, and that the partial sums converge to it in a sense sufficiently strong to guarantee that the limit of means is the mean of the limit. Perhaps there is a theorem in probability that says that if the limit of means exists then all the rest of that is automatically true, but I don't know about that. 



#6
Feb1013, 08:54 PM

P: 6

For this result, you must restrict the sequences {p_{i}} to those for which ##\sum_{i=1}^\infty p_i## converge, because the inclusion of sequences for which the sum does not converge will clearly prevent the existence of an expected value (mean) of your distribution. There may also be restrictions upon the distribution of p_{i} as a random variable in [0, p_{i1}), but it has been a long time since I looked at the pertinent theorems by Khinchin et al.




#7
Feb1013, 09:59 PM

Mentor
P: 14,476

I used perl to simulation this using $x=rand($x) to generate the terms in the sequence. I too starting seeing large sums start appearing after running for several hundred or more iterations. The problem is that perl apparently interprets rand(0) as meaning "The user is an idiot. He must have meant rand(1)." 


Register to reply 
Related Discussions  
Random numbers in R  Math & Science Software  2  
C++ random numbers!  Programming & Computer Science  3  
random numbers  Math & Science Software  1  
Random Numbers  Linear & Abstract Algebra  2  
random numbers  Calculus & Beyond Homework  2 