Diferencia entre revisiones de «Transformadas de Fourier»

De luz-wiki
 
(No se muestran 23 ediciones intermedias de 2 usuarios)
Línea 4: Línea 4:


Al terminar solo nos centraremos  en las amplitudes y las fases de las ondas luminosas que alcanzan el plano imagen.
Al terminar solo nos centraremos  en las amplitudes y las fases de las ondas luminosas que alcanzan el plano imagen.
Prerrequisitos: Tener conocimientos sobre el análisis de Fourier. vease  ( [[Ondas Periódicas Anarmónicas ]]).
TEMARIO:
1) Las Integrales de Fourier.
2) Transformadas Unidimensionales.
3) Transformada De La Función Gaussiana.


==Las Integrales de Fourier==
==Las Integrales de Fourier==
Imaginemos que tenemos una onda cuadrada como la de la imagen de la Figura 1, y que mantenemos constante el ancho de pico cuadrado, mientras que <math>\lambda</math> se incrementa sin limite. Al acercarse <math>\lambda</math> al infinito la función resultante ya no será periódica entonces tendríamos un pulso cuadrado único, estas ideas nos sugieren una forma posible de generalizar el método de las series de Fourier para incluir las funciones que no son periódicas.
Imaginemos que tenemos una onda cuadrada como la de la imagen de la Figura 1, y que mantenemos constante el ancho de pico cuadrado, mientras que <math>\lambda</math> se incrementa sin limite. Al acercarse <math>\lambda</math> al infinito la función resultante ya no será periódica entonces tendríamos un pulso cuadrado único, estas ideas nos sugieren una forma posible de generalizar el método de las series de Fourier para incluir las funciones que no son periódicas.


[[Imagen:Optica70.jpg|512x212px|thumb|center|'''Figura 1'''.Onda periodica armonica]]
[[Imagen:Optica70.jpg|512x212px|thumb|center|'''Figura 1'''. Onda periódica armónica]]


Para ver como lograrlo particularizemos, para observar el comportamiento, tomemos un valor cualquiera, digamos <math>\textstyle{a}=4</math> y escojamos algún valor de <math>\lambda</math>=<math>1 cm</math>. Entonces el pico tendrá un ancho de <math>\frac{1}{2}cm</math>, es decir <math>2(\frac{\lambda}{a})</math> centrado en <math>x=0</math> como se muestra en la Figura 2a.
Para ver como lograrlo particularizemos, para observar el comportamiento, tomemos un valor cualquiera, digamos <math>a=4</math> y escojamos algún valor de <math>\lambda=1</math>cm. Entonces el pico tendrá un ancho de <math>\frac{1}{2}</math>cm, es decir <math>2\left(\frac{\lambda}{a}\right)</math> centrado en <math>z=0</math> como se muestra en la Figura 2a.


La importancia de cada frecuencia particular mk se apreciaria más facilmente examinando el valor del coefiente de Fourier correspondiente en este caso <math>A_m</math>. Estos coeficientes los podemos considerar como factores de ponderacion </math> que acentúan los distintos armónicos.En la Figura 2a se estiman distintos valores de <math>A_m</math>(donde m = 1,2...) frente a mk para la onda cuadrada anterior. A esta curva se le denomina '''espectro de frecuencias espaciales'''.
La importancia de cada frecuencia particular <math>mk</math> se apreciaria más facilmente examinando el valor del coeficiente de Fourier correspondiente en este caso <math>A_m</math>(Vease  [[Ondas: periódicas anarmónicas]]). Estos coeficientes los podemos considerar como factores de ponderación </math> que acentúan los distintos armónicos.En la Figura 2a se estiman distintos valores de <math>A_m</math>(donde <math>m = 1,2...</math>) frente a mk para la onda cuadrada anterior. A esta curva se le denomina '''espectro de frecuencias espaciales'''.


Podemos considerar a <math>A_m</math> como una función <math>A(mk)</math> como función de <math>mk</math> que puede ser diferente de cero solamente para valores de <math>m = 0,1,2...</math>.
Podemos considerar a <math>A_m</math> como una función <math>A(mk)</math> como función de <math>mk</math> que puede ser diferente de cero solamente para valores de <math>m = 0,1,2...</math>.


Ahora si la cantidad <math>a</math> le damos un valor de <math>8</math>mientras que <math>\lambda</math> aumenta hasta  <math>2cm</math> el ancho de pico de no se verá afectado, notando que la única variación es la duplicación del ancho entre los picos. Sin embargo un cambio muy interesante se nota en el espectro de frecuencias espaciales vease la Figura 2b.
Ahora si la cantidad <math>a</math> le damos un valor de <math>8</math>mientras que <math>\lambda</math> aumenta hasta  <math>2cm</math> el ancho de pico de no se verá afectado, notando que la única variación es la duplicación del ancho entre los picos. Sin embargo un cambio muy interesante se nota en el espectro de frecuencias espaciales véase la Figura 2b.


