Solución de ecuaciones diferenciales utilizando residuos ponderados.

Introducción
En ingeniería cuando se quiere encontrar una descripción cuantitativa de un fenómeno lo primero
que se hace es plantear un conjunto de ecuaciones de gobierno, que en general consiste en una ecuación
diferencial o un sistema de ecuaciones diferenciales ordinarias (o a derivadas parciales) y las condiciones
de contorno e iniciales correspondientes al problema. Esas ecuaciones requieren de un conjunto de
datos que se eligen durante el prediseño de la solución del problema de ingeniería. Los valores de
esos datos provienen de diversas fuentes de información y el ingeniero selecciona con que valores desea
resolver su problema. La ecuación de gobierno debe resolverse en una dada región (que es el dominio
matemático) donde hay que encontrar la solución. La geometría del dominio se establece durante el
prediseño del objeto (o sistema).
El problema así de…nido (ecuación diferencial, conjunto de valores de parámetros, condiciones de
contorno e iniciales y el dominio) se denomina desde el punto de vista matemático como forma fuerte
del problema a resolver.
El proceso de plantear la solución numérica de la forma fuerte, del problema a resolver, y encontrar
la solución aproximada implicará el uso de programas que cada quien puede hacer o utilizar programas
libres o bajo licencia (la cual suele tener un costo elevado). A este proceso en la vida profesional se lo
conoce como proceso de simulación numérica o simplemente simulación.
Las soluciones numéricas a ecuaciones diferenciales ordinarias o a derivadas parciales mediante
la aplicación de procedimientos numéricos llevarán implícitos los conceptos de aproximación y de
discretización como los considerados al tratar la interpolación paramétrica.
La selección del conjunto de funciones de aproximación es un punto clave para la solución de
ecuaciones diferenciales. Es el primer paso para replantear el problema mátemático a resolver con el …n
de obtener una forma puramente algebraica que aproxime a la solución de las ecuaciones diferenciales,
ordinarias o a derivadas parciales. Se busca obtener la solución aproximada resolviendo un sistema
algebraico posible de plantear y resolver utilizando una computadora.
Para llevar a cabo esto se va a utilizaruna de las formas de discretización del problema continuo
de…nido por las ecuaciones diferenciales. En esta discretización el conjunto in…nito de números que
representa a la/s función/es solución en el dominio es reemplazado por un número …nito de parámetros
desconocidos que hay que encontrar asociados a un conjunto de funciones de interpolación. En este
proceso aparecerá alguna forma de aproximación.
Debido a que todas las especialidades de ingeniería pueden de…nir problemas en este marco, se
describe a continuación la ecuación diferencial sobre la que se va a trabajar en lo que sigue. Esta
ecuación se eligió por su sencillez y por tener múltiples aplicaciones en todas las ramas de la ingeniería.

Tipo de ecuaciones diferenciales a tratar

Para poder avanzar, vamos a concentrar la atención en algunos problemas particulares simples. Estos
problemas servirán para desarrollar ejemplos y para introducir los principios generales de aproxi-
mación, 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 metodología.
Con la …nalidad de considerar las características que frecuentemente se encuentran al analizar una
problema de ingeniería, se trabajará sobre la ecuación diferencial cuya expresión más general es:

@ @ @ @ @
+ + Q(x; y) =0
@x @x @y @y @t
donde ; ; Q(x; y) y son datos del problema particular.
Si se considera que no hay variación con el tiempo @@t = 0 y se obtiene la ecuación de Poisson:

@ @ @ @
+ + Q(x; y) = 0
@x @x @y @y
que se convierte en la ecuación de Laplace si Q(x; y) = 0:

1
 @ @ @ @
+ =0
@x @x @y @y
y si el medio es homogeneo e isótropo (las propiedades y no varían ni con la dirección ni con el
punto), entonces se obtiene la expresión más simple de la ecuación diferencial de Laplace ( = y
pueden eliminarse de la expresión).

@2 @2
+ =0
@x2 @y 2

Una de las aplicaciones es el problema de ‡ujo de calor en un dominio bidimensional (visto en

física).
¿Cómo se llega? bien haciendo el siguiente planteo: utilizando la notación qx para el calor que
‡uye en la dirección del eje x en la unidad de tiempo y qy cuando ocurre en la dirección del eje y. La
diferencia D entre el calor que entra y el que sale de un elemento de tamaño dx dy viene representado
por la expresión:

