Método de Diferencias Finitas Universidad de Oviedo

20-12-2019 Examen Final Facultad de Ciencias

El examen dura 3 horas. Es necesario detallar todos los cálculos.

Se prohíbe el uso de cualquier material de consulta o dispositivo electrónico

Problema 1. Sean c, f ∈ C 0 ([0, 1]), κ ∈ C 1 ([0, 1]) y β ∈ R. Suponemos que c es no negativa y

no idénticamente nula y que κ(x) ≥ κ0 > 0 en todo [0, 1]. Buscamos u solución de
′
− (κ(x)u′ ) + c(x)u = f (x) en (0, 1)
u(0) = 0, κ(1)u′ (1) = β.

1
1 (a) Consideramos N ∈ N, h = , {xi = ih, i = 0, . . . , N } y denotamos κi+ 1 := κ(xi + h2 ).
N 2

Buscamos {ui ≃ u(xi ), 0 ≤ i ≤ N } solución de

−κi− 1 ui−1 + (κi− 1 + κi+ 1 )ui − κi+ 1 ui+1

2 2 2 2
+ c(xi )ui = f (xi ) 1 ≤ i ≤ N − 1
h2 ! "
uN − uN −1 h h κ′ (xN ) h
u0 = 0, κ(xN ) + c(xN )uN = 1 + β + f (xN ).
h 2 2 κ(xN ) 2
Estudiar el error de consistencia del esquema y determinar su orden.

Solución:
Para 1 ≤ i ≤ N − 1, hemos visto en el problema 5 del primer tema que κ(x)u′′′ (x)
es de clase C 1 ([0, 1]) y κ(x)u′ (x) es de clase C 3 ([0, 1]) entonces

−κi− 1 u(xi−1 ) + (κi− 1 + κi+ 1 )u(xi ) − κi+ 1 u(xi+1 )

ri = 2 2 2 2
+c(xi )u(xi )−f (xi ) = O(h2 ).
h2
Por otra parte,

u(1) − u(1 − h) h hκ′ (1) h

rN = κ(1) + c(1)u(1) − (1 + )β − f (1)
h 2 2κ(1) 2
! "
h h 2
h hκ′ (1) h
= κ(1) u′ (1) − u′′ (1) + u′′′ (1 − ρh) + c(1)u(1) − (1 + )β − f (1)
2 6 2 2κ(1) 2
h
= (−κ(1)u′′ (1) + c(1)u(1) − κ′ (1)u′ (1) − f (1)) + O(h2 )
2
h
= (−(κ(x)u′ (x))′ |x=1 + c(1)u(1) − f (1)) + O(h2 ) = O(h2 ).
2

2 (b) Analizar la convergencia del esquema en la norma & · &∞ .

Solución:
sea Lh : RN +1 → RN el operador definido para todo v = (vi ) ∈ RN +1 por

−κi− 1 vi−1 + (κi− 1 + κi+ 1 )vi − κi+ 1 vi+1

(Lh v)i := 2 2 2 2
+ c(xi )vi , 1 ≤ i ≤ N − 1,
h2
y
vN − vN −1 h
(Lh v)N = κ(xN ) + c(xN )vN .
h 2
Vamos a probar que si v ∈ RN +1 es tal que Lh v ≤ 0 entonces máx0≤i≤N vi ≤
máx{0, v0 }. Si vi ≤ 0 para todo 0 ≤ i ≤ N no hay nada que demostrar. Supongamos
entonces que vj = máx0≤i≤N vi > 0 con 0 < j < N . Por hipótesis,
−κj− 1 vj−1 + (κj− 1 + κj+ 1 )vj − κj+ 1 vj+1
2 2 2 2
+ c(xj )vj = (Lh (v))j ≤ 0
h2
y por tanto (dado que c(xj )vj ≥ 0)
κj+ 1 κj− 1
vj ≤ 2
vj+1 + 2
vj−1
κj+ 1 + κj− 1 κj+ 1 + κj− 1
2 2 2 2

lo que implica que vj = vj+1 = vj−1 . Repitiendo el proceso deducimos que todas las
componentes de v son iguales y por tanto v0 = máxi vi .
Finalmente, si vN = máx0≤i≤N vi > 0
vN − vN −1 h
κ(xN ) + c(xN )vN = (Lh v)N ≤ 0,
h 2
resulta que vN = vN#−1 , lo que conduce a la misma conclusión que antes.
x
2(2 − t)
La función w(x) = dt es solución del problema
0 κ(t)
$ %′
− κ(x) w′ (x) = 2 w(0) = 0 κ(1)w′ (1) = 2.
Es fácil comprobar que 0 < !1 2 < w(x) ≤ 4
κ0
en [0, 1]. Sea w ∈ RN +1 definido
0 κ(x)dx
por (w)i := w(xi ), i = 0, · · · , N . Por construcción existe una constante C > 0
independiente de h tal que
N −1
máx |(Lh w)i − c(xi )w(xi ) − 2| ≤ C1 h2 .
i=1

