Tenemos una cota inferior elemental para el regulador de un campo cuadrático real en función del discriminante
$$R\geq \tfrac{1}{2}(\sqrt{d-4}+\sqrt{d})$$
Es agudo porque la igualdad se mantiene infinitamente para $d=x^2+4$ .
El problema de encontrar un buen límite superior parece mucho más complicado, pero todavía hay un límite muy bonito (y relativamente fácil) para $\mathbb{Q}(\sqrt{D})$ dependiendo sólo de $D$ .
Loo-Keng Hua demostró que $L(1,\chi)<1+\tfrac{1}{2} \log D$ por lo que utilizando la estimación trivial $h\geq 1$ y sustituyendo en la fórmula del número de clase de Dirichlet obtenemos
$$R<\sqrt{D}(\tfrac{1}{2}\log D+1)$$
La forma en que se presenta este límite (indirectamente) en esta encuesta sugiere que podría ser la mejor conocida actualmente para todos los campos cuadráticos reales (bueno, para $D>5$ ). Teniendo en cuenta lo antiguo que es el resultado de Hua (1942), esto parece poco probable, pero hasta ahora no he podido encontrar uno mejor.
Conozco estimaciones mucho mejores que funcionan para un tamaño suficientemente grande $D$ . Por ejemplo, del trabajo de Lavrik se deduce que
$$R<(0.263+\mathcal{o}(1))\sqrt{D}\log D$$
¿Cuál es el límite más conocido para $R$ que mantiene para todos los campos cuadráticos reales y sólo depende de $D$ ? (o para $D>k$ con el $k$ explícito y "pequeño")
También me interesa saber cuál es el verdadero límite que se espera.
0 votos
Quizás sería mejor escribir $o(1)$ en lugar de $\delta$ en la última pantalla. Porque lo que quieres decir es: el límite se mantiene para $D$ suficientemente grande en términos de $\delta$ y esto es exactamente lo que el $o(1)$ representa la notación.
0 votos
@GHfromMO Gracias por la sugerencia, he editado para cambiar la notación.
2 votos
"Mucho mejor" depende de la aplicación. El límite de Lavrik sigue estando dentro de un factor constante (de hecho, dentro de un factor de $2$ ) del límite utilizando $h=1$ y Dirichlet, por lo que si que es el más conocido, entonces para muchos propósitos es esencialmente equivalente al límite con un coeficiente de $1/2$ en lugar de $0.263$ . La pregunta difícil es si el regulador es $o(\sqrt{D} \log D)$ para grandes $D$ y, si es así, por cuánto.