1

1.1

Solucin de ecuaciones diferenciales

Introduccin. Ecuaciones diferenciales a tratar.

En ingeniera cuando se quiere encontrar una descripcin cuantitativa de un fenmeno fsico lo primero
que se hace es plantear un conjunto de ecuaciones de gobierno, que en general consiste en un sistema de
ecuaciones diferenciales ordinarias o a derivadas parciales, en una dada regin o dominio y las condiciones
de contorno e iniciales.
El segundo paso es resolver ese sistema para un dado conjunto de datos. En este punto es donde
aparecen los inconvenientes, pues solo es posible resolverlas exactamente (analticamente) si las ecuaciones
son muy simples y estn denidas en un dominio de geometra simple. As y todo si el nmero de variables
dependientes aumenta, suelen encontrarse dicultades para resolver el sistema.
Para salvar este problema y utilizar una de las mas potentes herramientas (la computadora) se debe
replantear el problema de una manera puramente algebraica. Para llevar a cabo esto puede utilizarse
alguna de las formas de discretizacin del problema continuo denido por las ecuaciones diferenciales. En
esta discretizacin el conjunto innito de nmeros que representa a la/s funcin/es solucin desconocida/s
es reemplazado por un nmero nito de parmetros desconocidos. En este proceso se requiere alguna
forma de aproximacin.
Una de las formas de discretizacin posible, y una de las mas simples, es el proceso de diferencias
nitas. En lo que sigue veremos varias aproximaciones por funciones de prueba que caen dentro de la
clasicacin general que se conoce como mtodo de elementos nitos.
Para poder avanzar, vamos a concentrar la atencin en algunos problemas particulares simples. Estos
problemas servirn para desarrollar ejemplos y para introducir los principios generales de aproximacin,
de modo tal que luego puedan aplicarlos a sus propios casos especiales sea que generen sus propios
programas o que utilicen un programa desarrollado con esta metodologa.
Problema: ujo de calor en un dominio bidimensional
Planteo: utilizaremos la notacin qx para el calor que uye en la direccin del eje x en la unidad de
tiempo y qy cuando ocurre en la direccin del eje y. La diferencia D entre el calor que entra y el que sale
de un elemento de tamao dx dy viene representado por la expresin:
D=

qx +

@qx
dx
@x

qx dy + qy +

@qy
dy
@y

qy dx

(1)

Por conservacin de la energa, D debe ser igual a la suma del calor generado en el elemento y al
calor liberado en el mismo en la unidad de tiempo. Para el calor generado utilizaremos la notacin Q dx
dy donde Q podr variar con la posicin (coordenada (x; y) del punto dentro del dominio) y del tiempo,
y para el calor liberado
c (@ = @t) dx dy donde c es el calor especco, la densidad y (x; y; t)
es la distribucin de temperatura en el tiempo t. El requerimiento de igualdad nos lleva a la relacin
diferencial, que debe satisfacerse en todo el dominio:
@qy
@
@qx
+
Q+ c
=0
(2)
@x
@x
@t
La ley fsica que gobierna el ujo de calor en un medio isotrpico, puede escribirse para la componente
de ujo en una direccin cualquiera n
@
(3)
@n
Donde k es una propiedad conocida del medio, conductividad trmica. Para las direcciones x e y
especicamente:
qn =

qx

qy

@
@x
@
k
@y
k

(4)

Las relaciones (2) y (4) denen un sistema de ecuaciones diferenciales que gobiernan el problema y
requieren la solucin para las tres variables dependientes qx , qy y . Tal solucin requiere se especiquen
las condiciones iniciales (por ejemplo la distribucin de temperatura) en todo el dominio para t = to y
las condiciones de contorno (o borde) en el borde del dominio.
Tpicamente podremos encontrarnos con dos clases de condiciones de borde involucradas en el problema.
La primer clase de condicin, aplicable a la parte
del contorno, donde se especican los valores
(x; y; t) de la temperatura. A este tipo de condicin se la suele denominar condicin de Dirichlet o
condicin esencial. Podemos escribirla como:
=0

en

(5)

La segunda clase de condicin de borde que se aplica a la parte q , que es lo que resta del borde del
dominio, donde se especica el valor del ujo de calor referido a la direccin n normal al borde q(x; y; t).
A este tipo de condicin se la suele denominar condicin de Newman o condicin natural. Se la puede
escribir como:
qn

q = 0 en

(6)

El problema esta completamente denido por las ecuaciones (2), (4), (5) y (6) y los valores que
representan la distribucin de , qx y qy para todo tiempo t pueden ser, en principio, obtenidas resolviendo
este conjunto de ecuaciones.
Cabe remarcar que todo punto del contorno debe tener especicada alguna condicin, lo cual lleva a
que en todos los casos se cumpla que:
=

