Facebook Page
Twitter
RSS
+ Reply to Thread
Results 1 to 2 of 2
  1. MHB Journeyman
    MHB Math Helper
    mathbalarka's Avatar
    Status
    Offline
    Join Date
    Mar 2013
    Location
    West Bengal, India
    Posts
    573
    Thanks
    699 times
    Thanked
    1,378 time
    Thank/Post
    2.405
    Trophies
    8 Highscores
    Awards
    Graduate POTW Award (Jul-Dec 2013)
    #1
    Introduction :

    This thread is dedicated to discuss about Hardy-Littlewood's estimate of the $ \displaystyle N_0(T)$, i.e., the number of critical zeros of the Riemann zeta function with imaginary part smaller than $ \displaystyle T + 1$. The final result of Hardy-Littlewood estimate shows that there are infinitely many zeros of zeta that lies in the critical line.

    This thread would be continued in more than one post, each of them showing different lemmas. The estimated number of post required would be 8 or less. There could be prolonged gaps in between the posts which are to be continued, so it would certainly be disappointing not to be able to look at it all at once; but I think a serious subject like this could take days to digest, so go slow and you won't throw up! Nevertheless, I think this note would be of particular interest once completed.

    And as a final note, I would be putting it up altogether in a very short, less elegant and more understandable format. I have put quite a few things from here and there, so there could possibly be many typos. I hope members of MHB would certainly help me to point those out.

    The commentary thread for this note is here :

    Balarka
    .
    Last edited by mathbalarka; October 30th, 2013 at 16:16.

  2. MHB Journeyman
    MHB Math Helper
    mathbalarka's Avatar
    Status
    Offline
    Join Date
    Mar 2013
    Location
    West Bengal, India
    Posts
    573
    Thanks
    699 times
    Thanked
    1,378 time
    Thank/Post
    2.405
    Trophies
    8 Highscores
    Awards
    Graduate POTW Award (Jul-Dec 2013)
    #2 Thread Author
    Introducing The Lemmas (1) :

    First, we introduce a transform of zeta at the half line, i.e., the eta function -

    $ \displaystyle \eta(s)= \frac{\pi^{-1/4 - is/2} \, \Gamma(1/4 + is/2)}{\left | \pi^{-1/4 - is/2} \, \Gamma(1/4 + is/2) \right |} \zeta\left (\frac{1}{2} + i u \right )$

    Note that the Hardy-Littlewood eta has a very neat functional equation $ \displaystyle \pi^{-s/2} \Gamma(s/2) \eta(s) = \pi^{-(1-s)/2} \Gamma((1-s)/2) \eta(1-s)$ which implies that eta is also even.

    The first integral we are interested in is $ \displaystyle I_1(t) = \int_{t}^{t + \Delta} \left | \eta(s) \right | \, \mathrm{d}s$. We preasent a non-trivial lemma regarding this eta-integral :

    Proposition : There exists a function $ \displaystyle K(t, \Delta)$ such that $ \displaystyle I_1(t) \ge \Delta - K(t, \Delta)$ and $ \displaystyle \int_{T}^{2T} \left | K(t, \Delta) \right |^2 \,\, \mathrm{d}t \ll T$ where $ \displaystyle T \ge \Delta^2 \ge 1$

    The first portion can be proved very easily, by elementary integral analysis :

    $ \displaystyle \begin{aligned}I_1(t) = \int_{t}^{t + \Delta} \left | \eta(s) \right | \, \mathrm{d}s &= \int_{0}^{\Delta} \left | \zeta(1/2 + it + iu) \right | \, \mathrm{d}u\\ &\ge \left | \int_{0}^{\Delta} \zeta(1/2 + it + iu) \, \mathrm{d}u \right |\\ &\ge \Delta - \left | \int_{0}^{\Delta} (\zeta(1/2 + it + iu) - 1) \, \mathrm{d}u \right |\\ &= \Delta - K(t, \Delta) \end{aligned}$

    Thus, proving the first part. We now proceed to prove the second part, which is considerably harder than the former -

    We choose the formula $ \displaystyle \zeta(s) = \sum_{n \leq T} \frac{1}{n^s} + \mathcal{O} \left (T^{-1/2} \right )$ for $ \displaystyle \Re[s] = 1/2$ to estimate $ \displaystyle K(t, \Delta)$ as

    $ \displaystyle K(t, \Delta) = \left | \sum_{n \leq T} n^{\frac{-1}{2} - it} \frac{1 - n^{-i \Delta}}{\log n} \right | + O(\Delta T^{-1/2})$

    Now we use a well-known theorem on integral mean-value estimates over Dirichlet polynomials. The proof can be easily worked out by using tools of integral analysis and asymptotic analysis, thus we do not omit it here :

    Theorem : For any complex sequence $ \displaystyle a_n$, $ \displaystyle \int_{0}^{T} \left | \sum_{n \leq N} a_n n^{i t} \right |^2 \,\, \mathrm{d}t = (T + \mathcal{O}(N)) \sum_{n \leq N} | a_n |^2$

    By a little tweaking of the above formula, we get the desired result. In fact, we even have the asymptotic constant $ \displaystyle \sum_{n \leq T} \frac{1}{n (\log n)^2}$.
    Last edited by mathbalarka; October 31st, 2013 at 09:47.

Similar Threads

  1. Very complicated result
    By ZaidAlyafey in forum Pre-Algebra and Algebra
    Replies: 1
    Last Post: September 11th, 2013, 23:05
  2. What's your favourite result in mathematics?
    By Sherlock in forum Chat Room
    Replies: 28
    Last Post: January 23rd, 2013, 12:45
  3. [SOLVED] A result involving two primes I think is true.
    By caffeinemachine in forum Number Theory
    Replies: 7
    Last Post: December 3rd, 2012, 02:16
  4. Result from a metric linear space
    By dray in forum Topology and Advanced Geometry
    Replies: 4
    Last Post: April 4th, 2012, 10:24
  5. result about the power sets
    By issacnewton in forum Discrete Mathematics, Set Theory, and Logic
    Replies: 2
    Last Post: February 10th, 2012, 12:07

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •  
Math Help Boards