Formulacin general del problema de contorno

L2m [u] = f (1)

(formulacin diferencial en estado estacionario)

L2m operador diferencial lineal

u variable de estado a ser calculada
f fuerza
D dominio
2m derivada de mayor orden

La solucin deber satisfacer

- condiciones de contorno

Mi [u] = gi i = 1; 2; :::: (2)

(para f = 0 se tiene la ecuacin diferencial homognea)

Puede reescribirse el problema diferencial como

A2m [u] L2m [u] f =0 en D (3)

B[u] = M [u] g=0 en D (4)

Vamos a estar interesados, en particular, en operadores simtricos, denidos

positivos, que satisfagan la condicin de simetra

Z Z
uL2m [v]dD = vL2m [u]dD (5)
D D

(El operador es autoadjunto)

1
 Denicin de denido positivo
Z
L2m [u]dD 0 (6)
D

R
( D L2m [u]dD = 0 sii u = 0)

Generalmente cuando los operadores son autoadjuntos y denidos positivos los

problemas estn bien condicionados (las matrices luego, tambin)

Ejemplo1 De la teora de exin de vigas (Bernoulli) donde la altura <<longitud

y se desprecia la deformacin por corte, se tiene la ecuacin

@2 @2w
2
(EI 2 ) = q (7)
@x @x

E es el mdulo de Young del material

I momento de inercia de la seccin
w desplazamiento perpendicular al eje de la viga
q carga perpendicular al eje de la viga

adems

@2w
M0 = EI(x) (8)
@x2

M0 momento ector (la deformacin est producida nicamente por el mo-

mento y no por el corte)

@2w M0
L2m [w] = @x2 (m = 1) f= EI

L es de orden 2, ya que aparece la derivada segunda, y las condiciones de

contorno son

B0 = wx=0 = w0 = 0 (= g0 )

y B1 = wx=L = wL = 0 (= g1 )

D = [0; L]

2
 Formulacin variacional
Cuando los operadores involucrados poseen cierta simetra una formulacin varia-
cional (o dbil) del problema diferencial puede obtenerse al minimizar (o maximizar)
ciertos funcionales.
Sea el funcional,

Z L
1 @ 2
F( ) = ( ) 2f dx (9)
2 0 @x

(0) = (L) = 0 (10)

@ @p
F funcional (depende de ; @x ; ::; ::::; @xp )

Minimizar F es buscar w tal que F tome el menor valor

F (w) F( ) para toda (11)

