Вы находитесь на странице: 1из 74

Problema Conceptual (I)

Sea el problema de equilibrio 1D:


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 (IIa)
Donde:
[0, L] = dominio unidimensional de denici on del problema,
x [0, L] = coordenada material de un punto,
A(x) = secci on transversal en cada punto,
u(x) = VARIABLE PRINCIPAL (DESPLAZAMIENTO GENERALIZADO)
(x) = VARIABLE SECUNDARIA (TENSI

ON GENERALIZADA),
b(x) = CARGA GENERALIZADA POR UNIDAD DE VOLUMEN,
u
0
= valor forzado de la variable principal en x = 0,
R = A(0)(0) (REACCI

ON GENERALIZADA),
F = A(L)(L) (CARGA GENERALIZADA PUNTUAL),
(L) = valor forzado de la variable secundaria en x = 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
Problema Conceptual (IIb)
La relaci on entre la variable principal u(x) y la variable secundaria u(x) se
establece a trav es de una variable intermedia (x) (DEFORMACI

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

= A(L)(L) +F, (C.C. NATURAL)


u(0) = u
0
. (C.C. ESENCIAL)
(*) 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 (IIa)
b) RESIDUOS PONDERADOS
Hallar u(x), x [0, L],
que VERIFICA
_
L
0
(x)r(x) dx +

= 0 (x),

(*)
siendo
_

_
r(x) =

x
(A) +Ab, (ECUACI

ON DE EQUILIBRIO)
= E, (ECUACI

ON CONSTITUTIVA)
=
u
x
, (ECUACI

ON DE COMPATIBILIDAD)
r

= A(L)(L) +F, (C.C. NATURAL)


u(0) = u
0
. (C.C. ESENCIAL)
(*) FORMA D

EBIL o WEAK 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 (IIb)
Pues
r(x) = 0 x (0, L), 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

EBIL (WEAK FORMULATION) del problema original.


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 (IIc)
Sin p erdida de generalidad podemos elegir

= (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

= A(L)(L) +F, (C.C. NATURAL)


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 (IIIa)
c) M

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

= A(L)(L) +F, (C.C. NATURAL)


u(0) = u
0
. (C.C. ESENCIAL)
(*) La funci on de peso p(x) y el peso p

deben vericar p(x) > 0 x [0, L], p

> 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

= A(L)(L) +F, (C.C. NATURAL)


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 (IIId)
. . . 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) =

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

= A(L)(L) +F, (C.C. NATURAL)


u(0) = u
0
. (C.C. ESENCIAL)
(*) Que es un planteamiento en residuos ponderados equivalente al problema original.
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 (IVa)
e) M

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

= A(L)(L) +F, (C.C. NATURAL)


u(0) = u
0
. (C.C. ESENCIAL)
(*) Que es un planteamiento en residuos ponderados equivalente al problema original.
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 (I)
PLAN DE TRABAJO
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 (II)
RESIDUOS PONDERADOS (Weighted Residuals)
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

= A(L)(L) +F, (C.C. NATURAL)


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
Residuos Ponderados: Forma D ebil (III)
Observamos que
En el enunciado anterior las funciones de prueba u(x) se derivan dos
veces, mientras que las funciones de test (x) no se derivan.
Si tenemos una aproximaci on a la soluci on u
h
(x) u(x) que no sea dos
veces derivable, el enunciado anterior no permite comprobar la bondad
de la aproximaci on.
Si pudi esemos reducir el orden de derivaci on de u(x) podramos intentar
obtener aproximaciones con menores requisitos de continuidad (por
ejemplo, poligonales a trozos)
Aplicaremos INTEGRACI

ON POR PARTES con el n de reducir el orden


de derivaci on de u(x) aunque sea a costa de aumentar el orden de
derivaci on de (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: Forma D ebil (IVa)
INTEGRACI

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

EBIL (Weak Form)


Hallar u(x) H
u
,
_
y la reacci on R = A(0)(0)

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

ON que se produce en x = 0 al forzar el


valor de la condici on de contorno 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
Residuos Ponderados: Forma D ebil (VI)
Observamos que
La forma anterior es D

EBIL por doble motivo, ya que adem as de lo


anteriormente expuesto permite comprobar la bondad de
aproximaciones u
h
(x) u(x) que sean una vez derivables (en vez de
dos veces derivables, como exige la forma fuerte del problema).
La condici on de contorno natural se introduce en la formulaci on
mediante el t ermino (L)F.
Cuando F = 0 se impone una condici on de contorno que establece que
(L) = 0, pero el t ermino (L)F desaparece, por lo que la condici on de contorno
parece satisfacerse de forma natural. De ah el nombre.
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 (VIIa)
CARGAS PUNTUALES (utilizaci on de las deltas de Dirac)
Sea V
i
una fuerza puntual aplicada en el punto x
i

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

ETODO DE RESIDUOS PONDERADOS permite obtener una forma


d ebil del problema aunque no se conozca el enunciado especco del
PTV para el problema que se est a resolviendo (por ejemplo, qu e
signica y c omo se escribe el principio de los trabajos virtuales en
problemas de difusi on de contaminantes?)
En el caso que nos ocupa (ecuaci on de equilibrio de peque nos
desplazamientos, ecuaci on de compatibilidad de peque nos gradientes
de desplazamientos, ecuaci on constitutiva de la elasticidad lineal), esta
forma d ebil equivale al planteamiento variacional de mnima energa, por
lo que las soluciones num ericas que proporcionar a el m etodo de
Galerkin ser an optimas. Esto no tiene por qu e ser cierto en otros casos
(problemas de convecci on-difusi on, din amica de uidos, etc.).
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 (VIIIc)
La forma cl asica del bf PTV tambi en es v alida para ecuaciones
constitutivas no lineales (hiperelasticidad) y para ecuaciones de
compatibilidad m as complicadas (grandes gradientes de
desplazamientos) siempre y cuando la ecuaci on de equilibrio sea la
expuesta (peque nos desplazamientos). En todo caso, hay que
interpretar correctamente el enunciado y tener en cuenta que la
expresi on de la deformaci on virtual es siempre la correspondiente al
caso de peque nos gradientes de desplazamientos.
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 (Ia)
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
.
.
.

_
.
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

ETODOS DE RESIDUOS PONDERADOS tambi en se denominan as,


ya que siendo
u(x) la soluci on exacta, con (x) =
u
x
, (x) = E(x)
u
h
(x) la soluci on aproximada, con
h
(x) =
u
h
x
,
h
(x) = E
h
(x)
se verica
Z
L
0

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

ON de la soluci on exacta u(x)


sobre el subespacio H
h
u
de las funciones de prueba u
h
(x)
seg un la normal al subespacio H
h

de las funciones de test


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
Elecci on de las Funciones de Test
Algunas posibilidades. . .
1) M

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

del m etodo de Galerkin es. . .


SIM

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

es SEMIDEFINIDA POSITIVA, ya que

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

es DEFINIDA POSITIVA, ya que (v ease el punto anterior)

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

ETODO DE ELEMENTOS FINITOS


Ejemplos:
a) Funciones en escal on.
b) Poligonales a trozos.
c) Splines en general.
Se pretende que K
e
sea SPARSE.
Se pretende que K
e
sea BIEN-CONDICIONADA.
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)
FORMA D

EBIL (Weak Form)


Hallar u(x) H
u

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)

no es posible que a(, u


h
) = (, b) +(L)F +(0)R (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
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

Вам также может понравиться