(7)

La ecuacin (2) puede expresarse de una forma alternativa utilizando (4) para eliminar como incgnitas
a qx y qy . Como consecuencia obtenemos la siguiente ecuacin diferencial de mayor orden:
@
@
@
@
@
k
+
k
+Q
c
=0
(8)
@x
@x
@y
@y
@t
Esta ecuacin diferencial tambin requiere que se especiquen las condiciones iniciales y de contorno.
Esta ecuacin representa a un problema denido en el dominio del tiempo y del espacio. Si suponemos
que para nuestro problema se est en estado estable (o estacionario) entonces @ =@t = 0 y la ecuacin de
gobierno se simplica a:
@
@
@
@
k
+
k
+Q=0
(9)
@x
@x
@y
@y
Esta ltima solo requiere que se especiquen las condiciones de contorno como en (5) y (6).
Principalmente vamos a trabajar con esta ltima forma de denir el problema, por ser ms simple y
porque varias situaciones fsicas tienen expresiones matemticas similares (solo cambian el signicado de
las variables y de los coecientes que caracterizan al sistema). Otras aplicaciones de esta ecuacin son
por ejemplo: ujo irrotacional de un uido ideal (k = 1 y Q = 0), ujo de un uido a travs de un medio
poroso (Q = 0 y k = permeabilidad del medio poroso), entre otras.
Primeramente, para un problema unidimensional, las expresiones se reducen a:
@
@x

@
@x

+Q =

=
=

0
0

qn

(10)

En este caso el dominio comprende

= f0 < x < Lx g y el contorno
= fx = 0; x = Lx g. Esta
ecuacin diferencial ordinaria puede resolverse analiticamente, y servir para comparar con las soluciones
aproximadas que obtendremos al aplicar un procedimiento discreto para resolverla.

1.2

Interpolacin paramtrica. Discretizacin

Las soluciones numricas a ecuaciones diferenciales ordinarias o a derivadas parciales por aplicacin de
procedimientos numricos llevaran implcitos los conceptos de aproximacin y de discretizacin.
El concepto de aproximacin estar involucrado porque se seleccionar una familia de funciones para
aproximar a la funcin solucin analtica con un procedimiento que guarda cierta similitud una combinacin lineal, conocio como interpolacin paramtrica.
La seleccin del conjunto de funciones de aproximacin es un punto clave para la solucin de ecuaciones
diferenciales utilizando mtodos numricos. Es el primer paso para replantear el problema mtemtico a
resolver, con el n de obtener una forma puramente algebraica que solo involucre operaciones matemticas
bsicas.
Comenzaremos por elegir un conjunto de funciones de manera tal que la funcin de aproximacin
satisfaga las condiciones de borde exactamente. Si podemos encontrar una funcin que satisfaga las
condiciones de borde en , y un conjunto de funciones de prueba Nm (m = 1::M , con M nito) elegidas
de manera tal que Nm = 0 en para todos los m. El conjunto de funciones de prueba Nm tiene la
nalidad de ajustar a la solucin en el dominio. Entonces para todos los puntos del dominio la funcin
^

solucin puede aproximarse por :

'

M
X

am Nm

(11)

m=1

donde am es un conjunto de parmetros que hay que calcular para obtener un buen ajuste. Las funciones
de prueba tambin son conocidas como funciones de base o funciones de forma.
Para elegir el conjunto de funciones Nm se debe c umplir la condicin que si aumenta el nmero M se
^

tenga la garanta de obtener una mejor solucin aproximada, con lo cual la funcin converger a . Una
condicin para que se logre la convergencia es que el conjunto de funciones elegido tenga la posibilidad
de representar cualquier variacin de la funcin en el dominio . Esto es conocido como requerimiento
de completitud.
El concepto de discretizacin aparece cuando se reemplazan los innitos puntos donde se necesita
conocer la funcin incgnita por un nmero nito de parmetros desconocidos. En general este conjunto
de parmetros estar asociado al conjunto de funciones que utilizaremos para aproximar a la funcin
solucin que estamos buscando, en el caso de la interpolacin paramtrica (11) sern los am . Las funciones
que utilizaremos para aproximar y los parmetros constituirn una interpolacin paramtrica.
Solo resta establecer una metodologa (o procedimiento) que nos permita determinar los valores de
los parmetros. Con este n se presenta, luego del ejemplo, el mtodo de aproximacin por residuos
ponderados.
EJEMPLO 1:
Este ejemplo tiene la nalidad de encontrar una funcin aproximante paramtrica como la (11) a una
funcin dada. Supongamos que tenemos la funcin:
=

