Você está na página 1de 22

E cu a ci o n e s D i f e r e n ci a l e s d e O r d en Su p er i o r

Pa r t e V I I

L a I n teg r a l d e P o i s s o n
Ing. Ramn Abascal
Profesor Titular de Anlisis de Seales y Sistemas y Teora de los Circuitos II en la UTN, Facultad Regional Avellaneda Buenos Aires, Argentina 2006

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.3

7. La Integral de Poisson y el Problema de Dirichlet.


7.1 - El Problema de Dirichlet: El Problema de Dirichlet, de extensa aplicacin en el campo de la Fsica, consiste en hallar una funcin, armnica en el interior de un cierto dominio, y tal que satisfaga determinadas Condiciones de Contorno en la frontera del mismo. Por ejemplo, dado un cilindro metlico relleno de material dielctrico, nos permite conocer cual ser la distribucin del potencial en el dielctrico, expresada como una funcin armnica en coordenadas polares, u ( , ), al aplicar un determinado potencial en la superficie externa (Frontera), del cilindro, De manera similar, nos dir cmo se propaga el calor sobre una lmina conductora indefinida al existir en su borde una determinada temperatura. La solucin de tal problema puede asumir la forma de una serie indefinida de potencias, con lo cual obtenemos una solucin aproximada del problema, salvo en algunos casos en que la serie se limita a un nmero reducido de trminos. Pero tambin es posible hallar una solucin exacta, debida a Poisson, y que se conoce justamente como Integral de Poisson. Para hallar la expresin de la Integral de Poisson, partiremos del desarrollo en serie de una funcin analtica cuya parte real sea justamente la funcin armnica buscada.

7.2 - Desarrollo en Serie de Potencias de una funcin de variable compleja, expresada en coordenadas polares: Consideremos un dominio D, constituido por los puntos z interiores al mismo, incluidos los que pertenecen a su frontera , y que para distinguirlos vamos a denominar con la letra . Consideraremos asimismo una funcin f ( z ), analtica en el dominio, cuya parte real, que llamaremos u, ser en consecuencia la funcin armnica buscada. Expresadas en coordenadas polares, las variables z y respondern a las siguientes frmulas: zn = n ei n y n = Rn e i n z D R A x iy

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.4

La funcin f, en el punto frontera de coordenadas polares R y , est definida como: f ( ) = u ( R, ) + i v ( R, ) Para el punto z, dado que queremos establecer el valor de la funcin en el interior del dominio en relacin con el valor de la misma en los puntos frontera, y teniendo en cuenta la relacin: z n = n ei n = n e i n ( - ) Rn ei n Rn n podemos definirla como: f(z) = u( ,-) + iv( ,-) R R (7.1)

En caso que tomemos como referencia el punto A (ver la figura), y como escala el valor del radio R, es decir, = 0 y R = 1, la funcin en cualquier punto interior del dominio ser: f ( z ) = u ( , ) + i v ( , ) Si desarrollamos f ( z ) en serie de potencias, tenemos:

(7.2)

f(z) =

an z n

n=0

donde tanto los coeficientes como la funcin son complejos que expresaremos de la siguiente forma: a n = n + i n . y zn = R Reemplazando en la serie, obtenemos:

n n

e i n ( )

f(z) =

an z
n=0

( n
n=0

+ i n )

e i n ( )

Si desarrollamos la exponencial que aparece en el segundo miembro como suma de senos y cosenos, obtenemos

f(z) =

( n
n=0

+ i n )

[ cos n ( - ) + i sen n ( - )]

Ahora separaremos esta serie en otras dos, una que agrupe a todos los trminos reales y la otra a los imaginarios:

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.5

Re { f ( z ) } =

n=0

R R

( n cos n n sen n )

Im { f ( z ) } =

n=0

( n sen n + n cos n )

La parte real de f ( z ) es, segn la (7.1): Re { f ( z ) } = u ( Y por tanto u( ,-) = R n=0

,-) R R
n

[ n cos n ( - ) n sen n( - )]