@qx @qy
D= qx + dx qx dy + qy + dy qy dx (1)
@x @y
Por conservación de la energía, D debe ser igual a la suma algebraica del calor generado y del calor
liberado en la unidad de tiempo.
Para el calor generado utilizaremos la notación Q dx dy donde Q = Q(x; y; t) que podrá variar con
la posición del punto dentro del dominio y con el tiempo (conocida como función fuente). Para el calor
liberado c (@ = @t) dx dy donde c es el calor especí…co y la densidad. En este caso (x; y; t) es
la función de distribución de la temperatura en el tiempo t en un dado dominio ..
El requerimiento de igualdad nos lleva a la relación diferencial, que debe satisfacerse en todo el
dominio:

@qx @qy @
+ Q(x; y) + c =0 (2)
@x @y @t
La ley física que gobierna el ‡ujo de calor en un medio isotrópico, puede escribirse para la compo-
nente de ‡ujo en una dirección cualquiera, establecida por el vector unitario n, utilizando la Ley de
Fourier:

@
qn = kn (3)
@n
La Ley de Fourier dice que el calor ‡uye desde la zona de mayor temperatura a la de menor tem-
peratura, es decir "en sentido contrario" a la dirección del gradiente de la función de distribución de
temperatura. Esta es la razón por la cual aparece el signo (-) en (3) ya que @ =@n es el gradiente
(vector) de la función escalar (el gradiente indica hacia donde crece la función).

2
 En la Ley de Fourier kn es una propiedad del material denominada conductividad térmica en la
dirección n (es uno de los datos que el ingeniero elige al plantear el problema y depende en general
del material y del rango de temperatura). Para las direcciones x e y especí…camente:

@
qx = kx ya que n = (1; 0) (4)
@x
@
qy = ky ya que n = (0; 1)
@y
Las relaciones (2) y (4) de…nen un sistema de ecuaciones diferenciales que gobiernan el problema
y requieren la solución para las tres variables: qx , qy y .
Para encontrar la solución a un problema determinado se requiere que se especi…quen las condi-
ciones iniciales (por ejemplo la distribución de temperatura) en todo el dominio para t = t0 y las
condiciones de contorno (o borde) en el borde del dominio . Esto debe hacerse teniendo en cuenta
la geometría de nuestro dominio y consecuentemente de .
Típicamente podremos encontrarnos con dos clases de condiciones de borde involucradas en el
problema físico.
La primer clase de condición, aplicable a la parte que denominaremos del contorno, donde se
especi…can los valores que debe adoptar la función solución (por ejemplo el valor de la temperatura en
) que se denotará como (x; y; t). A este tipo de condición se la denomina condición de Dirichlet
o condición esencial. Podemos escribirla como:

= 0 en (5)
La segunda clase de condición de borde que se aplica a la parte que denominaremos q , que es la
parte que resta del borde del dominio , donde se especi…ca el valor del gradiente de la función solución
(o del ‡ujo de calor o del gradiente de temperatura) referido a la dirección n normal al borde y se lo
denota q(x; y; t). A este tipo de condición se la suele denominar condición de Newman o condición
natural. Se la puede escribir como (‡ujo):

@
k q = qn q = 0 en q (6)
@n
o bien como (gradiente de temperatura):

@ @ qn q
= = 0 en q (7)
@n @n ( k) ( k)
El problema esta completamente de…nido por las ecuaciones (2), (4), (5) y (6) y la condición inicial
( en t = t0 ) los valores que representan la distribución 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 especi…cada alguna condición, lo cual lleva
a que en todos los casos se cumpla que:

= + q (8)
La ecuación (2) puede expresarse de una forma alternativa utilizando (4) para eliminar como
incógnitas a qx y qy . Como consecuencia obtenemos la siguiente ecuación diferencial de mayor orden:

@ @ @ @ @
kx + ky + Q(x; y) c =0 (9)
@x @x @y @y @t
Esta ecuación representa un problema de…nido en el dominio del tiempo y del espacio.
Si se supone que para nuestro problema se está en estado estable (o estacionario) entonces la
variación respecto del tiempo @ =@t = 0 y la ecuación de gobierno se simpli…ca a:

@ @ @ @
k + k + Q(x; y) = 0 (10)
@x @x @y @y

3
y solo requiere que se especi…quen las condiciones de contorno como en (5) y (6). La ecuación dife-
rencial de gobierno y las condiciones de contorno de…nen la forma fuerte del problema en un dominio
bidimensional.
Otras situaciones físicas tienen expresiones matemáticas similares, cambiando el signi…cado de
las variables y de los coe…cientes que caracterizan al sistema. Esta ecuación también representa por
ejemplo: el ‡ujo irrotacional de un ‡uido ideal (k = cte y Q = 0), ‡ujo de un ‡uido a través de un
medio poroso (Q = 0 y k = permeabilidad del medio poroso), entre otras.
Para un problema unidimensional, la forma fuerte del problema queda representada por las expre-
siones:

