El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing.

Qumica
1
1. INTRODUCCIN

La ecuacin de difusin en una dimensin es una ecuacin diferencial a derivadas parciales lineal de
segundo orden


( ) ( ) ( )
2
2
, , , ,
u u
x t D x t f x t
t x

=

(1.1)

en donde x es la variable espacial, t la variable temporal y 0 , D < que recibe el nombre de
coeficiente de difusin. Esta ecuacin es del tipo parablica, y modela fenmenos de transporte, es
decir, transporte de una sustancia o propiedad debido al movimiento molecular de un medio
circundante. En particular, esta ecuacin es el modelo matemtico para la conduccin de calor en una
barra. Si el material es homogneo e istropo con respecto a la propagacin, la evolucin de la
temperatura ser descripta por la ecuacin (1.1). En ella,
( )
, f x t representa la intensidad de una
fuente de calor distribuida a lo largo de la barra.
En condiciones de equilibrio en rgimen estacionario, la solucin depender slo de la variable espacial,
y esta satisface la versin estacionaria de la ecuacin de difusin, es decir


( ) ( )
2
2
.
d u
D x f x
dx
= (1.2)

Esta ecuacin es de tipo elptica y es conocida como ecuacin de Poisson. La versin homognea recibe
el nombre de ecuacin de Laplace.

Antes de abordar la resolucin de (1.2), se revisarn algunos conceptos bsicos.

Definicin 1.1
Sea V un espacio lineal sobre . Una forma bilineal es una funcin : , a V V con la siguiente
propiedad


( ) ( ) ( )
, , , , , , y , . a u v w a u w a v w u v w V + = +

Definicin 1.2
Sea V un espacio lineal sobre . Un producto interno es una forma bilineal
( )
, :V V i i con las
siguientes propiedades


( )
, 0, . u u u V

( )
, 0 u u = si y slo si 0. u =

( ) ( )
, , , , . u v v u u v V =

Carlos M. Albarracn
2
2. ECUACIONES ELPTICAS EN
1


2.1 Condiciones de Contorno Homogneas de Dirichlet

2.1.1 Formulacin dbil

Sea el siguiente problema de contorno, definido en
( )
1
0, L =


( ) ( )
( ) ( )
0
,
0.
x x L
D u x f x
u x u x
= =

= =

(2.1)

La funcin u que satisface (2.1) debe ser tal que
( ) ( )
( )
2 0
, u x C C en donde = y
{ }
0, , L = es decir el contorno del dominio. En caso de existir , u sta se denomina solucin clsica.
Uno de los principales problemas de encontrar u radica en las exigentes condiciones de regularidad
impuestas sobre ella. Para relajar estos requisitos se procede a multiplicar la ecuacin diferencial por
una funcin arbitraria, lo suficientemente suave en , esto es, continua y con derivadas continuas
hasta la de un orden apropiado, de manera tal que sea posible integrar el producto de esta con u en
. Supngase que
( )
0
v C

( )
0 . v

= Por lo tanto, para el problema (2.1) se tiene

( ) ( ) ( ) ( )
0 0
0.
L L
D u x v x dx f x v x dx + =

(2.2)

Al aplicar en esta expresin integracin por partes resulta

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0 0 0 0
0.
L L L L x L
x
D u x v x dx f x v x dx D u x v x D u x v x dx f x v x dx
=
=

+ = + =




Si se tiene en cuenta que
( )
0, v x

= entonces


( ) ( ) ( ) ( )
0 0
0.
L L
D u x v x dx f x v x dx + =

(2.3)

La funcin u que satisface (2.3) para toda
0
v C

es solucin del problema (2.3), el cual se conoce

como formulacin dbil. Dicha funcin es la solucin dbil del problema de contorno (2.1) y como se
observa, las exigencias de continuidad en la derivada segunda del problema original ahora pueden ser
dejadas de lado.
Es importante notar que la solucin clsica del problema de contorno
( ) ( )
( )
2 0
, u x C C cuando
esta existe, es solucin de la formulacin dbil si
( )
, f C ya que partiendo de (2.3) se llega a (2.1).
El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
3
En la expresin (2.3) el trmino negativo corresponde a una forma bilineal, mientras que el trmino
restante corresponde un funcional lineal, por lo tanto la expresin (2.3) puede expresarse como
( ) ( )
, 0, a u v l v + = o ms usualmente


