Universidad Tecnolgica Nacional

Facultad Regional Delta

Terico de
CLCULO AVANZADO
2015
Tema: PROBLEMAS DE CAMPO

Objetivos de aprendizaje

Germn BRESCIANO

10

PROBLEMAS DE CAMPO......................................................................................................10-1
10.1 SISTEMAS DISCRETOS. MTODO DIRECTO DE LA RIGIDEZ........................................................10-1
10.1.1
Sistemas discretos............................................................................................................10-1
10.1.2
Ecuaciones elementales...................................................................................................10-1
10.1.3
Ensamblado del sistema global........................................................................................10-2
10.1.4
Elementos discretos usuales.............................................................................................10-2
10.1.4.1
10.1.4.2

Elemento barra......................................................................................................................10-2
Elemento viga.......................................................................................................................10-8

10.2 SISTEMAS CONTINUOS. FORMULACIN VARIACIONAL............................................................10-10

10.2.1
Variacin de un funcional (unidimensional)..................................................................10-11
10.2.2
Variacin de un funcional (vectorial)............................................................................10-13
10.2.3
Variacin de un funcional (orden superior)...................................................................10-13
10.2.4
Condiciones de contorno...............................................................................................10-13
10.2.5
Variacin de un funcional (varias variables).................................................................10-14
10.2.6
Variacin de un funcional (varias variables sin cond. de Dirichlet en parte de ).......10-15
10.2.7
Mtodos de resolucin...................................................................................................10-16
10.2.7.1
10.2.7.2

Mtodo de diferencias finitas...............................................................................................10-16

Mtodo de elementos finitos................................................................................................10-17

10.3 INTERPOLACIN POR FUNCIONES POLINOMIALES A TROZOS...................................................10-17

10.3.1
Normas...........................................................................................................................10-17
10.3.2
Caso una variable y grado 1 (poligonales)...................................................................10-17
10.3.3
Caso una variable grado k.............................................................................................10-18
10.3.3.1
10.3.3.2

10.3.4
10.3.5
10.3.6
10.3.6.1
10.3.6.2
10.3.6.3
10.3.6.4

10.3.7
10.3.7.1
10.3.7.2

10.3.8
10.3.9
10.3.9.1
10.3.9.2
10.3.9.3
10.3.9.4

Interpolacin de Lagrange...................................................................................................10-18
Interpolacin a trozos..........................................................................................................10-19

Propiedades de la interpolacin....................................................................................10-19
Error de interpolacin...................................................................................................10-19
Pasaje a norma L2..........................................................................................................10-20
Teorema de Sobolev (en una variable).................................................................................10-20
Propiedad 3 para norma L2..................................................................................................10-20
Propiedad 2 para norma L2 (Lema Bramble Hilbert)...........................................................10-21
Error de interpolacin en norma L2......................................................................................10-21

Caso 2 variables - interpolacin en el plano.................................................................10-22

Particiones triangulares.......................................................................................................10-22
Particiones rectangulares.....................................................................................................10-24

Caso 3 variables - interpolacin en el espacio..............................................................10-24

Error de interpolacin...................................................................................................10-25
Teorema de Sobolev............................................................................................................10-25
Lema Bramble Hilbert.........................................................................................................10-25
Propiedad 3.........................................................................................................................10-25
Acotacin del error..............................................................................................................10-26

10.4 MTODOS DE ELEMENTOS FINITOS.........................................................................................10-28

10.4.1
Propiedades de A...........................................................................................................10-29
10.4.1.1

10.4.2
10.4.2.1

10.4.3
10.4.3.1

Ejemplo (1 variable)............................................................................................................10-29

Clculo de la matriz A....................................................................................................10-31

Matrices elementales...........................................................................................................10-31

Clculo del vector f........................................................................................................10-32

Vectores elementales...........................................................................................................10-33

10.4.4
Ensamblado del sistema global......................................................................................10-33
10.5 CONDICIONES DE CONTORNO..................................................................................................10-34
10.5.1
Condiciones de Dirichlet...............................................................................................10-34
10.5.2
Condiciones de Newmann..............................................................................................10-34
10.5.2.1

Ejemplo (2 Variables)..........................................................................................................10-34

10.6 ELEMENTOS USUALES.............................................................................................................10-38

10.6.1
Elementos unidimensionales..........................................................................................10-39
10.6.1.1

10.6.2
10.6.2.1
10.6.2.2
10.6.2.3

Funciones de forma locales y globales................................................................................10-39

Elementos bidimensionales............................................................................................10-40
Elementos triangulares........................................................................................................10-40
Elementos cuadrilteros.......................................................................................................10-40
Funciones de forma locales y globales................................................................................10-40

10.6.3
Elementos tridimensionales...........................................................................................10-41
10.7 INTEGRACIN NUMRICA........................................................................................................10-41
10.8 CONVERGENCIA DEL MTODO DE ELEMENTOS FINITOS..........................................................10-42

10.8.1

Caso 1 variable..............................................................................................................10-42

10.8.1.1

Acotacin de u-uh............................................................................................................10-43

10.8.2
Caso varias variables.....................................................................................................10-44
10.9 MTODO DE LOS RESIDUOS PONDERADOS..............................................................................10-44
10.10
MTODOS NO CONFORMES..................................................................................................10-45
10.10.1
Ejemplo (1 variable)..................................................................................................10-45
10.10.2
Ejemplo (varias variables).........................................................................................10-46
10.10.3
Patch test....................................................................................................................10-47
10.10.4
Convergencia.............................................................................................................10-47
10.11
MTODOS MIXTOS...............................................................................................................10-48
10.11.1
Ejemplo - Ecuaciones de Navier-Sokes......................................................................10-48
10.11.1.1
10.11.1.2

Aproximacin por elementos finitos de 1............................................................................10-50

Caso convergencia de orden 1.............................................................................................10-51

10.12
INTEGRACIN REDUCIDA....................................................................................................10-53
10.13
SISTEMAS NO EN RGIMEN..................................................................................................10-53
10.13.1
Problemas parablicos..............................................................................................10-53
10.13.1.1

Ejemplo - Ecuacin del calor...............................................................................................10-53

Problemas de campo

10 Problemas de campo
10.1 Sistemas discretos. Mtodo directo de la rigidez
Antes de estudiar los problemas de campo veremos un mtodo de resolucin para sistemas
discretos cuya metodologa de clculo es la base del mtodo de elementos finitos.

10.1.1 Sistemas discretos

Los sistemas discretos son sistemas fsicos compuestos por elementos discretos bien definidos
interconectados entre s.
Dos ejemplos de sistemas discretos son las estructuras de barras y circuitos elctricos.
El estado de cada uno de estos elementos puede representarse por el valor de variables de
estado en una cantidad finita de nodos y estos valores se relacionan entre s y con las
condiciones del entorno o de acople con los otros elementos mediante un sistema de
ecuaciones conocido llamado ley de gobierno del elemento.
En una estructura de barras la ley de gobierno de cada barra relaciona el desplazamiento de
sus extremos con la tensin en la barra.
En un circuito elctrico la ley de gobierno de cada componente elctrico relaciona el voltaje en
sus extremos con la corriente que pasa por el componente.
En cada nodo se cumple una condicin de compatibilidad, que implica que ciertas variables de
estado de todos los elementos conectados a ese nodo deben tener el mismo valor (escalar o
vectorial).
En una estructura de barras la condicin de compatibilidad en un nodo es que los
desplazamientos de todas las barras conectadas sean iguales.
En un circuito elctrico la condicin de compatibilidad en un nodo es que los voltajes de todos
los componentes conectados sean iguales en ese nodo.
Tambin de cumple una condicin de equilibrio, que puede ser una ecuacin escalar o vectorial
que relaciona las variables de cada elemento conectado a ese nodo con cargas externas
aplicadas al nodo. La condicin de equilibrio suele ser que la suma (escalar o vectorial) de las
variables debe ser nula.
En una estructura de barras la condicin de equilibrio en un nodo es que la suma de todas las
tensiones ms las cargas externas aplicadas al nodo debe ser nula.
En un circuito elctrico la condicin de compatibilidad en un nodo es que la suma algebraica de
las corrientes entrantes de los componentes conectados es igual a la corriente externa que
ingresa al nodo.

10.1.2 Ecuaciones elementales

Usualmente la ley de gobierno de cada elemento puede expresarse como un sistema de
ecuaciones lineales de la forma
( e)
( e)
( e)
A u =F

Se define un vector global de variables

u con una o ms componente por nodo
(dependiendo del tipo de problema) y las condiciones de compatibilidad implican que ciertas

componentes del vector u(e ) (1) de cada elemento conectado a un nodo son iguales entre s
y su valores comunes definen a las componentes de u correspondientes a ese nodo.
Tambin se define un vector global
F con una o ms componentes por nodo como la suma

(algebraica o vectorial segn el problema) de las componentes del vector

F( e ) (2)
(correspondientes a ese nodo) de cada elemento conectado al nodo y la condicin de equilibrio
implica que debe ser igual a la carga externa aplicada al nodo.

1 Cuando las componentes de u(e ) corresponden a magnitudes vectoriales en el sistema de

referencia estndar del elemento, deben pasarse al sistema de referencia global mediante
transformaciones de rotacin de coordenadas para obtener las variables que deben ser iguales
por la condicin de compatibilidad.
2 Cuando las componentes de

F( e )

corresponden a magnitudes vectoriales en el sistema de referencia estndar

del elemento, deben pasarse al sistema de referencia global mediante transformaciones de rotacin de coordenadas
para obtener las variables que deben sumarse en la condicin de equilibrio.

Problemas de campo
Se puede as establecer que los vectores globales
sistema global de la forma

se relacionan segn un

A u=
F

Que resume las ecuaciones elementales, las condiciones de compatibilidad y las de equilibrio.
El sistema tiene tantas variables y ecuaciones como la cantidad de nodos por los grados de
libertad por nodo, que es la cantidad de variables de estado independientes en cada nodo.
En un circuito elctrico hay un solo grado de libertad por nodo (el voltaje).
En un sistema de barras 2D hay 2 grados de libertad por nodo (desplazamiento axial y lateral).
En un sistema de vigas 2D hay 3 grados de libertad por nodo (desplazamiento axial y lateral y
ngulo de flexin).

10.1.3 Ensamblado del sistema global

El proceso de obtener la matriz A y el vector F a partir de las matrices y vectores elementales
de cada elemento, sumando cada coeficiente en la fila y columna correspondiente de la matriz
global y el vector global se llama ensamblado del sistema global.
Usualmente los nodos de un elemento tienen una numeracin local (que indica su nmero
dentro del elemento) y una numeracin global (que indica su nmero nico en el sistema
global).
Las matrices elementales tienen tantas filas y columnas como grados de libertad tenga el
elemento.
Una vez obtenidas las matrices
elementales, para ensamblar la
matriz global debemos sumar cada
coeficiente (cuyos subndices en
numeracin
local,
i
y
j,
corresponden a un par de nodos
del
elemento)
en
la
fila
correspondiente a la numeracin
global del nodo i y la columna
correspondiente a la numeracin
global del nodo j.
Para ensamblar el vector F se procede en forma similar, sumando para cada coeficiente del

vector
F( e ) de cada elemento (que corresponde a un nodo del elemento) en la fila
correspondiente a la numeracin global del nodo. Luego se debe tener en cuenta la condicin
de equilibrio del nodo que usualmente implica que la suma es igual a la carga externa aplicada
al nodo.

10.1.4 Elementos discretos usuales

Este mtodo suele aplicarse a elementos con geometra unidimensional pero que forman
estructuras bidimensionales o tridimensionales.

10.1.4.1 Elemento barra

En estos elementos hay un solo gradoio de libertad por nodo. Puede tratarse de
Barras con carga axial
Resortes con carga axial
Elementos de circuito elctrico
Tramo de caera de circuito hidrulico
Conductor de calor unidimensional
El estado de cada elemento queda definido por el desplazamiento en cada extremo. Las
matrices elementales en coordenadas locales son de 2x2.
En el caso de las barras y resortes la variable de estado es el desplazamiento, que es
unidimensional en el sistema de coordenadas local, pero es vectorial en el sistema de
coordenadas global ya que el alargamiento tendr la direccin del elemento. La ecuacin de
equilibrio en cada nodo ser vectorial (2D o 3D) pues depende de la geometra en la que estn
dispuestos los elementos.
Las matrices elementales en coordenadas globales son de 4x4 (2D) o 6x6 (3D).
En los otros casos la geometra es irrelevante pues la condicin de equilibrio de cada nodo es
escalar (suma de flujos nula).

Problemas de campo

Ejemplo
Determinar los voltajes en cada nodo del circuito
R1 = 10
R2 = 3
R3 = 2
R4 = 7
R5 = 12
R6 = 5
R7 = 4
R8 = 9
V6 = 12V
I2 = 0.1A
Cada nodo tiene una numeracin global (en verde) y una
numeracin local (en amarillo) que indica su nmero dentro
del elemento.
Primero debemos definir cada elemento,
indicando cules son sus nodos, es decir la
correspondencia entre la numeracin local de
sus nodos y la numeracin global.
Elemento
1
2
3
4
5
6
7
8

Nodo 1
1
2
3
5
6
3
2
1

Nodo 2
2
3
4
4
5
5
5
6

Resistencia
10
3
2
7
12
5
4
9

Las ecuaciones de gobierno de cada elemento relacionan los valores nodales de las variables
de estado. Estas ecuaciones se expresan normalmente en la numeracin local, pues se
considera al elemento en forma aislada.
Para cada resistencia su ecuacin elemental es
(e)
V (e)
1 V 2

Donde

(e)

I1

=I (e)
1

][

][ ]

(e)
I (e)
1 1 1 V 1
R
o sea
= 1(e)
(e)
(e)
(e)
(e)
R 1 1 V 2
I2
V 2 V 1
=I (e)
2
(e)
R
(e)
y I2
son las intensidades entrante del elemento e en su nodo 1 y 2 y
(e)

(e)
y V2
son los voltajes en el nodo 1 y 2 del elemento e.
V (e)
1

Por tanto las ecuaciones elementales (en numeracin local) son

][

][ ]
][ ] [ ]

][
][

][ ]
][ ]

(1)
I (1)
1 1 1 V 1
1
= (1)
(1)
10 1 1 V 2
I2

(2)
I (2)
1 1 1 V 1
1
= (2)
(2)
3 1 1 V 2
I2