Veremos a continuacin que conocida la parte real de f ( z ), es decir, u ( , ) es posible determinar los valores de los coeficientes n y n, lo que nos permitir definir completamente la serie. Para ello, en la ltima igualdad hagamos = R y = 0:

u ( 1, ) =

n cos n n sen n = u ( )

(7.3)

n=0

Recordemos la expresin trigonomtrica de la serie de Fourier:

f(t) =

a0 2

an cos n 0 t + bn sen n 0 t

n=1

Para comparar ambas series, y por semejanza, hallar frmulas que nos permitan calcular el valor de los coeficientes, pondremos 0 = 1. Al compararlas, deducimos que: 0 = a0 2 n = a n y n = - bn Es decir que podremos obtener los valores de n y de n utilizando las frmulas siguientes, equivalentess a las que corresponden al clculo de los coeficientes de la serie de Fourier:
2

1 0 = 2

u() d

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.6

n = a n = 1

u ( ) cos n d
2

n = - bn = - 1

u ( ) sen n d

Reemplacemos ahora estos coeficientes en la serie (7.3), para lo cual, la modificaremos previamente de la siguiente forma: Volveremos a multiplicar cada trmino por n, lo que obviamente no modifica el valor de los coeficientes, y adems extraemos el primer trmino, de orden 0, en ambas sumatorias. Ntese que en la sumatoria derecha el trmino de orden cero es nulo porque sen 0 = 0. Con todo esto queda finalmente: u ( , ) = 0 +

n=1

n n cos n n n sen n

(7.4)

u ( , ) representa la funcin buscada, desarrollada como una serie de potencias, y expresada en coordenadas polares. Ahora s reemplazaremos los coeficientes por sus respectivos valores, obtenidos aqu arriba. Es decir:
2

u ( , ) = 1 2

u()d +
2 2

n=1

cos n

u ( ) cos n d + sen n

u ( ) sen n d (7.5)

Esta es una solucin al Problema de Dirichlet. Pero es una solucin aproximada, pues consta de infinitos trminos. Sin embargo, puede en ciertos casos llegar a ser una solucin exacta, cuando la serie se reduce a un nmero finito de trminos. En los apartados que siguen deduciremos la Integral de Posisson que, por el contrario, constituye una posible solucin exacta al problema. No obstante, en muchos casos la dificultad para calcular dicha integral hace necesario conformarse con el desarrollo en serie.

7.3 - La Integral de Poisson. En primer lugar, en la ecuacin (7.5) haremos un cambio de variable de integracin que nos permita introducir los trminos cos n y sen n bajo el signo integral:

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.7

u ( , ) = 1 2

u()d +
2 2

n=1

u ( ) cos n . cos n d +

u ( ) sen n . sen n d

Seguidamente cambiaremos el orden entre la sumatoria y la integral, lo que conduce a una nueva forma:
2

u ( , ) = 1 0

1 + n ( cos n . cos n + sen n . sen n ) 2 n=1

u ( ) d

El trmino que aparece entre parntesis en el segundo miembro es justamente el coseno de la diferencia de dos ngulos:
2

u ( , ) = 1

1 + n cos n ( - ) 2 n=1

u ( ) d

(7.6)

Advirtamos al llegar aqu que la expresin n cos n ( - ) , no es otra cosa que la parte real de n ein ( - ) , es decir: n cos n ( - ) = Re { n ein ( - ) }
2

Si reemplazamos este valor en la ecuacin (7.6), obtendremos: u ( , ) = 1

1 + Re n ein ( - ) 2 n=1

u ( ) d

(7.7)

Recordemos tambin que el valor de una suma infinita y convergente de potencias responde a la igualdad:

n=0

xn =

1 1- x

Restando el primer trmino de la serie, se puede escribir en reemplazo de la anterior:

n=1

xn =

1 1- x

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.8

Aplicando este resultado a la sumatoria que aparece en el integrando de la (7.7), hallamos que:

n=1

n ein ( - ) =

1 1 - ei ( - )

1 =

ei ( - ) 1 - ei ( - )

n=1

n ein ( - ) =

[ cos ( ) + i sen ( )] 1 - [ cos ( ) + i sen ( )]

A continuacin igualaremos las partes reales de los dos trminos de esta ecuacin:

