Captulo IV

Solucin de Ecuaciones Diferenciales

Parciales Elpticas
4.1

Clasificacin de las Ecuaciones Diferenciales Parciales

Las ecuaciones diferenciales parciales (EDPs) de segundo orden se pueden
clasificar en tres tipos: Elpticas, Parablicas e Hiperblicas. Para distinguir dichos
tipos de EDPs, consideremos la siguiente forma general de una ecuacin
diferencial parcial lineal de segundo orden de dos variables:
A

2
2

2
+
B
+
C
+D
+E
+ F + G = 0
2
2
xy
x
y
x
y

(68)

donde = (x, y ) es la funcin o variable dependiente; x e y son las variables

independientes; A, B, C, D, E, F y G son funciones dadas de x, y. representa
el dominio.
La ecuacin anterior ser de uno de los tres tipos, si cumple con una de las
condiciones siguientes:
Elptica, si ( B 2 4 AC ) < 0 : No existe direccin caracterstica en
Parablica, si ( B 2 4 AC ) = 0 : Existe 1 direccin caracterstica en
Hiperblica, si ( B 2 4 AC ) > 0 : Existen 2 direcciones caractersticas en

38 V. Yzocupe (Mayo 2015)

NOMBRE
MATEMATICO

Elptico

ECUACION

Parablico

=0
x 2 y 2

= (x , y )
x 2 y 2

2
= 2
t
x

es constante

Hiperblico

OTROS
NOMBRES

Equilibrio o estado
estacionario,
Conduccin de calor
estacionario en
slidos,
Distribucin del
potencial elctrico,
Flujo potencial.

Ecuacin de Laplace

Difusin de partculas,
Conduccin de calor,
Flujo en medios
porosos.

Ecuacin de Fourier
o Difusin pura

2
2
2
=
C
t 2
x 2

Ondas elsticas,
acsticas y
electromagnticas.

+k
=0
t
x

Propagacin,
Transporte convectivo
de la materia.

C, k son constantes

4.2

PROBLEMAS
DESCRITOS

Ecuacin de Poisson

Ecuacin de onda

Ecuacin de
adveccin pura

Ecuaciones Diferenciales Parciales Elpticas

Las EDP elpticas aparecen en problemas estacionarios de dos y tres dimensiones.
Entre los problemas elpticos tpicos estn la conduccin de calor en slidos, la
difusin de partculas y la vibracin de membranas. Otra aplicacin en
hidrodinmica, es el problema del flujo potencial.
Las ecuaciones elpticas requieren condiciones de frontera especificadas en todas
las fronteras de una regin de la superficie solucin, aunque tales fronteras
puedan ser cerradas al infinito. Estos datos de frontera pueden consistir de
valores de la funcin (tipo Dirichlet), de su derivada normal (tipo Neumann), o de
una combinacin de ambos (tipo Cauchy). La frontera debe envolver
completamente la regin solucin, an si una frontera esta localizada en el
infinito. Las discontinuidades u otras perturbaciones en la frontera desaparecen
rpidamente porque no logran propagarse con fuerza hacia el interior de la
solucin.
Las EDP elpticas se pueden escribir en la siguiente forma general:
p( x , y ) ( x , y ) + q( x , y ) ( x , y ) = S( x , y )

(69)

donde p, q y S son funciones dadas y q 0 . Cuando p = 1 y q = 0, la ecuacin

(69) se transforma en la ecuacin de Poisson o Laplace:

Solucin de Ecuaciones Diferenciales Parciales 39

Ecuacin de Poisson: 2 ( x , y ) = S( x , y )
Ecuacin de Laplace:

2 ( x , y ) = 0

(70)

Una EDP elptica puede contener derivadas de primer orden, como:

p + u( x , y )

+ v( x , y ) + q = S
x
y

(71)

donde u y v son funciones dadas. En dinmica de fluidos, u y v se conocen como

los trminos advectivos. Si stos dominan al primer trmino, la ecuacin tiene un
comportamiento ms parecido al de una EDP hiperblica.
Los mtodos de solucin numrica para las EDP elpticas se pueden clasificar en
dos categoras: a) mtodo de diferencias finitas y b) mtodo de elementos finitos.
El primero se aplica a una malla rectangular y tiene la ventaja que se dispone de
numerosas tcnicas de solucin. La ventaja del segundo es que puede adaptarse
mejor a los contornos de geometras curvas o irregulares.
4.3

