Problemas en una dimensin con valores en la frontera (1DBVP) resueltos por

el mtodo de Galerkin
El mtodo de Galerkin es un mtodo para resolver de manera aproximada cualquier ecuacin diferencial (ED). Es
particularmente til para resolver problemas con valores en la frontera (Boundary Value Problems o BVP) en los
cuales una solucin debe satisfacer una ED y varias condiciones de frontera (CF) sobre un dominio dado. Dicha
solucin ser aproximada. El mtodo aqu se describe para una ED de una variable, es decir, una dimensin.
Adems, se atacan nicamente problemas de orden 2, 3 y 4 nicamente; no obstante, el mtodo es aplicable a ED
de cualquier orden.
Mtodo
Dado un problema BVP, el procedimiento para obtener una solucin aproximada u(x) usando el mtodo de Galerkin
es el siguiente:
I) Construir la forma dbil de la ED (paso comn para el cual no importa el tipo de solucin que se vaya a proponer)
1. Generar la ecuacin de error.- Partir de una ED igualada a cero. Si se sustituye una solucin aproximada
de dicha ecuacin, se producir un error y, por lo tanto, la ED evaluada con dicha solucin aproximada no se igualar
con cero. Por lo tanto, lo que se obtiene es una funcin de error e(x).
2. Definir el error total ponderado.- Si la funcin de error e(x) se integra en el dominio se obtiene el error
acumulado. Sin embargo, dicho error acumulado puede ser positivo para unos segmentos del domino y negativo para
otros. Por lo anterior, el error acumulado total obtenido por integracin directa puede no representar la realidad pues
estara sumando cantidades negativas y positivas, provocando as que el error se cancele. En el mtodo de los
mnimos cuadrados se aborda esta cuestin realizando la integracin del cuadrado de la funcin de error
(
]
xi
xf
e(x)
2
dx). El mtodo de Galerkin utiliza un artilugio ms sofisticado: multiplica el error por una funcin de pon-
deracin w
i
, as el error total ponderado es
]
xi
xf
w
i
e(x) dx. Las funciones de ponderacin estn definidas por:
w
i
[x] =
o u
o a
i
, donde los a
i
son parmetros desconocidos de la solucin
3. Aplicar integracin por partes para incorporar las condiciones de frontera naturales (CFN).- Para problemas
de 2 orden, todos los trminos que incluyen derivadas de orden 2 son integradas por partes una vez. As, en el
resultado, el mximo orden de derivacin ser 1. Para problemas de 4orden la integracin por partes se aplica dos
veces en los trminos de 4 orden y una sola vez en los que involucran derivadas de 3 orden. En este caso, el
mximo orden de derivacin resultante es 2.
En general para problemas de orden par 2p, se aplica integracin por partes p veces. Para problemas
de orden impar 2p-1, se aplica integracin por partes p veces.
4. Identificar condiciones de frontera esenciales (CFE) y naturales.- Para problemas de 2 orden las condi-
ciones de frontera que contienen primeras derivadas sern CFN. Para problemas de orden 4 sern CFN aquellas
que involucren derivadas de 2 y 3 orden. Todos las dems sern CFE. Reciben su nombre de CFN debido a que
de manera narutal o automtica se incorporan a la forma dbil de la ED, mientras que la CFE son esenciales en el
sentido de que sin ellas el problema no tendra solucin. En general para problemas de orden par 2p, las CFN
sern las que tengan derivadas 2p-1, 2p-2, ..., p. Todas las dems sern CFE. Para problemas de orden impar
2p-1, las CFN PUEDEN SER aquellas que contengan derivadas de orden 2p-2, 2p-3, ..., p-1. En este ltimo
caso se descarta el caso en el que 2p-1 es 1. Mientras que las CFE PUEDEN SER todas las dems. En reali-
dad, para problemas de orden impar las diferencia entre CFN y CFE no es clara para los rdenes compar-
tidos en la regla.
II) Construir una solucin admisible.
1. Comenzar con una solucin supuesta con algunos parmetros desconocidos y suficientes trminos tal que
sea posible evaluar la ecuacin del error acumulado.- Puede asumirse cualquier tipo de funcin como sulucin
(funciones trascendentes, trigonomtricas, hiperblicas, etc.); sin embargo, las funciones polinomiales son fcilmente
diferenciables e integrables y, por ellos, brindan de muchas ventajas. Se debe iniciar con un polinomio de grado
adecuado.
u(x) = a
0
+ a
1
x + a
2
x
2
+ a
3
x
3
+ ...
2. Fijar algunos de los parmetros desconocidos de manera que las condiciones de frontera esenciales se
satisfagan.- Sustituir las CFE y calcular los parmetros que sea posible. Si no existen CFE, entonces la solucin ya
es una solucin admisible y se puede continuar con el procedimiento. Sustituir los parmetros determinados en la
solucin supuesta.

