Expo Edp

Introducción Desarrollo Método numérico Estabilidad y Convergencia
Problema de Dirichelt:
Ecuación de Poisson
José Daniel Alcocer Ucedo Daniel Martin Huanuco Huamani
Naysha Yengle Gallarday Alex Nolasco Paico
Escuela Profesional de Computación Científica

Universidad Nacional de San Marcos
2 de febrero de 2021
José Daniel Alcocer Ucedo, Daniel Martin Huanuco Huamani, Naysha Yengle
Ecuación
Gallarday,
Elíptica
Alex Nolasco Paico FCM 2 de febrero de 2021 1 / 41
Índice
1 Introducción
2 Desarrollo
Identidad de Green
Desigualdad de Poincaré y Teorema de Lax Milagran
3 Método numérico
4 Estabilidad y Convergencia
Error de truncamiento
Consistencia
Estabilidad en L∞
Prueba
Convergencia L∞
Ecuación
Gallarday,
Elíptica
Introducción
Siméon Denis Poisson ,matemático, astrónomo y físico francés,

alumno de Lagrange y Laplace, el cual aporto grandemente a a la
física (elasticidad, magnetismo, calor, capilaridad, mecánica celes-
te,...) y a la matemática (teoría de números, probabilidad, series de
Fourier,..).
En este informe se estudiara uno de sus aportes el cual es la Ecua-
ción de Poisson bajo las condiciones de Dirichlet amplio uso en
electrostática, ingeniería mecánica y física teórica.
∆ϕ = f (1)
Ecuación
Gallarday,
Elíptica
Donde el ∆ es un operador diferencial de segundo orden, llamado

laplaciano el cual esta definido por:
Sea un φ ∈ Rn , y ademas φ ∈ C 2
n
X ∂2φ
∆φ = (2)
k =1
∂xk2
Con respecto a esta ecuación que se trabajara esta tiene algunos

problemas dados ciertas características como:
Ecuación
Gallarday,
Elíptica
Donde φ es una funcion definida en Ω

)
∆φ(x) = −cn ρ(x) x ∈ Ω ⊂ Rn
Problema de Poisson (3)
φ(x) = 0 x ∈ ∂Ω
Similar al anterior pero en lugar de fijar el valor de la función

