Fsica terica 11er.

cuatrimestre 2011
Apuntes de la prctica: Gua 2, separacin de variables en cilndricas

Se incluyen aqu los problemas de la Gua 2 de separacin en cilndricas y algunos otros que no figuran en
la gua. Los problemas en el cilindro semiinfinito se obtienen a partir de los del cilindro infinito. Siempre que
uno conozca la funcin de Green en un cilindro de longitud infinita, la del cilindro semiinfinito se obtiene
por imgenes, por eso aqu no se incluye una seccin dedicada especficamente a estos problemas. Los
resultados para los problemas bidimensionales necesitan una mejor revisin. Tomen esas secciones en calidad
de borrador.
Las notas estn divididas en dos secciones. La primera trata de problemas acotados en la direccin z.
La segunda es sobre problemas no acotados. Conocimientos bsicos que deben tener: las funciones J y
N son reales en todo el eje, tienen infinitos ceros, y las N divergen en el origen. Si necesitan una base
de funciones en la direccin radial, estas dos funciones son las indicadas. Las funciones I y K no sirven
como base en la direccin radial. Las I divergen en el I nfinito mientras que las K lo hacen en el origen.
stas son las funciones que aparecen cuando necesitan base en la direccin z. En ese caso las funciones
en z son exponenciales imaginarias o sus combinaciones. En todos los problemas que veremos hay una u
otra forma de asegurar base en . Una es que el dominio sea entre 0 y 2 y que se pida periodicidad. La
otra es que el dominio incluya slo un sector comprendido entre 0 y , con 2, pero con condiciones
homogneas en los bordes. En ese caso, en lo que respecta a la variable , el problema recuerda a uno en
cartesianas. El problema con = 2 no es el problema en todo el crculo, sino el problema de una lmina
semiinfinita.

1
Problemas acotados en la direccin z 3
1 El cilindro finito (problema 21) 3
1.1 Funcin de Green: corte segn el plano z = z 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Funcin de Green: corte segn = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Solucin del problema de contorno: condiciones no homogneas en las tapas . . . . . . . . . . . . . . 12
1.3.1 Problema 19 de la Gua 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 Solucin del problema de contorno: condiciones no homogneas en el lateral . . . . . . . . . . . . . . 15

2 El exterior del cilindro finito entre dos planos 15

2.1 Funcin de Green con un corte segn = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2 Funcin de Green con un corte segn z = z 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

3 La regin entre dos cilindros 17

3.1 Funcin de Green con un corte segn = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

4 La regin entre dos planos (problema 25) 17

4.1 Funcin de Green con un corte segn z = z 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.2 Funcin de Green con un corte segn = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
4.3 Densidad de carga inducida sobre los planos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

Problemas no acotados en la direccin z 22

5 El interior del cilindro infinito (problema 22, primera parte) 22
5.1 Funcin de Green: corte segn el plano z = z 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
5.2 Funcin de Green: corte segn = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
5.3 Solucin del problema de contorno con condiciones en la cara lateral (problema 24a) . . . . . . . . . . 25
5.4 Simetra de traslacin en z (problema 24 b y c) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27

6 El cuarto de cilindro (problema 23) 31

7 La regin entre dos cilindros infinitos, concntricos, de radios a y b 33

7.1 Funcin de Green: corte segn = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
7.1.1 Casos lmite (problema 22, segunda parte) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
7.2 Problema de contorno con condiciones no homogneas en el cilindro de radio a . . . . . . . . . . . . . 34
7.3 Simetra de traslacin en z . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36

8 El espacio no acotado 38
8.1 Funcin de Green . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
8.2 El potencial de un disco cargado (problema 20) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

Apndice 41
Pginas del Smythe para el problema entre dos cilindros con condiciones no homogneas en las tapas . . . . 41

2
Problemas acotados en la direccin z
Supongamos que en la direccin z el volumen de inters est limitado por los planos z = 0 y z = h.
Trataremos cuatro clases de recintos acotados en z donde puede usarse separacin en coordenadas cilndri-
cas. Estas clases son:

1. El interior del cilindro de radio a y altura h.

2. La regin exterior al cilindro de radio a y comprendida entre los planos z = 0 y z = h.

3. La regin entre dos cilindros coaxiales de radios a y b, a < < b, y entre los planos z = 0 y z = h.

4. La regin entre los dos planos z = 0 y z = h, sin ninguna otra frontera.

1 El cilindro finito (problema 21)

El dominio es el interior de la regin 0 z h , 0 a y 0 2 .

1.1 Funcin de Green: corte segn el plano z = z 0

En el plano z = z 0 la carga de prueba tiene asociada una densidad superficial
1
(, ) = ( 0 )( 0 ). (1)

Ya sea que tratemos de construir el potencial como una superposicin de soluciones que se anulen en = a,
o que la eleccin de las funciones sea guiada por la necesidad de tener una base en y , el hecho es que,
de los dos conjuntos de soluciones,
n o n o
{J (k), N (k)} , ei , ekz , {I (k), K (k)} , ei , eikz ,

tenemos que elegir el que tiene a las funciones J y N . Como el recinto incluye al eje, las funciones N
quedan descartadas. La solucin puede escribirse en cualquiera de las siguientes formas
X
X
0
G(r, r ) = ei J (kn ) An Fkn (z, z 0 ), (2)
= n=1

X
X
0
G(r, r ) = [An cos + Bn sin ] J (kn ) Fkn (z, z 0 ) (3)
=0 n=1

X
X
G(r, r0 ) = cos ( 0 ) J (kn ) An Fkn (z, z 0 ), (4)
=0 n=1

3
donde
xn
kn = ,
a
y xn es el nsimo cero de la funcin de Bessel J . Usamos las mismas letras An y Bn , pero se
entiende que no tienen por qu ser los mismos coeficientes los que aparecen en estos tres desarrollos. La
funcin de z en estos desarrollos ya ha aparecido antes en los problemas de cartesianas
sinh[k(h z> )] sinh[kz< ]
Fk (z, z 0 ) = , z< = min[z, z 0 ], z> = max[z, z 0 ] (5)
k sinh[kh]
Se ha construido para que cumpla con las siguientes propiedades

Fk (z, z 0 ) = Fk (z 0 , z), Fk (0, z 0 ) = Fk (h, z 0 ) = 0,

 
0+ 0 0 0 Fk  Fk 
Fk (z , z ) = Fk (z , z ), = 1.
z z0 z z0 +
Esto asegura continuidad a travs del plano z = z 0 y potencial nulo en las dos tapas. Uno empieza diciendo
que tiene que ser sinh kz en la regin z < z 0 , y sinh k(h z) en la regin z > z 0 , y luego agrega factores
para obtener continuidad y simplificar el clculo del salto de la derivada.

La primera forma, ec. (2), resultara cmoda en un problema con una distribucin de carga ms general,
sin ninguna simetra aparente. Es prctica porque slo hay que manejar un coeficiente, aunque en general
An resultar complejo. Como aparecen funciones J tanto con mayores y menores que cero, hay que
tener cuidado al escribir la relacin de ortogonalidad
a2 J||+1
2
Z a x  x 0 
n n (xn )
d J J = n,n0 . (6)
0 a a 2
Respecto a las funciones en , la expansin que hay que recordar es la serie de Fourier compleja
Z 2
X 1
f () = i
e f , f = d ei f (). (7)
=
2 0

Una funcin de f (, ) en el disco 0 a, 0 2 se podr escribir entonces como

X
X
f (, ) = ei J (kn ) fn , (8)
= n=1

Z 2 Z a
1 2 i
fn = 2
d e d J (kn ) f (, ). (9)
2 a2 J||+1 (xn ) 0 0

Para la densidad de la ec. (1)

1 2 0
n = 2 2
ei J (kn 0 ).
2 a J||+1 (xn )

4
Por otro lado, debido a la especial eleccin de Fk , el trmino n del salto de la derivada normal del potencial
es simplemente
G(r, r0 )  G(r, r0 ) 
   
= An .
z 0 z0 z 0 z0+ n
Luego,
4 0
An = 4n = 2
ei J (kn 0 ).
a2 J||+1 (xn )

Finalmente, reemplazando en (2),

4 X X i(0 ) J (kn ) J (kn 0 )
G(r, r0 ) = e 2
Fkn (z, z 0 )
a2 = n=1 J||+1 (xn )

4 X X i(0 ) J (kn ) J (kn 0 ) sinh[kn (h z> )] sinh[kn z< ]
= e 2
.
a = n=1 xn J||+1 (xn ) sinh[kn h]

Esta funcin es explcitamente simtrica respecto del intercambio de por 0 y de z por z 0 . Para mostrar
que tambin es simtrica respecto de y 0 y que es real, escribamos la suma sobre en tres partes,

0 4 X J0 (k0n ) J0 (k0n 0 )
G(r, r ) = 2 2
Fk0n (z, z 0 )
a n=1 J1 (x0n )

" 1
#
4 X X X 0 J (kn ) J (kn 0 )
+ 2 + ei( ) 2
Fkn (z, z 0 ).
a = =1 n=1
J||+1 (xn )

Ahora bien, las funciones J para entero satisfacen

J = (1) J

(la notacin es = ) y, por lo tanto, comparten el mismo conjunto de ceros

xn = xn .

Usando esto, la suma en entre menos infinito y (1) puede llevarse al intervalo entre 1 e infinito, y lo
nico que ser necesario cambiar ser el signo del que aparece en las exponenciales, porque todo lo otro
es par en ,
" 1
#
X X X 0 J (kn ) J (kn 0 )
+ ei( ) 2
Fkn (z, z 0 )
= =1 n=1
J||+1 (xn )

X

X J (kn ) J (kn 0 )
=2 cos ( 0 ) 2
Fkn (z, z 0 ).
=1 n=1
J+1 (xn )

5
En definitiva,

" #
0 4 X J0 (k0n ) J0 (k0n 0 ) 0
X 0
0 J (kn ) J (kn ) 0
G(r, r ) = 2 Fk0n (z, z ) + 2 cos ( ) Fkn (z, z ) .
a
n=1
J12 (x0n ) =1
2
J+1 (xn )
(10)

Observen que si 0 = 0, es decir, si la carga est sobre el eje, como J (0) = ,0

0 4 X J0 (k0n )
Fk0n (z, z 0 ).

G(r, r ) 0 =0 = 2

2
a n=1 J1 (x0n )

Slo sobreviven los trminos con = 0. Es natural que as sea, porque con la carga en el eje hay simetra de
revolucin y el potencial no tiene que depender de .
A partir de la expresin (10) pueden encontrarse las funciones de Green para el interior del cilindro
semiinfinito y el interior del cilindro infinito. En el primer caso es suficiente tomar el lmite h , con lo
que resulta

