4 votos

Es la siguiente PDE valor en la frontera problema bien planteado?

Mi Pregunta

  1. Es la siguiente Poisson valor en la frontera problema bien planteado, como se dijo?
    • Si es así, ¿cómo podría resolverlo?
    • Si no, ¿qué se necesita para estar bien planteado?
  2. Tampoco satisfacen el requisito de "compatibilidad de restricción" que se menciona en la Actualización de la sección de abajo?
  3. (Bonus!) Hay cualquier problema potencial para la solución de este numéricamente (por ejemplo, el uso de un implícito de diferencias finitas esquema de resolver para $\Phi$)?

Mis Planteamientos Hasta Ahora

He tratado de resolver este numérica en MATLAB y Mathematica. Ambos programas afirman haber resuelto el problema, pero luego de la inspección, ni el consejo de la ecuación, ni ninguna de las condiciones de contorno se aplican!

Aquí está el problema:

Es una simetría axial de Poisson problema en coordenadas esféricas.

Dominio

$0 < R_{min} \le r \le R_{max}$

$0 < \theta_{min} \le \theta \le \theta_{max} < \pi$

Consejo De La Ecuación

$2 r \frac{\partial\Phi}{\partial r} + r^2 \frac{\partial^2\Phi}{\partial r^2} + \cot \theta \frac{\partial\Phi}{\partial\theta} + \frac{\partial\Phi}{\partial\theta^2} = \frac{A}{8 \pi r^2} \csc\theta \left(1+3 \cos(2 \theta)\right) $

La constante $A$ es conocido.

Radial De Las Condiciones De Contorno

$ \frac{\partial\Phi}{\partial r} \bigg|_{r \rightarrow R_{min}} = -\frac{A \sin \theta}{4 \pi R_{min}^3}$

$ \frac{\partial\Phi}{\partial r} \bigg|_{r \rightarrow R_{max}} = -\frac{A \sin \theta}{4 \pi R_{max}^3}$

Latitudinales De Las Condiciones De Contorno

$\frac{\partial\Phi}{\partial\theta} \bigg|_{\theta \rightarrow \theta_{min}} = \frac{A \cos \left(\theta_{min}\right)}{2 \pi r^2}$

$\frac{\partial\Phi}{\partial\theta} \bigg|_{\theta \rightarrow \theta_{max}} = \frac{A \cos \left(\theta_{max}\right)}{2 \pi r^2}$

Restricción Adicional(?)

Desde $\Phi(r,\theta)$ sólo está limitado por sus derivados, su solución sólo está determinada únicamente hasta una constante aditiva. Es decir, desde la $\vec{\nabla} \Phi = \vec{\nabla} \left(\Phi + C\right)$ donde $C$ es una constante y uniforme, se debe especificar un valor para $\Phi(r,\theta)$ en algún momento vamos a llamar ($r^\star, \theta^\star$):

$\Phi(r^\star, \theta^\star) = C$

con el fin de obtener una solución única. El particular valor de $C$ es irrelevante para mí, ya que sólo estoy interesado en el gradiente de $\Phi$, de todos modos.