incógnita sobre la frontera, fija el valor de la derivada
perpendicularmente a la superficie.
)
∆φ(x) = 0 x ∈Ω
Problema de Neumann (4)
n · ∇φ(x) = h(x) x ∈ ∂Ω
Ecuación
Gallarday,
Elíptica
Encontrar una función solución sobre un dominio Ω

)
−∆φ(x) = f x ∈Ω
Problema de Dirichlet (5)
φ(x) = 0 x ∈ ∂Ω
Ecuación
Gallarday,
Elíptica
Desarrollo
En esta capitulo se desarrollara la Ecuación de Poisson sobre
el problema de Dirichlet (5), tomando como referencia el anterior
problema mencionado la ecuación que tendremos sera: Donde
f ∈ L2 (Ω), donde se hallara u definida en Ω
(
−∆u = f en Ω ⊂ Rn
(6)
u=0 sobre ∂Ω
Donde supondremos que u ∈ H 2 (Ω), además definiremos la función

v ∈ H01 (Ω) = {v ∈ H 1 (Ω)/v = 0 en ∂Ω}.
Multiplicando la funcion v en (6) e integrando en Ω.
Z Z
−∆uv dx = fv dx (7)
Ω Ω
Ecuación
Gallarday,
Elíptica
Identidad de Green
Del teorema de la divergencia se tiene:

Z Z
∆u dx = u · n ds
Ω ∂Ω
La cual puede derivarse algunas identidades útiles

Sea vF con v : Ω → R, v ∈ C 1 (Ω), Donde F es una función con
sus derivadas parciales bien definidas.
∆(vF ) = v ∆F + ∇v · F
Aplicando integrales a ambos lados y aplicando el Teorema de diver-

gencia: Z Z Z
v ∆F dx = vF · n ds − ∇v · F
Ω ∂Ω Ω
Ecuación
Gallarday,
Elíptica
Elegimos ahora F = ∇u con u ∈ C 2 (Ω) ∩ C 1 (Ω), recordando las

identidades
∂u
∆(∇u) = ∆u, ∇u · n =
∂n
Obtenemos la identidad de Green
Z Z Z
∂u
v ∆u dx = v ds − ∇v · ∇u dx
Ω ∂Ω ∂n Ω
Ecuación
Gallarday,
Elíptica
Entonces usando la identidad de Green

Z Z Z
∂u
−∆uv dx = ∇u · ∇v dx − v ds
Ω Ω ∂Ω ∂n
y sabiendo que v /∂Ω = 0, tenemos

Z Z
−∆uv dx = ∇u · ∇v dx (8)
Ω Ω
de modo que la ecuación anterior nos queda

Z Z
∇u · ∇v dx = fv dx, ∀v ∈ H01 (Ω) (9)
Ω Ω
Ecuación
Gallarday,
Elíptica
Por lo tanto el problema (9) recibe el nombre de formulación variacio-

nal o débil, como:
 2 1
Dada f ∈ L (Ω), hallar u ∈ H0 (Ω) tal que
(10)
Z Z
 ∇u∇v dx = fv dx, ∀v ∈ H01 (Ω)
Ω Ω
Ecuación
Gallarday,
Elíptica
Existencia y Unicidad
Teorema de Lax Milagran
Sea a(, ) : V × V → R una forma bilineal, coerciva y acotada

sobre el espacio de Hilbert V. Entonces, para cada función
lineal acotada, f ∈ V 0 existe un unico u ∈ V con:
a(u, v ) = f (v ), ∀v ∈ V
Ecuación
Gallarday,
Elíptica
Lo cual es la Ecuación de Poisson en el problema de Dirichlet en el

espacio de Sobolev. Ahora veremos si existe solución y si es unica.
Definiremos:
Sea a : H01 (Ω) × H01 (Ω) → R
Definida por: Z
a(u, v ) = ∇u∇v dx
Ω
Ademas
L : H01 (Ω) → R
Definido por: Z
L(v ) = fv dx
Ω
Ecuación
Gallarday,
Elíptica
Probemos que a(u, v ) asi definido cumple que: es bilineal, continua y

coerciva.
1. Bilineal: Sea λ, µ ∈ R y u, v , w ∈ H 1 (Ω)
Z Z
a(λu + µv , w) = ∇(λu + µv )∇w dx = (λ∇u + µ∇v )∇w dx
Ω Ω
Z Z
= λ ∇u∇w dx + µ ∇v ∇w dx
Ω Ω
= λa(u, w) + µa(v , w)
Ecuación
Gallarday,
Elíptica
2. Continuidad:
Probaremos que: |a(u, v )| 6 CkukH 1 kv kH 1 , C 6 0
La continuidad se obtiene gracias a la desigualdad de
Cauchy-Schwartz, en efecto:
Z Z

|a(u, v )| = ∇u∇v dx 6 |∇u||∇v | dx
Ω Ω
Z 1/2 Z 1/2
2 2
6 |∇u| dx |∇v | dx
Ω Ω
= k∇ukL2 (Ω) k∇v kL2 (Ω)
= kukH 1 kv kH 1
0 0
La constante de continuidad es C = 1.
Ecuación
Gallarday,
Elíptica
3. Coerciva:
Probaremos que:
a(u, v ) > αkuk2H 1
0
La coercividad se obtiene por la equivalencia de norma en

H01 (Ω), por ser Ω acotado, ya que en este caso se verifica la
desigualdad de Poincaré, en efecto
Z Z
a(u, v ) = ∇u∇v dx = (∇u)2 dx = k∇uk2L2 = kuk2H 1
0
Ω Ω
Pero kuk2H 1 > 1kukH0 .

0
Donde la constante α = 1.
Ecuación
Gallarday,
Elíptica
Finalmente L : H01 (Ω) → R con L(v ) =

R
Ω
fv dx = hf , v i es linea y
continua.
(i) L es lineal:
En efecto: ∀u, v ∈ H01 (Ω), λ, α ∈ R se tiene:
Z
L(λu + µv ) = f (λu + µv ) dx
Ω
Z Z
= λ fu dx + µ fv dx
Ω Ω
= λL(u) + µL(v ).
Luego L es lineal.
Ecuación
Gallarday,
Elíptica
Desigualdad de Poincaré
Sea 1 6 p < ∞ y Ω un conjunto abierto acotado. Entonces

existe una constate C (dependiente de Ω y p) tal que
kukLp (Ω) 6 Ck∇ukLp (Ω) , ∀u ∈ H01 (Ω)
Ecuación
Gallarday,
Elíptica
(ii) L es continua:
Para f ∈ L2 (Ω), probaremos que |L(v )| 6 Ckv kH 1
0
Z Z

|L(v )| = fv dx 6
|f ||v | dx
Ω Ω
Z 1/2 Z 1/2
|f |2 dx |v |2 dx

6
Ω Ω
= kf kL2 kv kL2
= C1 kf kL2 kv kL2
6 C1 kf kL2 k∇v kL2 Desigualdad de Poincaré
= Ck∇v kL2 = Ckv kH 1 , ∀v ∈ H01 (Ω)
0
Luego L es continuo.
Ecuación
Gallarday,
Elíptica
Por tanto de (i) y (ii), L es lineal y continuo.

Por lo tanto por el teorema de Lax-Milagram se verifica que el proble-
ma variacional posee solucion única
u ∈ H01
Por lo tanto se demostró una solución del problema fuerte (7) es

solución del problema débil (5).
Recíprocamente si u ∈ H01 (Ω) es solución del problema débil, enton-
ces podemos recuperar las ecuaciones de la formulación fuerte.
Ecuación
Gallarday,
Elíptica
Diferencias Finitas
Resolveremos esta ecuacion en 1D que tiene la forma:
−k0 uxx (x) =Q(x), 0 ≤ x ≤ L

u(0) =a
u(L) =b
Ecuación
Gallarday,
Elíptica
Aproximación de la primera derivada

La idea principal del método de diferencias finitas consiste en reem-
plazar derivadas por cocientes de diferencias.
Figura: 1
Ecuación
Gallarday,
Elíptica
Aproximación de la Segunda derivada
Figura: 2
Ecuación
Gallarday,
Elíptica
Aproximación de la Segunda derivada
En general, si u ∈ C 4 se tiene que
Figura: 3
Ecuación
Gallarday,
Elíptica
Discretizacion del problema

Dividimos la barra en N subintervalos de longitud h = NL , que deter-
mina la partición: 0 = x1 < x2 < x3 < x4 ..... < xN < xN+1 = L
Figura: 4
Ecuación
Gallarday,
Elíptica
Entonces:
Figura: 5
Figura: 6
Ecuación
Gallarday,
Elíptica

Resumiendo:
Figura: 7
Queremos definir Ui de modo que Ui ≈ u(xi ). Definimos
Ecuación
Gallarday,
Elíptica
Discretización del problema
h2
Multiplicando por K0 llegamos al siguiente sistema de ecuaciones:
Figura: 9
Este sistema de ecuaciones tiene N + 1 ecuaciones y N + 1 incógnitas

U1 , U2 , U2 , ...., UN+1
Ecuación
Gallarday,
Elíptica

El mismo, puede reescribirse de la siguiente manera:
Figura: 10
Ecuación
Gallarday,
Elíptica
En forma matricial resulta:
Figura: 11
Ecuación
Gallarday,
Elíptica
Ejemplo
Aplicando un ejemplo: −u 00 (x) = sin( πx

10 ), 0 ≤ x ≤ 10, u(0) =
0, u(10) = 0 para n = 20
Ecuación
Gallarday,
Elíptica
Estabilidad
Finalmente investigamos las propiedades de convergencia de la

discretización en diferencias finitas. Como sabemos por los valores
numéricos de la EDO, para los esquemas lineales, la consistencia
más la estabilidad producirán convergencia.
Ecuación
Gallarday,
Elíptica
Conceptos básicos de la estimación de errores
Recordemos lo basico.
Sea Āx̄ = b̄ el problema continuo y Ax = b la aproximación discreta.
Entonces, definimos:
Error de aproximación: e := x̄ − x
Error de truncamiento: η := Ax̄ − b (solución exacta en esquema
numérico)
Residual (defecto): ρ := Āx − b̄ (solución discreta en problema
continuo)
Además, cuando el esquema numérico subyacente es lineal, tene-
mos:
El error de truncamiento más la estabilidad produce
convergencia.
Ecuación
Gallarday,
Elíptica
Error de truncamiento
Primero derivamos una expresión para el error de truncamiento

η (el error de discretización local), que se obtiene conectando la
solución exacta (desconocida) en el esquema numérico.
Dejar: ej = Uj − j para 1 ≤ j ≤ n
Donde j = (i )1≤i≤n = (u(xi ))1≤i≤n ∈ <n . Luego, tenemos para
1 ≤ i ≤ n:
(Ae)i = [A(U − )]i = (F − A)i = f (xi ) − (A)i
−i+1 + 2i − i−1
= −u 00 (xi ) −
h2
u(xi+1 ) − 2u(xi ) + u(xi−1 )
= − u 00 (xi )
h2
y por lo tanto:
Ae = η
Ecuación
Gallarday,
Elíptica
donde η ∈ Rn es el error de truncamiento local que surge porque

la solución exacta u no satisface el esquema numérico (es solo la
solución discreta U la que es una solución del esquema discreto). En
consecuencia, para todo 1 ≤ i ≤ n, tenemos
u(xi+1 ) − 2u(xi ) + u(xi−1 )
ηi := − u 00 (xi )
h2
Ecuación
Gallarday,
Elíptica
Consistencia
La consistencia se basa en estimaciones del error de truncamiento

local. El método habitual para trabajar es una expansión de Taylor.
Hemos establecido previamente que para f ∈ C 2 ([0, L]), tenemos
u ∈ C 4 ([0, L]). En consecuencia, podemos emplear una expansión
de Taylor hasta el orden 4 en el punto xi ,1 ≤ i ≤ n. Esto nos lleva a:
h2 00 h3 (3) h4 (4) +
u(xi+1 ) =u(xi ) + hu 0 (xi ) + u (xi ) + u (xi ) + u (τi )
2 6 24
h2 h3 (3) h4 (4) −
u(xi−1 ) =u(xi ) − hu 0 (xi ) + u 00 (xi ) − u (xi ) + u (τi )
2 6 24
Ecuación
Gallarday,
Elíptica
con τi+ ∈ [xi , xi+1 ] y τi− ∈ [xi−1 , xi ]. De ello se deduce que para todos
los 1 ≤ i ≤ n
h2 (4) + h2 (4) − h2 (4) h2 00

|ηi | = | u (τi ) + u (τi )| ≤ ||u ||c o = ||f ||c o
24 24 12 12
En el que usamos que u (4) = −f 00 . Como resultado final obtenemos:
Proposición: El error de truncamiento local de la aproximación en
diferencias finitas del problema de Poisson se puede estimar como:
1 00
||η||∞ = máx |ηi | ≤ Cf h2 , conCf = ||f ||c o
1≤i≤n 12
Ecuación
Gallarday,
Elíptica
Estabilidad en L∞
Ahora investigamos la estabilidad del esquema de diferencias finitas.
Recapitulamos la norma matricial ||.||∞ (suma máxima de filas) para
M ∈ <n,n definida por
Pn
||M||∞ = max1≤i≤n j=1 |Mij |
Además, denotamos por w(x) la solución exacta del problema en

el que f = 1 en [0, L]. La elección de f = 1 es solo por simplicidad.
Un f más general también funciona, pero requerirá más trabajo en la
siguiente prueba.
Proposición Se mantiene:
||A−1 ||∞ = ||W̄ ||∞

Y
L2
||A−1 ||∞ ≤
8
Ecuación
Gallarday,
Elíptica
Prueba
Para f = 1, la segunda derivada desaparece: f 00 = 0. De la sección 3

(consistencia) sabemos que en este caso
||η||∞ = 0
y por lo tanto
0 = Ae = A(W − W̄ )
donde W ∈ <n denota la solución discreta correspondiente a f = 1
(el vector del lado derecho completo se denota por F1 a continua-
ción). Además, denotamos W = (w(xi ))1 ≤ i ≤ n) ∈ <n la solución
continua. Por consiguiente,
A(W − W̄ ) = 0 ⇒ AW = AW̄ ⇒ F1 = AW̄ ⇒ W̄ = A−1 F1 = A−1
Ecuación
Gallarday,
Elíptica
El último paso se cumple porque trabajamos con f = 1 y por lo tanto