(3)
I (3)
1 1 1 V 1
1
= (3)
(3)
2 1 1 V 2
I2

(4 )
I (4)
1 1 1 V 1
= 1(4)
(4 )
7 1 1 V 2
I2

[
[

Problemas de campo

][

][ ]
][ ] [ ]

][
][

][ ]
][ ]

(5)
I (5)
1 1 1 V 1
1
=
(5)
12 1 1 V (5)
I2
2

(6)
I (61 )
1 1 1 V 1
=
5 1 1 V (6)
I (62 )
2

(7)
I (7)
1 1 1 V 1
1
=
(7)
4 1 1 V (7)
I2
2

(8 )
I (81 )
1 1 1 V 1
=
9 1 1 V (82 ) I (82 )

[
[

En cada nodo debe cumplirse la ecuacin de equilibrio. En este caso la suma de las
intensidades (de los elementos que lo incluyen) debe ser igual a la intensidad externa entrante.
Por tanto vamos a ensamblar el sistema global sumando los coeficientes de cada matriz
elemental en la fila y columna correspondientes a la numeracin global de sus nodos.
Del lado derecho tendremos la suma de las intensidades, que debe ser igual a la intensidad
externa entrante.

1 1
+
10 9
1
10

1
10
1 1 1
+ +
10 3 4
1
3

1
4

1
3
1 1 1
+ +
3 2 5
1
2
1
5

1
9

0
0
1
2
1 1
+
2 7
1
7
0

1
9

0
1
4
1
5
1
7
1 1 1 1
+ + +
7 12 5 4
1
12

0
0
0
1
12
1 1
+
12 9

[ ][ ]
V1
0
V2
0.1
V3
0
=
0
V4
0
V5
I6
V6

Como sabemos que V 6=12 sustituimos su valor en cada ecuacin y pasamos restando el
trmino al lado derecho. Adems eliminamos la ecuacin correspondiente al este nodo,
obteniendo el siguiente sistema reducido:

1 1
+
10 9
1
10
0

1
10
1 1 1
+ +
10 3 4
1
3

1
4

1
3
1 1 1
+ +
3 2 5
1
2
1
5

1
4
1
5
1
7
1 1 1 1
+ + +
7 12 5 4

Al resolver este sistema obtenemos

[ ][ ]
V1
12,3885
V2
12,8202
V 3 = 12,7535
12,7376
V4
12,6819
V5

1
2
1 1
+
2 7
1
7

[ ][ ]
12
V1
9
V2
0.1
V3 =
0
V4
0
V5
1

Problemas de campo

Sustituyendo estos valores y el conocido de

sistema sin reducir, obtenemos el valor de

I 6 =0,1

I6

V 6 en la ecuacin que habamos eliminado del

Lo que hicimos puede programarse en Scilab:

//CIRCUITO ELECTRICO
mode(0)
// Slo muestra resultados si no se pone ; en la lnea
clc
// Borra la consola
//DATOS
Coor=[0
0
0
1
1
1

GEOMETRICOS
0;
1;
2;
2;
1;
0];

//Coordenadas nodos (para el dibujo)

//DATOS ELECTRICOS
R=[10 3 2 7 12 5 4 9]; // [ohm] Resistencia de los elementos
//TABLA DE CONECTIVIDAD
TC=[1 2;
2 3;
3 4;
5 4;
6 5;
3 5;
2 5;
1 6];
nn=size(Coor,'r'); //Numero de nodos
nne=size(TC,'c'); //Numero de nodos por elemento
ne=size(TC,'r'); //Numero de elementos
//GRADOS DE LIBERTAD PRESCRITOS (Voltajes)
gdlp=[6];
ngdlp=size(gdlp,'c');
Vp=zeros(nn,1);
Vp(gdlp,1)=12;
//GRADOS DE LIBERTAD LIBRES
gdll=zeros(nn -ngdlp,1);
gdll=[1 2 3 4 5];
//Corrientes APLICADAS
Iap=zeros(nn,1);
Iap(2)=0.10;
//MATRICES DE RIGIDEZ
kb=zeros(nne,nne);
kb=[1 -1;
-1,1];
//MATRICES Y VECTORES GLOBALES
Kg=zeros(nn,nn);
Vg=zeros(nn,1);
for i=1:ne
ke=1/R(i)*kb;

//Matriz de rigidez elemental

Problemas de campo

end

11

//Ensamblaje de la matriz de rigidez

ind=[TC(i,1) TC(i,2)];
Kg(ind,ind)=Kg(ind,ind)+ke;

//REDUCCION DEL SISTEMA DE ECUACIONES

Kred=zeros(nn-ngdlp, nn-ngdlp);
Ired=zeros(nn-ngdlp,1);
Ured=zeros(nn-ngdlp,1);
Kred=Kg(gdll,gdll);
Ired=Iap(gdll,1)-Kg(gdll,gdlp)*Vp(gdlp);
//Resta al vector las
columnas de los
//grados prescritos por los valores
prescritos.
//SOLUCION DEL SISTEMA REDUCIDO
Vred=Kred\Ired;
//CALCULO DE LOS Voltajes Y LAS Intensidades NODALES
Vg(gdll)=Vred;
Vg(gdlp)=Vp(gdlp);
//CALCULO DE LAS Intensidades entrantes en los nodos
I=Kg*Vg;
//SALIDA DE RESULTADOS
disp("Voltajes prescritos")
disp([" Nodo Volt"])
disp([gdlp' Vp(gdlp)])
disp("Intens aplicadas")
disp([" Numero Inten"])
disp([gdll' Iap(gdll)])
Kg
Iap
Kred
disp(["
Ired
Vred"])
disp([Ired Vred])
disp(["
Vg
I
disp([Vg I Iap])

Iap"])

//Grafica elementos
delete(gcf());
mx=min(Coor(:,1));
Mx=max(Coor(:,1));
my=min(Coor(:,2));
My=max(Coor(:,2));
dx=Mx-mx;
dy=My-my;
mx=mx-dx/10;
Mx=Mx+dx/10;
my=my-dy/10;
My=My+dy/10;
plot([mx Mx],[my My],'w');
plot(Coor(:,1),Coor(:,2),'o')
for e=1:ne
x=[Coor(TC(e,1),1) Coor(TC(e,2),1)];
y=[Coor(TC(e,1),2) Coor(TC(e,2),2)];
plot(x,y,'-')
end

Problemas de campo

13

Problemas de campo

15

Voltajes prescritos
Nodo
6.

Volt
12.

Intens aplicadas
Nodo Inten
1.
2.
3.
4.
5.
Kg

0.
0.1
0.
0.
0.

0.2111111
- 0.1
0.
0.
0.
- 0.1111111
Iap =

- 0.1
0.6833333
- 0.3333333
0.
- 0.25
0.

0.
- 0.3333333
1.0333333
- 0.5
- 0.2
0.

0.
0.
- 0.5
0.6428571
- 0.1428571
0.

0.
- 0.25
- 0.2
- 0.1428571
0.6761905
- 0.0833333

- 0.1
0.6833333
- 0.3333333
0.
- 0.25

0.
- 0.3333333
1.0333333
- 0.5
- 0.2

0.
0.
- 0.5
0.6428571
- 0.1428571

0.
- 0.25
- 0.2
- 0.1428571
0.6761905

0.
0.1
0.
0.
0.
0.
Kred =
0.2111111
- 0.1
0.
0.
0.
Ired
1.3333333
0.1
0.
0.
1.
Vg
12.388538
12.820247
12.753483
12.737586
12.681949
12.

Vred
12.388538
12.820247
12.753483
12.737586
12.681949
I
2.220D-16
0.1
- 2.220D-15
- 2.220D-16
0.
- 0.1

Iap
0.
0.1
0.
0.
0.
0.

- 0.1111111
0.
0.
0.
- 0.0833333
0.1944444

Problemas de campo

17

Este circuito puede modelarse tambin en un software de Elementos Finitos usando elementos
unidimensionales de dos nodos.
Se definen primero los nodos y luego los elementos.
Se definen las caractersticas de cada elemento y finalmente las cargas y restricciones.

Se resuelve el modelo obtenindose el valor del voltaje en cada nodo y la corriente en cada
elemento.
Node

Electric Potential

1
2
3
4
5
6

12.3885379627693
12.8202468102907
12.7534825350345
12.7375862790211
12.6819493829743
12
Material
10_Ohm
3_Ohm
2_Ohm
7_Ohm
12_Ohm
5_Ohm
4_Ohm
9_Ohm

Element
1
2
3
4
5
6
7
8

Current
0.0431708847521447
-0.0222547584187402
-0.00794812800669309
-0.00794812800669372
0.0568291152478572
-0.0143066304120484
-0.0345743568291157
-0.0431708847521447

10.1.4.2 Elemento viga

En estos elementos la carga en el extremo tiene componente axial y transversal y tambin hay
momentos flectores. El estado de cada elemento queda definido por el desplazamiento
longitudinal y transversal y los ngulos de flexin en cada extremo Las matrices elementales
son de 6x6 (2D) o 10x10 (3D).
Ejemplo

Problemas de campo

19

Determinar los desplazamientos y giros no prescritos y las fuerzas y momentos de reaccin en

los empotramientos

A=1,000 mm2

IZ=20,000 mm4

E=200,000 MPa

En este caso tambin se puede usar un software de Elementos Finitos para modelar el sistema.

No
de
1

X
0

75
0

Shea
Displac Displac Rotatio Tensil
r
ement ement n about
e
Force
Y Z
in X
in Y
Z
Force
V
0 0
0
0
0 -4.119
147
75
0,10962 0,41858 0,00757
0 0
3
5
4 -5.981
211
75
0 0
0
0
0 29.233
276

Bending
Moment
about W
-49.158
-18.716
62.928

Problemas de campo

21

10.2 Sistemas continuos. Formulacin variacional

Los problemas de campo son problemas en los que se tiene un sistema fsico que ocupa una
regin llamada campo, donde en cada punto y momento el estado del sistema puede
describirse con una serie de variables de campo. Los valores de estas variables de campo y
sus derivadas espaciales y temporales cumplen ciertas leyes naturales, es decir, se relacionan
entre s por ecuaciones llamadas ecuaciones de gobierno del sistema.
Generalmente el entorno del sistema impone ciertas restricciones sobre las variables de campo
en la frontera del sistema (condiciones de contorno) o el problema parte de un estado inicial
conocido (condiciones iniciales).
Algunos ejemplos de variables de campo son: temperatura, desplazamientos, flujo de calor,
velocidad del fluido, presin, tensin, concentracin de sustancias qumicas, etc.
Generalmente los problemas de campo pueden formularse de dos maneras.
En la primera de ellas el problema se plantea como una ecuacin diferencial3. La ecuacin
diferencial describe el comportamiento local de las variables, o sea, en una regin infinitesimal.
Como tiene muchas soluciones, se usan condiciones iniciales y/o de contorno para determinar
la solucin particular de la ecuacin diferencial que describe la solucin del problema.
En la segunda formulacin se plantea el problema como uno de minimizacin de un
funcional J, que se define por una adecuada integracin sobre toda la regin ocupada por el
campo de las incgnitas en el dominio4.
Ambas formulaciones son matemticamente equivalentes. En la formulacin de minimizacin
toda la informacin necesaria est contenida en una sola ecuacin y no hay necesidad de
condiciones auxiliares.
La formulacin de minimizacin ser de la forma:
Hallar uV | J(u)J(v) vV siendo
V
el conjunto de funciones admisibles
J:VR
un funcional5
Las funciones vV representan variables de campo, como desplazamientos de un cuerpo
elstico, temperatura, etc., en funcin de las coordenadas espaciales o temporales.
El funcional J usualmente tiene algn significado fsico, como la energa potencial de un cuerpo
elstico, o la entropa en un sistema termodinmico aislado.
1) Ejemplo: Trayectoria de tiempo mnimo (braquistcrona)
Dados dos puntos A y B deseamos hallar la trayectoria entre A y B que minimice el
tiempo de cada sin rozamiento de una partcula.
Para simplificar el problema consideraremos la aceleracin de la gravedad en la
direccin del eje x, que A es el origen de coordenadas y B est en el primer
cuadrante.
Sea s(t) la distancia recorrida por la partcula
T

v ( t )=

x2

ds
ds
1+ y ' 2

T = dt= =
dx
dt
v x
v
0
0
1

Pero
x2

v =2 gx T =
x1

x2

2 g T =
x1

x2

1+ y ' 2
1
1+ y ' 2
dx=
x dx
2g x
2 g x
1

1+ y '
dx J ( y)
x

el problema es minimizar el funcional J en el conjunto

3 En muchos casos esta ecuacin diferencial se deriva de aplicar un principio de conservacin
de alguna de las variables de campo en una porcin infinitesimal del campo, de donde se
obtiene una relacin entre unas variables y el gradiente de otra y luego se introduce una ley
natural que suele relacionar esta variable con el gradiente de otra. Se obtiene as una relacin
entre derivadas segundas de esta ltima variable con los valores de otras variables, es decir
una ecuacin diferencial de segundo orden.
4 Un ejemplo es cuando se aplica el principio de mnima energa potencial.
5 Un funcional es una funcin de un espacio de funciones en R.

Problemas de campo

23

{ y : [ x 1 , x 2 ] R y derivable y ( 0 )=0 y ( x 2 )= y 2 }
2) Ejemplo: Catenaria
Se desea saber qu forma tomar una cuerda uniforme, flexible
pero inelstica, de largo L colgada entre dos puntos A y B.
La cuerda tomar la forma que minimice la energa potencial
x2

E= yds= y 1+ y ' dx J ( y)
2

x1

El problema es minimizar el funcional J en el conjunto

x2

y : [ x 1 , x 2 ] R y derivable , y ( x 1 )= y 1 y ( x 2) = y 2 1+ y '2 dx=L

x1

10.2.1 Variacin de un funcional (unidimensional)

Consideremos el funcional
'

x , u , u , u ) dx }
F

Ec. 10-1

x2

J ( u )
x1

Con F diferenciable.
Queremos minimizar J en

V = {u: [ x 1 , x 2 ] R con derivada segundau ( x 1 )=u 1 u ( x 2 )=u 2 }

Si u0 fuera solucin entonces J(u0) J(u) uV
Sean:

V 0={ : [ x1 , x2 ] R con derivada segunda ( x1 ) = ( x 2 )=0 }

R

Consideremos u=u0+ con V0 entonces J(u0) J(u0+) R V0.

Para fija definamos g:RR | g() J(u0+) entonces g(0) g() R entonces g tiene
mnimo en 0 y g es derivable, por tanto debe ser g(0)=0.
Como

} +
'

x , u0 + , u0 + ' ,u 0 dx
F
x2

g ( )
x1

} +
} +
x , u0 + , u'0 + ' ,u0 ' + F u } ( x , {u} rsub {0} + , {u} rsub {0} rsup {'} + ', {u} rsub {0} rsup { + )
x , u0 + ,u '0+ ' , u0 + F u ' dx

Fu

x2

'

g ( )=
x1

Problemas de campo
'

25

} ) + {F} rsub {{u} ^ {'}} ( x , {u} rsub {0} , {u} rsub {0} rsup {'} , {u} rsub {0} rsup {

Fu (x , u0 ,u 0 , u0

) ' + F u } ( x , {u} rsub {0} , {u} rsub {0} rsup {'} , {u}

x2

0=g ( 0 ) =
'

x1

J (u , )

Donde

J ( u+ )
es la "variacin del funcional J"

=0

Este nuevo funcional que hemos definido es anlogo al concepto de diferencial.

Obsrvese que

J (u , )

J ( u+ ) J (u)

J ( u+ ) =lim

=0 0

Ntese que la condicin necesaria para que u0 sea la solucin que minimiza J es que

J (u0 , )=0 V 0

Ec. 10-2

En el caso que estbamos considerando esta es la formulacin variacional del problema de

minimizacin de un funcional.

Fu }