(0:1 + x=3) sin(1:7

x) , x 2 [0; 1]

Se propone la siguiente familia, o conjunto de funciones, para realizar el ajuste:

^

N1
N2

=
=
=
=
=

+ a1 N1 + a2 N2
0:3505740306 x
[ (0:1 + 1=3) sin(1:7
x (1 x)
x2 (1 x)

1)] x

Como debemos calcular dos parmetros, pondremos las siguientes condiciones:

(1=3) =

(1=3) y

(2=3) = (2=3), lo cual permitir plantear un sistema de dos ecuaciones con dos incgnitas, resolverlo y
obtener el valor de los parmetros a1 y a2 .
^
^

2
9
2
9

1.3

(1=3)

(1=3) + a1 N1 (1=3) + a2 N2 (1=3)

(2=3)

(2=3) + a1 N1 (2=3) + a2 N2 (2=3)

2
27
4
27

a1
a2

a1
a2

0:2064978
+0:1310596

0:350574 1=3
0:350574 2=3

2:44824857
2:97944192
x) + 2:97944192x2 (1

= 0:3505740306 x + 2:44824857x (1

x)

Aproximacin por residuos ponderados e interpolacin parmtrica.

Lo primero que se debe denir es el error o residuo de la aproximacin (11), al que denominaremos R :
R =

(12)

Aqu debemos observar que R tambin depender de la posicin x dentro del dominio

, (dado que

y dependen de x). Lo que se quiere hacer es disminuir este residuo de una manera general en todo el
dominio . Para ello vamos a requerir que un conjunto apropiado de integrales del error sobre el dominio
pesadas (ponderadas) de diferentes maneras sea cero. Matemticamente:
Z
Z
^
Wl R d = Wl
d = 0 con l = 1::M
(13)
donde Wl es un conjunto de funciones de peso independientes.
^

Para que se cumpla la condicin general de convergencia

cuando M ! 1 , se debe exigir

que que (13) se satisfaga para toda Wl cuando M ! 1. Esto ser cierto solo si R ! 0 en todos los
puntos del dominio (que es lo que se desea). Cuando se reemplaza (11) en (13) se obtiene un sistema de
ecuaciones algebraicas lineal. Resolviendo el sistema de ecuaciones algebraicas obtenemos los valores de
los parmetros am que se estaban buscando. Concretamente:
Z

Wl

Wl

"

Wl [

Wl [

= f

M
X

am Nm d

m=1

]d

]d

Wl

M Z
X

m=1

Ka

Donde:
4

"

M
X

(14)
#

am Nm d

m=1

Wl Nm d

am

aT
Klm
fl

(a ; a ; :::; aM )
Z1 2
=
Wl Nm d

M y1

Wl (

(15)

) d

el sistema a resolver, escrito de la manera convencional es:

Ka

f =0

(16)

Donde K es la matriz de coecientes, a el vector que contiene los parmetros incgnitas y f el vector
de trminos independientes.
Para poder resolver las integrales, previamente debemos elegir al conjunto de funciones de peso Wl .
Varios conjuntos de funciones de peso pueden ser utilizados, cada uno conduce a un mtodo de aproximacin por residuos ponderados diferente. A continuacin se enumeran algunos de los ms utilizados,
para problemas unidimensionales.
1.3.1

Colocacin por puntos

Aqu el conjunto de funciones de peso Wl es:

Wl = (x
donde (x

xl )

(17)

xl ) es la funcin Delta de Dirac, que tiene las siguientes propiedades:

(x
(x
x>x
Z l

(x

xl ) = 0 si x 6= xl
xl ) = 1 si x = xl

(18)

xl ) G(x) dx = G(xl )

x<xl

Lo cual implica que R = 0 en un cierto nmero de puntos xl . Las componentes de la matriz K y del
vector f que se obtienen al reemplazar (17) en (13) obteniendo las siguientes expresiones:
Klm
fl
[
1.3.2

= Nm (xl )
= [
]x=xl

(19)

Nm (xl ) :es la funcin de prueba valuada en xl

]x=xl :es la diferencia de las funciones valuada en xl
Colocacin por subdominios

En este caso, el conjunto de funciones de peso Wl se elige para que satisfaga las siguientes condiciones:
Wl =

1
0

si xl < x < xl+1

si x < xl o x > xl+1

(20)

Por propiedad de las integrales la (13) simplemente requiere que la suma de la integral del error sobre
M subdominios que componen a sea cero. Reemplazando la funcin de peso (20) en (13) se obtienen
las siguientes expresiones para las componentes de la matriz K y del vector f en este caso:
5

Klm

fl

xZ
l+1

xl
xZ
l+1

1 Nm dx

(21)

) dx