III) Establecer las ecuaciones y resolver los parmetros desconocidos.
1. Determinar un conjunto de funciones ponderadas diferenciando la solucin admisible respecto de los
parmetros desconocidos (a
i
)
2. Construir un sistema de ecuaciones sustituyendo cada funcin ponderada en la forma dbil
3. Resolver el sistema de ecuaciones resultante para los parmetros desconocidos restantes
IV) Solucin Aproximada
1. Sustituir los parmetros calculados (a
i
) en la solucin admisible para obtener la solucin aproximada
2. Determinar la calidad de la solucin sustituyndola tanto en la ED y en las CFN para ver qu tan bien las
satisface
Mtodo
Dado un problema BVP, el procedimiento para obtener una solucin aproximada u(x) usando el mtodo de Galerkin
es el siguiente:
I) Construir la forma dbil de la ED (paso comn para el cual no importa el tipo de solucin que se vaya a proponer)
1. Generar la ecuacin de error.- Partir de una ED igualada a cero. Si se sustituye una solucin aproximada
de dicha ecuacin, se producir un error y, por lo tanto, la ED evaluada con dicha solucin aproximada no se igualar
con cero. Por lo tanto, lo que se obtiene es una funcin de error e(x).
2. Definir el error total ponderado.- Si la funcin de error e(x) se integra en el dominio se obtiene el error
acumulado. Sin embargo, dicho error acumulado puede ser positivo para unos segmentos del domino y negativo para
otros. Por lo anterior, el error acumulado total obtenido por integracin directa puede no representar la realidad pues
estara sumando cantidades negativas y positivas, provocando as que el error se cancele. En el mtodo de los
mnimos cuadrados se aborda esta cuestin realizando la integracin del cuadrado de la funcin de error
(
]
xi
xf
e(x)
2
dx). El mtodo de Galerkin utiliza un artilugio ms sofisticado: multiplica el error por una funcin de pon-
deracin w
i
, as el error total ponderado es
]
xi
xf
w
i
e(x) dx. Las funciones de ponderacin estn definidas por:
w
i
[x] =
o u
o a
i
, donde los a
i
son parmetros desconocidos de la solucin
3. Aplicar integracin por partes para incorporar las condiciones de frontera naturales (CFN).- Para problemas
de 2 orden, todos los trminos que incluyen derivadas de orden 2 son integradas por partes una vez. As, en el
resultado, el mximo orden de derivacin ser 1. Para problemas de 4orden la integracin por partes se aplica dos
veces en los trminos de 4 orden y una sola vez en los que involucran derivadas de 3 orden. En este caso, el
mximo orden de derivacin resultante es 2.
En general para problemas de orden par 2p, se aplica integracin por partes p veces. Para problemas
de orden impar 2p-1, se aplica integracin por partes p veces.
4. Identificar condiciones de frontera esenciales (CFE) y naturales.- Para problemas de 2 orden las condi-
ciones de frontera que contienen primeras derivadas sern CFN. Para problemas de orden 4 sern CFN aquellas
que involucren derivadas de 2 y 3 orden. Todos las dems sern CFE. Reciben su nombre de CFN debido a que
de manera narutal o automtica se incorporan a la forma dbil de la ED, mientras que la CFE son esenciales en el
sentido de que sin ellas el problema no tendra solucin. En general para problemas de orden par 2p, las CFN
sern las que tengan derivadas 2p-1, 2p-2, ..., p. Todas las dems sern CFE. Para problemas de orden impar
2p-1, las CFN PUEDEN SER aquellas que contengan derivadas de orden 2p-2, 2p-3, ..., p-1. En este ltimo
caso se descarta el caso en el que 2p-1 es 1. Mientras que las CFE PUEDEN SER todas las dems. En reali-
dad, para problemas de orden impar las diferencia entre CFN y CFE no es clara para los rdenes compar-
tidos en la regla.
II) Construir una solucin admisible.
1. Comenzar con una solucin supuesta con algunos parmetros desconocidos y suficientes trminos tal que
sea posible evaluar la ecuacin del error acumulado.- Puede asumirse cualquier tipo de funcin como sulucin
(funciones trascendentes, trigonomtricas, hiperblicas, etc.); sin embargo, las funciones polinomiales son fcilmente
diferenciables e integrables y, por ellos, brindan de muchas ventajas. Se debe iniciar con un polinomio de grado
adecuado.
u(x) = a
0
+ a
1
x + a
2
x
2
+ a
3
x
3
+ ...
2. Fijar algunos de los parmetros desconocidos de manera que las condiciones de frontera esenciales se
satisfagan.- Sustituir las CFE y calcular los parmetros que sea posible. Si no existen CFE, entonces la solucin ya
es una solucin admisible y se puede continuar con el procedimiento. Sustituir los parmetros determinados en la
solucin supuesta.