Se toma una funcin arbitraria v = w +" , " > 0 (v cerca de w, con " pequeo,
" es una perturbacin, tambin llamada variacin de wy se escribe w

La energa en v es

F (v) = F (w + " ) = F (w) + " F (w; ) + "2 2 F ( ) (12)

donde

1 @
F (w; ) = lim [F (w + " ) F (w)] = F (w + " ) en "=0 (13)
"!0 " @e

Si w minimiza F

F (w) F (w + " ) + " F (w; ) + "2 2 F ( ) (14)

como el ltimo trmino es positivo, w minimiza F sii F = 0 sii

Z L
@w @
( f )dx = 0 (15)
0 @x @x

3
 integrando por partes

Z L
@2w
( f )dx = 0 (16)
0 @x2

F un funcional con derivadas hasta orden m

minimizar F equivale a resolver EDP (ecuaciones en derivadas parciales) +

condiciones de contorno

c.c. esenciales (orden m 1) dan el valor especco de la solucin

(w(0) = w(L) = 0; T (0) = T (L) = T0 )

c.c naturales (derivadas rdenes m a 2m 1) involucran derivadas

de la solucin por ej. ujo de calor k @T
@x = q

F se parece al diferencial total, acta como el operador diferencial con respecto

a las variables
@w @pw
w; @x ; :::::::::::::; @xp

y las reglas son similares que las reglas de la diferenciacin

(F + G) = F + G

(F:G) = F:G + F: G

(F )n = n(F )n 1
F (17)

@n( F ) @nF
n
= ( n)
@x @x

Z Z
F (x)dx = F (x)dx

Obs 1 F = 0 garantiza un mnimo cuando el funcional es cuadrtico

4
 Obs 2 En casos como en las ecuaciones de conveccin-difusin y Navier-Stokes,
no hay un principio variacional

Mtodo de los residuos ponderados o pesados

A2m [u] = 0 (18)

Bi [u] = 0 i = 1; 2; :::: (19)

Como el sistema de ecuaciones diferenciales tiene que ser 0 en todos los puntos
del dominio D se deduce que

Z
v T A2m [u] dD 0 (20)
D

8 9
< v1 =
donde v = v2 es un conjunto de funciones arbitrarias de nmero igual al
: ;
::::
de ecuaciones (o componentes u del problema)
Puede armarse que si se cumple esta ltima expresion para cualquier v las
ecuaciones diferenciales (18) debern satisfacerse en todos los puntos del dominio
( si no fuera as, si A2m [u] 6= 0 en algn punto o porcin del dominio, podra
encontrarse una funcin v que haga la integral (20) distinta de cero).
Si han de satisfacerse simultneamente las condiciones de contorno (19) ello
puede asegurarse imponiendo

Z
v T B [u] d D 0 (21)
D

para cualquier conjunto de funciones v. Entonces que la expresin integral

Z Z
v T A2m [u] dD + v T B [u] d D 0 (22)
D D

se satisfaga para todos los v y v equivle a que se satisfagan las ecuaciones

diferenciales (18) y sus condiciones de contorno (19) (se est suponiendo que se

5
eligen v adecuadas y que es posible calcular las integrales).
Para el problema

@2T
k +Q=0 (23)
@x2

T (0) = T (1) = 0 (24)

0 x 1

x
La solucin exacta es T = Q 2k (1 x)
Supongamos una solucin aproximada Te, entonces se dene el residuo

h i
R(Te) = A2m Te (25)

En el ejemplo,

@2T
R(Te) = k +Q (26)
@x2

En general R(Te) 6= 0, y se propone que sea lo ms chico posible

Si se considera una solucin aproximada de (18) y (19) de la forma

n
X
e= ai hi = Ha (27)
i=1

donde hi son funciones de prueba L.I.y los ai son parmetros a determinar.

Para la solucin exacta el residuo es 0. Una buena aproximacin de la solucin
exacta implica R pequeo

Volviendo a (22), si tomamos en lugar de cualquier funcin v un conjunto nito

de funciones preestablecidas

v = wj v = wj j = 1; n (28)
donde n es el nmero de parmetros ai , entonces (22) proporciona un sistema
de ecuaciones

6
 Z Z
wjT A2m [Ha] dD + wj T B [Ha] d D 0 (29)
D D

A2m [Ha] y B [Ha] representan el residuo o error que se obtiene al sustituir

la solucin aproximada en la ecuacin diferencial y en las condiciones de contorno
respectivamente.
La expresin integral anterior es la integral ponderada de tales residuos .
Este procedimiento recibe el nombre de Mtodo de residuos ponderados y es
muy anterior al mtodo de los elementos nitos. Este ltimo usa principalmente
funciones denidas localmente ( en el elemento).
A los efectos de ponderacin puede utilizarse casi cualquier conjunto de funciones
independientes wj y se da un nombre diferente a cada proceso, de acuerdo a la
funcin elegida

a) Colocacin por puntos

wj = (x xj )

Z
(x xj )R( e )dx = Rcxj (30)
D

Se pide que el residuo se anule en distintos puntos y se obtiene un sistema de

ecuaciones para los ai

b) Galerkin

Los parmetros ai se determinan tomando como wj las mismas funciones con

que se aproxima e

Z
hi RdD = 0 i = 1; n (31)
D

c) Cuadrados mnimos

Se considera

R
wj = R y luego se minimiza D
R2 dD, con respecto a los parmetros ai , es
decir

7
 Z
@
R2 dD = 0 i = 1; 2; ::n (32)
@ai D

d) Subdominios

El dominio se divide en n subdominios y se pide que la integral del residuo en

cada uno sea cero y as se generan n ecuaciones en los ai

En todos estos mtodos se resuelve un sistema de ecuaciones en los ai , lineal

pues L2m es lineal

Obs 1 En b) (Galerkin) la matriz de coecientes es simtrica y def. positiva si

el operador L2m es sim. y def. positivo

Obs 2 En c) siempre se obtiene una matriz simtrica (independientemente de

las propiedades de L2m )

Obs 3 En a) y d) las matrices no necesariamente resultan simtricas

Obs 4 El mtodo de diferencias nitas es un caso particular de colocacin con

funciones base denidas localmente

Los ms utilizados, (por sus propiedades) son los mtodos b y c.

Obs 5 En estos mtodos se utilizan los operadores diferenciales (18) y (19) para
minimizar el error.
En el anlisis de Ritz, en cambio, se utiliza el funcional F del problema varia-
cional correspondiente.
Se sustituye en F la expresin de e y luego pidiendo F = 0, se debe cumplir

@F
=0 i = 1; 2; :::n (33)
@ai

En este anlisis las funciones elegidas debern satisfacer nicamente las condi-
ciones de contorno esenciales, ya que las naturales estn contenidas en el funcional
F.