Solucin de una EDP Elptica para Geometras Rectangulares

En esta seccin obtendremos las ecuaciones en diferencias finitas para la ecuacin
general de Poisson en coordenadas cartesianas rectangulares:
2 ( x , y )

2 ( x , y )

(72)

= S( x , y )
x 2
y 2
donde S( x , y ) es una funcin dada, la cual recibe el nombre de trmino no
homogneo o trmino fuente. El dominio estar definido por: 0 x x max ,

0 y y max .

Figura 7. Dominio rectangular y grilla de clculo

Con las siguientes condiciones de frontera:

40 V. Yzocupe (Mayo 2015)

= 0 ( tipo Neumann )
x
Frontera derecha: = 0 ( tipo Dirichlet )

Frontera inferior:
= 0 ( tipo Neumann )
y
Frontera superior: = 0 ( tipo Dirichlet )

Frontera izquierda:

(73)

Para obtener las ecuaciones en diferencias finitas, se establece una grilla regular
dentro de las fronteras del dominio, con intervalos espaciados de manera
uniforme, como lo muestra la figura 7. El tamao de los intervalos espaciales en
las direcciones x e y se denotan como x y y , respectivamente. Los nodos de
la grilla se identifican mediante los ndices i, j; donde el ndice i se utiliza para la
coordenada x, y el ndice j para la coordenada y.
4.3.1 Algoritmo para los Nodos situados dentro de la Frontera

Figura 8. Nodo interior

Los nodos (i, j) de la grilla situados dentro de la frontera estn rodeados por
otros cuatro nodos, de los cuales pueden obtener informacin. Por lo tanto
es factible de aproximar, mediante una diferencia finita central, los dos
trminos de la ecuacin (72):
2 i 1, j 2i , j + i +1, j

x 2
x 2

(74)

2 i , j 1 2i , j + i , j +1

y 2
y 2

(75)

Luego, sustituimos las ecuaciones (74) y (75) en la ecuacin (72) para

obtener:

i 1, j 2i , j + i +1, j
2

x
Finalmente, el algoritmo ser:

i , j 1 2i , j + i , j +1
y 2

= Si , j

( xy )2 i , j + 1 + i 1, j 2i , j 1 + ( xy )2 + i + 1, j + ( xy )2 i , j 1 = x 2Si , j

(76)

(77)

Los nodos (i, j) de la grilla localizados en las fronteras requieren un tratamiento

especial debido a que el nmero de nodos vecinos es menor de cuatro, y adems
deben tomar en cuenta la informacin proporcionada por las condiciones de
frontera dadas. Para este caso en particular, no se necesitan establecer las

Solucin de Ecuaciones Diferenciales Parciales 41

ecuaciones en diferencias finitas para los nodos de las fronteras derecha y

superior, porque los valores de son conocidos: = 0 .
4.3.2 Algoritmo para los Nodos situados en la Frontera Inferior

Figura 9. Nodo fronterizo inferior

Los nodos (i, j) de la grilla situados en la frontera inferior estn rodeados
solamente por otros tres nodos y el ndice i est en el rango 1 < i < imax . El
primer trmino de la ecuacin (72) se puede aproximar mediante una
diferencia finita central para j = 1 :

2i ,1 + i +1,1
2
i 1,1
2
x i ,1
x 2

(78)

Mientras que el segundo trmino de la ecuacin (72) lo aproximamos por:

2
=
y 2 i ,1

( )

( )

y
y i ,1 + 1
i ,1
2
y

(79)

El primer trmino de la ecuacin (79) lo aproximamos por una diferencia

finita central:
i ,1

i ,2

(80)
y i ,1 + 1
y
2

La condicin de frontera inferior dada en las ecuaciones (73),

= 0 , anula

el segundo trmino de la ecuacin (79), por lo que sta se transforma en:

2 2
2
= i , 2 2 i ,1
2
y i ,1
y

(81)

Luego, sustituimos las ecuaciones (78) y (81) en la ecuacin (72) para

obtener:

i 1,1 2i ,1 + i + 1,1
x

