En la electrostática, queremos resolver Ecuación de Poisson para el potencial eléctrico $\Phi$ .
$$\nabla^2 \Phi = 4 \pi \rho$$
Tomemos, por ejemplo, el espacio libre, así $\rho = 0$ . La ecuación resultante es Ecuación de Laplace
$$\nabla^2 \Phi = 0$$
Hay muchas soluciones, por ejemplo $\Phi = 0$ o $\Phi = \Phi_0 e^{k(ix+y)}$ u otros. Además, si $\Phi_1$ y $\Phi_2$ son ambas soluciones, entonces $\alpha \Phi_1 + \beta \Phi_2$ también es una solución.
La ecuación de Poisson tiene la misma dificultad. Si tienes cualquier solución de la ecuación de Poisson, puedes añadir cualquier solución a la ecuación de Laplace y obtener una nueva solución.
Si alguien dijera: "Acabo de lanzar una pelota; prediga su ubicación en función del tiempo", nos encontraríamos en una situación similar. Podríamos determinar una ecuación diferencial que describa el movimiento de la pelota, pero hay muchas soluciones, y no podríamos encontrar la trayectoria sin saber desde dónde se lanzó la pelota y cuál fue su velocidad inicial. Estas son las condiciones de contorno. Toman una ecuación diferencial con muchas soluciones y las reducen a una solución físicamente correcta.
En el caso de la ecuación de Poisson, un conjunto suficiente de condiciones de contorno es el potencial en cualquier lugar de la frontera del área que estamos estudiando. El "límite" puede ser un infinito, si queremos.
Por ejemplo, si hay un conductor conectado a tierra, establecemos $\Phi = 0$ en todas las partes de ese conductor, y a continuación, establecer $\Phi = 0$ en el infinito. Si podemos encontrar cualquier solución de la ecuación de Poisson que también satisfaga estas dos condiciones de contorno, será la única solución, y conoceremos el potencial en todas partes fuera del conductor.
Para demostrar este teorema de unicidad, imaginemos que hay dos soluciones, $\Phi_1$ y $\Phi_2$ a la ecuación de Poisson. Entonces $\Phi_3 = \Phi_1 - \Phi_2$ es una solución de la ecuación de Laplace, y tiene $\Phi_3 = 0$ en todos los límites. Cualquier solución de la ecuación de Laplace no tiene mínimos ni máximos locales por lo que los extremos deben ocurrir en los boudaries. Ya que todos los límites son cero, $\Phi_3 = 0$ y $\Phi_1 = \Phi_2$ .
Consideremos ahora la aplicación más sencilla del método de las imágenes. Existe una lámina conductora infinita conectada a tierra y una carga puntual $q$ sentado encima a distancia $d$ . Necesitamos encontrar cualquier solución de la ecuación de Poisson tal que $\Phi = 0$ en el infinito y a lo largo de la hoja.
Descarta la hoja momentáneamente, y considera otra carga de puntos $-q$ a distancia $2d$ de la primera, de modo que se parezca a su imagen en el espejo, con el plano donde estaba el conductor sirviendo de espejo (la carga puntual original está por encima del plano; la nueva está por debajo del plano a igual distancia).
Imagina una carga de prueba situada en el plano entre las dos cargas espejo. Como las cargas espejo tienen signos opuestos, la fuerza neta sobre la carga de prueba no tiene componente en el plano. Esto significa que el plano es una superficie equipotencial, y que la carga puntual puede desplazarse gratuitamente hasta el infinito, donde el potencial es claramente nulo. Por lo tanto, el potencial es cero en el infinito y a lo largo del plano. El $\Phi$ que se obtiene en este escenario es fácil de calcular porque es sólo el potencial de dos cargas puntuales, sin embargo, debido a que cumple con las condiciones de contorno, es también el potencial que surge de una carga puntual sentada sobre un conductor.
Este método de imágenes no es muy general. Funcionará siempre que se te ocurra una forma inteligente de establecer una carga imagen de forma que el potencial con la carga original y la carga imagen satisfaga las mismas condiciones de contorno que tu problema original. No siempre podrás encontrar una forma de hacerlo. En un caso general, tendrás que utilizar funciones de Green o métodos de solución numérica.
Referencia: Esto es principalmente del capítulo 3 de la obra de David Griffiths Introducción a la electrodinámica
1 votos
Una derivación del hecho de que el método de las imágenes funciona se basa en el teorema de unicidad para las soluciones de la ecuación de Poisson (hasta un término constante). ¿Buscas una derivación de eso, o estás dispuesto a que se utilice sin una prueba explícita? (En el primer caso, las preguntas sobre la derivación del teorema de unicidad en sí serían más apropiadas en math.SE, creo)
0 votos
@David: Sí; creo que puedo vivir dando por sentado el teorema de la unicidad. Sin embargo, el resto de la derivación es interesante :)