( ) ( )
, , a u v l v = (2.4)

en donde


( ) ( ) ( )
0
, ,
L
a u v D u x v x dx =

(2.5)
y


( ) ( ) ( )
0
.
L
l v f x v x dx =

(2.6)

En resumen, el problema de contorno original ha sido transformado en el siguiente problema
variacional o formulacin dbil


( ) ( )
( ) ( ) ( ) ( )
Encontrar tal que:
, , ,
u x V
a u v l v v x V

(2.7)

en donde el espacio de funciones
( )
V est dado por


( ) ( ) ( ) ( ) ( ) { }
1
; y 0 0 . V v x v C v v L = = = (2.8)


2.1.2 Solucin aproximada por medio del mtodo de Galerkin

Por lo general, el espacio V es de dimensin infinita, por lo tanto, se recurre al mtodo de Galerkin
para obtener una solucin aproximada. El mtodo de Galerkin consiste en proponer un sub espacio de
dimensin finita
( ) ( )
.
h
V V Este sub espacio queda definido por medio de una base. Cuanto
mayor sea la dimensin del sub espacio elegido, ms se acercar la solucin aproximada a la solucin
dbil exacta. En consecuencia, el problema a resolver ahora es el siguiente


( )
( ) ( )
Encontrar tal que,
, , .
h
h
h
h h h h
u x V V
a u v l v v V

(2.9)





Carlos M. Albarracn
4
Definicin 2.1
Supngase
( )
dim
h
V N = y sea el conjunto
( ) { }
; , 1, 2,.., .
h
i i
B x V i N = = Si las funciones de
este conjunto verifican

( ) ( ) ( )
1 1 2 2
... 0
N N
x x x + + + = si y slo si 0, 1 ,
i
i N = con .
i

Entonces
1) Los elementos de B son linealmente independientes.
2) B es una base de ,
h
V es decir que toda
h
h
u V puede ser expresada como


( ) ( )
1
, .
N
h i i i
i
u x c x c
=
=

(2.10)

Supngase, que se desea abordar la solucin de la formulacin (2.9). Si se propone el conjunto
( ) ( ) ( ) { }
1 2
, ,..,
N
B x x x = como base del sub espacio ,
h
V entonces, de acuerdo con (2.10) se tendr


( ) ( ) ( ) ( )
1 1
, , , .
N N
h j j h i i j i
j i
u x c x v x d x c d
= =
= =

(2.11)

Reemplazando (2.11) en la forma bilineal y funcional lineal de (2.9) se tiene

1 1 1
, .
N N N
j j i i i i
j i i
a c d l d
= = =


=







Al ser a bilineal y l lineal, esta expresin puede ser escrita de la siguiente forma


( ) ( )
1 1 1
, .
N N N
i j i j i i
i j i
d c a d l
= = =
=



Sacando factor comn
i
d se tiene


( ) ( )
1 1 1
, ,
N N N
i i j j i i
i j i
d a c d l
= = =
=

(2.12)

la cual se puede expresar como


( ) ( )
1 1
, 0.
N N
i i j j i
i j
d a c l
= =


=




(2.13)

Dado que (2.13) se tiene que satisfacer para toda ,
h
h
v V los
i
d resultan arbitrarios y en consecuencia
se puede decir que la ecuacin (2.13) se debe verificar para todo ,
i
d esto implica que

El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
5

( ) ( )
1
, 0, 1, 2,..., .
N
i j j i
j
a c l i N
=
= =

(2.14)

Las expresiones (2.14) constituyen un sistema de N ecuaciones con N incgnitas, que de una forma
ms sinttica se puede escribir como


,
,
i j j i
K c F = (2.15)
en donde


( ) ( ) ( )
,
0
,
L
i j i j i j
K a D x x dx = =

(2.16)
y


( ) ( ) ( )
0
.
L
i i i
F l f x x dx = =

(2.17)

La solucin del sistema de ecuaciones lineales (2.15) permite obtener los valores de los coeficientes ,
j
c
con los cuales se construye la solucin aproximada
( )
h
u x a partir de (2.11).

Problema 2.1
Considrese el problema de contorno (2.1) con los siguientes datos:
( )
4
1 2
sen ,
10
x
L
f x x e
L