0 sinh[k(h z> )] sinh[kz< ] 1 kz> 1  k(|zz0 |) k(z+z 0 )


Fk (z, z ) = e sinh[kz< ] = e e , (11)
k sinh[kh] k 2k

"
2X J0 (k0n ) J0 (k0n 0 )  k0n (|zz0 |) k0n (z+z 0 )

G(r, r0 ) e e
a n=1 x0n J12 (x0n )

#
0 
X J (kn ) J (kn ) 0 0

+2 cos ( 0 ) 2
ekn (|zz |) ekn (z+z ) .
=1
xn J+1 (xn )

Para obtener la funcin de Green del cilindro infinito hay que encontrar un modo de enviar las dos tapas a
infinito simultneamente. Esto puede lograrse haciendo primero una traslacin en h/2, de manera que una
de las tapas quede en z = h/2 y la otra en z = h/2, y recin ah tomar el lmite h . Con esto resulta

sinh k h2 z> sinh k z< + h2

  
 

h 0 h 1 k(z> z< ) 1 k|zz0 |
Fk z + , z + = e = e , (12)
2 2 k sinh[kh] 2k 2k

"
0 2X J0 (k0n ) J0 (k0n 0 ) k0n |zz0 |
G(r, r ) e
a n=1
x0n J12 (x0n )

#
0
X J (kn ) J (kn ) 0
+2 cos ( 0 ) 2
ekn |zz | . (13)
=1
xn J+1 (xn )

Con este resultado a la vista, es posible interpretar la funcin de Green del cilindro semiinfinito como la suma
de dos funciones de Green para el cilindro infinito, a saber, la asociada a la carga de prueba original y otra

6
asociada a una carga (1) en la posicin (x0 , y 0 , z 0 ). Este es el resultado que al que uno llegara usando
imgenes.
Pasemos ahora la segunda forma de escribir la funcin de Green, ec. (3). sta tiene la ventaja de que todo
es real, y slo aparecen los 0, pero hay que arrastrar con los dos conjuntos de coeficientes, An y Bn .
Una funcin f () con 0 2 puede desarrollarse en la base de las funciones {cos , sin }

X
f () = (A cos + B sin ) , (14)
=0

donde
 Z 2
1 ,0
A = 1 d f () cos ,
2 0

Z 2
1
B = d f () sin . (15)
0
 
,0
El factor 1 es necesario porque el coeficiente con = 0 difiere de los otros en el factor de
2
normalizacin,

Z 2 1, si > 0,
d cos cos 0 = , 0
0
2, si = 0.
Una funcin f (, ) en el disco de radio a tendr el siguiente desarrollo
X
X
f (, ) = [An cos + Bn sin ] J (kn ),
=0 n=1

  Z 2 Z a
1 ,0 2
An = 1 2
d cos d J (kn ) f (, ),
2 a2 J+1 (xn ) 0 0

Z 2 Z a
1 2
Bn = 2 2
d sin d J (kn ) f (, ). (16)
a J+1 (xn ) 0 0

En particular, la densidad (1) se escribir como

X
X
(, ) = [An cos + Bn

sin ] J (kn ),
=0 n=1

,0 cos 0 J (kn 0 )
 
2
An = 1 2
,
2 a2 J+1 (xn )

2 sin 0 J (kn 0 )
Bn = 2
.
a2 J+1 (xn )

7
La comparacin con el salto de la derivada normal del potencial, escrito segn la forma (3), da

An = 4An ,
Bn = 4Bn .

Finalmente

J (kn 0 ) J (kn )
 
0 8 XX ,0 0 0
G(r, r ) = 2 1 cos cos + sin sin 2
Fkn (z, z 0 ).
a =0 n=1 2 J+1 (xn )
(17)

Aislando en la suma el trmino con = 0 y usando que cos 0 cos + sin 0 sin = cos ( 0 ),
queda de nuevo la expresin (10).
El tercer desarrollo, ec. (4), es ms especfico a las necesidades del problema, pues la combinacin de
funciones trigonomtricas en ya se ha eligido par respecto de 0 . Para este problema, la reflexin respecto
del plano = 0 es una transformacin de simetra. Si no se tratase de la funcin de Green, sino del clculo
del potencial de cualquier otro problema, esta forma de desarrollar el potencial slo podra ser aplicada a
problemas que tengan la misma paridad respecto del ngulo 0 .
Ya hemos visto que el desarrollo (4) aparece naturalmente a partir de las formas (2) y (3); el resultado es
la ec. (10). Pero podramos haber planteado directamente el problema proponiendo para el potencial la forma
(4). En tal caso, sera necesario estar seguros de que esa expansin puede aplicarse a cualquier funcin en el
disco r a que sea adems par respecto de 0 . Las funciones radiales son las mismas, as que en esa direc-
cin no hay dudas. Pero que la funciones cos ( 0 ) forman una base completa para las funciones pares
respecto de 0 puede demostrarse a partir de la completitud de las funciones {cos , sin }. Supongamos
que f () tenga perodo 2 y que sea tal que f (0 ) = f (0 + ). Siempre podemos desarrollarla segn
la serie (14),

X
f () = (A cos + B sin ) . (18)
=0

Como se trata de funciones peridicas podemos hacer las integrales (15) entre cualquier par de lmites que
cubran un intervalo 2. En particular, podemos centrarlas en 0 ,
  Z 0 +
1 ,0
A = 1 d f () cos ,
2 0

Z 0 +
1
B = d f () sin .
0

Ahora bien, tambin podemos escribir

cos = cos ( 0 + 0 ) = cos ( 0 ) cos 0 sin ( 0 ) sin 0 ,

sin = sin ( 0 + 0 ) = sin ( 0 ) cos 0 + cos ( 0 ) cos 0 .

8
Pero como f es par, en las integrales todas las contribuciones asociadas a los factores sin ( 0 ) se van
a anular. Entonces, retornando a las integrales en el intervalo original, queda
  Z 2 
1 ,0
A = 1 d f () cos ( ) cos 0 ,
0
2 0

Z 2 
1
B = d f () cos ( ) sin 0 .
0
0

Si reemplazamos estos coeficientes en la serie original, ec. (18), se obtiene (completen los pasos que faltan)

X
f () = C cos ( 0 ),
=0

donde
 Z 2
1 ,0
C = 1 d f () cos ( 0 ).
2 0

Todo esto no es ms que un camino largo para decir que podemos hacer los clculos tomando 0 = 0 y
luego rotar todo un ngulo 0 . Si la posicin de la carga de prueba es 0 = 0, no hay duda de que los nicos
trminos del desarrollo (14) sern los asociados a los cosenos.
Vencidos los reparos, lo que podemos decir ahora es que una funcin en el disco r a, par respecto de
0
, puede escribirse as
X
X
f (, ) = cos ( 0 ) J (kn ) fn ,
=0 n=1

donde
  Z 2 Z a
1 ,0 2 0
fn = 1 2
d cos ( ) d J (kn ) f (, ).
2 a2 J+1 (xn ) 0 0

As, por ejemplo, para la densidad (1),

 
1 ,0 2J (kn )
n = 1 2 2
. (19)
2 a J+1 (xn )

Usando la forma (4) para G(r, r0 ),

X
X
G(r, r0 ) = cos ( 0 ) J (kn ) An Fkn (z, z 0 ),
=0 n=1

el salto de la derivada en z = z 0 da simplemente

An = 4n . (20)

Reemplazando se obtiene de nuevo, en un solo paso, la expresin (10).

9
1.2 Funcin de Green: corte segn = 0
Sobre el cilindro definido por = 0 , la carga de prueba equivale a una densidad superficial
1
(, z) = ( 0 )(z z 0 ). (21)
0
Necesitamos base en y en z. Sin ms prembulos, ahora elegimos para G un desarrollo en cos ( 0 )
y en las funciones sin nz/h en la direccin z,
X
X
0
G(r, r ) = cos ( 0 ) sin kn z Rn (, 0 ),
=0 n=1

donde kn = n/h. La eleccin de las funciones en z est dictada por la necesidad de anular el potencial en
dos puntos. La funcin Rn tiene que elegirse como una combinacin de las funciones K (kn ) e I (kn ).
Esta combinacin debe anularse en = a. En la regin 0 , la funcin K debe excluirse, porque
diverge en el eje. En la otra regin estn permitidas las dos funciones. La combinacin que satisface todas
estas cosas y que es continua en = 0 puede elegirse as:
h i
0
Rn (, ) = An I (kn < ) K (kn > )I (kn a) K (kn a)I (kn > ) . (22)

La comparacin que determina < y > es entre y 0 . La forma de llegar a esto es la siguiente. Primero
se plantean un par de funciones


A I (kn ), si 0

Rn (, 0 ) =


B K (kn ) + C I (kn ), si 0 a

Para anular esto en = a se pueden hacer las sustituciones B B I (kn a), C B K (kn a), con
lo que queda


A I (kn ), si 0


Rn (, 0 ) =

h i
B K (kn )I (kn a) I (kn )K (kn a) , si 0 a

Ahora para asegurar continuidad en 0 podemos multiplicar la combinacin en la primera regin por la
combinacin de la segunda evaluada en 0 , y viceversa:
h i
0 0


A B I
n (k ) K (k
n )I (k
n a) I (k
n )K (k
n a) , si 0


Rn (, 0 ) =

h i

B A I (kn 0 ) K (kn )I (kn a) I (kn )K (kn a) ,

si 0 a

Nada se pierde en llamar a A B con el mismo smbolo A . Adems, notando cul es la relacin de orden
entre 0 y en cada regin, la expresin para Rn puede resumirse en una sola lnea. El resultado es (22).

10
 Cualquier funcin en el cilindro = 0 podr desarrollarse como
X
X
f (, z) = cos ( 0 ) sin kn z fn ,
=0 n=1

donde
,0 2 2
  Z Z h
1 0
fn = 1 d cos ( ) dz sin kn z f (, z).
2 h 0 0

En particular, el desarrollo de la densidad en la ec. (21) tendr los siguientes coeficientes

2 sin kn z 0
 
,0
n = 1 . (23)
0 h 2

Aparte, tenemos que calcular el salto de la derivada normal del potencial al atravesar la superficie = 0 . El
trmino n es
 !
G(r, r0 )  G(r, r0 ) 
 h i
0 0 0 0 0 0
= kn An I (k n a) I (kn )K (kn ) I (kn )K (kn ) . (24)
0 0 0 0+
n

