Terminamos la serie de entradas dedicadas a las sumas trigonométricas con las que nos ha deleitado Fernando Chamizo en las últimas semanas. Esperamos que las hayáis disfrutado.
Ir al post anterior
Recordemos que nuestro objetivo era entender cualitativamente la forma tan curiosa de , los puntos
con
(aunque no nos fijamos en este número porque cualquier otro
grande da algo similar). Para ello habíamos conseguido una aproximación bastante buena:
que al unir los puntos prácticamente coincidía con . Dejándome llevar por la emoción había dejado caer que esto ya lo explica todo o casi todo.
Por cierto, recordemos antes de seguir qué imagen es esta a la que llamamos :
|
Figura |
Seguro que el lector exigente, o quejica para más señas, aducirá que, sean cuales sean las ventajas, lo que hemos hecho es aproximar una suma oscilatoria por otra. Yo respondería que la segunda no oscila si uno lo mira con los ojos de módulo nueve pero eso suena a excusa, así que para acallar las quejas y para los que les dé repelús cambiar de ojos, debemos encontrar una función de las de toda la vida que aproxime
Supongamos primero que es múltiplo de nueve. Por la periodicidad
se tiene
donde se ha usado la regla del trapecio que da una buena aproximación de integrales por sumas (y viceversa en nuestro caso). Calculando la integral, y depreciando una constante aditiva, se obtiene
Con las aproximaciones de Taylor ,
y
(¿lo sabrías probar?) se sigue
Si no es necesariamente múltiplo de nueve, entonces tomamos el múltiplo de nueve
más cercano inferior a él y el resto al dividir por nueve
. Los
términos que nos sobran están multiplicados prácticamente por la misma cantidad, ya que
y
son casi iguales para
grande. Con ello tenemos la siguiente aproximación sencilla y precisa de
:
Para el que le gusten los cálculos aquí va una tabla que da las constantes con bastantes dígitos. Por supuesto,
es la
que ha aparecido antes:
Y al que le guste un festín de fórmulas, todo lo que hemos hecho se traduce en la aproximación
donde
donde es la función parte entera de
. No dibujo esta aproximación y su comparación con
porque lo que resulta es casi indistinguible a simple vista de las figuras del anterior post. Con esta fórmula vemos claramente que al tomar
términos en nuestra suma parcial, obtenemos algo parecido a
, que está en la diagonal del primer y tercer cuadrante, con una perturbación de orden
asociada a las constantes
.
A pesar del triunfo que supone haber logrado esta aproximación, el quejica puede atacar de nuevo y decir que esta función no reproduce los detalles de la figura . Por ejemplo, las líneas curvas que unen las acumulaciones de puntos y que parecen enrollarse en ellas. Sí, uno puede decir que hemos aproximado bien casi todos los puntos de
, pero el quejica tiene razón. Estudiar esas curvas requiere más precisión.
Un buen ejemplo donde ver estos ajustes finos está en The graphs of exponential sums, de J. H. Loxton ([Lox83]). Es un artículo de investigación, por lo que leerlo requiere ponerse en modo de titán para arriba. Un artículo, también de investigación pero en el que uno puede disfrutar como en los tebeos (solo mirando las estampas), es
Referencias
- [CR15] F. Chamizo and D. Raboso. Van der Corput method and optical illusions. Indag. Math. (N.S.), 26(5):723–735, 2015.
- [DGL15] W. Duke, S. R. Garcia, and B. Lutz. The graphic nature of Gaussian periods. Proc. Amer. Math. Soc., 143(5):1849–1863, 2015.
- [Lox81] J. H. Loxton. Captain Cook and the Loch Ness monster. James Cook Mathematical Notes, 27:3060–3064, 1981.
- [Lox83] J. H. Loxton. The graphs of exponential sums. Mathematika, 30(2):153–163 (1984), 1983.
- [Mon94] H. L. Montgomery. Ten lectures on the interface between analytic number theory and harmonic analysis, volume 84 of CBMS Regional Conference Series in Mathematics. Published for the Conference Board of the Mathematical Sciences, Washington, DC, 1994.
- [Ric92] N. Richert. Strang’s strange figures. Amer. Math. Monthly, 99(2):101–107, 1992.
- [Sog17] C. D. Sogge. Fourier integrals in classical analysis, volume 210 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, second edition, 2017.
La imagen principal es la representación de la colección de puntos .
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
No entiendo nada, pero me encanta!jajajja