Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Capitulo5 PDF
Capitulo5 PDF
5.1 Introducción.
En lo sucesivo consideramos las notaciones para E.D.P. siguientes: Supongamos una E.D.P. de orden 2 para
la función u(x, y) dada por:
∂2u ∂2u ∂2u
a 2 +b +c 2 =e (5.1)
∂x ∂x∂y ∂y
donde a, b, c, d, e son funciones dependientes de (x, y, ux , uy )
Notamos por R la región del plano sobre la que se define u(x, y), ∂R es la frontera de R, R̄ es la región
cerrada R ∪ ∂R.
uij = u(xi , yj ) será el valor exacto de la solución de la E.D.P. (supuesta su existencia y unicidad)
1
2 Problemas de V.F.
Ejemplo:
En muchas situaciones las funciones a, b, c son ctes, de forma que a partir del signo de b2 −4ac se clasifican
en tres tipos estándar; a saber:
Elı́pticas si b2 − 4ac < 0
Parabólicas si b2 − 4ac = 0
Hiperbólicas si b2 − 4ac > 0
Ası́ pues, en este capı́tulo nos centraremos en el análisis numérico de algunas E.D.P. clásicas como:
Elı́pticas:
∂2u ∂2u
Ec. de Poisson: ∂x2
+ ∂y 2
= f (x, y) (distribución de temperaturas en equilibrio)
∂2u ∂2u
Ec. Laplace: ∂x2
+ ∂y 2
=0
Parabólicas:
∂u 2
Ecuación del calor-difusión: ∂t = α2 ∂∂yu2 (en dimensión 1)
∂u
En dimensión m: ∂t = ∇2 u donde ∇2 =Laplaciano para u (x1 , . . . , xm )
Hiperbólicas:
∂2u 2
Ecuación de ondas: ∂t2
= α2 ∂∂yu2
∂2u ∂2u
+ 2 = f (x, y) (x, y) ∈ R
∂x2 ∂y
(5.2)
u(x, y) = g(x, y), si (x, y) ∈ ∂R
u(x, y) es continua en R̄
donde R es un dominio abierto de R2 . En particular supongamos que R = ]0, 1[ × ]0, 1[ y tomamos una
red de M × M -nodos interiores uniformemente distribuidos; es decir, cada nodo es:
1
(xi , yj ) ≡ (ih, jh) con h = M +1 e i, j = 0, 1, . . . , M + 1
∂2u 1
2
' 2 (ui+1,j − 2uij + ui−1,j )
∂x h
2 ∂ 4 u(θi ,yj )
con error: Ex = − h12 ∂x4
∂2u 1
2
' 2 (ui,j+1 − 2uij + ui,j−1 )
∂y h
2 ∂ 4 u(xi ,ηj )
con error: Ey = − h12 ∂y 4
para i, j = 1, . . . , M
que junto a las condiciones de frontera de Dirichlet:
conduce a un sistema de M 2 ecuaciones con otras tantas incógnitas. ¿Tiene solución única el sistema
anterior?
Si observamos cada ecuación y las ordenamos en orden lexicográfico respecto de los ı́ndices de nodos
entonces podemos escribir el sistema completo como sigue:
4 Problemas de V.F.
0.8
0.6
0.4
0.2
A.v = −b+h2 F
donde,
B I 0 0 −4 1 0 0
.. ..
I B . 0 −4 .
con B = 1 0
A=
.. .. .. ..
e I = IM
0 . . I 0 . . 1
0 0 I B 0 0 1 −4 M ×M
Proposición 5.1
El sistema anterior admite solución única
Dem
Apuntes de J. Lorente 5
Basta probar que los valores propios de la matriz de coeficientes, A, son no nulos.
Mediante el conocimiento de los valores propios de las matrices de la forma A y B puede probarse que
éstos son:
2 iπ 2 jπ
λij = −4 sen + sen con i, j = 1, 2, . . . , M
2(M + 1) 2(M + 1)
como son no nulos, se tendrá que la matriz admite inversa y, por lo tanto, existe una única solución
numérica para el problema de Dirichlet.
∂u 2
= α2 ∂∂xu2 a ≤ x ≤ b, t > 0
∂t
u(a, t) = 0 = u(b, t) (5.3)
u(x, 0) = g(x) a ≤ x ≤ b
Discretización del dominio.
Consideramos una malla rectangular de puntos
xi = a + ih, i = 0, . . . , N + 1
tj = jk, j = 0, 1, . . .
tj
a xi b
Para esta discretización se obtienen distintos métodos de D.F. basados en aproximaciones numéricas de
las parciales con diferencias progresivas (P), regresivas(R) ó centradas(C) según el caso. Ası́, se tienen los
métodos siguientes (T indica variable temporal t y E indica variable espacial x):
6 Problemas de V.F.
donde r = α2 hk2 .
(b) Forma Matricial:
Vj+1 = (I − rB)Vj j = 0, 1, . . .
−1 . . . 0
2 v1j g(x1 )
..
−1 2 . . . v2j g(x2 )
.
B= .
. .
, Vj = .. con V0 = ..
.. .. . . −1 . .
0 · · · −1 2 vN j g(xN )
3. Método Crank-Nicholson.
1 1
− r (vi+1,j+1 + vi−1,j+1 ) + (1 + r)vij+1 = r (vi+1,j + vi−1,j ) + (1 − r) vij
2 2
r r
(I + B)Vj+1 = (I − B)Vj j = 0, 1, . . .
2 2
(c) Generalización (0 ≤ θ ≤ 1)
Observación: Si las condiciones de frontera en x = a y/ó x = b fuesen no nulas, los métodos anteriores
se verı́an afectados por los correspondientes términos independientes. Por ejemplo, el método de C-N
generalizado serı́a:
ut + aux = 0 x ∈ R, t > 0
(5.4)
u(x, 0) = f (x)
cuya solución es: u(x, t) = f (x − at). Además, x − at = C son las curvas caracterı́sticas de la E.D.P. (es
decir, curvas para las que la solución de la E.D.P. es constante) como se muestra en las figuras siguientes:
a<0 a>0
donde R = a hk .
Propiedades.
R
vn,j+1 = vn,j − (vn+1j − vn−1,j ) (5.6)
2
Propiedades.
3. El método es inestable ∀R 6= 0.
Este método es de gran interés por sus propiedades de orden y estabilidad. Se obtiene, usando el desarrollo
de Taylor de u(x, t) respecto de la variable t en (x, t) y teniendo en cuenta que, de la E.D.P. se tiene la
igualdad:
utt = a2 uxx
entonces, consideramos diferencias centradas para ux y uxx pero Diferencias progresivas para ut . Más
concretamente,
Apuntes de J. Lorente 9
k2 k2
u(x, t + k) = u + kut + utt + O(k 3 ) = {por la E.D.P.} = u + kaux + a2 uxx + O(k 3 ) =
2 2
u(x + h, t) − u(x − h, t) 2
= u + ak + O(h ) +
2h
ak k 2 a2
=u+ (u(x + h, t) − u(x − h, t)) + (u(x + h, t) − 2u(x, t) + u(x − h, t)) + kO(k 2 + h2 )
2h 2 h2
R R2
vn,j+1 = vn,j − (vn+1j − vn−1,j ) + (vn+1j − 2vn,j + vn−1,j ) (5.7)
2 2
Propiedades:
θ
2. El factor Neumann es: ξ(θ) = 1 − 2R2 sen2
2 − iRsen (θ)
R R2 R R2
2
− + vn−1,j+1 + 1 + R vn,j+1 + − vn+1,j+1 = vn,j (5.8)
2 2 2 2
Propiedades1 :
1
2. El factor Neumann es: ξ(θ) = 1+2R2 sen2 ( θ2 )+iRsen(θ)
3. El método es estable.
1
El método (5.8) aparece en el libro, “Numerical partial differential equations: finite difference methods” ( J. W. Thomas),
sin más deducción del mismo. Si bién éste es válido para el problema hiperbólico la propiedad de orden no es la que aparece en
dicha referencia sino las corregida aquı́. Por otra parte si se procediera a deducir un método implı́cito siguiendo lo hecho en el
caso explı́cito, se obtiene otro resultado; a saber:
R2 R2
„ « „ «
R R
vn−1,j+1 + 1 − R2 vn,j+1 +
` ´
− − + vn+1,j+1 = vn,j (5.9)
2 2 2 2
Analı́tica: es el conjunto de puntos para los que la solución exacta en (x, t) depende de ellos. Más
precisamente,
si (x, t) ∈ D(u) ⇒ Da = {x0 /x − at = x0 }
Numérica: es el asociado al método numérico en cuestión; y es, el conjunto de puntos necesarios para
llegar al punto (nh, (j + 1)k) para todos los refinamientos de red tales que R = a hk es fijo y (nh, (j + 1)k)
está en la red del refinamiento.
t
t
x x
Definición 5.1
Se dice que una E.D.P. y un método de D.F. satisfacen la condición C-F-L si Da ⊂ DN
Teorema 5.1
Se un método de D.F. para E.D.P. es convergente, entonces satisface la condición C-F-L.
Da ⊂ DN ⇔ 0 ≤ R ≤ 1