Hasta aqu no se us nada nuevo. Como nota prctica, para calcular estos saltos en la derivada radial conviene
observar que la funcin Rn , en la ec. (22), puede escribirse como
h i
Rn (, 0 ) = An K (kn > )I (kn < )I (kn a) K (kn a)I (kn 0 )I (kn ) .

Al escribir el ltimo trmino en el corchete se us que, sea cul sea y cul 0 entre < y > , es siempre
I (k< )I (k> ) = I (k0 )I (k). Ahora bien, ese ltimo trmino entre corchetes es evidentemente una
funcin continua y con derivada continua. No se trata de una funcin partida, como pasa con el primer
trmino. As que al calcular el salto, el segundo trmino en el corchete no va a contribuir. Esto ahorra escribir
cosas que terminarn cancelndose. El riesgo de cometer un error en las cuentas disminuye.
La expresin entre corchetes en la ec. (24) es el wronskiano del par de soluciones K y I de la ecuacin
de Bessel modificada. Puede demostrarse que
h i 1
I0 (x)K (x) I (x)K0 (x) = . (25)
x
As, finalmente, queda algo bastante simple
 !
G(r, r0 )  G(r, r0 ) 

An I (kn a)
= .
0 0 0 0+ 0
n

Esto debe igualarse a 4n , lo que implica

8 sin kn z 0
 
,0
An = 1 .
I (kn a)h 2

11
Separando el trmino con = 0, la funcin de Green se escribe luego como

(
0 4X 0 I0 (kn < ) h i
G(r, r ) = sin kn z sin kn z K0 (kn > )I0 (kn a) K0 (kn a)I0 (kn > )
h n=1 I0 (kn a)

)
X I (k
n < ) h i
+2 cos ( 0 ) K (kn > )I (kn a) K (kn a)I (kn > ) . (26)
=0
I (kn a)

De nuevo podemos ver que si la carga est en el eje el potencial adquiere simetra de revolucin. Si se hace
tender 0 a cero, ser sin duda < = 0 y > = . Ahora bien, la funcin que habr que evaluar en 0 0
ser I (kn 0 ). Ocurre con estas funciones lo mismo que con las J , en el origen la nica que no es cero es
I0 y ah toma el valor 1. Entonces,
 
0 4X I0 (kn )
sin kn z 0 sin kn z

G(r, r ) 0 =0
= K0 (kn ) K0 (kn a) .
h n=1 I0 (kn a)

La expresin (26) puede escribirse como un desarrollo en senos y cosenos usando que cos ( 0 ) =
cos cos 0 + sin sin 0 . El resultado es

(
4 X I0 (kn < ) h i
G(r, r0 ) = sin kn z 0 sin kn z K0 (kn > )I0 (kn a) K0 (kn a)I0 (kn > )
h n=1 I0 (kn a)


)
X  I (k ) h i
0 n < 0
+2 cos cos + sin sin K (kn > )I (kn a) K (kn a)I (kn > ) .
=0
I (kn a)
(27)
Esta forma ser acaso ms prctica si se quiere aplicar la frmula de Green para resolver problemas de
contorno con el cilindro a tierra salvo en su cara lateral.

1.3 Solucin del problema de contorno: condiciones no homogneas en las tapas

Haremos el clculo directo y luego usando la funcin de Green. Supongamos que, salvo en la tapa z = 0, el
cilindro est a potencial 0 y que sea (, , 0) = V (, ). Como necesitamos base en y en y a su vez
hay que anular el potencial en = a, proponemos un desarrollo del siguiente tipo
X

X sinh[kn (h z)]
(r) = [An cos + Bn sin ] J (kn ) .
=0 n=1
sinh kn h

La eleccin de la funcin en z asegura que el potencial se anule en la tapa de arriba. Adems, se ha incluido
un factor (sinh kn h)1 , previendo que estas cosas debern evaluarse en z = 0. La condicin de contorno se
escribir de manera similar,
X
X
 V V

V (, ) = An cos + Bn sin J (kn ) ,
=0 n=1

12
donde AVn y Bn
V
estn dados en la ec. (16). La comparacin directa de este desarrollo con el de evaluado
en z = 0 implica

An = AVn , V
Bn = Bn ,

y luego
X

X sinh[kn (h z)]
AVn cos + Bn
V
 
(r) = sin J (kn ) . (28)
=0 n=1
sinh kn h

Podemos llegar a la expresin (28) a partir de la funcin de Green. Cuando no hay cargas en el volumen,
la frmula de Green da
G(r, r0 )
I
1
(r) = d2 r 0 0
V (r0 ).
4 S n
Ser cmodo usar la expresin (17),

J (kn 0 ) J (kn )
 
0 8 XX ,0 0 0
G(r, r ) = 2 1 cos cos + sin sin 2
Fkn (z, z 0 ).
a =0 n=1 2 J+1 (xn )

Si la nica tapa que no est a 0 es la tapa de abajo, habr que calcular la derivada de G respecto de z 0 , pues
la normal exterior en esa tapa es z . Como la dependencia en z cae slo sobre las funciones Fk , definidas
en (5), tendremos que calcular
Fkn (z, z 0 ) 

sinh[kn (h z)]
0
= .
(z ) z0 =0  sinh kn h
Luego,

1 X X sinh[kn (h z)]
(r) = +
4 =0 n=1 sinh kn h

2 a
J (kn 0 ) J (kn )
Z Z   
0 0 8
0 ,0 0 0
d d 2 1 cos cos + sin sin 2
V (0 , 0 ).
0 0 a 2 J+1 (xn )
Como las integrales son en las variables primadas quedar
X

X sinh[kn (h z)]
(r) = [An cos + Bn sin ] J (kn ) , (29)
=0 n=1
sinh kn h

donde
 Z 2 Z a
2 ,0 0 0
An = 2
1 d cos d0 0 V (0 , 0 ),
a2 J+1 (xn ) 2 0 0

Z 2 Z a
2 0 0
Bn = 2
d sin d0 0 V (0 , 0 ).
a2 J+1 (xn ) 0 0

Pero estos no son otros que los coeficientes de Fourier de V desarrollado como en (16). As que el resultado
(29) es el mismo que obtuvimos antes, ec. (28).

13
1.3.1 Problema 19 de la Gua 2

Una aplicacin de esto es el Problema 19. Ah se plantea el caso de un cilindro con su lateral a tierra y tapas
a potenciales constantes, V y V . Supongamos que la tapa z = 0 est a V y la tapa z = h a V . Habr
que superponer dos soluciones como la anterior, cambiando en un caso la funcin de z para que se anule no
en z = h sino en z = 0. Al final quedar
X

X sinh[kn (h z)] sinh[kn z]
V
AVn cos + Bn
 
(r) = sin J (kn ) .
=0 n=1
sinh kn h

Como la funcin V en el disco a es constante, el nico trmino del desarrollo ser el que tiene = 0,
Z 2 Z a Z a
V 1 2 2V
A0n = d d J0 (k0n ) V = 2 2 d J0 (k0n ).
2 a2 J12 (x0n ) 0 0 a J1 (x0n ) 0

La ltima integral sale a partir de esta primitiva

Z
d J0 () = J1 ().

Finalmente, usando tambin que kn = xn /a,

2V
AV0n = ,
x0n J1 (x0n )
y entonces

X J0 (k0n ) sinh[k0n (h z)] sinh[k0n z]
(r) = 2V .
n=1
J1 (x0n ) x0n sinh k0n h

Para el incrdulo pertinaz, la figura de abajo.

1.2

1.0

0.8

0.6

0.4

0.2

0.0
0.0 0.2 0.4 0.6 0.8 1.0

Aparte de las funciones indicadas, las otras curvas son para m = 60, 140 y 200 trminos en la suma.

14
1.4 Solucin del problema de contorno: condiciones no homogneas en el lateral
Si el potencial es cero en las tapas y en el lateral = a es cierta funcin V (, z), entonces convendr
expandirlo en las funciones que son base en z y en ,
X

X I (kn )
(r) = [An cos + Bn sin ] sin kn z .
=0 n=1
I (kn a)

No hay lugar para las funciones K en este desarrollo, porque divergen en el eje. La inclusin de un factor
1/I (kn a) prev que estas cosas sern evaluadas en = a, donde tendremos la condicin
X
X
(a, , z) = [An cos + Bn sin ] sin kn z = V (z, ).
=0 n=1

Desarrollando V en la misma base que , se tiene, igual que antes,

An = AVn , V
Bn = Bn ,

donde
,0 2 2
  Z Z h
1
AVn = 1 d cos dz sin kn z V (, z),
2 h 0 0

Z 2 Z h
V 1 2
Bn = d sin dz sin kn z V (, z).
h 0 0

La solucin del mismo problema en trminos de la funcin de Green se puede construir a partir de la forma
(27). Queda como ejercicio verificar que se obtiene el mismo resultado.

2 El exterior del cilindro finito entre dos planos

Ahora resolveremos algunos problemas en la regin externa al cilindro de radio a y limitada adems por los
planos z = 0 y z = h.

2.1 Funcin de Green con un corte segn = 0

El clculo es muy parecido al que hicimos antes. Cambia el hecho de que ahora necesitamos funciones
acotadas en , mientras que antes requeramos regularidad en = 0. La funcin de Green tendr la
siguiente expansin
X
X
G(r, r0 ) = cos ( 0 ) sin kn z Rn (, 0 ),
=0 n=1

donde kn = n/h. La funcin Rn tiene que elegirse como una combinacin de las funciones K (kn ) e
I (kn ). Esta combinacin debe anularse en = a. En la regin 0 las funciones I deben excluirse,

15
porque divergen cuando . En la otra regin estn permitidos los dos conjuntos de funciones. La
combinacin que satisface todas estas cosas y que es continua en = 0 es
h i
Rn (, 0 ) = An K (kn > ) K (kn a)I (kn < ) K (kn < )I (kn a) . (30)

Reconstruyan ustedes el argumento que lleva a esta eleccin. La densidad sigue estando dada por (21) y
(23),
 
1 0 0 2 XX ,0
(, z) = 0 ( )(z z ) = 0 1 cos ( 0 ) sin kn z sin kn z 0 .
h =0 n=1 2

Para calcular el salto de la derivada normal de G al atravesar la superficie = 0 , hay que usar de nuevo la
identidad (25),
Rn (, 0 )  Rn (, 0 ) 
 
An K (kn a)
0
0
= .

0 
0+ 0
Observen que el segundo trmino dentro del corchete en (30) no contribuye al salto, porque es proporcional
a K (k< )K (k> ) = K (k)K (k0 ), una funcin continua y derivable. Con esto ya puede igualarse el
trmino n del salto de la derivada normal a 4 veces el trmino n de la densidad superficial ,
 
