Escribir la matriz de diferencia finita de la ecuación de Poisson con condiciones de contorno de Neumann

Estoy interesado en resolver la ecuación de Poisson utilizando el enfoque de diferencias finitas. Me gustaría entender mejor cómo escribir la ecuación matricial con las condiciones de contorno de Neumann. ¿Alguien revisaría lo siguiente, es correcto?

La matriz de diferencia finita

La ecuación de Poisson,

\frac{\partial^{2} tu (X)}{\partial X^{2}} = re (X)

$\frac{\partial^2u(x)}{\partial x^2} = d(x)$

se puede aproximar mediante una ecuación matricial de diferencia finita,

\frac{1}{(Δ X)^{2}} METRO ∙ \hat{tu} = \hat{re}

$\frac{1}{(\Delta x)^2} \textbf{M}\bullet \hat u = \hat d$

donde es un matriz y y son (columna) vectores, $\textbf{M}$ $n \times n$ $\hat u$ $\hat d$ $1 \times n$

Matriz de diferencia finita de la ecuación de Poisson

Agregar una condición límite de Neumann

Una condición de límite de Neumann impone un flujo conocido en el límite (aquí lo aplicamos en el lado izquierdo donde el límite está en ), $x=0$

escribiendo esta condición límite como una diferencia finita centrada,

\frac{\partial tu (X = 0 0)}{\partial X} = σ

$\frac{\partial u(x=0)}{\partial x} = \sigma$

Error en la ecuación NÓTESE BIEN. Originalmente cometí un error aquí, firmé un error y no lo dividí por 2. Lo siguiente ha sido corregido.

\frac{{tu}_{2} - {tu}_{0 0}}{2 Δ X} = σ

$\frac{u_2 - u_0}{2\Delta x} = \sigma$

Tenga en cuenta la introducción de un punto de malla fuera del dominio original ( ). Este término puede eliminarse introduciendo la segunda ecuación, $u_0$

\frac{{tu}_{0 0} - 2 {tu}_{1} + {tu}_{2}}{(Δ X)^{2}} = {re}_{1}

$\frac{u_0 - 2u_1 + u_2}{(\Delta x)^2} = d_1$

La ecuación surge de tener más información debido a la introducción del nuevo punto de malla. Nos permite escribir la derivada doble de como el límite en términos de usando una diferencia finita centrada. $u_1$ $u_0$

La parte de la que no estoy seguro

Combinando estas dos ecuaciones puede ser eliminado. Para mostrar el funcionamiento, primero reorganicemos lo desconocido, $u_0$

{tu}_{0 0} = - 2 σ Δ X + {tu}_{2} {tu}_{0 0} = (Δ X)^{2} {re}_{1} + 2 {tu}_{1} - {tu}_{2}

$u_0 = -2\sigma\Delta x + u_2 \\ u_0 = (\Delta x)^2 d_1 + 2 u_1 - u_2$

Luego se ponen iguales y se reorganizan en la forma,

\frac{{tu}_{2} - {tu}_{1}}{(Δ X)^{2}} = \frac{{re}_{1}}{2} + \frac{σ}{Δ X}

$\frac{u_2 - u_1}{(\Delta x)^2} = \frac{d_1}{2} + \frac{\sigma}{\Delta x}$

$u$ $(\Delta x)^2$

Finalmente, usando esta ecuación como la primera fila de la matriz,

Ecuación de Poisson con una condición de contorno de Neumann en el lado izquierdo (corregida)

Algunas reflexiones finales

¿Es correcta esta matriz final?
¿Podría haber usado un mejor enfoque?
¿Hay una forma estándar de escribir esta matriz?

finite-difference boundary-conditions poisson banded-matrix boyfarrell
fuente

2 Δ x

$2 \Delta x$

u_{0} = - σ Δ x + u_{2}

$u_0 = - \sigma \Delta x + u_2$

Esto se resuelve bastante bien en el texto de diferencias finitas de LeVeque , capítulo 2.

David Ketcheson

Estos problemas también están bien explicados en scientificpython.net/1/post/2013/01/…

Evgeni Sergeev

¿podría ver esto scicomp.stackexchange.com/questions/14306/…

usumdelphini

Respuestas:

Creo que estás en el camino correcto. Si corrige sus errores, se verá muy similar a http://www.math.toronto.edu/mpugh/Teaching/Mat1062/notes2.pdf .

vanCompute
fuente

Gracias por los comentarios y correcciones. He actualizado mi pregunta con correcciones. Creo que es correcto ahora.

boyfarrell

$u_0$

Da un paso atrás y piensa en el problema por un segundo. Al especificar una ecuación de Laplace se afirma fundamentalmente que cada punto es el promedio de sus vecinos. Esto se visualiza comúnmente como una lámina de goma y me ayuda a pensar en estas cosas. (Poisson es similar con más o menos puntos elásticos)

Cuando especifica el valor de la superficie de la solución en los bordes más externos, está "fijando" la hoja en el espacio en esos puntos. Cuando especifica la hoja por su derivada en los bordes, hay varias soluciones que cumplen la ecuación que son traslaciones de la hoja en el espacio, manteniendo la misma forma real y, por lo tanto, derivadas.

$u_0 = 0$

meawoppl
fuente

Entonces, en general, la ecuación de Poisson se resuelve con al menos una condición límite de Dirichlet, de modo que se pueda encontrar una solución única. Supongo que tiene sentido que las condiciones de contorno de Neumann solo tengan sentido cuando se incluyen la fuente y los sumideros, de lo contrario, hay un número infinito de soluciones. Sin embargo, si tomo la ecuación de difusión, en algún momento se requieren condiciones de contorno de Neumann para la física correcta (por ejemplo, no hay flujo de la cantidad a través de un límite cuando du / dx = 0). Esto es lo que realmente me interesa. ¿Es el método anterior el enfoque correcto para aplicar BC Neumann?

boyfarrell

No puede aplicar BC Neumann en todos los lados de su documento. Si lo hace, no tendrá una solución única. Debe fijarse al menos en un lado.

vanCompute

@meawoppl: ¿Cómo se especifica el punto fijo al mismo tiempo que se resuelve una matriz directa?

jvriesem

Por lo general, solo asigna un punto a una constante, mediante el establecimiento de solo un término en una fila a 1, el resto a cero y un valor en el RHS que corresponde al plano de solución que desea ver.

meawoppl