III) Establecer las ecuaciones y resolver los parmetros desconocidos.
1. Determinar un conjunto de funciones ponderadas diferenciando la solucin admisible respecto de los
parmetros desconocidos (a
i
)
2. Construir un sistema de ecuaciones sustituyendo cada funcin ponderada en la forma dbil
3. Resolver el sistema de ecuaciones resultante para los parmetros desconocidos restantes
IV) Solucin Aproximada
1. Sustituir los parmetros calculados (a
i
) en la solucin admisible para obtener la solucin aproximada
2. Determinar la calidad de la solucin sustituyndola tanto en la ED y en las CFN para ver qu tan bien las
satisface
Ejemplo.- Ecuacin de 2orden. Encontrar la solucin aproximada del siguiente problema 1DBVP
x
2
u
e

x 2 x u
e

x x 1; 1 x 2
con CF: u
e
1 2, u
e

2 2 u
e
2 5, u
e
Solucin Exacta
Solucin Exacta
Expand]
DSolve]]x
2
u

[x] 2 x u

[x] x 1 0, u[1] 2, u

[2] 2 u[2] 5), u[x], x // N

ux 2.99096
0.490965
x
0.5 x Logx
2 MetodoGalerkin1.nb
SOLUCIN POR EL MTODO DE GALERKIN
I) Construir la forma dbil de la ED
1. Generar la ecuacin de error
e[x] = x
2
u

[x] + 2 x u

[x] + x 1;
2. Definir el error total ponderado
_
1
2
w
i
[x] x
2
u

[x] + 2 x w
i
[x] u

[x] + x w
i
[x] w
i
[x] dx
3. Aplicar integracin por partes para incorporar las CFN. El primer trmino de la integral es el que se debe integrar
pues su orden es 2
_
1
2
w
i
[x] x
2
u

[x] dx = 4 w
i
[2] u

[2] w
i
[1] u

[1] +
_
1
2
x u

[x] |2 w
i
[x] + x w
i

[x]] dx
Por lo tanto el error total ponderado es:
4 w
i
[2] u

[2] w
i
[1] u

[1] +
_
1
2
| (x 1) w
i
[x] x
2
u

[x] w
i

[x] ] dx
4. Identificar condiciones de frontera e incorporar las CFN
De los trminos fuera de la integral :
4 w
i
[2] u

[2] w
i
[1] u

[1];
Dada la CFN:
u