An K (kn a) 8 ,0
= 0 1 sin kn z 0 .
0 h 2
Finalmente,

(
4 X K0 (kn > ) h i
G(r, r0 ) = sin kn z sin kn z 0 K0 (kn a)I0 (kn < ) K0 (kn < )I0 (kn a)
h n=1 K0 (kn a)

)
X K (k
n > ) h i
+2 cos ( 0 ) K (kn a)I (kn < ) K (kn < )I (kn a) .
=1
K (kn a)

Escribiendo cos ( 0 ) = cos cos 0 + sin sin 0 se obtiene una forma alternativa, acaso ms
prctica para resolver problemas de contorno.

2.2 Funcin de Green con un corte segn z = z 0

El otro tipo de corte posible para calcular la funcin de Green es con el plano z = z 0 . Como ahora estn
permitidas tanto las funciones J como las N , cabra esperar el siguiente desarrollo
X Z
0 0
G(r, r ) = cos ( ) dk [J (k)N (ka) J (ka)N (k)] Fk (z, z 0 ).
=0 0

No es algo que vayamos a ver. Quiz ustedes puedan demostrar la ortogonalidad de las funciones

J (k)N (ka) J (ka)N (k),

consideradas en el intervalo entre a e infinito.

16
3 La regin entre dos cilindros
El dominio es 0 z h, a b. Por lo dicho al final de la seccin anterior, no trataremos aqu tampoco
el corte con el plano z = z 0 . La parte radial debera, en ese caso, expandirse en una serie que sumase sobre
las races de la ecuacin

J (kb)N (ka) J (ka)N (kb) = 0.

Pueden consultar el libro de Smythe, Static and Dynamic Electricity, seccin 5.304 (est en biblioteca; al
final de estas notas, con caligrafa envidiable, el copista ha incluido las pginas necesarias).

3.1 Funcin de Green con un corte segn = 0

Con un corte mediante un cilindro de radio 0 , el desarrollo de la funcin de Green es
X
X
0
G(r, r ) = cos ( 0 ) sin kn z Rn (, 0 ).
=0 n=1

La funcin Rn es combinacin de las funciones de Bessel I y K . En las dos regiones estn permitidas las
dos funciones, pues no incluyen el eje y est acotado. La anulacin del potencial en a y b y la continuidad
en 0 llevan a la siguiente eleccin
h ih i
Rn (, 0 ) = An I (kn < )K (kn a) I (kn a)K (kn < ) I (kn > )K (kn b) I (kn b)K (kn > ) . (31)

Ser til calcular desde ya el salto de la derivada de Rn al atravesar el cilindro = 0 ,

Rn (, 0 )  Rn (, 0 ) 
 
An h i
 0  0+ = 0 I (kn a)K (kn b) I (kn b)K (kn a) . (32)

Fjense que al calcular este salto puede evitarse algn trabajo si se omiten los trminos que en Rn tienen
derivada continua; basta con derivar los trminos mostrados abajo
h i
Rn (, 0 ) = An I (kn < )K (kn > )I (kn b)K (kn a) + I (kn > )K (kn < )I (kn a)K (kn b) + . . .

Darse cuenta de esto evita incluir unos cuantos trminos que al final se cancelan, pero que dan oportunidad a
equivocarse en el camino. La densidad sigue estando dada por (21) y (23), con lo que se obtiene
8 sin kn z 0
 
,0
An = h i 1 .
h I (kn a)K (kn b) I (kn b)K (kn a) 2

No vale la pena escribir explcitamente la funcin de Green, con esto es suficiente. Ustedes pueden verificar
que en los lmites a 0 y b se obtienen los dos casos anteriores.

4 La regin entre dos planos (problema 25)

El dominio es ahora la regin entre los planos z = 0 y z = h.

17
4.1 Funcin de Green con un corte segn z = z 0
Necesitamos una base capaz de describir la densidad de carga en el plano z = z 0 ,
1
(, ) = ( 0 )( 0 ). (33)

Eso implica que necesitaremos el conjunto de soluciones asociado a las funciones J y N , aunque estas
ltimas deben ser excluidas porque el dominio incluye el eje z. La forma propuesta para G ser entonces
X Z
0 0
G(r, r ) = cos ( ) dk J (k) A (k) Fk (z, z 0 ),
=0 0

donde Fk es la funcin definida en (5). Hay varias formas alternativas de escribir G, dependiendo de la
eleccin de las funciones en . A diferencia del problema anlogo en el cilindro de radio a, aqu la constante
de separacin k puede tomar todos los valores reales entre 0 e infinito. Podramos integrar entre menos y
ms infinito, pero estaramos contando dos veces cada funcin de la base, porque J (x) = (1) J (x);
sera como incluir en la base de vectores del espacio tanto x como
x. Para expandir en la misma base,
lo que necesitamos saber es la siguiente relacin de ortogonalidad
Z
1
d J (k)J (k 0 ) = (k k 0 ). (34)
0 k
As, una funcin de se escribe como
Z
f () = dk k J (k) f(k), (35)
0

donde
Z
f(k) = d J (k) f (). (36)
0

Notar que se incluye un factor k dentro de la integral en (35). Esto es convencional, para que las dos frmulas
anteriores sean simtricas; noten que en la integral que define f aparece un factor . No es necesario recordar
estas cosas si uno recuerda la relacin de ortogonalidad (34), pues, en ese caso, si tienen una ecuacin del
tipo
Z
dk J (k) A(k) = B()
0

podrn despejar A(k) a partir de (34),

Z Z  Z
0
d J (k ) dk J (k) A(k) = d J (k 0 ) B()
0 0 0

Z Z  Z
0
dk d J (k )J (k) A(k) = d J (k 0 ) B()
0 0 0

A(k 0 )
Z
= d J (k 0 ) B().
k0 0

18
Pero notarn tambin que hay cierta ventaja en recordar las frmulas (35) y (36), para la funcin y su trans-
formada, pues directamente hubiramos escrito
A(k)
= B(k).
k
El caso especial en que y k 0 son iguales a cero suele aparecer en los problemas. En ese caso la relacin
de ortogonalidad (34) es
Z
(k)
d J0 (k) = . (37)
0 k
Esta funcin (k) no es exactamente la misma que se obtiene a partir de la integral impropia en cartesianas
Z
dz ikz
e = (k). (38)
2

La diferencia entre las dos aparece cuando se usan dentro de integrales en donde uno de los extremos de
integracin es k = 0. En el caso de la que viene de la integral (37),
Z
dk (k)f (k) = f (0), (39)
0

en tanto que la delta (38) dara f (0)/2. Esto tiene sentido, porque las variables y k, asociadas a la
transformada definida por (35) y (36), corren entre 0 e infinito. Dicho mal y pronto, una delta en estas
variables no podra estar centrada en el origen, con media delta a cada lado del 0, pues no existe el semieje
negativo para esas variables, que s existe para las coordenadas cartesianas.
Para la funcin de la ec. (33), que es par respecto de 0 , podemos hacer un doble desarrollo de Fourier

X Z
0
(, ) = cos ( ) dk k J (k) (k), (40)
=0 0

donde
  Z 2 Z
1 ,0 0
(k) = 1 d cos ( ) d J (k) (, )
2 0 0

 
1 ,0
= 1 J (k0 ).
2
Por otro lado, el salto del potencial al atravesar el plano z 0 es
Z
G(r, r0 )  G(r, r0 ) 
 
X
0 A (k)
= cos ( ) dk k J (k) .
z 
z 0 z 
z 0+ =0 0 k

Fjense que, en la ltima integral, hemos multiplicado y dividido por k, para darle la forma que tienen los
desarrollos (35) y (40). La comparacin con 4 implica la igualdad trmino a trmino en y k,
 
A (k) ,0
= 4 (k) = 4 1 J (k0 ).
k 2

19
Finalmente, separando, como siempre, el trmino con = 0 y escribiendo explcitamente Fk ,
Z "
#
X sinh[k(h z> )] sinh[kz< ]
G(r, r0 ) = 2 dk J0 (k0 )J0 (k) + 2 cos ( 0 ) J (k0 ) J (k) .
0 =1
sinh[kh]
(41)
Si la carga est en el eje z es 0 = 0, y slo sobrevive el trmino con = 0, pues, salvo J0 , todas las
funciones J se anulan cuando su argumento es cero,
Z

0  sinh[k(h z> )] sinh[kz< ]
G(r, r ) =2 dk J0 (k) . (42)
0 =0 0 sinh[kh]
A partir de (41) podemos obtener la funcin de Green del semiespacio z 0 y la funcin de Green en el
espacio no acotado. Tenemos que usar el mismo procedimiento de lmite de las ecs. (11) y (12). En el primer
caso es suficiente tomar el lmite h , con lo que resulta
Z "
#
 
0 0
X
lim G(r, r0 ) = dk J0 (k0 )J0 (k) + 2 cos ( 0 ) J (k0 ) J (k) ek|zz | ek(z+z ) .
h
0 =1
(43)
Para obtener la funcin de Green del espacio no acotado primero se desplaza el origen una cantidad h/2 en
z y luego se aplica el lmite h . Hay que usar el resultado de la ec. (12) y se obtiene
Z "
#
1 X 0

0
= dk J0 (k0 )J0 (k) + 2 cos ( 0 ) J (k0 ) J (k) ek|zz | . (44)
|r r | 0 =1

Con este resultado a la vista, la funcin de Green para el semiespacio, ec. (43), puede interpretarse en
trminos del potencial de dos cargas puntuales, la de prueba y otra de valor (1) situada simtricamente
respecto del plano z = 0. Puesto que en el semiespacio z > 0, tanto z como z 0 son mayores cero, nada
impide escribir la ltima exponencial en (43) como
0 0
ek(z+z ) = ek|z+z | ,

y entonces la identificacin es inmediata.

4.2 Funcin de Green con un corte segn = 0

La eleccin del conjunto de soluciones en el que expandir G est determinada por la necesidad de tener base
en z y en ,
X
X
G(r, r0 ) = cos ( 0 ) sin kn z Rn (, 0 ), (45)
=0 n=1

donde kn = n/h. Las funciones Rn son combinaciones lineales de las funciones de Bessel I (kn )
y K (kn ). Las funciones K estn excluidas de la regin central, y las I de la regin exterior. La
continuidad en 0 queda asegurada si elegimos Rn de la forma

Rn (, 0 ) = An I (kn < )K (kn > ).

20
Ya antes escribimos (, z) = (z z 0 )( 0 )/0 segn un desarrollo del tipo (45),
X
X
(, z) = cos ( 0 ) sin kn z n ,
=0 n=1