xl

1.3.3

Mnimos cuadrados

En general el mtodo de mnimos cuadrados no es presentado como un mtodo de residuos ponderados,

pero puede mostrarse que pertenece a esta clase de mtodos. La aproximacin general por mnimos
cuadrados es tratar de minimizar la suma de los cuadrados del residuo (o error) en cada punto del
dominio . En este caso se requiere la minimizacin de:
I (a1 ; a2 ; :::; aM ) =

(22)

se plantea que
@I
= 0 para l = 1; 2; :::M
@al
Llevando a cabo el proceso de derivacin, y teniendo en cuenta (11) se obtiene:
@I
= Nl
@al
Puede mostrarse que I es un mnimo cuando:
Z
^
Nl d

(23)

(24)

=0

(25)

Esta ltima expresin es de la misma forma que (13) si se considera que Wl = Nl . Las expresiones
para las componentes:

1.3.4

Klm

fl

Nl Nm d
Nl (

(26)
) d

Galerkin

Este es sin dudas es el ms popular de los mtodos de residuos ponderados. En este caso se eligen como
funciones de peso a las mismas funciones que se utilizan como funciones de forma, es decir Wl = Nl .
Haciendo el reemplazo en (13), las componentes de la matriz K y del vector f son:
Klm
fl

=
=

Z
Z

Nl Nm d
Nl (

(27)
) d

Observaciones:
| Este mtodo tiene la ventaja computacional de que la matriz K resulta simtrica.
| Las expresiones (26) y (27) resultan ser idnticas.
| Si el conjunto de funciones de prueba Nm = sin (m x=Lx ) para m = 1; 2; :::M y = fxn 0
se obtiene que:

Klm

Lx
Z

sin

Lx
Z

x
Lx

sin

m x
Lx

Lx g

dx

fl

) sin

m x
Lx

dx

que al realizar las integrales da:

Klm =

Lx =2 si l = m
0
si l 6= m

dando lugar a un sistema diagonal, resultando inmediatamente en la solucin:

am

2
=
Lx

Lx
Z

) sin

m x
Lx

dx para m = 1; 2; :::m

Que es idntica a la representacin de una serie seno de Fourier truncada, donde la particular simplicidad se debe a la propiedad de ortogonalidad de las funciones de forma.
EJEMPLO 2:
Encontraremos ahora las aproximaciones a la funcin del ejemplo 1 empleando el mtodo de residuos
ponderados utilizando las distintas funciones de peso presentadas. La funcin a aproximar en = [0; 1]
es:
=

(0:1 + x=3) sin(1:7

x)

Se propone la siguiente aproximacin a la funcin, que ser utilizada en todos los casos:
^

N1
N2

=
+ a1 N1 + a2 N2
= 0:3505740306 x
= x (1 x)
= x2 (1 x)

Colocacin por puntos

Se adoptan los siguientes dos puntos de colocacin: x1 = 0:25 y x2 = 0:75 con lo cual M = 2
Klm = Nm (xl ) y fl = [
K11 =
N1 (x1 )
= 0:1875
K12 =
N2 (x1 )
= 0:046875
f1 =
(x1 )
(x1 ) = 0:2659113
K21 =
N1 (x2 )
= 0:1875
K22 =
N2 (x2 )
= 0:140625
f2 =
(x2 )
(x2 ) = 0:0032116
El sistema y su solucin son:

]x=xl

0:1875
0:1875
^

0:046875
0:140625

a1
a2

= 0:3505740306 x

0:2659113
0:0032116

a1 = 2:1358546
a2 = 2:87064426

x) + 2:87064417 x2 (1

2:13585478 x (1

x)

Colocacin por subdominios

Se adoptan dos subdominios, el primer subdominio esta comprendido ente x1 = 0 y x2 = 0:5 y el
segundo entre x2 = 0:5 y x3 = 1 con lo cual M = 2.
Klm =

xZ
l+1

Nm dx y fl =

xl

0:5
R

K11 =
K12 =
f1 =

0:5
R
0

K21 =
K22 =
f2 =

R1

0
0:5
R

xZ
l+1

) dx

xl

N1 (x) dx

= 0:083333

N2 (x) dx

= 0:0260416

[ (x)
R1

0:5
R1

(x)] dx =

0:11234019

N1 (x) dx

= 0:0833333

N2 (x) dx

= 0:0572916

0:5

[ (x)

(x)] dx =

0:02452481

0:5

El sistema algebraico y su solucin son:

0:083333
0:0833333
^

0:0260416
0:0572916

= 0:3505740306 x

a1
a2

0:11234019
0:02452481