2i , 2 2i ,1

y 2

= Si ,1

(82)

Finalmente, el algoritmo ser:

2 ( xy )2 i , 2 + i 1,1 2i ,1 1 + ( xy )2 + i + 1,1 = x 2 Si ,1

(83)

42 V. Yzocupe (Mayo 2015)

4.3.3 Algoritmo para los Nodos situados en la Frontera Izquierda

Figura 10. Nodo fronterizo lateral

Los nodos (i, j) de la grilla situados en la frontera lateral izquierda estn
rodeados tambin por solamente tres nodos y el ndice j est en el rango
1 < j < jmax . El segundo trmino de la ecuacin (72) se puede aproximar
mediante una diferencia finita central para i = 1 :

1, j 1 21, j + 1, j +1
2

y 2
y 2 1, j

(84)

Mientras que el primer trmino de la ecuacin (72) lo aproximamos por:

2
=
x 2 1, j

( )

( )

x 1, j
x 1 + 1 , j
2
x

(85)

El primer trmino de la ecuacin (85) lo aproximamos por una diferencia

finita central:

2 , j 1 , j

x 1+ 1 , j
x

(86)

La condicin de frontera izquierda dada en las ecuaciones (73),

=0 ,

anula el segundo trmino de la ecuacin (85), por lo que sta se transforma

en:
22 , j 21, j
2
(87)
=
2
x 1, j
x 2
Luego, sustituimos las ecuaciones (84) y (87) en la ecuacin (72) para
obtener:

2 2 , j 21, j

1, j 1 21, j + 1, j +1
y

= S1, j

(88)

Finalmente, el algoritmo ser:

( xy )2 1, j + 1 21, j 1 + ( xy )2 + 22 , j + ( xy )2 1, j 1 = x 2 S1, j

(89)

Solucin de Ecuaciones Diferenciales Parciales 43

4.3.4 Algoritmo para el Nodo situado en la Esquina Inferior Izquierda

Figura 11. Nodo en esquina

El nodo de la grilla situado en la esquina inferior izquierda con i = j = 1 , est
rodeada solamente por dos nodos. Por lo que el primer trmino de la
ecuacin (72) se puede aproximar mediante la ecuacin (87) para j = 1 :
2 2
2
= 2 ,1 2 1,1
2
x 1,1
x

(90)

Mientras que el segundo trmino de la ecuacin (72) lo aproximamos

mediante la ecuacin (81) para i = 1 :
2 2
2
= 1, 2 2 1,1
2
y 1,1
y

(91)

Luego, sustituimos las ecuaciones (90) y (91) en la ecuacin (72) para

obtener:

22 ,1 21,1

21, 2 21,1

= S1,1

(92)

Finalmente, el algoritmo ser:

2 ( xy )2 1, 2 2 1,1[1 + ( xy )2 ] + 22 ,1 = x 2 S1,1

4.4

Generacin
del
Ecuaciones Lineales

Sistema

de

Para ilustrar la generacin del sistema

de ecuaciones lineales, podemos
particularizar la aplicacin al caso en
el
que
y
1 i 4 , 1 j 4
x = y = h .

Figura 12. Grilla de clculo

(93)

44 V. Yzocupe (Mayo 2015)

El conjunto de algoritmos (77), (83), (89) y (93) sern aplicados a todos los nodos
de la grilla, excepto a los que se ubican en las fronteras derecha y superior, donde
tiene valores conocidos por las condiciones de frontera dadas. Los ndices (i , j ) ,
variarn segn el siguiente orden [(i = 1, 2 ,3 ), j = 1, 2 ,3] , produciendo las
siguientes nueve ecuaciones algebraicas lineales:
(94)
41,1

+2 2 ,1

+21, 2

1 , 1

4 2 ,1

+ 3 ,1

2 ,1

4 3 ,1

1 , 1
2 ,1

= h 2 S1,1
+ 2 2 , 2

= h 2 S 2 ,1
+ 2 3 , 2

41, 2

+ 2 2 , 2

+ 1 , 2

4 2 , 2

+ 3, 2

+ 2,2

4 3 , 2

3 ,1

= h 2 S3 , 1
= h 2 S1, 2

+ 1 , 3

1 , 2
2,2
3, 2

= h 2 S2 , 2