En particular, (Lh w)i ≥ 2 − C1 h2 , ∀i = 1, · · · , N − 1, lo que implica que

&
(Lh w)i ≥ 1 ∀i = 1, · · · , N − 1, si h ≤ 1/ C1 .
Del mismo modo, |(Lh w)N − h2 c(1)w(1) − 2| ≤ C2 h y obtenemos también que
(Lh w)N ≥ 1 si h ≤ 1/C2 .
Dado e = (ei ) ∈ RN +1 , consideramos v ± = ±e−&L
√ h e&∞ w. La propiedad (L±h w)i ≥
1 para todo 1 ≤ i ≤ N y ∀h ≤ h0 := mı́n{1/ C 1 , 1/C2 } implica que Lh v ≤ 0 .
Por lo tanto,
(v ± )i ≤ máx((v ± )0 , 0) = máx(±e0 , 0) = |e0 | 0 ≤ i ≤ N ∀h ≤ h0 .
Por definición de v ± , esto significa que para todo 0 ≤ i ≤ N y ∀h ≤ h0
4
±ei ≤ |e0 | + &Lh e&∞ w(xi ) ≤ |e0 | + &Lh e&∞ , ∀h ≤ h0 .
κ0
Aplicando la desigualdad anterior al vector eh ∈ RN +1 definido por (eh )i = u(xi ) −
ui , i = 0, · · · , N y teniendo en cuenta que
Lh eh = r h ,
siendo r h = (ri )1≤i≤N el vector que representa el error de consistencia, obtenemos
la estimación
3
&eh &∞ ≤ &r h &∞ , ∀h ≤ h0 ,
κ0
y el apartado anterior implica la convergencia cuadrática del esquema.

Page 2
 Problema 2. Dados 0 < h < 1, L ∈ N y T > 0, consideramos xj = jh, j ∈ Z y tk = kτ ,
k = 0, . . . , L, con τ := TL . Para k = 0, . . . , L − 1, consideramos la solución {uk+1
j }j∈Z del
esquema
uk+1
j − ukj ukj+2 − 3ukj+1 + 3ukj − ukj−1
+ = 0 j ∈ Z,
τ h3
uk+1 k+1
N +j = uN , ∀j ∈ Z,
con u0j = u0 (xj ), j ∈ Z, donde u0 (x) es una función 1-periódica dada.
1 (a) Deducir la e.d.p. que el esquema aproxima y determinar su orden de consistencia.

Solución:
La componentes del error de consistencia del esquema son

u(xj , tk+1 ) − u(xj , tk ) u(xj+2 , tk ) − 3u(xj+1 , tk ) + 3u(xj , tk ) − u(xj−1 , tk )

rjk+1 = + .
τ h3
Haciendo un desarrollo de Taylor centrado en tk para el primer término y en xj para
el segundo deducimos que si u es de clase C 2 en tiempo y de clase C 4 en espacio
entonces,
rjk+1 = ∂t u(xj , tk ) + ∂xxx u(xj , tk ) + O(τ ) + O(h).
Por lo tanto, el esquema aproxima con un error de consistencia de orden uno en x
y t la solución del problema

∂t u(x, t) + ∂xxx u(x, t) = 0 en R × (0, T ]

u(x + 1, t) = u(x, t) en R × (0, T ]
u(x, 0) = u0 (x) en R.

2 (b) Realizar un análisis de Fourier para analizar la convergencia en la norma & · &2,h .

Solución:
La ecuación que satisface el error ekj := u(xj , tk ) − ukj del método es

ek+1
j − ekj ek+1 k k k
j+2 − 3ej+1 + 3ej − ej−1
+ = rjk+1 (j ∈ Z)
τ h3
ek+1
j = ek+1
j+N j∈Z

con la condición inicial e0j = 0 para todo j ∈ Z. Introducimos los vectores ek :=

{ekj , j = 1, · · · , N } y r k := {rjk , j = 1, · · · , N } y les asignamos las funciones
constantes a trozos y 1-periódicas ek (x) y rk (x) caracterizadas por
ek (x) := ekj y rk (x) := rjk si x ∈ (xj − h/2, xj + h/2), j ∈ Z.

