Articulo de referencia

Condiciones de contorno periódicas

Condiciones de contorno periódicas en 2D Celda unitaria con moléculas de agua, utilizada para simular el flujo de agua. Las condiciones de contorno periódicas ( CCP ) son un con...

Condiciones de contorno periódicas en 2D
Celda unitaria con moléculas de agua, utilizada para simular el flujo de agua.

Las condiciones de contorno periódicas ( CCP ) son un conjunto de condiciones de contorno que se eligen frecuentemente para aproximar un sistema grande (infinito) mediante una pequeña parte denominada celda unitaria . Las CCP se utilizan a menudo en simulaciones por ordenador y modelos matemáticos . La topología de una CCP bidimensional es equivalente a la de un mapa del mundo en algunos videojuegos; la geometría de la celda unitaria satisface un teselado bidimensional perfecto, y después de que un objeto atraviesa un lado de la celda, reaparece en el lado opuesto con la misma velocidad. En términos topológicos, el espacio formado por las CCP bidimensionales puede considerarse como una representación de un toroide ( compactificación ). Los sistemas grandes aproximados por las CCP constan de un número infinito de celdas unitarias. En las simulaciones por ordenador, una de ellas es la caja de simulación original, y las demás son copias llamadas imágenes . Durante la simulación, solo es necesario registrar y propagar las propiedades de la caja de simulación original. La convención de imagen mínima es una forma común de contabilidad de partículas en condiciones de contorno periódicas (PBC, por sus siglas en inglés) en la que cada partícula de la simulación interactúa con la imagen más cercana de las partículas restantes.

Un ejemplo de condiciones de contorno periódicas se puede definir según funciones reales suaves.ϕ:RnorteR{\displaystyle \phi :\mathbb {R} ^{n}\to \mathbb {R} } por

metroincógnita1metroϕ(a1,incógnita2,...,incógnitanorte)=metroincógnita1metroϕ(b1,incógnita2,...,incógnitanorte),{\displaystyle {\frac {\partial ^{m}}{\partial x_{1}^{m}}}\phi (a_{1},x_{2},...,x_{n})={\frac {\partial ^{m}}{\partial x_{1}^{m}}}\phi (b_{1},x_{2},...,x_{n}),}
metroincógnita2metroϕ(incógnita1,a2,...,incógnitanorte)=metroincógnita2metroϕ(incógnita1,b2,...,incógnitanorte),{\displaystyle {\frac {\partial ^{m}}{\partial x_{2}^{m}}}\phi (x_{1},a_{2},...,x_{n})={\frac {\partial ^{m}}{\partial x_{2}^{m}}}\phi (x_{1},b_{2},...,x_{n}),}
...,{\displaystyle ...,}
metroincógnitanortemetroϕ(incógnita1,incógnita2,...,anorte)=metroincógnitanortemetroϕ(incógnita1,incógnita2,...,bnorte){\displaystyle {\frac {\partial ^{m}}{\partial x_{n}^{m}}}\phi (x_{1},x_{2},...,a_{n})={\frac {\partial ^{m}}{\partial x_{n}^{m}}}\phi (x_{1},x_{2},...,b_{n})}

para todo m = 0, 1, 2, ... y para constantesai{\displaystyle a_{i}}ybi{\displaystyle b_{i}}.

En simulaciones de dinámica molecular y modelado molecular de Monte Carlo , las PBC se aplican generalmente para calcular propiedades de gases, líquidos, cristales o mezclas en masa. [ 1 ] Una aplicación común utiliza PBC para simular macromoléculas solvatadas en un baño de disolvente explícito . Las condiciones de contorno de Born-von Karman son condiciones de contorno periódicas para un sistema especial.

En electromagnetismo, las condiciones de contorno periódicas (PBC) se pueden aplicar a diferentes tipos de mallas para analizar las propiedades electromagnéticas de estructuras periódicas. [ 2 ]

