The other day, I asked my roommate, also a mathematician by trade, if you could pick a function to know, to understand the ins and outs of, to see all the subtleties of its structure and behavior, what function would you pick?
He quickly answered, the Riemann Zeta Function. Especially, says he, if he could understand the connection to the Riemann Hypothesis.
Certainly an interesting answer – the Riemann Hypothesis is one of the biggest, or at least the most famous, popular math problems in the world today.
Which, in my opinion makes that answer rather dull and predictable. Far more interesting in my mind are the complex behaviors of well known, elementary, functions.
For example, consider
, for integer values of n. This gives, in order, 1, 2, 4, 8, 16, 32, 64, 128, 256, 512, 1024, 2048, 4096, 8192, 16384, 32768, 65536, 131072, …
Specifically, I’d like to look at two things. First, look at the first digit of each number. 1, 2, 4, 8, 1, 3, 6, 1, 2, 5, 1, 2, 4, 8, 1, 3, 6. Clearly, we can separate this out into groups of {1, 2, 4, 8}, {1, 3, 6}, {1, 2, 5}, and the pattern looks to be some arrangement of those three groups, repeated to infinity.
The obvious question then is, does this pattern continue indefinitely? Clearly not, as
, giving us a 7 and breaking the chain. That being so, does this establish a new pattern? When is that one broken? Is there a pattern to when apparent patterns are violated? I am intrigued.
Bonus question, what is the lowest power of 2 such that all digits 1 – 9 will have been first digits before that point? For the digits 1 – 7, the answer as shown above is 46. And what if we extend to the having the numbers 10 – 99 as the first two digits? And so on and so on.
Secondly, it’s interesting to me to consider the number of digits. Looking at the number of digits in successive powers of 2, we have 1, 1, 1, 1, 2, 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 6, 6, 6, 7, 7, 7, 7, 8, 8, 8, 9, 9, 9, 10, 10, 10, 10, …
Perhaps meaningless to you, except maybe for the fact that they go in groups of three and four. Grouping in terms of same number, we have 4, 3, 3, 4, 3, 3, 4, 3, 3, 4. Pairs of 3’s separated by 4’s, another pattern, which will certainly be violated in much the same way as the one previously. But where exactly, why, and how often? There must be a pattern, even if the only description of it is ’size of groups of powers of 2 with same numbers of digits’. But is there something better?
This one is especially interesting to me, because I have a hunch that the answer is directly related to approximations of ln(2) and ln(10).
The last function I’d like you to consider is
, for whole numbers of n. I won’t give specific values, because they’re effectively meaningless decimals. However, note of course that
when
, for integer values of n. No integer n (except for 0, which we are not considering) will ever be a multiple of pi. However, once n goes from below a multiple of pi to above it, Sin(n) switches sign. Sign switches in this sequence then are associated with how close a given integer is to a multiple of pi. So, it is of interest to me to consider the sequence of signs for Sin(n). This is given by, for n = 1, 2, 3, …
1, 1, 1, -1, -1, -1, 1, 1, 1, -1, -1, -1, 1, 1, 1, -1, -1, -1, 1, 1, 1, -1, -1, -1, -1, …
Though I think it is perhaps easier to interpret using 0’s for -1’s and 1’s for 1’s.
1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, …
Again, we see a relatively simple pattern that is, ultimately, violated. This is anticipated. As I said, the sequence of sign switches is associated with how close an integer is to a multiple of pi. As pi is irrational, there will be no neat or pattern associating pi with integers in this way. So the pattern of this sequence is tied deeply to the nature of pi.
Which makes me wonder, given the sequence in its full form, what can we determine about pi?
I don’t really have any answers to any of these questions. My point is simply this … there are a whole host of questions and problems out there, all waiting to be discovered and investigated. Even in simple, well known math. You just have to stop for a moment, and think.
And now I must rush to Thermal.