0.2 D = y 100. L =
Para obtener una aproximacin
( )
h
u x a la funcin
( )
, u x aplicando el mtodo de Galerkin, en primer
lugar se propone una base de un espacio ,
h
V V es decir
{ }
1 2
, ,.., .
N
B = Lo ms usual es que
h
V
sea un espacio de polinomios. Al hacer uso de (2.10) se tiene


1 1
, ,
N N
h j j h i i
j i
u c v d
= =
= =

(2.18)
y


1 1
, .
N N
h j j h i i
j i
u c v d
= =
= =

(2.19)

Reemplazando (2.18) y (2.19) en (2.14) se obtiene el siguiente sistema lineal


0 0
1
0, 1, 2,..., ,
N
L L
i j j i
j
D dx c f dx i N
=

= =

(2.20)

esto es
,
,
i j j i
K c F = en donde
, i j
K y
i
F se calculan de acuerdo con (2.16) y (2.17) respectivamente.

Carlos M. Albarracn
6
Entonces, para resolver este problema, en primer lugar se adoptar 1 N = y
{ } ( ) { }
1
, B x x L = =
por lo tanto se tiene
1
2 . x L = Al reemplazar en (2.20) se tiene

( )
100 2
1,1
0
0.2 2 100 66666.666667, K x dx = =

( )
1
100
25
1
0
1
sen 100 1601.481107.
10 50
x
F x e x x dx

= =

Por lo tanto es
1
1601.481107
0.024022,
66666.666667
c

= = resultando la siguiente solucin dbil aproximada

( ) ( )
2
0.024022 100 2.402222 0.024022 .
h
u x x x x x = =

En la figura 2.1 se muestra el grfico de
h
u y de la solucin exacta
( )
. u x












Figura 2.1

Ahora, si se adopta 2 N = y
{ } ( ) ( ) { }
2
1 2
, , , B x x L x x L = = se tendr
1
2x L = y
( )
2
2
2 . x x L x = + Entonces, la matriz de rigidez y el vector trmino independiente resultan

100 100
7
1,1 1 1 1,2 1 2
0 0
0.2 66666.666667, 0.2 0.333333 10 , K dx K dx = = = =


100 100
7 9
2,1 2 1 2,2 2 2
0 0
0.2 0.333333 10 , 0.2 0.266667 10 , K dx K dx = = = =



1
100
25
1 1
0
1
100
25
2 2
0
1
sen 1601.481107,
10 50
1
sen 24167.808242.
10 50
x
x
F x e dx
F x e dx

= =

= =

Resolviendo el sistema
( )
h
u x
( )
u x
El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
7

1,1 1,2 1 1
2,1 2,2 2 2
,
K K c F
K K c F


=




se obtienen los siguientes valores

1 2
0.051975, 0.000559. c c = =

Por lo tanto, la solucin dbil resulta (figura 2.2)

( )
1 2
2 3
0.051975 0.000559
5.197534 0.107882 0.000559 .
h
u x
x x x
= + =
= +




Figura 2.2

2.1.3 Programa Maple del problema 2.1

Ecuacin de Poisson. C.C. Homogeneas. Problema 2.1
> r est ar t ; wi t h( l i nal g) : Di gi t s: =14:
> U[ 0] : =0; U[ 1] : =0; _D: =0. 2; L: =100; de: =- _D*di f f ( u( x) , x, x) ;
> f : =1/ 10*si n( 2*Pi *x/ L) *exp( - 4*x/ L) ;
> SE: =dsol ve( {de=f , u( 0) =U[ 0] , u( L) =U[ 1] }, u( x) ) ;
> assi gn( eval f ( SE) ) ;
> pl ot ( u( x) , x=0. . L) ;
> N: =2; K: =mat r i x( N, N) : F: =vect or ( N) :
Base de Vh
> f or i f r om1 by 1 t o N do:
> psi [ i ] : =x^i *( x- L) :
> od:
> pl ot ( psi [ 1] , x=0. . L) ;
> f or i f r om1 by 1 t o N do:
> dpsi [ i ] : =di f f ( psi [ i ] , x) ;
> od:
Matriz de rigidez
> f or i f r om1 by 1 t o N do:
> f or j f r om1 by 1 t o N do:
> K[ i , j ] : =_D*i nt ( dpsi [ i ] *dpsi [ j ] , x=0. . L) ;
> od; od;
> pr i nt ( K) ;
Termino independiente
Carlos M. Albarracn
8
> f or i f r om1 by 1 t o N do:
> F[ i ] : =eval f ( i nt ( f *psi [ i ] , x=0. . L) ) ;
> od:
> pr i nt ( F) ;
> sol : =l i nsol ve( K, F) ;
> uh: =0:
> f or i f r om1 by 1 t o N do:
> uh: =uh+sol [ i ] *psi [ i ] ;
> od:
> pr i nt ( expand( uh) ) ;
> pl ot ( {uh, u( x) }, x=0. . L, col or =[ bl ack, bl ack] , l abel s=[ x, u] ) ;



