La ecuación de Poisson es una ecuación diferencial parcial elíptica de amplia utilidad en física teórica . Por ejemplo, la solución de la ecuación de Poisson es el campo potencial causado por una distribución dada de carga eléctrica o densidad de masa; conociendo el campo potencial, se puede calcular el campo electrostático o gravitacional (de fuerza) correspondiente. Es una generalización de la ecuación de Laplace , que también se ve con frecuencia en física. La ecuación recibe su nombre del matemático y físico francés Siméon Denis Poisson, quien la publicó en 1823. [1] [2]
La ecuación de Poisson es donde es el operador de Laplace , y y son funciones reales o complejas en una variedad . Por lo general, se da y se busca . Cuando la variedad es el espacio euclidiano , el operador de Laplace se denota a menudo como ∇ 2 , por lo que la ecuación de Poisson se escribe con frecuencia como
En coordenadas cartesianas tridimensionales , toma la forma
Cuando de manera idéntica, obtenemos la ecuación de Laplace .
La ecuación de Poisson se puede resolver utilizando una función de Green : donde la integral es sobre todo el espacio. En el artículo sobre la ecuación de Poisson filtrada se ofrece una exposición general de la función de Green para la ecuación de Poisson . Existen varios métodos para la solución numérica, como el método de relajación , un algoritmo iterativo.
En el caso de un campo gravitatorio g debido a un objeto masivo de densidad ρ que lo atrae , se puede utilizar la ley de gravedad de Gauss en forma diferencial para obtener la ecuación de Poisson correspondiente para la gravedad. La ley de gravedad de Gauss es
Dado que el campo gravitacional es conservativo (e irrotacional ), se puede expresar en términos de un potencial escalar ϕ :
Sustituyendo esto en la ley de Gauss, obtenemos la ecuación de Poisson para la gravedad:
Si la densidad de masa es cero, la ecuación de Poisson se reduce a la ecuación de Laplace. La función de Green correspondiente se puede utilizar para calcular el potencial a una distancia r de un punto central de masa m (es decir, la solución fundamental ). En tres dimensiones, el potencial es que es equivalente a la ley de gravitación universal de Newton .
Muchos problemas en electrostática están regidos por la ecuación de Poisson, que relaciona el potencial eléctrico φ con la densidad de carga libre , como las que se encuentran en los conductores .
Los detalles matemáticos de la ecuación de Poisson, comúnmente expresadas en unidades del SI (a diferencia de las unidades gaussianas ), describen cómo la distribución de cargas libres genera el potencial electrostático en una región dada (matemáticas) .
Comenzando con la ley de Gauss para la electricidad (también una de las ecuaciones de Maxwell ) en forma diferencial, se tiene donde es el operador de divergencia , D es el campo de desplazamiento eléctrico y ρ f es la densidad de carga libre (que describe las cargas traídas desde el exterior).
Suponiendo que el medio es lineal, isótropo y homogéneo (ver densidad de polarización ), tenemos la ecuación constitutiva donde ε es la permitividad del medio y E es el campo eléctrico .
Sustituyendo esto en la ley de Gauss y asumiendo que ε es espacialmente constante en la región de interés, obtenemos En electrostática, asumimos que no hay campo magnético (el argumento que sigue también se cumple en presencia de un campo magnético constante). [3] Entonces, tenemos que donde ∇× es el operador rotacional . Esta ecuación significa que podemos escribir el campo eléctrico como el gradiente de una función escalar φ (llamada potencial eléctrico ), ya que el rotacional de cualquier gradiente es cero. Por lo tanto, podemos escribir donde se introduce el signo menos de modo que φ se identifica como la energía potencial eléctrica por unidad de carga. [4]
La derivación de la ecuación de Poisson en estas circunstancias es sencilla. Sustituyendo el gradiente de potencial por el campo eléctrico, se obtiene directamente la ecuación de Poisson para la electrostática, que es
Para especificar la ecuación de Poisson para el potencial es necesario conocer la distribución de densidad de carga. Si la densidad de carga es cero, se obtiene la ecuación de Laplace . Si la densidad de carga sigue una distribución de Boltzmann , se obtiene la ecuación de Poisson-Boltzmann . La ecuación de Poisson-Boltzmann desempeña un papel en el desarrollo de la teoría de Debye-Hückel de soluciones electrolíticas diluidas .
Utilizando una función de Green, el potencial a una distancia r de una carga puntual central Q (es decir, la solución fundamental ) es , que es la ley de Coulomb de la electrostática. (Por razones históricas, y a diferencia del modelo de gravedad anterior, el factor aparece aquí y no en la ley de Gauss).
La discusión anterior supone que el campo magnético no varía en el tiempo. La misma ecuación de Poisson surge incluso si varía en el tiempo, siempre que se utilice el calibre de Coulomb . En esta clase más general de casos, el cálculo de φ ya no es suficiente para calcular E , ya que E también depende del potencial vectorial magnético A , que debe calcularse de forma independiente. Consulte la ecuación de Maxwell en la formulación de potencial para obtener más información sobre φ y A en las ecuaciones de Maxwell y cómo se obtiene una ecuación de Poisson adecuada en este caso.
Si existe una densidad de carga gaussiana esféricamente simétrica estática donde Q es la carga total, entonces la solución φ ( r ) de la ecuación de Poisson está dada por donde erf( x ) es la función de error . [5]
Esta solución se puede comprobar explícitamente evaluando ∇ 2 φ .
Obsérvese que para r mucho mayor que σ , se acerca a la unidad, [6] y el potencial φ ( r ) se acerca al potencial de carga puntual , como cabría esperar. Además, la función de error se acerca a 1 extremadamente rápido a medida que aumenta su argumento; en la práctica, para r > 3 σ el error relativo es menor que una parte en mil. [6]
La reconstrucción de superficies es un problema inverso . El objetivo es reconstruir digitalmente una superficie lisa a partir de una gran cantidad de puntos p i (una nube de puntos ) donde cada punto también lleva una estimación de la normal local de la superficie n i . [7] La ecuación de Poisson se puede utilizar para resolver este problema con una técnica llamada reconstrucción de superficies de Poisson. [8]
El objetivo de esta técnica es reconstruir una función implícita f cuyo valor sea cero en los puntos p i y cuyo gradiente en los puntos p i sea igual a los vectores normales n i . El conjunto de ( p i , n i ) se modela así como un campo vectorial continuo V . La función implícita f se encuentra integrando el campo vectorial V . Como no todo campo vectorial es el gradiente de una función, el problema puede tener o no solución: la condición necesaria y suficiente para que un campo vectorial suave V sea el gradiente de una función f es que el rotacional de V debe ser idénticamente cero. En caso de que esta condición sea difícil de imponer, todavía es posible realizar un ajuste de mínimos cuadrados para minimizar la diferencia entre V y el gradiente de f .
Para aplicar eficazmente la ecuación de Poisson al problema de reconstrucción de superficies, es necesario encontrar una buena discretización del campo vectorial V . El enfoque básico es limitar los datos con una cuadrícula de diferencias finitas . Para una función valorada en los nodos de dicha cuadrícula, su gradiente se puede representar como valorada en cuadrículas escalonadas, es decir, en cuadrículas cuyos nodos se encuentran entre los nodos de la cuadrícula original. Es conveniente definir tres cuadrículas escalonadas, cada una desplazada en una y solo una dirección correspondiente a los componentes de los datos normales. En cada cuadrícula escalonada realizamos una interpolación trilineal en el conjunto de puntos. Los pesos de interpolación se utilizan luego para distribuir la magnitud del componente asociado de n i en los nodos de la celda de la cuadrícula escalonada particular que contiene p i . Kazhdan y coautores brindan un método más preciso de discretización utilizando una cuadrícula de diferencias finitas adaptativa, es decir, las celdas de la cuadrícula son más pequeñas (la cuadrícula está dividida más finamente) donde hay más puntos de datos. [8] Sugieren implementar esta técnica con un octree adaptativo .
Para las ecuaciones incompresibles de Navier-Stokes , dadas por
La ecuación para el campo de presión es un ejemplo de una ecuación de Poisson no lineal: Observe que la traza anterior no es de signo definido.