2:226236221 x (1

a1 = 2:226236221
a2 = 2:8100923155

x) + 2:8100923155 x2 (1

x)

Mnimos cuadrados
En este caso se tiene que las expresiones para Klm y fl coinciden con las que corresponden a Galerkin:
Z
Z
Klm = Nl Nm d
y fl = Nl (
) d
R1

K11 =
K12 =
f1 =

R1
0

K21 =

0
R1

N1 (x) N1 (x) dx

1
30

N1 (x) N2 (x) dx

1
60

N1 (x) [ (x)
R1

(x)] dx =

0:03053668742

N2 (x) N1 (x) dx

1
60

N2 (x) N2 (x) dx

1
105

K22 =
f2 =

R1

R1
0

N2 (x) [ (x)

(x)] dx =

0:01192414968

El sistema y su solucin son:

1
30
1
60
^

1
60
1
105

a1
a2

= 0:3505740306 x

0:03053668742
0:01192414968

a1 = 2:32066211519
a2 = 2:80912298519

x) + 2:80912298519 x2 (1

2:32066211519 x (1

x)

En el siguiente grco se han superpuesto la funcin y las aproximaciones obtenidas.

1.4

Aproximacin a la solucin de ecuaciones diferenciales por residuos ponderados.

Consideremos que la ecuacin diferencial puede ser escrita de la siguiente forma general:
A(u) = L(u) + p = 0

en

(28)

Donde
L() es un operador diferencial lineal
p es una funcin independiente de u
u variable independiente
Las condiciones de borde pueden expresarse en forma general como:
B(u) = M(u) + r
Donde
M(u) = u
@u
M(u) = k @n
1.4.1

entonces r = u en
entonces r = q en

en

(29)

u
q

Condiciones de borde satisfechas por la eleccin de las funciones de prueba

^

Se establece ahora como se construir la aproximacin u a la solucin analtica u, por medio de una
expansin de la forma:
^

u'u=

M
X

m=1

am Nm

(30)

En este caso la funcin ser la encargada de cumplir las condiciones de borde y las funciones Nm
las encargadas de ajustar a la funcin solucin en el dominio. Estas funciones son elegidas de manera tal
que cumplan con las siguientes condiciones:
M( )
M(Nm )

=
=

r en
0 para m = 1; 2; :::M

(31)
en

Por esto u satisface automticamente las condiciones de borde, cualquiera sean los valores que adopten
^
los coecientes am . La funcin u (30) puede utilizarse para aproximar a las derivadas de u derivando
sta directamente, con tal que las funciones Nm sean continuas en el dominio y que existan todas sus
derivadas necesarias (no nulas):

Las aproximaciones a u,
expresin del residuo R :

@u
@x

' u =

@u
@x

'

@2u
@x2

'

@2u
@x2

M
X

am Nm

(32)

m=1

^
M
X
@u
@
@Nm
am
=
+
@x
@x m=1
@x

^
M
X
@2u
@2
@ 2 Nm
=
+
am
2
2
@x
@x
@x2
m=1

son reemplazadas en la ecuacin diferencial A(u) para obtener la

= A(u)

(33)

= L(u) + p
= L( ) +

M
X

m=1

am L(Nm ) + p

Obtenido el residuo ste se minimizar utilizando el mtodo de los residuos ponderados, para que
R ' 0 en , lo cual lleva a plantear:
"
#
Z
Z
M
X
Wl R d = Wl L( ) +
am L(Nm ) + p = 0
(34)
m=1

Agrupando adecuadamente los trminos se obtiene:

Klm

fl

Wl L(Nm ) d

Wl p d +

1
Wl L( ) d

l
l

Por lo cual obtenemos el siguiente sistema algebraico a resolver:

Ka + f = 0

10

M
M

y 1

M
(35)

1.4.2

Condiciones de borde no satisfechas por la eleccin de las funciones de prueba

En muchos casos ocurre que encontrar una funcin que satisfaga las condiciones de borde, suele ser
una tarea muy ardua y en ocasiones imposible, lo cual limita el rango de funciones de prueba admisibles.
Para salvar este inconveniente se considerar un conjunto de funciones que no satisfagan las condiciones
^
de borde en forma parcial o total. La aproximacin u se construir ahora de la siguiente manera:
^

u' u =
^

M
X

am Nm

(36)

m=1

Como u no satisface las condiciones de borde, aparecer un residuo en el borde R adems del residuo
en el dominio R . Ahora se tiene :
^

= A(u) = L(u) + p
^

= B(u) = M(u) + r

en

(37)

en

Ahora deben ser minimizados ambos, para lo cual se propone plantear el mtodo de los residuos
ponderados de la siguiente manera:
Z
Z
(38)
Wl R d + W l R d = 0
Las funciones de peso Wl (en el dominio) y las W l (en el contorno) pueden ser elegidas en forma
independiente. La aproximacin (36) puede utilizarse para aproximar a las derivadas de u, con tal que
las funciones Nm sean continuas en el dominio y que existan todas sus derivadas:

' u =

@u
@x

'

@2u
@x2

'

M
X

am Nm

(39)

m=1

^
M
X
@u
@Nm
=
am
@x m=1
@x

^
M
X
@2u
@ 2 Nm
=
a
m
@x2
@x2
m=1

El residuo en el dominio y en el borde se obtienen reemplazando las aproximaciones (39) en (28) y

(29), para obtener:

1.4.3

Klm

fl

Wl L(Nm ) d +
Z

Wl p d

W l M(Nm ) d

Wl r d

l
1

M
l

y 1

(40)

Forma dbil del problema. Condiciones de borde naturales

Se ha planteado la forma de encontrar el valor de los parmetros am aun cuando la solucin aproximada
^
u no cumple las condiciones de borde, en forma total o parcial. Si bien esto ampla el rango de funciones a
^
utilizar, pueden aparecer dicultades cuando las condiciones de borde incluyen derivadas de u que deban

11

evaluarse en bordes curvos o de geometra complicada. Se plantea a continuacin una manera para evitar
tales clculos y proponer una forma mas general para tratar las condiciones de borde.
Volviendo al planteo de residuos ponderados, se tena que:
Z

Wl R d

=
=

h ^
i
Wl L(u) + p d
^

Wl L(u) d +

Wl p d

R
El primer trmino pude ser integrado por partes (recordar que udv = uv j
Z
Z
Z
^
^
^
Wl L(u) d = Wl E u d
C (Wl ) D u d

vdu) obteniendo:
(41)

Donde C , D y E son operadores diferenciales con un orden de diferenciacin menor que en L. A la

expresin (41) se la conoce como forma dbil del problema.
Si reemplazamos la expresin de la forma dbil (41) en la expresin del residuo (38) y se eligen
convenientemente las funciones de peso W l el ltimo trmino de (41) podr cancelarse con parte del
trmino que corresponde al residuo en el contorno. Este procedimiento es aplicable para tratar con las
condiciones de borde naturales del problema, no asi para las condiciones esenciales.
Z
Z
^
W l r d $ Wl E u d
q

Debido a que los nuevos operadores diferenciales son de menor orden, son menores tambin los requerimientos que deben cumplir las funciones de prueba, lo cual es una ventaja adicional.
Con el n de aclarar los conceptos que han sido presentados de manera abstracta, plantearemos un
par de problemas simples a los que aplicaremos los procedimientos recin vistos, estos se presentan en los
siguientes ejemplos.
EJEMPLO 3:
Vamos a tratar con el siguiente problema de transferencia de calor unidimensional con una fuente
distribuida gobernado por el siguiente sistema de ecuaciones:
@2
@x2

+ 1 = 0 x 2 [0; 1]
= 0 en x = 0
= 1 en x = 1

Solucin analtica
La solucin homognea es:
h (x)

= A cos(x) + B sin(x)

La solucin particular:
p (x) =
@2
@x2 = 0

0+

+1=0)