donde
2 sin kn z 0
 
,0
n = 1 .
0 h 2

El trmino n del salto del potencial a travs del plano 0 es

  !
G  G  An
0
0
= kn An [I 0 (kn 0 )K (kn 0 ) I(kn 0 )K0 (kn 0 )] = 0 ,
0
 0+

n

y debe ser igual a 4n , lo que implica

8 sin kn z 0
 
,0
An = 1 ,
h 2

"
#
4 X X
G(r, r0 ) = sin kn z 0 sin kn z I0 (kn < )K0 (kn > ) + 2 cos ( 0 ) I (kn < )K (kn > ) .
h n=1 =1

Para la carga en el eje z, es sin duda < = 0 , y habr que evaluar las funciones I en cero. Todas se
anulan ah salvo I0 , que toma el valor 1,

0
 4X
G(r, r ) = sin kn z 0 sin kn z K0 (kn > ). (46)

0 =0 h n=1

4.3 Densidad de carga inducida sobre los planos

Podemos asumir que la carga est en el eje z y usar (42) o (46). Tomemos la primera de estas expresiones.
El potencial de una carga q sobre el eje z en z 0 es
Z
sinh[k(h z> )] sinh[kz< ]
(r) = 2q dk J0 (k) .
0 sinh[kh]

La densidad inducida sobre el plano z = 0 es

Z
k sinh[k(h z 0 )]

1 (r)  q 0
0 () = = dk J 0 (k )J0 (k) .
4 z z=0+ 2 0 sinh[kh]

Esto no dice mucho, pero la carga total se puede calcular explcitamente

Z Z Z
k sinh[k(h z 0 )]

Q0 = 2 d 0 () = q dk d J0 (k) .
0 0 0 sinh[kh]

21
El trmino entre corchetes puede calcularse usando (37) y recordando que la delta de cilndricas asociada a
la coordenada radial cumple (39),
sinh[k(h z 0 )] z0
 
Q0 = q lim = q 1 .
k0 sinh[kh] h
Sobre el plano z = h , se encuentra de manera parecida que
Z
k sinh[kz 0 ]

1 (r)  q 0
h () = = dkJ0 (k )J0 (k) ,
4 z z=h 2 0 sinh[kh]

z0
Qh = q .
h
La carga sobre cada plano es una funcin lineal de la altura de la carga de prueba, y adems Q0 + Qh + q = 0,
que es algo previsible, pues en la regin exterior a los planos el campo elctrico es cero.
Queda como ejercicio calcular las densidades y las cargas inducidas empleando la forma (46).

Problemas no acotados en la direccin z

Trataremos tres clases de recintos no acotados en z donde puede usarse separacin en coordenadas cilndri-
cas. Por no acotados queremos decir que z puede recorrer todo el eje. Estas clases son:

1. El interior del cilindro infinito de radio a.

2. La regin entre dos cilindros infinitos, concntricos, de radios a y b.

3. El espacio no acotado.

Como caso especial trataremos el cuarto de cilindro del problema 13, que es una extensin de los problemas
de la primera categora.

5 El interior del cilindro infinito (problema 22, primera parte)

5.1 Funcin de Green: corte segn el plano z = z 0
No es mucho lo que hay que modificar respecto del caso del cilindro de altura h. Bastar reemplazar las
funciones Fk en z por otras que tengan las propiedades adecuadas en z ,
X
X
0
G(r, r ) = cos ( 0 ) J (kn ) An hkn (z, z 0 ),
=0 n=1

donde kn = xn /a , y
0
0 ek|zz |
hk (z, z ) = .
2k

22
La definicin de hk es tal que

hk (z, z 0 ) = hk (z 0 , z), hk (z , z 0 )| acotada,

 
0+ 0 0 0 hk  hk 
hk (z , z ) = hk (z , z ), = 1.
z z0 z z0 +

La comparacin entre el trmino n del salto de la derivada de G respecto de z y el trmino n de la

densidad superficial, dado por (19), determina los mismos coeficientes que para el cilindro finito, ec. (20).
Finalmente, la funcin de Green para el cilindro infinito slo difiere de la expresin (10) para el cilindro finito
en la sustitucin de las funciones Fk por las hk ,

"
#
0 0
2 X J0 (k0n ) J 0 (k0n ) 0
X J (k n ) J (k n ) 0
G(r, r0 ) = ek0n |zz | + 2 cos ( 0 ) ekn |zz | .
a n=1 x0n J12 (x0n ) =1
x J 2
n +1 (x n )

5.2 Funcin de Green: corte segn = 0

Con respecto al caso del cilindro finito, aqu se ve una diferencia importante, que es el paso de sumas a
integrales de Fourier en la direccin z. La densidad superficial en el cilindro de radio 0 es una funcin de
z y de ,
1
(, z) = (z z 0 )( 0 ). (47)
0
Para tener base en z uno est obligado a elegir el conjunto de soluciones que tiene exponenciales imaginarias
en z o, alternativamente, senos y cosenos o alguna combinacin lineal. A este mismo conjunto se llega si
en lugar de pensar en trminos de bases uno pide que las funciones en z estn acotadas en todo el eje. La
expansin del potencial puede hacerse de varias maneras, dependiendo de la combinacin de funciones en z
que se elija,

X Z
0 0
G(r, r ) = cos ( ) dk eikz A (k) Rk (, 0 ), (48)
=0

X Z h i
0 0
G(r, r ) = cos ( ) dk A (k) cos kz + B (k) sin kz Rk (, 0 ), (49)
=0 0

X Z
0 0
G(r, r ) = cos ( ) dk cos k(z z 0 ) A (k)Rk (, 0 ). (50)
=0 0

Los coeficientes A (k) y B (k) en cada ecuacin no son necesariamente los mismos, aunque se usen los
mismos smbolos. Si a esto agregsemos las diversas formas de escribir el desarrollo de Fourier en ,
tenemos, por lo bajo, nueve desarrollos equivalentes.

23
 Respecto la funcin radial Rk , la combinacin que es regular en = 0, que se anula en = a y que es
continua en = 0 es la misma que se us para el cilindro finito, ec. (22),
h i
0
Rn (, ) = I (k< ) K (k> )I (ka) K (ka)I (k> ) .

Las primeras dos formas, (48) y (49), podran usarse para cualquier potencial par respecto de 0 , no solo
para la funcin de Green, pero la ltima forma del desarrollo, ec. (50), es slo compatible con un potencial
que sea tambin par respecto de z 0 . La primera y ltima forma terminan siendo las ms prcticas porque
aparece una sola funcin incgnita.
Las tres formas de escribir la funcin de Green estn asociadas a los siguientes desarrollos de Fourier
Z Z
ikz 1
f (z) = dk e f (k), f (k) = dz eikz f (z),
2

Z h i fc (k) 1
Z cos kz
f (z) =
dk fc (k) cos kz + fs (k) sin kz , = dz f (z),
0
fs (k) sin kz

Z Z Z
2 1
f (z) = dk cos k(z z ) f(z), f(k) =
0
dz cos k(z z ) f (z) = 0
dz cos k(z z 0 ) f (z).
0 z0

Del primer desarrollo se deducen los otros dos. El ltimo es el ms prctico para calcular la funcin de Green,
porque sabemos que es par respecto de z 0 . De las dos integrales que definen f en ese caso, la ltima es la
ms segura de usar cuando la distribucin es una delta centrada en z 0 . En cualquier caso el resultado es el
mismo, pero hay que tener cuidado si se usa la primera integral porque la delta est centrada en el extremo
del intervalo,
Z
2 1
dz cos k(z z)0 (z z 0 ) =
z0

Z
1 1
dz cos k(z z 0 ) (z z 0 ) = .

Combinando este desarrollo con un desarrollo en cos ( 0 ), la densidad de la ec. (47) se escribe
X Z
0
(, z) = cos ( ) dk cos k(z z 0 ) (k),
=0 0

donde
 
1 ,0
(k) = 2 0 1 . (51)
2
El salto de la derivada radial implica
 
4 ,0
A (k) = 1 ,
I (ka) 2

24
 (
Z
2 I0 (k< ) h i
G(r, r0 ) = dk cos k(z z 0 ) K0 (k> )I0 (ka) K0 (ka)I0 (k> )
0 I0 (ka)

)
X I (k< ) h i
+2 cos ( 0 ) K (k> )I (ka) K (ka)I (k> ) . (52)
=1
I (ka)

Analicemos varios casos, empezando por la carga de prueba en el eje z,

2
Z

0  1 h i
G(r, r ) = dk cos k(z z 0 ) K0 (k)I0 (ka) K0 (ka)I0 (k) .
0 =0 0 I0 (ka)
Si ahora el radio del cilindro tiende a infinito obtenemos la identidad
2
Z
1
p = dk cos k(z z 0 ) K0 (k).
2
+ (z z ) 0 2 0

Para la carga en cualquier punto del espacio, si el radio del cilindro tiende a infinito se obtiene
(
)
2
Z
1 X
= dk cos k(z z 0 ) I0 (k< )K0 (k> ) + 2 cos ( 0 ) I (k< )K (k> ) . (53)
|r r0 | 0 =1

5.3 Solucin del problema de contorno con condiciones en la cara lateral (problema
24a)
Supongamos que se fija el potencial en la superficie = a, donde es cierta funcin V (, z). Ser cmoda la
siguiente forma para el potencial
Z
X
i I (k)
(r) = e dk eikz A (k) .
= I (ka)

Las funciones K estn excluidas porque buscamos regularidad en el eje. No debe preocupar aqu el hecho
de que tanto como k tomen valores positivos y negativos. Las funciones de Bessel I estn bien definidas
en los dos casos y en los dos casos son reales. Ante el cambio de signo de ,

I = I , (54)

y ante el cambio de signo del argumento

I (x) = (1) I (x). (55)

La condicin de contorno debe desarrollarse en la misma base

X Z
i
V (, z) = e dk eikz V (k),
=

Z 2 Z
1 i
V (k) = d e dz eikz V (, z). (56)
(2)2 0

25
La comparacin entre el desarrollo de evaluado en = a y el potencial en la frontera es inmediata e
implica
Z
X
i I (k)
(r) = e dk eikz V (k) . (57)
= I (ka)
Respecto al carcter real o imaginario de este potencial, si queremos ver que una funcin escrita en la forma
X Z
i
f (, z) = e dk eikz f (k),
=

es real, lo que hay que mostrar es que la funcin conjugada, es decir,

" Z #
X X Z
i
f (, z) = e i ikz
dk e f (k) = e dk eikz f (k),
= =

coincide que f (, z). Cambiando de variables y k k, se obtiene