Re

n=1

n ein ( - ) = Re

[ cos ( ) + i sen ( )] 1 - [ cos ( ) + i sen ( )]

= Re

[cos ( ) + i sen ( )] {1 - [cos ( ) - i sen ( )] }


[ 1 - cos ( )]
2

+ [ sen ( )] 2

cos ( ) - 2 [ cos2 ( ) + sen2 ( )] 1 - 2 cos ( ) + 2 [ cos 2 ( ) + sen 2 ( )]

cos ( ) - 2 1 - 2 cos ( ) + 2

Si reemplazamos este valor en la (7.6), verificamos que:


2

u ( , ) = 1 0
2

1 2

cos ( ) - 2 1 - 2 cos ( ) +
2

u ( ) d

Al efectuar la suma indicada en el integrando, resulta: u ( , ) = 1 2 0 1 - 2 cos ( ) + 2 + 2 cos ( ) - 2 2 u ( ) d 1 - 2 cos ( ) + 2

Simplificando y teniendo en cuenta que el coseno es una funcin par: cos ( ) = cos ( ), llegamos finalmente a la frmula, Integral de Poisson
2

u ( , ) =

1 2

1 2
2

u ( ) d

(7.8)

0 1 - 2 cos ( - ) +

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.9

conocida como Integral de Poisson. La expresin que aparece en el integrando se denomina, a su vez, Ncleo de Poisson: Ncleo de Poisson Np = 1 2 1 - 2 cos ( - ) + 2

7.4 - Propiedades del Ncleo de Poisson. Valores caractersticos del Ncleo de Poisson: Para = 0, el ncleo de Poisson vale: lim
0

1 2 1 - 2 cos ( - ) + 2 , es: 1 2 1 - 2 cos ( - ) + 2

= 1

Su lmite para 1, y lim


1

= 0

El lmite para 1 y 1 2 1 - 2 + 2

= tiende a infinito. 1 2 ( 1 - )2 (1 )(1 + ) (1 )(1 ) = (1 + ) (1 )

En efecto, si = , entonces cos ( - ) = 1, y = =

Para cualquier valor de , el ncleo de Poisson alcanza su valor mximo cuando = :

Lo probaremos a continuacin: Ya vimos en el punto anterior qu ocurre cuando r es igual a 1. Trataremos de determinar en qu condiciones, para cualquier otro valor de , el valor del ncleo es mximo. Esto evidentemente se lograr cuando el denominador sea mnimo. Es decir, si llamamos = , cuando 1 - 2 cos ( - ) + 2 = 1 - 2 cos ( ) + 2 = mnimo O sea, derivando e igualando a cero: d d
R. Abascal - Anlisis de Seales y Sistemas

1 - 2 cos ( t ) + 2

= 2 sen = 0

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.10

= 0 Lmite para :

y por tanto,

El valor absoluto del lmite del ncleo de Poisson cuando tiende a infinito es igual a 1. Efectivamente: 1 2 = 1 lim 1 - 2 cos ( - ) + 2 Y esto, de acuerdo con la propiedad anterior, ocurre cuando = Finalmente, el rea bajo el ncleo de Poisson, entre 0 y 2, es en todos los casos igual a 2. Para demostrarlo, hagamos u ( , ) = 1 En tal caso, la (7.8) resulta simplificada como vemos aqu abajo:
2

1 = 1 2

2 2

1 - 2 cos ( - ) +

d = 1 2

Np d

Es decir que la integral queda reducida a la integral del ncleo exclusivamente. Y, despejando, vemos que, efectivamente
2

1 2 1 - 2 cos ( - ) + 2

d = 2

El grfico siguiente reproduce el ncleo de Poisson, poniendo en evidencia algunas de las propiedades estudiadas hasta aqu:
| Np ( , ) | =1

+1 0 2

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.11