La solucin general entonces

(x)
(x)

=
h (x) + p (x)
= A cos(x) + B sin(x)
12

Utilizando las condiciones de contorno para encontrar las constantes A y B

x=0;
x = 1;

= 0 ) 0 = A cos(0) + B sin(0)

)A=1

1 ) B = 1:734697595

= 1 ) 1 = 1 cos(1) + B sin(1)

La solucin entonces es:

(x) = cos(x) + 1:734697595 sin(x)

Soluciones aproximadas por residuos ponderados

Con funciones que satisfacen las condiciones de borde
El problema esta denido por:
@2
x 1
@x2 + + 1 = 0 para 0
= 0 en x = 0
= 1 en x = 1
Si analizamos las ecuaciones de gobierno comparndolas con las expresiones generales (28) y (29), se
tiene que:
@ 2 ()
+ ()
p=1
@x2
M() = ()
r = 0 en x = 0
M() = ()
r = 1 en x = 1
L()

La aproximacin , estar formada por la funcin a la que le exigiremos que cumpla las condiciones
de contorno y una familia de funciones de prueba Nm = 0 en el borde. Se propone:
^

=
+ a1 N1 + a2 N2
= x
= x (1 x)
= x2 (1 x)

N1
N2
Entonces:
=x
N1 = x (1 x)
N2 = x2 (1 x)
Z

@
@x = 1
@N1
@x = 1
@N2
@x = 2x

Wl R d

2x
3x2

Z1
0

