# Explicit bound on $\sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p)$

I'm looking for an explicit bound for $f(x) = \sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p)$, where $\chi$ is a Hecke character for a number field $K$ of degree $n$, on the ideals $I_\mathfrak m$, trivial on $P_\mathfrak m^+$, the sum is over prime ideals $\mathfrak p$ of bounded norm. All I could find is $$\sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p) = O(nx^{1/2}\ln(x)\ln(xd_KN\mathfrak m)),$$ for non-principal characters, and $$\sum_{N\mathfrak p \leq x}\chi(\mathfrak p)\ln(N\mathfrak p) = x + O(nx^{1/2}\ln(x)\ln(xd_KN\mathfrak m)),$$ for the principal character, assuming GRH, from Henryk Iwaniec and Emmanuel Kowalski, Analytic number theory, p. 114. I would need to know more about the implied constant factor. Conditional bounds (GRH, ERH) are welcome.

I actually plan to use such a result to derive a bound on $\sum_{N\mathfrak p \leq x}\chi(\mathfrak p)$, so any explicit bound on the later sum is also welcome.

• Can you explain a bit more what you require? For example there clearly are effective bounds for the sum $\sum_{N\mathfrak{p} \leq x} \chi(\mathfrak{p})$, such as $x/(\log x)$, however I'm guessing that you want something stronger. How strong a bound do you require? Is there some bound you know that holds in the case where $K=\mathbb{Q}$, and you want to know whether it holds in the general case? The bound you have given looks like it is effective, as in your notation there is no implied constant and all the dependencies on the number field and character are there. What else do you require? – Daniel Loughran Apr 16 '14 at 7:30
• What doesn't satisfy me with the bound I give is that a constant factor hides in the big O notation, and I don't know anything about it. We can derive from this a bound $\sum_{N\mathfrak p \leq x}\chi(\mathfrak p) = O(n x^{1/2}\ln(xd_KN\mathfrak m))$, but still this big O hides some factor. I would like an actual bound that can be computed. Your bound $x/\ln(x)$ is pretty tight for the trivial character but not so great otherwise (by this I mean the bound I've presented is in $x^{1/2}$, not in $x$). – Calodeon Apr 16 '14 at 7:55
• I think I see, so you want some explicit upper bound which says $\sum_{N\mathfrak{p} \leq x} \chi(\mathfrak{p}) \leq \textrm{something}$ for all sufficiently large $x$? Can you explain what $n$ is in your big $O$? Also I ask again, do you know a bound of the shape you want in the case where $K = \mathbb{Q}$? – Daniel Loughran Apr 16 '14 at 9:28
• Yes I need something like $\sum_{N\mathfrak p \leq x} \chi(\mathfrak p) \leq f(x)$, ideally for all $x > 0$, but I can live with it if interesting bounds happen only asymptotically. Here $n = [K:\mathbb Q]$. I don't know more about $K = \mathbb Q$ than the general case. But the shape I would expect is simply the one I gave in the big O, but with an explicit constant. – Calodeon Apr 16 '14 at 17:20
• Well, I do know something for $K = \mathbb Q$ when $\chi$ is the trivial character, $\mathrm{li}(x) - x^{1/2}/\ln(x) < \sum_{N\mathfrak p \leq x}\chi(\mathfrak p) = \pi(x) < \mathrm{li}(x) + x^{1/2}/\ln(x)$. It is a great bound in the sense that is has a precision $\tilde{O}(x^{1/2})$ and is completely explicit, but this is a very particular case... – Calodeon Apr 16 '14 at 17:34

By the way, your use of the terminology `effective' is mistaken. The bounds you stated are effective --- "effective" means that one could work out the constant, not that anyone has actually done it. An example of an ineffective bound is the famous bound $h(-d) \gg d^{1/2 - \epsilon}$, where the implied constant depends on properties of a hypothetical Siegel zero -- so that this bound can't be used by itself to prove, e.g. that $h(-d) > 1$ for $d > 163$.