7.5 - El Problema de Dirichlet en un recinto circular. Como queda dicho, el Problema de Dirichlet consiste en hallar una funcin armnica en el interior de un dominio dado, tal que cumpla con ciertas Condiciones de Contorno en la frontera de aquel. Vamos a estudiar a partir de aqu el Problema de Dirichlet en dos dominios diferentes, cada uno de ellos adecuado para su aplicacin a diferentes problemas de la Fsica. Dichos dominios son, respectivamente, el interior de un crculo, y un semiplano. Sea un crculo de radio R, ubicado en el plano complejo w de coordenadas u y v, con centro en el origen de coordenadas: iv R w1 D wo w u

Llamaremos D al dominio constituido por los puntos del crculo, incluida la circunferencia frontera . Tambin, denominaremos genricamente w a los puntos de tal dominio. Consideremos una funcin f ( w ), analtica en D. Si wo es un punto determinado del dominio D, aplicando el teorema de la integral de Cauchy podemos decir que f ( wo ) = 1 2i

f(w)

dw

w - wo

Llamemos w1 a un punto definido por el sistema de ecuaciones siguiente: | w1 | = R2 | wo | arg wo = arg w1 = Entonces, como | wo | = | wo | podemos afirmar tambin que

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.12

| w1 | = Por otra parte, como

R2 | wo |

| wo | < R, porque el punto wo es interior al crculo, deber ser: | w1 | > R De lo anterior, deducimos que, como f ( w ) es por definicin analtica en el interior del crculo, y el punto w1 es exterior al mismo, la funcin f(w) w - w1 es tambin analtica en el interior del crculo, pues el punto singular w = w1 es exterior a aquel. Aplicando el teorema de Cauchy, tenemos: 1 2i

f(w)

dw =

1 2i

f(w)
2 w - R wo

dw = 0

w - w1

Restando de f ( wo ) este valor, nulo, podemos decir que la misma es tambin igual a: f ( wo ) = 1 2i 1 2i 1 2i

1 w - wo 1 w - wo

w -

1 R2 wo

f(w) dw

f ( wo ) =

wo wo w - R
2

f(w) dw

f ( wo ) =

wo w - R2 - wo w + wo wo
( w - w o ) ( wo w - R )
2

f(w) dw

Si llamamos = | wo |, entonces: wo wo = | wo | 2 = 2 f ( wo ) = 1 2i

2 - R2

f (w ) d w
2

( w - wo ) ( w o w - R )

Recordemos que w es la designacin genrica que utilizamos para referirnos a cualquiera de los puntos del recinto cerrado D. Por lo tanto, la ecuacin anterior es asimismo vlida para cualquier punto de la circunferencia , que forma parte tambin del mismo recinto. Llamemos a un punto cualquiera de dicha circunferencia. La expresin anterior contina en consecuencia siendo vlida si reemplazamos en ella w por :

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.13

f ( wo ) = Hagamos ahora:

1 2i

2 - R2 ( - wo ) ( wo - R )
2

f() d

= R e i y como wo = e i

f ( ) = f ( R, ) wo = e- i

Como la curva suave sobre la que queremos calcular la integral curvilnea es precisamente la circunferencia, y estamos llamando a los puntos de la misma, tomando un desplazamiento infinitesimal d sobre dicha circunferencia a partir del punto , debe verificarse que d = R i e i d Al reemplazar todos estos valores en la ltima integral, llegamos a:
2

f ( wo ) =

1 2i

0 (Re 2

( 2 - R2 ) R i e i
i

-e

)(e

-i

Re

f ( R, ) d - R ) f ( R, ) d
2

f ( wo ) =

1 2i

0 R e
2

( 2 - R2 ) R i e i
i (2 )

-R e

- Re
2

+R e
2

Dividamos ahora numerador y denominador por i R e i , para obtener:


2

f ( wo ) = O, tambin:

1 2 1 2

0 Re 2

( 2 - R2 )
i( )

-R -
2

+Re

- i ( )

f ( R, ) d

f ( wo ) =

( R2 - 2 ) R +
2 2

f ( R, ) d

- 2 R cos ( )

Al descomponer f ( wo ) y f ( R, ) como suma de sus respectivas partes real e imaginaria, obtenemos:


2

u ( , ) + i v ( , ) =

1 2

( R2 - 2 ) [ u ( R, ) + i v ( R, )] d 0 R2 + 2 - 2 R cos ( )

