La red recíproca es un término asociado a los sólidos con simetría traslacional , y desempeña un papel importante en muchas áreas como la difracción de rayos X y de electrones , así como las energías de los electrones en un sólido. Surge de la transformada de Fourier de la red asociada a la disposición de los átomos. La red directa o red real es una función periódica en el espacio físico , como un sistema cristalino (normalmente una red de Bravais ). La red recíproca existe en el espacio matemático de frecuencias espaciales , conocido como espacio recíproco o espacio k , que es el dual del espacio físico considerado como un espacio vectorial, y la red recíproca es la subred de ese espacio que es dual a la red directa .
En física cuántica , el espacio recíproco está estrechamente relacionado con el espacio de momento según la proporcionalidad , donde es el vector de momento y es la constante de Planck reducida . La red recíproca de una red recíproca es equivalente a la red directa original, porque las ecuaciones que la definen son simétricas con respecto a los vectores en el espacio real y recíproco. Matemáticamente, los vectores de red directa y recíproca representan vectores covariantes y contravariantes , respectivamente.
La red recíproca es el conjunto de todos los vectores , que son vectores de onda de ondas planas en la serie de Fourier de una función espacial cuya periodicidad es la misma que la de una red directa . Cada onda plana en esta serie de Fourier tiene la misma fase o fases que difieren en múltiplos de en cada punto de la red directa (por lo que esencialmente tienen la misma fase en todos los puntos de la red directa).
La zona de Brillouin es una celda de Wigner-Seitz de la red recíproca.
El espacio recíproco (también llamado k -espacio) proporciona una forma de visualizar los resultados de la transformada de Fourier de una función espacial. Es similar en su función al dominio de frecuencia que surge de la transformada de Fourier de una función dependiente del tiempo; el espacio recíproco es un espacio sobre el cual la transformada de Fourier de una función espacial se representa en frecuencias espaciales o vectores de onda de ondas planas de la transformada de Fourier. El dominio de la función espacial en sí se conoce a menudo como espacio real. En aplicaciones físicas, como la cristalografía, tanto el espacio real como el recíproco a menudo serán bidimensionales o tridimensionales. Mientras que el número de dimensiones espaciales de estos dos espacios asociados será el mismo, los espacios diferirán en su dimensión de cantidad, de modo que cuando el espacio real tiene la dimensión longitud ( L ), su espacio recíproco tendrá longitud inversa, por lo que L −1 (el recíproco de la longitud).
El espacio recíproco entra en juego en relación con las ondas, tanto clásicas como mecanocuánticas. Debido a que una onda plana sinusoidal con amplitud unitaria se puede escribir como un término oscilatorio , con fase inicial , número de onda angular y frecuencia angular , se puede considerar como una función tanto de como (y la parte variable en el tiempo como una función tanto de como ) . Este papel complementario de y conduce a su visualización dentro de espacios complementarios (el espacio real y el espacio recíproco). La periodicidad espacial de esta onda se define por su longitud de onda , donde ; por lo tanto, el número de onda correspondiente en el espacio recíproco será .
En tres dimensiones, el término de onda plana correspondiente se convierte en , que se simplifica a en un tiempo fijo , donde es el vector de posición de un punto en el espacio real y ahora es el vector de onda en el espacio recíproco tridimensional. (La magnitud de un vector de onda se llama número de onda). La constante es la fase del frente de onda (un plano de una fase constante) a través del origen en el tiempo , y es un vector unitario perpendicular a este frente de onda. Los frentes de onda con fases , donde representa cualquier número entero , comprenden un conjunto de planos paralelos, espaciados de manera uniforme por la longitud de onda .
En general, una red geométrica es una matriz infinita y regular de vértices (puntos) en el espacio, que se puede modelar vectorialmente como una red de Bravais . Algunas redes pueden estar sesgadas, lo que significa que sus líneas primarias pueden no estar necesariamente en ángulos rectos. En el espacio recíproco, una red recíproca se define como el conjunto de vectores de onda de ondas planas en la serie de Fourier de cualquier función cuya periodicidad sea compatible con la de una red directa inicial en el espacio real. De manera equivalente, un vector de onda es un vértice de la red recíproca si corresponde a una onda plana en el espacio real cuya fase en cualquier momento dado es la misma (en realidad difiere en con un entero ) en cada vértice de la red directa.
Un enfoque heurístico para construir la red recíproca en tres dimensiones es escribir el vector de posición de un vértice de la red directa como , donde son números enteros que definen el vértice y son vectores de traslación primitivos linealmente independientes (o llamados abreviadamente vectores primitivos) que son característicos de la red. Entonces hay una onda plana única (hasta un factor de uno negativo), cuyo frente de onda a través del origen contiene los puntos de la red directa en y , y con su frente de onda adyacente (cuya fase difiere en o del frente de onda anterior que pasa por el origen) pasando por . Su vector de onda angular toma la forma , donde es el vector unitario perpendicular a estos dos frentes de onda adyacentes y la longitud de onda debe satisfacer , significa que es igual a la distancia entre los dos frentes de onda. Por lo tanto, por construcción y .
Al recorrer los índices uno por uno, el mismo método produce tres vectores de onda con , donde el delta de Kronecker es igual a uno cuando y es cero en caso contrario. Los comprenden un conjunto de tres vectores de onda primitivos o tres vectores de traslación primitivos para la red recíproca, cada uno de cuyos vértices toma la forma , donde son números enteros. La red recíproca también es una red de Bravais , ya que está formada por combinaciones enteras de los vectores primitivos, que son , , y en este caso. El álgebra simple muestra entonces que, para cualquier onda plana con un vector de onda en la red recíproca, el cambio de fase total entre el origen y cualquier punto en la red directa es un múltiplo de (que puede ser posiblemente cero si el multiplicador es cero), por lo que la fase de la onda plana con será esencialmente igual para cada vértice de la red directa, de conformidad con la definición de red recíproca anterior. (Aunque cualquier vector de onda en la red recíproca siempre toma esta forma, esta derivación es motivacional, más que rigurosa, porque ha omitido la prueba de que no existen otras posibilidades).
La zona de Brillouin es una celda primitiva (más específicamente, una celda de Wigner-Seitz ) de la red recíproca, que desempeña un papel importante en la física del estado sólido debido al teorema de Bloch . En matemáticas puras , el espacio dual de formas lineales y la red dual proporcionan generalizaciones más abstractas del espacio recíproco y la red recíproca.
Suponiendo una red de Bravais tridimensional y etiquetando cada vector de la red (un vector que indica un punto de la red) con el subíndice como 3-tuplas de números enteros,
donde es el conjunto de los números enteros y es un vector de traslación primitivo o, abreviado, vector primitivo. Si tomamos una función donde es un vector de posición desde el origen hasta cualquier posición, si sigue la periodicidad de esta red, por ejemplo, la función que describe la densidad electrónica en un cristal atómico, es útil escribirla como una serie de Fourier multidimensional.
donde ahora está el subíndice , por lo que esta es una suma triple.
Como sigue la periodicidad de la red, traduciendo por cualquier vector de red obtenemos el mismo valor, por lo tanto
Expresando lo anterior en términos de su serie de Fourier tenemos
Debido a que la igualdad de dos series de Fourier implica la igualdad de sus coeficientes, , lo que sólo se cumple cuando
Matemáticamente, la red recíproca es el conjunto de todos los vectores , que son vectores de onda de ondas planas en la serie de Fourier de una función espacial cuya periodicidad es la misma que la de una red directa como el conjunto de todos los vectores de posición de punto de red directa , y satisfacen esta igualdad para todos . Cada onda plana en la serie de Fourier tiene la misma fase (en realidad puede diferir en un múltiplo de ) en todos los puntos de la red .
Como se muestra en la sección , las series de Fourier multidimensionales pueden elegirse en la forma de donde . Con esta forma, la red recíproca como el conjunto de todos los vectores de onda para la serie de Fourier de una función espacial cuya periodicidad sigue , es en sí misma una red de Bravais ya que está formada por combinaciones enteras de sus propios vectores de traducción primitivos , y el recíproco de la red recíproca es la red original, lo que revela la dualidad de Pontryagin de sus respectivos espacios vectoriales . (Puede haber otra forma de . Cualquier forma válida de da como resultado la misma red recíproca).
Para una red bidimensional infinita, definida por sus vectores primitivos , su red recíproca se puede determinar generando sus dos vectores primitivos recíprocos, a través de las siguientes fórmulas,
donde es un entero y
Aquí se representa una matriz de rotación de 90 grados , es decir, un cuarto de vuelta. Tanto la rotación en sentido antihorario como la rotación en sentido horario se pueden utilizar para determinar la red recíproca: Si es la rotación en sentido antihorario y es la rotación en sentido horario, para todos los vectores . Por lo tanto, utilizando la permutación
Nosotros obtenemos
Cabe destacar que, en un espacio 3D, esta red recíproca 2D es un conjunto infinitamente extendido de barras de Bragg, descrito por Sung et al. [1].
Para una red tridimensional infinita , definida por sus vectores primitivos y el subíndice de números enteros , su red recíproca con el subíndice de números enteros se puede determinar generando sus tres vectores primitivos recíprocos donde es el triple producto escalar . La elección de estos es satisfacer como la condición conocida (Puede haber otra condición.) de vectores de traducción primitivos para la red recíproca derivada en el enfoque heurístico anterior y la sección de series de Fourier multidimensionales . Esta elección también satisface el requisito de la red recíproca derivada matemáticamente anteriormente. Usando la representación de vector columna de vectores primitivos (recíprocos), las fórmulas anteriores se pueden reescribir usando inversión de matriz :
Este método apela a la definición y permite la generalización a dimensiones arbitrarias. La fórmula del producto vectorial predomina en los materiales introductorios sobre cristalografía.
La definición anterior se denomina definición de "física", ya que el factor de surge naturalmente del estudio de las estructuras periódicas. Una definición esencialmente equivalente, la definición del "cristalógrafo", surge de la definición de la red recíproca . que cambia los vectores primitivos recíprocos a
y así sucesivamente para los demás vectores primitivos. La definición del cristalógrafo tiene la ventaja de que la definición de es simplemente la magnitud recíproca de en la dirección de , eliminando el factor de . Esto puede simplificar ciertas manipulaciones matemáticas y expresa las dimensiones recíprocas de la red en unidades de frecuencia espacial . Es una cuestión de gusto qué definición de la red se utiliza, siempre que no se mezclen las dos.
se escribe convencionalmente como o , llamados índices de Miller ; se reemplaza con , se reemplaza con y se reemplaza con . Cada punto de la red en la red recíproca corresponde a un conjunto de planos de la red en la red del espacio real . (Un plano de la red es un plano que cruza puntos de la red). La dirección del vector de red recíproco corresponde a la normal a los planos del espacio real. La magnitud del vector de red recíproco se da en longitud recíproca y es igual al recíproco del espaciamiento interplanar de los planos del espacio real.
La fórmula para las dimensiones se puede derivar suponiendo un espacio vectorial real dimensional con una base y un producto interno . Los vectores reticulares recíprocos se determinan de forma única mediante la fórmula . Utilizando la permutación
Se pueden determinar con la siguiente fórmula:
Aquí, la forma de volumen es la inversa del isomorfismo del espacio vectorial definido por y denota la multiplicación interna .
Se puede verificar que esta fórmula es equivalente a las fórmulas conocidas para el caso bidimensional y tridimensional utilizando los siguientes hechos: En tres dimensiones, y en dos dimensiones, , donde es la rotación de 90 grados (al igual que la forma de volumen, el ángulo asignado a una rotación depende de la elección de la orientación [2] ).
Las redes recíprocas para el sistema cristalino cúbico son las siguientes.
La red cúbica simple de Bravais , con celda primitiva cúbica de lado , tiene como recíproco una red cúbica simple con una celda primitiva cúbica de lado (o en la definición del cristalógrafo). Por lo tanto, se dice que la red cúbica es autodual, ya que tiene la misma simetría en el espacio recíproco que en el espacio real.
La red recíproca de una red FCC es la red cúbica centrada en el cuerpo (BCC), con un lado del cubo de .
Considere una celda unitaria compuesta FCC. Localice una celda unitaria primitiva de la FCC; es decir, una celda unitaria con un punto reticular. Ahora tome uno de los vértices de la celda unitaria primitiva como origen. Dé los vectores base de la red real. Luego, a partir de las fórmulas conocidas, puede calcular los vectores base de la red recíproca. Estos vectores recíprocos de la red de la FCC representan los vectores base de una red real BCC. Los vectores base de una red BCC real y la red recíproca de una FCC se parecen entre sí en dirección pero no en magnitud.
La red recíproca de una red BCC es la red FCC , con un lado cúbico de .
Se puede demostrar que sólo las redes de Bravais que tienen 90 grados entre sí (cúbica, tetragonal, ortorrómbica) tienen vectores de traslación primitivos para la red recíproca, , paralelos a sus vectores en el espacio real.
El recíproco de una red de Bravais hexagonal simple con constantes de red y es otra red hexagonal simple con constantes de red y rotada 90° alrededor del eje c con respecto a la red directa. Por lo tanto, se dice que la red hexagonal simple es autodual, ya que tiene la misma simetría en el espacio recíproco que en el espacio real. Los vectores de traslación primitivos para esta red de Bravais hexagonal simple son [3]
Una vía para llegar a la red recíproca de una colección arbitraria de átomos proviene de la idea de las ondas dispersas en el límite de Fraunhofer (larga distancia o plano focal posterior de la lente) como una suma de amplitudes al estilo Huygens de todos los puntos de dispersión (en este caso de cada átomo individual). [4] Esta suma se denota por la amplitud compleja en la ecuación siguiente, porque también es la transformada de Fourier (como función de la frecuencia espacial o la distancia recíproca) de un potencial de dispersión efectivo en el espacio directo:
Aquí g = q /(2 π ) es el vector de dispersión q en unidades cristalográficas, N es el número de átomos, f j [ g ] es el factor de dispersión atómica para el átomo j y el vector de dispersión g , mientras que r j es la posición del vector del átomo j . La fase de Fourier depende de la elección del origen de coordenadas.
Para el caso especial de un cristal periódico infinito, la amplitud dispersa F = M F h,k,ℓ de M celdas unitarias (como en los casos anteriores) resulta ser distinta de cero solo para valores enteros de , donde
cuando hay j = 1, m átomos dentro de la celda unitaria cuyos índices de red fraccionarios son respectivamente { u j , v j , w j }. Para considerar los efectos debidos al tamaño finito del cristal, por supuesto, se debe utilizar en su lugar una convolución de forma para cada punto o la ecuación anterior para una red finita.
Ya sea que la matriz de átomos sea finita o infinita, también se puede imaginar una "red recíproca de intensidad" I[ g ], que se relaciona con la red de amplitud F a través de la relación habitual I = F * F donde F * es el conjugado complejo de F. Como la transformación de Fourier es reversible, por supuesto, este acto de conversión a intensidad descarta "toda la información excepto el segundo momento" (es decir, la fase). Para el caso de una colección arbitraria de átomos, la red recíproca de intensidad es, por lo tanto:
Aquí r jk es la separación vectorial entre el átomo j y el átomo k . También se puede utilizar para predecir el efecto de la forma del nanocristalito y los cambios sutiles en la orientación del haz en los picos de difracción detectados, incluso si en algunas direcciones el cúmulo tiene solo un átomo de espesor. En el lado negativo, los cálculos de dispersión que utilizan la red recíproca consideran básicamente una onda plana incidente. Por lo tanto, después de una primera mirada a los efectos de la red recíproca (dispersión cinemática), también puede ser importante considerar los efectos de ensanchamiento del haz y dispersión múltiple (es decir, dinámica ).
En realidad, existen dos versiones en matemáticas del concepto abstracto de red dual, para una red dada L en un espacio vectorial real V , de dimensión finita .
La primera, que generaliza directamente la construcción de la red recíproca, utiliza el análisis de Fourier . Puede enunciarse simplemente en términos de la dualidad de Pontryagin . El grupo dual V ^ a V es nuevamente un espacio vectorial real, y su subgrupo cerrado L ^ dual a L resulta ser una red en V ^. Por lo tanto, L ^ es el candidato natural para la red dual , en un espacio vectorial diferente (de la misma dimensión).
El otro aspecto se ve en la presencia de una forma cuadrática Q en V ; si no es degenerada, permite una identificación del espacio dual V * de V con V . La relación de V * con V no es intrínseca; depende de una elección de medida de Haar (elemento de volumen) en V . Pero dada una identificación de los dos, que en todo caso está bien definida hasta un escalar , la presencia de Q permite hablar de la red dual con L mientras se permanece dentro de V .
En matemáticas, la red dual de una red dada L en un grupo topológico localmente compacto abeliano G es el subgrupo L ∗ del grupo dual de G que consiste en todos los caracteres continuos que son iguales a uno en cada punto de L .
En matemáticas discretas , una red es un conjunto localmente discreto de puntos descritos por todas las combinaciones lineales integrales de dim = n vectores linealmente independientes en R n . La red dual se define entonces por todos los puntos en el intervalo lineal de la red original (normalmente todos los R n ) con la propiedad de que un entero resulta del producto interno con todos los elementos de la red original. De ello se deduce que el dual de la red dual es la red original.
Además, si permitimos que la matriz B tenga columnas como vectores linealmente independientes que describen la red, entonces la matriz tiene columnas de vectores que describen la red dual.