Relaciones Kramers-Kronig
Tipo de relación matemática

Las relaciones de Kramers-Kronig , a veces abreviadas como relaciones KK , son relaciones matemáticas bidireccionales que conectan las partes real e imaginaria de cualquier función compleja que sea analítica en el semiplano superior . Las relaciones se utilizan a menudo para calcular la parte real a partir de la parte imaginaria (o viceversa) de las funciones de respuesta en sistemas físicos , porque para los sistemas estables, la causalidad implica la condición de analiticidad y, a la inversa, la analiticidad implica la causalidad del sistema físico estable correspondiente. [1] La relación recibe su nombre en honor a Ralph Kronig y Hans Kramers . [2] [3] En matemáticas , estas relaciones se conocen con los nombres de teorema de Sokhotski-Plemelj y transformada de Hilbert .

Formulación

Ilustración de una de las relaciones de Kramers-Kronig, que determina la parte real de la susceptibilidad dada la parte imaginaria.

Sea una función compleja de la variable compleja , donde y son reales . Supongamos que esta función es analítica en el semiplano superior cerrado de y tiende a como . Las relaciones de Kramers-Kronig están dadas por y donde es real y donde denota el valor principal de Cauchy . Las partes real e imaginaria de dicha función no son independientes, lo que permite reconstruir la función completa dada solo una de sus partes. χ ( ω ) = χ 1 ( ω ) + i χ 2 ( ω ) {\displaystyle \chi (\omega )=\chi _{1}(\omega )+i\chi _{2}(\omega )} ω {\estilo de visualización \omega} χ 1 ( ω ) {\displaystyle \chi _{1}(\omega )} χ 2 ( ω ) {\displaystyle \chi _{2}(\omega )} ω {\estilo de visualización \omega} 0 {\estilo de visualización 0} | ω | → ∞ {\displaystyle |\omega |\to \infty } χ 1 ( ω ) = 1 π PAG ∫ − ∞ ∞ χ 2 ( ω " ) ω " − ω d ω " {\displaystyle \chi _{1}(\omega )={\frac {1}{\pi }}{\mathcal {P}}\!\!\int _{-\infty }^{\infty }{ \frac {\chi _{2}(\omega ')}{\omega '-\omega }}\,d\omega '} χ 2 ( ω ) = − 1 π PAG ∫ − ∞ ∞ χ 1 ( ω " ) ω " − ω d ω " , {\displaystyle \chi _{2}(\omega )=-{\frac {1}{\pi }}{\mathcal {P}}\!\!\int _{-\infty }^{\infty } {\frac {\chi _{1}(\omega ')}{\omega '-\omega }}\,d\omega ',} ω {\estilo de visualización \omega} PAG {\displaystyle {\mathcal {P}}}

Derivación

Contorno integral para derivar relaciones de Kramers-Kronig

La prueba comienza con una aplicación del teorema de residuo de Cauchy para la integración compleja. Dada cualquier función analítica en el semiplano superior cerrado, la función , donde es real, es analítica en el semiplano superior (abierto). El teorema de residuo establece, en consecuencia, que para cualquier contorno cerrado dentro de esta región. Cuando se elige el contorno para trazar el eje real, una joroba sobre el polo en , y un semicírculo grande en el semiplano superior. Esto sigue a la descomposición de la integral en sus contribuciones a lo largo de cada uno de estos tres segmentos de contorno y los pasa a límites. La longitud del segmento semicircular aumenta proporcionalmente a , pero la integral sobre él se desvanece en el límite porque se desvanece más rápido que . Nos quedan los segmentos a lo largo del eje real y el semicírculo alrededor del polo. Pasamos el tamaño del semicírculo a cero y obtenemos χ {\estilo de visualización \chi} ω " ↦ χ ( ω " ) / ( ω " − ω ) {\displaystyle \omega '\mapsto \chi (\omega ')/(\omega '-\omega )} ω {\estilo de visualización \omega} ∮ χ ( ω " ) ω " − ω d ω " = 0 {\displaystyle \oint {\frac {\chi (\omega ')}{\omega '-\omega }}\,d\omega '=0} ω " = ω {\displaystyle \omega '=\omega } | ω " | {\estilo de visualización |\omega '|} χ ( ω " ) ω " − ω {\displaystyle {\frac {\chi (\omega ')}{\omega '-\omega }}} 1 / | ω " | {\displaystyle 1/|\omega '|} 0 = ∮ χ ( ω " ) ω " − ω d ω " = PAG ∫ − ∞ ∞ χ ( ω " ) ω " − ω d ω " − i π χ ( ω ) . {\displaystyle 0=\oint {\frac {\chi (\omega ')}{\omega '-\omega }}\,d\omega '={\mathcal {P}}\!\!\int _{ -\infty }^{\infty }{\frac {\chi (\omega ')}{\omega '-\omega }}\,d\omega '-i\pi \chi (\omega ).}

El segundo término de la última expresión se obtiene utilizando la teoría de residuos, [4] más específicamente, el teorema de Sokhotski-Plemelj . Reordenando, llegamos a la forma compacta de las relaciones de Kramers-Kronig: χ ( ω ) = 1 i π PAG ∫ − ∞ ∞ χ ( ω " ) ω " − ω d ω " . {\displaystyle \chi (\omega )={\frac {1}{i\pi }}{\mathcal {P}}\!\!\int _{-\infty }^{\infty }{\frac { \chi (\omega ')}{\omega '-\omega }}\,d\omega '.}

El único en el denominador efectúa la conexión entre los componentes real e imaginario. Finalmente, descomponemos la ecuación en sus partes real e imaginaria para obtener las formas citadas anteriormente. i {\estilo de visualización i} χ ( ω ) {\displaystyle \chi (\omega)}

Interpretación física y forma alternativa

El formalismo de Kramers-Kronig se puede aplicar a funciones de respuesta . En ciertos sistemas físicos lineales, o en campos de ingeniería como el procesamiento de señales , la función de respuesta describe cómo alguna propiedad dependiente del tiempo de un sistema físico responde a una fuerza de impulso en el tiempo. Por ejemplo, podría ser el ángulo de un péndulo y la fuerza aplicada de un motor que impulsa el movimiento del péndulo. La respuesta debe ser cero porque un sistema no puede responder a una fuerza antes de que se aplique. Se puede demostrar (por ejemplo, invocando el teorema de Titchmarsh ) que esta condición de causalidad implica que la transformada de Fourier de es analítica en el semiplano superior. [5] Además, si el sistema está sujeto a una fuerza oscilatoria con una frecuencia mucho mayor que su frecuencia de resonancia más alta, casi no habrá tiempo para que el sistema responda antes de que la fuerza haya cambiado de dirección, por lo que la respuesta de frecuencia convergerá a cero cuando se vuelva muy grande. A partir de estas consideraciones físicas, resulta que normalmente satisfará las condiciones necesarias para las relaciones de Kramers-Kronig. χ ( a − a " ) {\displaystyle \chi(tt')} PAG ( a ) {\estilo de visualización P(t)} F ( a " ) {\estilo de visualización F(t')} a " . {\estilo de visualización t'.} PAG ( a ) {\estilo de visualización P(t)} F ( a ) {\estilo de visualización F(t)} χ ( a − a " ) {\displaystyle \chi(tt')} a < a " {\displaystyle t<t'} χ ( ω ) {\displaystyle \chi (\omega)} χ ( a ) {\displaystyle \chi(t)} χ ( ω ) {\displaystyle \chi (\omega)} ω {\estilo de visualización \omega} χ ( ω ) {\displaystyle \chi (\omega)}

La parte imaginaria de una función de respuesta describe cómo un sistema disipa energía , ya que está en fase con la fuerza impulsora . [ cita requerida ] Las relaciones de Kramers-Kronig implican que observar la respuesta disipativa de un sistema es suficiente para determinar su respuesta desfasada (reactiva), y viceversa.

Las integrales van de a , lo que implica que conocemos la respuesta a frecuencias negativas. Afortunadamente, en la mayoría de los sistemas físicos, la respuesta de frecuencia positiva determina la respuesta de frecuencia negativa porque es la transformada de Fourier de una respuesta de valor real . Haremos esta suposición de ahora en adelante. − ∞ {\displaystyle -\infty } ∞ {\displaystyle \infty } χ ( ω ) {\displaystyle \chi (\omega )} χ ( t ) {\displaystyle \chi (t)}

En consecuencia, . Esto significa que es una función par de la frecuencia y es impar . χ ( − ω ) = χ ∗ ( ω ) {\displaystyle \chi (-\omega )=\chi ^{*}(\omega )} χ 1 ( ω ) {\displaystyle \chi _{1}(\omega )} χ 2 ( ω ) {\displaystyle \chi _{2}(\omega )}

Usando estas propiedades, podemos reducir los rangos de integración a . Consideremos la primera relación, que da la parte real . Transformamos la integral en una de paridad definida multiplicando el numerador y el denominador del integrando por y separando: [ 0 , ∞ ) {\displaystyle [0,\infty )} χ 1 ( ω ) {\displaystyle \chi _{1}(\omega )} ω ′ + ω {\displaystyle \omega '+\omega } χ 1 ( ω ) = 1 π P ∫ − ∞ ∞ ω ′ χ 2 ( ω ′ ) ω ′ 2 − ω 2 d ω ′ + ω π P ∫ − ∞ ∞ χ 2 ( ω ′ ) ω ′ 2 − ω 2 d ω ′ . {\displaystyle \chi _{1}(\omega )={1 \over \pi }{\mathcal {P}}\!\!\int _{-\infty }^{\infty }{\omega '\chi _{2}(\omega ') \over \omega '^{2}-\omega ^{2}}\,d\omega '+{\omega \over \pi }{\mathcal {P}}\!\!\int _{-\infty }^{\infty }{\chi _{2}(\omega ') \over \omega '^{2}-\omega ^{2}}\,d\omega '.}

Como es impar, la segunda integral se desvanece y nos quedamos con χ 2 ( ω ) {\displaystyle \chi _{2}(\omega )} χ 1 ( ω ) = 2 π P ∫ 0 ∞ ω ′ χ 2 ( ω ′ ) ω ′ 2 − ω 2 d ω ′ . {\displaystyle \chi _{1}(\omega )={2 \over \pi }{\mathcal {P}}\!\!\int _{0}^{\infty }{\omega '\chi _{2}(\omega ') \over \omega '^{2}-\omega ^{2}}\,d\omega '.}

La misma derivación para la parte imaginaria da χ 2 ( ω ) = − 2 π P ∫ 0 ∞ ω χ 1 ( ω ′ ) ω ′ 2 − ω 2 d ω ′ = − 2 ω π P ∫ 0 ∞ χ 1 ( ω ′ ) ω ′ 2 − ω 2 d ω ′ . {\displaystyle \chi _{2}(\omega )=-{2 \over \pi }{\mathcal {P}}\!\!\int _{0}^{\infty }{\omega \chi _{1}(\omega ') \over \omega '^{2}-\omega ^{2}}\,d\omega '=-{2\omega \over \pi }{\mathcal {P}}\!\!\int _{0}^{\infty }{\chi _{1}(\omega ') \over \omega '^{2}-\omega ^{2}}\,d\omega '.}

Éstas son las relaciones de Kramers-Kronig en una forma que es útil para funciones de respuesta físicamente realistas.

Hu [6] y Hall y Heck [7] ofrecen una prueba relacionada y posiblemente más intuitiva que evita la integración de contornos. Se basa en los siguientes hechos:

  • Una respuesta al impulso causal se puede expresar como la suma de una función par y una función impar, donde la función impar es la función par multiplicada por la función de signo .
  • Las partes pares e impares de una forma de onda del dominio del tiempo corresponden a las partes reales e imaginarias de su integral de Fourier, respectivamente.
  • La multiplicación por la función de signo en el dominio del tiempo corresponde a la transformada de Hilbert (es decir, la convolución por el núcleo de Hilbert ) en el dominio de la frecuencia. 1 / π ω {\displaystyle 1/\pi \omega }

Combinando las fórmulas proporcionadas por estos hechos se obtienen las relaciones de Kramers-Kronig. Esta demostración cubre un terreno ligeramente diferente al anterior, ya que relaciona las partes reales e imaginarias en el dominio de la frecuencia de cualquier función que sea causal en el dominio del tiempo, ofreciendo un enfoque algo diferente de la condición de analiticidad en el semiplano superior del dominio de la frecuencia.

También está disponible un artículo con una versión informal e ilustrada de esta prueba. [8]

Relación magnitud (ganancia)-fase

La forma convencional de Kramers-Kronig que se muestra arriba relaciona la parte real y la parte imaginaria de una función de respuesta compleja. Un objetivo relacionado es encontrar una relación entre la magnitud y la fase de una función de respuesta compleja.

En general, lamentablemente, la fase no se puede predecir de forma única a partir de la magnitud. [9] Un ejemplo simple de esto es un retardo de tiempo puro de tiempo T , que tiene amplitud 1 en cualquier frecuencia independientemente de T , pero tiene una fase dependiente de T (específicamente, fase = 2 π × T × frecuencia).

Sin embargo, existe una relación única de amplitud frente a fase en el caso especial de un sistema de fase mínima , [9] a veces llamada relación de ganancia de Bode-fase . Los términos relaciones de Bayard-Bode y teorema de Bayard-Bode , después de los trabajos de Marcel Bayard (1936) y Hendrik Wade Bode (1945), también se utilizan para las relaciones de Kramers-Kronig en general o para la relación de amplitud-fase en particular, particularmente en los campos de las telecomunicaciones y la teoría del control . [10] [11]

Aplicaciones en física

Óptica

Índice de refracción complejo

Las relaciones de Kramers-Kronig se utilizan para relacionar las porciones reales e imaginarias del índice de refracción complejo de un medio, donde es el coeficiente de extinción . [12] Por lo tanto, en efecto, esto también se aplica a la permitividad relativa compleja y la susceptibilidad eléctrica . [13] n ~ = n + i κ {\displaystyle {\tilde {n}}=n+i\kappa } κ {\displaystyle \kappa }

La ecuación de Sellmeier está directamente relacionada con las relaciones de Kramer-Kronig y se utiliza para aproximar el índice de refracción real y complejo de materiales alejados de cualquier resonancia. [14] [15]

Birrefringencia circular

En la rotación óptica , las relaciones de Kramers-Kronig establecen una conexión entre la dispersión rotatoria óptica y el dicroísmo circular .

Magneto-óptica

Las relaciones de Kramers-Kronig permiten soluciones exactas de problemas de dispersión no triviales, que encuentran aplicaciones en magneto-óptica. [16]

Elipsometría

En elipsometría , las relaciones de Kramer-Kronig se aplican para verificar los valores medidos de las partes reales y complejas del índice de refracción de películas delgadas. [17]

Espectroscopia electrónica

En la espectroscopia de pérdida de energía de electrones , el análisis de Kramers-Kronig permite calcular la dependencia energética de las partes reales e imaginarias de la permitividad óptica de la luz de una muestra , junto con otras propiedades ópticas como el coeficiente de absorción y la reflectividad . [18]

En resumen, midiendo la cantidad de electrones de alta energía (por ejemplo, 200 keV) que pierden una cantidad dada de energía al atravesar una muestra muy delgada (aproximación de dispersión simple), se puede calcular la parte imaginaria de la permitividad a esa energía. Usando estos datos con el análisis de Kramers-Kronig, también se puede calcular la parte real de la permitividad (como función de la energía).

Esta medición se realiza con electrones, en lugar de con luz, y puede realizarse con una resolución espacial muy alta. De este modo, se podrían buscar, por ejemplo, bandas de absorción ultravioleta (UV) en una muestra de laboratorio de polvo interestelar de menos de 100 nm de diámetro, es decir, demasiado pequeñas para la espectroscopia UV. Aunque la espectroscopia electrónica tiene una resolución energética más pobre que la espectroscopia de luz, los datos sobre las propiedades en los rangos espectrales visible, ultravioleta y de rayos X suaves se pueden registrar en el mismo experimento.

En la espectroscopia de fotoemisión resuelta en ángulo, las relaciones de Kramers-Kronig se pueden utilizar para vincular las partes reales e imaginarias de la autoenergía de los electrones . Esto es característico de las múltiples interacciones entre cuerpos que experimenta el electrón en el material. Ejemplos notables se encuentran en los superconductores de alta temperatura , donde se observan kinks correspondientes a la parte real de la autoenergía en la dispersión de banda y también se observan cambios en el ancho de MDC correspondientes a la parte imaginaria de la autoenergía. [19]

Dispersión hadrónica

Las relaciones de Kramers-Kronig también se utilizan bajo el nombre de "relaciones de dispersión integral" con referencia a la dispersión hadrónica . [20] En este caso, la función es la amplitud de dispersión. Mediante el uso del teorema óptico, la parte imaginaria de la amplitud de dispersión se relaciona con la sección transversal total , que es una cantidad físicamente medible.

Dispersión de electrones

De manera similar a la dispersión hadrónica, las relaciones de Kramers-Kronig se emplean en la dispersión de electrones de alta energía . En particular, entran en la derivación de la regla de suma de Gerasimov-Drell-Hearn . [21]

Geofísica

Para la propagación de ondas sísmicas, la relación de Kramer-Kronig ayuda a encontrar la forma correcta del factor de calidad en un medio atenuante. [22]

Espectroscopia de impedancia electroquímica

La prueba de Kramers-Kronig se utiliza en aplicaciones de baterías y pilas de combustible ( espectroscopia dieléctrica ) para comprobar la linealidad , la causalidad y la estacionariedad . Dado que en la práctica no es posible obtener datos en todo el rango de frecuencias, como exige la fórmula de Kramers-Kronig, es necesario realizar aproximaciones.

A frecuencias altas (> 1 MHz) generalmente es seguro asumir que la impedancia está dominada por la resistencia óhmica del electrolito, aunque a menudo se observan artefactos de inductancia .

A bajas frecuencias, la prueba KK puede utilizarse para verificar si los datos experimentales son fiables. En la práctica con baterías, los datos obtenidos con experimentos de duración inferior a un minuto suelen no superar la prueba para frecuencias inferiores a 10 Hz. Por lo tanto, se debe tener cuidado al interpretar dichos datos. [23]

En la práctica de la electroquímica, debido al rango finito de frecuencias de los datos experimentales, se utiliza la relación Z-HIT en lugar de las relaciones de Kramers-Kronig. A diferencia de Kramers-Kronig (que está escrita para un rango de frecuencias infinito), la integración Z-HIT requiere solo un rango de frecuencias finito. Además, la Z-HIT es más robusta con respecto al error en Re e Im de la impedancia, ya que su precisión depende principalmente de la precisión de los datos de fase.

Véase también

Referencias

Citas

  1. ^ John S. Toll (1956). "Causalidad y la relación de dispersión: fundamentos lógicos". Physical Review . 104 (6): 1760–1770. Código Bibliográfico :1956PhRv..104.1760T. doi :10.1103/PhysRev.104.1760.
  2. ^ R. de L. Kronig (1926). "Sobre la teoría de la dispersión de rayos X". J. Opt. Soc. Am . 12 (6): 547–557. doi :10.1364/JOSA.12.000547.
  3. ^ HA Kramers (1927). "La difusión de la luz par les atomes". Atti Cong. Interno. Fisici, (Transacciones del Congreso del Centenario de la Volta) Como . 2 : 545–557.
  4. ^ G. Arfken (1985). Métodos matemáticos para físicos . Orlando: Academic Press. ISBN 0-12-059877-9.
  5. ^ John David Jackson (1999). Electrodinámica clásica. Wiley. págs. 332-333. ISBN 0-471-43132-X.
  6. ^ Hu, Ben Yu-Kuang (1989-09-01). "Kramers–Kronig en dos líneas". American Journal of Physics . 57 (9): 821. Bibcode :1989AmJPh..57..821H. doi :10.1119/1.15901. ISSN  0002-9505.
  7. ^ Stephen H. Hall; Howard L. Heck. (2009). Integridad de señal avanzada para diseños digitales de alta velocidad. Hoboken, NJ: Wiley. pp. 331–336. ISBN 978-0-470-19235-1.
  8. ^ Colin Warwick. "Comprender la relación Kramers-Kronig mediante una prueba gráfica" (PDF) .
  9. ^ por John Bechhoefer (2011). "Kramers–Kronig, Bode y el significado del cero". American Journal of Physics . 79 (10): 1053–1059. arXiv : 1107.0071 . Código Bibliográfico :2011AmJPh..79.1053B. doi :10.1119/1.3614039. S2CID  51819925.
  10. ^ Hervé Sizun (30 de marzo de 2006). Propagación de ondas de radio para aplicaciones de telecomunicaciones. Springer. Bibcode :2004rwpt.book.....S. ISBN 978-3-540-26668-6.
  11. ^ María M. Serón; Julio H. Braslavsky; Graham C. Goodwin (1997). Limitaciones fundamentales en filtrado y control (PDF) . pag. 21.
  12. ^ Fox, Mark (2010). Propiedades ópticas de los sólidos (2.ª edición). Oxford University Press . pág. 44-46. ISBN 978-0-19-957337-0.
  13. ^ Orfanidis, Sophocles J. (2016). Ondas electromagnéticas y antenas. págs. 27-29.
  14. ^ "2.7: Relaciones Kramers-Kroenig". Ingeniería LibreTexts . 2021-04-06 . Consultado el 2024-07-09 .
  15. ^ "Constantes ópticas". JA Woollam . 20 de febrero de 2019 . Consultado el 9 de julio de 2024 .
  16. ^ Chen Sun; Nikolai A. Sinitsyn (2015). "Probabilidades de transición exactas para un barrido lineal a través de una resonancia Kramers-Kronig". J. Phys. A: Math. Theor . 48 (50): 505202. arXiv : 1508.01213 . Bibcode :2015JPhA...48X5202S. doi :10.1088/1751-8113/48/50/505202. S2CID  118437244.
  17. ^ "Técnicas de elipsometría y de Kramers-Kronig". Profesor Robert B. Laughlin, Departamento de Física, Universidad de Stanford . 20 de marzo de 2007. Consultado el 9 de julio de 2024 .
  18. ^ RF Egerton (1996). Espectroscopia de pérdida de energía de electrones en el microscopio electrónico (2.ª ed.). Nueva York: Plenum Press. ISBN 0-306-45223-5.
  19. ^ Andrea Damascelli (2003). "Estudios de fotoemisión con resolución angular de los superconductores de cuprato". Rev. Mod. Phys . 75 (2): 473–541. arXiv : cond-mat/0208504 . Código Bibliográfico :2003RvMP...75..473D. doi :10.1103/RevModPhys.75.473. S2CID  118433150.
  20. ^ MM Block; RN Cahn (1985). "Dispersión elástica hacia delante de pp̅ y pp de alta energía y secciones eficaces totales". Rev. Mod. Phys . 57 (2): 563–598. Bibcode :1985RvMP...57..563B. doi :10.1103/RevModPhys.57.563.
  21. ^ A. Deur, SJ Brodsky, GF de Teramond (2019) "La estructura de espín del nucleón" Rept. Prog. Phys. 82 076201
  22. ^ Futterman, Walter I. (1962). "Ondas corporales dispersivas". Revista de investigación geofísica . 67 (13): 5279–5291. Código Bibliográfico :1962JGR....67.5279F. doi :10.1029/JZ067i013p05279.
  23. ^ Urquidi-Macdonald, Mirna; Real, Silvia; Macdonald, Digby D. (1 de octubre de 1990). "Aplicaciones de las transformadas de Kramers-Kronig en el análisis de datos de impedancia electroquímica-III. Estabilidad y linealidad". Electrochimica Acta . 35 (10): 1559–1566. doi :10.1016/0013-4686(90)80010-L. ISSN  0013-4686 . Consultado el 2 de agosto de 2023 .

Fuentes

  • Mansoor Sheik-Bahae (2005). "Fundamentos de óptica no lineal. Relaciones Kramers-Kronig en óptica no lineal". En Robert D. Guenther (ed.). Enciclopedia de óptica moderna . Ámsterdam: Academic Press. ISBN 0-12-227600-0.
  • Valerio Lucarini; Jarkko J. Saarinen; Kai-Erik Peiponen; Erik M. Vartiainen (2005). Relaciones Kramers-Kronig en la investigación de materiales ópticos . Heidelberg: Springer. Código Bib : 2005kkro.book.....L. ISBN 3-540-23673-2.
  • Frederick W. King (2009). "19–22". Transformadas de Hilbert . Vol. 2. Cambridge: Cambridge University Press. ISBN 978-0-521-51720-1.
  • JD Jackson (1975). "Sección 7.10". Electrodinámica clásica (2.ª ed.). Nueva York: Wiley. ISBN 0-471-43132-X.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Kramers–Kronig_relations&oldid=1256790851"