X Z
i
f (, z) = e dk eikz f (k),
=

de manera que la condicin que hay que pedir para que f sea real es que

f (k) = f (k). (58)

Luego, para que sea = lo que habra que mostrar es que

I (k) I (k)
V (k)
= V (k) . (59)
I (ka) I (ka)

En efecto, como por hiptesis V (, z) es real, su transformada cumple V (k) = V (k). Adems, el
hecho de que las funciones I sean reales en todo el eje y las propiedades (54) y (55) permiten escribir

I (k) (1) I (k) I (k)

=
= .
I (ka) (1) I (ka) I (ka)
Con eso basta para asegurar que vale (59).
Si hubiramos elegido un desarrollo explcitamente real, como por ejemplo,
X Z h
(r) = dk A (k) cos cos kz + B (k) cos sin kz
=0 0
i I (k)

+ C (k) sin cos kz + D (k) sin cos kz ,
I (ka)
todo sera levemente ms engorroso, pero la identificacin de cada coeficiente continuara siendo inmediata ,
  Z 2 Z
1 ,0
A (k) = 2 1 d cos dz cos kz V (, z),
2 0

  Z 2 Z
1 ,0
B (k) = 2 1 d cos dz sin kz V (, z),
2 0
 
,0
Hay que inventar un smbolo para 1 .
2

26
 Z 2 Z
1
C (k) = 2 d sin dz cos kz V (, z),
0

Z 2 Z
1
D (k) = 2 d sin dz sin kz V (, z). (60)
0

5.4 Simetra de traslacin en z (problema 24 b y c)

Resulta interesante estudiar el caso en que hay simetra de traslacin en z. Para el problema de contorno que
acabamos de ver, el potencial en la frontera debera ser slo una funcin del ngulo

V (, z) = V ().

En ese caso, la transformada en z de V es proporcional a la delta de k. Explcitamente, a partir de (56),

Z 2 Z
(k) 2
Z
1 i ikz
V (k) = d e dz e V () = d ei V () (k) V .
(2)2 0 2 0

Entonces , en la ec. (57), es

X I (k)
(r) = ei V lim .
0 I (ka)
k
=

Las funciones I se comportan bien en el origen,

x
I (x) = + . . . , si 0, y I (x) = I (x), (61)
2 !
as que el lmite no es difcil de calcular,
 ||
X X   
ei V 2Re ei V

(r) = = .
=
a =0
a

La otra cara de los problemas con simetra de traslacin corresponde a condiciones de borde homogneas
y de densidad dentro del volumen distinta de cero. Para el problema con condiciones de frontera homogneas,
si la densidad de carga c en el interior del volumen no depende de z, la solucin en trminos de la funcin
de Green es
Z Z Z a Z 2
3 0 0 0 0 0 0
(r) = d r G(r, r ) c (r ) = dz d d0 G(r, r0 ) c (0 , 0 ).
V 0 0

El problema es efectivamente bidimensional, y lo que hace las veces de funcin de Green es la integral en z 0
de la funcin de Green original,
Z Z a Z 2
2 0 0 0 0 0
(r) = d G2D (, ) c ( ) = d d0 G2D (, 0 ) c (0 , 0 ),
S 0 0

27
donde
Z
0
G2D (, ) = dz 0 G(r, r0 ).

Los vectores y 0 son los vectores en el plano xy

= , 0 = 0 0 .

Consideremos la funcin de Green en la forma (52). La integral en z 0 slo afecta a la funcin cos k(z z 0 ),
y es
Z
dz 0 cos k(z z 0 ) = 2(k).

Con esta delta, la integral en k que aparece en (52) puede hacerse explcitamente, teniendo en cuenta que al
estar la delta centrada en el extremo del intervalo de integracin aparecer un factor 1/2,
(
I0 (k< ) h i
G2D (, 0 ) = 2 lim K0 (k> )I0 (ka) K0 (ka)I0 (k> )
k0 I0 (ka)

)
X I (k< ) h i
+2 cos ( 0 ) K (k> )I (ka) K (ka)I (k> ) . (62)
=1
I (ka)

Ustedes deberan verificar, buscando en algn libro los desarrollos de las funciones I y K cerca del origen,
que para > 0 es
    
h i 1 x y
lim I (kx)K (ky) I (ky)K (kx) = , (63)
k0 2 y x
y que para = 0,
 
h i x
lim I0 (kx)K0 (ky) I0 (ky)K0 (kx) = log . (64)
k0 y
El lmite I (kx)/I (ky) ya apareci antes, se obtiene a partir de (61),
 
I (kx) x
lim = .
k 0 I (ky) y
Con esto la ec. (62) resulta
(   )
0
 
a X 1 < ( )
G2D (, 0 ) = 2 log + cos ( 0 ) 2 . (65)
> =1
> a

Si a , con omisin de una constante aditiva infinita, se obtiene la funcin de Green bidimensional para
el espacio no acotado
 
0 1 X 1 0 <
lim G2D (, ) = 2 log +2 cos ( ) . (66)
a > =1
>

28
En problemas bidimensionales, los que cumplen el rol de cargas de prueba son cables infinitos de densidad
lineal unitaria. Conocemos la solucin del problema de un cable con densidad lineal , paralelo al eje z y
que pasa por el punto 0 del plano xy,
h i
0 2 02 0 0
(r) = 2 log | | = log + 2 cos( ) + C,

donde C es alguna constante. De manera que tenemos ahora la siguiente identidad

   
1 1 X 1 0 <
log 2 02 0 0
+ C = 2 log +2 cos ( ) .
+ 2 cos( ) > =1
>

Si hacemos 0 = 0, en el miembro de la derecha slo sobrevive el primer trmino, con > = , en tanto que
el trmino de la izquierda es 2 log(1/) + C. As se ve que C = 0,
   
1 1 X 1 0 <
log 2 = 2 log + 2 cos ( ) .
+ 02 20 cos( 0 ) > =1
>

Incidentalmente, la funcin de Green bidimensional para el problema interior del cilindro infinito, ec. (65),
puede escribirse como la suma del potencial de dos cables. . . ms otra cosa. Teniendo presente la ec. (66),
est claro que en la expresin (65) puede separarse el potencial de un cable que pasa por 0 ,
"   #
1 X 1 <
G2D (, 0 ) = 2 log +2 cos ( 0 )
> =1
>

"
#
0
X 1 ( )
+ 2 log a cos ( 0 ) 2 . (67)
=1
a

Lo que aparece en la primera lnea es el potencial de un cable de densidad lineal 1 que pasa por 0 . Pero
a qu corresponde lo que est escrito en la segunda lnea? Puede mostrarse que es el potencial de un cable
imagen y algo ms. Para ver esto hay que notar que, al tratarse del problema interno, la cantidad a2 /0 es
siempre mayor que a y que . De esta manera, el trmino (0 /a2 ) en la segunda lnea de (67) puede
escribirse como

<

= ,
(a2 /0 ) >

donde el asterisco indica que la comparacin es entre y a2 /0 . Si, correspondientemente, entre los trminos
con = 0 apareciera el siguiente logaritmo

0
 
1
log = log ,
a2 >

podramos identificar el segundo corchete en la ec. (67) con el potencial de un cable de densidad lineal (1)
ubicado en (a/0 )2 0 . Pero el hecho es que ese logaritmo no aparece. Si lo sumamos y lo restamos, podemos

29
escribir entonces
"
#
X 1 (0 )
2 log a , cos ( 0 ) 2 =
=1
a

"
#
0 0 (0 )
     X 1
= 2 log a + log 2 log + cos ( 0 ) 2
a2 a2 =1
a

 0

= 2 log + 2 log | (a2 /0 ) 0 |.
a
Luego,
 0
0  
G2D (, ) = 2 log 2 log | 0 | log | (a/0 )2 0 | . (68)
a
No basta con un cable imagen para resolver el problema, aunque es parte de la solucin. El trmino extra es
constante, as que puede pensarse como la contribucin de una densidad superficial uniforme en las paredes
del cilindro infinito.
Digamos para terminar que cuando hay simetra de traslacin, la constante de separacin en z, igual que
pasaba en cartesianas, es cero,

Z(z)00 = 0.

El problema es efectivamente bidimensional, de manera que uno podra partir de la solucin de la ecuacin
de Laplace en 2 dimensiones,
h
X ih i
(, ) = a0 + b0 log + a cos + b sin A + B . (69)
=1

As, para el problema de contorno en el interior del cilindro infinito, si en el lateral es (a, ) = V (), la
solucin que es regular en el eje debera buscarse de la forma
h
X i  
(, ) = a0 + a cos + b sin .
=1
a

El factor a se ha incluido teniendo en cuenta que las cosas deben ser evaluadas luego en = a. Ah la
condicin de borde implica
h
X i
V () = a0 + a cos + b sin .
=1

Pero entonces podemos leer directamente que los coeficientes a y b deben ser los coeficientes del desarrollo
de Fourier de V (),
  Z 2 Z 2
1 ,0 1
a = 1 d cos V (), b = d sin V ().
2 0 0

30
6 El cuarto de cilindro (problema 23)
Se trata de encontrar la funcin de Green para el interior de un cilindro infinito cuya seccin es un cuarto de
cilindro circular, digamos, con 0 /2. Si partiramos desde cero, escribiendo la ecuacin de Laplace
en coordenadas cilndricas, la diferencia con el caso del cilindro circular completo recin aparecer al elegir
las funciones angulares. La ecuacin para estas funciones es, en cualquier caso,

Q()00 + 2 Q() = 0.

No buscamos ahora periodicidad en 2 sino anulacin en las superficies definidas por = 0 y = /2.
Como se trata de anular la funcin Q() en dos puntos, la nica posibilidad es elegir 2 > 0; ms an, debe
ser
n
= = 2n, n = 1, 2, 3, . . .
/2

Qn () = sin 2n.

Estas funciones reemplazan al conjunto de las exponenciales ei con entero. Las funciones en z y en
no sufren ningn cambio. En z sern exponenciales, imaginarias o reales, y en la direccin radial sern las
funciones de Bessel, slo que ahora el ndice de estas funciones ser 2n en lugar de .
Para escribir la funcin de Green podemos dividir en regiones con un corte por z = z 0 . Las funciones
radiales podran ser las J2n (k) y las N2n (k), pero estas ltimas quedan descartadas al pedir regularidad
en el eje z. Para anular el potencial en = a debe sumarse sobre los valores de k dados por knm = xnm /a,
donde xnm debe entenderse ahora como el cero msimo de la funcin de Bessel J2n . As tendremos
X

0
X
0
G(r, r ) = sin 2n J2n (knm ) eknm |zz | Anm .
n=1 m=1