Ahora igualemos las partes reales de ambos miembros de la igualdad. Entonces:


2

u ( , ) =

1 2

( R2 - 2 ) u ( R, )
2

(7.9)

0 R +

- 2 R cos ( )

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.14

En el supuesto que el dominio D fuera el crculo de radio unitario, es decir, si R = 1, teniendo en cuenta, adems, que cos ( ) = cos ( ) la ecuacin (7.9) quedara as
2

u ( , ) =

1 2

(1 - 2) u() 1 +
2

- 2 cos ( )

Pero sta es, justamente, la Integral de Poisson (7.8). Son importantes las aplicaciones fsicas que se pueden extraer a partir de la solucin al Problema de Dirichlet. Por ejemplo, supongamos un cilindro metlico hueco cuyo interior est constituido por material dielctrico. La Integral de Poisson permite conocer cul ser la distribucin del potencial en los distintos puntos del dielctrico [ la funcin armnica u ( , ) ], cuando se aplica un determinado potencial a la cubierta metlica (Condicin de contorno o de frontera). De manera similar, si por ejemplo queremos conocer cmo se propaga el calor sobre una lmina conductora al aplicar en su borde una determinada temperatura, podemos recurrir a la solucin del Problema de Dirichlet en el Semiplano, que veremos a continuacin.

7.6 - El Problema de Dirichlet en el Semiplano. Sea una funcin f ( w ) = ( u, v ) + i ( u, v ) en el plano w de coordenadas u y v, analtica para todo v 0. Consideremos ahora el contorno de la figura, dentro del semiplano superior, donde se satisface tal condicin: iv D wo +R u

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.15

Es evidente que cuando R tiende a infinito, el dominio D encerrado por el contorno de la figura abarca la totalidad del semiplano superior. Es decir, el dominio para el cual es v 0. Llamemos wo a un determinado punto del dominio D. wo D Como en el caso anterior, podemos definir una funcin f ( wo ), mediante la integral de Cauchy: f ( wo ) = 1 2i

f(w) w - wo

dw

(7.10)

Por el contrario, el conjugado de wo no pertenece a D. Ello nos permite inferir que debe ser nula la integral: 1 f(w) dw = 0 2i

w - wo

Restando esta ecuacin de la (7.10), resulta f ( wo ) = 1 2i 1 2i

f(w)
w - wo

f(w) w - wo

dw

(7.11)

f ( wo ) = Como ser

w - wo - w + wo ( w - wo ) ( w - w o )

f(w) dw

(7.12)

wo = e i wo . wo = 2

wo es la denominacin genricva que utilizamos para designar cualquier punto interior al dominio D. Para evitar confusiones, llamaremos x e y a las coordenadas de wo(1). Es decir: wo = x + i y Entonces wo wo = 2 i y y wo + wo = 2 x

Reemplazando estos valores en la (7.12): f ( wo ) = 1 2i

2iy

f(w) dw

(7.13)

w + - 2wx
2 2

Teniendo en cuenta el contorno sobre el cual debemos resolver la integral curvilnea, y llamando C a la curva superior del mismo, haremos:
(1)

Como wo es un punto genrico, las coordenadas dependen de cada punto wo, luego son variables. Por eso las designamos x e y en lugar de uo y vo, denominacin sta ltima ms apropiada para designar valores constantes. R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.16

+R

f ( wo ) = y

-R

f(w) dw w2 + 2 - 2 w x

f(w) dw w2 + 2 - 2 w x

En la primera integral podemos reemplazar w = u, pues sobre el eje de abscisas, v es siempre igual a cero:
+R

f ( wo ) = y

-R

f(u) du u2 + 2 - 2 u x

f(w) dw w2 + 2 - 2 w x

En cuanto a la segunda integral, si w es un punto cualquiera del contorno C, podemos escribir:

f(w) dw w2 + 2 - 2 w x

f(w) dw R2 e 2 i + 2 - 2 R x e 2 i

Si la funcin f ( w ) se mantiene acotada en todo el dominio D, al tender R a infinito la integral tiende a cero. En consecuencia, quedar finalmente:
+

f(z) =