x2

x2

x2

Integrando por partes el 2 y 3 sumando:

J ( u0 , )= F u + Fu ' +
'

x1
x2

x1
x2

x1
x2

F u '=F u |x x F = x F
u
u
x
x
x
x2

'

'

'

Fu } ' right rline} rsub {{x} rsub {1}} rsup {{x} rsub {2}} -

'

int from {{x} rsub {1}} to {{x} rsub {2}} {{{} over {x} F} rsub {u

'

F u} {} ^ {'} right rline} rsub {{x} rsub {1}} rsup {{x} rsub {2}} - {left none left ({{} over {x} F} rsub {u )

u } right ) }
2
F
x2

F u } =
x2

x1

x2

J ( u0 , )=
x1

F u
F +
F
'
x u x 2 u } right ) } + {left none {F} rsub {u
'

x2

x1

Como debe ser J(u0,)=0 V0 eso implica que

Ec. 10-3

u } =0 en left [{x} rsub {1} ; {x} rsub {2} right ]

2
F u
F + 2F
x u x
'

Ec. 10-4 (6)

Fu } left ({x} rsub {1} right ) = {F} rsub {u ( x 2 )=0

Ec. 10-3 y Ec. 10-4 son las ecuaciones de Euler Lagrange del funcional J (Ec. 10-1) y
corresponden a la formulacin del problema como ecuacin diferencial.

6 A menos que se exija (x1)=(x2)=0, por ejemplo si hay condiciones de Newmann (u(x1)=u1
y u(x2)=u2), en cuyo caso esta ecuacin no es necesaria.

Problemas de campo

27

Como la condicin J(u0)=0 es una condicin necesaria pero no suficiente de minimizacin de

J, entonces la solucin de las ecuaciones de Euler Lagrange no necesariamente minimiza J,
pues podra ser un mximo o punto de inflexin.
1. Ejemplo: Catenaria
En el problema de catenaria debamos minimizar
x2

J ( y )= y 1+ y ' 2 dx
x1

en

x2

y y ( x1 ) = y 1 , y ( x 2 )= y 2 , y 1+ y ' 2 dx =L
x1

Para este funcional:

F ( x , y , y ' )= y 1+ y ' 2
y } =0
F
F y = 1+ y ' 2
yy '
F y' =
1+ y ' 2
4
2
y ' + y ' + yy } over {{left (1+ {y '} ^ {2} right )} ^ {{3} / {2}}}
Fy'
yy '

=
=
x x 1+ y ' 2

En este caso Ec. 10-3 queda:

y '4 + y '2+ yy } over {{left (1+ {y} ^ {'2} right )} ^ {{3} / {2}}} =0 {left (1+ {y} ^ {'2} right )} ^ {2}
1+ y ' 2 =0
'2
'4
'4
'2
1+2 y + y y y yy =0 1+ {y} ^ {'2} - yy =0 y = {1+ {y} ^ {'2}} over {y}
2. Ejemplo
x2

Sea

J ( y )= y ' 2 dx
x1

y } =0
F
F y =0
F y' =2 y '

Fy
=2 y
x
'

En este caso la ecuacin de Euler Lagrange Ec. 10-3 queda:

y } =00-2 y +0=0 y =0

2
F y
F + 2F
x y x
'

10.2.2 Variacin de un funcional (vectorial)

Si la funcin incgnita es vectorial
x2

J (u ) F (x ,u 1 , u2 , ,u n , u ' 1 , u' 2 , , u ' n )dx

x1

con las condiciones

u1 ( x1 ) =u11 , u2 ( x 2 ) =u12 , , un ( x1 ) =un 1 ,u n ( x 1 )=u n 2

Podemos definir la variacin del funcional en cada una de las funciones incgnitas y todos
deben ser cero en el mnimo: J u1= J u2== J un=0
Las ecuaciones de Euler Lagrange que se obtienen son iguales pero vectoriales.

Problemas de campo

29

Fu

Ec. 10-5

F =0 i=1,2, , n
x u
'

Ejemplo: longitud mnima entre dos puntos

Hallar la curva de longitud mnima entre los puntos (x1, y1, z1) y (x2, y2, z2).
Si parametrizramos la curva en [0, 1] (x(t), y(t), z(t))

x(0)=x1, x(1)=x2
y(0)=y1, y(2)=y2
z(0)=z1, z(2)=z2
1

Hay que minimizar

J ( x , y , z )= x ' 2+ y ' 2+ z ' 2 dt

0

Las ecuaciones de Euler Lagrange Ec. 10-5 sern:

2 x'
'
2
2
2
F =0 0
=0 x =C x x ' + y ' + z '
t x
t x' 2 + y '2+ z '2

2 y'
F y F =0 0
=0 y ' =C x x'2 + y ' 2+ z ' 2
t y
t x ' 2+ y' 2 + z '2

2 z'
'
2
2
2
F z F =0 0
=0 z =C x x ' + y ' + z '
'2
'
2
'
2
t z
t x + y + z
'
'
2
( x , y , z ' ) = x ' + y ' 2 + z ' 2 ( C x , C y , C z )=f (t ) ( C x , C y , C z )
F x

'

'

'

O sea que la direccin de (x, y, z) no vara con t, entonces la curva es una recta.

10.2.3 Variacin de un funcional (orden superior)

Si se desea minimizar
'

x , u , u , u , , {u} ^ {( n )} ) dx }
F
x2

J ( u )
x1

con condiciones de contorno para u, u, u, , u(n-1) se obtiene la ecuacin de Euler Lagrange

Ec. 10-6

u } -+ {(-1)} ^ {n} {{{} ^ {( n )}} over { {x} ^ {n}} F} rsub {{u} ^ {( n )}} =0
2

F u
F +
F
x u x2
'

10.2.4 Condiciones de contorno

Hasta ahora hemos usado condiciones de contorno en la frontera (problema de Dirichlet).
Si en parte de la frontera no se fija condicin de contorno, la ecuacin de Euler Lagrange
cambia.
x2

Si deseamos minimizar

J (u ) F (x ,u ,u' )dx

en

x1

Sean

: [ x 1 , x 2 ] R ( x 1 )=0
R

Si J(u0) es mnimo entonces J(u0) J(u0+) R

{u : [ x 1 , x 2 ] Ru ( x 1 )=u 1 }

Problemas de campo

31
x2

x2

x2

x2

x
0= J ( u 0 , )= J ( u 0+ )= [ F u (x , u0 , u'0 )+ F u ( x , u0 , u'0 ) ' ] dx= Fu + F u ' = F u + F u |x

x
x
x
x
'

'

Pues (x1)=0
Esto se cumple | (x1)=0
En particular | (x1)=(x2)=0 se verifica
x2

x1

( F x F ) =0 F x F =0 en[ x , x ]
u

'

'

Entonces | (x1)=0 se cumple Fu(x2) (x2)=0 por tanto debe ser Fu(x2)=0
Obsrvese que en x1 fijamos la condicin u(x1)=u1 y en x2 como no fijamos u(x2), surge sola
la condicin Fu(x2)=0 como 2 condicin de contorno.

10.2.5 Variacin de un funcional (varias variables)

Notacin

u ( x ) =u ( x1 , x2 , x 3) : R
( )
u
u
u
p
,q
,r
x1
x2
x3
Deseamos minimizar

J (u ) F ( x 1 , x 2 , x 3 ,u , p , q , r )d x

en el conjunto
Sean:

V = {u : Ru=g en }

: R=0 en
R
J ( u0 ) J ( v ) R
u0 V soluci n
v u 0 + V
0= J ( u 0 , )=

J ( u0 + )
es condicin necesaria, entonces

=0

u0
u0

F (x1 , x 2 , x 3 , u0 + , 0 +
,
+
,
+
)d x =

x 1 x 1 x 2 x2 x 3 x3
=0
F
F u + ( p , F q , F r )

Fu + F p
+Fq
+Fr
=
x1
x2
x3

0= J ( u 0 , )=

F
Fu + ( p , F q , Fr )

Ec. 10-7

0= J ( u0 , ) =

Segn el Teorema de Green

F = ( F n ) d

Adems

+v
(v
G )= v G
G

)= ( v
n ) d
( v
G+ v G
G ) = ( v G

'

Problemas de campo

33

v G = v G + v G n d

Ec. 10-8

Aplicando Ec. 10-8 a Ec. 10-7 :

Ec. 10-9

( p , F q , F r )= F u ( F p , F q , F r ) + ( F p , Fq , F r ) n d

0= F u +

0= F u ( F p , F q , F r )

Ec. 10-10
pues =0 en

[ F u ( F p , F q , F r ) ]=0 =0 en

F u ( F p , F q , F r ) =0 en
Fu +

Ec. 10-11

Fp Fq Fr
+
+
=0 en es
x1 x2 x3

la

ecuacin

de

Euler

Lagrange.
Ejemplo

J (u ) | u|

En este caso

F ( x 1 , x 2 , x 3 ,u , p , q , r )= p2 + q2 +r 2

F u=0, F p =2 p , Fq =2 q , F r =2 r

La ecuacin de Euler Lagrange queda:

2 p 2 q 2 r
2 u 2 u 2 u
+
+
=2
+
+
=0
x1 x2 x 3
x21 x 22 x 23
2
u=0 o bien u=0 (7)

) (

10.2.6 Variacin de un funcional (varias variables sin cond. de Dirichlet en parte

de )
El caso es como el anterior pero la condicin de contorno solo se exige en 1 (=1 2)
(Condicin de Dirichlet en 1)
En este caso a solo le exigimos =0 en 1 para que v=0+V .
Usando el teorema de Green (Ec. 10-8) llegamos a Ec. 10-9 como antes:

0= F u ( F p , F q , F r ) + ( F p , F q , F r ) n d
Pero ahora el tercer trmino no es nulo sino que

( F p , F q , F r ) n d = ( F p , F q , F r ) n d
pues =0 en 1

0= [ F u ( F p , F q , F r ) ]+ ( F p , Fq , F r ) n d =0 en 1
7 Laplaciano=2=

Problemas de campo

35

Pero en particular | =0 en se cumple

0= [ Fu ( F p , F q , F r ) ] F u ( F p , F q , F r ) =0 en

Que es lo mismo que Ec. 10-11

( F p , F q , F r ) n d=0 =0 en 1
2

Ec. 10-12

( F p , F q , F r ) n=0 en 2

Obsrvese que al no tener condicin de Dirichlet para u en 2 surge esta condicin de

Newmann para F en 2.
1. Ejemplo

Igual que la vez anterior hay que minimizar J (u ) | u|

en

V = {u : Ru =g en 1 }
F p =2 p , F q=2 q , Fr =2 r

u=0 en
u=g en 1
( F p , F q , F r ) n=0 en 2

Ecuacin Euler Lagrange:

Condicin de Dirichlet
Condicin de Newmann

( F p , F q , F r ) n=( 2 p ,2 q , 2 r ) n =2 ( p , q , r ) n=2 u n=0 en 2

u n =0 en 2
2. Ejemplo
Igual al anterior con

u
=0 en 2
n

J (u ) (| u| fu ) ,

u=f en
u=g en 1
Ahora Fu=-f en
du
=0 en 2
d n
Observacin
En los ejemplos que hemos visto usamos funcionales cuadrticos que son funcionales
convexos. Estos funcionales no tienen mximos ni puntos de inflexin, por lo tanto las
ecuaciones de Euler Lagrange que son siempre condicin necesaria de minimizacin, en este
caso son tambin condicin suficiente.

10.2.7 Mtodos de resolucin

Hemos visto la equivalencia entre los problemas de minimizacin de un funcional y las
ecuaciones de Euler Lagrange (que son Ecuaciones Diferenciales Parciales)
La resolucin analtica de estas ecuaciones diferenciales parciales es en general imposible, por
lo que debemos recurrir a mtodos numricos.

10.2.7.1 Mtodo de diferencias finitas

Este mtodo representa el continuo con una malla de puntos que se superpone a . Las
ecuaciones diferenciales son sustituidas por ecuaciones algebraicas reemplazando las
derivadas por frmulas en diferencias finitas.

Problemas de campo

37

La solucin del sistema de ecuaciones algebraicas resultante de esta discretizacin

representar una aproximacin a la solucin verdadera en los puntos de la malla.

10.2.7.2 Mtodo de elementos finitos

Este mtodo se basa en la formulacin variacional de los problemas fsicos. Se divide a en
pequeos elementos (elementos finitos) y en lugar de minimizar J entre todas las u que
verifiquen las condiciones de contorno, se restringe a las u que sean, por ejemplo, lineales en
cada elemento. O sea que en lugar de minimizar J en V se minimiza en un subespacio de V de
dimensin finita.
Se obtiene un problema de optimizacin con una cantidad finita de variables, por lo que en
lugar de las ecuaciones de Euler Lagrange, se llega a un sistemas de ecuaciones algebraicas.

10.3 Interpolacin por funciones polinomiales a trozos

10.3.1 Normas
Usaremos varias normas en espacios de funciones

xL (D ) x D|x|

xL (D) |x|
1

xL (D)
2

1/2

( )
2

|x|
D

la norma L2(D) es la norma inducida sobre el producto interno

x , y xy
D

10.3.2 Caso una variable y grado 1 (poligonales)

Consideremos u:[0,1]R
Vamos a aproximarla por una poligonal.
Dividimos I=[0,1] con una particin {xj}.
sean: Ij=(xj-1,xj)
h=mx|xj-xj-1|
Sea uI la poligonal tal que uI(xj)=u(xj) j=0,1,,n
Cun buena sea la aproximacin depender de la
particin (h) y las propiedades de u.

Nos interesa acotar el error

si

uuIL (D)

y saber

lim uu IL ( D)=0

h0

Vamos a pedir la condicin de que u tenga derivada

acotada.
Sean

L=u' L (D)
u-uI
xIj
| ' ( x)|=|u' ( x ) uI ' (x)||u' ( x )|+|u I ' ( x )| L+|u I ' ( x )|=

Problemas de campo

L+

39

u ( x j )u ( x j1 )
L+ L=2 L
x jx j1

pues u es L-lipschitziana.

| |
x

|u ( x ) u ' (x )|=| ( x )0|=| ( x )(x j 1 )|= '

'

2 L|x jx j 1| 2 Lh

x j1

uuIL (I) 2u 'L (I) h

Ec. 10-13

O sea que si u es acotada la convergencia es de orden 1 en h.

Veamos qu pasa si u es acotada.
Sean

u-uI
xIj

Consideremos

(xj-1)=(xj)=0 Ij / ()=0
el

(,x)

intervalo

(x,)

de

ese

intervalo

tal

que

()= { ' left ( x right ) ' left ( right )} over { x } = { ( x ) } over { x }

x I j , I j | '( x )=( x- ) left ( right )
| '(x )|=|x|| left ( right ) right rline h {left ldline L (I)
u right rdline} rsub {{L} ^ {} ( I )}

Como uI lineal en Ij uI=0 =u

| '( x )| h

Adems

| |
x

| ( x )|=| ( x ) ( x j1)|= ' h 'L (I)

x j1

ugirndhielts}rub{{L}^{g}i)
rhI(tet}fl

