The most beautiful chain of equalities I have ever seen

  • Context: Graduate 
  • Thread starter Thread starter epr1990
  • Start date Start date
  • Tags Tags
    Chain
Click For Summary
SUMMARY

The discussion centers on a remarkable equality involving the Dedekind eta function and Dirichlet series, specifically the expression: \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}}. The variables \mu, \varphi, and \phi represent the Möbius function, Euler totient function, and golden ratio, respectively. The analysis reveals that this equality implies significant relationships between prime numbers and chaos, culminating in further results that connect logarithmic sums and geometric series. The discussion invites insights on these relationships and similar mathematical findings.

PREREQUISITES
  • Understanding of the Dedekind eta function
  • Familiarity with Dirichlet series
  • Knowledge of the Möbius function and Euler totient function
  • Basic principles of logarithms and infinite series
NEXT STEPS
  • Explore the properties of the Dedekind eta function in depth
  • Investigate Dirichlet convolution and its applications in number theory
  • Research the implications of the Möbius function in prime number theory
  • Examine the connections between chaos theory and number theory
USEFUL FOR

Mathematicians, number theorists, and researchers interested in the relationships between prime numbers, chaos theory, and advanced mathematical functions.

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".
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K