@ @
k +Q = 0 (11)
@x @x
= 0
qn q = 0

En este caso el dominio comprende = f0 < x < Lx g y el contorno = fx = 0; x = Lx g. Esta

ecuación diferencial ordinaria puede resolverse analíticamente. La solución analítica servirá para
comparar con las soluciones aproximadas que obtendremos al aplicar un procedimiento discreto para
resolverla.

Aproximación a la solución de ecuaciones diferenciales por residuos ponderados.

Consideremos que la ecuación diferencial puede ser escrita de la siguiente forma general:

A(u) = L(u) + p = 0 en (12)

Donde
L() es un operador diferencial lineal
p es una función independiente de u
u variable independiente
Las condiciones de borde pueden expresarse en forma general como:

B(u) = M(u) + r = 0 en (13)

Donde
M() es un operador diferencial lineal
r es una función independiente de u
u variable independiente
Para el caso de la ecuación de conducción de calor u sería la temperatura y entonces:
M(u) + r = 0 entonces r = u en u (Dirichlet)
@ @
M(u) = k @n q entonces M(u) = k @n y r = q en q (Natural)

El problema así descripto por A(u) y B(u) se denomina forma fuerte del problema.

Condiciones de borde satisfechas por la elección de las funciones de prueba

^
Se establece ahora cómo se construirá la aproximación u a la solución analítica u, por medio de una
interpolación paramétrica de la forma:
M
X
^
u'u= + am Nm (14)
m=1
En este caso la función será la encargada de cumplir las condiciones de borde y las funciones Nm
las encargadas de ajustar a la función solución en el dominio. Estas funciones son elegidas de manera
tal que cumplan con las siguientes condiciones:

4
 M( ) = r en (15)
M(Nm ) = 0 para m = 1; 2; :::M en
^
Por esto u satisface automáticamente las condiciones de borde, cualquiera sean los valores que
^
adopten los coe…cientes am . La función u (14) puede utilizarse también 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):

M
X
^
u ' u = + am Nm (16)
m=1
^ M
X
@u @u @ @Nm
' = + am
@x @x @x @x
m=1
^ XM
@2u @2u @2 @ 2 Nm
' = + am
@x2 @x2 @x2 @x2
m=1

@2u
Las aproximaciones a u, @u
@x y @x2
son reemplazadas en la ecuación diferencial A(u) para obtener
la expresión del residuo R :

^ ^
R = A(u u) = A(u) (17)
^
= L(u) + p
M
!
X
= L + am Nm +p (18)
m=1
M
X
= L( ) + am L(Nm ) + p
m=1

(Observación: si se conoce la solución u al problema y a esa solución se le aplican los operadores

^
A(u) y B(u) la ecuación diferencial se satisface y el residuo es 0 lo cual no sucede con u por ser una
aproximación).
Obtenido el residuo éste se minimizará utilizando el método 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 d = 0 (19)
m=1

Agrupando los términos asocidos a los parámetros am por una parte y por otra los que no están
asociados a ningún parámetro se obtiene:

Z
Klm = Wl L(Nm ) d 1 l M y 1 m M
Z Z
fl = Wl L( ) d + Wl pd 1 l M (20)

Por lo cual obtendremos el siguiente sistema algebraico a resolver:

Ka + f = 0

5
 EJEMPLO:
Encontrar la solución aproximada a la ecuación diferencial ordinaria:

d2 u
u = 0 para x 2 [0; 1]
dx2
con las condiciones de borde:

u = 0 en x = 0
u = 1 en x = 1

Primero encontraremos la solución analítica para poder comparar la solución aproximada. Dado
que la ecuación característica para esta ecuación diferencial es m2 1 = 0 sus raíces son m = 1,
por lo tanto
u = C1 ex + C2 e x
por las condiciones de contorno:

u(0) = 0 ! 0 = C1 e0 + C2 e0
0 = C1 + C2
) C1 = C2
1
u(1) = 1 ! 1 = C1 e + C2
e
las constantes quedan:
e
C1 = = 0:42545906
1 e2
e
C2 = = 0:42545906
1 e2
la función solución es
e
u= ex + e x
1 e2
Ahora se procederá a encontrar la solución aproximada por residuos ponderados.

d2 u
u = 0
dx2
d2 ()
L() = ()
dx2
p = 0

u = 0 en x = 0
u(x=0) 0 = 0
M() + () = 0 y r = 0 en x = 0