x
{s}ruI
b{j

|(x )| h2

u right rdline} rsub {{L} ^ {} left (I right )}

I
uu L ( I ) h2

Ec. 10-14

O sea que si u" es acotada, la interpolacin con funciones lineales a trozos converge con
orden 2 en h.
Para poder mejorar este orden 2 debemos interpolar con polinomios de mayor orden. Veremos
que usando polinomios se grado k y si u(k+1) est acotada, entonces la convergencia es de
orden k+1.

10.3.3 Caso una variable grado k

Dados y0, y1, , yk Ij un nico polinomio de grado k / Pk(yi)=u(yi) i=0,1,2,,k

10.3.3.1 Interpolacin de Lagrange

El polinomio interpolador, Pk, puede expresarse como:
k

Pk ( t )= u ( y m ) l m (t)
m=0

El error se puede acotar por

|u ( t )Pk ( t )|

| ( t )|u(k +1)L (I )

( k +1 ) !

Problemas de campo

41

siendo
k

(t )= ( t y m )
m=0

k +1

h h
1
t I | ( t )| 2 h kh= h
2 2
4

Pero

Ec. 10-15

1
h
4

uPkL ( I )

k!
k+1

u(k+1)L (I )

( k +1 )

10.3.3.2 Interpolacin a trozos

Dada una particin de I, x0, x1, , xn , para cada Ij tomamos k+1 puntos y0, y1, , yk de Ij e
interpolamos a u por esos puntos.
Sea uI(x)=Pk(x) siendo Pk el polinomio interpolador en Ij si xIj

10.3.4 Propiedades de la interpolacin

1. Si u es un polinomio de grado menor o igual a k uI=u en I
Demostracin
En cada intervalo el Pk es nico y como u es polinomio de grado k Pk=u en Ij
uI=u en Ij uI=u en I.
2. Dado u, en cada Ij existe un polinomio de grado k, q(x) /

uqL

( I j)

hk +1u(k +1)L ( I )

( k +1 ) !

Demostracin
Sea q el polinomio de Taylor de grado k de u desarrollado en
k

q ( x )= u ( x )
(i)

i=0

x I j

( x x )
i!

k+1

I ju ( x )q ( x ) =u(k +1) (x )
uqL

( x x )
( k +1) !

hk +1u(k+1 )L ( I )
(I )
( k +1 ) !

3.

C k u IL

( I j ) C k uL ( I j )

Demostracin
k

|u I ( x )|=|Pk ( x )| |u ( y m ) lm ( x )|uL ( I ) |lm ( x )| x I j

m=0

m=0

Si los ym se eligen equidistantes en Ij entonces

{ | |}
k

I j m =0

l m ( x ) =C k

no depende de h (Ck=2k)

|u I ( x )| Ck uL ( I ) x I j

u L
I

( I j ) C kuL (I j )

Problemas de campo

43

10.3.5 Error de interpolacin

A partir de 1, 2 y 3 demostraremos que

uuIL ( I ) C 'k hk +1u (k +1)L ( I )

Ec. 10-16

Demostracin
Dado Ij tomo el q de la propiedad 2 y su interpolador qI que por la propiedad 1 es igual a q

uuIL ( I )=uq+q I uIL ( I )=( uq ) + ( qI u I )L ( I )

( )
uqL ( I ) +( uq ) L (I ) 3 uqL ( I ) +C k uqL ( I )=

k +1
( 2)
h
( uq )(k+1)L ( I )
( 1+C k )uqL ( I ) ( 1+C k )

( k +1 ) !
I
'
k+ 1
( k+1 )
uu L ( I ) C k h u q (k+1 )L ( I ) =C' k hk+ 1u (k+1 )L ( I ) I j
I

uu L ( I ) C ' k h
I

k+1

u L (I )
( k+1)

Este a teorema a puede extenderse al caso varias variables y a la norma L2

10.3.6 Pasaje a norma L2

Para la norma L2 la propiedad 3 no se cumple.

10.3.6.1 Teorema de Sobolev (en una variable)

uL ( I ) uL ( I )+u' L ( I )

Demostracin
Lo demostraremos para I=[0,1], para otros intervalo se hace cambio de variable.
1

u ( x ) u= ( u ( x )u ( y ) ) dy=
0

( )
u'

dy

u ( x )= u+
1

( )
'

u dy

| |
x

1 1

|u ( x )| |u|+ |u | dy |u|+|u |=|u|+|u'|

'

'

0 0

Como la norma L2 es inducida sobre el producto interno,

por Cauchy Schwartz f , g f L 2f L 2 , en particular si g1
1

f f L

2 [0,1 ]

Aplicando esto

|u ( x )|uL [ 0,1 ] +u'L [ 0,1 ] x [ 0,1 ]

2

uL [ 0,1] uL [ 0,1 ] +u' L [ 0,1 ]

10.3.6.2 Propiedad 3 para norma L2

(I=[0,1], para otros intervalo se hace cambio de variable).
Puede verse porque f L2 [ 0,1 ] f L [ 0,1]

