Sei sulla pagina 1di 57

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-20
Error de interpolacin en norma L2 ................................................................................. 10-21

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


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

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


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

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-32

10.4.4 Ensamblado del sistema global ................................................................................. 10-33


10.5 CONDICIONES DE CONTORNO ............................................................................................. 10-33
10.5.1 Condiciones de Dirichlet........................................................................................... 10-33
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-38
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-39


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

10.6.3 Elementos tridimensionales....................................................................................... 10-40


10.7 INTEGRACIN NUMRICA .................................................................................................. 10-40
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-45
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-1

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

Se define un vector global de variables con una o ms componente por nodo (dependiendo
del tipo de problema) y las condiciones de compatibilidad implican que ciertas componentes del
1

vector
( ) de cada elemento conectado a un nodo son iguales entre s y su valores
comunes definen a las componentes de correspondientes a ese nodo.
Tambin se define un vector global

con una o ms componentes por nodo como la suma

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

(2)

Cuando las componentes de


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


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

10-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.
Se puede as establecer que los vectores globales
de la forma

se relacionan segn un sistema global

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
de cada elemento (que corresponde a un nodo del elemento) en la fila
vector
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).

Problemas de campo

10-3

En los otros casos la geometra es irrelevante pues la condicin de equilibrio de cada nodo es
escalar (suma de flujos nula).

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 Nodo 1 Nodo 2 Resistencia


1
1
2
10
2
2
3
3
3
3
4
2
4
5
4
7
5
6
5
12
6
3
5
5
7
2
5
4
8
1
6
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

o sea

1
1

1
1

Donde
y
son las intensidades entrante del elemento e en su nodo 1 y 2 y
los voltajes en el nodo 1 y 2 del elemento e.
Por tanto las ecuaciones elementales (en numeracin local) son

1
1

1
1

1
1

1
1

1
1
1
1

1
1
1
1

=
=

son

Problemas de campo

1
1

1
1

10-4

1
1

1
1

( )

( )

( )

( )

( )

( )

( )

( )

1
1

1
1

1
1

1
1

( )

( )

