{"id":21486,"date":"2025-05-29T01:07:42","date_gmt":"2025-05-28T23:07:42","guid":{"rendered":"https:\/\/institucional.us.es\/blogimus\/?p=21486"},"modified":"2026-04-05T16:39:03","modified_gmt":"2026-04-05T14:39:03","slug":"fourier-i","status":"publish","type":"post","link":"https:\/\/institucional.us.es\/blogimus\/2025\/05\/fourier-i\/","title":{"rendered":"Fourier (I)"},"content":{"rendered":"<p style=\"text-align: justify;\">Esta entrada y las dos siguientes tienen que ver con las series de Fourier, la transformada de Fourier, algunos conceptos afines y sus aplicaciones. En esta primera parte, hablaremos de Joseph Fourier y sus aportaciones y de una cuesti\u00f3n que ha motivado mucho trabajo a lo largo de muchos a\u00f1os: el problema de la convergencia de una serie de Fourier.<\/p>\n<figure id=\"attachment_21492\" aria-describedby=\"caption-attachment-21492\" style=\"width: 200px\" class=\"wp-caption alignleft\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-21492\" src=\"https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fourier_1.jpeg\" alt=\"\" width=\"200\" height=\"253\" \/><figcaption id=\"caption-attachment-21492\" class=\"wp-caption-text\">Fig. 1 &#8211; J. Fourier<\/figcaption><\/figure>\n<h3>Joseph Fourier<\/h3>\n<p style=\"text-align: justify;\">Fourier naci\u00f3 en 1768 en Auxerre en una familia con grandes dificultades econ\u00f3micas, quedando hu\u00e9rfano a los ocho a\u00f1os. Fue adoptado por el organista Joseph Pallais y, alg\u00fan tiempo despu\u00e9s, ingres\u00f3 en la Escuela Superior Benedictina, orient\u00e1ndose inicialmente a la carrera religiosa y despu\u00e9s hacia la M\u00fasica y las Matem\u00e1ticas, donde al parecer destac\u00f3 casi desde el primer momento. Se cuenta que sol\u00eda coleccionar cabos de velas para poder estudiar por la noche en solitario.<\/p>\n<p style=\"text-align: justify;\">Fourier particip\u00f3 en la Revoluci\u00f3n Francesa. Posteriormente se incorpor\u00f3 a la Escuela Normal Superior de Par\u00eds bajo la tutela de Lagrange y Laplace y de all\u00ed pas\u00f3 a la prestigiosa \u00c9cole Polytechnique, donde obtuvo una plaza de profesor.<\/p>\n<p style=\"text-align: justify;\">En 1798, recibi\u00f3 una citaci\u00f3n del Ministerio del Interior con el siguiente texto:<\/p>\n<p style=\"text-align: justify;\">&#8220;Ciudadano: el directorio ejecutivo, que tiene una necesidad particular de sus talentos y de su fervor, acaba de disponer de usted por el bien del servicio p\u00fablico. Debe prepararse y estar listo para partir apenas reciba la orden&#8221;.<\/p>\n<p style=\"text-align: justify;\">Dos meses despu\u00e9s, parti\u00f3 hacia Egipto, reclutado por Napole\u00f3n Bonaparte junto a m\u00e1s de 100 miembros del mundo acad\u00e9mico y una multitud de soldados. Pocos meses despu\u00e9s, fue designado secretario perpetuo del Instituto de Egipto. Durante su estancia en dicho pa\u00eds, elabor\u00f3 numerosas memorias de distinto tipo, dirigi\u00f3 una comisi\u00f3n de exploraci\u00f3n y acumul\u00f3 una gran colecci\u00f3n de objetos, incluyendo una copia de la piedra de Rosetta.<\/p>\n<p style=\"text-align: justify;\">De regreso a Francia en 1801, Napole\u00f3n Bonaparte le nombr\u00f3 prefecto del Departamento de Is\u00e8re. Fue en la capital, Grenoble, donde se interes\u00f3 en profundidad por la propagaci\u00f3n del calor, su modelado matem\u00e1tico y la resoluci\u00f3n de las ecuaciones, deducida con series trigonom\u00e9tricas. Seg\u00fan se dice, estuvo inicialmente preocupado por responder a Napole\u00f3n una pregunta muy concreta: \u00bfCu\u00e1nto tiempo hay que dejar enfriar un ca\u00f1\u00f3n entre un disparo y otro para conseguir un funcionamiento correcto?<\/p>\n<figure id=\"attachment_21493\" aria-describedby=\"caption-attachment-21493\" style=\"width: 225px\" class=\"wp-caption alignright\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-21493\" src=\"https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Napoleon.jpeg\" alt=\"\" width=\"225\" height=\"225\" srcset=\"https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Napoleon.jpeg 225w, https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Napoleon-150x150.jpeg 150w\" sizes=\"auto, (max-width: 225px) 100vw, 225px\" \/><figcaption id=\"caption-attachment-21493\" class=\"wp-caption-text\">Fig. 2 &#8211; Napole\u00f3n Bonaparte<\/figcaption><\/figure>\n<p style=\"text-align: justify;\">Sus avances fueron inicialmente criticados por varios cient\u00edficos coet\u00e1neos (entre otros, sus tutores Lagrange y Laplace). Sin embargo, acabaron abri\u00e9ndose camino y puede decirse que constituyeron el verdadero inicio del estudio de las funciones, m\u00e1s all\u00e1 del marco de las que tienen una expresi\u00f3n anal\u00edtica.<\/p>\n<p style=\"text-align: justify;\">Las contribuciones m\u00e1s importantes de Fourier est\u00e1n contenidas en su &#8220;Teor\u00eda anal\u00edtica del calor&#8221;, publicada en 1822 en las <em>M\u00e9moires de l&#8217;Acad\u00e9mie de Sciences<\/em>. En ella describe las dificultades que encontr\u00f3 su publicaci\u00f3n y, al mismo tiempo, menciona esperanzado lo siguiente: &#8220;Los retrasos en la publicaci\u00f3n de mi obra habr\u00e1n contribuido a hacerla m\u00e1s clara y completa&#8221;.<\/p>\n<p style=\"text-align: justify;\">Curiosamente, se puede considerar que Fourier fue el primer cient\u00edfico capaz de detectar lo que hoy se conoce como efecto invernadero y de buscar una explicaci\u00f3n.<\/p>\n<p style=\"text-align: justify;\">Efectivamente, calcul\u00f3 la temperatura que deb\u00eda tener un objeto del tama\u00f1o de la Tierra que estuviera a la misma distancia del Sol y encontr\u00f3 valores m\u00e1s bajos de los que se dan en nuestro planeta. Despu\u00e9s de reflexionar sobre posibles causas, lleg\u00f3 a la conclusi\u00f3n de que el origen estaba en la radiaci\u00f3n interestelar. Hoy sabemos que esta no tiene ni mucho menos tanta relevancia, pero no por eso deja de tener m\u00e9rito el an\u00e1lisis del problema.<\/p>\n<h3>Las series<\/h3>\n<p style=\"text-align: justify;\">La idea central impulsada por Fourier fue representar cualquier funci\u00f3n como una suma infinita de funciones sinusoidales. Esto le permiti\u00f3 descomponer una se\u00f1al compleja en sus componentes de frecuencia.<\/p>\n<p style=\"text-align: justify;\">As\u00ed, las series de Fourier permiten representar una enorme cantidad de funciones definidas en un intervalo como una suma (en general infinita) de funciones que en cierto modo son elementales, f\u00e1ciles de manejar y de significado muy preciso.<\/p>\n<p style=\"text-align: justify;\">Por ejemplo, dada una cuerda que ocupa un intervalo que va de \\(x = 0\\) a \\(x = L\\) y est\u00e1 sujeta por los extremos, podemos imaginar que adopta perfiles de frecuencia \\(1, 2, 3 \\dots\\) correspondientes a las funciones \\(\\sin(\\pi x \/ L)\\), \\(\\sin(2\\pi x \/ L)\\), \\(\\sin(3\\pi x \/ L)\\), &#8230; (V\u00e9ase la Fig. 3.)<\/p>\n<figure id=\"attachment_21494\" aria-describedby=\"caption-attachment-21494\" style=\"width: 300px\" class=\"wp-caption alignleft\"><img loading=\"lazy\" decoding=\"async\" class=\"size-medium wp-image-21494\" src=\"https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem-300x225.jpg\" alt=\"\" width=\"300\" height=\"225\" srcset=\"https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem-300x225.jpg 300w, https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem-1024x768.jpg 1024w, https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem-768x576.jpg 768w, https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem-678x509.jpg 678w, https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem-326x245.jpg 326w, https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem-80x60.jpg 80w, https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/Fig_elem.jpg 1120w\" sizes=\"auto, (max-width: 300px) 100vw, 300px\" \/><figcaption id=\"caption-attachment-21494\" class=\"wp-caption-text\">Fig. 3 &#8211; Ondas elementales en [0,L], con L=10<\/figcaption><\/figure>\n<p style=\"text-align: justify;\">Si queremos describir una vibraci\u00f3n m\u00e1s complicada, tiene sentido hacerlo expres\u00e1ndola como una combinaci\u00f3n lineal de perfiles &#8220;elementales&#8221;. De este modo, dir\u00edamos &#8220;cu\u00e1nto de \\(\\sin(\\pi x \/ L)\\)&#8221;, &#8220;cu\u00e1nto de \\(\\sin(2\\pi x \/ L)\\)&#8221;, etc. tiene la vibraci\u00f3n. L\u00f3gicamente, cabe imaginar la necesidad de que esta combinaci\u00f3n lineal sea infinita, si queremos que la familia sea realista.<\/p>\n<p style=\"text-align: justify;\">La lista de aplicaciones donde intervienen las series de Fourier es enorme y, de hecho, crece cada d\u00eda, v\u00e9ase por ejemplo [1]. Citemos brevemente algunas de ellas:<\/p>\n<ul>\n<li>\n<p style=\"text-align: justify;\">Permiten analizar (y reforzar) el comportamiento de una se\u00f1al \u00f3ptica.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Ayudan en el procesamiento y filtrado de im\u00e1genes digitales, as\u00ed como en el reconocimiento de patrones.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Tambi\u00e9n, detectar los porcentajes de presencia de los distintos elementos que componen un compuesto qu\u00edmico o una aleaci\u00f3n, por ejemplo, a partir de las distintas frecuencias del espectro electromagn\u00e9tico.<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Con car\u00e1cter general, resolver una gran familia de EDP con origen diverso: transmisi\u00f3n del calor; propagaci\u00f3n de ondas en cuerdas, placas o s\u00f3lidos; evoluci\u00f3n de poblaciones que interact\u00faan; descripci\u00f3n y comportamiento de circuitos el\u00e9ctricos, etc.<\/p>\n<\/li>\n<\/ul>\n<p style=\"text-align: justify;\">Algunas de estas aplicaciones se describir\u00e1n con m\u00e1s detalle en las entradas que siguen.<\/p>\n<h3>La convergencia<\/h3>\n<p style=\"text-align: justify;\">Dada una funci\u00f3n \\(f : [0,L] \\to {\\bf R}\\) que sea continua con \\(f(0) = f(L) = 0\\), podemos asignarle (por ejemplo) la serie de Fourier &#8220;impar&#8221;<br \/>\n\\[<br \/>\nS_f := \\sum_{n\\geq1} f_n \\sin (n\\pi x\/L), \\ \\text{ con } \\ f_n = \\frac{2}{L}\\int_0^L f(s) \\sin (n\\pi s\/L) \\,ds<br \/>\n\\ \\ \\forall n \\geq 1.<br \/>\n\\]<\/p>\n<p style=\"text-align: justify;\">Es f\u00e1cil convencerse de que, si \\(f\\) coincide (por ejemplo en casi todo \\([0,L]\\)) con la suma de la serie, entonces necesariamente los \\(f_n\\) toman los valores precedentes. Pero \u00bfes cierto el rec\u00edproco? Es decir, una vez definidos as\u00ed los \\(f_n\\), se puede asegurar que la serie converge en casi todo \\(x \\in [0,L]\\) hacia \\(f(x)\\)?<\/p>\n<p style=\"text-align: justify;\">Esta pregunta ha inspirado el trabajo de mucha gente a lo largo de casi 200 a\u00f1os. Despu\u00e9s de varios resultados parciales, lo que se ha ido sabiendo hasta hoy se puede resumir como sigue:<\/p>\n<figure id=\"attachment_21495\" aria-describedby=\"caption-attachment-21495\" style=\"width: 200px\" class=\"wp-caption alignright\"><img loading=\"lazy\" decoding=\"async\" class=\"size-full wp-image-21495\" src=\"https:\/\/institucional.us.es\/blogimus\/wp-content\/uploads\/2025\/05\/200px-Carleson_cropped.jpg\" alt=\"\" width=\"200\" height=\"279\" \/><figcaption id=\"caption-attachment-21495\" class=\"wp-caption-text\">Fig. 4 &#8211; L. Carleson<\/figcaption><\/figure>\n<ol>\n<li>\n<p style=\"text-align: justify;\">Si \\(f\\) es de variaci\u00f3n acotada, su serie de Fourier converge en todo \\(x\\) a la media local de \\(f\\). En particular, si \\(f\\) es continuamente diferenciable, la serie converge a \\(f\\) en todo punto, un resultado que se debe a Dirichlet (1829).<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Si \\(f\\) no es necesariamente continua pero es medible y de cuadrado integrable, la serie converge a \\(f\\) en norma \\(L^2\\), es decir\\[\\lim_{m \\to +\\infty} \\int_0^L |f(x) &#8211; \\sum_{n=1}^m f_n \\sin (n\\pi x\/L)|^2 \\,dx = 0\\](obs\u00e9rvese que esto implica que una subsucesi\u00f3n de la sucesi\u00f3n de sumas parciales, pero no necesariamente la sucesi\u00f3n completa, converge en casi todo punto a \\(f\\)).<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Existen funciones continuas cuyas series de Fourier divergen en alg\u00fan punto (Du Bois-Reymond, 1876).<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Existen funciones medibles e integrables cuyas series de Fourier divergen en todo punto (Kolmogorov, 1926).<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Si \\(f\\) es medible y de cuadrado integrable, la serie converge a \\(f\\) en casi todo \\(x \\in [0,L]\\) (Carleson, 1966).<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Lo mismo ocurre si \\(f\\) es medible y \\(p\\)-integrable con \\(1 &lt; p \\leq +\\infty\\) (Hunt, 1968).<\/p>\n<\/li>\n<li>\n<p style=\"text-align: justify;\">Dado un conjunto medible \\(A \\subset [0,L]\\), existe \\(f : [0,L] \\to {\\bf R}\\) continua tal que su serie de Fourier diverge en todos los puntos de \\(A\\) si y s\u00f3lo si \\(A\\) es de medida nula (Katznelson, 1966).<\/p>\n<\/li>\n<\/ol>\n<p style=\"text-align: justify;\">La prueba original de Carleson no es sencilla y, dada la importancia del resultado, ha sido revisitada y explicada por varios autores. Entre ellos, Juan Arias de Reyna en la referencia [2]. Este libro contiene de hecho mucho m\u00e1s: una exposici\u00f3n detallada de los resultados de Hunt, Sj\u00f6lin, Soria y otros, algunas aplicaciones y consecuencias, etc.<\/p>\n<p style=\"text-align: justify;\">Mencionemos tambi\u00e9n que existen otras pruebas del Teorema de Carleson-Hunt dadas por Fefferman en 1973, Lacey y Thiele en 2000, Fremlin en 2003 y Grafakos en 2009; v\u00e9ase [3].<\/p>\n<p style=\"text-align: justify;\">Una cuesti\u00f3n abierta es cu\u00e1l es la familia m\u00e1s grande de funciones \\(f : [0,L] \\to {\\bf R}\\) cuyas series de Fourier convergen en casi todo \\([0,L]\\). Se sabe que esto no ocurre en<br \/>\n\\[<br \/>\nE := \\{ f : \\int_0^L \\log (\\max(f(x),1))^{1\/2} \\,dx &lt; +\\infty \\}<br \/>\n\\]<br \/>\n(Sj\u00f6lin, 2000), mientras que s\u00ed ocurre en circunstancias algo m\u00e1s estrictas (Antonov, 1996). La candidata natural es la familia<br \/>\n\\[<br \/>\nE_1 := \\{ f : \\int_0^L \\log (\\max(f(x),1)) \\,dx &lt; +\\infty \\} .<br \/>\n\\]<\/p>\n<h3>Para saber m\u00e1s: algunas referencias<\/h3>\n<ol>\n<li>Serov, V., Fourier Series, Fourier Transform and their Applications to Mathematical Physics, Applied Mathematical Sciences, Vol. 197, Springer International Publishing, 2017.<\/li>\n<li>Arias de Reyna, J., Pointwise Convergence of Fourier Series, Lecture Notes in Mathematics, Springer-Verlag, Berlin 2002.<\/li>\n<li>Boyce, W.E., DiPrima, R.C., Elementary Differential Equations and Boundary Value Problems (8th ed.), New Jersey: John Wiley &amp; Sons, Inc., 2005.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"<div class=\"mh-excerpt\"><p>Esta entrada y las dos siguientes tienen que ver con las series de Fourier, la transformada de Fourier, algunos conceptos afines y sus aplicaciones. En esta primera parte, hablaremos de Joseph Fourier y sus aportaciones <a class=\"mh-excerpt-more\" href=\"https:\/\/institucional.us.es\/blogimus\/2025\/05\/fourier-i\/\" title=\"Fourier (I)\">[&#8230;]<\/a><\/p>\n<\/div>","protected":false},"author":15,"featured_media":21499,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[36],"tags":[2788,2786,2784,118],"class_list":["post-21486","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-los-monos-de-kubrick","tag-aplicaciones","tag-convergencia","tag-ondas-sinusoidales","tag-series-de-fourier"],"_links":{"self":[{"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/posts\/21486","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/users\/15"}],"replies":[{"embeddable":true,"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/comments?post=21486"}],"version-history":[{"count":0,"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/posts\/21486\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/media\/21499"}],"wp:attachment":[{"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/media?parent=21486"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/categories?post=21486"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/institucional.us.es\/blogimus\/wp-json\/wp\/v2\/tags?post=21486"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}