The most beautiful chain of equalities I have ever seen

  • Thread starter Thread starter epr1990
  • Start date Start date
  • Tags Tags
    Chain
Click For Summary
The discussion highlights a remarkable equality involving the Dedekind eta function and Dirichlet series, showcasing the relationship between the Möbius function, Euler totient function, and the golden ratio. It emphasizes the seemingly paradoxical nature of equating a product with its logarithm, leading to significant implications such as the identity equating the sum to 1 and the product to e. Further analysis reveals connections between prime numbers and chaotic behavior through derived sums involving logarithmic functions. The author invites insights and similar findings from others, particularly regarding the interplay between prime numbers and chaos in mathematics. This exploration underscores the depth and complexity of mathematical relationships.
epr1990
Messages
26
Reaction score
0
I was doing some basic analysis of the Dedekind eta function and some Dirichlet series and the following equality just fell out:

\sum_{k=1}^\infty\frac{\mu (k)-\varphi (k)}{k}\log \left( 1-\frac{1}{\phi^k} \right) = \prod_{k=1}^\infty \left( 1-\frac{1}{\phi^k} \right)^{2\pi i\frac{\mu (k)-\varphi (k)}{k}}

where \mu , \varphi , \phi are the Möbius function, Euler totient function, and golden ratio respectively.

Now, at first, this looks almost nonsensical because it demonstrates equality between a product and its logarithm. I.e. exponentiating gives product=e^product^2*pi*i (or you can take the logarithm if you can see it better this way, personally, I'm better with products than sums, and definitely the logarithm of an infinite sum which you would most likely need to refactor and deal with possible rearrangement issues... yikes). It follows that, in a sense, this form is redundant, for we must have

\left(\prod_{k=1}^\infty \left( 1-\frac{1}{\phi^k} \right)^{\frac{\mu (k)-\varphi (k)}{k}}\right)^{2\pi i} = 1

Furthermore, this implies

\sum_{k=1}^\infty\frac{\mu (k)-\varphi (k)}{k}\log \left( 1-\frac{1}{\phi^k} \right) = 1

and

\prod_{k=1}^\infty \left( 1-\frac{1}{\phi^k} \right)^{\frac{\mu (k)-\varphi (k)}{k}} = e

Finally, using Dirichlet convolution and inversion and the basic properties of the logarithm and geometric series, we can show that
for 0 < x < 1

\sum_{k=1}^\infty\frac{\mu (k)}{k}\log \left( \frac{1}{1-\frac{1}{x^k}} \right) = x

and

\sum_{k=1}^\infty\frac{\varphi (k)}{k}\log \left( \frac{1}{1-\frac{1}{x^k}} \right) = \frac{x}{1-x}

Thus,

\sum_{k=1}^\infty\frac{\mu (k)}{k}\log \left( \frac{1}{1-\frac{1}{\phi^k}} \right) = \frac{1}{\phi}

and

\sum_{k=1}^\infty\frac{\varphi (k)}{k}\log \left( \frac{1}{1-\frac{1}{\phi^k}} \right) = \frac{\frac{1}{\phi}}{1-\frac{1}{\phi}} = \phi

The point of this result is that it suggests a deep relation between the prime numbers and chaos,


I was hoping that anyone who reads this would share their thoughts and insights on this relationship, or possibly similar results.
 
Mathematics news on Phys.org
Sure - google for "prime numbers and chaos math".
 
Here is a little puzzle from the book 100 Geometric Games by Pierre Berloquin. The side of a small square is one meter long and the side of a larger square one and a half meters long. One vertex of the large square is at the center of the small square. The side of the large square cuts two sides of the small square into one- third parts and two-thirds parts. What is the area where the squares overlap?

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 0 ·
Replies
0
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K