F1 = 1. Para 1 ≤ i ≤ n, obtenemos
Pn Pn Pn
W̄i = j=1 A−1ij (F1 )i =
−1
j=1 Aij =
−1
j=1 |Aij |
El último paso es válido porque A es una matriz M. De lo contrario,

no se nos permitiría tomar señales absolutas. Finalmente obtene-
mos:
Pn
||A−1 ||∞ = max1≤i≤n j=1 |A−1
ij | = max1≤i≤n |W̄i | = ||W̄ ||∞
La solución exacta al problema −w 00 (x) = 1 en (0, L) con condicio-

x(L − x)
nes de Dirichlet homogéneas es w(x) = , que alcanza su
2
2
L L
máximo en x = . Esto produce max(w) = y por lo tanto,
2 8
L2
||A−1 ||∞ ≤
8
Ecuación
Gallarday,
Elíptica
Convergencia L∞
Con los dos resultados anteriores, ahora podemos probar la conver-

gencia del esquema de diferencias finitas. Suponemos como antes
f ∈ C 2 ([0, L]) y obtenemos:
Proposición Para la convergencia del esquema de diferencias fini-
tas, se cumple:
L2 L2 00
||e||∞ = ||A−1 η|| ≤ ||A−1 ||∞ ||η||∞ ≤ Cf h 2 = ||f ||C o h2 = O(h2 )
8 96
donde empleamos las estimaciones de estabilidad y consistencia. en
consecuencia, tenemos convergencia cuadrática cuando h tiende 0.
Ecuación
Gallarday,
Elíptica

