En física del plasma , el método de partícula en celda ( PIC ) se refiere a una técnica utilizada para resolver una determinada clase de ecuaciones diferenciales parciales . En este método, las partículas individuales (o elementos fluidos) en un marco lagrangiano se rastrean en un espacio de fase continuo , mientras que los momentos de la distribución, como las densidades y las corrientes, se calculan simultáneamente en puntos de malla eulerianos (estacionarios) .
Los métodos PIC ya estaban en uso ya en 1955, [1] incluso antes de que estuvieran disponibles los primeros compiladores Fortran . El método ganó popularidad para la simulación de plasma a finales de los años 1950 y principios de los 1960 por Buneman , Dawson , Hockney, Birdsall, Morse y otros. En aplicaciones de física del plasma , el método consiste en seguir las trayectorias de partículas cargadas en campos electromagnéticos (o electrostáticos) autoconsistentes calculados sobre una malla fija. [2]
Para muchos tipos de problemas, el método PIC clásico inventado por Buneman, Dawson, Hockney, Birdsall, Morse y otros es relativamente intuitivo y sencillo de implementar. Probablemente esto explica gran parte de su éxito, particularmente para la simulación de plasma, para la cual el método normalmente incluye los siguientes procedimientos:
Los modelos que incluyen interacciones de partículas sólo a través de campos promedio se denominan PM (partícula-malla). Las que incluyen interacciones binarias directas son PP (partícula-partícula). Los modelos con ambos tipos de interacciones se denominan PP-PM o P 3 M.
Desde los primeros días, se ha reconocido que el método PIC es susceptible a errores debido al llamado ruido de partículas discretas .[3] Este error es de naturaleza estadística y hoy en día sigue siendo menos comprendido que los métodos tradicionales de red fija, como los esquemas eulerianos o semi-lagrangianos .
Los algoritmos PIC geométricos modernos se basan en un marco teórico muy diferente. Estos algoritmos utilizan herramientas de variedad discreta, formas diferenciales de interpolación e integradores simplécticos canónicos o no canónicos para garantizar la invariancia de calibre y la conservación de la carga, el momento de energía y, lo que es más importante, la estructura simpléctica infinitamente dimensional del sistema de campo de partículas.[4] [5] Estas características deseadas se atribuyen al hecho de que los algoritmos PIC geométricos se basan en el marco teórico de campo más fundamental y están directamente relacionados con la forma perfecta, es decir, el principio variacional de la física.
Dentro de la comunidad de investigación del plasma, se investigan sistemas de diferentes especies (electrones, iones, neutros, moléculas, partículas de polvo, etc.). El conjunto de ecuaciones asociadas a los códigos PIC son, por tanto, la fuerza de Lorentz como ecuación de movimiento, resuelta en el llamado empujador o motor de partículas del código, y las ecuaciones de Maxwell que determinan los campos eléctrico y magnético , calculadas en el solucionador (de campo). .
Los sistemas reales estudiados suelen ser extremadamente grandes en cuanto al número de partículas que contienen. Para que las simulaciones sean eficientes o posibles, se utilizan las llamadas superpartículas . Una superpartícula (o macropartícula ) es una partícula computacional que representa muchas partículas reales; pueden ser millones de electrones o iones en el caso de una simulación de plasma o, por ejemplo, un elemento de vórtice en una simulación de fluido. Se permite reescalar el número de partículas, porque la aceleración de la fuerza de Lorentz depende sólo de la relación carga-masa, por lo que una superpartícula seguirá la misma trayectoria que una partícula real.
El número de partículas reales correspondientes a una superpartícula debe elegirse de manera que se puedan recopilar estadísticas suficientes sobre el movimiento de las partículas. Si hay una diferencia significativa entre la densidad de diferentes especies en el sistema (entre iones y neutros, por ejemplo), se pueden usar proporciones separadas entre real y superpartícula para ellas.
Incluso con superpartículas, el número de partículas simuladas suele ser muy grande (> 10 5 ) y, a menudo, el motor de partículas es la parte del PIC que consume más tiempo, ya que debe realizarse para cada partícula por separado. Por lo tanto, se requiere que el empujador sea de alta precisión y velocidad y se dedica mucho esfuerzo a optimizar los diferentes esquemas.
Los esquemas utilizados para el motor de partículas se pueden dividir en dos categorías, solucionadores implícitos y explícitos. Mientras que los solucionadores implícitos (por ejemplo, el esquema implícito de Euler) calculan la velocidad de las partículas a partir de los campos ya actualizados, los solucionadores explícitos utilizan sólo la fuerza anterior del paso de tiempo anterior y, por lo tanto, son más simples y rápidos, pero requieren un paso de tiempo más pequeño. En la simulación PIC se utiliza el método de salto , un método explícito de segundo orden. [6] También se utiliza el algoritmo de Boris que anula el campo magnético en la ecuación de Newton-Lorentz. [7] [8]
Para aplicaciones de plasma, el método de salto adopta la siguiente forma:
donde el subíndice se refiere a cantidades "antiguas" del paso de tiempo anterior, a cantidades actualizadas del siguiente paso de tiempo (es decir ), y las velocidades se calculan entre los pasos de tiempo habituales .
Las ecuaciones del esquema de Boris que sustituyen a las ecuaciones anteriores son:
con
y .
Debido a su excelente precisión a largo plazo, el algoritmo de Boris es el estándar de facto para hacer avanzar una partícula cargada. Se descubrió que la excelente precisión a largo plazo del algoritmo de Boris no relativista se debe al hecho de que conserva el volumen del espacio de fase, aunque no es simpléctico. El límite global del error de energía típicamente asociado con los algoritmos simplécticos todavía se mantiene para el algoritmo de Boris, lo que lo convierte en un algoritmo eficaz para la dinámica de plasmas a múltiples escalas. También se ha demostrado [9] que se puede mejorar el empuje relativista de Boris para que conserve el volumen y tenga una solución de velocidad constante en los campos E y B cruzados.
Los métodos más utilizados para resolver las ecuaciones de Maxwell (o más generalmente, ecuaciones diferenciales parciales (PDE)) pertenecen a una de las tres categorías siguientes:
Con el FDM, el dominio continuo se reemplaza por una cuadrícula discreta de puntos, sobre la cual se calculan los campos eléctricos y magnéticos . Luego, las derivadas se aproximan con diferencias entre los valores de los puntos de la cuadrícula vecinos y, por lo tanto, las PDE se convierten en ecuaciones algebraicas.
Usando FEM, el dominio continuo se divide en una malla discreta de elementos. Las PDE se tratan como un problema de valores propios e inicialmente se calcula una solución de prueba utilizando funciones básicas que están localizadas en cada elemento. La solución final se obtiene luego mediante optimización hasta alcanzar la precisión requerida.
También los métodos espectrales, como la transformada rápida de Fourier (FFT), transforman las PDE en un problema de valores propios, pero esta vez las funciones base son de alto orden y están definidas globalmente en todo el dominio. El dominio en sí no está discretizado en este caso, permanece continuo. Nuevamente, se encuentra una solución de prueba insertando las funciones base en la ecuación de valores propios y luego se optimiza para determinar los mejores valores de los parámetros de prueba iniciales.
El nombre "partícula en celda" se origina en la forma en que las macrocantidades de plasma ( densidad numérica , densidad de corriente , etc.) se asignan a las partículas de simulación (es decir, la ponderación de las partículas ). Las partículas pueden situarse en cualquier lugar del dominio continuo, pero las macrocantidades se calculan sólo en los puntos de la malla, al igual que los campos. Para obtener las macrocantidades, se supone que las partículas tienen una "forma" determinada determinada por la función de forma
donde está la coordenada de la partícula y el punto de observación. Quizás la opción más sencilla y utilizada para la función de forma sea el llamado esquema de nube en celda (CIC), que es un esquema de ponderación de primer orden (lineal). Cualquiera que sea el esquema, la función de forma debe satisfacer las siguientes condiciones: [10] isotropía espacial, conservación de carga y precisión creciente (convergencia) para términos de orden superior.
Los campos obtenidos del solucionador de campos se determinan solo en los puntos de la cuadrícula y no se pueden usar directamente en el motor de partículas para calcular la fuerza que actúa sobre las partículas, sino que deben interpolarse mediante la ponderación de campo :
donde el subíndice etiqueta el punto de la cuadrícula. Para garantizar que las fuerzas que actúan sobre las partículas se obtengan de manera consistente, la forma de calcular macrocantidades a partir de las posiciones de las partículas en los puntos de la cuadrícula e interpolar campos desde los puntos de la cuadrícula a las posiciones de las partículas también debe ser consistente, ya que ambas aparecen en Maxwell. ecuaciones . Por encima de todo, el esquema de interpolación de campos debería conservar el impulso . Esto se puede lograr eligiendo el mismo esquema de ponderación para partículas y campos y asegurando la simetría espacial adecuada (es decir, sin fuerza propia y cumpliendo la ley de acción-reacción ) del solucionador de campos al mismo tiempo [10]
Como se requiere que el solucionador de campo esté libre de fuerzas propias, dentro de una celda el campo generado por una partícula debe disminuir al disminuir la distancia desde la partícula y, por lo tanto, se subestiman las fuerzas entre partículas dentro de las celdas. Esto se puede equilibrar con la ayuda de colisiones de Coulomb entre partículas cargadas. Simular la interacción para cada par de un sistema grande sería computacionalmente demasiado costoso, por lo que se han desarrollado varios métodos de Monte Carlo . Un método muy utilizado es el modelo de colisión binaria , [11] en el que las partículas se agrupan según su celda, luego estas partículas se emparejan aleatoriamente y finalmente los pares colisionan.
En un plasma real, muchas otras reacciones pueden desempeñar un papel, que van desde colisiones elásticas, como las colisiones entre partículas cargadas y neutras, pasando por colisiones inelásticas, como la colisión de ionización electrón-neutro, hasta reacciones químicas; cada uno de ellos requiere un tratamiento separado. La mayoría de los modelos de colisión que manejan colisiones cargadas-neutras utilizan el esquema directo de Monte-Carlo , en el que todas las partículas llevan información sobre su probabilidad de colisión, o el esquema de colisión nula , [12] [13] que no analiza todas las partículas pero En su lugar, utiliza la probabilidad máxima de colisión para cada especie cargada.
Como en todo método de simulación, también en PIC, el paso de tiempo y el tamaño de la cuadrícula deben elegirse bien, de modo que los fenómenos de escala de tiempo y longitud de interés se resuelvan adecuadamente en el problema. Además, el paso de tiempo y el tamaño de la cuadrícula afectan la velocidad y precisión del código.
Para una simulación de plasma electrostático utilizando un esquema de integración de tiempo explícito (por ejemplo, salto, que se usa más comúnmente), se deben cumplir dos condiciones importantes con respecto al tamaño de la cuadrícula y el paso de tiempo para garantizar la estabilidad de la solución:
que se puede derivar considerando las oscilaciones armónicas de un plasma unidimensional no magnetizado. Esta última condición es estrictamente requerida, pero consideraciones prácticas relacionadas con la conservación de energía sugieren utilizar una restricción mucho más estricta donde el factor 2 se reemplaza por un número de un orden de magnitud menor. El uso de es típico. [10] [14] No es sorprendente que la escala de tiempo natural en el plasma esté dada por la frecuencia inversa del plasma y la escala de longitud por la longitud de Debye .
Para una simulación explícita de plasma electromagnético, el paso de tiempo también debe satisfacer la condición CFL :
donde , y es la velocidad de la luz.
Dentro de la física del plasma, la simulación PIC se ha utilizado con éxito para estudiar las interacciones láser-plasma, la aceleración de electrones y el calentamiento de iones en la ionosfera auroral , la magnetohidrodinámica , la reconexión magnética , así como el gradiente de temperatura de iones y otras microinestabilidades en tokamaks , además de las descargas de vacío . y plasmas polvorientos .
Los modelos híbridos pueden utilizar el método PIC para el tratamiento cinético de algunas especies, mientras que otras especies (que son maxwellianas ) se simulan con un modelo fluido.
Las simulaciones PIC también se han aplicado fuera de la física del plasma a problemas de mecánica de sólidos y fluidos .[15] [16]
{{cite journal}}
: Cite journal requires |journal=
(help)