+ 2 ,3
+ 3,3

= h 2 S3 , 2
= h 2 S1, 3

41, 3

+ 2 2 , 3

+ 1 , 3

4 2 , 3

+ 3,3

+ 2 ,3

4 3 , 3

= h 2 S2 , 3
= h 2 S3 , 3

o en forma matricial, [A ]{ } = [b ] :
1,1
h 2 S1,1
2
4 2

2 ,1
h 2 S2 , 1
2
1 4 1

h
S
1
4
2

3
,
1

3 ,1

1, 2
h S1, 2
1
4 2
1

1
1 4 1
1
2 , 2 = h S2 , 2

1
1 4
1
h S3 , 2
3 , 2

h
S
1
4
2

1
,
3

1, 3
2

1
1 4 1
h S2 , 3
2 , 3

h S3 , 3
1
1 4

n x n 3 , 3 n
n

(95)

Todos los elementos de la matriz de la ecuacin (95) son cero, excepto los
elementos de las cinco diagonales. A esta matriz de forma especial se le llama
matriz pentadiagonal.

Solucin de Ecuaciones Diferenciales Parciales 45

4.5

Ejemplo de Solucin de EDP Elptica

Calcular y dibujar las lneas de flujo para un canal con un pilar de seccin
rectangular. El patrn del flujo potencial se asume que es simtrico respecto a los
ejes x e y; as que solamente es necesario calcular la regin ABCDEF. El flujo a
travs de la seccin AB es uniforme con una velocidad igual a 1 m/s,
( x = y = 0.5 m ).

= 0 en AFED, = 4 en BC, = Uy en AB, x = 0 en CD .

V(u, v)

u=
y

v=

Solucin:
El flujo dentro de la regin delimitada ABCDEFA es potencial, la cual se gobierna
por la ecuacin de Laplace:
2
2
+
=0
x
y

(97)

Con las siguientes condiciones de frontera:

Frontera izquierda: = Uy (tipo Dirichlet)

Frontera derecha:
= 0 (tipo Neumann)

(98)

Frontera inferior: = 0 (tipo Dirichlet)

Frontera superior: = 4 (tipo Dirichlet)
Para resolver la ecuacin (97) mediante el mtodo de diferencias finitas,
establecemos un grillado regular dentro del dominio ABCDEFA, con
x = y = 0.5 m , lo que produce los siguientes rangos para los subndices:
1 i imax =13 y 1 j jmax = 9 , como lo muestra la figura:

46 V. Yzocupe (Mayo 2015)

4.5.1 Algoritmo para los Nodos internos

El algoritmo para calcular las incgnitas en los nodos (i, j) situados dentro de
la frontera se deduce de la siguiente manera: Mediante diferencias finitas
centrales se reemplazan los dos trminos de la ecuacin (97):
2 i 1, j 2 i , j + i +1, j

x 2
x 2

(99)

2 i , j 1 2 i , j + i , j +1

y 2
y 2

i 1, j 2 i , j + i +1, j
x 2

i , j 1 2 i , j + i , j +1
y 2

=0

Finalmente, con r = ( x y ) 2 , el algoritmo es:

r i , j +1 + i 1, j 2[1 + r] i , j + i +1, j + r i , j 1 = 0

(100)

Los nodos (i, j) de la grilla localizados en las fronteras requieren un

tratamiento especial debido a que el nmero de nodos vecinos es menor de
cuatro. Adems deben tomarse en cuenta la informacin proporcionada por
las condiciones de frontera. Para el problema planteado, no se necesitan
establecer las ecuaciones en diferencias finitas para los nodos de las
fronteras izquierda, inferior y superior, porque los valores de son
conocidos.
4.5.2 Algoritmo para la Frontera Derecha
Los nodos (i, j) de la grilla situados en la frontera lateral derecha estn
rodeados solamente por tres nodos y el ndice j est en el rango
5 < j < j max . El segundo trmino de la ecuacin (97) lo aproximamos

Solucin de Ecuaciones Diferenciales Parciales 47

mediante una diferencia finita central para i = i max :

2
y 2

i max, j 1 2 i max, j + i max, j +1

y 2
i max, j

(101)

Mientras que el primer trmino de la ecuacin (97) se puede aproximar por:

