Re: Probability for the first digit of a natural number being equal to 1by tom.stoer Tags: digit, equal, natural, number, probability 

#19
Nov310, 09:07 PM

Mentor
P: 14,428

The definition of logarithmic density of some subset [itex]A\in\mathbb N[/itex] is
[tex] \delta(A) \equiv \lim_{n\to\infty} \frac{\,\,\displaystyle {\sum_{\substack{r<=n,\\r\in A}}\frac 1 r}\,\,} {\displaystyle \sum_{r=1}^n\frac 1 r} [/tex] ... if that limit exists. Alternatively, using lower and upper limits, the logarithmic density is the lower or upper limit if both of those limits exist and are equal. Those two limits are equal in this case. Let f be some real number in [1, 10) (i.e., the mantissa of a real number in base 10). Denote [tex]\begin{align*} C_{f\cdot 10^n} &= \sum_{\substack{r<=\lfloor f\cdot10^n \rfloor,\\r\in A}}\frac 1 r \\[4pt] H_{f\cdot 10^n} &=\sum_{r=1}^{\lfloor f\cdot 10^n \rfloor} \frac 1 r \end{align*}[/tex] Note that used H here because the denominator [itex]H_{f\cdot 10^n}[/itex] is the [itex]\lfloor f\cdot 10^n \rfloor^{\text{th}}[/itex] harmonic number. For large n, [tex]\begin{align*} C_{f10^n} &\to (n+\mathcal O(1))\,\ln 2 \\[4pt] H_{f10^n} &\to (n+\mathcal O(1))\,\ln 10 \\[4pt] \end{align*}[/tex] The mantissa f is absorbed in that O(1) term. In the limit [itex]\n\to\infty[/itex], the ratio becomes [itex]\ln 2/\ln 10[/itex], or log_{10} 2. 



#20
Nov410, 08:11 AM

Mentor
P: 14,428





#21
Nov410, 09:55 AM

Sci Advisor
P: 5,307

I see; thanks for the explanation.
Last question: how do you "guess" which density is reasonable? 


Register to reply 
Related Discussions  
probability that a molecule will travel a distance at least equal to the mean free pa  Introductory Physics Homework  4  
Help: Probability of Equal Chance  Set Theory, Logic, Probability, Statistics  6  
Four digit number, digit increasing/decreasing in size  Precalculus Mathematics Homework  2  
Find the mysterious function that converts an 8 digit num to a 10 digit num  Calculus & Beyond Homework  2  
The Digit and digit symbols  General Math  3 