Cualquier funcin de y de en el cuarto de disco puede desarrollarse en esta base,

X
X
f (, ) = sin 2n J2n (knm ) fnm ,
n=1 m=1

donde
Z /2 Z a
2 2
fnm = 2 2
d sin 2n d J2n (knm ) f (, )
/2 a J2n+1 (xnm ) 0 0

Z /2 Z a
8
= 2
d sin 2n d J2n (knm ) f (, ).
a2 J2n+1 (xnm ) 0 0

Para la densidad (, ) = ( 0 )( 0 )/, es

8 sin 2n0 J2n (knm 0 )
nm = 2
.
a2 J2n+1 (xnm )

31
La condicin de salto se escribe en este caso
32 sin 2n0 J2n (knm 0 )
2knm Anm = 2
.
a2 J2n+1 (xnm )
Luego,

0 16 X X J2n (knm )J2n (knm 0 ) knm |zz0 |
G(r, r ) = sin 2n sin 2n0 2
e .
a n=1 m=1 xnm J2n+1 (xnm )

La funcin de Green para el cuarto de cilindro tambin puede hallarse a partir de la funcin de Green del
cilindro completo usando imgenes. Son necesarias 3 imgenes, ubicadas como en la figura

La funcin de Green en todo el cilindro qued escrita por primera vez en la ec. (13); la indicamos ahora
usando una nueva letra

"
2 X J0 (k0n ) J0 (k0n 0 ) k0n |zz0 |
G(r, r0 ) = e
a n=1 x0n J12 (x0n )

#
X J (kn ) J (kn 0 ) kn |zz0 |
0
+2 cos ( ) 2
e .
=1
xn J+1 (xn )

La funcin de Green del cuarto de cilindro ser

G(r, r0 ) = G(r, r1 ) G(r, r2 ) + G(r, r3 ) G(r, r4 ), (70)

donde r1 = r0 = (0 , 0 , z 0 ), r2 = (0 , 0 , z 0 ), r3 = (0 , 0 + , z 0 ) y r4 = (0 , 0 , z 0 ). Al sumar los

potenciales de la carga de prueba y de sus imgenes, el trmino con = 0 se cancela de a pares. Para los
trminos con > 0 aparecer la siguiente combinacin de cosenos

cos( 0 ) cos ( + 0 ) + cos ( 0 ) cos ( + 0 )

h i 0, si = 2n + 1,
= cos ( 0 ) cos ( + 0 ) [1 + (1) ] =
4 sin 2n sin 2n0 , si = 2n.

32
Luego, la suma (70) es

16 X X J2n (knm ) J2n (knm 0 ) knm |zz0 |
sin 2n sin 2n0 2
e ,
a n=1 m=1 xnm J2n+1 (xnm )

donde knm = xnm /a y xnm es el msimo cero de la funcin de Bessel J2n . Es el mismo resultado de
antes.
Si el ngulo formado por la seccin del cilindro fuera , podramos tambin emplear imgenes a partir de
la funcin de Green del cilindro completo. Sera necesaria una sola imagen. Hay que notar que si uno conoce
la funcin de Green para un cilindro cuya seccin comprende un ngulo , la funcin de Green cuando el
ngulo es /2 se obtiene de manera inmediata por imgenes. Con esto queda demostrado que para cualquier
ngulo de la forma /2n la funcin de Green puede escribirse a partir de la funcin de Green del cilindro
completo usando un nmero finito de imgenes. No es tan directo demostrar que el mtodo puede extenderse
a cualquier ngulo de la forma /n. No slo importa que el nmero de imgenes sea finito sino que las
imgenes no ingresen dentro del sector donde se est calculando el potencial. Cualquier ngulo de la forma
m/n da un nmero finito de imgenes, pero slo aquellos con m = 1 satisfacen la segunda condicin. La
demostracin queda como ejercicio.
A pesar de lo que pueda sugerir el prrafo anterior, el problema siempre puede resolverse mediante el
primer mtodo que vimos, sin recurrir a imgenes. El resultado general sera

n0 J n (knm )J n (knm 0 ) knm |zz0 |
 
0 8 X X  n 

G(r, r ) = sin sin e ,
a n=1 m=1 xnm J 2n +1 (xnm )

donde ahora debe entenderse que xnm es el msimo cero de la funcin de Bessel J n
. El hecho de que el
ndice no sea entero, o siquiera racional, no afecta que las funciones J n

sean una base ortogonal.

7 La regin entre dos cilindros infinitos, concntricos, de radios a y b

7.1 Funcin de Green: corte segn = 0
Trataremos slo este tipo de corte. Ya sabiendo que la funcin de Green es par respecto de z 0 y de 0
escribimos la siguiente expansin

X Z
0 0
G(r, r ) = cos ( ) dk cos k(z z 0 ) A (k)Rk (, 0 ).
=0 0

Ahora las funciones Rk deben anularse en = a y en = b y ser continuas a travs del cilindro de radio
0 . Estn permitidas tanto las funciones I como las K . En realidad es la misma combinacin que usamos
antes para el mismo problema pero acotado en z, (31). En vista de esa ecuacin y del resultado (32) para el
salto de la derivada radial, podemos definir ahora
h ih i
I (k< )K (ka) I (ka)K (k< ) I (k> )K (kb) I (kb)K (k> )
Rk (, 0 ) = , (71)
I (ka)K (kb) I (kb)K (ka)

33
con lo que resulta

Rk (, 0 )  Rk (, 0 ) 
 
1
= 0.

0 
0+

La comparacin entre el salto de la derivada de G y la densidad superficial (51) implica

 
4 ,0
Ak = 1 ,
2

"
#
Z
2 X
G(r, r0 ) = dk cos k(z z 0 ) R0k (, 0 ) + 2 cos ( 0 ) Rk (, 0 ) . (72)
0 =1

7.1.1 Casos lmite (problema 22, segunda parte)

Los lmites a 0 y b 0 dan la funcin de Green en el interior del cilindro de radio b y en el exterior
del cilindro de radio a, respectivamente. El lmite a 0 est regulado por las funciones K (ka), pues son
divergentes en el origen,

I (k< ) h
0
i
lim Rk (, ) = K (k> )I (kb) K (kb)I (k> ) .
a0 I (kb)

La funcin de Green que resulta al usar esta expresin en la ec. (72) es la que obtuvimos antes para el interior
del cilindro, ec. (52), cambiando a por b. Al tomar el lmite b las que dominan son las funciones
I (kb),

K (k> ) h i
lim Rk (, 0 ) = I (k< )K (ka) I (ka)K (k< ) ,
b
K (ka)

y la funcin de Green, que debe corresponder a la del exterior del cilindro de radio a, se escribe como
Z (
2 K0 (k> ) h i
G(r, r0 ) = dk cos k(z z 0 ) I0 (k< )K0 (ka) I0 (ka)K0 (k< )
0 K0 (ka)

)
X K (k > ) h i
+2 cos ( 0 ) I (k< )K (ka) I (ka)K (k< ) .
=1
K (ka)

7.2 Problema de contorno con condiciones no homogneas en el cilindro de radio a

Supongamos que se fija = 0 en = b, y (a, , z) = V (, z). Usaremos el mtodo de la funcin de
Green. Sin cargas en el volumen, la solucin es una integral sobre la superficie de radio a,
Z 2 Z  
1 0 G
(r) = ad dz 0 (r, r0 ) V (0 , z 0 ).
0
4 0

34
Es menos la derivada de G lo que aparece aqu porque la normal exterior sobre el cilindro de radio a es
). Necesitaremos la derivada de Rk respecto de 0 en 0 = a. Ah sin duda es < = 0 , y por lo tanto
(
h ih i
0 0
Rk (, 0 ) 
 k I (ka)K (ka) I (ka)K (ka) I (k)K (kb) I (kb)K (k)
=
0 0
=a I (ka)K (kb) I (kb)K (ka)

1 I (k)K (kb) I (kb)K (k)

= .
a I (ka)K (kb) I (kb)K (ka)
Luego
"
#
Z 2 Z Z
1 0 0 0
X
(r) = 2 ad dz dk cos k(z z ) 0R0k (, a) + 2 cos ( ) 0Rk (, a) V (0 , z 0 )
0
2 0 0 =1

Z
X I (k)K (kb) I (kb)K (k) h
= dk A (k) cos cos kz + B (k) cos sin kz
=0 0 I (ka)K (kb) I (kb)K (ka)
i
+ C (k) sin cos kz + D (k) sin sin kz , (73)

donde las funciones A , B , etc., estn dadas por las mismas ecuaciones (60). Completen ustedes los pasos
intermedios que llevan a esa identificacin. Pero noten que el resultado tiene sentido, porque al evaluar en
= a se recupera la expansin de la funcin V (, z).
Planteado el mismo problema de contorno por separacin de variables, podra proponerse para el
siguiente desarrollo, menos explcito pero ms manejable,
Z
X
i I (k)K (kb) I (kb)K (k)
(r) = e dk eikz A (k) . (74)
= I (ka)K (kb) I (kb)K (ka)
Aqu lo nico que hemos usado es una combinacin de funciones radiales que se anula en = b, y hemos
elegido convenientemente un factor que hace que la combinacin valga 1 en = a. Si el potencial se escribe
como una doble transformada compleja de Fourier,
Z Z 2 Z
X 1 i
V (, z) = ei
dk eikz V (k), V (k) = d e dk eikz V (, z),
= (2)2 0

de manera inmediata tenemos A (k) = V (k),

Z
X
i I (k)K (kb) I (kb)K (k)
(r) = e dk eikz V (k) . (75)
= I (ka)K (kb) I (kb)K (ka)
Podra haber aqu un recelo justificado respecto la naturaleza real o imaginaria de este resultado, pues la
integral en k recorre todo el eje y las funciones K adquieren una parte imaginaria sobre el eje negativo.
Para no introducir ms consideraciones de las que ya hay, hemos estado callando algo hasta ahora. Cada vez
que hemos propuesto un desarrollo para el potencial en la forma
XZ
)(r) = dk eikz Rk () . . .

35
con la integral en k recorriendo todo el eje, la combinacin de funciones radiales se ha construido con las
funciones I (k) y K (k). La salvedad que hemos omitido hacer es que en estas funciones debera aparecer
no k sino su valor absoluto. As como cuando uno separa en cartesianas y escribe, por ejemplo,
Z Z
(r) = dkx dky ei(kx x+ky y) Zkx ky (z),

donde Zkx ky (z) es una combinacin de exponenciales reales, estas combinaciones se forman con las funciones
2 2
e kx +ky z = e|k| z .