2
=

x 2 i max, j

()

x i max, j

()

x i max 1 , j
2

(102)

x
2

La condicin de frontera derecha dada en las ecuaciones (98),

=0 ,

anula el primer trmino de la ecuacin anterior; mientras que el segundo

trmino se puede aproximar por una diferencia finita central:

i max, j i max 1, j

x i max 1 , j
x
2
Por lo que la ecuacin (102) se transforma en:
2 i max 1, j 2 i max, j
2
=

x 2 i max, j
x 2

(103)

Luego, sustituimos las ecuaciones (101) y (103) en la ecuacin (97) para

obtener:
2 i max 1, j 2 i max, j

x 2

i max, j 1 2 i max, j + i max, j +1

y 2

=0

Finalmente, el algoritmo ser:

r i max, j +1 + 2 i max 1, j 2[1 + r] i max, j + r i max, j 1 = 0

(104)

Luego, el conjunto de ecuaciones algebraicas se forma por las condiciones de

frontera y por la aplicacin del algoritmo (100) para i=2,,12, j=2,,8. Las
ecuaciones obtenidas pasan a formar parte del sistema matricial A =b, el cual
fue solucionado mediante el mtodo de eliminacin de Gauss, obtenindose el
vector solucin, . Dicho procedimiento se muestra en el programa de cmputo
siguiente:

48 V. Yzocupe (Mayo 2015)

! Programa que soluciona la ecuacin de Laplace para flujo potencial

! en un canal con una obstruccin de seccin rectangular
Program potencial
real coef(1:200,1:200),vctb(1:200)
real A(200,200),x(200),b(200),xaux(200)
real*8 suma,r,dx,dy
integer i,j,k,l,m,imax,jmax,jmp,nn
! Abre archivo de salida
open (2,file='potencial.out')
open (3,file='potencial1.dat')
open (4,file='potencial2.dat')
! Establece valores de parametros
xlt = 6; ylt = 4;
xlp = 1; ylp = 2
dx = 0.5; dy = 0.5
imax = xlt/dx + 1; jmax = ylt/dy + 1; nn = imax*jmax
imp = xlp/dx;
jmp = ylp/dy + 1
! Limpia la matriz de coeficientes y el vector de residuos
coef = 0
vctb = 0
! Coloca los coeficientes de frontera inferior
do i=1,imax
coef(i,i) = 1
vctb(i) = 0
enddo
! Coloca los coeficientes de frontera izquierda
do j=2,jmax
k = (j-1)*imax + 1
coef(k,k) = 1
vctb(k) = (j-1)*dy
enddo
! Coloca los coeficientes de frontera superior
do i=2,imax
k = (jmax-1)*imax + i
coef(k,k) = 1
vctb(k) = (jmax-1)*dy
enddo
! Coloca los coeficientes de frontera derecha (fi=0)
do j=2,jmp
k = j*imax
coef(k,k) = 1
vctb(k) = 0

Solucin de Ecuaciones Diferenciales Parciales 49

enddo
! Coloca los coeficientes de frontera derecha (dfi/dx=0)
do j=jmp+1,jmax-1
k = j*imax
coef(k,k-imax) = 1
coef(k,k-1) = 2
coef(k,k) = -4
coef(k,k+imax) = 1
vctb(k) = 0
enddo
! Coloca los coeficientes de los nodos internos
do j=2,jmax-1
do i=2,imax-1
k = (j-1)*imax + i
coef(k,k-imax) = 1
coef(k,k-1) = 1
coef(k,k)
= -4
coef(k,k+1) = 1
coef(k,k+imax) = 1
vctb(k) = 0
enddo
enddo
! Coloca los coeficientes de los nodos especiales
! donde esta ubicado el pilar rectangular
do l=jmp,2,-1
do m=1,imp
do j=1,nn
coef(l*imax-m,j) = 0
enddo
coef(l*imax-m,l*imax-m) = 1
vctb(l*imax-m) = 0
enddo
enddo
! Transfiere los coeficientes a la matriz A y vector B
do i=1,nn
do j=1,nn
A(i,j) = coef(i,j)
enddo
b(i) = vctb(i)
enddo
!
!
!
!
!

Imprime la matriz de coeficientes y el vector de residuos