Requisitos y artefactos

Las condiciones de contorno periódicas tridimensionales (PBC) son útiles para aproximar el comportamiento de sistemas macroscópicos de gases, líquidos y sólidos. También pueden utilizarse para simular superficies planas, en cuyo caso las PBC bidimensionales suelen ser más adecuadas. Las PBC bidimensionales para superficies planas se denominan condiciones de contorno de lámina ; en este caso, se utilizan PBC para dos coordenadas cartesianas (p. ej., x e y), y la tercera coordenada (z) se extiende hasta el infinito.

Las condiciones de contorno periódicas (PBC) pueden utilizarse junto con los métodos de sumación de Ewald (por ejemplo, el método de Ewald de malla de partículas) para calcular las fuerzas electrostáticas en el sistema. Sin embargo, las PBC también introducen artefactos de correlación que no respetan la invariancia traslacional del sistema, [ 3 ] lo que requiere restricciones en la composición y el tamaño de la caja de simulación.

En las simulaciones de sistemas sólidos, el campo de deformación resultante de cualquier inhomogeneidad en el sistema se verá artificialmente truncado y modificado por el contorno periódico. De manera similar, la longitud de onda de las ondas sonoras o de choque y de los fonones en el sistema está limitada por el tamaño de la caja.

En simulaciones que contienen interacciones iónicas (de Coulomb), la carga electrostática neta del sistema debe ser cero para evitar que sume una carga infinita cuando se aplican condiciones de contorno periódicas (PBC). En algunas aplicaciones, es apropiado obtener neutralidad añadiendo iones como sodio o cloruro (como contraiones ) en cantidades adecuadas si las moléculas de interés están cargadas. A veces, incluso se añaden iones a un sistema en el que las moléculas de interés son neutras, para aproximar la fuerza iónica de la solución en la que aparecen naturalmente las moléculas. El mantenimiento de la convención de imagen mínima también requiere generalmente que un radio de corte esférico para fuerzas no enlazadas sea como máximo la mitad de la longitud de un lado de una caja cúbica. Incluso en sistemas electrostáticamente neutros, un momento dipolar neto de la celda unitaria puede introducir una energía superficial-volumen espuria, equivalente a la piroelectricidad en cristales polares . Otra consecuencia de aplicar PBC a un sistema simulado, como un líquido o un sólido, es que este sistema hipotético no tiene contacto con su "entorno", debido a que es infinito en todas las direcciones. Por lo tanto, las contribuciones de energía de largo alcance, como el potencial electrostático y, por extensión, las energías de partículas cargadas como los electrones, no se alinean automáticamente con las escalas de energía experimentales. Matemáticamente, esta ambigüedad en el nivel de energía corresponde a que la suma de la energía electrostática depende de un término de superficie que debe ser definido por el usuario del método. [ 4 ]

El tamaño de la caja de simulación también debe ser lo suficientemente grande para evitar que se produzcan artefactos periódicos debido a la topología no física de la simulación. En una caja demasiado pequeña, una macromolécula puede interactuar con su propia imagen en una caja vecina, lo que es funcionalmente equivalente a que la "cabeza" de una molécula interactúe con su propia "cola". Esto produce una dinámica altamente no física en la mayoría de las macromoléculas, aunque la magnitud de las consecuencias y, por lo tanto, el tamaño apropiado de la caja en relación con el tamaño de las macromoléculas depende de la duración prevista de la simulación, la precisión deseada y la dinámica anticipada. Por ejemplo, las simulaciones de plegamiento de proteínas que comienzan desde el estado nativo pueden experimentar fluctuaciones menores y, por lo tanto, pueden no requerir una caja tan grande como las simulaciones que comienzan desde una conformación de ovillo aleatorio . Sin embargo, los efectos de las capas de solvatación en la dinámica observada , tanto en la simulación como en el experimento , no se comprenden bien. Una recomendación común basada en simulaciones de ADN es requerir al menos 1  nm de disolvente alrededor de las moléculas de interés en cada dimensión. [ 5 ]