Expo Edp

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Expo Edp

Cargado por

Copyright:

Formatos disponibles

Introducción Desarrollo Método numérico Estabilidad y Convergencia

Escuela Profesional de Computación Científica

Siméon Denis Poisson ,matemático, astrónomo y físico francés,

Donde el ∆ es un operador diferencial de segundo orden, llamado

Con respecto a esta ecuación que se trabajara esta tiene algunos

Donde φ es una funcion definida en Ω

Similar al anterior pero en lugar de fijar el valor de la función

Encontrar una función solución sobre un dominio Ω

Donde supondremos que u ∈ H 2 (Ω), además definiremos la función

Del teorema de la divergencia se tiene:

La cual puede derivarse algunas identidades útiles

Aplicando integrales a ambos lados y aplicando el Teorema de diver-

Elegimos ahora F = ∇u con u ∈ C 2 (Ω) ∩ C 1 (Ω), recordando las

Entonces usando la identidad de Green

y sabiendo que v /∂Ω = 0, tenemos

de modo que la ecuación anterior nos queda

Por lo tanto el problema (9) recibe el nombre de formulación variacio-

Teorema de Lax Milagran

Sea a(, ) : V × V → R una forma bilineal, coerciva y acotada

Lo cual es la Ecuación de Poisson en el problema de Dirichlet en el