u = 1 en x = 1
u(x=1) 1 = 0
M() + () = 0 y r = 1 en x = 1

la aproximación a utilizar será

P
M
b = (x) +
u'u am Nm (x)
m=1

La función (x) = 0 si x = 0 y (x) = 1 si x = 1 por lo tanto se propone (x) = x.

6
 Las funciones Nm (x) = 0 si x = 0 y Nm (x) = 0 si x = 1, para cumplir con esto se propone utilizar
Nm (x) = sin (m x) para m = 1; 2.
El residuo será
R = L(b
u) + p
por residuos ponderados Z
Wl R d =0

que para este caso particular es

R1 d2 u
b
Wl b dx = 0
u
0 dx2
siendo
b = x + a1 sin(n x) + a2 sin(2 x)
u'u
reemplazando

R1 d2
Wl (x + a1 sin( x) + a2 sin(2 x)) (x + a1 sin( x) + a2 sin(2 x)) dx = 0
0 dx2

b reemplazando y agrupando:
derivando u

R1 2 2
Wl x a1 + 1 sin( x) a2 (4 + 1) sin(2 x) dx = 0
0

Si se utiliza colocación por puntos y se adoptan como puntos de colocación x1 = 0:25 y x2 = 0:7

Para l = 1

W1 = (x 0:25)

R1 2 2
@(x 0:25) x a1 + 1 sin( x) a2 (4 + 1) sin(2 x) dx = 0
0
7:685971a1 40:478418a2 0:25 = 0
Para l = 2

W1 = @(x 0:7)

R1 2 2
(x 0:7) x a1 + 1 sin( x) a2 (4 + 1) sin(2 x) dx = 0
0
8:7936947a1 + 38:497267a2 0:7 = 0
7:685971 40:478418 a1 0:25
=
8:7936947 38:497267 a2 0:7
a1 0:05823361
=
a2 0:00488116
b=x
u 0:05823361 sin( x) + 0:00488116 sin(2 x)

Si se utiliza colocación por subdominios y se adoptan los intervalos [0; 0:4] y [0:4; 1]
Para l = 1

W1 = 1 en x 2 [0; 0:4]

7
 R
0:4
2 2
1 x a1 + 1 sin( x) a2 (4 + 1) sin(2 x) dx = 0
0
2:3907338a1 11:654303a2 0:08 = 0
Para l = 2

W2 = 1 en x 2 [0:4; 1]

R1 2 2
1 x a1 + 1 sin( x) a2 (4 + 1) sin(2 x) dx = 0
0:4
4:5290712a1 + 11:654303a2 0:42 = 0
el sistema queda:

2:3907338 11:654303 a1 0:08

=
4:5290712 11:654303 a2 0:42
a1 0:07225637
=
a2 0:00795807
b=x
u 0:07225637 sin( x) + 0:00795807 sin(2 x)

Finalmente, utilizando Galerkin (mínimos cudrados).

Para l = 1

W1 = N1 = sen( x)

R1 2 2
sen( x)) x a1 + 1 sin( x) a2 (4 + 1) sin(2 x) dx = 0
0
7:685971a1 40:478418a2 0:25 = 0
Para l = 2

W2 = N2 = sin(2 x)

R1 2 2
sen(2 x) x a1 + 1 sin( x) a2 (4 + 1) sin(2 x) dx = 0
0
8:7936947a1 + 38:497267a2 0:7 = 0
7:685971 40:478418 a1 0:25
=
8:7936947 38:497267 a2 0:7
a1 0:058233604
=
a2 0:004881164
b=x
u 0:058233604 sin( x) + 0:004881164 sin(2 x)

Observaciones:
Al utilizar residuos ponderados se convierte un problema diferencial en un problema algebraico de
la forma Ka + f = 0 independientemente de la función de peso se elija.
Como las expresiones que hay que integrar suelen ser largas, se recomienda obtener el valor de cada
integral utilizando un método numérico o utilizando Scilab. El sistema algebraico puede resolverse
utilizando planilla electrónica o Scilab.

8
 Recuerde que aquí también existen los errores de representación (corte o redondeo) y de trun-
camiento (por estar utilizando una aproximación a la solución analítica) razón por la cual los valores
de las integrales numéricas pueden no dar exactamente como cuando uno las resuelve analítcamente.
Utilice Scilab para comparar las soluciones exacta, y las obtenidas al aplicar residuos ponderados
con las distintas funciones de peso.

Referencias:
El Método de elementos …nitos, O: C. Zienkiewicz
Finite Elements and Approximation; O. C. Zienkiewicz & K. Morgan