Implementación práctica: continuidad y convención de imagen mínima

Un objeto que ha atravesado una cara de la caja de simulación debería volver a entrar por la cara opuesta, o bien su imagen debería hacerlo. Evidentemente, es necesario tomar una decisión estratégica: ¿Debemos (A) "retornar" las partículas a la caja de simulación cuando la abandonan, o debemos (B) dejar que continúen su camino (pero calculando las interacciones con las imágenes más cercanas)? Esta decisión no afecta al desarrollo de la simulación, pero si el usuario está interesado en los desplazamientos medios, las longitudes de difusión, etc., la segunda opción es preferible.

(A) Restringir las coordenadas de las partículas al cuadro de simulación.

Para implementar un algoritmo PBC, se necesitan al menos dos pasos.

Restringir las coordenadas es una operación sencilla que se puede describir con el siguiente código, donde x_size es la longitud de la caja en una dirección (suponiendo una celda unitaria ortogonal centrada en el origen) y x es la posición de la partícula en la misma dirección:

si ( periodic_x ) entonces  si ( x < - x_size * 0.5 ) x = x + x_size si ( x >= x_size * 0.5 ) x = x - x_size fin si

La distancia y el vector entre objetos deben cumplir el criterio de imagen mínima. Esto se puede implementar según el siguiente código (en el caso de un sistema unidimensional donde dx es el vector de dirección de distancia del objeto i al objeto j):

Si ( periodic_x ) entonces dx = x ( j ) - x ( i ) si ( dx > x_size * 0.5 ) dx = dx - x_size si ( dx <= - x_size * 0.5 ) dx = dx + x_size fin si

Para las condiciones de contorno periódicas tridimensionales, ambas operaciones deben repetirse en las 3 dimensiones.

Estas operaciones se pueden escribir de forma mucho más compacta para celdas ortorrómbicas si el origen se desplaza a una esquina de la caja. Entonces, en una dimensión, tenemos para posiciones y distancias respectivamente:

! Después de actualizar x(i) sin tener en cuenta PBC: x ( i ) = x ( i ) - floor ( x ( i ) / x_size ) * x_size ! Para una caja con el origen en el vértice inferior izquierdo ! Funciona para x que se encuentran en cualquier imagen. dx = x ( j ) - x ( i ) dx = dx - nint ( dx / x_size ) * x_size

(B) No restrinja las coordenadas de la partícula.

Suponiendo una caja de simulación ortorrómbica con el origen en la esquina inferior izquierda frontal, la convención de imagen mínima para el cálculo de distancias efectivas de partículas se puede calcular con la función "entero más cercano" como se muestra arriba, aquí como código C/C++:

x_rsize = 1.0 / x_size ; // Calcular solo cuando se establece o cambia el tamaño de la cajadx = x [ j ] - x [ i ]; dx -= x_size * nearlentint ( dx * x_rsize );

La forma más rápida de realizar esta operación depende de la arquitectura del procesador. Si el signo de dx no es relevante, el método

dx = fabs ( dx ); dx -= static_cast < int > ( dx * x_rsize + 0.5 ) * x_size ;

Se descubrió que era más rápido en procesadores x86-64 en 2013. [ 6 ]

Para las células no ortorrómbicas la situación es más complicada. [ 7 ]

En las simulaciones de sistemas iónicos, pueden ser necesarias operaciones más complejas para manejar las interacciones de Coulomb de largo alcance que abarcan varias imágenes de caja, por ejemplo, la suma de Ewald .

Geometrías de celdas unitarias

La condición de contorno periódica (PBC) exige que la celda unitaria tenga una forma que se pueda teselar perfectamente en un cristal tridimensional. Por lo tanto, no se puede utilizar una gota esférica o elíptica. Un cubo o un prisma rectangular son la opción más intuitiva y común, pero pueden resultar computacionalmente costosos debido a la cantidad innecesaria de moléculas de disolvente en las esquinas, alejadas de las macromoléculas centrales. Una alternativa común que requiere menos volumen es el octaedro truncado .

