Академический Документы
Профессиональный Документы
Культура Документы
Sea el problema:
Hallar u(x), x [a, b]
que verica u(x) = f(x) x [a, b].
El problema anterior puede escribirse en las formas alternativas...
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IIa)
a) FORMA ORIGINAL
Hallar u(x), x [a, b],
que VERIFICA r(x) = 0 x [a, b], (*)
siendo r(x) = f(x) u(x).
(*) FORMA FUERTE o STRONG FORM.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IIb1)
b) RESIDUOS PONDERADOS
Hallar u(x), x [a, b],
que VERIFICA
_
b
a
(x)r(x) dx = 0 (x), (*)
siendo r(x) = f(x) u(x).
(*) FORMA D
INIMOS CUADRADOS
Hallar u(x), x [a, b],
que MINIMIZA Q[u(x)] =
_
b
a
r(x)p(x)r(x) dx, (*)
siendo r(x) = f(x) u(x),
(*) La funci on de peso p(x) debe vericar p(x) > 0 x [a, b].
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IIc2)
que equivale al PLANTEAMIENTO VARIACIONAL
Hallar u(x), x [a, b],
que VERIFICA
dJ()
d
=0
= 0 u(x),
siendo J() =
Z
b
a
r(x) u(x)
p(x)
r(x) u(x)
dx, (*)
y por tanto
dJ()
d
=0
= 2
_
b
a
u(x)p(x)r(x) dx,
r(x) = f(x) u(x),
(*) La funci on de peso p(x) debe vericar p(x) > 0 x [a, b].
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IIc3)
. . . que equivale a decir
Hallar u(x), x [a, b],
que VERIFICA
_
b
a
u(x)
_
p(x)r(x)
_
dx = 0 u(x), (*)
siendo r(x) = f(x) u(x),
(*) Que es un planteamiento en residuos ponderados.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IIc4)
. . . o lo que es lo mismo
Hallar u(x), x [a, b],
que VERIFICA
_
b
a
(x)r(x) dx = 0 (x) = u(x)p(x), (*)
siendo r(x) = f(x) u(x).
(*) Que es un planteamiento en residuos ponderados.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IId1)
e) M
INIMA ENERG
IA
Hallar u(x), x [a, b],
que MINIMIZA c[u(x)] =
1
2
_
b
a
u(x)u(x) dx
_
b
a
u(x)f(x) dx,
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IId2)
que equivale al PLANTEAMIENTO VARIACIONAL
Hallar u(x), x [a, b],
que VERIFICA
dJ()
d
=0
= 0 u(x),
siendo J() =
1
2
Z
b
a
u(x) + u(x)
u(x) + u(x)
dx
Z
b
a
u(x) + u(x)
f(x) dx,
y por tanto
dJ()
d
=0
=
_
b
a
u(x)r(x) dx,
r(x) = f(x) u(x),
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IId3)
. . . que equivale a decir
Hallar u(x), x [a, b],
que VERIFICA
_
b
a
u(x)r(x) dx = 0 u(x), (*)
siendo r(x) = f(x) u(x),
(*) Que es un planteamiento en residuos ponderados.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Planteamientos Alternativos (IId4)
NOTA:
En este caso,
c[u(x)] =
1
2
_
Q[u(x)]
_
b
a
f(x)p(x)f(x) dx
_
, con p(x) = 1.
Por tanto, el planteamiento ser a equivalente al de Mnimos Cuadrados con
p(x) = 1.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (I)
RESIDUOS PONDERADOS (Weighted Residuals)
Hallar u(x) H
u
,
que VERIFICA
_
b
a
(x)r(x) dx = 0 (x) H
,
siendo r(x) = f(x) u(x).
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (IIa)
FUNCIONES DE PRUEBA (Trial Functions)
Sea la base de funciones de prueba
i
(x)
i=0,...,
.
Dada la aproximaci on inicial u
0
(x), buscamos una mejor aproximaci on
u(x) u
h
(x) = u
0
(x) +
i=0
i
(x), u
h
(x) H
h
u
H
u
,
u(x) u
h
(x) = u
0
(x) +
T
(x) , con
(x) =
_
0
(x)
.
.
.
(x)
_
, =
_
0
.
.
.
_
.
El residuo correspondiente a la aproximaci on u
h
(x) ser a
r
h
(x) = f(x) u
h
(x) = r
0
(x)
i=0
i
(x), con r
0
(x) = f(x) u
0
(x)
r
h
(x) = f(x) u
h
(x) = r
0
(x)
T
(x) , con r
0
(x) = f(x) u
0
(x)
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (IIb)
En general no ser a posible que u
h
(x) = u(x) x [a, b] (*), por lo que
r
h
(x) ,= 0 = no es posible que
_
b
a
(x)r
h
(x) dx = 0 (x) H
.
(*) Salvo que u(x) u
0
(x) est e contenido en el subespacio generado por las funciones de prueba.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (IIIa)
FUNCIONES DE TEST (Test Functions)
Sea la base de funciones de test
j
(x)
j=0,...,
.
Sea
h
(x) =
j=0
j
(x),
h
(x) H
h
h
(x) =
T
(x)
=
T
(x), con
(x) =
_
0
(x)
.
.
.
(x)
_
,
=
_
0
.
.
.
_
.
Nos proponemos obtener la aproximaci on u
h
(x) H
h
u
que verique
_
b
a
h
(x)r
h
(x) dx = 0
h
(x) H
h
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (IIIb)
Pero
Z
b
a
h
(x)r
h
(x) dx = 0
h
(x) H
h
Z
b
a
0
@
X
j=0
j
(x)
1
A
r
h
(x) dx = 0 {
j
}
Z
b
a
(x)
r
h
(x) dx = 0
X
j=0
j
Z
b
a
j
(x)r
h
(x) dx = 0 {
j
}
T
Z
b
a
(x)r
h
(x) dx = 0
Z
b
a
j
(x)r
h
(x) dx = 0, j=0,...,
Z
b
a
(x)r
h
(x) dx =
0.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (IVa)
Por tanto,
Z
b
a
j
(x)
r
0
(x)
X
i=0
i
(x)
!
= 0 j
Z
b
a
(x)
r
0
(x)
T
(x)
dx =
0
X
i=0
k
ji
z }| {
Z
b
a
j
(x)
i
(x) dx
i
=
f
j
z }| {
Z
b
a
j
(x)r
0
(x) dx j
K
e
z }| {
Z
b
a
(x)
T
(x) dx =
f
z }| {
Z
b
a
(x)r
0
(x) dx
X
i=0
k
ji
i
= f
j
j=0,..., K
e
=
f.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (IVb)
Luego el problema original u(x) = f(x) ha sido sustituido por el sistema (de
orden + 1)
K
=
f, con =
i
i=0,...,
y
K
e
= [k
ji
]
i=0,...,
j=0,...,
, k
ji
=
Z
b
a
j
(x)
i
(x) dx K
e
=
Z
b
a
(x)
T
(x) dx
f = {f
j
}
j=0,...,
, f
j
=
Z
b
a
j
(x)r
0
(x) dx
f =
Z
b
a
(x)r
0
(x) dx.
Posteriormente obtendremos la aproximaci on a la soluci on
u
h
(x) = u
0
(x) +
i=0
i
(x) u
h
(x) = u
0
(x) +
T
(x) .
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (Va)
M
ETODOS DE PROYECCI
ON
Los M
h
(x)r(x) dx = 0
h
(x) H
h
Z
b
a
h
(x)r
h
(x) dx = 0
h
(x) H
h
9
>
>
>
>
>
=
>
>
>
>
>
;
=
Z
b
a
h
(x)
r(x) r
h
(x)
dx = 0
h
(x) H
h
=
Z
b
a
h
(x)
u(x) u
h
(x)
dx = 0
h
(x) H
h
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (Vb)
Luego, la soluci on aproximada u
h
(x) verica
h
, u u
h
_
= 0
h
(x) H
h
, con v, e) =
_
b
a
v(x)e(x) dx.
Por tanto, . . .
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Residuos Ponderados (Vc)
. . . la soluci on aproximada u
h
(x) es
la PROYECCI
ETODO DE COLOCACI
ON PUNTUAL
j
(x) = (x x
j
), j=0,..., con x
j
[a,b], x
i
=x
j
i=j. (*)
2) M
ETODO DE COLOCACI
ON POR SUBDOMINIOS
j
(x) =
_
1, si x
j
x x
j+1
,
0, en caso contrario,
j=0,..., con a=x
0
x
1
...x
x
+1
=b.
3) M
ETODO DE BUBNOV-GALERKIN
j
(x) =
j
(x), j=0,..., H
h
= H
h
u
.
(*) Si x
j
= a o x
j
= b es preciso redenir adecuadamente la .
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Colocaci on Puntual (Ia)
COLOCACI
ON PUNTUAL
Si se eligen como funciones de test las deltas de Dirac
j
(x) = (x x
j
), j=0,..., con x
j
[a,b], x
i
=x
j
i=j,
se obtiene
K
e
= [k
ji
]
i=0,...,
j=0,...,
, k
ji
=
Z
b
a
j
(x)
i
(x) dx =
i
(x
j
)
f = {f
j
}
j=0,...,
, f
j
=
Z
b
a
j
(x)r
0
(x) dx = r
0
(x
j
) = f(x
j
) u
0
(x
j
).
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Colocaci on Puntual (Ib)
Esto es
2
6
6
4
0
(x
0
)
1
(x
0
) . . .
(x
0
)
0
(x
1
)
1
(x
1
) . . .
(x
1
)
.
.
.
.
.
.
.
.
.
0
(x
)
1
(x
) . . .
(x
)
3
7
7
5
8
>
<
>
:
1
.
.
.
9
>
=
>
;
=
=
8
>
>
<
>
>
:
f(x
0
) u
0
(x
0
)
f(x
1
) u
0
(x
1
)
.
.
.
f(x
) u
0
(x
)
9
>
>
=
>
>
;
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Colocaci on Puntual (II)
La soluci on aproximada u
h
(x) verica
_
b
a
j
(x)r
h
(x) dx =
_
b
a
(x x
j
)r
h
(x) dx = r
h
(x
j
) = 0
u
h
(x
j
) = f(x
j
), j = 0, . . . , .
por lo que se realiza una INTERPOLACI
ON PURA.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Colocaci on por Subdominios (Ia)
COLOCACI
ON POR SUBDOMINIOS
Si se eligen como funciones de test las funciones en escal on
j
(x) =
_
1, si x
j
x x
j+1
,
0, en caso contrario,
j=0,..., con a=x
0
x
1
...x
x
+1
=b.
se obtiene
K
e
= [k
ji
]
i=0,...,
j=0,...,
, k
ji
=
Z
b
a
j
(x)
i
(x) dx =
R
x
j+1
x
j
i
(x) dx
f = {f
j
}
j=0,...,
, f
j
=
Z
b
a
j
(x)r
0
(x) dx =
R
x
j+1
x
j
[f(x) u
0
(x)] dx.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Colocaci on por Subdominios (Ib)
Esto es
2
6
6
6
6
6
6
6
6
4
Z
x
1
x
0
0
(x) dx
Z
x
1
x
0
1
(x) dx . . .
Z
x
1
x
0
(x) dx
Z
x
2
x
1
0
(x) dx
Z
x
2
x
1
1
(x) dx . . .
Z
x
2
x
1
(x) dx
.
.
.
.
.
.
.
.
.
Z
x
+1
x
0
(x) dx
Z
x
+1
x
1
(x) dx . . .
Z
x
+1
x
(x) dx
3
7
7
7
7
7
7
7
7
5
8
>
<
>
:
1
.
.
.
9
>
=
>
;
=
=
8
>
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
>
:
Z
x
1
x
0
[f(x) u
0
(x)] dx
Z
x
2
x
1
[f(x) u
0
(x)] dx
.
.
.
Z
x
+1
x
[f(x) u
0
(x)] dx
9
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
;
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Colocaci on por Subdominios (II)
La soluci on aproximada u
h
(x) verica
_
b
a
j
(x)r
h
(x) dx =
_
x
j+1
x
j
r
h
(x) dx = 0
_
x
j+1
x
j
u
h
(x) dx =
_
x
j+1
x
j
f(x) dx, j = 0, . . . ,
por lo que se realiza un AJUSTE DE LA MEDIA POR INTERVALOS.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (Ia)
PONDERACI
ON DE BUBNOVGALERKIN
Si se eligen como funciones de test las funciones de prueba, esto es
H
h
= H
h
u
j
(x) =
j
(x), j=0,...,
(x) =
(x),
se obtiene
K
e
= [k
ji
]
i=0,...,
j=0,...,
, k
ji
=
Z
b
a
j
(x)
i
(x) dx K
e
=
Z
b
a
(x)
T
(x) dx
f = {f
j
}
j=0,...,
, f
j
=
Z
b
a
j
(x)r
0
(x) dx
f =
Z
b
a
(x)r
0
(x) dx.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (Ib)
Esto es
2
6
6
6
6
6
6
6
6
4
Z
b
a
0
(x)
0
(x) dx
Z
b
a
0
(x)
1
(x) dx . . .
Z
b
a
0
(x)
(x) dx
Z
b
a
1
(x)
0
(x) dx
Z
b
a
1
(x)
1
(x) dx . . .
Z
b
a
1
(x)
(x) dx
.
.
.
.
.
.
.
.
.
Z
b
a
(x)
0
(x) dx
Z
b
a
(x)
1
(x) dx . . .
Z
b
a
(x)
(x) dx
3
7
7
7
7
7
7
7
7
5
8
>
<
>
:
1
.
.
.
9
>
=
>
;
=
=
8
>
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
>
:
Z
b
a
0
(x) [f(x) u
0
(x)] dx
Z
b
a
1
(x) [f(x) u
0
(x)] dx
.
.
.
Z
b
a
(x) [f(x) u
0
(x)] dx
9
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
;
. (*)
(*) Ecuaciones normales de Euler.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (II)
La soluci on aproximada u
h
(x) verica
_
b
a
j
(x)r
h
(x) dx =
_
b
a
j
(x)r
h
(x) dx = 0
j
= 0, siendo Q(
0
,
1
, . . . ,
) =
_
b
a
_
r
h
(x)
_
2
dx,
por lo que se realiza un AJUSTE POR M
INIMOS CUADRADOS.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IIIa)
La matriz K
ETRICA
K
= K
T
SEMIDEFINIDA POSITIVA
T
K
0 ,=
0
DEFINIDA POSITIVA
T
K
> 0 ,=
0 (*)
(*) Si la base de funciones de prueba ha sido correctamente elegida.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IIIb)
K
es SIM
ETRICA, ya que
k
ji
=
Z
b
a
j
(x)
i
(x) dx =
Z
b
a
i
(x)
j
(x) dx = k
ij
K
e
=
Z
b
a
(x)
T
(x) dx =
Z
b
a
(x)
T
(x)
T
dx =
Z
b
a
(x)
T
(x) dx
!
T
= K
e
T
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IIIc)
K
X
j=0
X
i=0
j
k
ji
i
=
X
j=0
X
i=0
Z
b
a
j
(x)
i
(x) dx
!
i
=
Z
b
a
0
@
X
j=0
j
(x)
1
A
| {z }
g(x)
X
i=0
i
(x)
!
| {z }
g(x)
dx
=
Z
b
a
X
i=0
i
(x)
!
2
dx 0 = {
i
}
i=0,...,
=
0.
T
K
e
=
T
Z
b
a
(x)
T
(x) dx
!
=
Z
b
a
T
(x)
| {z }
g(x)
T
(x)
| {z }
g(x)
dx
=
Z
b
a
T
(x)
2
dx 0 =
0.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IIId)
K
X
j=0
X
i=0
j
k
ji
i
= 0 =
X
i=0
i
(x) = 0 x [a, b] =
i
= 0, i = 0, . . . ,
T
K
e
= 0 =
T
(x) = 0 x [a, b] = =
0.
si la base de funciones de prueba ha sido correctamente elegida.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IVa)
ESTIMACI
ON DEL ERROR
Sabemos que la soluci on aproximada u
h
(x) verica
h
, u u
h
_
= 0
h
(x) H
h
= H
h
u
, con v, e) =
_
b
a
v(x)e(x) dx.
El producto escalar verica la desigualdad de Cauchy
v, e) |v| |e| , con la norma |e| = e, e)
1
2
=
_
b
a
_
e(x)
_
2
dx.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IVb)
APROXIMACI
ON
OPTIMA
La soluci on aproximada u
h
(x) verica
_
_
u u
h
_
_
_
_
u v
h
_
_
v
h
H
h
u
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IVc)
Pues,
u
h
, v
h
H
h
u
=u
h
v
h
H
h
u
=
D
u
h
v
h
, u u
h
E
= 0,
luego
u u
h
2
=
D
u u
h
, u u
h
E
+ 0 =
D
u u
h
, u u
h
E
+
D
u
h
v
h
, u u
h
E
=
D
u u
h
+ u
h
v
h
, u u
h
E
=
D
u v
h
, u u
h
E
u v
h
u u
h
,
y en consecuencia
u u
h
u v
h
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
M etodo de Bubnov-Galerkin (IVd)
ESTIMACI
ON DEL ERROR
Utilizando funciones de prueba v
h
H
h
u
adecuadamente elegidas se
pueden obtener cotas del error u u
h
a partir de la expresi on
_
_
u u
h
_
_
_
_
u v
h
_
_
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Elecci on de las Funciones de Prueba (Ia)
Algunas posibilidades. . .
1) SOPORTE GLOBAL M
ETODO DE RITZ
Ejemplos:
a)
i
(x) = x
i
, i=1,..., H
h
u
= {P
(x)}.
b) Series de Fourier
c) . . .
K
e
es LLENA tiempo de computaci on T (
3
).
K
e
puede ser MAL-CONDICIONADA. (*)
(*) EL n umero de condici on depende de la base de funciones de prueba que se hayan elegido.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Elecci on de las Funciones de Prueba (Ib)
2) SOPORTE LOCAL M
i=0
i
(x), u
h
(x) H
h
u
H
u
,
u(x) u
h
(x) = u
0
(x) +
T
(x) , con
(x) =
_
0
(x)
.
.
.
(x)
_
, =
_
0
.
.
.
_
.
El residuo correspondiente a la aproximaci on u
h
(x) ser a
r
h
(x) = f(x) u
h
(x) = r
0
(x)
i=0
i
(x), con r
0
(x) = f(x) u
0
(x)
r
h
(x) = f(x) u
h
(x) = r
0
(x)
T
(x) , con r
0
(x) = f(x) u
0
(x).
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Mnimos Cuadrados (IIb)
El valor del funcional correspondiente a la aproximaci on u
h
(x) ser a
Q[u
h
(x)] =
_
b
a
r
h
(x)p(x)r
h
(x) dx
Por tanto, la funci on a minimizar ser a
Q(
0
, . . . ,
) =
_
b
a
r
h
(x)p(x)r
h
(x) dx, con r
h
(x) = r
0
(x)
i=0
i
(x)
Q( ) =
_
b
a
r
h
(x)p(x)r
h
(x) dx, con r
h
(x) = r
0
(x)
T
(x) .
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Mnimos Cuadrados (IIc)
En consecuencia, la condici on de mnimo ser a
Q
j
= 2
_
b
a
r
h
(x)
j
p(x)r
h
(x) dx = 0, j = 0, . . . , con
r
h
(x)
j
=
j
(x)
_
Q
_
T
= 2
_
b
a
_
r
h
(x)
_
T
p(x)r
h
(x) dx =
0, con
_
r
h
(x)
_
T
=
(x)
Es decir,
_
b
a
j
(x)p(x)r
h
(x) dx = 0, j=0,...,
_
b
a
(x)p(x)r
h
(x) dx =
0.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Mnimos Cuadrados (IIIa)
Luego, la formulaci on de M
j
(x) =
j
(x)p(x), j=0,...,,
(x) =
(x)p(x).
Por tanto se obtiene
K
e
=
k
ji
i=0,...,
j=0,...,
, k
ji
=
Z
b
a
j
(x)p(x)
i
(x) dx K
e
=
Z
b
a
(x)p(x)
T
(x) dx
f =
f
j
j=0,...,
, f
j
=
Z
b
a
j
(x)p(x)r
0
(x) dx
f =
Z
b
a
(x)p(x)r
0
(x) dx.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Mnimos Cuadrados (IIIb)
Esto es
2
6
6
6
6
6
6
6
6
4
Z
b
a
0
(x)p(x)
0
(x) dx
Z
b
a
0
(x)p(x)
1
(x) dx . . .
Z
b
a
0
(x)p(x)
(x) dx
Z
b
a
1
(x)p(x)
0
(x) dx
Z
b
a
1
(x)p(x)
1
(x) dx . . .
Z
b
a
1
(x)p(x)
(x) dx
.
.
.
.
.
.
.
.
.
Z
b
a
(x)p(x)
0
(x) dx
Z
b
a
(x)p(x)
1
(x) dx . . .
Z
b
a
(x)p(x)
(x) dx
3
7
7
7
7
7
7
7
7
5
8
>
<
>
:
1
.
.
.
9
>
=
>
;
=
=
8
>
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
>
:
Z
b
a
0
(x)p(x) [f(x) u
0
(x)] dx
Z
b
a
1
(x)p(x) [f(x) u
0
(x)] dx
.
.
.
Z
b
a
(x)p(x) [f(x) u
0
(x)] dx
9
>
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
>
;
. (*)
(*) Cuando la funci on de peso p(x) es constante, M
ETODO DE BUBNOV-GALERKIN.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Notaci on en Formas Bilineales (I)
RESIDUOS PONDERADOS (Weighted Residuals)
Hallar u(x) H
u
,
que VERIFICA a(, u) = (, f) (x) H
,
siendo a(, u) =
_
b
a
(x)u(x) dx,
(, f) =
_
b
a
(x)f(x) dx.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Notaci on en Formas Bilineales (IIa)
FUNCIONES DE PRUEBA (Trial Functions)
Sea la base de funciones de prueba
i
(x)
i=0,...,
.
Dada la aproximaci on inicial u
0
(x), buscamos una mejor aproximaci on
u(x) u
h
(x) = u
0
(x) +
i=0
i
(x), u
h
(x) H
h
u
H
u
,
u(x) u
h
(x) = u
0
(x) +
T
(x) , con
(x) =
_
0
(x)
.
.
.
(x)
_
, =
_
0
.
.
.
_
.
El residuo correspondiente a la aproximaci on u
0
(x) ser a
r
0
(x) = f(x) u
0
(x)
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Notaci on en Formas Bilineales (IIb)
En general no ser a posible que u
h
(x) = u(x) x [a, b] (*), por lo que
u
h
(x) ,= u(x) = no es posible que a(, u
h
) = (, f) (x) H
.
(*) Salvo que u(x) u
0
(x) est e contenido en el subespacio generado por las funciones de prueba.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Notaci on en Formas Bilineales (IIIa)
FUNCIONES DE TEST (Test Functions)
Sea la base de funciones de test
j
(x)
j=0,...,
.
Sea
h
(x) =
j=0
j
(x),
h
(x) H
h
h
(x) =
T
(x)
=
T
(x), con
(x) =
_
0
(x)
.
.
.
(x)
_
,
=
_
0
.
.
.
_
.
Nos proponemos obtener la aproximaci on u
h
(x) H
h
u
que verique
a(
h
, u
h
) = (
h
, f)
h
(x) H
h
.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Notaci on en Formas Bilineales (IIIb)
Pero
a(
h
, u
h
) = (
h
, f)
h
(x) H
h
a(
X
j=0
j
, u
h
) = (
X
j=0
j
, f) {
j
} a(
, u
h
) = (
, f)
X
j=0
a(
j
, u
h
) (
j
, f)
= 0 {
j
}
a(
, u
h
) (
, f)
= 0
a(
j
, u
h
) = (
j
, f) j=0,..., a(
, u
h
) = (
, f).
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Notaci on en Formas Bilineales (IVa)
Por tanto,
a(
j
, u
0
+
X
i=0
i
) = (
j
, f) j a(
, u
0
+
T
) = (
, f)
X
i=0
k
ji
z }| {
a(
j
,
i
)
i
=
f
j
z }| {
(
j
, r
0
) j
K
e
z }| {
a(
T
) =
f
z }| {
(
, r
0
)
X
i=0
k
ji
i
= f
j
j=0,..., K
e
=
f.
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
Notaci on en Formas Bilineales (IVb)
Luego el problema original u(x) = f(x) ha sido sustituido por el sistema
(de orden + 1)
K
=
f, con =
i
i=0,...,
y
K
e
= [k
ji
]
i=0,...,
j=0,...,
, k
ji
= a(
j
,
i
) K
e
= a(
T
)
f = {f
j
}
j=0,...,
, f
j
= (
j
, r
0
)
f = (
, r
0
).
Posteriormente obtendremos la aproximaci on a la soluci on
u
h
(x) = u
0
(x) +
i=0
i
(x) u
h
(x) = u
0
(x) +
T
(x) .
UNIVERSIDAD DE A CORU NA GRUPO DE M ETODOS NUM ERICOS EN INGENIERIA
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1