Z1
0

@2
@x2 = 0
@ 2 N1
@x2 =
@ 2 N2
@x2 = 2

L( ) = 0 + x
2
L(N1 ) = 2 + x (1 x)
6x L(N2 ) = 2 6x + x2 (1

h ^
i
Wl L(u) + p d
"

Wl L( +

2
X

am Nm ) + p

m=1

Wl L( ) dx +

2
X

m=1

Agrupando, se obtienen:

13

am

Z1
0

x)

dx

Wl L (Nm ) dx +

Z1
0

Wl p dx

Klm

Z1

Wl L(Nm ) dx

fl

Z1

Wl p dx +

Z1

Wl L( ) dx

Utilizaremos las diferentes funciones de peso para encontrar las soluciones aproximadas.
Colocacin por puntos
Wl = (x

xl )

Elegimos los puntos de colocacin a x1 = 1=3 y x2 = 2=3:

R1
K11 =
(x x1 ) L(N1 )dx
= 916
0

R1

K12 =
f1 =

R1

(x

R1
0
R1

K22 =
f2 =

R1

x1 ) L(N2 )dx

x1 ) L( )dx +

K21 =

(x

4
3

x1 ) pdx =

x2 ) L(N1 )dx

16
9

(x

x2 ) L(N2 )dx

50
27

x1 ) L( )dx +