2.2 Condiciones de Contorno no Homogneas de Dirichlet

2.2.1 Formulacin dbil

Considrese ahora el siguiente problema de contorno


( ) ( )
( ) ( )
0 1
0
,
, .
x x L
D u x f x
u x U u x U
= =

= =

(2.21)

En este caso se procede a reducir el problema a uno con condiciones de contorno homogneas. Para
ello se propone una funcin
0
u tal que
( )
0 0
0 u U = y
( )
0 1
. u L U = Entonces, al reemplazar
0
u u w = +
con
( )
0 0 w = y
( )
0 w L = en el problema (2.21) se tiene


( ) ( )
( ) ( )
0
0
,
0, 0.
x x L
D w x f D u x
w x w x
= =

= +

= =

(2.22)

Al operar con (2.22) de igual manera que en el caso homogneo so obtiene


( ) ( ) ( ) ( ) ( ) ( )
0
0 0 0
0.
L L L
D w x v x dx f x v x dx D u x v x dx + + =

(2.23)

Al aplicar en esta expresin integracin por partes resulta


( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
0
0 0 0
0 0
0 0 0 0
0
0.
L L L
L L x L x L
x x
L
D w x v x dx f x v x dx D u x v x dx
D w x v x D w x v x dx D u x v x D u x v x dx
f x v x dx
= =
= =
+ + =

= + +


+ =

Si se tiene en cuenta que
( )
0, v x

= entonces

El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
9

( ) ( ) ( ) ( ) ( ) ( )
0
0 0 0
,
L L L
D w x v x dx f x v x dx D u x v x dx =

(2.24)

y el problema de contorno original resulta transformado en la siguiente formulacin dbil


( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
0 0 0 0 1
0
0
Para arbitraria con y , encontrar:
, con , tal que
, , ,
x x L
u x u U u U
w x V w x u x u x
a w v l v v x V
= =

= =

(2.25)

en donde
( ) ( ) ( )
0
, ,
L
a w v D w x v x dx =

( )
0
0 0
L L
l v f v dx D u v dx =

y
( )
V es el espacio
definido en (2.8).

Para obtener una solucin aproximada, ahora se debe resolver el siguiente problema


( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
0 0 0 0 1
0
0
Para arbitraria con y , encontrar:
, con , tal que
, , ,
x x L
h
h h h
h
h h h h
u x u U u U
w x V V w x u x u x
a w v l v v x V
= =

= =

(2.26)

en donde

( ) ( ) ( )
0
,
L
h h h h
a w v D w x v x dx =

(2.27)
y

( )
0
0 0
.
L L
h h h
l v f v dx D u v dx =

(2.28)

La matriz de rigidez estar dada por (2.16), tal como en el caso homogneo, pero para el vector
trmino independiente se tiene


( ) ( ) ( ) ( ) ( )
0
0 0
.
L L
i i i i
F l f x x dx D u x x dx = =

(2.29)

Problema 2.2
Considrese el problema 2.1 ya resuelto, pero con condiciones de contorno dadas por
0
20 U = y
1
40. U =
Supngase la funcin
( ) ( )
0 1 0 0
,
x
u x U U U
L
= + entonces, para 2, N = la matriz de rigidez y el vector
trmino independiente resultan idnticos al problema 2.1, ya que
( ) ( )
0
0
0, 1, 2,..., ,
L
i
u x x dx i N = =

por lo tanto, la solucin dbil aproximada obtenida resulta

0
2 2 3 5 4
20 6.311612 0.162726 0.147314 10 0.457039 10 .
h h
u u w
x x x x

= + =
= + +
(2.30)

Carlos M. Albarracn
10
En la siguiente figura se muestra la solucin exacta y la aproximada



Figura 2.3

2.2.2 Programa Maple del problema 2.2

Ecuacin de Poisson. C.C. no homogeneas. Problema 2.2
> r est ar t ; wi t h( l i nal g) : Di gi t s: =14:
> U[ 0] : =20; U[ 1] : =40; _D: =0. 2; L: =100; de: =- _D*di f f ( u( x) , x, x) ;
> f : =1/ 10*si n( 2*Pi *x/ L) *exp( - 4*x/ L) ;
> SE: =dsol ve( {de=f , u( 0) =U[ 0] , u( L) =U[ 1] }, u( x) ) ;
> assi gn( eval f ( SE) ) ;
> pl ot ( u( x) , x=0. . L) ;
> u0: =x/ L*( U[ 1] - U[ 0] ) +U[ 0] ; du0: =di f f ( u0, x) ;
> N: =3; K: =mat r i x( N, N) : F: =vect or ( N) :
Base de Vh
> f or i f r om1 by 1 t o N do:
> psi [ i ] : =x^i *( x- L) :
> od:
> pl ot ( psi [ 1] , x=0. . L) ;
> f or i f r om1 by 1 t o N do:
> dpsi [ i ] : =di f f ( psi [ i ] , x) ;
> od:
> pl ot ( {dpsi [ 1] }, x=0. . L) ;
Matriz de rigidez
> f or i f r om1 by 1 t o N do:
> f or j f r om1 by 1 t o N do:
> K[ i , j ] : =_D*i nt ( dpsi [ i ] *dpsi [ j ] , x=0. . L) ;
> od; od;
> pr i nt ( K) ;
Termino independiente
> f or i f r om1 by 1 t o N do:
> F[ i ] : =eval f ( i nt ( f *psi [ i ] , x=0. . L) - _D*i nt ( du0*dpsi [ i ] , x=0. . L) ) ;
> od:
> pr i nt ( F) ;
> sol : =l i nsol ve( K, F) ;
> uh: =u0:
> f or i f r om1 by 1 t o N do:
> uh: =uh+sol [ i ] *psi [ i ] ;
> od:
> pr i nt ( expand( uh) ) ;
> pl ot ( {uh, u( x) }, x=0. . L, col or =[ bl ack, bl ack] , l abel s=[ x, u] ) ;

El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
11
2.3 Condiciones de Contorno de Neumann

2.3.1 Formulacin dbil

Cuando las condiciones de contorno se imponen sobre la derivada de u se tiene el siguiente problema
de contorno

( ) ( ) ( )
0 1
0
,
, .
x x L
D u x u x f x
du du
Q Q
dx dx
= =

+ =

= =

(2.31)

Para obtener la formulacin dbil de este problema, al igual que en los casos anteriores, se aplica el
teorema de Green. Para ello se seleccionan funciones , v pero ahora en un espacio diferente a los casos
previos, esto es
( ) ( ) ( ) { }
1
; . v V v x v C = Es importante observar que no se especifica valor
alguno que deba ser satisfecho por las funciones v en el contorno. Algunas funciones podrn ser cero
en , pero no todas. En consecuencia se tiene


( ) ( )
0 0 0 0 0
0.
L L L L x L
x
Du u v dx f v dx Du v Du v u v dx f v dx
=
=
+ = + + =



Reemplazando la condicin de contorno se obtiene


( ) ( ) ( )
1 0
0 0
0 .
L L
Du v u v dx D Q v L Q v f v dx

+ = +



(2.32)

En ella se reconoce como forma bilineal a
( ) ( )
0
, ,
L
a u v Du v u v dx = +

mientras que el funcional

lineal resulta:
( ) ( ) ( )
1 0
0
0 .
L
l v D Q v L Q v f v dx

= +



Por lo tanto, se tiene el siguiente problema


( )
( ) ( )
Encontrar tal que,
, , .
u x V
a u v l v v V

(2.33)

La obtencin de la solucin dbil aproximada implica resolver el siguiente problema


( ) ( )
( ) ( )
^
Encontrar tal que,
, , .
h
h
h
h h h h
u x V V
a u v l v v V

(2.34)

en donde

( ) ( )
0
,
L
h h h h h h
a u v Du v u v dx = +

(2.35)

y

( ) ( ) ( )
1 0
0
0 .
L
h h h h
l v D Q v L Q v f v dx

= +



(2.36)
Carlos M. Albarracn
12

Si se adopta la base
{ }
1 2
, ,...,
N
B = del espacio
( )
,
h
V se tiene

1 1
, ,
N N
h j j h i i
j i
u c v d
= =
= =

(2.37)

Al reemplazar las (2.37) y sus respectivas derivadas en (2.35) y (2.36), y aplicar las propiedades de las
formas bilineales se llega a expresiones idnticas a las obtenidas en la seccin 2.1, es decir


,
,
i j j i
K c F = (2.38)

en donde

( ) ( ) ( ) ( ) ( )
,
0 0
,
L L
i j i j i j i j
K a D x x dx x x dx = = +

(2.39)
y


( ) ( ) ( ) ( ) ( )
1 0
0
0 .
L
i i i i i
F l D Q L Q f x x dx

= = +



(2.40)


Problema 2.3
Considrese un problema tal como el enunciado en (2.31), con datos similares al del problema 2.1 y
condiciones de contorno de Neumann dadas por
0
4
, 0.
100
x x L
du du
dx dx
= =
= = Si se considera 2, N =
una base del espacio
( )
h
V es
{ }
1, . B x = En consecuencia, el sistema de ecuaciones que se obtiene es
el siguiente


1
2
100.00 5000.00 1.1038
,
5000.00 333353.33 13.9579
c
c


=





cuya solucin es

1 2
0.035771, 0.000495. c c = =

Por lo tanto, la solucin aproximada resulta


( )
0.035771 0.000495 .
h
u x x =

En la figura 2.4. se muestra la solucin exacta y la aproximada.





El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
13










Figura 2.4

En las siguientes figuras se muestra la solucin exacta y aproximada para 4 N = y 5 N =
respectivamente


Figura 2.5 Figura 2.6

2.3.2 Programa Maple del problema 2.3

Ecuacin de Poisson. C.C. de Neumann. Problema 2.3
> r est ar t ; wi t h( l i nal g) : Di gi t s: =14:
> _D: =0. 2; L: =100; de: =- _D*di f f ( u( x) , x, x) +u( x) ;
> Q[ 0] : =4/ 100; Q[ 1] : =0;
> f : =1/ 10*si n( 2*Pi *x/ L) *exp( - 4*x/ L) ;
> SE: =dsol ve( {de=f , D( u) ( 0) =Q[ 0] , D( u) ( L) =Q[ 1] }, u( x) ) ;
> assi gn( eval f ( SE) ) ;
> pl ot ( u( x) , x=0. . L) ;
> N: =2; K: =mat r i x( N, N) : F: =vect or ( N) :
Base de Vh
> f or i f r om1 by 1 t o N do:
> psi [ i ] : =x^( i - 1) :
> od:
> pl ot ( psi [ 1] , x=0. . L) ;
> f or i f r om1 by 1 t o N do:
> dpsi [ i ] : =di f f ( psi [ i ] , x) ;
> od:
> pl ot ( {dpsi [ 2] }, x=0. . L) ;
Matriz de rigidez
> f or i f r om1 by 1 t o N do:
( )
u x
( )
h
u x
Carlos M. Albarracn
14
> f or j f r om1 by 1 t o N do:
> K[ i , j ] : =_D*i nt ( dpsi [ i ] *dpsi [ j ] , x=0. . L) +i nt ( psi [ i ] *psi [ j ] , x=0. . L) ;
> od; od;
> pr i nt ( K) ;
Termino independiente
> f or i f r om1 by 1 t o N do:
> F[ i ] : =eval f ( i nt ( f *psi [ i ] , x=0. . L) ) +eval f ( _D*( Q[ 1] *subs( x=L, psi [ i ] ) -
Q[ 0] *subs( x=0, psi [ i ] ) ) ) ;
> od:
> pr i nt ( F) ;
> sol : =l i nsol ve( K, F) ;
> uh: =0:
> f or i f r om1 by 1 t o N do:
> uh: =uh+sol [ i ] *psi [ i ] ;
> od:
> pr i nt ( expand( uh) ) ;
> pl ot ( {uh, u( x) }, x=0. . L, col or =[ bl ack, bl ack] , l abel s=[ x, u] ) ;



3. ECUACIONES ELPTICAS EN
2


3.1 Condiciones de Contorno Homogneas de Dirichlet

3.1.1 Formulacin dbil

Sea el siguiente problema de contorno, definido en
( ) ( )
2
0, 0, A B =


( ) ( ) ( )
( )
, , , ,
, 0.
xx yy
u x y u x y f x y
u x y

+ =

(3.1)

La funcin u que satisface (3.1) debe ser tal que
( ) ( )
( )
2 0
, , u x y C C en donde = y
es el contorno de . En caso de existir , u sta se denomina solucin clsica.
Suponiendo que
( ) ( )
, , f x y C de la misma forma que en el caso de
1
, se procede a multiplicar la
ecuacin diferencial (3.1) por una funcin arbitraria
( )
0
v C

e integrar en , esto es


( ) ( ) ( ) ( ) ( )
0 0 0 0
, , , , , 0.
A B A B
xx yy
u x y u x y v x y dxdy f x y v x y dxdy

+ + =



(3.2)

Al aplicar la frmula de Green, es decir ,
u
u v d v ds u v d

x x
n
a la integral de la
ecuacin (3.2) se obtiene

( ) ( ) ( ) ( ) ( ) ( ) ( )
0 0 0 0
, , , , , , , .
A B A B
xx yy x x y y
u
u x y u x y v x y dxdy v ds u x y v x y u x y v x y dxdy

+ = +

n

El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
15
Si se tiene en cuenta que
( )
0, v x

= entonces la expresin resulta

( ) ( ) ( ) ( ) ( ) ( )
0 0 0 0
, , , , , , .
A B A B
x x y y
u x y v x y u x y v x y dxdy f x y v x y dxdy

+ =



(3.3)

La funcin u que satisface esta ltima expresin es solucin de la formulacin dbil (3.3). Tal como en
el caso de
1
, en (3.3) se reconoce la forma bilineal y el funcional lineal, por lo que se tiene


( ) ( )
, . a u v l v = (3.4)

Ahora, el problema de contorno original ha sido transformado en el siguiente problema variacional o
formulacin dbil


( ) ( )
( ) ( ) ( ) ( )
Encontrar , tal que:
, , , ,
u x y V
a u v l v v x y V

(3.5)

en donde

( ) ( ) ( ) ( )
{ }
1
, ; y , 0 . V v x y v C v x y

= =


3.1.2 Solucin aproximada por medio del mtodo de Galerkin

Se propone entonces, una base de un sub espacio de dimensin finita
( ) ( )
.
h
V V En consecuencia,
el problema a resolver en este espacio es el siguiente


( ) ( ) ( )
( ) ( ) ( )
Encontrar , tal que,
, , .
h
h
h
h h h h
u x y V V
a u v l v v V

(3.6)

Si se propone el conjunto
{ } { }
11 1 21 2 1
,..., , , ,..., ,..., ; 1 ,1 ,
N N M MN ij
B i M j N = =
como base del sub espacio ,
h
V siendo
( ) ( ) ( )
, ,
ij i j
x y x y = entonces se tiene


( ) ( ) ( ) ( )
1 1 1 1
, , , .
M N M N
h ij i j h pq p q ij pq
i j p q
u c x y v d x y c d
= = = =
= =

(3.7)

Reemplazando (3.7) en la forma bilineal y funcional lineal de (3.6) se tiene

( ) ( ) ( ) ( ) ( ) ( )
1 1 1 1 1 1
, .
M N M N M N
ij i j pq p q pq p q
i j p q p q
a c x y d x y l d x y
= = = = = =



=








Esta expresin puede ser escrita de la siguiente forma

Carlos M. Albarracn
16

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1 1 1 1 1
, .
M N M N M N
ij pq i j p q pq p q
p q i j p q
c d a x y x y d l x y
= = = = = =


=






Sacando factor comn
pq
d se tiene


( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1 1 1 1 1
, ,
M N M N M N
pq ij i j p q pq p q
p q i j p q
d c a x y x y d l x y
= = = = = =


=




(3.8)

la cual se puede expresar como


( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1 1 1
, 0.
M N M N
pq p q i j ij p q
p q i j
d a x y x y c l x y
= = = =


=




(3.9)

Dado que (3.9) se tiene que satisfacer para toda ,
h
h
v V los
pq
d resultan arbitrarios y en consecuencia
se puede decir que la expresin (3.9) se debe verificar para todo ,
pq
d esto implica que


( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1
, 0, 1, 2,..., , 1, 2,..., .
M N
p q i j ij p q
i j
a x y x y c l x y p M q N
= =
= = =

(3.10)

Las expresiones (3.10) constituyen un sistema de M N ecuaciones con M N incgnitas, que de una
forma ms sinttica se puede escribir como

. = K c F (3.11)
De (3.7) se tiene


( ) ( ) ( ) ( )
1 1 1 1
, ,
M N M N
h h
ij i j ij i j
i j i j
u u
c x y c x y
x y

= = = =

= =


(3.12)

por lo tanto, las componentes de (3.11) resultan


( )
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
,
0 0
,
.
pq ij p q i j
A B
p q i j p q i j
K a
x y x y x y x y dxdy


= =

= +



(3.13)
y

( ) ( ) ( ) ( )
0 0
, .
A B
pq p q p q
F l f x y x y dxdy = =

(3.14)

Problema 3.1
Considrese el problema de contorno (3.1) con
( )
12
1 2
, sen .
10
y
B
f x y x e
A

Si se propone como base
del espacio
h
V V a
( ) ( ) { }
; , , 1, 2,..., ; 1, 2,..., ,
i j
ij i j i j
B x x A y y B i M j N = = = = = =
entonces, para 2, 200 M N A = = = y 100 B = se tiene
El Mtodo de Galerkin con Maple. Curso Complementario Optativo 2010 Ing. Qumica
17


16 18 18 20
11
18 20 20 22
12
18 20 20 22
21
20 22 22 24
22
0.44 10 0.22 10 0.44 10 0.22 10 0.0
0.0 0.22 10 0.17 10 0.22 10 0.17 10
0.44 10 0.22 10 0.55 10 0.27 10
0.22 10 0.17 10 0.27 10 0.20 10
c
c
c
c










=









11
12
,
0.22 10
0.34 10












cuya solucin es:


6 8 8 10
0.63 10 0.82 10 0.63 10 0.82 10 .


=


c

En la siguiente figura se muestra la solucin
( )
, .
h
u x y


Figura 3.1

3.1.3 Programa Maple del problema 3.1

Ecuacin de Poisson en R2. C.C. Homogeneas. Problema 3.1
> r est ar t ; wi t h( l i nal g) : Di gi t s: =20:
> A: =200; B: =100;
> f : =1/ 10*si n( 2*Pi *x/ A) *exp( - 12*y/ B) ;
> M: =2; N: =2; K: =mat r i x( M*N, M*N) : F: =vect or ( M*N) :
Base de Vh
> f or i f r om1 by 1 t o M do:
> phi [ i ] : =x^i *( x- A) :
> dphi [ i ] : =di f f ( phi [ i ] , x) ;
> od:
> #pl ot ( phi [ 2] , x=0. . A) ;
> f or i f r om1 by 1 t o N do:
> t het a[ i ] : =y^i *( y- B) :
> dt het a[ i ] : =di f f ( t het a[ i ] , y) ;
> od:
Matriz de rigidez
> f i l : =1:
> f or p f r om1 by 1 t o M do:
> f or q f r om1 by 1 t o N do:
> col : =1:
> f or i f r om1 by 1 t o M do:
Carlos M. Albarracn
18
> f or j f r om1 by 1 t o N do:
> K[ f i l , col ] : =eval f ( i nt ( i nt (
dphi [ i ] *t het a[ j ] *dphi [ p] *t het a[ q] +phi [ i ] *dt het a[ j ] *phi [ p] *dt het a[ q] , x=0. . A
) , y=0. . B) ) ;
> col : =col +1:
> od: od:
> f i l : =f i l +1:
> od; od;
> #pr i nt ( K) ;
Termino independiente
> f i l : =1:
> f or p f r om1 by 1 t o M do:
> f or q f r om1 by 1 t o N do:
> F[ f i l ] : =eval f ( i nt ( i nt ( f *phi [ p] *t het a[ q] , x=0. . A) , y=0. . B) ) ;
> f i l : =f i l +1:
> od: od:
> #pr i nt ( F) ;
Solucin del sistema lineal
> c: =l i nsol ve( K, F) ;
> uh: =0:
> f i l : =1:
> f or i f r om1 by 1 t o M do:
> f or j f r om1 by 1 t o N do:
> uh: =uh+c[ f i l ] *phi [ i ] *t het a[ j ] ;
> f i l : =f i l +1:
> od: od:
> pr i nt ( expand( uh) ) ;
> pl ot 3d( uh, x=0. . A, y=0. . B, col or =whi t e, axes=FRAME, l abel s=[ x, y, u] ) ;