Cómo demostrar esa función $f(p)= \frac{1}{(p^2 - 1)} \sum_{q=3}^p \frac{q^2-3}{q}[q\text{ is prime}]$ es inferior a 0,3 para todos los $p$ ?

Question

Cómo demostrar esa función $f(p)= \frac{1}{(p^2 - 1)} \sum_{q=3}^p \frac{q^2-3}{q}[q\text{ is prime}]$ es inferior a 0,3 para todos los $p$ ?

Supongamos que tenemos una función definida como sigue:

$f(p) = \frac{1}{(p^2 - 1)} \sum_{q=3}^p \frac{q^2-3}{q}[q\text{ is prime}]$

donde $p$ es un número primo y $[...]$ son Soportes Iverson .

Estos son los primeros valores de $f(p)$ :

$f(3) = \frac{1}{(3^2 - 1)} \times \frac {(3^2-3)}{3}$

$f(3) = \frac{1}{8} \times \frac{6}{3}$

$f(3) = 0.25$

$f(5) = \frac{1}{(5^2 - 1)} \times [ \frac{(3^2-3)}{3} +\frac{(5^2-3)}{5} ]$

$f(5) = \frac{1}{24} \times [ \frac{6}{3} +\frac{22}{5} ]$

$f(5) = 0.26667$

$f(7) = \frac{1}{(7^2 - 1)} \times [ \frac{(3^2-3)}{3} +\frac{(5^2-3)}{5} +\frac{(7^2-3)}{7}]$

$f(7) = \frac{1}{48} \times [ \frac{6}{3} +\frac{22}{5} +\frac{46}{7}]$

$f(7) = 0.273214286$

$f(11) = \frac{1}{(11^2 - 1)} \times [ \frac{(3^2-3)}{3} +\frac{(5^2-3)}{5} +\frac{(7^2-3)}{7}+\frac{(11^2-3)}{11}]$

$f(11) = \frac{1}{120} \times [ \frac{6}{3} +\frac{22}{5} +\frac{46}{7}+\frac{118}{11}]$

$f(11) = 0.198679654$

Cómo demostrarlo $f(p)$ es siempre inferior a 0,3 para todos los números primos $p$ ?

Escribí un programa para calcular $f(p)$ para la primera $1000$ primos hasta $p = 7,927$ y gráficamente parece acercarse $0$ con un valor máximo de $0.2732$ en $p=7$ . Por el gráfico, parece que debería ser fácil, pero por alguna razón, no consigo resolverlo.

Observe que $f(3) < f(5) < f(7)$ pero $f(7) > f(11)$ por lo que una prueba por inducción puede no funcionar.

Answer 1

$$ \begin{align} \sum_{q=3}^p\frac{q^2-3}{q} &=\int_{3^-}^{p^+}\frac{x^2-3}{x}\,\mathrm{d}\pi(x)\\ &=\left[\frac{p^2-3}{p}\pi(p)-2\right]-\int_{3^-}^{p^+}\pi(x)\left(1+\frac3{x^2}\right)\mathrm{d}x\\[3pt] &=\frac{p^2}{2\log(p)}+\frac{p^2}{4\log(p)^2}+\frac{p^2}{4\log(p)^3}+O\!\left(\frac{p^2}{\log(p)^4}\right) \end{align} $$ Así, tenemos $$ \frac1{p^2-1}\sum_{q=3}^p\frac{q^2-3}{q}\sim\frac1{2\log(p)}+\frac1{4\log(p)^2}+\frac1{4\log(p)^3} $$ cuya trama se parece a

Answer 2

$$f(p)=\frac{1}{p^2-1}\sum_{q=3}^p\frac{q^2-3}{q}$$ Si utilizamos el hecho de que: $$\sum_{q=3}^p\frac{q^2-3}{q}=\sum_{q=3}^pq-3\sum_{q=3}^p\frac1q$$ Ahora lo sabemos: $$\sum_{q=3}^pq=\sum_{q=1}^pq-\sum_{q=1}^2q=\frac{p(p+1)}{2}-3$$ $$-3\sum_{q=3}^p\frac1q=-3\left[\sum_{q=1}^p\frac1q-\sum_{q=1}^2\frac1q\right]=-3\left[\ln(p)+\gamma+\frac{1}{2p}-\frac32\right]$$ Si sumamos estos resultados obtenemos: $$f(p)=\frac{1}{p^2-1}\left[\frac{p(p+1)}{2}-3\left(\ln(p)+\gamma+\frac{1}{2p}-\frac12\right)\right]$$ Ahora bien, si usted encuentra $f'(p)$ se puede encontrar un valor máximo y encontrar lo que esto es

Answer 3

El resultado es válido para $p = 3$ , $5$ y $7$ así que supongamos que $p = 2n+1$ para $n \ge 4$ . Obsérvese que todos los primos $q$ que aparecen en la suma son impar. Así,

$$ \begin{aligned} f(p) = f(2n+1) = & \ \frac{1}{4n^2 + 4n} \sum_{q=3}^{p, \text{ with $q$ prime}} \frac{q^2 - 3}{q}\\ < & \ \frac{1}{4(n^2 + n)} \sum_{q=3}^{p, \text{ with $q$ prime}} q \\ < & \ \frac{1}{4(n^2 + n)} \sum_{q = 3}^{p, \text{with $q$ odd}} q \\ = & \ \frac{1}{4(n^2 + n)} \sum_{j=1}^{n} (2j+1)\\ = & \ \frac{n^2 +2n}{4(n^2 + n)} \\ = & \ \frac{3}{10} - \frac{(n-4)}{20(n+1)} \\ \le & \ \frac{3}{10}. \end{aligned}$$

En realidad, $f(p) \rightarrow 0$ ya que

$$f(p) \le \frac{1}{p^2} \sum_{q \le p} q \le \frac{1}{p^2} \sum_{q \le p} p = \frac{1}{p^2} \cdot p \pi(p) \sim 1/\log p.$$