Ahora es fácil notar que la densidad de componentes a lo largo del eje  <math>mk</math> ha aumentado considerablemente.
Ahora es fácil notar que la densidad de componentes a lo largo del eje  <math>mk</math> ha aumentado considerablemente.
Línea 34: Línea 26:
Ahora es más fácil notar que la envolvente de la curva es mas perceptible y eso es evidente observando la Figura 2c.
Ahora es más fácil notar que la envolvente de la curva es mas perceptible y eso es evidente observando la Figura 2c.


Entonces concluimos que a medida que  <math>\lambda</math> aumenta y que la función adquiere la apariencia de un pulso cuadrado simple, el espacio entre cada una de las contribuciones  <math>A(mk)</math> en el espectro decrecerá. las lineas espectrales discretas, al disminuir su amplitud se unirán gradualmente haciendose gradualmente irresolubles.
Entonces concluimos que a medida que  <math>\lambda</math> aumenta y que la función adquiere la apariencia de un pulso cuadrado simple, el espacio entre cada una de las contribuciones  <math>A(mk)</math> en el espectro decrecerá. las lineas espectrales discretas, al disminuir su amplitud se unirán gradualmente haciéndose gradualmente irresolubles.




"En ellímite cuando <math>\lambda</math> tiende a  <math>\infin</math> las líneas espectrales se aproximan infinitamente unas a otras. A medida que <math>k</math> se hace demasiado pequeña, <math>m</math> se hace extremadamente grande para que <math>mk</math> sea perceptible.
"En el límite cuando <math>\lambda</math> tiende a  <math>\infin</math> las líneas espectrales se aproximan infinitamente unas a otras. A medida que <math>k</math> se hace demasiado pequeña, <math>m</math> se hace extremadamente grande para que <math>mk</math> sea perceptible.


Cambiando la notación:
Cambiando la notación:


<math>mk=k_m</math>(frecuencia angular de los armónicos), formada por términos discretos. El el límite <math>k_m</math> se transformará en <math>k</math> formada por una distribución continua de frecuncia. La función <math>A(k_m)</math> en el límite se convertirá en la envolvente mostrada en la Figura 2.
<math>mk=k_m</math>(frecuencia angular de los armónicos), formada por términos discretos. El el límite <math>k_m</math> se transformará en <math>k</math> formada por una distribución continua de frecuencia. La función <math>A(k_m)</math> en el límite se convertirá en la envolvente mostrada en la Figura 2.


Entonces ya no podemos hablar de la frecuencia fundamental y sus armónicos ya que el pulso que se está sintetizando,<math>\textstyle{f(x)}</math>, no tiene frecuencia fundamental aparente.
Entonces ya no podemos hablar de la frecuencia fundamental y sus armónicos ya que el pulso que se está sintetizando,<math>f(z)</math>, no tiene frecuencia fundamental aparente.


Sabemos de calculo que una integral es en realidad el límite de una suma a medidad que el número de elementos se va al infinito y su tamaño se aproxima a cero.
Sabemos de calculo que una integral es en realidad el límite de una suma a medida que el número de elementos se va al infinito y su tamaño se aproxima a cero.


Entonces podemos reemplazar a la serie de Fourier por la denominada '''Integral de Fourier'''( [[Deducción de la Integral de Fourier]]).
Entonces podemos reemplazar a la serie de Fourier por la denominada '''Integral de Fourier'''( [[Deducción de la Integral de Fourier]]).


[[Imagen:Optica71.jpg|566x1032px|thumb|center|'''Figura 2'''. El pulso cuadrado como caso limite. Los coeficientes negativos corresponden a un desplazamiento de fase de <math>\pi</math> radianes.]]
[[Imagen:Optica71.jpg|566x1032px|thumb|center|'''Figura 2'''. El pulso cuadrado como caso límite. Los coeficientes negativos corresponden a un desplazamiento de fase de <math>\pi</math> radianes.]]


== Transformadas Unidimensionales.==
== Transformadas Unidimensionales.==
Línea 55: Línea 47:
En la sección de INTEGRALES DE FOURIER, se vio que una función de una dimensión puede ser expresada como una combinación lineal de un número infinito de contribuciones armónicas, que se expresa como
En la sección de INTEGRALES DE FOURIER, se vio que una función de una dimensión puede ser expresada como una combinación lineal de un número infinito de contribuciones armónicas, que se expresa como


<center><math>\textstyle{f(x)}=\frac{1}{\pi}\left [  \int_{0}^{\infty } \textstyle{A}\cos Kx\, dK +  \int_{0}^{\infty } \textstyle{B}\sin Kx\, dK   \right ]</math></center>
<center><math>f(z)=\frac{1}{\pi}\left [  \int_{0}^{\infty } A\cos(kz)\, dk +  \int_{0}^{\infty } B\sin (kz)\, dk   \right ]</math></center>