Dimensión general

Para simulaciones en espacios 2D y 3D, la condición de contorno periódica cúbica es la más utilizada, ya que es la más sencilla de codificar. Sin embargo, en la simulación por computadora de sistemas de alta dimensión, la condición de contorno periódica hipercúbica puede ser menos eficiente porque las esquinas ocupan la mayor parte del espacio. En la dimensión general, la celda unitaria puede considerarse como la celda de Wigner-Seitz de un empaquetamiento reticular determinado . [ 8 ] Por ejemplo, la condición de contorno periódica hipercúbica corresponde al empaquetamiento reticular hipercúbico. Por lo tanto, se prefiere elegir una celda unitaria que corresponda al empaquetamiento denso de esa dimensión. En 4D, esta es la red D4 ; y la red E8 en 8 dimensiones. La implementación de estas condiciones de contorno periódicas de alta dimensión es equivalente a los enfoques de código de corrección de errores en la teoría de la información . [ 9 ]

Propiedades conservadas

Bajo condiciones de contorno periódicas, el momento lineal de un sistema se conserva, pero el momento angular no. La explicación convencional de esto se basa en el teorema de Noether , que dice que la conservación del momento angular se deriva de la invariancia rotacional del lagrangiano . Pero se ha demostrado que este enfoque es inconsistente: no logra explicar la ausencia de conservación del momento angular de una sola partícula que se mueve en una celda periódica. [ 10 ] El lagrangiano de la partícula es constante y, por lo tanto, invariante rotacionalmente, pero su momento angular no se conserva. Esto se debe a que el teorema de Noether generalmente se formula para sistemas cerrados. La celda periódica intercambia momento de masa, momento angular y energía con las celdas vecinas.

Cuando se aplica al conjunto microcanónico (número, volumen y energía de partículas constantes, abreviado NVE), el uso de PBC en lugar de paredes reflectantes altera ligeramente el muestreo de la simulación debido a la conservación del momento lineal total y la posición del centro de masas; este conjunto se ha denominado " conjunto de dinámica molecular " [ 11 ] o conjunto NVEPG. [ 12 ] Estas cantidades conservadas adicionales introducen artefactos menores relacionados con la definición de temperatura en mecánica estadística , la desviación de las distribuciones de velocidad de una distribución de Boltzmann y violaciones de la equipartición para sistemas que contienen partículas con masas heterogéneas . El más simple de estos efectos es que un sistema de N partículas se comportará, en el conjunto de dinámica molecular, como un sistema de N-1 partículas. Estos artefactos tienen consecuencias cuantificables para pequeños sistemas de juguete que contienen solo partículas perfectamente duras; no se han estudiado en profundidad para simulaciones biomoleculares estándar, pero dado el tamaño de dichos sistemas, los efectos serán en gran medida despreciables. [ 12 ]

Véase también