Usando los desarrollos de Fourier

' '
ek (x) = &kp e2ıπpx y rk (x) = ρkp e2ıπpx ,
p∈Z p∈Z

en la ecuación del error del esquema deducimos la relación de recurrencia &k+1

p =
A(p)&p + τ ρp entre los coeficientes de Fourier, donde
k k+1

Page 3
 τ 4ıπph
A(p) = 1 − (e − 3e2ıπph + 3 − e−2ıπph ).
h3
Si |A(p)| ≤ 1 para todo p ∈ Z entonces se puede seguir como es habitual a partir
de |&k+1
p | ≤ |&p | + τ |ρp | para deducir que el esquema es convergente de orden uno
k k+1

en x y t.
Veamos ahora la condición bajo la cual se cumple la condición de estabilidad. Te-
nemos que
2ıτ
A(p) = 1 − 3 (sin 3πph − 3 sin πph) eıπph
h
De la fórmula sin 3θ − 3 sin θ = −4 sin3 θ deducimos que
8ıτ 8τ 8ıτ
A(p) = 1 + 3
sin3 πph eıπph = 1 − 3 sin4 πph + 3 sin3 πph cos πph.
h h h
Po lo tanto,
! "2 ! "2
2 8τ 4 8τ 3
|A(p)| = 1 − 3 sin πph + sin πph cos πph
h h3
! "
8τ 4 8τ 2
= 1 − 3 sin πph 2 − 3 sin πph
h h

8τ
Por lo tanto |A(p)| ≤ 1 si 3 sin4 ph
2
≤ 2 para todo p, lo que implica la condición de
h
4τ
estabilidad 3 ≤ 1.
h

Problema 3. Sean f y u0 dos funciones de clase C ∞ en R. Consideramos la ley de conservación

∂t u + ∂x (f (u)) = 0 (x, t) ∈ R × (0, ∞)
(1)
u(x, 0) = u (x) x ∈ R.
0

2 (a) Calcular el mayor tmax > 0 para el que (1) tiene una solución clásica en R × [0, tmax ).

Solución:
Resuelto en clase de teoría.
(
$1 % 0 si x < 1
2 (b) Resolver ∂t u + ∂x 2
u(2 − u) = 0 en R × (0, ∞) con u(x, 0) = 1 si 1 < x < 2 .
0 si x > 2

Solución:
u
Por definición, f (u) = (2 − u), c(u) := f ′ (u) = 1 − u y f ′′ (u) = −1. Por lo
2
tanto, un choque nace en (1, 0) y una onda de rarefacción en (2, 0). Aplicamos la
condición de Rankine-Hugoniot para deducir que el choque se propaga a lo largo de
t
la linea ξ(t) = + 1. las rectas caracterśticas que nacen en el intervalo (−∞, 1) son
2
x = t + ξ, ξ < 1. las rectas caracterśticas que nacen en el intervalo (1, 2) son x = ξ,
1 < ξ < 2.

Page 4
Las rectas características que nacen en el intervalo (2, ∞) son x = t + ξ, ξ > 2. En
el hueco correspondiente al abanico la solución viene dada por
x−2 x−2
u(x, t) = c−1 ( )=1− .
t t
Un nuevo choque, que pone en contacto el abanico con la zona u ≡ 0 que se propaga
t
desde la izquierda, nace en el punto de intersección de las rectas x = 2 y x = + 1.
2
Es decir en el punto (2, 2) del plano (x, t). La solución del problema para 0 ≤ t < 2
es por tanto )
*
* 0 si x < 2t + 1
*
*
+1 si 2t + 1 < x ≤ 2
u(x, t) = x−2
*
*
* 1 − si 2 ≤ x < t + 2
*
, t
0 si x > t + 2.
Para t > 2 tenemos que aplicar de nuevo el teorema de Rankine-Hugoniot para
determinar la curva de choque que se propaga a partir del punto (2, 2). Teniendo
en cuenta que 0 = uL = f (uL ), encontramos que satisface satisface la ecuación
diferencia
! "
′ f (uR ) − f (uL ) uR 1 ξ(t) − 2 1 ξ(t) − 2
ξ (t) = =1− =1− 1− = +
uR − uL 2 2 t 2 t
√
con la condición inicial ξ(2) = 2. Se obtiene entonces ξ(t) = t + 2 − 2t y la solución
para t > 2 es
) √
*
* 0 si x < t + 2 − 2t
+ √
x−2
u(x, t) = 1 − si t + 2 − 2t < x ≤ t + 2
*
* t
,
0 si x > t + 2.

Page 5