u IL [ 0,1] C k uL [ 0,1 ]
|uI ( x )|uIL [ 0,1 ] Ck (uL [ 0,1 ] +u 'L [ 0,1] )

Sabemos que

(|

1
2

) ( [

u ( x )| dx

( [

'

'

1
2

Ck (uL [ 0,1] +u L [ 0,1] ) dx =

1 C k (uL [ 0,1 ] +u L [ 0,1 ] )

2

])

1
2

Problemas de campo

45

u L [ 0,1] C k (uL [ 0,1 ] +u L [ 0,1 ] )

I

'

10.3.6.2.1

NOTA

uL ( I )+u'L ( I ) uH ( I )
2

Norma de Sobolev

10.3.6.3 Propiedad 2 para norma L2 (Lema Bramble Hilbert)

Dada u existe q, un polinomio de grado k tal que

uqL (I )+u 'q 'L (I ) ++u( k+1 )q( k+1 )L (I ) C ' ku(k +1)L ( I )
2

No lo demostramos.

10.3.6.4 Error de interpolacin en norma L2

Para I=[0,1]

uuIL (I )=uq +q I u IL ( I )=( uq )+ ( q I u I )L ( I )

2

I
( )
uqL ( I )+( uq ) L ( I ) 3 uqL ( I )+C k (uqL ( I ) +(uq ) ' L ( I ) )

( )
( 1+C k ) (uqL ( I )+( uq ) 'L ( I )) 2 ( 1+C k ) Ck u(k+1 )L (I )

C } rsub {k} {left ldline {u} ^ {left (k+1 right )} right rdline} rsub {{L} ^ {2} left (I right )}
I
uu L ( I )
2

para I=[0,1]

Para Ij=(xj-1, xj)

Hay que usar el cambio de variable

x=x j1 + y ( x jx j 1 ) con y I , x I j
Dada u en Ij le asociamos u
en I / u ( x ) =u ( y )
I
I
Se cumple que u ( x )=u ( y )=u I ( y )
Adems

1
2

) (

u L ( I )= |u ( y )| dy =
2

1
2

|u ( x )|

x jx j1

1
2

dx =

uL ( I )
2

x j x j1

u L ( I )=( x jx j1 ) uL ( I )
2

Para las derivadas

u' ( x )=

u ' ( y ) u} left (x right ) = {acute {u} ( y )

u ( k+1 ) ( y )
( k +1)

u
(
x
)
=
2
k+1
x jx j1
( x jx j1 )
( x j x j1 )

u (k+ 1)L ( I )=( x jx j1 )

2

k+

1
2

u (k +1)L ( I )
2

Aplicando esto a la desigualdad del caso I

C } rsub {k} {left ldline {acute {u}} ^ {left (k+1 right )} right rdline} rsub {{L} ^ {2} left (I right )}
I
uu
2

L (I )

C } rsub {k} {{left ({x} rsub {j} - {x} rsub {j-1} right )} ^ {k+ {1} over {2}} left ldline {u} ^ {left (k+1

( x jx j 1 )

1
2

uuIL ( I )
2

uu L ( I ) C } rsub {k} {{left ({x} rsub {j} - {x} rsub {j-1} right )} ^ {k+1} left ldline {u} ^ {left (k+1
I

Sumando los cuadrados Ij y haciendo raz cuadrada, obtenemos que para cualquier I con
particin de finura h:

Problemas de campo

47

Ec. 10-17

C } rsub {k} {{h} ^ {k +1} left ldline {u} ^ {left (k+1 right )} right rdline} rsub {{L} ^ {2} left (I right )
uuI L ( I )
2

Anlogamente puede demostrarse para las derivadas:

Ec. 10-18

C } rsub {k} {{h} ^ {k} left ldline {u} ^ {left (k+1 right )} right rdline} rsub {{L} ^ {2} left (I right )}
u' u I 'L ( I )
2

O sea que la convergencia es de orden k+1 en h para u y de orden k en h para u siendo

k el grado de la interpolacin usada.

10.3.7 Caso 2 variables - interpolacin en el plano

10.3.7.1 Particiones triangulares
Sea R2 acotado, si no es polgono
podemos aproximarlo por uno.
Dividimos mediante una particin en
tringulos tales que:

=T k

i jT i T j= un v rtice
un lado
o sea que un vrtice de un tringulo no puede estar en el medio de un
lado de otro.
Para cada tringulo Tk definimos hk como el dimetro
del menor crculo que lo contenga.
Definimos para la particin

h max { hk }
k

Vamos a estudiar la interpolacin de u en cada

tringulo por polinomios de grado total k en las dos
variables.

Pk = { polin omios de grado total k }= p p ( x , y )=

0 i + j k

aij x i y j

Para que exista polinomio interpolador y sea nico, los puntos por los que se interpola no
pueden elegirse de cualquier manera.

Grado 1
Por ejemplo para k=1 si queremos interpolar por tres puntos
alineados, el polinomio interpolador de grado total 1 en x e y por
estos tres puntos no es nico, a pesar de que dim(P1)=3
Si los puntos no estn alineados entonces s hay unicidad.
Se dice que {V1, V2, V3} es un conjunto unisolvente", pues pP1
nico tal que

p ( V 1 ) =u(V 1 )
p ( V 2 ) =u(V 2 )
p ( V 3 ) =u(V 3 )

Para demostrarlo basta ver que ste es un sistema de ecuaciones lineales cuya matriz es

Problemas de campo

[ ]

1 x1
A= 1 x 2
1 x3

y1
y2
y3

49

y det A 0

Grado 2
Primero veremos como ejemplo que tomramos en un tringulo
equiltero como puntos de interpolacin los que dividen los lados en
tercios. Estos puntos estn sobre un crculo cuya ecuacin es de la
forma p(x, y)=0. Siendo p de grado total 2 y p(x, y) no idnticamente
nulo.
Esto demuestra que no es nico el polinomio interpolador de grado 2
por {V1, V2, V3, V4, V5, V6} a pesar que dim(P2)=6
Tomemos ahora como puntos de interpolacin los vrtices de un
tringulo y los puntos medios de sus lados. El polinomio interpolador de
grado 2 por V1,..., V6 es nico si y solo si p(V1)=p(V2)==p(V6)=0 implica
p0 (Obsrvese que dim(P2)=6)
Demostracin
Sea pP2 | p(V1)=p(V2)==p(V6)=0
Como p(V1)=p(V2)=p(V3)=0 , siendo p cuadrtica y nula en 3 puntos
alineados entonces p es nulo en toda la recta que contiene a V1, V2 y V3
Sea l(x,y)=0 la ecuacin de esa recta ( lP1), entonces
p(x,y)=l(x,y)q(x,y) con qP1 pero

0=P ( V 4 )=l ( V 4 ) q ( V 4 ) y l (V 4 ) 0 q ( V 4 )=0

0=P ( V 5 ) =l ( V 5 ) q ( V 5 ) y l(V 5 ) 0 q ( V 5 )=0
0=P ( V 6 ) =l ( V 6 ) q ( V 6 ) y l(V 6 )0
q ( V 6 )=0
y como V4 , V5 y V6 no alineados entonces q0 por tanto p0 .
Por lo tanto { V1, V2, V3, V4, V5, V6 } es unisolvente en P2.
Es fcil ver que el interpolador sobre un tringulo adyacente coincide con ste en el lado
comn, ya que son de grado 2 y coinciden en 3 puntos de una recta.

Grado 3
En este caso

dim Pk =

( k +1)( k +2) (3+1)(3+ 2)

=
=10
2
2

Sea pP3 / p(Vi)=0 i, como en cada lado del tringulo p es cbico y

se anula en 4 puntos entonces p=0 en los tres lados
p(x, y)=l1(x, y)l2(x, y)l3(x, y)q(x, y)
Siendo
l1(x, y)=0
l2(x, y)=0
l3(x, y)=0
las ecuaciones de los tres lados.
Como l1P1, l2P1 y l2P1 q es de grado 0
0=p(V10)=l1(V10) l2(V10) l3(V10) q(V10)
y l1(V10) 0, l2(V10) 0, l3(V10) 0 q(V10)=0 q0 pues es de grado 0.
Es fcil demostrar que el polinomio interpolador sobre un tringulo adyacente coincide en ste
en el lado comn, ya son de grado 3 y coinciden en 4 puntos de una recta.

Polinomios base
En cada caso la base de Pk que conviene usar est formada por polinomios Lagrangianos, que
valen 1 en un nodo y 0 en los dems.

10.3.7.1.1

GRADO 1

Problemas de campo

51

Si li(V)=0 es la ecuacin del lado i

sea N iN i ( V )=

1
l (V )
li (V i) i

siendo Vi el vrtice opuesto al lado i

N i ( V j ) = 0 si i j
1 sii= j
10.3.7.1.2

GRADO 2

En este caso dado un nodo cualquiera, existen dos

rectas tales que no pasan por ese nodo y pasan por
todos los dems.
Sean l1(V)=0 y l2(V)=0 las ecuaciones de esas rectas

l1 ( V ) l2 ( V )
l1 ( V 1 ) l2 ( V 1 )
N 1 ( V j ) = 0 si i 1
1 si i=1
sea N 1N 1 (V )=

10.3.7.2 Particiones rectangulares

Qk = { polinomios de gdo k en cada variable }= pp ( x , y ) = a ij xi y j

i=0 j=0

dim(Qk)=(k+1)2

Grado 1
En el caso de rectngulos, si elegimos los 4 vrtices como nodos
podemos interpolar con funciones bilineales (de Q1) si los lados
son paralelos a los ejes coordenados.
{V1, V2, V3, V4} es unisolvente en Q1 ya que si qQ1 |
q(V1)=q(V2)=q(V3)=q(V4)=0 entonces como q(V1)=q(V2)=0 y q
lineal en el lado V1V2 (pues queda y constante) entonces q 0
en ese lado.
Por lo mismo q0 en el lado V3V4
Entonces para cualquier punto V* tomo la recta vertical que pasa por l y q se anula en la
interseccin con los lados V1V2 y V3V4 y como q lineal en esa recta
(pues x=cte) entonces q(V)=0 por tanto q0
Si los lados no son paralelos a los ejes (si se rota) apareceran
trminos cuadrticos.
Si tomamos {V1, V2, V3, V4} en los centros de los lados, no es
unisolvente en Q1

Grado 2
Este conjunto de nodos es unisolvente en Q2 (dim(Q2)=9).
Si se elimina el punto central y eliminamos el trmino en x2y2 tenemos
un conjunto unisolvente en Q*2

Polinomios base
Lo ms conveniente es tomar como funciones base los productos de
los polinomios de Lagrange en x y en y por las coordenadas xi e yi de los nodos.

Problemas de campo

53

Ejempo - Grado 2
Nij(x,y)=lix(x)ljy(y)
Siendo
lix(x) el i-simo polinomio de Lagrange por x0, x1 y x2
ljy(x) el j-simo polinomio de Lagrange por y0, y1 e y2

10.3.8 Caso 3 variables - interpolacin en el espacio.

Las particiones pueden hacerse en tetraedros o en hexaedros.
Los casos son similares al plano, por ejemplo, tomado como nodos los vrtices de un tetraedro
se puede interpolar con polinomios de grado total 1.
Tomando los vrtices de un prisma cuyas aristas sean paralelas a los ejes se pueden usar
funciones trilineales.

10.3.9 Error de interpolacin

Nos interesa saber el orden de convergencia con h0
Vamos a tener que pedir que las particiones sean regulares, o sea que cuando h0 las
proporciones de los elementos se mantengan.
Para un elemento (tringulo, rectngulo, tetraedro, etc.)
Sean
he el dimetro de la menor bola (crculos o esfera) que lo
contiene
e el dimetro de la mayor bola contenida.
Entonces vamos a pedir que K independiente de h tal que

he
K
e

cuando h 0 o sea que no se achaten demasiado.

Vamos a demostrar que en cualquier tringulo de la particin, T,
se cumple

uuIL (T ) Chk+1Dk +1 uL ( T )
2

siendo C independiente de h (depender de k y K) y

Dk +1 uL (T )=
2

i+ j=k+1

i j
u
x i1 x 2j

L 2 (T )

Vamos a trabajar en un tringulo de referencia,

vrtices (0,0), (1,0) y (0,1)

T^ , de

10.3.9.1 Teorema de Sobolev

uL

(T^ ) C

(uL (T^ ) + uL ( T^ )+D2 uL (T^ ) )

2

Se demuestra similar al caso 1 dimensin.

10.3.9.2 Lema Bramble Hilbert

Dada u qPk tal que

uqL (T^ )+ (uq)L ( ^T )+ D2 (uq)L (T^ ) ++D k+1 ( uq )L (T^ ) C ' Dk+1 uL ( ^T )
2

C depende solo de k
En el caso general, de n - dimensiones, debe ser k>n/2

Problemas de campo

55

10.3.9.3 Propiedad 3

dim Pk

y T^ |u I ( y )|=

j=1

u (V j ) N j ( y ) uL ( ^T ) | N j ( y )|

T^

Como estamos en

dim P k

j=1

dim Pk

N j=C

no depende de ningn h, slo depende de k

j=1

|u I ( y )| C {left ldline u right rdline} rsub {{L} ^ {} left (widehat {T} right )} C C (uL ( T^ )+ uL
2

Por el teorema de Sobolev. Integrando los cuadrados y haciendo raz y como el rea de
es 1/2 :
1 /2

( )

u IL (T^ ) |uI|
2

^T

T^

1
C C left ({left ldline u right rdline} rsub {{L} ^ {2} left (widehat {T} right )} +
2

C que slo depende de k tal que

u IL (T^ ) C ' left ({left ldline u right rdline} rsub {{L} ^ {2} left (widehat {T} right )} + {left ldline u r
2

10.3.9.4 Acotacin del error

Caso

T^

q y qI son iguales, entonces

uuIL ( T^ )=uq+ q I u IL (T^ ) uqL ( ^T )+(uq)IL (T^ )

2

Por propiedad 3

uqL ( ^T )+C ' left ({left ldline u - q right rdline} rsub {{L} ^ {2} left (widehat {T} right )} + {left ldlin
1+C ') left ({left ldline u - q right rdline} rsub {{L} ^ {2} left (widehat {T} right )} + {left ldline ( u - q
2

Por lema B-H

1+C ') C ' {left ldline {D} ^ {k +1} u right rdline} rsub {{L} ^ {2} left (widehat {T} right )} = C ( k ) {le

Ec. 10-19

uuIL ( T^ ) C( k ) Dk+1 uL (T^ )

2

Caso general T
Vamos a usar una transformacin afn que transforma a

T^

en T

^ x=F ( y )=By+ c T
B y c tales que y T
OJO Para que no se invierta el sentido del tringulo debe ser det B>0
u en T^
y T^ u ( y )=u ( x )=u( By+ c)

Adems a u en T le asociamos

tal que

Problemas de campo

10.3.9.4.1

57

Propiedad A
1

u L ( ^T) =|det B| 2 uL (T )
2

Demostracin

(
| |
(

u L ( ^T) = |u ( y )| d y
2

|det B

^T
1
2

) (
) |

1/ 2

= |u ( x )| |det B| d x
T

1/ 2

u ( x )| d x

10.3.9.4.2

1 /2

= det B| 2 uL (T )
2

Propiedad B

BE

uL (T^ )
2

1
2

uL (T )
2

|det B|

BE= b2ij

es la norma Euclidea

Demostracin:

1 /2

|( u ) F J F| d y
T

1
2

|det B|

T^

BE
1
2

1 /2

) (
) (|
| )
2

uL (T^ )= | u ( y )| d y

| u( x )
T

1/ 2

| ( u F )| d y
T

=
1/ 2

u( x ) B| |det B| d x

2
E

1/2

dx

BE

(
|

|det B

1
2

| u|
T

1 /2

uL (T)
2

|det B|
10.3.9.4.3

Propiedad C

para derivadas superiores

k +1

k +1

u L ( T)
^
2

BE

1
2

D k+1 uL (T )
2

|det B|

Vamos a cambiar la Norma euclidea

una constante:

B v|v|=1 {|B v|}=

10.3.9.4.4

BE

por otra norma, que es equivalente a menos de

1
{|B v|}
v |v|=^
^

Propiedad D

Vamos a ver qu relacin hay entre

, det B y hT>T

Problemas de campo

y 1 , y 2 T^
| y 1 y 2|=^

sean

59

que estn en los extremos de un dimetro del crculo de dimetro

x 1 , x 2 T

sus transformados segn F son

|v|=| y 1 y 2|=^
y
y

Sea
F ( )F ( 2)=x 1x 2
B v=B ( y 1 y 2 )=B y 1B y 2=
v= y 1 y 2
|B v|=|x 1x 2| hT pues x1, x2T
h
1
1
B v|v|=^ {|B v|} hT

B T
^
^
^
10.3.9.4.5

det B

Propiedad E

|T |

=2|T |

(|T|=rea de T)

|T^|

Demostracin

T^

T^

|T|= 1 dx= 1|det B|dy =|det B| 1 dy=|det B||T^|

Acotacin del error

T^
uu L ( T^ ) C(k ) Dk+1 uL (T^ )

Sabamos que para

I

Entonces por propiedad A:

1

uuIL (T )=|det B|2uu IL (T^ ) |det B|2 C (k )Dk +1 u L (T^ )

2

(por propiedad C)

BkE+1

1
2

|det B| C ( k )

1
2

Dk+1 uL (T )=C ( k )BkE+1 Dk+1 uL (T )

2

|det B|

pero la norma euclidea de B es equivalente a la otra a menos una constante

k+1
k +1
uuIL (T ) C ( k )Bk+1
uL (T ) C ' ( k )B Dk +1 uL ( T )
E D
2

(por propiedad D)

Problemas de campo

C ' ( k )

hT
^

k+1

( )

61

Dk +1 uL (T )= C '(k+1k ) hk +1D k+1 uL (T )=C ( k ) {h} ^ {k +1} {left ldline {D} ^ {k +1} u right
2

Sumando los cuadrados T tenemos

Ec. 10-20

uuIL ( ) C ( k ) {h} ^ {k +1} {left ldline {D} ^ {k +1} u right rdline} rsub {{L} ^ {2} left ( right )}
2

Tambin se puede probar que

( uu I )L (T) C hTk+1Dk+1 uL (T )
2

hT
K
T

y si la particin es regular,

y KC=C'

I
k
k +1
' k
k +1
( uu )L (T ) C ' h T D uL ( T ) C h D uL ( T )
2

Sumando

( uu I )L () C' hk Dk+1 uL ( )

Ec. 10-21

O sea que la convergencia es de orden k+1 en h para u y de orden k en h para u siendo k el

grado de la interpolacin usada.

10.4 Mtodos de Elementos Finitos

Trataremos de hallar una funcin, u*, que aproxime a la solucin de problema, u, tan bien como
la interpolante de u, uI.
Como ejemplo vamos a ver el problema de minimizar

1
2
J (u ) | u| fu
2

en V = {u : Ru=0 en = }
Si planteamos que la variacin de J debe ser nula, llegamos a

u = f =0 en
En lugar de minimizar J en V, vamos a tomar una particin de y minimizamos J en

V h= { vv es de grado k en cada tri ngulo , v continua en y v=0 en }

En este caso al plantear J(uh)=0 llegamos a:

uh h= f h h V h
Si {N1, N2, ..., NN} es una base de Vh

h ( x )= j N j ( x)
j

u h ( x )= u i N i (x )
i

Entonces
Ec. 10-22

) (

) (

u i N i ( x ) j N j (x) = f j N j ( x ) ( 1 , 2 , , N ) R N

En particular si tomamos como las funciones de la base, o sea (1, 2, , N) de la base

cannica RN

u i N i ( x ) N j ( x)= f N j ( x ) j=1,2, , N

Ec. 10-23

Problemas de campo

63

ui N i ( x ) N j ( x )= f N j ( x) j=1, 2, , N
i

Si definimos

A= [ aij ] aij = N i (x) N j ( x)

Ec. 10-24

F =[ F j ]F j= f N j (x )

Ec. 10-25

u= [u j ]
entonces A u=
F da la solucin del problema.
Con otros funcionales se puede llegar a sistemas de ecuaciones no lineales.

10.4.1 Propiedades de A
1) A simtrica y definida positiva, o sea

aij =a ji y a ij v i v j> 0

A= A T y v T A v >0 v

o bien

2) La mayora de los aij son nulos, a menos que los nodos i y j sean cercanos (de
elementos adyacentes)
Como A es simtrica y definida positiva entonces el sistema de ecuaciones es compatible
determinado entonces podemos hallar u y por tanto podemos hallar uh.
Luego veremos que uh aproxima a u con el mismo orden de convergencia que uI.

10.4.1.1 Ejemplo (1 variable)

Minimizar
1

J ( u )=

2
1
k |u '| fu
20
0

con u(0)= y u(1)=

J ( u )=0

d
J ( u+ ) =0 (0)=(1)=0
d
=0
1

d 1
k ( u '+ ' )2 f ( u+ ) = k (u '+ ' ) ' f

d 2 0
0
0
0
en =0
1

k u ' ' f =0 (0)=(1)=0

0

Vamos a trabajar con "elementos lineales". O sea tomaros una particin de [0,1]
{xi / xi=hi, h=1/N, i=0, 1,.., N} y usaremos

V h= { de grado 1 en cada I j , continuaen [ 0,1 ] y (0)= (1)=0 }

la base cannica de Vh es {N1, N2, ..., NN-1} / Ni(xj)=ij y Ni poligonal (continua y lineal en cada Ij)

Problemas de campo

65

Obsrvese que si no tuviramos alguna de las condiciones de contorno u(0)= u(1)=,

entonces no pediramos que (0)=(1)=0 y por lo tanto Vh tendra dimensin mayor pues
habra elementos en la base de la forma

por ahora no consideraremos las condiciones de contorno, por lo que incluiremos estos
elementos en la base.
1

Como debe ser

k u' ' = f V h
0

en particular debe cumplirse para los elementos

de la base, con lo cual

1

k u N ' i= f N i i=0, 1,2, , N

'

pero podemos sustituir

N

u ( x ) = u j N j ( x)
j =0

Ntese que ac incluimos N0 y NN pues u(x) no se anula en 0 ni en 1 sino que vale y , por
tanto u0= y uN=, entonces
1

k u j N ' j (x)
0

j=0

uj
j=0

(
0

N ' i = f N i i=0,1, 2, , N
0

kN ' j N ' i = f N i i=0, 1, 2, , N

0

que es un sistema de la forma

A u= f

con

Problemas de campo

67

A= [ aij ] aij = k N ' j N ' i i , j=0, 1,2, , N

0

f =[ f i ] f i = f N i i=0,1, 2, , N
0

10.4.2 Clculo de la matriz A

Como el intervalo [0,1] est dividido en N intervalos (elementos) I e=[xe-1,xe] podemos escribir
1

aij = k N j N i= k N j N i= a eij
'

'

'

'

e=1 I e

Siendo

e=1

A =[ a ]a = k N ' j N ' i
e

e
ij

e
ij

Ie

Entonces
N

A= A e
e=1

Ae se llama matriz de rigidez elemental del elemento e,

Cuando son varias dimensiones hay que tener ojo de no confundir la numeracin de los nodos
con la numeracin de los elementos.

10.4.2.1 Matrices elementales

Observando la forma de Ni(x) y Ni(x) vemos que de una funcin
base y su derivada solo son no nulas en los elementos que
contienen a su nodo asociado

xe

Por lo tanto

'

'

aij = k N j N i

ser nulo excepto para ( i=e

x e1

i=e-1) y (j=e j=e-1) o sea que la fila y columna correspondan a

nodos del elemento Ie
Por lo tanto la matriz Ae ser de la forma:

Lo que se hace es calcular slo la submatriz de 2x2 no nula e irlas sumado (e) en la matriz A
en la posicin correcta (fila y columna i=e-1 y j=e)
xe

xe

ae1,e = k N e N e1= k
'

x e1

'

x e1

1
h

1 1
= 2 k
h
h I

( )( )

Problemas de campo

69

xe

xe

1 1
1
ae1,e1= k N e1 N e1= k
= 2 k
h
h
h I
x
x

1
ae , e1=ae1, e = 2 k
h I
'

( )( )

'

e1

e1

xe
'

'

ae , e= k N e N e =
x e1

1
k
h2 I
e

1
2
h

entonces la submatriz, es

( )[

1 1
1 1

k
Ie

en la prctica

debe calcularse numricamente.

Ie

Por la regla del punto medio podemos aproximar

k hk
Ie

(x

e1

+ xe1
h k e
2

k e 1 1
h 1 1

La submatriz queda:

en las filas y columnas e-1 y e

Sumando e=1, 2,.., N

k1
k 1
0
k 1 k 1+ k 2 k 2
1 0
k 2 k 2+ k 3
A=
h

0
0
0
0
0
0

0
0

0
0

0
0

k N 1+ k N k N

k N
kN

10.4.3 Clculo del vector f

1

f i = f N i= f N i= f ei
e=1 I e

Si

e=1

f =[ f ] f = f N i i=0, ... , N
e

e
i

e
i

Ie

entonces
N

f = f

e=1

fe se llama vector elemental de fuerzas equivalentes del elemento e.

10.4.3.1 Vectores elementales

Como Ni es nulo excepto en los elementos e-1 y e entonces los fie son todos nulos excepto para
i=e i=e-1, los cuales valen, por la regla del punto medio:

+ x e1
x e1+ x e1
1 h
N e1
=h f e = f e
2
2
2 2
I

x +x
x +x
1 h
f ee = f N e hf e1 e1 N e e1 e1 =h f e = f e
2
2
2 2
I

f e1= f N e1 hf
e

(x

e1

) (
)
) (
)

Problemas de campo

71

h
f

2 e
f ei =0 i e1, e
f ee =f ee1

El subvector no nulo es

[]

h 1
fe
2 1

en las columnas e-1 y e

Sumando e=1, 2,.., N

[ ]

f1
f 1+ f 2
f = h f 2 + f 3
2

f N 1+ f N
fN

[]

u0
u1
u2
Ahora podemos plantear Au=f con u=

uN 1
uN
Ntese que la k-sima ecuacin queda

1
h
k e ue1 + ( k e + k e+1 ) ue k e+1 u e+1 ]= ( f e + f e+ 1)
[
h
2

f e +f e+1
1
k u u e1 )k e+1 ( ue+1u e ) ]=
2 [ e( e
2
h

sea

sea

u u
u u
k e e e1 k e+1 e+1 e
f +f
h
h
= e e+1
h
2

) (

que es igual al esquema de diferencias finitas para (ku ')'=f

10.4.4 Ensamblado del sistema global

Para ensamblar el sistema global se calcula la matriz A y el vector f en forma similar a como se
describi en para sistemas discretos, sumando los coeficientes de las matrices elementales en
la fila y columna correspondiente a la numeracin global de los nodos correspondientes y
sumando los coeficientes de los vectores f elementales en la fila correspondiente a la
numeracin global de los nodos.

10.5 Condiciones de contorno

10.5.1 Condiciones de Dirichlet
Es cuando se fija el valor de u en la frontera.
Como vimos en este caso las deben anularse en el nodo correspondiente, entonces la
funcin base de ese nodo no va y debe eliminarse la ecuacin de ese nodo. Adems la
incgnita ui de ese nodo es conocida, entonces se pasa la columna por ui restando al 2
miembro.

Problemas de campo

73

La eliminacin de las columnas y filas correspondientes a los nodos con condicin de Dirichlet
se llama reduccin del sistema.

10.5.2 Condiciones de Newmann

Si queremos que k(x)u'(x)= en x=1, al no fijar u(1) entonces debe ser Fu(1)=0.
En nuestro ejemplo esta condicin queda k(x)u(1)=0, pero queremos que sea k(x)u'(x)=
Para ello debemos cambiar F de forma que Fu(1)= k(x)u'(x)-.
Para ello restamos u'(x) de F, quedando el funcional
1

J ( u )=

2
2
1
1
k |u '| fu u' = k |u'| fu u ' =

20
20
0
0
0

2
1
k |u'| fuu (1 )+ u (0)
20
0

Como u(0) est fijada por la otra condicin de contorno, sumarla al funcional no cambia el
mnimo. Para simplificar entonces minimizamos
1

2
1
J (u )= k |u '| fuu ( 1 )
20
0
1

y al plantear la variacin de J nula en =0 queda

k u ' ' f (1)=0 (0)=0 la matriz A queda igual, pero al vector F se le

0

suma el vector

[ ][]
N 0 (1)
N 1 (1) =

N N (1)

0
0

Como hay condicin de Dirichlet en 0, eliminamos la primera ecuacin y hacemos u0=

La ltima ecuacin queda y se suma en el 2 miembro.
Si hubiera condicin de Neumann en 0 y en 1, entonces quedaran todas las ecuaciones,
sumando en el 2 miembro de la 1 y en el 2 miembro de la ltima. Para poder resolver el
sistema se deber fijar u en algn nodo, pues la solucin puede variar en una constante y
seguir siendo solucin. Fijando algn ul entonces determinamos una solucin.
La resolucin del sistema de ecuaciones, cuando se obtienen matrices grandes, simtricas y
definidas positivas, conviene hacerla por mtodos iterativos.

10.5.2.1 Ejemplo (2 Variables)

En este ejemplo veremos que con una malla uniforme se llega a un esquema equivalente al
mtodo de diferencias finitas.

u=f en [ 0,1 ] [ 0,1 ]

u=g 1 en 1
u
=g2 en 2
n

Equivale

J ( u )=

( u ( u )=2 u)
a

1
2
| u| fu g 2 u

con u=g1 en 1.
La variacin del funcional es

J ( u )= u f g2
debe ser

J ( u )=0 (0)=0 en 1

minimizar

Problemas de campo

75

u = f + g2 (0)=0 en 1
En este ejemplo =[0,1]x[0,1]

Particionamos en tringulos segn el dibujo y numeramos por un lado los nodos y por otro lado
los tringulos de e=1 a M (M=72) en un programa se deber guardar una matiz de conectividad
de 3xM que en cada columna tiene los nmeros de nodos que tiene el tringulo
correspondiente a esa columna.

elem
1
9
8

1 2 3
1 2 2
2 10 3
9 9 10

4
i
j
k

e 71 72
41 41
49 42
48 49

Se anotan en sentido antihorario.

En un programa para calcular cada integral se hace un cambo de variable a
^ con las funciones base en T^ .
la integral en T
Nosotros ac vamos a calcular directamente en Te.
En Te la funcin base asociada al nodo i es

Ni |

N i ( x i , y i )=1
N i ( x j , y j )=0
N i( x k , y k )=0

Por lo tanto

N i ( x , y )= ei + ei x + ei y

[ ][ ] [ ]
1
1
1

xi
xj
xk

e
y i i
1
e
y j i = 0
0
y k ie

Que puede resolverse con la regla de Cramer dando

T^

y se calcula

Problemas de campo

|
|
|
|

e
i

ei =

|
|
|
|

1 xi
0 xj
0 xk

yi
yj
yk

1 xi
1 xj
1 xk

yi
yj
yk

1 xi 1
1 xj 0
1 xk 0

1 xi
1 xj
1 xk

yi
yj
yk

77

x j y k x k y j

e
i

| |
| |

2 e

1 1
1 0
1 0

yi
yj
yk

1
1
1

yi
yj
yk

xi
xj
xk

y j yk
2 e

x k x j
2 e

si los nodos i, j y k estaban en sentido antihorario

e

| |

1 xi
1
1 xj
2
1 xk

yi
y j =|T e|> 0
yk

Anlogamente se calculan

ej , ej , ej y ek , ek , ek

Clculo de A
Hay que calcular las matrices elementales

e
A e =[ aelm ]alm
= N l N m l, m=1, 2, , 49
Te

pero los nicos elementos no nulos son aquellos que corresponden a l y m, nodos vrtices de
Te, o sea l y m {i, j, k}.
En ese caso

aelm=
Te

N l Nm N l Nm e e e e
+
= ( l m + l m )=e ( el em + el em )
x x y y
T

e
alm
=e ( el em + el em ) sil , m { i, j , k }

La submatriz la Ae no nula es

fila i

2
i

2
i

j k

+
i j + i j i k + i k
e
2
2
j i + j i
j + j
i k + i j
2
2
k i + k i k i + j i
k+ k

columna
i
j
k

Por conveniencia de clculo debe tratarse de que estos elementos se alejen lo menos posible
de la diagonal principal, o sea que las diferencias entre i, j y k deben ser mnimas. Ello se logra
numerando los nodos en un orden tal que en cada elemento los ndices de sus nodos difieran
poco.
Si consideramos por ejemplo el elemento 2

Problemas de campo

79

h
2
h
1
1=
=
2
h
h
2( )
2
h
1
2=
=
2
h
h
2( )
2

2=

1=0
h
1
=
2
h
h
2( )
2
h
1
9 =
=
2
h
h
2( )
2

2=

9=0
entonces queda

fila 1 2 9

1
+0
h2
h2 1 +0
2 h2
0+ 0

1
+0
h2
1 1
+
h 2 h2
1
0+ 2
h

0+0 columna
1
1
2
0+ 2
h
9
1
0+ 2
h

fila 1 2 9
columna
1
1 1 0
1
2
2
A = 1 2 1
2
9
0 1 1

O sea

Para el elemento 1

1 =

h2
2

1=0

1=

1
h

1
9 =0
h
1
1
8=
8=
h
h
fila 1 9 8
columna
1
1
0 1
1
1
9
A=
0
1 1
2
8
1 1 2
9=

Estas matrices elementales las vamos sumando para obtener A.

Problemas de campo

81

2 1 0 0 0
0
0 1 0
0
1 4 1 0 0
0
0
0 2 0

0
0
0 0 1 4 1 0
0
0
1
A 1=
0
0
0 0 0 1 2
0
0
0
2
1 0
0 0 0
0
0
4 2 0
0 2 0 0 0
0
0 2 8 2
0
0 2 0 0
0
0
0 2 8

Clculo de F
Hay que calcular los vectores elementales Fe

Fe =[ f el ]f el = f N l
Te

estos elementos son nulos excepto el subvector correspondiente a los nodos del tringulo, o
sea para l { i, j, k} que podemos calcular por la regla del trapecio para tringulos:

fN i
Te

|T e|
3

( f i+ 0+0 ) =

Para los elementos 1 y 2

[]

f i
h2
h2 i
f i F e=
f j
6
6 j
fk k

[] []

f1
0
0
0
2
2
h 0 2 h
F1=
F=
6 0
6
0
f8
f9

Estos vectores se van sumando para obtener F

f1
f2
0
0
0
0
0
0
f9

Problemas de campo

83

[]

f 1 /3
f 2 /2
f 3 /2
f 4 /2
f 5 /2
2
F=h f 6 /2
f 7 /6
f 8 /2
f9
f 10

Si se completan todas las cuentas se llega a un sistema igual al que se obtiene por diferencias
finitas.

10.6 Elementos usuales

En el mtodo planteado en 10.4 suelen usarse para Vh bases como la que se usa en 10.4.1.1 y
en 10.5.2.1, es decir funciones de forma Lagrangianas, que valen 1 en un nodo y son nulas en
los dems nodos del elemento.
Ms adelante en 10.8 veremos que cuando se usa interpolacin con polinomios de grado total
k la convergencia es de orden hk+1 en u.
Esto significa que lo que importa es el mayor grado para el cual el polinomio es de grado
completo. La inclusin de trminos de grado superior no mejora la convergencia si no se
completa el grado superior.
Debido a eso veremos que en elementos 2D y 3D a veces se descartan nodos de los
elementos para disminuir la cantidad total de nodos (y por tanto el tamao del sistema de
ecuaciones) sin sacrificar convergencia, pues con esto se eliminan trminos del grado
incompleto sin afectar el grado completo.

10.6.1 Elementos unidimensionales

Los elementos ms usuales son segmentos lineales de dos nodos (uno en cada extremo del
elemento) y cuadrticos de tres nodos (uno en cada extremo y otro en el centro del elemento).
La base de Vh que se utiliza es la que contiene a las funciones de forma usadas para
interpolacin a trozos.
Segmento lineal (2 nodos)

x x 2( e )
N x (e)
x1 x 2( e )
x x (e)
N 2( e ) x ( e ) 1 ( e )
x 2 x1
(e)
1

Segmento cuadrtico (3 nodos)

x x x x
x x x x
x x x x x
x x x x
x x x x x
x x x x

N 1( e ) x
N 2( e )
N 3( e )

(e)
1
(e)
2

(e)
3

(e)
2
(e)
2
(e)
1
(e)
1
(e)
1
(e)
1

(e)
3

(e)
2
(e)
2

(e)
3

(e)
3
(e)
2

(e)
3
(e)
3
(e)
2

Problemas de campo

85

10.6.1.1 Funciones de forma locales y globales

Las funciones de forma que hemos definido dentro de cada elemento son llamadas funciones
de forma locales y las usaremos cuando calculemos las integrales dentro de un elemento para
calcular la matriz de rigidez elemental.
Sin embargo en ecuaciones como Ec. 10-22 o Ec. 10-23 que involucran integrales en todo el
campo, para cada nodo consideramos una funcin de forma global tipo sombrero (tambin
llamada funcin base por ser parte de la base de Vh), definida en todo el campo y que es igual a
las funciones de forma locales correspondiente al nodo en los elementos que lo contienen y
nula en los dems elementos.
Para elementos unidimensionales lineales, las grficas de las funciones base tienen formas
triangulares como se muestra en la figura.

10.6.2 Elementos bidimensionales

10.6.2.1 Elementos triangulares
Al igual que en la interpolacin a trozos, en el MEF se hace un cambio de variable en las
integrales para llevar los elementos triangulares a un tringulo estndar.
En ese tringulo estndar la base de Vh que se utiliza es la que contiene a las funciones de
forma usadas para interpolacin a trozos.
Tringulos lineales (3 modos)

N1 g , h 1 g h
N 2 g, h g
N 3 g, h h

Tringulos cuadrticos (6 nodos)

N 1 g , h 2 12 g h 1 g h
N 2 g , h 2 g g 12
N 3 g , h 2h h 12

N 4 g , h 4 g 1 g h
N 5 g , h 4 gh

N 6 g , h 4 h 1 g h
Ntese que los polinomios son de grado completo en el caso de tringulos.

10.6.2.2 Elementos cuadrilteros

En forma anloga, tambin se hace un cambio de variable para llevarlo al cuadrado estndar y
se usan las mismas funciones de forma que en interpolacin en el cuadrado estndar:
Cuadrilteros lineales (4 nodos)

Problemas de campo

87

N 1 g , h 14 1 g 1 h
N 2 g , h 14 1 g 1 h
N 3 g , h 14 1 g 1 h
N 4 g , h 14 1 g 1 h
Cuadriltero cuadrtico serendpito (8 nodos)

Cuadriltero cuadrtico Lagrangiano (9 nodos)

No suele utilizarse porque el agregado del nodo central no cambia el grado total y por tanto no
mejora la convergencia, mientras que aumenta la cantidad de variables en el sistema.

10.6.2.3 Funciones de forma locales y globales

Tambin debemos distinguir entre las funciones de forma locales que acabamos de ver
(definidas dentro de un elemento) y las funciones de forma globales tipo sombrero o
funciones base (definidas en todo el campo).
Para elementos triangulares lineales las grficas de las funciones base tienen formas
piramidales como se muestra en la figura.

10.6.3 Elementos tridimensionales

Tambin se hace un cambio de variable en las integrales para llevar los elementos estndar y
se usan las mismas funciones de forma que en interpolacin a trozos.
Los elementos tetradricos tendrn polinomios de grado completo mientras que las cuas y
hexadricos van a tener algunos trminos de grado superior incompleto. Debido a esto suelen
usarse elementos serendpitos que tienen menos nodos y el mismo grado total.

Problemas de campo

89

10.7 Integracin numrica

En general las integrales involucradas en el clculo de A y F deben calcularse por
mtodos numricos. Cuando se usan elementos de grado k , para que no se afecte el orden de
convergencia con respecto a la integracin exacta, se deben usar frmulas de integracin
numrica que sean exactas para polinomios de grado 2k-2 en cada variable para elementos
triangulares o tetradricos, y de grado 2k-1 en cada variable para elementos rectangulares o
hexadricos.
Por tanto, para tringulos lineales se puede usar la regla del punto medio (que usa el punto
central) y para tringulos cuadrticos la regla para grado total 2 (que usa los puntos medios de
cada lado), sin embargo suelen usarse frmulas de 3 y 6 puntos para mejorar la precisin.

Para tetraedros lineales se puede usar la regla del punto medio (que usa el punto central) y
para tetraedros cuadrticos la frmula para grado 2 (que usa cuatro puntos interiores), pero
para mayor precisin suelen usarse frmulas de 4 y 15 puntos.

Para cuadrilteros lineales se puede usar la regla del punto medio (que usa el punto central) y
para cuadrilteros cuadrticos la frmula para Gauss con 4 puntos.

Sin embargo, para obtener mejor precisin suelen usarse frmulas con 4 puntos para
cuadrilteros lineales y nueve para cuadrilteros cuadrticos.

Problemas de campo

91

Para hexaedros lineales se puede usar la regla del punto medio (que usa el punto central) y
para hexaedros cuadrticos la frmula para Gauss con 8 puntos, pero suelen usarse frmulas
de 8 puntos y 27 puntos para mejorar la precisin.

10.8 Convergencia del mtodo de elementos Finitos

10.8.1 Caso 1 variable
Sean:
u la solucin exacta
uI su interpolada de grado k en cada Ij
uh aproximacin de elementos finitos de grado k en cada I j
Sabemos que C, C tales que

uuIL (I ) C h k+1u( k+1)L ( I )

( uu I ) 'L ( I ) C ' hk u( k+1 )L ( I )
Vamos a ver que uuh y ( uuh ) '
2

tambin puede acotarse as.

Demostracin
Vamos a considerar a modo de ejemplo el problema

u =-f en I= left [a,b right ] # u left (a right ) =u left (b right ) =0 } right none

que equivale a

u ' '= f V { ( a )= ( b )=0 }

(*)

En el MEF en lugar de resolver esto restringimos a las que son de grado k en cada elemento
y hallamos uh.
b

uh ' h '= f h h V h { de grado k en cada I j ( a )= ( b )=0 }

a

Problemas de campo

93

como u cumple * V, en particular tambin cumple para las h

b

u ' h ' = f h h V h
a

Restando con la ecuacin de uh tenemos la ecuacin del error,

b

( uuh ) ' h ' =0 h V h

a

O sea que el error de u'h es ortogonal al subespacio V h, entonces u'h es la proyeccin de u

ortogonal a Vh con u , v = u ' v '

I
h =u uh , que es de grado k en cada Ij, entonces

En particular elegimos
b

( uuh ) ' ( u I u h ) '=0

a

Consideremos ahora
b

( uuh ) 'L ( I )=|( uuh ) '| = ( uuh ) ' ( uu h ) ' =

2

a
b

( uu h ) ' [ uu I +u I uh ] '= ( uuh ) ' ( uu I ) ' + ( u I u h ) ' =

a

( uu h ) ' ( uu I ) '+ ( uuh ) ' ( u I uh ) = ( uu h ) ' ( uu I ) '

a

(CS)

(CS)
( uu h ) ' L ( I )( uu I ) 'L ( I )

( uu h) ' L ( I ) ( uu I ) 'L (I ) C ' h ku(k +1)L ( I )

2

C ' ( uuh ) 'L (I ) C ' hk u(k +1)L ( I )

2

Ntese que el error de uh

( conu=u 'L (I ) )
2

es menor que el de la interpolada (en realidad

pudo usarse v polinomial cualquiera en lugar de uI)

Anlogamente se demuestra para varias variables que

C ' ( uu h )L ( ) C ' hk Dk+1 uL ( )

2

10.8.1.1 Acotacin de u-uh

Sea | (a)=(b)=0 y =u-uh
b

uuhL ( I ) = ( uu h )2= ( uuh ) ( uu h )=

2

Integrando por partes

right )} = {left none left (u- {u} rsub {h} right ) left (-' right ) right rline} rsub {a} rsup {b} + int fro
( uu
b

Pues u=uh en a y en b
b

uuhL ( I )= ( uuh ) ' '

2

Pero segn la ecuacin del error

Problemas de campo

95

( uuh ) ' h ' =0 h V h

a

en particular para h=I , entonces

b

uuhL ( I ) = ( uu h ) ' ' ( uuh ) '

' = ( uu h ) ' ( I ) ' (CS)

a

right rdline} rsub {{L} ^ {2} left (I right )}

(
( uu h) ' L ( I ) I ) 'L (I ) C' h u
Ch
k

(k+ 1 )

2
L ( I)

uuhL ( I ) C {{h} ^ {k+1} left ldline {u} ^ {left (k+1 right )} right rdline} rsub {{L} ^ {2} left (I right
uuhL ( I ) C {{h} ^ {k+1} left ldline {u} ^ {left (k+1 right )} right rdline} rsub {{L} ^ {2} left (I rig
2

10.8.2 Caso varias variables

Como ejemplo consideremos

en
{u=f
u=0 en
Es parecido a la demostracin anterior.

=uuh en
=0 en

Sea

uuhL ( )= ( uuh ) ( uuh ) = ( uu h ) ( )=

2

( uu h )

( uuh ) ( uuh ) n =

()

( uuh )

Pues u=uh en
podemos restarle la ecuacin del error con h=I :

( uu h ) I =0

( uu h ) ( I ) ( uu h) ( uu h ) I =

( uuh ) ( I ) (CS) ( uu h )L ( ) ( I )L ( )
2

C ' hk Dk +1 uL ( ) C h {left ldline {D} ^ {2} right rdline} rsub {{L} ^ {2} left ( right )}
2

Pero

si

es

convexo

entonces

D L ( ) C ' {left ldline right rdline} rsub {{L} ^ {2} left ( right )}
2
uuhL ( ) C hk +1D k+1 uL ( ) L ( )=C hk +1D k+1 uL ( )uu hL ( )
uuhL ( ) C h k+1Dk+ 1 uL ( )
2

O sea que la convergencia es de orden k+1 para uh y orden k para u

10.9 Mtodo de los residuos ponderados

Vamos a ver que a partir de la formulacin diferencial del problema (llamada forma fuerte)
podemos llegar al mismo esquema de elementos finitos que llegbamos a partir de la
formulacin variacional.
Consideremos el problema de Poisson:

Problemas de campo

97

en
{u=f
u=0 en
este problema equivale a hallar u tal que

( uf ) =0

u=0 en

sta es la forma dbil del problema original.

En particular se va a verificar para h del espacio de elementos finitos (8)

( uf ) h=0 h V h

O sea

f h= ( u ) h= ( u ) h h V h
Usando el teorema de Green

f h= u h ( u h ) n = u h h V h
Pues h en nula en .
Hacemos la aproximacin de buscar un uhVh que verifique esa igualdad

uh h= f h h V h
que es la misma que tenamos en el mtodo de elementos finitos ( 9)
En este caso, al igual que antes, hemos usado el mismo espacio de elementos finitos, Vh, para
las h y para las uh. Este es el mtodo de Galerkin.
Los mtodos de Petrov - Galerkin toman distintos espacios para las h y para las uh.
El mtodo de los Residuos Ponderados tiene la ventaja de que hay ecuaciones diferenciales
que no tienen una formulacin variacional equivalente. A estas ecuaciones igual puede
aplicarse el mtodo de residuos ponderados.

10.10 Mtodos no conformes

Estos mtodos usan funciones que sean continuas en cada elemento pero pueden ser
discontinuas en la frontera entre elementos. En este caso ya no se puede usar el teorema de
Green en pues discontinua en

10.10.1 Ejemplo (1 variable)

-u"=f en [a,b]
equivale a

u } = int from {a} to {b} {f}

lineal a trozos

f= u } = sum from {j=1} to {N+1} {left (int from {{x} rsub {j-1}} to {{x} rsub {j}} {-u
a

8 (-u-f) se llama residuo de la ecuacin

9 Las h se llaman funciones de peso y se toman de una base de Vh

Problemas de campo

99

xj

+
x j1
u' ( x j)

N +1

j=1

xj

N +1

xj

N+1

u ' ' u |x = u' '

x j1

'

j1

j=1

j=1

+
xj

x j

'
u ( x j)
b

N +1

u u ( b ) ( b ) +u ( a ) ( a )
'

'

'

'

j=1

La sumatoria sera nula si fuera continua.

10.10.2 Ejemplo (varias variables)

En varias variables podemos aplicar Green en cada elemento pero luego al sumar, las
integrales en las fronteras entre elementos no se ven a cancelar.

en
{u=f
u=0 en
equivale a

( u ) = f lineal en cada elemento

u=0 en

f= (u ) =
T

u
T

Donde

(
T

u
d
nT

u
= u n
n T

+
d

n T

f= u

) (

( u ) =

u
d
n T

u
T

u
d =
nT

Problemas de campo

101

+
d
u

nT

f= u
Pues

nu d=0

Siendo

= ( )

=( T ( )) ( )
=salto dediscontinuidad en
+

o sea que la solucin de la ecuacin diferencia, si es discontinua, no cumple

uh h= f
Pues

+
d

nT

Pero los mtodos no conformes consisten en buscar uh lineal en cada elemento que cumpla

u h = f lineal en cada elemento

T

As planteado el problema no tiene solucin nica, lo cual puede verse, por ejemplo, si f=0 ,
pues cualquier uh constante en cada elemento cumple

uh
T

=0

pues

u h=0 aunque no sea la funcin nula.

Para tener unicidad lo que se hace es buscar
uh lineal en cada tringulo y continua en el punto medio de cada lado de T

u h = f
T

lineal en cada T y continua en los puntos medios de los lados de T y =0 en ()

Ahora hay unicidad de solucin, pues para el sistema homogneo:
Si

uh
T

=0

lineal en cada T y continua en los puntos medios de los lados

de T y =0 en () entonces uh=0 en cada T.

Problemas de campo

103

Entonces uh constante en cada T y, como debe ser continua

en los puntos medios de los lados, ese valor constante debe
ser el mismo para todos los tringulos, por tanto uh es
constante en y como es nula en () entonces es nula en
todo .
Como funciones base se usan las mismas de antes pero
como nodos se toman los puntos medios de los lados.
Ahora tendremos ms nodos que antes, pues cada tringulo
aporta dos nodos nuevos. Se usan las bases asociadas a
estos nodos tanto para las como para interpolar uh en cada
T.

10.10.3 Patch test

Si u es lineal en cada T y continua en los puntos medios entonces

u = f linealen cada T y continua en los puntos medios

T

Demostracin

+
d

+
d

nT

nT

Como u lineal en cada tringulo su derivada es constante

u
=k l
n T

Problemas de campo

105

+
d

+
( ml )

|k l|

k l
l

nT

Pues la regla del punto medio es exacta para +-- que es lineal y como es continua en los
puntos medios, (+--)(ml)=0
Entonces

+
d

nT

f= u
Por lo tanto

u = f linealen cada T y continua en los puntos medios

T

Se puede demostrar que para u no lineales la igualdad no se cumple pero la diferencia es de

orden 2 en h.
Esto implica que el esquema es consistente (10) ya que la solucin exacta satisface el esquema
de clculo salvo un trmino de orden superior.

10.10.4 Convergencia

(u I uh )

=
( uI uh ) ( uI uh ) =
L (T)
2

( uI u+uuh ) ( u I u h )=
T

(
T

( u u ) ( u uh ) + ( uuh ) ( u I u h) =
I

( u I u ) ( u I u h) + u ( uI uh ) u h ( uI uh )
T

10 Consistencia no implica convergencia que es que la solucin tienda a la exacta cuando

h0.

Problemas de campo

107

Por Cauchy Schuartz y tomando =uI-uh

( u u )L (T) ( u u h )
I

L (T )

+ u uh
T

Por Cauchy Schwartz para el producto escalar

2

1
2

1
2

( (u u ) ) ( (u u ) ) + u u
( u u )
(
) ( (u u ) ) + u f
I

L (T )

L (T )

1
2

2
L (T )

1
2

L (T )

uh = f

Pues las uh se buscaron de modo que

lineal en cada T y

continua en los puntos medios, cosa que cumple en particular =uI-uh

( u I uh )

L (T)
2

)(

Dividiendo por la segunda sumatoria

( (uIuh)L (T ) )2 ( (uIu )L (T ) )2 +
T

u f
T

( ( uI uh )L (T ))2
2

( uu )L () C hD2 uL ( )
I

Pero como u lineal en cada T:

( u I u h )

'

u f

C ' h D2 uL ( )+
L ( )

(u u )
I

L2 ( )

Como vimos en el Patch Test, el numerador del ltimo trmino se anula cuando u es lineal en
cada tringulo y es de orden 2 en h en otro caso. Con lo cual quedara:

} h {left ldline {D} ^ {2} u right rdline} rsub {{L} ^ {2} left ( right )}
( uI uh ) L ( ) C

Como

( uu h )L ( )= (uu I +u Iuh )L ( ) ( uuI )L ( )+ ( u I uh )L ( )

2

Entonces

( uu h )L ( ) C hD2 uL ( )
2

O sea que la convergencia de u es de orden h.

10.11 Mtodos mixtos

Se usan en sistemas de ecuaciones diferenciales parciales y consiste en usar para unas
funciones incgnita distintas funciones base que para otras funciones incgnitas.

10.11.1 Ejemplo - Ecuaciones de Navier-Sokes

u + ( u ) u + p=f
Donde:

u ( x ) =( u1 ( x , y , z ) ,u 2 ( x , y , z ) , u3 ( x , y , z ) ) es la velocidad
p ( x )= p ( x , y , z ) es la presin
f ( x )= f ( x , y , z ) es la fuerza aplicada sobre el fluido
Para fluidos incompresibles la ecuacin de continuidad es

u=0

( u I u )L (T ) 2 ( uI uh )L (T ) 2 + u f

Problemas de campo

109

Y la condicin de contorno puede ser u=0 en ( )

Estas ecuaciones vectoriales dan 4 escalares:

{
{

p
=f en i=1,2,3
xi i
u=0 en
u =0 en ( )

u i+ (u ) ui +

( u ) u y queda

La ecuacin de Stokes no lleva el trmino

u i+

p
=f en i=1,2,3
xi i
u =0 en
u=0 en ( )

Este problema no corresponde a la minimizacin, de un funcional sino a un punto de

ensilladura.
Podemos derivar el mtodo de elementos finitos directamente de las ecuaciones diferenciales
por el mtodo de residuos ponderados.
Usamos como funciones de peso
=( v , q )
Multiplicamos cada ecuacin por una componente de
e integramos en . (11)

{
{

ui + xp

vi = f i v i v iv i=0 en ( ) i=1,2,3

( u ) q=0 q

usando el teorema de Green en las 1as ecuaciones

vi
ui v i p x = f i v i v iv i=0 en ( ) i=1,2,3

( u ) q=0 q

O sea (12)

( 1)

u v p v = f v vv=0 en ( )

( u ) q=0 q

Este problema corresponde al punto de ensilladura de

J (u , p )=

1
2
| u| p ( u ) f u

pues es mnimo en unas variables y mximo en otras.

La variacin respecto a u es

0=u J ( u , p )= u v p v f v v v=0 en ( )
que es la primer ecuacin.
La variacin respecto a p es
11
12

u= (u )
u es la jacobiana de u

Problemas de campo

111

0= p J ( u , p )= ( u ) q=0 q

que es la segunda ecuacin.

tambin puede verse como un mnimo condicionado a

u=0

v v =0 p v =0

tomando

( 2)

u v f v =0 v v =0 en ( ) y v =0 en
u=0

Es ms fcil resolver 1 que 2 pues no se imponen restricciones a u (pero en 2 no aparece la

incgnita p).
uh y
Estos problemas pueden resolverse por un mtodo mixto, que usa una bases para
v y otra base para p y q.

10.11.1.1

Aproximacin por elementos finitos de 1

Buscamos uh y ph / uh y ph polinomiales a trozos y

uh
v h p h
v h= f
v h v h en el espacio de EFv h=0 en ( )

( u ) qh=0 q h en el espacio de EF

Vamos a ver en qu condiciones tenemos estabilidad.

Como el problema es lineal, para que haya estabilidad basta que

uhL ( ) + phL ( ) Cf L ( )

2

Tomemos

vh =
uh
q h= ph

uh (CS )f L ( )uhL ( )
uh 0= f
2

( u ) ph=0

uhL ( ) f L ( )uhL ( )

2

uh= 0 en ( ) y acotado entonces C '

uhL ( ) C '
uhL ( )
2
C '
uhL ( ) fL ( ) C '
uhL ( )
uhL ( ) C ' f L ( )

y como

Entonces hay estabilidad para la u.

Para demostrar la estabilidad para la p debemos pedir que se cumpla la condicin de
estabilidad le Babuska Brezzi (BB) que es que >0 independiente de h tal que

( v h ) ph

p hL ( )
vh
2

v hL ( )

ph V h

si esa condicin se cumple

v h ) ph
(

v h phL ( )
2

pero

v hL ( )

2

ph V h

Problemas de campo

113

uh
v h ph
v h= f
v h v h en el espacio de EFv h=0 en ( )

ph
v h=
uh
v h f
vh

uh
vh

p hL ( )
2

uhL ( )+
2

p hL ( )
2

Y como

vh
f

v hL ( )

v hL ( )

(CS )

v hL ( )

f L ( )
u hL ( )+C f L ( )
v hL ( )

2

1
C
uhL ( )+ f L ( )

uhL ( ) C ' f L ( )

2

C | left ldline {p} rsub {h} right rdline} rsub {{L} ^ {2} left ( right )} Cf L ( )

en estas condiciones se puede probar que

C
( u uh )L ( ) + pp hL ( ) [ ( u uI )L ( )+ p p IL ( ) ]
2

o sea que si queremos que haya convergencia de orden hk debemos usar para u interpolacin
de grado hk y para p interpolacin de grado hk-1.
Pero esto es as si se cumple la condicin de BB. Vamos a ver en qu condiciones se cumple.
Como en la ecuacin slo est p, entonces p puede variar en una constante, por tanto

podemos elegir los ph para que

ph=0

y para esas ph se puede probar que existe

solucin del problema

v h= ph
vL ( ) C phL ( ) con C independiente de ph y v .
tal que
v h=0 en ( )

Entonces

v h = ( p h )2= p hL ( ) p hL ( )
ph
2

vL ( )

vh
ph
1

v y = >0 phL ( )
C
vL ( )
2

Esta no es la condicin de BB a menos que podamos sustituir v por una vh del espacio de EF.
Podemos hacerlo si tomamos una interpolacin de v, vI tal que

( 1 ) ph v = p h
vI p h
y

( 2 )
v IL ( ) C vL ( ) con C independiente de h
2

10.11.1.2

Caso convergencia de orden 1

Ya habamos visto que si se cumpla la condicin de BB, para tener convergencia de orden 1
haba que tomar: para ph polinomios de grado 0
para vh polinomios de grado 1

Problemas de campo

115

(Notar que las ph pueden ser discontinuas pero las vh no pues aparece
v )
uh es polinomial de grado 0 y como
pero si tomamos uh polinomial de grado 1 entonces

( uh ) qh=0 q h polinomial de grado 0

debe cumplirse

para

entonces

q h=
uh (
uh ) 2=0
uh =0 en

entonces no se cumple (1)

Para solucionar este problema tomaremos para vh polinomios de grado 2 y construiremos una
interpolacin que cumpla 1 y 2.
Como en cada T ph es constante entonces para que se culpa 1.

ph v I = ph v I = ph v = p h v
Si

n T d= v
nT d
v I = v ( ) v I
Entonces debemos construir una interpolacin que cumpla:

nT d= v
nT d
v I
Interpolacion (caso 2 variables)
Como vI ser de 2 grado, tenemos que fijar 6 coeficientes para cada
componente, total 12 coeficientes
1) Determinamos los valores en los vrtices
I

v j ( p i )=v j ( p i ) i=1,2,3 j=1,2

son, 6 condiciones
2) Determinamos vI en los puntos medios de los lados para que

nT d= v
nT d
v Ij d= v j d l=1,2 j=1,2,3 v I
Entonces se verifica (1).
El orden de convergencia es 1 porque los ph son de grado 0. Si
queremos orden de convergencia 2 tendremos que usar ph de grado 1
y para que se cumpla la condicin de BB, vh debe sr de grado 2 ms
una funcin burbuja (de grado 3).
La funcin burbuja b(x) es de grado 3 y vale 0 en los lados del
tringulo.
b(x)=1(x)2(x)3(x)
Siendo
1(x)=0 la ecuacin del lado 1
2(x)=0 la ecuacin del lado 2
3(x)=0 la ecuacin del lado 3
la parte de 2 grado se construye igual que antes y se le suma a cada componente la funcin
burbuja por un coeficiente a determinar.
Como ph es de 1er grado, la igualdad (1) queda

( a+b x 1+ c x 2 ) v = ( a+b x 1+ c x 2 ) v I
que se cumplir si se cumplen:

v = v I

x 1 v = x 1 v I
T

Problemas de campo

117

x 2 v = x 2 v I
La primer igualdad se cumple pues b(x)=0 en T, entonces en T slo queda la parte de 2
grado que ya vimos que cumple

nT d= v
nT d
v I
Y se eligen los coeficientes de la funcin burbuja en cada componente de
v I para que se
cumplan las otras igualdades.
S se usaran solo presiones continuas entonces se pueden tomar vh e grado 2 y ph de grado 1 y
se cumple la condicin de BB.
(En este caso en lugar de aumentar el espacio de las vh hemos achicado el de las ph) .
Se puede demostrar que existe la interpolacin vI pero no se sabe cul es.

10.12 Integracin reducida

El uso de funciones con divergencia nula se llama bloqueo.

( uh )2=0 uh=0 en

La integracin reducida remplaza la integral por una regla de integracin que no es exacta para
el grado usado. Entonces

uh )2=0
(

no implica

uh=0 en .

aprox

As habr ms funciones que cumplan

uh )2=0
(

aprox

Algunos mtodos mixtos se pueden ver como mtodos de integracin reducida, que se usan
para evitar el bloqueo.

10.13 Sistemas no en rgimen

10.13.1 Problemas parablicos
10.13.1.1

Ejemplo - Ecuacin del calor.

u
u=f en ( 0,T )
t
u=0 en ( 0,T )
u=u0 en { 0 }

Donde u=u(x,t) es la temperatura y

x es la distancia
t es el tiempo
Lo usual es usar un mtodo de EF para las variables espaciales y reemplazar

u
t

por un

cociente incremental.
(Otra posibilidad es usar elementos finitos en todas las variables.)
Usando residuos ponderados, para cada t multiplicamos por la funcin de peso e integramos

ut ( u ) = f

y usando Teorema de Green

ut + u = f pues u =0 ya que =0 en

Particionamos y usamos EF sustituyendo u y por uh y h.

El problema es hallar uh tal que

Problemas de campo

119

uh
h+ uh h = f h h del espacio de EF h=0 en
t

Como

N +1

u h ( x ,t )= ui (t ) N i ( x)

i=1
N +1

h ( x )= i N i (x)
i=1

N +1

N +1

i=1

i =1

ui ( t )
N i ( x ) N j ( x )+
t

N+1

u i ( t ) N i (x) N j ( x )= f N j ( x) j=1, , N
i=1

N+ 1

ui ( t )
N (x) N j (x ) + ui ( t ) N i( x) N j ( x ) = f N j ( x ) j=1, , N
t i
i=1

Definiendo:

) (

B=[ b ij ]bij = N i (x) N j (x )

F =[ f j ]f j = fN j ( x )

A= [ aij ] aij = N i ( x) N j (x )

Entonces

u ( t )
+ A u (t )= f
t

u0 ( x ) y
que es un sistema de ecuaciones diferenciales ordinarias con valor inicial u ( x , 0 )=
se puede resolver por algn mtodo de Runge-Kutta por ejemplo usando diferencias hacia
atrs obtenemos un mtodo implcito
1
n
n1
n
B ( u
u )+ A
u = f
t
1
1
B+ A
un =f +
B un1
t
t

Usando diferencias hacia adelante tenemos un mtodo explcito pero requiere t menores.

1
n+1
n
n
B (
u
u ) + A u = f
t
1
1
B un +1= f +
B A
un
t
t