Probemos que a(u, v ) asi definido cumple que: es bilineal, continua y

La coercividad se obtiene por la equivalencia de norma en

Pero kuk2H 1 > 1kukH0 .

Finalmente L : H01 (Ω) → R con L(v ) =

Sea 1 6 p < ∞ y Ω un conjunto abierto acotado. Entonces

kukLp (Ω) 6 Ck∇ukLp (Ω) , ∀u ∈ H01 (Ω)

Por tanto de (i) y (ii), L es lineal y continuo.

Por lo tanto se demostró una solución del problema fuerte (7) es

Resolveremos esta ecuacion en 1D que tiene la forma:

−k0 uxx (x) =Q(x), 0 ≤ x ≤ L

Aproximación de la primera derivada

Aproximación de la Segunda derivada

Aproximación de la Segunda derivada

En general, si u ∈ C 4 se tiene que

Discretizacion del problema

Discretizacion del problema

Discretizacion del problema

Queremos definir Ui de modo que Ui ≈ u(xi ). Definimos

Discretización del problema

Este sistema de ecuaciones tiene N + 1 ecuaciones y N + 1 incógnitas

Discretización del problema

Discretización del problema

En forma matricial resulta:

Aplicando un ejemplo: −u 00 (x) = sin( πx

Finalmente investigamos las propiedades de convergencia de la

Conceptos básicos de la estimación de errores

Primero derivamos una expresión para el error de truncamiento

donde η ∈ Rn es el error de truncamiento local que surge porque

La consistencia se basa en estimaciones del error de truncamiento

h2 (4) + h2 (4) − h2 (4) h2 00

Además, denotamos por w(x) la solución exacta del problema en

||A−1 ||∞ = ||W̄ ||∞

Para f = 1, la segunda derivada desaparece: f 00 = 0. De la sección 3

El último paso se cumple porque trabajamos con f = 1 y por lo tanto

El último paso es válido porque A es una matriz M. De lo contrario,

La solución exacta al problema −w 00 (x) = 1 en (0, L) con condicio-

Con los dos resultados anteriores, ahora podemos probar la conver-

También podría gustarte