[2] = 5 2 u[2];
se observa que se incorpora naturalmente al trmino
Dada la CFE :
u[1] 2 = 0;
considerando que : w
i
[x] =
o u
o a
i
;
w
i
[1] = 0;
As, el trmino fuera de la integral queda como :
4 (5 2 u[2]) w
i
[2]
De esta manera, la forma dbil del problema es :
4 (5 2 u[2]) w
i
[2] +
_
1
2
| (x 1) w
i
[x] x
2
u

[x] w
i

[x] ] dx = 0; y CFE u[1] 2 = 0;

MetodoGalerkin1.nb 3
SOLUCIN CUADRTICA
II) Construir una solucin admisible.
1. Comenzar con una solucin supuesta con algunos parmetros desconocidos
Se asume una solucin polinomial cuadrtica : u[x] = a
0
+ a
1
x + a
2
x
2
2. Fijar algunos de los parmetros desconocidos de manera que las CFE se satisfagan
Considerando la CFE u[1] 2 = 0, se obtiene a
0
= 2 a
1
a
2
;
Por lo tanto, la solucin supuesta es : u[x] = a
1
x + a
2
x
2
+2 a
1
a
2
III) Establecer las ecuaciones y resolver los parmetros desconocidos.
1. Determinar un conjunto de funciones ponderadas diferenciando
la solucin admisible respecto de los parmetros desconocidos (a
i
)
i = 1;
w
1
[x] =
o u
o a
1
= x 1;
Sustituyendo en la forma dbil
4 (5 2 (2 + a
1
+ 3 a
2
)) 1 +
_
1
2
| (x 1) (x 1) x
2
(a
1
+ 2 x a
2
) 1 ] dx = 0;
Lo cual genera
1
3

7 a
1
3

15 a
2
2
+ 4 (5 2 (2 + a
1
+ 3 a
2
)) = 0;
i = 2;
w
2
[x] =
o u
o a
2
= x
2
1;
Sustituyendo en la forma dbil
4 (5 2 (2 + a
1
+ 3 a
2
)) 3 +
_
1
2
| (x 1) |x
2
1] x
2
(a
1
+ 2 x a
2
) (2 x )] dx = 0;
Lo cual genera
11
12

15 a
1
2

124 a
2
5
+ 12 (5 2 (2 + a
1
+ 3 a
2
)) = 0;
2. Construir un sistema de ecuaciones sustituyendo cada funcin ponderada en la forma dbil
El sistema de ecuaciones es
1
3

7 a
1
3

15 a
2
2
+ 4 (5 2 (2 + a
1
+ 3 a
2
)) = 0
11
12

15 a
1
2

124 a
2
5
+ 12 (5 2 (2 + a
1
+ 3 a
2
)) = 0
4 MetodoGalerkin1.nb
3. Resolver el sistema de ecuaciones resultante para los parmetros desconocidos restantes
Cuya solucin es
Solve_
{
1
3

7 a
1
3

15 a
2
2
+ 4 (5 2 (2 + a
1
+ 3 a
2
)) == 0,
11
12

15 a
1
2

124 a
2
5
+ 12 (5 2 (2 + a
1
+ 3 a
2
)) == 0, a
1
, a
2

{{a
1

1511
962
, a
2

545
1443

IV) Solucin Aproximada

1. Sustituir los parmetros calculados (a
i
) en
la solucin admisible para obtener la solucin aproximada
u[x] = Factor_a
1
x + a
2
x
2
+2 a
1
a
2
f. a
1

1511
962
f. a
2

545
1443

2329 + 4533 x 1090 x

2
2886
SOLUCIN CBICA
II) Construir una solucin admisible.
1. Comenzar con una solucin supuesta con algunos parmetros desconocidos
Se asume una solucin polinomial cuadrtica : u[x] = a
0
+ a
1
x + a
2
x
2
+ a
3
x
3
2. Fijar algunos de los parmetros desconocidos de manera que las CFE se satisfagan
Considerando la CFE u[1] 2 = 0, se obtiene a
0
= 2 a
1
a
2
a
3
;
Por lo tanto, la solucin supuesta es : u[x] = a
1
x + a
2
x
2
+ a
3
x
3
+2 a
1
a
2
a
3
III) Establecer las ecuaciones y resolver los parmetros desconocidos.
1. Determinar un conjunto de funciones ponderadas diferenciando
la solucin admisible respecto de los parmetros desconocidos (a
i
)
i = 1;
w
1
[x] =
o u
o a
1
= x 1;
Sustituyendo en la forma dbil
4 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) 1 +
_
1
2
| (x 1) (x 1) x
2
|a
1
+ 2 x a
2
+ 3 x
2
a
3
] 1 ] dx = 0;
Lo cual genera
MetodoGalerkin1.nb 5
1
3