Los factores de peso que determinan la importancia de las diversas contribuciones de frecuencia espacial angular <math>\textstyle{K}</math>,es decir <math>\textstyle{A(K)}</math>, y <math>\textstyle{B(K)}</math>, son las transformadas de Fourier del seno y coseno dadas por:
Los factores de peso que determinan la importancia de las diversas contribuciones de frecuencia espacial angular <math>k</math>,es decir <math>A(k)</math>, y <math>B(k)</math>, son las transformadas de Fourier del seno y coseno dadas por:


<center><math>\textstyle{A(K)}=\left [ \int_{-\infty}^{\infty }{f(x')} \cos Kx'\, dx' \right ]</math></center>
<center><math>A(k)=\left [ \int_{-\infty}^{\infty }{f(z')} \cos (kz')\, dz' \right ]</math></center>


<center><math>\textstyle{B(K)}=\left [ \int_{-\infty}^{\infty }{f(x')} \sin Kx'\, dx' \right ]</math></center>
<center><math>B(k)=\left [ \int_{-\infty}^{\infty }{f(z')} \sin (kz')\, dz' \right ]</math></center>


respectivamente.Aqui la cantidad <math>x^'</math> es una variable muda sobre la cual se lleva a cabo la integracion,de manera que ni <math>A(K)</math> ni <math>B(K)</math>,son funcines explicitas de <math>x^'</math> y la seleccion del simbolo usado para indicarla no es importante.Las transformadas del seno y coseno pueden consolidarse dentro de una sola expresion exponencial compleja como sigue:
respectivamente.Aqui la cantidad <math>z'</math> es una variable muda sobre la cual se lleva a cabo la integración,de manera que ni <math>A(k)</math> ni <math>B(k)</math>,son funciones explicitas de <math>z'</math> y la selección del símbolo usado para indicarla no es importante.Las transformadas del seno y coseno pueden consolidarse dentro de una sola expresión exponencial compleja como sigue:


<center><math>\textstyle{f(x)}=\frac{1}{\pi}\left [\int_{0}^{\infty }\cos Kx\, \int_{-\infty}^{\infty }{f(x')} \cos Kx'\, dx'dK + \int_{0}^{\infty }\sin Kx\, \int_{-\infty}^{\infty }{f(x')} \sin Kx'\, dx'dK \right ]</math></center>
<center><math>f(x)=\frac{1}{\pi}\left [\int_{0}^{\infty }\cos(kz)\, \int_{-\infty}^{\infty }{f(z')} \cos(kz')\, dz'dk + \int_{0}^{\infty }\sin(kz)\, \int_{-\infty}^{\infty }{f(z')} \sin(kz')\, dz'dk \right ]</math></center>


pero como cosK'(x-x')= \cosk0*\coskx'+\sinkx\sinkx' esto se puede reescribir como:
pero como <math>cos[k'(z-z')]=\cos(k_0)\cos(kz')+\sin(kz)\sin(kz')</math> esto se puede reescribir como:


<center><math>\textstyle{f(x)}=\frac{1}{\pi}\int_{0}^{\infty } \left [ \int_{-\infty}^{\infty }{f(x')} \cos K(x'-x)\, dx'  \right ]\,dK </math></center>
<center><math>f(z)=\frac{1}{\pi}\int_{0}^{\infty } \left [ \int_{-\infty}^{\infty }{f(z')} \cos k(z'-z)\, dz'  \right ]\,dk </math></center>


La cantidad entre parentesis cuadrados es una funcion par de k por lo tanto, al cambiar los limites de sobre la integral externa,tendremos
La cantidad entre parentesis cuadrados es una funcion par de k por lo tanto, al cambiar los limites de sobre la integral externa,tendremos


<center><math>\textstyle{f(x)}=\frac{1}{2\pi}\int_{-\infty}^{\infty } \left [ \int_{-\infty}^{\infty }{f(x')} \cos K(x'-x)\, dx'  \right ]\,dK </math></center>
<center><math>f(z)=\frac{1}{2\pi}\int_{-\infty}^{\infty } \left [ \int_{-\infty}^{\infty }{f(z')} \cos k(z'-z)\, dz'  \right ]\,dk </math></center>


Ya que estamos buscando una representacion exponencial,nos viene a la memoria el teorema de Euler.Por consiguiente,observese que
Ya que estamos buscando una representación exponencial,nos viene a la memoria el teorema de Euler.Por consiguiente, observese que


<center><math>\textstyle{f(x)}=\frac{i}{2\pi}\int_{-\infty}^{\infty } \left [ \int_{-\infty}^{\infty }{f(x')} \sin K(x'-x)\, dx'  \right ]\,dK =0 </math></center>
<center><math>f(z)=\frac{i}{2\pi}\int_{-\infty}^{\infty } \left [ \int_{-\infty}^{\infty }{f(z')} \sin k(z'-z)\, dz'  \right ]\,dk =0 </math></center>


Por lo que el factor entre parentesis es una funcion impar de k.Al sumar esta dos ultimas expresiones,se obtiene la forma compleja de la integral de Fourier.
Por lo que el factor entre paréntesis es una función impar de k.Al sumar esta dos ultimas expresiones,se obtiene la forma compleja de la integral de Fourier.


<center><math>\textstyle{f(x)}=\frac{1}{2\pi}\int_{-\infty}^{\infty } \left [ \int_{-\infty}^{\infty }{f(x')} e^{ikx'}\, dx' \right ]e^{-ikx}\,dK </math></center>
<center><math>f(z)=\frac{1}{2\pi}\int_{-\infty}^{\infty } \left [ \int_{-\infty}^{\infty }{f(z')} \mathbf{e}^{ikz'}\, dz' \right ]\mathbf{e}^{-ikz}\,dk </math></center>


Por lo tanto podemos escribir
Por lo tanto podemos escribir


<center><math>\textstyle{f(x)}=\frac{1}{2\pi} \int_{-\infty}^{\infty }{F(K)}e^{-ikx}\, dK </math></center>
<center><math>f(z)=\frac{1}{2\pi}\int_{-\infty}^{\infty }{F(k)}\mathbf{e}^{-ikz} \, dk </math></center>


siempre que
siempre que


<center><math>\textstyle{F(K)}= \int_{-\infty}^{\infty }{f(x)}e^{ikx}\, dx </math></center>
<center><math>F(k)=\int_{-\infty}^{\infty}{f(z)}\mathbf{e}^{ikz}\, dz </math></center>


habiendo puesto x'=x en la ecuacion.La funcion F(K)en la transformada de Fourier de f(x),la cual se indica simbolicamente por
habiendo puesto <math>z'=z</math> en la ecuación. La función <math>F(k)</math> en la transformada de Fourier de <math>f(z)</math>,la cual se indica simbolicamente por


<center><math>\mathfrak{F}</math></center>
<center><math>\mathfrak{F}</math></center>


En realidad, en la literatura existen varias maneras equivalentes, ligeramente diferentes de definir la transformada. Por ejemplo, los signos en las exponenciales pueden intercambiarse o el factor de <math>\frac{1}{2\pi}</math> podría dividrse simétricamente entre <math>\textstyle{f(x)}</math> y F(K), es decir, cada uno tendría un coeficiente de <math>\frac{1}{\sqrt{2\pi}}</math>.
En realidad, en la literatura existen varias maneras equivalentes, ligeramente diferentes de definir la transformada. Por ejemplo, los signos en las exponenciales pueden intercambiarse o el factor de <math>\frac{1}{2\pi}</math> podría dividirse simétricamente entre <math>f(z)</math> y <math>F(k)</math>, es decir, cada uno tendría un coeficiente de <math>\frac{1}{\sqrt{2\pi}}</math>.
Obsérvese que <math>\textstyle{A(k)}</math> es la parte real de F(k) mientras que <math>\textstyle{B(k)}</math>
Obsérvese que <math>A(k)</math> es la parte real de <math>F(k)</math> mientras que <math>B(k)</math>
es la imaginaria, es decir
es la imaginaria, es decir


<center><math>\textstyle{F(K)}={\textstyle{A(k)}}+{\textstyle{iB(k)}} </math></center>
<center><math>F(k)={A(k)}+{iB(k)}</math></center>


Como vimos en la sección 2.4, una cantidad compleja como ésta puede escribirse también en términos de amplitud de valor real, <math>\left |\textstyle{F(k)} \right \vert </math>, el <math>\mathit{espectro}</math> <math>\mathit{de}</math>  <math>\mathit{amplitud}</math>, y una fase de valor real,<math>\phi</math>(k), el <math>\mathit{espectro}</math> <math>\mathit{de}</math>  <math>\mathit{fase}</math>:
Una cantidad compleja como ésta puede escribirse también en términos de amplitud de valor real, <math>\left |F(k) \right \vert </math>, el <math>\mathit{espectro}</math> <math>\mathit{de}</math>  <math>\mathit{amplitud}</math>, y una fase de valor real,<math>\phi</math>(k), el <math>\mathit{espectro}</math> <math>\mathit{de}</math>  <math>\mathit{fase}</math>:


<center><math>\textstyle{F(k)}={\left |\textstyle{F(k)} \right \vert }{e^{i\phi(k)}}</math></center>
<center><math>F(k)={\left |\textstyle{F(k)} \right \vert }{\mathbf{e}^{i\phi(k)}}</math></center>




Precisamente como F(K) es la transformada de <math>\textstyle{f(k)}</math>, <math>\textstyle{f (k)}</math> es la '''transformada inversa Fourier''' de <math>\textstyle{F(k)}</math>, o simbólicamente
Precisamente como <math>F(k)</math> es la transformada de <math>f(k)</math>, <math>f(k)</math> es la '''transformada inversa Fourier''' de <math>\textstyle{F(k)}</math>, o simbólicamente


<math>\textstyle{f(x)}={\mathfrak{F}^{-1}}</math>{F(K)}=<math>\mathfrak{F}^{-1}</math>{<math>\mathfrak{F}</math>{<math>\textstyle{f(x)}</math>}}
<math>\textstyle{f(z)}={\mathfrak{F}^{-1}}</math>{F(k)}=<math>\mathfrak{F}^{-1}</math>{<math>\mathfrak{F}</math>{<math>f(z)</math>}}


y <math>\textstyle{f(k)}</math> y F(k)se denominan frecuentemente par de transformadas de Fourier. Es posible construir la transformada y su inversa  de una forma aún más simétrica, en términos de la frecuencia espacial <math>\textstyle{k}</math>= <math>\frac{1}{\lambda}</math>=<math>\frac{K}{2\pi}</math> Sin embargo, independientemente de cómo se exprese, la transformada no será exactamente igual a la inversa por el signo negativo de la función exponencial. Por consiguiente, en la expresión presente,
y <math>\textstyle{f(k)}</math> y F(k)se denominan frecuentemente par de transformadas de Fourier. Es posible construir la transformada y su inversa  de una forma aún más simétrica, en términos de la frecuencia espacial <math>k=\left(\frac{1}{\lambda}\right)=\left(\frac{k}{2\pi}\right)</math> Sin embargo, independientemente de cómo se exprese, la transformada no será exactamente igual a la inversa por el signo negativo de la función exponencial. Por consiguiente, en la expresión presente,


<center><math>\mathfrak{F}</math> {F(K)}= <math>{2\pi}</math> <math>\textstyle{f(-x)}</math> mientras que <math>{\mathfrak{F}^{-1}}</math>{F(K)}=<math>\textstyle{f(k)}</math></center>
<center><math>\mathfrak{F}</math> {F(k)}= <math>{2\pi}</math> <math>f(-z)</math> mientras que <math>{\mathfrak{F}^{-1}}</math>{F(k)}=<math>\textstyle{f(k)}</math></center>




En la mayoría de los casos, esto no tiene ninguna trascendencia, especialmente para funciones pares donde <math>\textstyle{f(k)}</math>=<math>\textstyle{f(-x)}</math>,por lo tanto deberíamos esperar un alto nivel de paridad entre las funciones y sus transformadas.
En la mayoría de los casos, esto no tiene ninguna trascendencia, especialmente para funciones pares donde <math>f(k)</math>=<math>f(-z)</math>,por lo tanto deberíamos esperar un alto nivel de paridad entre las funciones y sus transformadas.


Obviamente, si <math>\textstyle{f}</math> fuera una función del tiempo en vez del espacio, únicamente tendríamos que reemplazar <math>\textstyle{x}</math> por <math>\textstyle{t}</math> y entonces <math>\textstyle{k}</math>,la frecuencia espacial angular, por <math>\textstyle{w}</math>  , la frecuencia temporal angular, para obtener el par de transformadas oportuno en el dominio temporal, es decir
Obviamente, si <math>f</math> fuera una función del tiempo en vez del espacio, únicamente tendríamos que reemplazar <math>z</math> por <math>t</math> y entonces <math>k</math>,la frecuencia espacial angular, por <math>\omega</math>  , la frecuencia temporal angular, para obtener el par de transformadas oportuno en el dominio temporal, es decir


<center><math>\textstyle{f(t)}=\frac{1}{2\pi}  \int_{-\infty}^{\infty }{F(\omega)}e^{-i\omega t}\, d\omega </math></center>
<center><math>\textstyle{f(t)}=\frac{1}{2\pi}  \int_{-\infty}^{\infty }{F(\omega)}\mathbf{e}^{-i\omega t}\, d\omega </math></center>


y
y


<center><math>\textstyle{F(\omega)}= \int_{-\infty}^{\infty }{f(t)}e^{i\omega t}\, dt </math></center>
<center><math>\textstyle{F(\omega)}= \int_{-\infty}^{\infty }{f(t)}\mathbf{e}^{i\omega t}\, dt </math></center>


Cabe mencionar que si escribimos <math>\textstyle{f(k)}</math> como una suma de funciones, su transformada, será evidentemente la suma de las transformadas de las competentes individuales de las funciones. A veces, esta forma de establecer las transformadas de funciones complicadas que pueden construirse a partir de componentes conocidas, puede resultar conveniente. La Figura 3 muestra claramente este procedimiento.
Cabe mencionar que si escribimos <math>\textstyle{f(k)}</math> como una suma de funciones, su transformada, será evidentemente la suma de las transformadas de las competentes individuales de las funciones. A veces, esta forma de establecer las transformadas de funciones complicadas que pueden construirse a partir de componentes conocidas, puede resultar conveniente. La Figura 3 muestra claramente este procedimiento.
Línea 133: Línea 125:
Sea la función:
Sea la función:


<math>\textstyle{f(x)}=\textstyle{C}e^{-ax^{2}} \,\!</math>; donde: <math>\ C=\sqrt{\frac{a}{\pi}}</math> y <math>\textstyle{a}</math> es una constante. Si queremos podemos suponer que esto sea el perfil de un pulso para <math>\textstyle{t}=0</math>. La familiar curva con forma de campana. En òptica se encuentra con mucha frecuencia y se encuentra relacionada con paquetes de onda de fotones individuales, también en la distribución de la irradiancia transversal de un haz de luz láser en el modo <math>\textstyle{TMM_00}</math> y el tratamiento estadístico de luz térmica en la teoría de coherencia.
<math>f(z)=\textstyle{C}\mathbf{e}^{-az^{2}} \,\!</math>; donde: <math>\ C=\sqrt{\frac{a}{\pi}}</math> y <math>\textstyle{a}</math> es una constante. Si queremos podemos suponer que esto sea el perfil de un pulso para <math>\textstyle{t}=0</math>. La familiar curva con forma de campana. En óptica se encuentra con mucha frecuencia y se encuentra relacionada con paquetes de onda de fotones individuales, también en la distribución de la irradiancia transversal de un haz de luz láser en el modo <math>\textstyle{TMM_00}</math> y el tratamiento estadístico de luz térmica en la teoría de coherencia.


Su transformada de Fourier  <math>\mathfrak{F}</math> <math>  \left \{ f(x) \right \}</math> la obtenemos evaluando:
Su transformada de Fourier  <math>\mathfrak{F}</math> <math>  \left \{ f(z) \right \}</math> la obtenemos evaluando:




<center><math>\mathfrak{F}</math> <math>  \left \{ f(x) \right \}</math> = <math>\textstyle{f(k)}= \int_{-\infty}^{\infty } f(x)e^{-ikx}\, dk </math></center>
<center><math>\mathfrak{F}</math> <math>  \left \{ f(z) \right \}</math> = <math>\textstyle{f(k)}= \int_{-\infty}^{\infty } f(z)\mathbf{e}^{-ikz}\, dk </math></center>


entonces si sustituimos la funcion gaussiana en está expresión obtenemos:
entonces si sustituimos la función gaussiana en está expresión obtenemos:


<center><math>\mathfrak{F}</math> <math>  \left \{ f(x) \right \}</math>= <math>\int_{-\infty}^{\infty }Ce^{-ax^{2}}  e^{-ikx}\, dk </math></center>
<center><math>\mathfrak{F}</math> <math>  \left \{ f(z) \right \}</math>= <math>\int_{-\infty}^{\infty }Ce^{-az^{2}}  \mathbf{e}^{-ikz}\, dk </math></center>


por propiedades de la exponencial esta expresion se ve como:  
por propiedades de la exponencial esta expresión se ve como:  


<center><math>\mathfrak{F}</math> <math>  \left \{ f(x) \right \}</math>= <math>\int_{-\infty}^{\infty }e^{(-\beta^2)}  \, d\beta </math></center>
<center><math>\mathfrak{F}</math> <math>  \left \{ f(z) \right \}</math>= <math>\int_{-\infty}^{\infty }\mathbf{e}^{(-\beta^2)}  \, d\beta </math></center>




Al completar el cuadro, el exponente, <math>-ax^{2}+ikx</math>, pasa a ser <math>-(x\sqrt{a}-\frac{ik}{2\sqrt{a}})^2</math> y haciendo que <math>(x\sqrt{a}-\frac{ik}{2\sqrt{a}})^2</math><math>\textstyle=\beta</math> nos queda:       
Al completar el cuadro, el exponente, <math>-az^{2}+ikz</math>, pasa a ser <math>-(z\sqrt{a}-\frac{ik}{2\sqrt{a}})^2</math> y haciendo que <math>(z\sqrt{a}-\frac{ik}{2\sqrt{a}})^2</math><math>\textstyle=\beta</math> nos queda:       




<center><math>\textstyle{F(k)}=\frac{C}{\sqrt{a}}e^{\frac{-k^{2}}{4a}}\left [\textstyle \int_{-\infty }^{\infty } e^{{-\beta}^{2}}\, d\beta\right ]</math></center>
<center><math>\textstyle{F(k)}=\frac{C}{\sqrt{a}}\mathbf{e}^{\frac{-k^{2}}{4a}}\left [\textstyle \int_{-\infty }^{\infty } \mathbf{e}^{{-\beta}^{2}}\, d\beta\right ]</math></center>




la integral definida puede encontrarse en las tablas y es igual a <math>\sqrt{\pi}</math>, por lo tanto:  
la integral definida puede encontrarse en las tablas y es igual a <math>\sqrt{\pi}</math>, por lo tanto:  


<center><math>\textstyle{F(k)}=</math><math>e^{\frac{-k^{2}}{4a}}</math></center>
<center><math>\textstyle{F(k)}=</math><math>\mathbf{e}^{\frac{-k^{2}}{4a}}</math></center>




la cual es nuevamente una función gaussiana, esta vez con <math>\textstyle{k}</math> como variable. La desviación estándar está definida como el rango de la viariable <math>\textstyle{(x}</math> o <math>\textstyle{k)}</math> en la cual la función disminuye un factor de <math>e^{\frac{-{1}}{2}}=0.607</math> de su valor máximo. Según <math>\textstyle{a}</math> vaya aumentando,<math>\textstyle{f(x)}</math> se va estrechando mientras que, por el contrario,<math>\textstyle{F(k)}</math> se ensancha. En conclusión cuanto más corta sea la longitud del pulso,más amplio será el ancho de banda de la frecuencia espacial.
la cual es nuevamente una función gaussiana, esta vez con <math>\textstyle{k}</math> como variable. La desviación estándar está definida como el rango de la viariable <math>\textstyle{(z}</math> o <math>\textstyle{k)}</math> en la cual la función disminuye un factor de <math>\mathbf{e}^{\frac{-{1}}{2}}=0.607</math> de su valor máximo. Según <math>\textstyle{a}</math> vaya aumentando,<math>\textstyle{f(z)}</math> se va estrechando mientras que, por el contrario,<math>\textstyle{F(k)}</math> se ensancha. En conclusión cuanto más corta sea la longitud del pulso,más amplio será el ancho de banda de la frecuencia espacial.


Cabe mencionar que la transformada de una función, en general se mantiene como un espacio invariante, es decir mantiene la forma de la función pero cambia su tamaño o longitud.
Cabe mencionar que la transformada de una función, en general se mantiene como un espacio invariante, es decir mantiene la forma de la función pero cambia su tamaño o longitud.
   
   
[[Imagen:Optica73.JPG|504x331px|thumb|center|'''Figura 4'''. Una funcion gaussiana y su transformada de Fourier.]]
[[Imagen:Optica73.JPG|504x331px|thumb|center|'''Figura 4'''. Una función gaussiana y su transformada de Fourier.]]
 
 
'''Nota'''.- Para información sobre ondas Gaussianas visitar [[Ondas: Gaussianas]].


[[categoría: Ondas]]
[[categoría: Ondas]]

Revisión actual - 15:41 25 sep 2023

Transformadas de Fourier

El objetivo de conocer las transformadas de Fourier es comprender el modo en que los sistemas ópticos procesan la luz para formar imágenes.

Al terminar solo nos centraremos en las amplitudes y las fases de las ondas luminosas que alcanzan el plano imagen.

Las Integrales de Fourier

Imaginemos que tenemos una onda cuadrada como la de la imagen de la Figura 1, y que mantenemos constante el ancho de pico cuadrado, mientras que se incrementa sin limite. Al acercarse al infinito la función resultante ya no será periódica entonces tendríamos un pulso cuadrado único, estas ideas nos sugieren una forma posible de generalizar el método de las series de Fourier para incluir las funciones que no son periódicas.

Figura 1. Onda periódica armónica

Para ver como lograrlo particularizemos, para observar el comportamiento, tomemos un valor cualquiera, digamos y escojamos algún valor de cm. Entonces el pico tendrá un ancho de cm, es decir centrado en como se muestra en la Figura 2a.

La importancia de cada frecuencia particular se apreciaria más facilmente examinando el valor del coeficiente de Fourier correspondiente en este caso (Vease Ondas: periódicas anarmónicas). Estos coeficientes los podemos considerar como factores de ponderación </math> que acentúan los distintos armónicos.En la Figura 2a se estiman distintos valores de (donde ) frente a mk para la onda cuadrada anterior. A esta curva se le denomina espectro de frecuencias espaciales.

Podemos considerar a como una función como función de que puede ser diferente de cero solamente para valores de .

Ahora si la cantidad le damos un valor de mientras que aumenta hasta el ancho de pico de no se verá afectado, notando que la única variación es la duplicación del ancho entre los picos. Sin embargo un cambio muy interesante se nota en el espectro de frecuencias espaciales véase la Figura 2b.

Ahora es fácil notar que la densidad de componentes a lo largo del eje ha aumentado considerablemente.

También observemos que es aún cero cuando , pero ya que el valor de es ahora en lugar de , habrá más términos entre estos puntos con valor cero. Finalmente sea y aumentemos . Notaremos ahora que la forma de los picos individuales permanecerá inalterada pero los términos en el espectro de frecuencias están ahora aún más compactos.

Notamos que eso era lo esperado, el pulso, comparado con , se está haciendo ahora cada vez más pequeño, por lo tanto se precisan frecuencias más elevadas para sintetizarlo.

Ahora es más fácil notar que la envolvente de la curva es mas perceptible y eso es evidente observando la Figura 2c.

Entonces concluimos que a medida que aumenta y que la función adquiere la apariencia de un pulso cuadrado simple, el espacio entre cada una de las contribuciones en el espectro decrecerá. las lineas espectrales discretas, al disminuir su amplitud se unirán gradualmente haciéndose gradualmente irresolubles.


"En el límite cuando tiende a las líneas espectrales se aproximan infinitamente unas a otras. A medida que se hace demasiado pequeña, se hace extremadamente grande para que sea perceptible.

Cambiando la notación:

(frecuencia angular de los armónicos), formada por términos discretos. El el límite se transformará en formada por una distribución continua de frecuencia. La función en el límite se convertirá en la envolvente mostrada en la Figura 2.

Entonces ya no podemos hablar de la frecuencia fundamental y sus armónicos ya que el pulso que se está sintetizando,, no tiene frecuencia fundamental aparente.

Sabemos de calculo que una integral es en realidad el límite de una suma a medida que el número de elementos se va al infinito y su tamaño se aproxima a cero.

Entonces podemos reemplazar a la serie de Fourier por la denominada Integral de Fourier( Deducción de la Integral de Fourier).

Figura 2. El pulso cuadrado como caso límite. Los coeficientes negativos corresponden a un desplazamiento de fase de radianes.

Transformadas Unidimensionales.

En la sección de INTEGRALES DE FOURIER, se vio que una función de una dimensión puede ser expresada como una combinación lineal de un número infinito de contribuciones armónicas, que se expresa como

Los factores de peso que determinan la importancia de las diversas contribuciones de frecuencia espacial angular ,es decir , y , son las transformadas de Fourier del seno y coseno dadas por:

respectivamente.Aqui la cantidad es una variable muda sobre la cual se lleva a cabo la integración,de manera que ni ni ,son funciones explicitas de y la selección del símbolo usado para indicarla no es importante.Las transformadas del seno y coseno pueden consolidarse dentro de una sola expresión exponencial compleja como sigue:

pero como esto se puede reescribir como:

La cantidad entre parentesis cuadrados es una funcion par de k por lo tanto, al cambiar los limites de sobre la integral externa,tendremos

Ya que estamos buscando una representación exponencial,nos viene a la memoria el teorema de Euler.Por consiguiente, observese que

Por lo que el factor entre paréntesis es una función impar de k.Al sumar esta dos ultimas expresiones,se obtiene la forma compleja de la integral de Fourier.

Por lo tanto podemos escribir

siempre que

habiendo puesto en la ecuación. La función en la transformada de Fourier de ,la cual se indica simbolicamente por

En realidad, en la literatura existen varias maneras equivalentes, ligeramente diferentes de definir la transformada. Por ejemplo, los signos en las exponenciales pueden intercambiarse o el factor de podría dividirse simétricamente entre y , es decir, cada uno tendría un coeficiente de . Obsérvese que es la parte real de mientras que es la imaginaria, es decir

Una cantidad compleja como ésta puede escribirse también en términos de amplitud de valor real, , el , y una fase de valor real,(k), el :


Precisamente como es la transformada de , es la transformada inversa Fourier de , o simbólicamente

{F(k)}={{}}

y y F(k)se denominan frecuentemente par de transformadas de Fourier. Es posible construir la transformada y su inversa de una forma aún más simétrica, en términos de la frecuencia espacial Sin embargo, independientemente de cómo se exprese, la transformada no será exactamente igual a la inversa por el signo negativo de la función exponencial. Por consiguiente, en la expresión presente,

{F(k)}= mientras que {F(k)}=


En la mayoría de los casos, esto no tiene ninguna trascendencia, especialmente para funciones pares donde =,por lo tanto deberíamos esperar un alto nivel de paridad entre las funciones y sus transformadas.

Obviamente, si fuera una función del tiempo en vez del espacio, únicamente tendríamos que reemplazar por y entonces ,la frecuencia espacial angular, por , la frecuencia temporal angular, para obtener el par de transformadas oportuno en el dominio temporal, es decir

y

Cabe mencionar que si escribimos como una suma de funciones, su transformada, será evidentemente la suma de las transformadas de las competentes individuales de las funciones. A veces, esta forma de establecer las transformadas de funciones complicadas que pueden construirse a partir de componentes conocidas, puede resultar conveniente. La Figura 3 muestra claramente este procedimiento.

Figura 3. Funciones compuestas y sus transformadas de Fourier.

Transformada De La Función Gaussiana.

Sea la función:

; donde: y es una constante. Si queremos podemos suponer que esto sea el perfil de un pulso para . La familiar curva con forma de campana. En óptica se encuentra con mucha frecuencia y se encuentra relacionada con paquetes de onda de fotones individuales, también en la distribución de la irradiancia transversal de un haz de luz láser en el modo y el tratamiento estadístico de luz térmica en la teoría de coherencia.

Su transformada de Fourier la obtenemos evaluando:


=

entonces si sustituimos la función gaussiana en está expresión obtenemos:

=

por propiedades de la exponencial esta expresión se ve como:

=


Al completar el cuadro, el exponente, , pasa a ser y haciendo que nos queda:



la integral definida puede encontrarse en las tablas y es igual a , por lo tanto:


la cual es nuevamente una función gaussiana, esta vez con como variable. La desviación estándar está definida como el rango de la viariable o en la cual la función disminuye un factor de de su valor máximo. Según vaya aumentando, se va estrechando mientras que, por el contrario, se ensancha. En conclusión cuanto más corta sea la longitud del pulso,más amplio será el ancho de banda de la frecuencia espacial.

Cabe mencionar que la transformada de una función, en general se mantiene como un espacio invariante, es decir mantiene la forma de la función pero cambia su tamaño o longitud.

Figura 4. Una función gaussiana y su transformada de Fourier.


Nota.- Para información sobre ondas Gaussianas visitar Ondas: Gaussianas.