De fondo

  • Las ecuaciones anteriores son muy versiones simplificadas de un problema más general estoy abordando en mi investigación.
  • Físicamente, estoy utilizando el potencial escalar eléctrico para calcular el campo eléctrico en el dominio dado, que es un 2D (simetría axial) porción de una esfera.
  • Más tarde, sería interesante que el dominio de extender a los polos, pero por simplicidad (y para valores numéricos' bien!), Quiero el dominio para detener por debajo de los polos.

Actualización!

Evidentemente, el problema debe satisfacer la restricción de compatibilidad. Véase el §1.3 de este documento para más detalles. No estoy seguro de cómo se aplica a este PDE, pero me gustaría que esta para ser abordados en la respuesta.

Gracias!

1voto

TrialAndError Puntos 25444

Su ecuación es $$ L\Phi=\frac{\partial}{\partial r}r^{2}\frac{\partial\Phi}{\partial r} + \frac{1}{\sin\theta}\frac{\partial}{\partial\theta}\sin\theta\frac{\partial\Phi}{\partial\theta}=\frac{A}{8\ pi r^{2}}\frac{1}{\sin\theta}(1+3\cos(2\theta)). $$ Tratar de encontrar una solución a $\Phi_{h}$ de la ecuación anterior con condiciones de contorno homogéneas, y luego resuelve $L\Phi_{j}=0$ con condiciones de contorno homogéneas, excepto por una de las $j=1,2,3,4$ condiciones. Que daría una solución de $\Phi=\Phi_{h}+\Phi_{1}+\Phi_{2}+\Phi_{3}+\Phi_{4}$. Las soluciones de $\Phi_j$ debe ser único, y la separación de variables debe trabajar para que éstos, si usted tiene cuidado sobre el peso de las funciones que usted está utilizando.

1voto

jvriesem Puntos 92

Respuesta corta

Se debe estar bien planteado para cualquier dominio de satisfacciones $0<R_{min} < R_{max}$$0 \le \theta_{min} < \theta_{max} \le \pi$.

Por desgracia, y probablemente debido a algún error, la respuesta parece depender de si se analiza este problema en 3D (suponiendo axisymmetry) o en 2D (en un avión de la constante $\phi$)....

Respuesta larga

De ser así planteado, el problema debe satisfacer la condición de consistencia (o "compatibilidad de restricción"), que se obtiene así:

Derivación de la Compatibilidad de Restricción para la general de la ecuación de Poisson con puramente Neumann condiciones de contorno:

Dada la PDE y sus condiciones de contorno: \begin{align} \nabla^2 \Phi \;=&\; f \qquad \text{in the domain %#%#%}\\ \left(\vec{\nabla} \Phi\right) \cdot \hat{n} \;=&\; g \qquad \text{on the domain boundary %#%#%} \end{align}

  1. Empezamos por la integración de la primera ecuación en todo el dominio:

\begin{equation} \int_{\Omega} \; \nabla^2 \Phi \; dV \;=\; \int_{\Omega} \; f \; dV \end{equation}

  1. Luego podemos aplicar el teorema de la Divergencia:

\begin{align} \int_{\Omega} \; \nabla^2 \Phi \; dV \;=&\; \int_{\Omega} \vec{\nabla}\cdot \left(\vec{\nabla} \Phi\right) dV \\ =&\;\int_{\partial\Omega} \left(\vec{\nabla} \Phi\right) \cdot \hat{n} \; dA \end{align}

donde $\Omega$ es el vector unitario perpendicular hacia el exterior del dominio.

  1. Tenga en cuenta que nuestro límite de la ecuación nos dice $\partial\Omega$, y sustitución de la misma:

\begin{align} \int_{\Omega} \; \nabla^2 \Phi \; dV \;=&\; \int_{\partial\Omega} \left(\vec{\nabla} \Phi\right) \cdot \hat{n} \; dA \\ =&\;\int_{\partial\Omega} g \;dA \end{align}

  1. Las relaciones anteriores conducen a esto, la compatibilidad de restricción:

\begin{equation} \int_{\partial\Omega} g \;dA \;=\; \int_{\Omega} \; f \; dV \end{equation}

La interpretación física de esto es que la suma de las fuentes/sumideros de flujo en el interior de los saldos de la red de flujo a través de la frontera.

Cómo la Compatibilidad de Restricción se aplica a este problema:

\begin{align} f \;=\; f(r,\theta) \;=&\; \frac{A}{8 \pi r^4} \csc\theta \left(1+3 \cos(2 \theta)\right) \\ \\ g \;=\; g(r,\theta) \;=&\; \begin{cases} g_A(r) = \vec{\nabla} \Phi \cdot \left(-\hat{\theta}\right) = -\frac{A \cos (\theta_{min})}{2 \pi r^3}, & \theta = \theta_{min} \\[2ex] g_B(\theta) = \vec{\nabla} \Phi \cdot \left(+\hat{r}\right) = -\frac{A \sin (\theta)}{4 \pi R_{max}^3}, & r = R_{max} \\[2ex] g_A(r) = \vec{\nabla} \Phi \cdot \left(+\hat{\theta}\right) = \frac{A \cos (\theta_{max})}{2 \pi r^3}, & \theta = \theta_{max} \\[2ex] g_D(\theta) = \vec{\nabla} \Phi \cdot \left(-\hat{r}\right) = \frac{A \sin (\theta)}{4 \pi R_{min}^3}, & r = R_{min} \\[2ex] \end{casos} \end{align}

Dos dimensiones

El problema es simétrico, por lo que podría realizar las integrales en 3D, pero por el bien de la simplicidad, vamos a hacerlo en 2D. (Hice y obtuve el mismo resultado.)

La versión en 2D de la anterior restricción es:

\begin{equation} \int_{\partial\Omega} g \;ds \;=\; \int_{\Omega} \; f \; dA \end{equation}

Podemos calcular el 2D dominio integral de la $\hat{n}$:

\begin{align} \int_{\Omega} f \;dA \;=&\; \int_{R_{min}}^{R_{max}} \int _{\theta_{min}}^{\theta_{max}} \; f(r,\theta)\; r \; dr \; d\theta\\ =&\; \dots \\ =&\; \frac{A \left(R_{max}^2 - R_{min}^2\right)}{8 \pi R_{max}^2 R_{min}^2} \left[ 3 \cos \theta_{max} - 3 \cos \theta_{min} + 2 \ln\left(\frac{\tan\left(\theta_{max}/2\right)}{\tan\left(\theta_{min}/2\right)}\right) \right] \end{align}

Se puede también calcular la 1D límite de la integral de $\left(\vec{\nabla} \Phi\right) \cdot \hat{n} = g$ alrededor del borde rectangular:

\begin{align} \int_{\partial\Omega} g \;dA \;=&\; \int_{R_{min}}^{R_{max}} g_A(r) \; dr + \int_{\theta_{min}}^{\theta_{max}} g_B(\theta) R_{max} \; d\theta + \int_{R_{max}}^{R_{min}} g_C(r) \; dr + \int_{\theta_{max}}^{\theta_{min}} g_D(\theta) R_{min} \; d\theta\\ =&\; \dots \\ =&\; 0 \end{align}

La equiparación de los dos da: \begin{equation} 3 \cos \theta_{max} - 3 \cos \theta_{min} + 2 \ln\left(\frac{\tan\left(\theta_{max}/2\right)}{\tan\left(\theta_{min}/2\right)}\right) = 0 \end{equation}

De esto se sigue que

\begin{equation} \cos \theta_{min} - \cos \theta_{max} = \frac{2}{3} \ln\left(\frac{\tan\left(\theta_{max}/2\right)}{\tan\left(\theta_{min}/2\right)}\right) \end{equation}

Esto no tiene solución real, lo que implica que el problema no está bien planteado. Esto no es satisfactorio.

Tres dimensiones

Vamos a intentar esto en 3D, ya que el problema es simétrico. Esto no debería hacer una diferencia, pero merece la pena un tiro:

Podemos calcular el 3D dominio integral de la $f(r,\theta)$...

\begin{align} \int_{\Omega} f \;dV \;=&\; \int_0^{2 \pi}\int_{\theta_{min}}^{\theta_{max}} \int_{R_{min}}^{R_{max}} \; f(r,\theta)\; r^2 \sin\theta \; dr \; d\theta \; d\phi\\ =&\; \dots \\ =&\; \frac{A}{4} \left( \frac{R_{max}-R_{min}}{R_{max}R_{min}}\right) \big( \theta_{max}-\theta_{min} + 3 \cos\left(\theta_{max}\right) \sin\left(\theta_{max}\right) - 3 \cos\left(\theta_{min}\right) \sin\left(\theta_{min}\right)\big) \end{align}

...Y la superficie 2D integral de $g(r,\theta)$:

\begin{align} \int_{\partial\Omega} g \;dA \;=&\; \int_0^{2 \pi} \int_{R_{min}}^{R_{max}} r \sin\theta \; g_A(r) \; dr + \int_0^{2 \pi} \int_{\theta_{min}}^{\theta_{max}} r^2 \sin\theta \; g_B(\theta) R_{max} \; d\theta + \int_0^{2 \pi} \int_{R_{max}}^{R_{min}} r \sin\theta \; g_C(r) \; dr + \int_0^{2 \pi} \int_{\theta_{max}}^{\theta_{min}} r^2 \sin\theta \; g_D(\theta) R_{min} \; d\theta\\ =&\; \dots \\ =&\; \frac{A}{4} \left( \frac{R_{max}-R_{min}}{R_{max}R_{min}}\right) \big( \theta_{max}-\theta_{min} + 3 \cos\left(\theta_{max}\right) \sin\left(\theta_{max}\right) - 3 \cos\left(\theta_{min}\right) \sin\left(\theta_{min}\right)\big) \end{align}

Por inspección, podemos ver que la compatibilidad de las restricciones satisfecho. Por lo tanto, el 3D, el análisis de la compatibilidad de la restricción revela que el problema está bien planteado y tiene una única solución (hasta un addative constante) para cualquier $f(r,\theta)$.

Resumen

Desde el análisis 2D, la compatibilidad de restricción implica que no existe una física de la solución, así que el problema está mal planteado.

Desde el análisis 3D, (que es idéntica a la 2D, excepto para la integral sobre la $g(r,\theta)$), hay una infinidad de soluciones ($0 \le \theta_{min} < \theta_{max} \le \pi$) que satisfacen la restricción. Esto implica que el problema está bien planteado para cualquier ámbito físico.

Físicamente, este debe ser un bien plantea un problema. (Desde la publicación de esta pregunta, tengo otras razones para saber que esto es cierto.) Debo de haber cometido un error en mi análisis 2D con la integración de pesos o algo así. La razón por la 2D caso no es porque el elemento área de un plano de la constante de azimut es $phi$, mientras que el elemento de volumen para el 3D caso es $0 \le \theta_{min} < \theta_{max} \le \pi$. El $dA = r \; dr \; d\theta$ hace una gran diferencia para el$dV = r^2 \sin\theta \; dr \; d\theta \; d\phi$$\sin\theta$.

Aún así, rep a cualquiera que pueda encontrar el error en mi análisis de la 2D caso.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X