Abstract:In this paper, we investigate the quantity $m_q:=\min_{\chi\ne \chi_0} | L^\prime/L(1,\chi)|$, as $q\to \infty$ over the primes, where $L(s,\chi)$ is the Dirichlet $L$-function attached to a non trivial Dirichlet character modulo $q$. Our main result shows that $m_q \ll \log\log q/\sqrt{\log q}$. We also compute $m_q$ for every odd prime $q$ up to $10^7$. As a consequence we numerically verified that for every odd prime $q$, $3 \le q \le 10^7$, we have $c_1/q< m_q<5/\sqrt{q}$, with $c_1=21/200$. In particular, this shows that $L^\prime(1,\chi) \ne 0$ for every non trivial Dirichlet character $\chi$ mod $q$ where $3\leq q\leq 10^7$ is prime, answering a question of Gun, Murty and Rath in this range. We also provide some statistics and scatter plots regarding the $m_q$-values, see Section 6. The programs used and the computational results described here are available at the following web address: \url{<a class="link-external link-http" href="http://www.math.unipd.it/~languasc/smallvalues.html" rel="external noopener nofollow">this http URL</a>}.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the minimum value problem of the logarithmic derivative \( |L'(1, \chi)/L(1, \chi)| \) of the Dirichlet L - function at \( s = 1 \). Specifically, the author studies the behavior of the minimum value \( m_q \) of the expression \( |L'(1, \chi)/L(1, \chi)| \) for all non - trivial Dirichlet characters \( \chi \mod q \) when \( q \) tends to infinity.
### Main problem description
1. **Define \( m_q \)**:
\[
m_q := \min_{\chi \neq \chi_0 \mod q} \left| \frac{L'(1, \chi)}{L(1, \chi)} \right|
\]
where \( L(s, \chi) \) is the Dirichlet L - function associated with the non - trivial Dirichlet character \( \chi \mod q \).
2. **Main results**:
- The author has proven that for a sufficiently large prime number \( q \),
\[
m_q \ll \frac{\log \log q}{\sqrt{\log q}}
\]
- This is the first time a non - trivial upper bound of \( m_q \) has been given.
3. **Numerical verification**:
- For all odd prime numbers \( q \) satisfying \( 3\leq q\leq10^7 \), it has been verified by calculation that
\[
\frac{c_1}{q} < m_q < \frac{5}{\sqrt{q}}
\]
where \( c_1=\frac{21}{200} \).
- In particular, this result shows that for all odd prime numbers \( q \) satisfying \( 3\leq q\leq10^7 \) and all non - trivial Dirichlet characters \( \chi \mod q \), we have \( L'(1, \chi)\neq0 \).
4. **Further conjecture**:
- Based on the numerical results, the author proposes a stronger conjecture: for all \( \epsilon > 0 \) and all odd prime numbers \( q \),
\[
q^{-1 - \epsilon} \ll_\epsilon m_q \ll_\epsilon q^{-1/2+\epsilon}
\]
### Solution method
To prove the above results, the author uses the methods of probability models and moment estimation:
- **Probability model**: Compare the distribution of \( L'(1, \chi)/L(1, \chi) \) with an appropriate random model, which is constructed from random variables that are independently and uniformly distributed on the unit circle.
- **Moment estimation**: By studying the high - order moments of \( L'(1, \chi)/L(1, \chi) \), obtain the asymptotic formula of its distribution, and use these formulas to estimate the upper and lower bounds of \( m_q \).
### Application background
The research on this problem is not only of great significance in analytic number theory, but also closely related to the research in fields such as the Euler - Kronecker constant and the Hurwitz zeta function. In addition, this research provides a new perspective for understanding the behavior of the Dirichlet L - function at \( s = 1 \), and is helpful for answering a conjecture about linear independence proposed by Gun, Murty and Rath.