Академический Документы
Профессиональный Документы
Культура Документы
ON
GENERALIZADA), de forma que tendremos dos tipos de ecuaciones:
ECUACIONES DE COMPATIBILIDAD
(o relaciones deformaci ondesplazamiento):
u(x) (x).
ECUACIONES CONSTITUTIVAS
(o relaciones tensi ondeformaci on):
(x) (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
Problema Conceptual (III)
Modelo Matem atico Lineal:
Dados A(x), b(x), E(x), u
0
, F,
Hallar u(x), (x), x [0, L], que verican
x
(A) +Ab = 0 x (0, L), (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
A(L)(L) +F = 0, (C.C. NATURAL)
u(0) = u
0
. (C.C. ESENCIAL)
El problema anterior puede representar diferentes fen omenos fsicos,
como. . .
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
Problema Conceptual (IVa)
Barra el astica a tracci oncompresi on
[0, L] = barra de longitud L.
x [0, L] = coordenada material de un punto.
A(x) = secci on transversal.
u(x) = DESPLAZAMIENTO.
(x) = DEFORMACI
ON.
(x) = TENSI
ON.
b(x) = FUERZA EXTERIOR POR UNIDAD DE VOLUMEN.
u
0
= DESPLAZAMIENTO PREFIJADO EN x = 0.
R = A(0)(0) (REACCI
ON),
F = A(L)(L) (FUERZA PUNTUAL EXTERIOR),
E = M
ODULO DE ELASTICIDAD.
En este caso, la ecuaci on constitutiva se denomina LEY DE HOOKE.
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
Problema Conceptual (IVb)
Difusi on de contaminante en un canal
[0, L] = canal de longitud L.
x [0, L] = coordenada material de un punto.
A(x) = secci on transversal.
u(x) = CONCENTRACI
ON DE CONTAMINANTE.
(x) = GRADIENTE DE CONCENTRACI
ON DE CONTAMINANTE.
(x) = DENSIDAD DE FLUJO DE CONTAMINANTE.
b(x) = SUMIDERO DE CONTAMINANTE POR UNIDAD DE VOLUMEN.
u
0
= CONCENTRACI
ON PREFIJADA EN x = 0.
R = A(0)(0) (REACCI
ON),
F = A(L)(L) (FLUJO DE CONTAMINANTE FORZADO),
E = , = DIFUSIVIDAD.
En este caso, la ecuaci on constitutiva se denomina LEY DE FICKS.
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
Problema Conceptual (IVc)
Difusi on de calor en una barra
[0, L] = barra de longitud L.
x [0, L] = coordenada material de un punto.
A(x) = secci on transversal.
u(x) = TEMPERATURA.
(x) = GRADIENTE DE TEMPERATURA.
(x) = DENSIDAD DE FLUJO DE CALOR.
b(x) = SUMIDERO DE CALOR POR UNIDAD DE VOLUMEN.
u
0
= TEMPERATURA PREFIJADA EN x = 0.
R = A(0)(0) (REACCI
ON),
F = A(L)(L) (FLUJO DE CALOR FORZADO),
E = , = CONDUCTIVIDAD T
ERMICA.
En este caso, la ecuaci on constitutiva se denomina LEY DE FOURIER.
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
Problema Conceptual (IVd)
Corriente el ectrica en un conductor
[0, L] = conductor de longitud L.
x [0, L] = coordenada material de un punto.
A(x) = secci on transversal.
u(x) = POTENCIAL EL
ECTRICO.
(x) = GRADIENTE DE POTENCIAL.
(x) = DENSIDAD DE CORRIENTE.
b(x) = SUMIDERO DE CORRIENTE POR UNIDAD DE VOLUMEN.
u
0
= POTENCIAL PREFIJADO EN x = 0.
R = A(0)(0) (REACCI
ON),
F = A(L)(L) (INTENSIDAD DE CORRIENTE FORZADA),
E = , = CONDUCTIVIDAD EL
ECTRICA.
En este caso, la ecuaci on constitutiva se denomina LEY DE OHM.
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 (I)
a) FORMA ORIGINAL
Hallar u(x), x [0, L],
que VERIFICA r(x) = 0 x (0, L), r
= 0, (*)
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
= 0 (x),
(*)
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
= 0 =
Z
L
0
(x)r(x) dx +
= 0 (x),
Z
L
0
(x)r(x) dx +
= 0 (x),
=
8
>
>
<
>
>
:
(x) = r(x),
= 0
Z
L
0
r(x)r(x) dx = 0,
(x) = 0,
= 1 r
= 0.
Si las funciones son sucientemente regulares, el enunciado de residuos
ponderados es equivalente al problema original, ya que
Z
L
0
r(x)r(x) dx = 0 =r(x) = 0 x (0, L).
Si se utiliza la Integral de Lebesgue, el residuo r(x) puede ser no nulo en un
conjunto de puntos de medida nula. (*)
(*) Por este motivo se habla de una FORMULACI
ON D
= (L),
pues
r(x) = 0 x (0, L), r
= 0 =
Z
L
0
(x)r(x) dx + (L)r
= 0 (x)
Z
L
0
(x)r(x) dx + (L)r
= 0 (x) =
8
<
:
(x) = r(x) (L x) r(x) = 0x (0, L), ()
r(x) = 0x (0, L), (L) = 0 r
= 0.
(*) Pues si las funciones son sucientemente regulares,
Z
L
0
r(x)r(x)
0
z }| {
(L x) dx = 0 =r(x) = 0x (0, L).
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 (IId)
Por tanto, podemos adoptar el enunciado de residuos ponderados. . .
Hallar u(x), x [0, L],
que VERIFICA
_
L
0
(x)r(x) dx +(L)r
= 0 (x)
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
INIMOS CUADRADOS
Hallar u(x), x [0, L],
que MINIMIZA Q[u] =
_
L
0
r(x)p(x)r(x) dx +r
, (*)
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
> 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
Planteamientos Alternativos (IIIb)
La condici on de mnimo equivale al PLANTEAMIENTO VARIACIONAL
Hallar u(x) x [0, L],
que VERIFICA
dJ()
d
=0
= 0 u(x) tal que u(0) = 0,
con J() = Q[u +u],
y por tanto
dJ()
d
=0
= 2
_
L
0
x
_
AE
u
x
_
p(x)r(x) dx
2
_
AE
u
x
_
x=L
p
, (*)
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 (IIIc)
. . . que equivale a decir
Hallar u(x) x [0, L],
que VERIFICA
_
L
0
x
(
AE
u
x
)
p(x)r(x) dx
(
AE
u
x
)[
x=L
p
= 0 u(x)
u(0) = 0,
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
= 0 u(x)
u(0) = 0,
(x) =
x
(
AE
u
x
)
p(x),
=
(
AE
u
x
)[
x=L
p
,
(*)
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
INIMA ENERG
IA
Hallar u(x), x [0, L],
que MINIMIZA
c[u] = +
1
2
_
L
0
(x)A(x)(x) dx
_
L
0
u(x)A(x)b(x) dx u(L)F,
(*)
siendo
_
_
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
u(0) = u
0
. (C.C. ESENCIAL)
(*) Si E < 0 se cambia el signo para que el funcional tenga un mnimo y no un m aximo.
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 (IVb)
Se comprueba f acilmente que la soluci on del problema original u(x)
minimiza la energa, pues si v(x) = u(x) +u(x) es cualquier otra funci on
que tambi en verique la condici on de contorno esencial v(0) = u
0
, entonces
u(0) = 0, y siendo
=
u
x
, = E,
tenemos
E[u + u] = +
1
2
Z
L
0
( + )A( + ) dx
Z
L
0
(u + u)Ab dx
u(L) + u(L)
F
= E[u] +
1
2
Z
L
0
(A + A + A) dx
Z
L
0
uAb dx u(L)F
= E[u] +
1
2
Z
L
0
(AE + AE + AE) dx
Z
L
0
uAb dx u(L),
= E[u] +
1
2
Z
L
0
AE dx +
"
Z
L
0
A dx
Z
L
0
uAb dx u(L)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
Planteamientos Alternativos (IVc)
Integrando por partes
Z
L
0
A dx = +(uA)
L
0
Z
L
0
u
x
(A) dx.
Luego
Z
L
0
A dx
Z
L
0
uAb dx u(L)F =
Z
L
0
u
x
(A) + Ab
| {z }
=0
dx
u(L) (A(L)(L) + F)
| {z }
=0
= 0.
Por tanto,
E[u + u] = E[u] +
1
2
0
z }| {
Z
L
0
AE dx
E[u] u
u(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
Planteamientos Alternativos (IVd)
La condici on de mnimo equivale al PLANTEAMIENTO VARIACIONAL
Hallar u(x), x [0, L],
que VERIFICA
dJ()
d
=0
= 0 u(x) tal que u(0) = 0,
con J() = c[u +u],
y por tanto
dJ()
d
=0
= +
_
L
0
u
x
A(x)E(x)
u
x
dx
_
L
0
u(x)A(x)b(x) dx u(L)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
Planteamientos Alternativos (IVe)
. . . que conduce al PRINCIPIO DE LOS TRABAJOS VIRTUALES (PTV)
Hallar u(x), x [0, L],
que VERIFICA
+
_
L
0
u
x
A(x)(x) dx
_
L
0
u(x)A(x)b(x) dx
u(L)F = 0 u(x)
u(0) = 0,
siendo
_
_
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
u(0) = u
0
. (C.C. ESENCIAL)
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 (IVf)
Integrando por partes se obtiene,
Hallar u(x), x [0, L],
que VERIFICA
+
_
u(x)A(x)(x)
_
L
0
_
L
0
u(x)
_
x
(A) +A(x)b(x)
_
dx
u(L)F = 0 u(x)
u(0) = 0,
siendo
_
_
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
u(0) = u
0
, (C.C. ESENCIAL)
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 (IVg)
. . . o lo que es lo mismo,
Hallar u(x), x [0, L],
que VERIFICA
_
L
0
(x)r(x) dx +
= 0 u(x)
u(0) = 0,
(x) = u(x),
= u(L),
(*)
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
= 0 (x)
siendo
_
_
r(x) =
x
(A) +Ab, (ECUACI
ON DE EQUILIBRIO)
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
r
ON POR PARTES
_
L
0
(x)r(x) dx =
_
L
0
(x)
_
x
(A) +Ab
_
dx
= (A)
L
0
_
L
0
x
A dx +
_
L
0
Ab 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
Residuos Ponderados: Forma D ebil (IVb)
Luego
_
L
0
(x)r(x) dx +(L)r
= (L)A(L)(L) (0)A(0)(0)
_
L
0
x
A dx +
_
L
0
Ab dx
+(L)
_
A(L)(L) +F
_
=
_
L
0
x
A dx +
_
L
0
Ab dx
+(L)F +(0)
_
A(0)(0)
_
. .
R
,
lo que nos conduce a la forma d ebil. . .
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: Forma D ebil (V)
FORMA D
que VERIFICA
_
L
0
x
A dx =
_
L
0
Ab dx +(L)F +(0)R (x) H
siendo
_
_
= E, (ECUACI
ON CONSTITUTIVA)
=
u
x
, (ECUACI
ON DE COMPATIBILIDAD)
u(0) = u
0
, (C.C. ESENCIAL)
donde R = A(0)(0) es la REACCI
0 < x
i
< L.
Podemos introducir la fuerza puntual en la formulaci on mediante una fuerza
equivalente por unidad de volumen b
i
(x) del tipo
V
i
b
i
(x) =
V
i
A(x
i
)
(x x
i
),
de forma que
Z
L
0
Ab
i
dx =
Z
L
0
A(x)
V
i
A(x
i
)
(x x
i
) dx
=
V
i
A(x
i
)
Z
L
0
A(x)(x x
i
) dx
=
V
i
A(x
i
)
A(x
i
) = V
i
.
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: Forma D ebil (VIIb)
Al introducir b
i
(x) en la forma d ebil obtenemos
_
L
0
Ab
i
dx =
_
L
0
(x)A(x)
V
i
A(x
i
)
(x x
i
) dx
=
V
i
A(x
i
)
_
L
0
(x)A(x)(x x
i
) dx
=
V
i
A(x
i
)
(x
i
)A(x
i
)
= (x
i
)V
i
,
que es un t ermino del mismo tipo que los que corresponden a F y a R.
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: Forma D ebil (VIIIa)
EL PRINCIPIO DE LOS TRABAJOS VIRTUALES
Si interpretamos la funci on de test (x) como un desplazamiento virtual
compatible con las condiciones de contorno esenciales (es decir como
una modicaci on de la soluci on u(x) que no incumpla las condiciones de
contorno esenciales), e interpretamos su derivada como una
deformaci on virtual, podemos escribir
(x) = u(x) con u(0) = 0, (x) =
x
y obtenemos el PRINCIPIO DE LOS TRABAJOS VIRTUALES
_
L
0
u
x
A dx =
_
L
0
uAb dx +u(L)F u(x)
u(0) = 0.
Por tanto, el PRINCIPIO DE LOS TRABAJOS VIRTUALES es una
forma d ebil de las ecuaciones de equilibrio (no de las ecuaciones
constitutivas ni de las de compatibilidad) y de las condiciones de
contorno naturales (no de las condiciones de contorno esenciales).
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: Forma D ebil (VIIIb)
El M
i=1
i
(x), u
h
(x) H
h
u
H
u
,
u(x) u
h
(x) = (x) +
T
(x) , con
(x) =
_
1
(x)
.
.
.
(x)
_
, =
_
1
.
.
.
_
.
Las correspondientes aproximaciones de (x) y de (x) ser an
(x)
h
(x) =
x
+
X
i=1
i
x
, (x)
h
(x) = E
h
(x),
(x)
h
(x) =
x
+
T
x
, (x)
h
(x) = E
h
(x).
Y [si interesa] podemos buscar una aproximaci on de la reacci on R R
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: Aproximaci on Num erica (Ib)
En general no ser a posible que u
h
(x) = u(x) x [0, L] (*), por lo que
u
h
(x) ,= u(x)
no es posible que
Z
L
0
x
A
h
dx =
Z
L
0
Ab dx + (L)F + (0)R
h
(x) H
.
(*) Salvo que u(x) (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: Aproximaci on Num erica (IIa)
FUNCIONES DE TEST (Test Functions)
Sea la base de funciones de test
j
(x)
j=1,...,
.
Sea
h
(x) =
j=1
j
(x),
h
(x) H
h
h
(x) =
T
(x)
=
T
(x), con
(x) =
_
1
(x)
.
.
.
(x)
_
,
=
_
1
.
.
.
_
.
Nos proponemos obtener la aproximaci on u
h
(x) H
h
u
u
h
(0) = u
0
[y la aproximaci on R
h
] que verique
_
L
0
h
x
A
h
dx =
_
L
0
h
Ab dx +
h
(L)F +
h
(0)R
h
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: Aproximaci on Num erica (IIb)
Pero
Z
L
0
h
x
A
h
dx
Z
L
0
h
Ab dx
h
(L)F
h
(0)R
h
= 0
h
(x) H
h
X
j=1
Z
L
0
j
x
A
h
dx
Z
L
0
j
Ab dx
j
(L)F
j
(0)R
h
!
= 0 {
j
}
Z
L
0
x
A
h
dx
Z
L
0
Ab dx
(L)F
(0)R
h
!
= 0
Z
L
0
j
x
A
h
dx =
Z
L
0
j
Ab dx +
j
(L)F +
j
(0)R
h
, j=1,...,
Z
L
0
x
A
h
dx =
Z
L
0
Ab dx +
(L)F +
(0)R
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: Aproximaci on Num erica (IIIa)
Por tanto,
Z
L
0
j
x
AE
x
+
X
i=1
i
x
!
dx =
Z
L
0
j
Ab dx +
j
(L)F +
j
(0)R
h
, j=1,...,
Z
L
0
x
AE
x
+
T
x
!
dx =
Z
L
0
Ab dx +
(L)F +
(0)R
h
X
i=1
k
ji
z }| {
Z
L
0
j
x
AE
i
x
dx
!
i
=
f
j
z }| {
Z
L
0
j
x
AE
x
dx +
Z
L
0
j
Ab dx +
j
(L)F +
j
(0)R
h
, j=1,...,
K
e
z }| {
Z
L
0
x
AE
T
x
dx
!
=
f
z }| {
Z
L
0
x
AE
x
dx +
Z
L
0
Ab dx +
(L)F +
(0)R
h
X
i=1
k
ji
i
= f
j
+
j
(0)R
h
j=1,..., K
e
=
f +
(0)R
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: Aproximaci on Num erica (IIIb)
Luego el problema de equilibrio original ha sido sustituido por el sistema
(de orden , con la inc ognita adicional R
h
)
K
=
f +
(0)R
h
,
con la condici on adicional u
h
(0) = u
0
, esto es
T
(0) = u
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
Residuos Ponderados: Aproximaci on Num erica (IVa)
El sistema anterior puede escribirse en la forma
_
K
(0)
T
(0) 0
__
R
h
_
=
_
f
u
0
(0)
_
,
siendo
K
e
= [k
ji
]
i=1,...,
j=1,...,
, k
ji
=
Z
L
0
j
x
AE
i
x
dx
K
e
=
Z
L
0
x
AE
T
x
dx
f = {f
j
}
j=1,...,
, f
j
=
Z
L
0
j
x
AE
x
dx +
Z
L
0
j
Ab dx +
j
(L)F
f =
Z
L
0
x
AE
x
dx +
Z
L
0
Ab dx +
(L)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: Aproximaci on Num erica (IVb)
Si elegimos la aproximaci on inicial (x) de forma que satisfaga la condici on
de contorno esencial y elegimos las funciones de prueba
i
(x) de forma que
se anulen en el punto correspondiente, la aproximaci on u
h
(x) vericar a
autom aticamente la condici on de contorno esencial. Es decir
(0) = u
0
(0) =
0
_
=u
h
(0) = u
0
.
Si adem as elegimos las funciones de test de forma que se anulen en el
mismo punto, la reacci on no interviene en la formulaci on y el sistema se
reduce a
(0) =
0 = K
=
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: Aproximaci on Num erica (V)
Una vez resuelto el sistema obtendremos la aproximaci on a la soluci on
u
h
(x) = (x) +
i=0
i
(x) u
h
(x) = (x) +
T
(x) .
h
(x) =
x
+
i=1
i
x
h
(x) =
x
+
T
x
h
(x) = E
h
(x)
h
(x) = E
h
(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: Error de Aproximaci on (I)
M
ETODOS DE PROYECCI
ON
Los M
h
x
A dx =
Z
L
0
h
Ab dx +
h
(L)F +
h
(0)R
h
(x) H
h
Z
L
0
h
x
A
h
dx =
Z
L
0
h
Ab dx +
h
(L)F +
h
(0)R
h
h
(x) H
h
9
>
>
>
>
>
=
>
>
>
>
>
;
=
=
Z
L
0
h
x
A(
h
) dx =
h
(0)(R R
h
)
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: Error de Aproximaci on (II)
La ecuaci on anterior demuestra que (normalmente) la reacci on se calcula
exactamente, ya que si la funci on constante pertenece al espacio de las
funciones de test (lo que normalmente se exige y se conoce como
PARTICI
ON DE LA UNIDAD) entonces
h
(x) = 1 = R = R
h
.
Por tanto (normalmente) se cumple
Z
L
0
h
x
AE
x
(u u
h
) dx = 0
h
(x) H
h
.
Luego, la soluci on aproximada u
h
(x) verica
h
, u u
h
_
= 0
h
(x) H
h
, con v, e) =
_
L
0
v
x
AE
e
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
Residuos Ponderados: Error de Aproximaci on (III)
Por tanto, la soluci on aproximada u
h
(x) es
la PROYECCI
ETODO DE COLOCACI
ON PUNTUAL
j
(x) = (x x
j
), j=1,..., con x
j
[0,L], x
i
=x
j
i=j. (*)
=No se puede utilizar en este caso, porque la delta no es derivable.
Si se aplica a la forma original de RP conduce a DIFERENCIAS FINITAS.
2) M
ETODO DE COLOCACI
ON POR SUBDOMINIOS
j
(x) =
_
1, si x
j
x x
j+1
,
0, en caso contrario,
j=1,..., con a=x
1
...x
x
+1
=b.
=Conduce a VOL
UMENES FINITOS.
3) M
ETODO DE BUBNOV-GALERKIN
j
(x) =
j
(x), j=1,..., 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 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=1,...,
j=1,...,
, k
ji
=
Z
L
0
j
x
AE
i
x
dx
K
e
=
Z
L
0
x
AE
T
x
dx
f = {f
j
}
j=1,...,
, f
j
=
Z
L
0
j
x
AE
x
dx +
Z
L
0
j
Ab dx +
j
(L)F
f =
Z
L
0
x
AE
x
dx +
Z
L
0
Ab dx +
(L)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
M etodo de Bubnov-Galerkin (Ib)
Esto es
2
6
6
6
6
6
6
6
6
6
6
4
Z
L
0
1
x
AE
1
x
dx
Z
L
0
1
x
AE
2
x
dx . . .
Z
L
0
1
x
AE
x
dx
1
(0)
Z
L
0
2
x
AE
1
x
dx
Z
L
0
2
x
AE
2
x
dx . . .
Z
L
0
2
x
AE
x
dx
2
(0)
.
.
.
.
.
.
.
.
.
.
.
.
Z
L
0
x
AE
1
x
dx
Z
L
0
x
AE
2
x
dx . . .
Z
L
0
x
AE
x
dx
(0)
1
(0)
2
(0) . . .
(0) 0
3
7
7
7
7
7
7
7
7
7
7
5
8
>
>
>
<
>
>
>
:
2
.
.
.
R
h
9
>
>
>
=
>
>
>
;
=
=
8
>
>
>
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
>
>
>
:
Z
L
0
1
x
AE
x
dx +
Z
L
0
1
Ab dx +
1
(L)F
Z
L
0
2
x
AE
x
dx +
Z
L
0
2
Ab dx +
2
(L)F
.
.
.
Z
L
0
x
AE
x
dx +
Z
L
0
Ab dx +
(L)F
u
0
(0)
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 Bubnov-Galerkin (Ic)
Si elegimos
(0) = u
0
(0) =
0
entonces la condici on de contorno esencial se vericar a autom aticamente y
la reacci on no interviene en la formulaci on con lo que el sistema se reduce a
K
=
f,
siendo. . .
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 (Id)
K
e
=
2
6
6
6
6
6
6
6
6
4
Z
L
0
1
x
AE
1
x
dx
Z
L
0
1
x
AE
2
x
dx . . .
Z
L
0
1
x
AE
x
dx
Z
L
0
2
x
AE
1
x
dx
Z
L
0
2
x
AE
2
x
dx . . .
Z
L
0
2
x
AE
x
dx
.
.
.
.
.
.
.
.
.
Z
L
0
x
AE
1
x
dx
Z
L
0
x
AE
2
x
dx . . .
Z
L
0
x
AE
x
dx
3
7
7
7
7
7
7
7
7
5
f =
8
>
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
>
:
Z
L
0
1
x
AE
x
dx +
Z
L
0
1
Ab dx +
1
(L)F
Z
L
0
2
x
AE
x
dx +
Z
L
0
2
Ab dx +
2
(L)F
.
.
.
Z
L
0
x
AE
x
dx +
Z
L
0
Ab dx +
(L)F
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 Bubnov-Galerkin (II)
La soluci on aproximada u
h
(x) verica
_
L
0
j
x
A
h
dx
_
L
0
j
Ab dx
j
(L)F = 0
j
= 0, siendo E(
1
,
2
, . . . ,
) = c[u
h
],
por lo que se realiza un AJUSTE DE M
INIMA ENERG
IA.
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
L
0
j
x
AE
i
x
dx =
Z
L
0
i
x
AE
j
x
dx = k
ij
K
e
=
Z
L
0
x
AE
T
x
dx =
Z
L
0
x
AE
T
x
!
T
dx =
Z
L
0
x
AE
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=1
X
i=1
j
k
ji
i
=
X
j=1
X
i=1
Z
L
0
j
x
AE
i
x
dx
!
i
=
Z
L
0
0
@
X
j=1
j
x
1
A
| {z }
g(x)
AE
X
i=1
i
x
!
| {z }
g(x)
dx
=
Z
L
0
X
i=1
i
x
!
2
AEdx 0 = {
i
}
i=1,...,
=
0.
T
K
e
=
T
Z
L
0
x
AE
T
x
dx
!
=
Z
L
0
T
x
!
| {z }
g(x)
AE
T
x
!
| {z }
g(x)
dx
=
Z
L
0
T
x
!
2
AEdx 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=1
X
i=1
j
k
ji
i
= 0 =
X
i=1
i
x
= 0 x [0, L] =
i
= 0, i = 1, . . . ,
T
K
e
= 0 =
T
x
= 0 x [0, L] = =
0.
si la base de funciones de prueba ha sido correctamente elegida (de forma
que sus derivadas sean linealmente independientes).
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) =
_
L
0
v
x
AE
e
x
dx.
El producto escalar verica la desigualdad de Cauchy
v, e) |v| |e| , con la norma |e| = e, e)
1
2
=
_
L
0
_
e
x
_
2
AE 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
u(0) = u
0
[y R]
que VERIFICA a(, u) = (, b) +(L)F +(0)R (x) H
,
siendo a(, u) =
_
L
0
x
AE
u
x
dx,
(, b) =
_
L
0
Ab 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=1,...,
.
Dada la aproximaci on inicial (x), buscamos una mejor aproximaci on
u(x) u
h
(x) = (x) +
i=1
i
(x), u
h
(x) H
h
u
H
u
,
u(x) u
h
(x) = (x) +
T
(x) , con
(x) =
_
1
(x)
.
.
.
(x)
_
, =
_
1
.
.
.
_
.
Y [si interesa calcularla] podemos buscar una aproximaci on de la reacci on
R R
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 (IIb)
En general no ser a posible que u
h
(x) = u(x) x [0, L] (*), por lo que
u
h
(x) ,= u(x)
.
(*) Salvo que u(x) (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=1,...,
.
Sea
h
(x) =
j=1
j
(x),
h
(x) H
h
h
(x) =
T
(x)
=
T
(x), con
(x) =
_
1
(x)
.
.
.
(x)
_
,
=
_
1
.
.
.
_
.
Nos proponemos obtener la aproximaci on u
h
(x) H
h
u
u
h
(0) = u
0
[y la aproximaci on R
h
] que verique
a(
h
, u
h
) = (
h
, b) +
h
(L)F +
h
(0)R
h
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
, b)
h
(L)F
h
(0)R
h
= 0
h
(x) H
h
X
j=1
a(
j
, u
h
) (
j
, b)
j
(L)F
j
(0)R
h
= 0 {
j
}
a(
, u
h
) (
, b)
(L)F
(0)R
h
= 0
a(
j
, u
h
) = (
j
, b) +
j
(L)F +
j
(0)R
h
, j=1,...,
a(
, u
h
) = (
, b) +
(L)F +
(0)R
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 (IVa)
Por tanto,
a(
j
, +
X
i=1
i
) = (
j
, b) +
j
(L)F +
j
(0)R
h
j
a(
, +
T
) = (
, b) +
(L)F +
(0)R
h
X
i=1
k
ji
z }| {
a(
j
,
i
)
i
=
f
j
z }| {
a(
j
, ) + (
j
, b) +
j
(L)F +
j
(0)R
h
j
K
e
z }| {
a(
T
) =
f
z }| {
a(
, ) + (
, b) +
(L)F +
(0)R
h
X
i=1
k
ji
i
= f
j
+
j
(0)R
h
, j=1,..., K
e
=
f +
(0)R
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 (IVb)
Luego el problema de equilibrio original ha sido sustituido por el sistema
(de orden , con la inc ognita adicional R
h
)
K
=
f +
(0)R
h
,
con la condici on adicional u
h
(0) = u
0
, esto es
T
(0) = u
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
Notaci on en Formas Bilineales (Va)
El sistema anterior puede escribirse en la forma
_
K
(0)
T
(0) 0
__
R
h
_
=
_
f
u
0
(0)
_
,
siendo
= {
i
}
i=1,...,
,
K
e
= [k
ji
]
i=1,...,
j=1,...,
, k
ji
= a(
j
,
i
),
K
e
= a(
T
),
f = {f
j
}
j=1,...,
, f
j
= a(
j
, ) + (
j
, b) +
j
(L)F,
f = a(
, ) + (
, b) +
(L)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 (Vb)
Si elegimos la aproximaci on inicial (x) de forma que satisfaga la condici on
de contorno esencial y elegimos las funciones de prueba
i
(x) de forma que
se anulen en el punto correspondiente, la aproximaci on u
h
(x) vericar a
autom aticamente la condici on de contorno esencial. Es decir
(0) = u
0
(0) =
0
_
=u
h
(0) = u
0
.
Si adem as elegimos las funciones de test de forma que se anulen en el
mismo punto, la reacci on no interviene en la formulaci on y el sistema se
reduce a
(0) =
0 = K
=
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 (VI)
Una vez resuelto el sistema obtendremos la aproximaci on a la soluci on
u
h
(x) = (x) +
i=0
i
(x) u
h
(x) = (x) +
T
(x) .
h
(x) =
x
+
i=1
i
x
h
(x) =
x
+
T
x
h
(x) = E
h
(x)
h
(x) = E
h
(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