f(u) du u2 + 2 - 2 u x

Igualando las partes reales de las funciones complejas que aparecen en los dos miembros de esta ecuacin, podemos escribir:
+ +

( x, y ) =

- u +

( u, o ) d u
2

+ 2 - 2ux

( u, o ) d u u2 + x 2 + y 2 - 2 u x (7.14)

( x, y ) =

( u, o ) d u (u -x)
2

+ y

Una ecuacin similar se obtiene al igualar las partes imaginarias. La ecuacin (7.14) permite conocer el valor de la funcin armnica ( x, y ) en cualquier punto del semiplano superior, con slo conocer el valor que toma la misma sobre el eje real, es decir, bastar conocer ( u, o ).

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.17

7.7 - Problemas. 7.7.1 - Hallar la funcin que define la distribucin de potencial en el interior de un crculo de radio unitario, si el valor en la periferia del mismo es u ( 1, ) = Vo sen Solucin: El desarrollo en serie de la funcin pedida, u ( , ), es:

u ( , ) = o +

n=1

( n cos n n sen n )

Aqu, R es igual a 1. Adems, por ser la funcin seno impar, los coeficientes n son todos nulos. La frmula para calcular los coeficientes n es:
2 2

n = - 1

u ( ) sen n d = - Vo 0

sen . sen n . d

En las tablas de integrales encontramos

sen x . sen nx . dx =

sen ( n - 1 ) x 2(n-1)

sen ( n + 1 ) x 2(n+1)

Si n, nmero entero, es distinto de 1, al integrar entre 0 y 2 la integral es nula por tratarse de una funcin seno en un nmero exacto de perodos. Si n = 1, tenemos:
2

V n = - o

sen2 d

Volviendo a las tablas de integrales, hallamos

Por tanto:

sen2 d =

- 1 sen 2 2 4

1 = - Vo

= - Vo

Finalmente, la funcin armnica buscada es: u ( , ) = Vo sen

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.18

7.7.2 - Hallar la distribucin de potencial en el interior de un disco circular de material dielctrico, cuya circunferencia exterior est formada por dos placas metlicas semicirculares iguales (Ver la figura), separadas entre s por una ranura de dimensin muy reducida. A la placa superior se le aplica un potencial Vo, mientras que la inferior es mantenida a potencial cero. iv Ranura infinitesimal 1 u ( 1, ) = Vo

u ( 1, ) = 0 Solucin: Aqu, los coeficientes del desarrollo en serie son:

1 0 = 2

Vo d = Vo 0 2

1 n = a n =

Vo cos n d = 0

n = - bn = - 1 n = 2 Vo n

Vo sen n d = - Vo cos n 0 n
con n impar.

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.19

Aplicaciones matlab El Ncleo de Poisson: % Representar el Ncleo de Poisson en funcin de rho y phi: % Np = (1 - rho^2)/(1 + rho^2 - 2*rho*cos (phi-theta)) % Hagamos por ejemplo, theta = pi % Para utilizar la funcin EZPLOT debemos llamar phi = x. % Tambin, pra simplificar las frmulas, llamaremos rho = r syms x r1=0.25 r1 = 0.2500 Np1 = (1 - r1^2)/(1 + r1^2 - 2*r1*cos (x-pi)) Np1 = 15/16/(17/16+1/2*cos(x)) r2 = 0.5 r2 = 0.5000 Np2 = (1 - r2^2)/(1 + r2^2 - 2*r2*cos (x-pi)) Np2 = 3/4/(5/4+cos(x)) r3 = 0.75 r3 = 0.7500 Np3 = (1 - r3^2)/(1 + r3^2 - 2*r3*cos (x-pi)) Np3 = 7/16/(25/16+3/2*cos(x)) % Representacin grfica: ezplot (Np1, [0, 2*pi]) % Para superponer las diferentes curvas en un mismo grfico, hacemos: hold on 7/16/(25/16+3/2*cos(x)) ezplot (Np2, [0, 2*pi]) 4.5 ezplot (Np3, [0, 2*pi])
4 3.5 3 2.5 2 1.5 1 0.5 0 0 1 2

Np3

Np2 Np1