Notas

  1. Frenkel, Daan; Smit, Berend (2002). Comprensión de la simulación molecular: de los algoritmos a las aplicaciones (2.ª  ed.). San Diego. ISBN 978-0-08-051998-2OCLC 173686073 {{cite book}}: CS1 mantenimiento: falta el editor de ubicación ( enlace )
  2. Mai, W.; Li, P.; Bao, H.; Li, X.; Jiang, L.; Hu, J.; Werner, DH (abril de 2019). "DGTD basado en prismas con una condición de contorno periódica simplificada para analizar FSS con simetría D2n en una matriz rectangular bajo incidencia normal". IEEE Antennas and Wireless Propagation Letters . 18 (4): 771– 775. Bibcode : 2019IAWPL..18..771M . doi : 10.1109/LAWP.2019.2902340 . ISSN 1536-1225 . S2CID 106411612 .  
  3. Cheatham, TE; Miller, JH; Fox, T.; Darden, PA; Kollman, PA (1995). "Simulaciones de dinámica molecular en sistemas biomoleculares solvatados: el método de Ewald de malla de partículas conduce a trayectorias estables de ADN, ARN y proteínas". Journal of the American Chemical Society . 117 (14): 4193– 4194. doi : 10.1021/ja00119a045 .
  4. Kleinman, Leonard (1981). "Comentario sobre el potencial promedio de un sólido de Wigner". Physical Review B. 24 ( 12): 7412– 7414. Bibcode : 1981PhRvB..24.7412K . doi : 10.1103/PhysRevB.24.7412 . ISSN 0163-1829 . 
  5. de Souza, ON; Ornstein, RL (1997). "Efecto del tamaño de la caja periódica en la simulación de dinámica molecular acuosa de un dodecámero de ADN con el método de Ewald de malla de partículas" . Biophys J. 72 ( 6): 2395– 2397. Bibcode : 1997BpJ....72.2395D . doi : 10.1016/ s0006-3495 (97)78884-2 . PMC 1184438. PMID 9168016 .  
  6. Deiters, Ulrich K. (2013). "Codificación eficiente de la convención de imagen mínima" . Z. Phys. Chem . 227 ( 2–3 ): 345–352 . doi : 10.1524/zpch.2013.0311 . S2CID 100761423 . 
  7. Convención de imagen mínima en celdas de simulación no cúbicas
  8. Berthier, Ludovic; Charbonneau, Patrick; Kundu, Joyjit (31 de agosto de 2020). "Vestigio de dimensión finita de criticidad espinodal por encima de la transición de vidrio dinámica". Physical Review Letters . 125 (10) 108001. arXiv : 1912.11510 . Bibcode : 2020PhRvL.125j8001B . doi : 10.1103/PhysRevLett.125.108001 . PMID 32955295. S2CID 221562320 .  
  9. Conway, J.; Sloane, N. (marzo de 1982). "Cuantización y decodificación rápidas y algoritmos para cuantizadores y códigos reticulares". IEEE Transactions on Information Theory . 28 (2): 227– 232. CiteSeerX 10.1.1.392.249 . doi : 10.1109/TIT.1982.1056484 . 
  10. ^ Kuzkin, VA (2015). "Sobre el equilibrio del momento angular en sistemas de partículas con condiciones de contorno periódicas". ZAMM . 95 (11): 1290–1295 . arXiv : 1312.7008 . Código Bib : 2015ZaMM...95.1290K . doi : 10.1002/zamm.201400045 . S2CID 54880840 . 
  11. Erpenbeck, JJ; Wood, WW (1977). Berne, BJ (ed.). Mecánica estadística, parte B: Procesos dependientes del tiempo . Química teórica moderna. Vol. 6. Nueva York: Plenum. págs. 1–40 . ISBN   0-306-33506-9.
  12. 1 2 Shirts, RB; Burt, SR; Johnson, AM (2006). "Condiciones de contorno periódicas inducidas por la ruptura del principio de equipartición y otros efectos cinéticos del tamaño finito de la muestra en la simulación clásica de dinámica molecular de esferas duras" . J Chem Phys . 125 (16): 164102. Bibcode : 2006JChPh.125p4102S . doi : 10.1063/1.2359432 . PMID 17092058 . 

Referencias

  • Rapaport, DC (2004). El arte de la simulación de dinámica molecular (2.ª  ed.). Cambridge University Press. ISBN 0-521-82568-7.Véase especialmente las páginas 15-20.
  • Schlick, T. (2002). Modelado y simulación molecular: una guía interdisciplinaria . Matemáticas aplicadas interdisciplinarias. Vol.  21. Nueva York: Springer. ISBN 0-387-95404-X.Véase especialmente las páginas 272-276.