7 a
1
3

15 a
2
2

93 a
3
5
+ 4 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) = 0;
i = 2;
w
2
[x] =
o u
o a
2
= x
2
1;
Sustituyendo en la forma dbil
4 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) 3 +
_
1
2
| (x 1) |x
2
1] x
2
|a
1
+ 2 x a
2
+ 3 x
2
a
3
] 2 x ] dx = 0;
Lo cual genera
11
12

15 a
1
2

124 a
2
5
63 a
3
+ 12 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) = 0;
i = 3
w
3
[x] =
o u
o a
3
= x
3
1;
Sustituyendo en la forma dbil
4 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) 7 +
_
1
2
| (x 1) |x
3
1] x
2
|a
1
+ 2 x a
2
+ 3 x
2
a
3
] 3 x
2
] dx
Lo cual genera
39
20

93 a
1
5
63 a
2

1143 a
3
7
+ 28 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) = 0;
2. Construir un sistema de ecuaciones sustituyendo cada funcin ponderada en la forma dbil
El sistema de ecuaciones es
1
3

7 a
1
3

15 a
2
2

93 a
3
5
+ 4 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) = 0;
11
12

15 a
1
2

124 a
2
5
63 a
3
+ 12 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) = 0;
39
20

93 a
1
5
63 a
2

1143 a
3
7
+ 28 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) = 0;
3. Resolver el sistema de ecuaciones resultante para los parmetros desconocidos restantes
Cuya solucin es
Solve_{
1
3

7 a
1
3

15 a
2
2

93 a
3
5
+ 4 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) == 0,
11
12

15 a
1
2

124 a
2
5
63 a
3
+ 12 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) == 0,
39
20

93 a
1
5
63 a
2

1143 a
3
7
+ 28 (5 2 (2 + a
1
+ 3 a
2
+ 7 a
3
)) =0, a
1
, a
2
, a
3

{{a
1

26897
8951
, a
2

72035
53706
, a
3

7455
35804

6 MetodoGalerkin1.nb
IV) Solucin Aproximada
1. Sustituir los parmetros calculados (a
i
) en
la solucin admisible para obtener la solucin aproximada
u[x] = Factor_a
1
x + a
2
x
2
+ a
3
x
3
+2 a
1
a
2
a
3
f. a
1

26897
8951
f. a
2

72035
53706
f. a
3

7455
35804

13765 + 322764 x 144070 x

2
+ 22365 x
3
107412
GRAFICO COMPARATIVO DE LAS SOLUCIONES EXACTA, CUADRTICA Y
CBICA
Show_Plot_
1
10 x
[16 41 x 5 x
2
16 Log[2] 16 x Log[2] 10 x Log[x]|, {x, 1, 2},
PlotStyle {RGBColor[1, 1, 1], Dashing[{.05, .05}], Thickness[0.005]},
DisplayFunction Identity_, Plot_
2329 4533 x 1090 x
2
2886
, {x, 1, 2},
PlotStyle RGBColor[1, 0, 0], DisplayFunction Identity_,
Plot][13765 322764 x 144070 x
2
22365 x
3
| / 107412, {x, 1, 2},
PlotStyle RGBColor[0, 0, 1], DisplayFunction Identity,
DisplayFunction $DisplayFunction_
1.2 1.4 1.6 1.8 2.0
2.1
2.2
2.3
2.4
MetodoGalerkin1.nb 7