(x

2
27

(x

(x

R1

R1

(x

5
3

x1 ) pdx =

El sistema a resolver y su solucin son:

16
9
16
9
^

2
27
50
27

a1
a2

=x+

4
3
5
3

315
x (1
416

x) +

315
a1 = 416
9
a2 = 52

9 2
x (1
52

x)

Colocacin por subdominios

Wl =

1
0

si xl < x < xl+1

si x < xl o x > xl+1

Se elige el primer subdominio entre x1 = 0 a x2 = 0:5 y el segundo entre x2 = 0:5 a x3 = 1.

0:5
R
K11 =
1 L(N1 ) dx
= 0:916666
K12 =
f1 =

0:5
R
0

K21 =
K22 =
f2 =

R1

0
0:5
R
0

1 L(N2 ) dx

1 L( ) dx +
R1

0:5
R1

0:5

0:5
R

= 0:2760416

1 p dx =

0:625000

1 L(N1 ) dx

0:916666

1 L(N2 ) dx

1:1927083

0:87500

1L( ) dx +

0:5

El sistema y su solucin:

R1

1 p dx

0:5

14

0:916666
0:916666
^

0:2760416
1:1927083

a1
a2

0:625000
0:87500

= x + 0:733075435193x (1

a1 = 0:733075435193
a2 = 0:170212765992

x) + 0:170212765992x2 (1

x)

(42)
(43)

Galerkin
Wl = Nl
R1

K11 =
K12 =
f1 =

R1
0

K21 =
K22 =
f2 =

R1
0

N1 L(N1 )dx

3
10

N1 L(N2 )dx

3
20

1
4

N2 L(N1 )dx

3
20

N2 L(N2 )dx

13
105

0
R1
0

N1 L( )dx +
R1

R1

N2 L( )dx +

El sistema y su solucin:

R1

N1 p dx

R1

N2 p dx =

2
15

3
20
13
105

a1
a2

3
10
3
20
^

1
4
2
15

(44)

92
a1 = 123
7
a2 = 41

92
7
x (1 x) + x x2 (1 x)
123
41
En el siguiente grco se han superpuesto la solucin analtica y las soluciones aproximadas obtenidas.
=x+

15

(En este caso tambien se podra haber trabajado encontrando la forma dbil del problema)
EJEMPLO 4:
Se propone resolver el problema denido por:
@2
x 1
@x2 + + 1 = 0 para 0
= 0 en x = 0
@
@x = 1 en x = 1
Solucin analtica
= cos(x) + 3:40822344 sin(x)

Soluciones aproximadas por residuos ponderados

Con funciones que no satisfacen las condiciones de borde
Si analizamos las ecuaciones de gobierno comparndolas con las expresiones generales (28) y (29), se
tiene:
@ 2 ()
+ ()
p=1
@x2
M() = ()
r = 0 en x = 0
@ ()
M() =
r = 1 en x = 1
@x
L()

La aproximacin estar dada por la funcin = 0 (que cumple la condicin de contorno en x = 0) y

las Nm = 0 en x = 0. Por lo cual habr un residuo en el contorno x = 1. Se propone la siguiente funcin
de aproximacin:
^

= a1 N1 + a2 N2 + a3 N3
= xm m = 1; 2; ::; M

N1
Entonces:
@N 11
@ 2 N1
N1 = x
@x = 1
@x2 = 0
@ 2 N2
2
N2 = x2 @N
=
2x
@x
@x2 = 2
@ 2 N3
2
3
N3 = x3 @N
=
3x
@x
@x2 = 6x
La expresin del residuo:

0=

Z1

Z
h ^
i
h
i
^
Wl L(u) + p d + Wl M(u) + r d
"

Wl L(

2
X

am Nm ) + p

m=1

+ Wl M(

2
X

am Nm ) + r

m=1

dx +

Wl M(

2
X

am Nm ) + r

m=1

x=0

x=1

Como las funciones de prueba elegidas Nm (0) = 0 entonces no se tiene residuo en x = 0.

0=

2
X

m=1

am

Z1
0

Wl L (Nm ) dx +

Z1

Wl p dx + 0 + 0 +

2
X

m=1

Agrupando convenientemente, se obtiene:

16

am Wl M(Nm )

x=1

+ Wl r

x=1

Klm

Z1

Wl L(Nm ) dx + Wl M(Nm )

Z1

Wl p dx + Wl r

x=1

fl

x=1

Ka + f = 0
Explcitamente:

Klm

Z1

Wl

Z1

@ 2 (Nm )
dx +
Wl
@x2

@ 2 Nm
@Nm
+ Nm dx + Wl
2
@x
@x

Z1

x=1

@Nm
@x

Wl Nm dx + Wl

x=1

Integrando por partes el primer trmino de la expresin de Klm para obtener la forma dbil:
Z1

1Z

@ 2 Nm
dx =
Wl
@x2

@Wl @Nm
dx + Wl
@x @x

@Nm
@x

+ Wl
x=0

@Nm
@x

x=1

Considerando Galerkin (Wl = Nl ), tendremos que Wl = 0 en x = 0, por lo cual el segundo trmino a

la derecha de la igualdad es nulo. Reemplazando el primer trmino en la expresin de Klm se obtiene :
Klm =

1Z

@Wl @Nm
dx +
@x @x

Z1

Wl Nm dx + Wl

@Nm
@x

+ Wl
x=1

Los dos ltimos trminos pueden cancelarse si se eligen Wl (1) =

Klm

1Z

@Wl @Nm
dx +
@x @x

fl

Z1

Z1

Wl p dx + ( Wl r)x=1

Ka + f = 0

17

x=1

Wl (1). Entonces queda:

Wl Nm dx

@Nm
@x

R1 @N1

K11 =

0
R1

K12 =

K13 =
f1 =

R1
0

K21 =

K23 =
f2 =

R1
0

K31 =

K33 =
R1

@N3
@x dx

R1
+ N1 N1 dx
0
R1

+ N1 N2 dx

2
3

3
4

4
5

R1

+ N1 N3 dx
0

N1 1 dx + ( N1 (1)) ( 1) dx =
R1 @N2

0
R1
0

@x

@N1
@x dx

@N2 @N2
@x
@x dx
@N2 @N3
@x
@x dx

R1
+ N2 N1 dx
0
R1

+ N2 N2 dx
0
R1

+ N2 N3 dx

R1 @N3
@x

0
R1
0

@x

@N1
@x dx

3
4

17
15

4
3

@N2
@x dx

@N3 @N3
@x
@x dx

R1
+ N3 N1 dx
+ N3 N2 dx
0
R1

+ N3 N3 dx

4
3

4
5

4
3

58
35

R1

3
2

N2 1 dx + ( N2 (1)) ( 1) dx =

f3 =

@x

R1 @N3

K32 =

@N1
@x dx

@N1 @N2
@x
@x dx

R1 @N1

0
R1

K22 =

@x

N3 1 dx + ( N3 (1)) ( 1) dx =

5
4

Para M = 1; 2 el sistema a resolver y su solucin son:

2
3
3
4

3
4
17
15

a1
a2
^

3
2
4
3

a1 =
a2 =

504
139
170
139

504
170 2
x
x
139
139
Para M = 1; 2; 3 el sistema a resolver y su solucin son:
2 2
32
3 2 3 3
3
4
6090
a1 = 1777
a1
3
4
5
2
17
4 54
4 5
1080
4 3
5
4
a2 =
) a2 = 1777
4
15
3
3
4
4
58
5
5845
a3
a3 = 14216
5
3
35
4
^

6090
1080 2
5845 3
x
x
x
1777
1777
14216
En el siguiente grco se han superpuesto la solucin analtica y las soluciones aproximadas:
=

18

Con el n de ver las distintas funciones, se presenta el siguiente grco:

Referencias:
El Mtodo de elementos nitos, O: C. Zienkiewicz
Finite Elements and Approximation; O. C. Zienkiewicz & K. Morgan

19