# asymptotic estimates for real-valued nonnegative multiplicative functions

Note that, within this entry, $p$ always refers to a prime, $k$, $m$, and $n$ always refer to positive integers, and $\log$ always refers to the natural logarithm .

###### Theorem.
1. 1.

There exists $A\geq 0$ such that, for every $y\geq 0$, $\displaystyle\sum_{p\leq y}f(p)\log p\leq Ay$.

2. 2.

There exists $B\geq 0$ such that $\displaystyle\sum_{p}\sum_{k\geq 2}\frac{f(p^{k})\log(p^{k})}{p^{k}}\leq B$.

Then for all $x>1$, $\displaystyle\sum_{n\leq x}f(n)\leq(A+B+1)\frac{x}{\log x}\sum_{n\leq x}\frac{% f(n)}{n}$.

###### Proof.

$\begin{array}[]{ll}\displaystyle\log x\sum_{n\leq x}f(n)&\displaystyle=\sum_{n% \leq x}f(n)(\log x-\log n+\log n)\\ \\ &\displaystyle=\sum_{n\leq x}f(n)\log\left(\frac{x}{n}\right)+\sum_{n\leq x}f(% n)\log n\\ \\ &\displaystyle\leq\sum_{n\leq x}f(n)\left(\frac{x}{n}\right)+\sum_{n\leq x}f(n% )\sum_{p^{k}\|n}\log(p^{k})\\ \\ &\displaystyle\leq x\sum_{n\leq x}\frac{f(n)}{n}+\sum_{p^{k}\leq x}\log(p^{k})% \sum_{n\leq x\text{ and }p^{k}\|n}f(n)\\ \\ &\displaystyle\leq x\sum_{n\leq x}\frac{f(n)}{n}+\sum_{p^{k}\leq x}\log(p^{k})% \sum_{n\leq x\text{ and }p^{k}\|n}f(p^{k})f\left(\frac{n}{p^{k}}\right)\\ \\ &\displaystyle\leq x\sum_{n\leq x}\frac{f(n)}{n}+\sum_{p^{k}\leq x}\log(p^{k})% \sum_{m\leq\frac{x}{p^{k}}}f(p^{k})f(m)\\ \\ &\displaystyle\leq x\sum_{n\leq x}\frac{f(n)}{n}+\sum_{p\leq x}f(p)\log p\sum_% {m\leq\frac{x}{p}}f(m)+\sum_{p\leq x}\sum_{k\geq 2}f(p^{k})\log(p^{k})\frac{x}% {p^{k}}\sum_{m\leq\frac{x}{p^{k}}}\frac{f(m)}{m}\\ \\ &\displaystyle\leq x\sum_{n\leq x}\frac{f(n)}{n}+\sum_{m\leq x}f(m)\sum_{p\leq% \frac{x}{m}}f(p)\log p+x\sum_{m\leq x}\frac{f(m)}{m}\sum_{p\leq x}\sum_{k\geq 2% }\frac{f(p^{k})\log(p^{k})}{p^{k}}\\ \\ &\displaystyle\leq x\sum_{n\leq x}\frac{f(n)}{n}+\sum_{m\leq x}f(m)\left(\frac% {Ax}{m}\right)+x\sum_{m\leq x}\frac{f(m)}{m}B\\ \\ &\displaystyle\leq x\sum_{n\leq x}\frac{f(n)}{n}+Ax\sum_{n\leq x}\frac{f(n)}{n% }+Bx\sum_{n\leq x}\frac{f(n)}{n}\\ \\ &\displaystyle\leq(A+B+1)x\sum_{n\leq x}\frac{f(n)}{n}\end{array}$

Dividing the inequality $\displaystyle\log x\sum_{n\leq x}f(n)\leq(A+B+1)x\sum_{n\leq x}\frac{f(n)}{n}$ by $\log x$ yields the desired result. ∎

The theorem has an obvious corollary:

###### Corollary.

If $f$ the conditions of the theorem, then for all $x>1$, $\displaystyle\sum_{n\leq x}f(n)=O\left(\frac{x}{\log x}\sum_{n\leq x}\frac{f(n% )}{n}\right)$.

Title asymptotic estimates for real-valued nonnegative multiplicative functions AsymptoticEstimatesForRealvaluedNonnegativeMultiplicativeFunctions 2013-03-22 16:08:42 2013-03-22 16:08:42 Wkbj79 (1863) Wkbj79 (1863) 11 Wkbj79 (1863) Theorem msc 11N37 AsymptoticEstimate DisplaystyleSum_nLeXTaunaO_axlogX2a1ForAGe0
{"ft_lang_label":"__label__en","ft_lang_prob":0.75399375,"math_prob":1.0000075,"size":1072,"snap":"2021-04-2021-17","text_gpt3_token_len":293,"char_repetition_ratio":0.10861423,"word_repetition_ratio":0.028368793,"special_character_ratio":0.25186568,"punctuation_ratio":0.1627907,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000099,"pos_list":[0,1,2,3,4,5,6,7,8,9,10],"im_url_duplicate_count":[null,null,null,null,null,null,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-04-16T03:35:27Z\",\"WARC-Record-ID\":\"<urn:uuid:6768b549-f23d-4cba-8a98-b9755183569e>\",\"Content-Length\":\"33283\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:67681f3e-90e3-4705-8f28-bbcd20086e62>\",\"WARC-Concurrent-To\":\"<urn:uuid:0737ce70-bec3-45f0-a124-170526e2ad6e>\",\"WARC-IP-Address\":\"129.97.206.129\",\"WARC-Target-URI\":\"https://planetmath.org/AsymptoticEstimatesForRealvaluedNonnegativeMultiplicativeFunctions\",\"WARC-Payload-Digest\":\"sha1:RLGRDIBTDQMUI2J7FOIRJPU6ZC4O5UB3\",\"WARC-Block-Digest\":\"sha1:KFV63R6WGTAI5BLOYEM3XZ2OSIC5KCSZ\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-17/CC-MAIN-2021-17_segments_1618038088471.40_warc_CC-MAIN-20210416012946-20210416042946-00196.warc.gz\"}"}