Lo mismo ocurre con las funciones de Bessel, donde en verdad las dos soluciones independientes se eligen
como I (|k|) y K (|k|). Con esta distincin, todas las demostraciones acerca del carcter real de los
potenciales son triviales.

7.3 Simetra de traslacin en z

Consideremos primero la solucin del problema de contorno (75). Para ver lo que ocurre en esta clase de
recintos cuando se tiene simetra de traslacin en z, hay que analizar el lmite cuando k 0 de las funciones
radiales del tipo

I (k)K (kb) I (kb)K (k)

,
I (ka)K (kb) I (kb)K (ka)

puesto que un potencial con simetra de traslacin en z tiene asociado una transformada de Fourier propor-
cional de (k). Para V independiente de z, las funciones A (k), B (k), etc., definidas en (60), son
  Z 2 Z
1 ,0
A (k) = 2 1 d cos dz cos kz V ()
2 0

  Z 2
2(k) ,0
= 1 d cos V () 2(k) Vc ,
2 0

 Z 2 Z
1 ,0
B (k) = 2 1 d cos dz sin kz V () = 0,
2 0

Z 2 Z Z 2
1 2(k)
C (k) = 2 d sin dz cos kz V () = d sin V () 2(k) Vs ,
0 0

Z 2 Z
1
D (k) = 2 d sin dz sin kz V () = 0.
0

36
Al volver a la ec. (73), hay que tener en cuenta que la integral en k parte de 0, as que las deltas de k
integradas dan un factor 1/2. El resultado es
 
X I (k)K (kb) I (kb)K (k)  
(r) = Vc cos + Vs sin
=0
I (ka)K (kb) I (kb)K (ka) k 0

log(/b) c X (/b) (b/)  c s

= V + V cos + V sin .
log(a/b) 0 =1 (a/b) (b/a)

Para escribir el lmite de la funcin entre corchetes hemos usado (63) y (64). Este es el resultado que obten-
dran si resolviesen directamente la ecuacin de Laplace en 2 dimensiones, usando la expansin (69).
Si ahora en lugar del problema de contorno, lo que se tiene es una distribucin de carga c con simetra
de traslacin, la solucin del problema con potencial a cero en la frontera quedar dada en trminos de la
funcin de Green (72)
Z Z b Z 2
0 0 0
(r) = dz d d0 G(r, r0 ) c (0 , 0 )
a 0

Z b Z 2 Z 
0 0 0
= d d dz G(r, r ) c (0 , 0 ).
0 0
a 0

De manera que lo que hace las veces de funcin de Green del problema bidimensional es la integral en todo
el eje z 0 de la funcin de Green original,
Z
0
G2D (, ) = dz 0 G(r, r0 ),

donde = y 0 = 0 0 son vectores en el plano xy. Al reemplazar (72) en esta expresin, todo el peso
de la integral en z 0 cae sobre la funcin cos k(z z 0 ),
Z
dz 0 cos k(z z 0 ) = 2(k).

La integral en k ahora puede hacerse usando esta delta, pero recordando que, como est centrada en el
extremo del intervalo de integracin, debe incluirse un factor 1/2,
"
#
X
G2D (, 0 ) = 2 lim R0k (, 0 ) + 2 cos ( 0 ) Rk (, 0 ) .
k
0
=1

La funcin Rk es la que aparece en (71), y el lmite puede tomarse con ayuda de los resultados (63) y (64),
         
    < a > b
log
<
log
>

a   b +2
X a b >
G2D (, 0 ) = 2 a cos ( 0 ) <     .
log a b
b
=1
b a

37
 Tomando el lmite a 0 se obtiene la funcin de Green bidimensional correspondiente al interior del
cilindro de radio b,
 
(0 )
  
0 b X 1 0 <
lim G2D (, ) = 2 log +2 cos ( ) 2 ,
a
0 > =1
> b

resultado que ya obtuvimos antes por un mtodo ms directo, ec. (65). Si en cambio se toma el lmite
b deberamos obtener la funcin de Green bidimensional en el exterior del cilindro infinito de radio
a,
 
a2
  
0 <
X 1 0 <
lim G(, ) = 2 log +2 cos ( ) .
b a =1
> (0 )

Esto no lo calculamos antes. Queda para ustedes como ejercicio verificar que esta funcin de Green puede
escribirse del mismo modo que la funcin de Green bidimensional en el interior del cilindro, ec. (68).

8 El espacio no acotado
8.1 Funcin de Green
Ya hemos obtenido dos formas de la funcin de Green del espacio no acotado, tomando lmites en el caso de
la regin entre dos planos infinitos y en el caso del cilindro infinito, ecs. (44) y (53). Podemos llegar a esas
expresiones de manera directa. Con un corte por el plano z = z 0 , la expansin de la funcin de Green queda
determinada por la necesidad de tener una base en y en o, alternativamente, por el hecho de que ni las
funciones I ni las K son bien comportadas en todo el intervalo de . Por uno u otro camino la forma para
G debe ser
Z
0
X
0 0
G(r, r ) = cos ( ) dk J (k) ek|zz | A (k).
=0 0

La densidad de carga se expande de manera similar,

Z
1 X
(, ) = ( 0 )( 0 ) = cos ( 0 ) dk k J (k) (k),
=0 0

donde
 Z  
1 ,0 1 ,0
(k) = 1 d J (k)(, ) = 1 J (k0 ).
2 0 2
Notar que la convencin para escribir la transformada de es incluir en la integral un factor k. Este factor
luego se cancela con el que aparece al tomar la derivada de G cuando se calcula el salto de la derivada
normal. Planteando entonces la condicin de salto al atravesar el plano z = z 0 se obtiene
 
,0
A (k) = 2 1 J (k0 ),
2

38
 "
#
Z
0
X
G(r, r0 ) = dk J0 (k0 )J0 (k) + 2 cos ( 0 ) J (k0 )J (k) ek|zz | .
0 =1

A este resultado se lleg varias pginas atrs tomando el lmite de la funcin de Green entre dos planos
cuando los planos se alejan uno del otro infinitamente, ec. (44). Si la carga de prueba est sobre el eje z,
todos los trminos con 6= 0 se anulan, porque J (k0 ) se anula en ese caso, y queda
Z

0  1 0
G(r, r ) =p = dk J0 (k) ek|zz | .
0 =0 2 + (z z 0 )2 0

Si la carga est en el origen

Z
1
= dk J0 (k) ek|z| . (76)
r 0

Si el corte se hace con un cilindro de radio 0 , la funcin de Green debe expandirse tomando bases en z
y en , que, por otro lado, es la nica forma de tener funciones acotadas en todo el eje z,

X Z
0 0
G(r, r ) = cos ( ) dk cos k(z z 0 ) I (k< )K (k> ) A (k).
=0 0

La densidad superficial de carga es

Z
1 X
(, z) = 0 (z z 0 )( 0 ) = cos ( 0 ) dk cos k(z z 0 ) (k),
=0 0

donde
  Z 2 Z  
1 ,0 0 0 1 ,0
(k) = 2 1 d cos ( ) dz cos k(z z ) (, z) = 0 2 1 .
2 0 2

El salto de la derivada del potencial al atravesar el cilindro de radio 0 termina dando

 
4 ,0
A (k) = 1 ,
2

"
#
Z
2 X
G(r, r0 ) = dk cos k(z z 0 ) I0 (k< )K0 (k> ) + 2 cos ( 0 ) I (k< )K (k> ) .
0 =0

Este mismo resultado fue encontrado antes al tomar el lmite de radio infinito para la regin interior de un
cilindro de altura infinita, ec. (53).
Si la carga est sobre el eje z, sin duda es < = 0 y todas las funciones I (k< ) se anulan, salvo aquella
con = 0,
2
Z

0  1
G(r, r ) =p = dk cos k(z z 0 ) K0 (k).
0 =0 2 0
+ (z z ) 2 0

39
Si la carga est en el origen,
Z
1 2
G(r, 0) = = dk cos kz K0 (k).
r 0

Si hay un cable de longitud infinita a lo largo del eje con densidad ,

Z  Z  Z  Z 
0 2 0 1 0 0
(r) = dz dk cos k(z z ) K0 (k) = 4 dk K0 (k) dz cos k(z z )
0 0 2

Z
= 4 dk K0 (k) (k) = 2 lim K0 (k)
0 k
0

= 2 log + 2(log 2 ).

La constante es la llamada constante de Euler.

8.2 El potencial de un disco cargado (problema 20)

Supongamos que el disco est sobre el plano z = 0, con su centro en el origen de coordenadas. Resolvamos
el problema directamente separando en dos regiones, por encima y por debajo del plano z = 0. Hay que
usar el conjunto de funciones asociado a J y N , descartando estas ltimas para tener regularidad en el eje.
Desde el comienzo podemos usar la simetra azimutal y escribir
Z
(r) = dk J0 (k) ek|z| A(k).
0

El salto de la derivada normal del potencial al atravesar el plano z = 0 es

  Z
 
= dk J0 (k) 2k A(k).
z z=0 z z=0+ 0

Necesitamos escribir la densidad superficial sobre el plano z = 0 en la misma forma,

Z
() = dk k J0 (k)
(k),
0

donde
Z Z a

(k) = d J0 (k) () = d J0 (k) .
0 0

Es til conocer la siguiente primitiva

Z
dx xJ0 (x) = xJ1 (x).

Luego,
a

(k) = J1 (ka).
k

40
Con esto resulta
2a
(k) A(k) =
2A(k) = 4 J1 (ka),
k
y el potencial es, finalmente,

ek|z|
Z
(r) = 2a dk J0 (k)J1 (ka) .
0 k

Para analizar el potencial en puntos muy lejanos podemos tomar el lmite a 0, conservando a2 = q.
Habr que usar que para x  1
x
J1 (x) ,
2
luego
Z Z
k|z|
(r) a 2
dk J0 (k) e q dk J0 (k) ek|z| .
0 0

Pero si se recuerda el resultado (76), esto es

q
(r) .
r
Si en cambio nos acercramos mucho al centro del disco, digamos, tomando = 0 y z  a, podemos
aproximar

ek|z| 1 k|z|,

y entonces
Z  
1
(r) 2a dk J1 (ka) |z| .
0 k

Pueden usarse los siguientes resultados

Z
1
dk J (ka) = , > 1, . . .
0 a

Z
J (ka) 1
dk = , = 1, 2, 3, . . .
0 k
entonces

(r) 2 |z| + 2a ,

que es el potencial de un plano cargado.

41
Apndice. Pginas del Smythe (Static and Dynamic Electricity) para el problema entre
dos cilindros con condiciones no homogneas en las tapas

42
43