write (2,20)
do i=1,nn
write (2,21) ( coef(i,j),j=1,nn), vctb(i)
enddo

50 V. Yzocupe (Mayo 2015)

! Realiza la solucin por el mtodo de Gauss

do i=1,nn-1
do k=i+1,nn
if( A(k,i)==0.) cycle
r = A(k,i)/A(i,i)
do j=1,nn
A(k,j) = A(k,j) - r*A(i,j)
enddo
b(k) = b(k) - r*b(i)
enddo
enddo
do i=nn,1,-1
suma = 0.
do j=i+1,nn
suma = suma + A(i,j)*x(j)
enddo
x(i) = ( b(i)-suma )/A(i,i)
enddo
! Imprime la solucin en forma ordenada
! desde la frontera superior hacia la inferior
write (2,23)
do j=jmax,1,-1
k = (j-1)*imax
do i=1,imax
xaux(i) = x(k+i)
enddo
write (2,26) (xaux(i),i=1,imax )
enddo
! Imprime la solucin del primer cuadrante para graficarse en Surfer
do j=jmax,1,-1
k = (j-1)*imax
do i=1,imax
write (3,27) (i-1)/2.,(j-1)/2.,x(k+i)
enddo
enddo
! Imprime la solucin de todos los cuadrantes para graficarse en Surfer
do j=jmax,1,-1
k = (j-1)*imax
do i=1,imax
write (4,27) (i-1)/2.,(j-1)/2.,x(k+i)
enddo
do i=imax-1,1,-1
write (4,27) (xlt-(i-1)/2.)+xlt,(j-1)/2.,x(k+i)
enddo
enddo

Solucin de Ecuaciones Diferenciales Parciales 51

do j=2,jmax
k = (j-1)*imax
do i=1,imax
write (4,27) (i-1)/2.,-(j-1)/2.,-x(k+i)
enddo
do i=imax-1,1,-1
write (4,27) (xlt-(i-1)/2.)+xlt,-(j-1)/2.,-x(k+i)
enddo
enddo
20
21
23
26
27

format
format
format
format
format

(/15x,'Matriz A :',20x,'Vector b :'//)

(35f4.0,6x,f4.0)
(/10x,'Solucin de Flujo Potencial (Mtodo de Gauss):'/)
(20f8.2)
(3f8.2)

close (2)
close (3)
close (4)
stop
end
Solucin de Flujo Potencial (Mtodo de Gauss):
4.00

4.00

4.00

4.00

4.00

4.00

4.00

4.00

4.00

4.00

4.00

4.00

4.00

3.50

3.49

3.48

3.47

3.45

3.42

3.38

3.33

3.27

3.19

3.12

3.08

3.06

3.00

2.98

2.96

2.94

2.90

2.85

2.78

2.68

2.55

2.38

2.21

2.12

2.10

2.50

2.48

2.45

2.42

2.37

2.30

2.20

2.06

1.86

1.57

1.22

1.11

1.08

2.00

1.97

1.95

1.91

1.86

1.78

1.67

1.51

1.25

.83

.00

.00

.00

1.50

1.48

1.45

1.41

1.37

1.30

1.20

1.04

.82

.48

.00

.00

.00

1.00

.98

.96

.93

.90

.84

.77

.66

.50

.28

.00

.00

.00

.50

.49

.48

.46

.44

.42

.38

.32

.24

.13

.00

.00

.00

.00

.00

.00

.00

.00

.00

.00

.00

.00

.00

.00

.00

.00

52 V. Yzocupe (Mayo 2015)

4.0

3.5

3.0

Y (m)

2.5

2.0

1.5

1.0

0.5

0.0
0.0

0.5

1.0

1.5

2.0

2.5

3.0

3.5

4.0

4.5

5.0

5.5

6.0

X (m)

4.0
3.5
3.0
2.5
2.0
1.5

Y (m)

1.0
0.5
0.0
-0.5
-1.0
-1.5
-2.0
-2.5
-3.0
-3.5
-4.0
0.0

0.5

1.0

1.5

2.0

2.5

3.0

3.5

4.0

4.5

5.0

5.5

6.0

6.5

X (m)

7.0

7.5

8.0

8.5

9.0

9.5 10.0 10.5 11.0 11.5 12.0