=
3 x 4 5 6

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.20

Resolver la ecuacin de Poisson -div(grad(u)) =1, en el crculo unidad, al excitar con un impulso en el instante inicial. % Resolver la ecuacin de Poisson: -div(grad(u)=1, en un disco de radio unitario % La funcin Matlab: u=ASSEMPDE (b,p,e,t,c,a,f), es solucin de ecuaciones del tipo % f=-div(c*grad(u)+a*u. % En el caso que vamos a encarar podemos ver que los parmetros % c, a, y f valen, respectivamente: % c = 1, a = 0, y f = 1 c=1; a=0; f=1; % Si el potencial u(r), en el contorno, r=1, es igual a cero, la solucin exacta es: % u(r) = - 1/(2*pi)*log (r) % u (r) define el Potencial en el interior del disco: 0 <= r <= 1 r = [0 : .1 : 1]; u = -1/(2*pi)*log (r) Warning: Log of zero. u= Columns 1 through 7 Inf 0.3665 0.2561 0.1916 0.1458 0.1103 0.0813 Columns 8 through 11 0.0568 0.0355 0.0168 0 0.4 plot (r,u) 0.35 grid 0.3 0.25 0.2 0.15 0.1 0.05 0 0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 % Por razones de simetra, esta curva se repite para cualquier direccin (Para cualquier valor del ngulo phi). Ver la solucin aproximada, % en el problema siguiente. % La solucin es entonces la superficie de revolucin de la curva al girar sobre el eje vertical que pasa por el origen de coordenadas: El eje r = 0.

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.21

Veremos a continuacin la forma completa que adopta la solucin de la ecuacin de Poisson en el disco unitario: % Expresamos la ecuacin as: -div(grad(u)) = delta(x,y) % El segundo miembro es justamente la funcin impulso. % Queremos resolverla en el crculo unitario, con la condicin de borde: u(1) = 0 % La solucin exacta, segn vimos en el problema anterior es: u(r) = - 1/(2*pi)*log (r) % que segn se vio, tiene un punto singular (polo) en el origen de coordenadas % Segn esto, salvo en la proximidad del origen, es posible representar la forma que % reviste dicha solucin recurriendo a una red de tringulos en el interior del crculo. % En lo que sigue trataremos de ver: % La malla de tringulos sobre la cual, por aproximaciones sucesivas, % calcula el programa la respuesta. % La forma que reviste la respuesta completa, y % La representacin del error en cada punto. % % Definicin del problema: g='circleg'; % Algoritmo para la generacin del crculo unitario b='circleb1'; % Condicin de contorno: u1 = 0 sobre el crculo unitario: % Valor de los parmetros de la ecuacin: c=1; a=0; f='circlef'; % La ltima retorna 1/area para el tringulo que contiene el origen y 0 para los dems. % Matlab utiliza un algoritmo propio, denominado tripick, % para separar los tringulos en los que el error es mayor que la tolerancia: errf>tol. [u,p,e,t]=adaptmesh(g,b,c,a,f,'tripick','circlepick','maxt',1000,'par',1e-3); Number of triangles: 254 Number of triangles: 503 Number of triangles: 753 Number of triangles: 1005 Maximum number of triangles obtained % Veamos ahora la configuracin de la malla de tringulos en el crculo: pdemesh(p,e,t); axis equal 1 0.8 0.6 0.4 0.2 0 -0.2 -0.4 -0.6 -0.8 -1 -1 -0.5 0 0.5 1

R. Abascal - Anlisis de Seales y Sistemas

Ecuaciones Diferenciales de Orden Superior. Parte VII - La Integral de Poisson y el Problema de Dirichlet.

7.22

% Representacin de la solucin: pdeplot(p,e,t,'xydata',u,'zdata',u,'mesh','off'); grid % Representacin del error: x=p(1,:)'; y=p(2,:)'; r=sqrt(x.^2+y.^2); % Recordamos que la solucin exacta es: uu = - log(r)/2/pi; % La ecuacin siguiente representa el error: u - uu: pdeplot(p,e,t,'xydata',u -uu,'zdata',u-uu,'mesh','off'); grid