(")

(")

=
=

( )

( )

(")

(")

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
$
$ 0
$
$ 0
$
$ 0
$
1
$
# 9

1
0
10
1 1 1
1
+ +

10 3 4
3
1
1 1 1

+ +
3 2 5
3
1
0

2
1
1

4
5

1
4
1

5
1

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

12

2
1 1
+
2 7
1

7
0

1
0
9 /
0 /
/%
/
0 /$
/ $$
0 /
$
/
1 /#

12 /
1 1/
+
12 9.

0
0 %0.10
/ $ /
/=$ 0 /
/ $0/
/ $0/
. # .

= 12 sustituimos su valor en cada ecuacin y pasamos restando el


Como sabemos que
trmino al lado derecho. Adems eliminamos la ecuacin correspondiente al este nodo,
obteniendo el siguiente sistema reducido:
1 1
% +
$10 9
$ 1
$ 10
$
$ 0
$
$ 0
$
$
# 0

1
10
1 1 1
+ +
10 3 4
1

1
4

1
3
1 1 1
+ +
3 2 5
1

2
1

Al resolver este sistema obtenemos

%
$
$
$
#

1
2
1 1
+
2 7
1

0
/
1
/

4
/%
/$
1

/$
5
/$
1
/#

7
/
1 1 1 1/
+
+ +
7 12 5 4.
0

12
%
0
0
9
/ $$0.1//
/=$ 0 /
/ $ /
. #0.
1

12,3885
0 %
12,82020
/ $
/
/ = $12,7535/
/ $12,7376/
. #12,6819.

Sustituyendo estos valores y el conocido de


sistema sin reducir, obtenemos el valor de

en la ecuacin que habamos eliminado del

= 0,1

Problemas de campo

10-5

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

//Ensamblaje de la matriz de rigidez


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

Problemas de campo

10-6

//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

10-7

Voltajes prescritos
Nodo

Volt

6.

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

10-8

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
1
2
3
4
5
6

Electric Potential
12.3885379627693
12.8202468102907
12.7534825350345
12.7375862790211
12.6819493829743
12

Material Element
Current
10_Ohm
1
0.0431708847521447
3_Ohm
2
-0.0222547584187402
2_Ohm
3
-0.00794812800669309
7_Ohm
4
-0.00794812800669372
12_Ohm
5
0.0568291152478572
5_Ohm
6
-0.0143066304120484
4_Ohm
7
-0.0345743568291157
9_Ohm
8
-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).

Problemas de campo

10-9

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

Node X
Y
1
0
0
2 750 750
3
0 750

Z
0
0
0

Displacem Displacem
ent in X
ent in Y
0
0
0,109623 -0,418585
0
0

Rotation
about Z
0
-0,007574
0

Tensile
Shear Bending Moment
Force Force V
about W
-4.119
147
-49.158
-5.981
211
-18.716
29.233
276
62.928

Problemas de campo

10-10

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
4
campo de las incgnitas en el dominio .
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
5
J:VR
un funcional
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.
>
>
C
9:
9:
?1 + @
=
=
=
7 8 =
< =
98 =
=
9B
98
7
7
C

Sea s(t) la distancia recorrida por la partcula

Pero

C
C
1 + @
1
1 + @
= G
7 = ?2gx < = = G
9B =
9B
2Hx
x
?2H C
C

?2H < = = G
C

1 + @
9B J(@)
x

K@: MB , B N P | @ 9RST7UVWR @(0) = 0 @(B ) = @ Y

el problema es minimizar el funcional J en el conjunto

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

10-11

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
[

E = = @9: = = @?1 + @ 9B J(@)


C

El problema es minimizar el funcional J en el conjunto

\@: MB , B N P | @ 9RST7UVWR, @(B ) = @ @(B ) = @ = ]1 + @ ^ 9B = _`


C

10.2.1 Variacin de un funcional (unidimensional)


Consideremos el funcional

a( ) bc f (c, ,

Ec. 10-1

Con F diferenciable.
Queremos minimizar J en

, ")ec

= Kh: MB , B N P con derivada segunda | h(B ) = h h(B ) = h Y

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

Sean: t

uv

= Ku: MB , B N P con derivada segunda | u(B ) = u(B ) = 0Y


wvP

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
C

H(w) = x(B, h + wu, h^ + wu, h" + wu")9B


C

H^ (w ) = = yxz (B, h + wu, h^ + wu, h" + wu")u + xz^ (B, h + wu, h^ + wu,
C

^(

h" + wu")u + xz" (B, h + wu, h^ + wu, h" + wu")u"{9B

0 = H 0) = = yxz (B, h , h^ , h" )u + xz| (B, h , h^ , h" )u + xz" (B, h , h^ , h" )u"{9B

Donde J(h, u)

}J(h , u)

J(h + wu)

es la "variacin del funcional J"

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


Obsrvese que

}J(h, u)

}
J(h + wu) J(h)
J(h + wu)
= lim

}w
w

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

a(

Ec. 10-2

, )

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


minimizacin de un funcional.
C

}J(h , u) = = xz u + = xz| u + = xz" u"


C

Integrando por partes el 2 y 3 sumando:

= xz| u =
C

C
x z | u |C

~
x |u
~C z

= = ~Cxz| u
C

Problemas de campo
C

10-12
C

= xz" u" = xz" u|C

~
x u^
~C z"
C

= xz" u^ |C

= xz" u^ |C + = ~C xz" u
C

}J h , u = = xz
C

~
x |
~C z

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


Ec. 10-3

"

Ec. 10-4 (6)

cg =

+ c
f
f

"

"

~Cxz" u
~

+ = ~C xz" u
C

+ ~C xz" u + xz" u|C


~

= Mcg ; cf N

cf =

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

J @ = = @?1 + @ 9B
C

en t@ | @ B

=@ , @ B

= @ , bC @?1 + @ 9B = _
C

x(B, @, @ ^ ) = @?1 + @
x" = 0

Para este funcional:

x = ?1 + @
@@
x^ =
?1 + @

}x^
}
@ + @ + @@"
@@
=
=
(1 + @ )
}B
}B ?1 + @

@ ^ + @ ^ + @@"
= 0 (1 + @ ^ ) @ ^ + @ ^ + @@" = 0
(1 + @ ^ )
1 + @^
^
^
^
^
^
1 + 2@ + @ @ @ @@" = 0 1 + @ @@" = 0 @" =
@

En este caso Ec. 10-3 queda:

?1 + @

2. Ejemplo
C
Sea J(@) = bC @ 9B

x" = 0
x = 0

x^ = 2@ ^

}x |
= 2@"
}B

x ~Cx | + ~C x" = 0 0 2@"+0=0 @" = 0

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

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

10-13

10.2.2 Variacin de un funcional (vectorial)


C

J h = x B, h , h , , h , h , h , , h 9B

Si la funcin incgnita es vectorial

h B

= h ,h B

con las condiciones

= h , , h B

= h , h B

= h

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

Ec. 10-5

cg =
cf =

=
g
f

= g, f, ,

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
Hay que minimizar J B, @, = b ?B + @ + 98
xC

~
x |
~ C

=0 0

2B ^

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

~
x |
~

~
x |
~

=0 0

=0 0

~
~

~
~

~
~

]B ^ + @ ^ + ^
2@ ^

]B ^ + @ ^ + ^
2 ^

]B ^ + @ ^ + ^

= 0 B ^ = C ?B + @ +

= 0 @ ^ = C ]B ^ + @ ^ + ^
= 0 ^ = C ?B + @ +

B ^ , @ ^ , = ?B + @ + C , , = 8 C , ,

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

J h bC x B, h, h^ , h", , h
C

(n-1)

con condiciones de contorno para u, u, u, , u


Ec. 10-6

+ c
f
f

"

9B

se obtiene la ecuacin de Euler Lagrange

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.
C
Si deseamos minimizar J h bC x B, h, h ^ 9B en Kh: MB , B N P | h (B ) = h Y

u: MB , B N P | u(B ) = 0
wP

Sean t

Problemas de campo

10-14

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

0 = }J h , u =

C
}
J h + wu = = Mxz B, h , h^ u + xz| B, h , h^ uN9B =
}w
C

= = xz u + = xz| u = = xz u + xz| u|C


C
C

= = xz
C

~
x | u
~C z

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

= xz

~
x | u
~C z

+ xz^ B u B

= 0 xz

~
x |
~C z

~
x |u
~C z

= 0 en MB , B N

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)


h B = h B ,B ,B : P
}
}h
}h
}h

,
,S
}B
}B
}B
Notacin

Deseamos minimizar J h b x B , B , B , h, , , S 9B

en el conjunto
Sean:

= Kh:

P | h = H R Y

u: P | u = 0 R
wP
J h J 7 w P
h :WhT
7 h + wu v
~
0 = }J h , u = ~ J h + wu
es condicin necesaria, entonces

}
}h
}u }h
}u }h
= x B , B , B , h + wu,
+w
,
+w
,
}w
}B
}B }B
}B }B
}u
+w
9B =
}B

0 = }J h , u =

= = xz u + x
Ec. 10-7

}u
}u
}u
+ x
+ x
= = xz u + u x , x , x
}B
}B
}B

= a

= b

Segn el Teorema de Green

b x = bx 9 Adems 7 = 7 + 7

= 7 + 7 = = 7 = = 7 9

Problemas de campo

10-15

b =

Ec. 10-8

b + b e

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


Ec. 10-9

0 = = xz u + = u x , x , x

= = xz u

= u x , x , x + = ux , x , x 9

= b

Ec. 10-10
pues =0 en

= uyxz

x , x , x { = 0 u | u = 0 R

xz x , x , x = 0 R

Ec. 10-11

+ c + c + c =
g

es la ecuacin de Euler Lagrange.


Ejemplo

J(h) = |h|

x(B , B , B , h, , , S) = + + S xz = 0, x = 2, x = 2, x = 2S
En este caso

}2 }2 }2S
} h } h } h
+
+
= 2
+
+
=0
}B
}B
}B
}B
}B
}B
h = 0 o bien h = 0 (7)

La ecuacin de Euler Lagrange queda:

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 = = xz u = u x , x , x + = ux , x , x 9

Pero ahora el tercer trmino no es nulo sino que

pues =0 en 1

= ux , x , x 9 = = ux , x , x 9

0 = = uyxz x , x , x { + = ux , x , x 9 u | u = 0 R

Laplaciano= =

Problemas de campo

10-16

Pero en particular | =0 en se cumple

0 = = uyxz

x , x , x { xz

Que es lo mismo que Ec. 10-11

x , x , x = 0 R

= ux , x , x 9 = 0 u | u = 0 R

Ec. 10-12

= f

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


Newmann para F en 2.
Igual que la vez anterior hay que minimizar J(h ) b |h | en
1. Ejemplo

= Kh: P | h = H R Y
x = 2, x = 2, x = 2S

Ecuacin Euler Lagrange:


Condicin de Dirichlet
Condicin de Newmann

h = 0 R
h = H R
x , x , x = 0 R

x , x , x = (2, 2, 2S) = 2(, , S) = 2h = 0 R

h = 0 R

= 0 R

Igual al anterior con J(h ) b (|h | h ) ,


2. Ejemplo

h = R
Ahora Fu=-f en h = H R

= 0 R

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.
La solucin del sistema de ecuaciones algebraicas resultante de esta discretizacin
representar una aproximacin a la solucin verdadera en los puntos de la malla.

Problemas de campo

10-17

10.2.7.2 Mtodo de elementos finitos


Este mtodo se basa en la formulacin variacional de los problemas fsicos. Se divide a en
un 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

B [

sup|B |

Usaremos varias normas en espacios de funciones

B [

B [

= |B |

= |B |

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

B, @ = B@

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 h

si lim h

h [

=0

h [

y saber

Vamos a pedir la condicin de que u tenga derivada


acotada.
Sean

_ = h[
u-uI
xIj
| B | = |h^ B

pues u es L-lipschitziana.

h B | |h ^ B | + |h B | _ + |h B | =
hB hB
- _ + _ = 2_
=_+B B

Problemas de campo

|h^ B

10-18

h B | = | B

0| = B

Ec. 10-13

B = =

2_B

2_

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

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

Consideremos el intervalo (,x) o (x,) de ese intervalo tal que "()=

, v | '(x)=(x-)"
| B |=|B ||" | "[
I
I
Como u lineal en Ij u =0 =u | B | h"[

Adems

| B | = B

| B | h"[
Ec. 10-14

= =

f "

' x -'
x-

(x)
x-

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.
Dados y0, y1, , yk Ij un nico polinomio de grado k / Pk(yi)=u(yi) i=0,1,2,,k

10.3.3 Caso una variable grado k


10.3.3.1 Interpolacin de Lagrange

El polinomio interpolador, Pk, puede expresarse como:

El error se puede acotar por

|h 8

siendo

Pero 8
Ec. 10-15

8 = h @ W 8

8 |

| 8 |h

+ 1)!

(8) = (8 @ )

| 8 | 2 = !

g g

Problemas de campo

10-19

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

10.3.4 Propiedades de la interpolacin

2. Dado u, en cada Ij existe un polinomio de grado k, q(x) /

+ 1)!

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

(B ) = h() (B )

| h (B ) (B ) = h

h [

(B B )
T!

( )

(B B )
(B )
( + 1)!

h( ) [ ()
( + 1)!

| h [ h[

3.

Demostracin

|h (B )| = | (B )| |h(@ )W (B)| h[ |W (B)| B

Si los ym se eligen equidistantes en Ij entonces

no depende de h (Ck=2 )

sup |W (B)| =

|h (B )| h[ B

h [

h[

10.3.5 Error de interpolacin


A partir de 1, 2 y 3 demostraremos que
Ec. 10-16


()

(g)

()

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

h h [ = h + h [ = (h ) + ( h )[
(3)
h [ + (h ) [ h [ + h [ =

Problemas de campo

10-20

(2)
(1 + )
(h )( ) [ ()
( + 1)!

h( ) ( ) [ = ^ h( ) [

= 1 + )h [

h h [ ^

h [ ()

( )

[()

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)

h[() h[

()

+ h[

()

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

h(B ) = h = = h(B) h(@)9@ = = = h^ 9@

h(B ) = = h + = = h^ 9@

|h B | = |h| + = -= |h^ |- 9@ = |h| + = = |h^ | = = |h| + = |h^ |

Como la norma L2 es inducida sobre el producto interno,


por Cauchy Schwartz , H [ [ , en particular si g1

= [

M, N

|h B | h[ M , N + h^ [ M , N BvM0,1N
h[ M , N h[ M , N + h[ M , N

Aplicando esto

10.3.6.2 Propiedad 3 para norma L2

(I=[0,1], para otros intervalo se hace cambio de variable).


Puede verse porque [ M , N [ M , N

Sabemos que h [ M , N h [ M , N

|h B | h [ M

= |h B | 9B

h[

()

+ h ^ [

()

h[

= y h[

= 1 y h[

h [
10.3.6.2..1 NOTA

, N

M , N

()

M , N

M , N

+ h^ [

h[

M , N

M , N

+ h[

+ h

M , N {

+ h^ [

M , N

[ M , N {

9B

M , N

Norma de Sobolev

10.3.6.3 Propiedad 2 para norma L2 (Lema Bramble Hilbert)

h [

+ h [

+ + h( ) ( ) [

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


()

()

()

h( ) [

()

Problemas de campo

10-21

No lo demostramos.

10.3.6.4 Error de interpolacin en norma L2

= h + h [
3
h [ + h [
h [

+ h [ + h [
(2)
1 + )h [ () + (h )[ () (1 + ) h( ) [ ()

(
)

[ () para I=[0,1]
h h [ () " h
h

h [

Para I=[0,1]

= h

h [

Para Ij=(xj-1, xj)

+ @B B @v , Bv
(
Dada u en Ij le asociamos h en I / h B ) = h
(@ )
( )
( )
Se cumple que h B = h
@ = h (@)
B = B

Hay que usar el cambio de variable

Adems

h[

()

= = |h @ | 9@

h @
h B =
B B

Para las derivadas


^

h[

h B =
"

= B
B

h [

h
h [

h [

" B

h" @

= B

Aplicando esto a la desigualdad del caso I

|h B |
= =
9B
B B

" h

" B

h[

B =
[

h[

?B
h

" h

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

" g

Anlogamente puede demostrarse para las derivadas:


Ec. 10-18

"

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

Problemas de campo

10-22

Sea R acotado, si no es polgono


podemos aproximarlo por uno.

10.3.7.1 Particiones triangulares


2

Dividimos mediante una particin en


tringulos tales que:

= <

T < < = h 7S8TR


h WU9

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 max K Y
Vamos a estudiar la interpolacin de u en cada
tringulo por polinomios de grado total k en las dos
variables.

= KWT T: 9R HSU9 total Y = | (B, @) =

U B @

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

( ) = h( )
nico tal que ( ) = h( )
( ) = h( )
1 B
1
B
=
1 B

@
@
@

Para demostrarlo basta ver que ste es un sistema de ecuaciones lineales cuya matriz es
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

Problemas de campo

10-23

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

=W
=W
=W

@ W
@ W
@ W

0
0

=0
=0
=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.
En este caso dim =

Grado 3

= 10

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
Si li(V)=0 es la ecuacin del lado i

:RU

siendo Vi el vrtice opuesto al lado i

)=

1
W( )
W ( )

0 :T T
1 :T T =

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.

:RU

( )=

Sean l1(V)=0 y l2(V)=0 las ecuaciones de esas rectas

= t

0 :T T 1
1 :T T = 1

Problemas de campo

10-24

10.3.7.2 Particiones rectangulares

= KWT T: 9R H9 R U9U 7USTUVWRY = | (B, @) = U B @


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

Problemas de campo

10-25

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

cuando h 0 o sea que no se achaten demasiado.

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


se cumple

h [

>

h[

} }
h
}B }B

>

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

h [

>

[ >

Vamos a trabajar en un tringulo de referencia, <, de vrtices


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

h[

h[

+ h[

10.3.9.1 Teorema de Sobolev


>

Se demuestra similar al caso 1 dimensin.

>

>

h[

>

10.3.9.2 Lema Bramble Hilbert

+ h

[ > +

h[ >

Dada u qPk tal que


>

>

+ +

>

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

10.3.9.3 Propiedad 3

@ < |h @ | =

Como estamos en <

h[

>

= " no depende de ningn h, slo depende de k


|h @ | "h[ > "h[ > + h[ > + h[ >

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

h [

>

= |h |
>

h [

] "h[

"h[

C que slo depende de k tal que


>

10.3.9.4 Acotacin del error


Caso

>

>

+ h[

+ h[

>

>

h[

+
>

h [

>

Problemas de campo

h [

10-26

= h

q y qI son iguales, entonces


>

h [

>

h[

(> )

>

+ h

>

h [ > + "h [ > + h [ > +


h [ >
1 + ")h [ (> ) + (h )[ (> ) + (h )[ (> )

Por propiedad 3

Por lema B-H

(1 + ")

Ec. 10-19

f ( )

= ()

()

h[

(> )

Caso general T

Vamos a usar una transformacin afn que transforma a < en T

B y c tales que < c = x ( ) =


+ <
OJO Para que no se invierta el sentido del tringulo debe ser det B>0
Adems a u en T le asociamos h en < tal que

10.3.9.4..1 Propiedad A

Demostracin

h[

>

< h( ) = h(c) = h(

h[

= = |h
>

= |det |

10.3.9.4..2 Propiedad B

(> )

| 9

= = |h c | |det | 9c

= |h c | 9c
>

h[

= ] V es la norma Euclidea
Demostracin:

= |det | h[

>

+ )

>

|det |

= |det | h[

h[

Problemas de campo

h[

>

10-27

= = |h
>

= = | h x a# | 9
>

= |det |

| 9

10.3.9.4..3 Propiedad C
para derivadas superiores

h[

>

|det |
>

>

= = |h c | |det | 9c

= |h c | 9c
>

= = | h x | 9

h[

|det |

|det |

= |h|
>

h [

Vamos a cambiar la Norma euclidea por otra norma, que es equivalente a menos de una
constante:

sup K| 7|Y =
$||$|

10.3.9.4..4 Propiedad D

1
sup K| 7|Y
%& $||$|'

Vamos a ver qu relacin hay entre , det B y hT>T


sean @ , @ < que estn en los extremos de un dimetro del crculo de dimetro %&

|@

sus transformados segn F son B , B <

@ | = %&

|7 | = |@
@ | = %&
7= @
@ = @
@ = x @|
| 7 | = |B
B | > pues x1, x2T

' sup$||$|' K| 7|Y ' > '(

Sea 7 = @

9R8

= = 2| | (|T|=rea de T)

10.3.9.4..5 Propiedad E
| |

Demostracin

x @

=B

Problemas de campo

10-28

|<| = = 1 9B = = 1 |9R8 |9@ = |9R8 | = 1 9@ = |9R8 |


>

>

Sabamos que para <

Acotacin del error

h [

|det |

h [

h [

= |det | h

Entonces por propiedad A:


(por propiedad C)

>

|det |

>

h [
h[

h [

h[

>

|det |

h[

h [

h [

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

>


%&

(por propiedad D)

h[

Sumando los cuadrados T tenemos


Ec. 10-20

h [

Ec. 10-21

h [

y si la particin es regular,
Sumando

Tambin se puede probar que



%&

h[

" g

>

y KC=C'



%> >

h [

= "
f

h[

>

h[

h[

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
I
la interpolante de u, u .
Como ejemplo vamos a ver el problema de minimizar

J h = |h|

= h

en = Kh: P | h = 0 R = Y
Si planteamos que la variacin de J debe ser nula, llegamos a

= u u = = fu u | u = 0 R

= K7 | 7 R: 9R HSU9 R U9U 8STHhW, 7 8ThU R y 7 = 0 R Y

En lugar de minimizar J en V, vamos a tomar una particin de y minimizamos J en

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

= u u = = fu u V

Si {N1, N2, ..., NN} es una base de Vh

Problemas de campo

10-29

Entonces
Ec. 10-22

= 3 h

2
0u B = u

1
0 h B = h
/

B 4 3 u

B 4 = = f 3 u

B 4

u , u , , u5 R5

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


N
cannica R

= 3 h

Ec. 10-23

Si definimos

Ec. 10-24

B 4

B == f

= 7 (c) 78 (c) = = 978 (c)

= 1, 2, ,

8 = g, f, , 7

= y:8 { | :8 = b 7 (c) 78 (c)

= y 8{ |

Ec. 10-25

= b 978 (c)
= yh {

= da la solucin del problema.


entonces
Con otros funcionales se puede llegar a sistemas de ecuaciones no lineales.
10.4.1 Propiedades de A

U = U @ U 7 7 > 0

1) A simtrica y definida positiva, o sea

>

@ 7 > 7 > 0 7 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 y por tanto podemos hallar uh.
I
Luego veremos que uh aproxima a u con el mismo orden de convergencia que u .

10.4.1.1 Ejemplo (1 variable)


Minimizar

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

}J(h) = 0

J h = = |h| = h

9
J(h + wu)
= 0 u | u(0) = u(1) = 0
9w

9
= = (h + wu) = (h + wu)> = = (h + wu)u = u
9w

Problemas de campo
en =0

10-30

= hu

= u = 0 u | u(0) = u(1) = 0

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

uv

= ?u | u 9R HSU9 1 R U9U , u 8ThU R M0,1N @ u(0) = u(1) = 0@

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

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.

Como debe ser b h ^ u^ = b u uv en particular debe cumplirse para los elementos


de la base, con lo cual

pero podemos sustituir

= h^ = =

T = 0, 1, 2, ,

h(B ) = h

+1

(B)

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

Problemas de campo

10-31
5

= 3 h B 4 = =
5

h =
A

que es un sistema de la forma

yU { | U

B con

= f

M N |

0, 1, 2, ,

T,

0, 1, 2, ,

0, 1, 2, ,

0, 1, 2, ,

'1

'1
'1

'1

10.4.2 Clculo de la matriz A


5

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

Siendo

yU { | U

Entonces

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

C
Por lo tanto U
bC ^ ^ ser nulo excepto para ( i=e
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:

Problemas de campo

10-32

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)

==

D
D

==

entonces la submatriz, es

U
,

==

D
D

=U

==

bF

1
1

==
^

1
= k
F

en la prctica bF k debe calcularse numricamente.

Por la regla del punto medio podemos aproximar

La submatriz queda:

= k
F

1$ 0
= $
$
$ 0
# 0

0
0

0
0

10.4.3 Clculo del vector f

= =

entonces

+B
2

1 1
en las filas y columnas e-1 y e
1 1

Sumando e=1, 2,.., N+1

Si

1 1
1
= = k

1
= k
F

1
1

1 1
1
= k
k =

= =

B = M N | = =

0
0
0

5 + 5
5

0
0
0

5
5

0
/
/
/
/
.

T = 0, . . . ,

+1

B= B

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

10.4.3.1 Vectores elementales


e

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

Problemas de campo

10-33

==

==

El subvector no nulo es

Sumando e=1, 2,.., N+1

+B
2

1
M h

+B
2

+B
2

2
= 0 T R 1, R
=

h
% h
$ h
=$
$
$ h5
#h5

+ +

Ntese que la k-sima ecuacin queda

%
+
$ +
B= $

2$

+
$ 5 5
# 5

Ahora podemos plantear Au=f con

+B
2

= =

= =

1
en las columnas e-1 y e
1

1
M h

0
/
/
/
/
.

0
/
/
/
/
.

N=

+
2

+
h N=
2

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

+
2

sea

sea

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 0 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

10-34

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

a h = = |h|

= h

= = |h ^ |

Kh^ = = |h^ |
= h

= h

Kh 1 + Kh 0

= Kh^ =

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

a h = = |h|

= h

Kh 1

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

= hu

= u

u 1 = 0 u | u 0 = 0
K
K

1
1

0
0
N=M N
la matriz A queda igual, pero al vector F se le suma el vector M

K
K 5 1

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.

h = R M0,1N M0,1N
h = H R

~z

Equivale

= H R

h div h = h

J h = = |h|

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

}J h = = hu

debe ser

= h

= H h

= u

= H u

}J h = 0 u | u 0 = 0 en

minimizar

Problemas de campo

10-35

= hu = = u + = H u u | u 0 = 0 en

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.

RWR

1 2 3 4 R
1 1 2
2 T
9 2 10 3

8 9 9 10

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 < y se calcula la
integral en < con las funciones base en <.
Nosotros ac vamos a calcular directamente en Te.
En Te la funcin base asociada al nodo i es
(B , @ )

=1
(B
,
@
)
Ni | = 0 y
(B , @ ) = 0
1
Por lo tanto R1
1

B
B
B

(B, @)

= P + K B + Q @

@
1
@ S R K S = 0
0
@ Q

Que puede resolverse con la regla de Cramer dando

Problemas de campo

10-36

1 1 @T
CU U
V
C

V1 0 @ VV

@ @
C

1 0 @
=
K = 1 B @ =
R Q
CU U =
2

T
T
C

@ VV

VV1 B
C

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

1 B
1 B
1 B

@
@ = |< | > 0
@

1 BT
B
1 B
= 1 B
T
VV1 B
1 B
VV1

1
0VV
B B
0
=
R
@T
2
@ VV
@

Anlogamente se calculan , K , Q @ , K , Q

Clculo de A

Hay que calcular las matrices elementales

= MU N | U = =
>

W,

= 1, 2, , 49

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

U ==
>

} } } }
+
= = K K + Q Q = K K + Q Q
}B }B
}@ }@
>
U = K K + Q Q :T W, v KT, , Y
TWU

La submatriz la Ae no nula es

K2T

Q2T

M T + T

T + T

T + T
K2 + Q2

T + T

Wh U

T
T + T N

K2 + Q2

T + T

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

K =

2 2

K =

1
=

2 2
K! = 0

entonces queda

Q =

Q =0

1
=

2 2

Q! =

1
=

2 2

Problemas de campo

10-37

TWU

O sea

TWU
=

Para el elemento 1

1
1
1
0

1
1
% +0

$1
$
+0
2 $
$
# 0+0

2
1
2
1

K =0

2
1
+0

1
1
+

1
0+

9 Wh U
1
0
2
1
9
1

Q =

0+0 0
/
1/
0+
/
1/
0+ .

2 1
%1 4
$

$
0
0
$
= $0
0
1
0
$
$0
2
$0
0
#

0
1

0
0
0
0
2

1
2
9

1
Q! = 0

1
1
K" =
Q" =

TWU 1 9
8 Wh U
1
1
0 1
9
0
1 1
8
1 1 2
K! =

Wh U

0
0

0
0
0
0
0

0
0

1
0
0
0
0

0
0

4
1
0
0
0

0
0

1
2
0
0
0

1
0

0
0
4
2
0

0
2

0
0
2
8
2

Estas dos matrices elementales las vamos sumando para obtener A.

0
0

0
0
0
2
8

0
/
/
/
/
/
/
/
.

Clculo de F
Hay que calcular los vectores elementales F

Mf N | f = = fN
>

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:

=
>

|< |

+ 0 + 0 =
3
6

T
R S

Problemas de campo

Para los elementos 1 y 2

10-38

= YZ

% 0
0
$ /
0
$ /
$0/
$0/
$0/
$0/
$" /
$! /
#.

= YZ

Estos vectores se van sumando para obtener F

'

% 0

$ /
$0/
$0/
$0/
$0/
$0/
$0/
$! /
#.

% 0

$ /
$0/
$0/
$0/
$0/
$0/
$" /
$! /
#.

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 x2( e )
N (x ) = ( e)
x1 x2( e )
x x (e)
N 2( e ) (x ) = ( e ) 1 ( e )
x 2 x1
(e)
1

Segmento cuadrtico (3 nodos)

Problemas de campo

(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

(e)
2

N 3( e )

10-39

( e)
1

( e)
2

( e)
3

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

( e)
3

( e)
2

(e )
3

( e)
3

( e)
2

(e )
3

( e)
2

( e)
3

(e )
2

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)

Problemas de campo

10-40

N1 ( 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 ) = 4h(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)

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.

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

Problemas de campo

10-41

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.

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.

Problemas de campo

10-42

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 Ij
Sabemos que C, C tales que

h [

h h [ h
[
h y h h tambin puede acotarse as.

Vamos a ver que h


Demostracin
Vamos a considerar a modo de ejemplo el problema

que equivale a
(*)

h" = R = MU, VN
h U =h V =0

b\ hu = b\ u uv Ku | u U = u V = 0 Y
[

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

= h u = = u u v
\

?u 9R HSU9 R U9U

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


[

= hu = = u u v
\

| u U = u V = 0@

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

= h
\

h u = 0 u v

O sea que el error de u'h es ortogonal al subespacio Vh, entonces u'h es la proyeccin de u
ortogonal a Vh con h, 7 = b h7
En particular elegimos u = h h , que es de grado k en cada Ij, entonces
[

Consideremos ahora

= h
\

h h

h = 0

Problemas de campo

10-43

h [

== | h

h Mh

== h
[

h h

h N

h M h

== h

== h

h h

h + h

h | = = h

== h
[

h h

h h
]

]
h h [ h h [

h [ h h [ h
\

^ | h

h [

h N =

h + h

h += h

h =

Ntese que el error de uh h = h[ 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

^ | h

h [

10.8.1.1 Acotacin de u-uh


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

h [

Integrando por partes

== h

== h

u" = h

Pues u=uh en a y en b

Pero segn la ecuacin del error

h [

= h

h [

== h

h u

== h
[

u |[\ + = h

== h
[

= h
[

h [

h h

h [

h =

h u = = h
[

h u = = h

\
^ z ` a

h h [ u u [
h [ " h [ u"[ = " h

h u

h u = 0 u v

en particular para h=I , entonces


[

" h

u ^_

u"[
[ h h [

h u

h u

Problemas de campo

10-44

10.8.2 Caso varias variables

u = h h R
u = 0 R

Sea u |

h = R
h = 0 R

Como ejemplo consideremos

Es parecido a la demostracin anterior.

h [

==

h u =

h h

= h

== h

Pues u=uh en

h = =

h u

h u

u =

h u =

podemos restarle la ecuacin del error con h=I :

= h

== h

= h

h u

h u

u = h

Pero si es convexo entonces

h [

h u = 0

u[

h[

h [

^_

h[

= h

h u

h [

"

"u[

u[

u [

h [

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

h u =

u [

h[

h [

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:

este problema equivale a hallar u tal que

h = R
h = 0 R

u = 0 u

h = 0 R

sta es la forma dbil del problema original.


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

O sea

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

u = 0 u

Problemas de campo

10-45

= u =

Usando el teorema de Green

= u = = h u

h u =
=

h u u

h u = = h u u

Pues h en nula en .
Hacemos la aproximacin de buscar un uhVh que verifique esa igualdad

= h u = = u u

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

= d=

hue

== hu
[

h"u = = u u WTRUW U 8S:


[

\
C

h"u = d=

h"ue = d=

h^ u|C
= = h^ u ^

h V u V +h U u U
^

hu

yh^ B uB

La sumatoria sera nula si fuera continua.

h^ B

h^ B yuB

e=
hu|C

uB { =

uB {

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.

equivale a

h = R
h = 0 R

h u = = u u WTRUW R U9U RWR R8

h = 0 R

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

Problemas de campo

= u = =

Donde

h u = =

~z

~(

10-46

>

= h

= = h u

= u = = h u

Siendo

}h
u 9
} >

>

}h
u 9
} >
=

>

= u = = h u

Pues

h u = = h u

}h
u
} >

}h
u
} >

}h
u 9 = 0
} >
=}

= d } e

}h
u 9 =
} >

9 =

>

u = :UW8 9R 9T:8ThT9U9 R

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

Pues

= h u = = u

}h
u
} >

9 0

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

= h u = = u u WTRUW R U9U RWR R8

>

pues cualquier uh constante en cada elemento cumple > b h u = 0 pues h = 0

As planteado el problema no tiene solucin nica, lo cual puede verse, por ejemplo, si f=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

= h u = = u
>

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 > b h u = 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.
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 .

Problemas de campo

10-47

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

= h = = u WTRUW R U9U < @ 8ThU R W: h8:


>

>

Demostracin

}h
u
} >

9 = =

}h
u
} >

Como u lineal en cada tringulo su derivada es constante ~ =

}h
=
u
}
>

9 = =

~z

9 = | | u

R9T:

=0

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

= u = = h u

Por lo tanto

}h
u
} >

9 = = h u

= h = = u WTRUW R U9U < @ 8ThU R W: h8:


>

>

R9T:

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


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

10.10.4 Convergencia
h
>

h [

= = h

>

= = h
>

>

>

>

>

>

= = h

= = h

h h

h h

>

h [

h+h

h + = h

>

>

h [

Por Cauchy Schwartz para el producto escalar

d h

10

>

h [

h h
>

h + = h h

Por Cauchy Schuartz y tomando =u -uh

>

h h

d h
>

h =

h h

h [

h =

= h h
>

+ = h
>

h =

>

>

= h
>

+ = h
>

>

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

>

= h
>

>

Problemas de campo

= d h
>

10-48

h [

d h
>

h [

+ = h

= u

>

>

Pues las uh se buscaron de modo que > b> h = b u lineal en cada T y continua
I
en los puntos medios, cosa que cumple en particular =u -uh
h
>

h [

d h
>

h [

Dividiendo por la segunda sumatoria

d h
>

h [

h [

d h
>

d h
>

Pero como uI lineal en cada T: h

h [

h [

h [

h [

+ = h
>

> b> h

> h

h[

>

> b> h
h

h [

h [

= u

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 h [
Entonces
Como

h [

"

h[

h [

h[

= h

h + h

h [

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

h [

+ h

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.

h + h h + =

10.11.1 Ejemplo - Ecuaciones de Navier-Sokes


Donde:

h B = h B, @, , h B, @, , h B, @, es la velocidad
B = B, @, es la presin
B = B, @, es la fuerza aplicada sobre el fluido
9T7 h = 0

Para fluidos incompresibles la ecuacin de continuidad es


Y la condicin de contorno puede ser h = 0 R }
Estas ecuaciones vectoriales dan 4 escalares:

h + h h + ~C = R T = 1,2,3
~

h = 0 R
h = 0 R }

La ecuacin de Stokes no lleva el trmino h h y queda

Problemas de campo

10-49

2 h +
1
/

}
= R T = 1,2,3
}B
h = 0 R
h = 0 R }

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 u = 7,
Multiplicamos cada ecuacin por una componente de u e integramos en . (11)

2= h + } u7 = = 7
0
}B

7 |7 = 0 en }

T = 1,2,3

}7
= = 7
}B

7 |7 = 0 en }

T = 1,2,3

1
0
/

h = 0

2
0= h 7

usando el teorema de Green en las 1as ecuaciones

12

O sea ( )

1
0
/

h = 0

2
0= h 7 = 7 = = 7
1
0
/

7|7 = 0 en }

h = 0

Este problema corresponde al punto de ensilladura de

J h, = = |h| = h

pues es mnimo en unas variables y mximo en otras.


La variacin respecto a h es

0 = }z J h, = = h 7

que es la primer ecuacin.


La variacin respecto a p es

= 7

0 = } J h, = =

= h

= 7 7|7 = 0 en }

h = 0

que es la segunda ecuacin.


tambin puede verse como un mnimo condicionado a h = 0
tomando 7| 7 = 0 b 7 = 0

11
12

h = 9T7 h
h es la jacobiana de h

Problemas de campo

10-50

2 = h 7

= 7 = 0 7|7 = 0 en } @ 7 = 0 R

h =0

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


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

10.11.1.1

Aproximacin por elementos finitos de 1

2= h 7
0

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

= 7 = = 7

1
0
/

7 R RW R:UT 9R ix |7 = 0 en }

h = 0 R RW R:UT 9R ix

Vamos a ver en qu condiciones tenemos estabilidad.


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

h [

2= h
0
1
0
/

+ [

7 = h
=

0 = = h

h [

^_

h = 0

h [

h [

y como h = 0 R } y acotado entonces | h [ h [

^ | h [

h [

h [

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

P [

si esa condicin se cumple

pero

= h 7

sup

7 | P [

$Y

b 7
v
7 [

= 7 = = 7

b 7
v
7 [

P [

7 R RW R:UT 9R ix |7 = 0 en }

= 7 = = h 7

b h 7
7 [

= 7

b 7
^_
7 [

Problemas de campo

10-51

h [

7 [
7 [

Y como h [
[

h [

jh [

" | [

en estas condiciones se puede probar que

h [

[
P

" [

kl h
P

+ [

h l

o sea que si queremos que haya convergencia de orden h 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 b = 0 y para esas ph se puede probar que existe 7
solucin del problema

7 =

7 = 0 R }

Entonces

tal que 7[ [ con C independiente de ph y 7.

= 7 = =

7 y P =

= [

1
> 0 | P [

7 [

b 7
7 [

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

10.11.1.2

l7 l

1 = 7 = = 7

7 [

Caso convergencia de orden 1

con independiente de

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
(Notar que las ph pueden ser discontinuas pero las vh no pues aparece 7 )
pero si tomamos uh polinomial de grado 1 entonces h es polinomial de grado 0 y como
debe cumplirse b h = 0 WT TUW 9R HSU9 0 entonces

para = h b h = 0 h = 0 R 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.

Si

= 7 = = 7 = = 7 = = 7

Problemas de campo

10-52

= 7 = = 7

= 7 > 9 = = 7 > 9

~>

Entonces debemos construir una interpolacin que cumpla:

= 7 > 9 = = 7 > 9

Interpolacion (caso 2 variables)

~>

Como v ser de 2 grado, tenemos que fijar 6 coeficientes para cada


componente, total 12 coeficientes
1) Determinamos los valores en los vrtices

7 = 7 T = 1,2,3

= 1,2

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

= 1,2,3 = 7 > 9

= 7 9 = = 7 9 W = 1,2

= = 7 > 9
~>

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

U + VB + B 7 = =

que se cumplir si se cumplen:

>

>

U + VB + B 7

= 7 = = 7
>

>

= B 7 = = B 7
>

>

= B 7 = = B 7
>

>

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

= 7 > 9 = = 7 > 9

~>

Y se eligen los coeficientes de la funcin burbuja en cada componente de 7 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.

Problemas de campo

10-53

10.12 Integracin reducida


El uso de funciones con divergencia nula se llama bloqueo.

= 0 h = 0 R

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

bopqrD h

= 0 no implica h = 0 R .

As habr ms funciones que cumplan bopqrD h

=0

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
}h
}8
h

10.13.1.1

Ejemplo - Ecuacin del calor.

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


x es la distancia
t es el tiempo

h = R 0, <

h = 0 R } 0, <
h = h R K0Y

Lo usual es usar un mtodo de EF para las variables espaciales y reemplazar

~z
~

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

}h
u
}8

h u = = u

}h
u + = h u = = u hR: = h u = 0 @U hR u = 0 R }
}8

y usando Teorema de Green

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


El problema es hallar uh tal que

}h
u + = h u = = u u 9RW R:UT 9R ix | u = 0 R }
}8

2
0h B, 8 = h 8

Como

}h 8
= d
}8

B e

1
0 u B = u
/

B + = d h 8

B e

B ==

= 1, ,

Problemas de campo

}h 8

=
}8

Definiendo:

10-54

B + h 8 =

= yV { | V = =

x = y { | = =

Entonces

= yU { | U = =

B ==

}h 8
+ h 8 =
}8

= 1, ,

que es un sistema de ecuaciones diferenciales ordinarias con valor inicial h B, 0 = h B y


se puede resolver por algn mtodo de Runge-Kutta por ejemplo usando diferencias hacia
atrs obtenemos un mtodo implcito

1
h h + h =
8
1
1

+ h = +
h
8
8

1
h h + h =
8
1
1
h = +
h
8
8

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

Potrebbero piacerti anche