You are on page 1of 50

Capitulo 1:

Electrost
atica y Magnetost
atica
Los primeros experimentos interesantes en electrostatica fueron hechos en por Cavendish ( 1770) y
Coulomb ( 1780), y en el caso magnetostatico por Biot y Savart (1820) y Ampere ( 1820). Maxwell
puso todo esto en las leyes del electromagnetismo. En un sentido estas leyes definen unas cantidades
extra
nas llamadas cargas y corriente que regulan la magnitud de las respectivas fuerzas. En orden a relacionar estos dos conceptos es necesario tener una teora microscopica para las partculas elementales, en
particular del electron como una entidad discreta.

Una descarga electrostatica fractal

Indice
1. Electrost
atica

2. Campo el
ectrico y potencial el
ectrico

3. Comentarios sobre la ley de la fuerza


3.1. Variacion para una ley de fuerza cuadratica . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2. Masa del foton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6
6
7

4. Condiciones de Borde

5. Ecuaci
on de Laplace y funciones ortogonales
5.1. Bases rectangulares . . . . . . . . . . . . . . .
5.2. Bases polares . . . . . . . . . . . . . . . . . .
5.3. Bases esfericas . . . . . . . . . . . . . . . . . .
5.4. Bases cilndricas . . . . . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

10
10
12
13
17

6. La Ecuaci
on de Poisson y la funci
on de Green
6.1. Funcion de Green en el espacio infinito . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.1.1. En 3D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.1.2. En 2D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.1.3. En 1D . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2. Funcion de Green para un volumen arbitrario . . . . . . . . . . . . . . . . . . . . . . .
6.3. Metodo de las imagenes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.4. Expansion de la funcion de Green en bases ortonormales . . . . . . . . . . . . . . . . .
6.4.1. G en coordenadas esfericas para espacio infinito por metodo directo . . . . . . .
6.4.2. G en coordenadas esfericas entre dos esferas conductoras por metodo directo . .
6.4.3. G en coordenadas esfericas fuera de una esfera conductora por metodo indirecto
6.4.4. Expansion en bases de un problema relacionado . . . . . . . . . . . . . . . . . .

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

21
21
21
22
23
24
26
29
29
30
31
33

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

7. Magnetost
atica

34

8. Campo magn
etico y potencial magn
etico

34

9. M
etodo de soluci
on

36

10.Fuerza de Lorenz

38

11.Soluci
on num
erica
11.1. Problemas en 1D . . . . . . .
11.1.1. Shooting Method . .
11.1.2. Elementos finitos . . .
11.2. Problema en 2-D . . . . . . .
11.2.1. Solucion por relajacion

39
39
39
40
42
43

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
2

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

11.2.2. Solucion directa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44


11.2.3. Solucion por elementos finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
A. Convenci
on de las sumatorias de Einstein

48

B. Funciones Delta

49

1.

Electrost
atica

Cavendish ( 1770) y Coulomb ( 1780) propusieron que la fuerza en un paquete de carga 1 debido a
un paquete de carga 2 satisface la fuerza vectorial central
F1,2

q1 q2
(r1 r2 )
| r1 r2 |3

Esta dependencia fue descubierta por los cuidadosos experimentos de Cavendish ( 1770) y Coulomb
( 1780), pero requiere unos comentarios (ver mas adelante). En un sentido esto define estas extra
nas
cantidades denominadas cargas, que pueden tener dos signos (positivo o negativo). En el sistema CGS la
constante de proporcionalidad es k = 1, mientras que en MKS es
k = 9 109 kgm3 C 2 s2
Como en general estamos interesados en describir distribuciones macroscopicas de cargas, se acostumbra a
definir una funcion continua, la densidad de carga , para escribir la dependencia espacial de las cargas.
Esta funcion continua es un promedio espacial de la densidad de carga
N
V
en una escala intermedia (entro lo microscopico y lo macroscopico) particular, si esta escala existe. Esto asume que hay una escala espacial (y temporal) donde tal promedio es significativo, i.e. donde las desviaciones
son peque
nas en todo tiempo.

INTERMEDIA

MACRO

MICRO
Escala L

Figura 1: (a) Escalas espaciales y temporales


Esto permite re-escribir la fuerza entre densidades de carga como
Z
Z
1 (x1 )2 (x2 )
3
F1,2 dx1 dx32
(x1 x2 )
| x1 x2 |3

2.

Campo el
ectrico y potencial el
ectrico

Un campo electrico esta definido como una fuerza por unidad de carga, independiente de la carga de prueba,
como
Z
xy 3
E(x) = (y)
dy
| x y |3
4

Hemos asumido la idea de superposicion, lo cual esta bien siempre y cuando no vayamos al regimen de la
mecanica cuantica, optica no lineal, etc.
Aqu es importante notar que esta definicion se aplica al campo electrico producido fuera de un paquete de
carga descrito en el continuo por (x), osea no podemos tomar el limite y x porque la integral diverge
a menos que (y) 0 tambien, o que hayan ciertas situaciones de simetra. Notemos que en el limite
discreto esto no es relevante ya que en general estamos interesados en calcular el campo electrico lejos de las
cargas puntuales. Esto sera importante cuanto calculemos la energa de una distribucion de carga, donde
la descripcion continua tiene ciertas falencias. En el plasma este problema del paso al continuo se resuelve
asumiendo que las fluctuaciones se hacen peque
nas, como veremos despues (descripcion tipo Vlasov)
Podemos definir facilmente el potencial escalar
Z

(y) 3
d y =
|xy |

(y) 3
dy
|xy |

E(x) =
donde
=
Por lo tanto

E =0
El inverso tambien es cierto. De hecho, es posible escribir cualquier campo vectorial como una suma de dos
componentes
"
~ = A~1
A
~
~
~
A = A1 + A 2
~ = A~2
A
~ Hay muchas formas de proceder, pero tomaremos una ruta simple. Tomemos una
Entonces, que es E?
carga q y una unidad de superficie dS como en la figura 2.

dS

Q
Figura 2: Superficie orientada infinitesimal.

El campo electrico satisface


~ ~ndS = q cos dS = qd
E
r2
independiente de la forma de la superficie S. Si integramos sobre la superficie, tenemos
I
Z
~
E ~n dS = 4
d3 x
S

para la carga contenida. Este resultado puede ser usado para calcular campos electricos para casos altamente
simetricos. Usando el teorema de calculo vectorial obtenemos
Z
~ 4) d3 x = 0
( E
V

y por lo tanto obtenemos las ecuaciones de Maxwell para la electrostatica,


~ = 4
E
~ =0
E
~ = 0 existe un potencial E
~ = , que satisface
Dado que E
2 = 4
que es la ecuacion de Poisson. Esta ecuacion es usada para resolver casos mas generales, ya sea utilizando
el campo electrico o la forma potencial escalar. Representa un problema con condiciones de borde para el
potencial o campo electrico, definido en una superficie.
Notemos que es claro que si ponemos una carga unitaria en una posicion con condiciones de borde naturales
en infinito, obtenemos (mirar el apendice B)
2

1
= 4(x y)
|xy |

este es un ejemplo especfico de una funcion de Green como veremos mas adelante.

3.

Comentarios sobre la ley de la fuerza

En un sentido la ley de fuerza define esta cantidad extra


na denominada carga, que puede tener dos signos.
En el sistema CGS la constante de proporcionalidad es k = 1, mientras en MKS es k = 9 109 .

3.1.

Variaci
on para una ley de fuerza cuadr
atica

Notemos que gracias a la exactitud de los instrumentos originales, fue postulado que la fuerza puede ser
escrita tambien en su forma generalizada
E

1
r2+2
6

Con esta forma, podemos calcular el campo electrico, o la fuerza que sentira una carga, dentro de una
esfera como
Z
0

1
sin
(1 2z + z 2 )( 2 2 ) (1 + 2z + z 2 )( 2 2 )
=

(1 + z 2 + 2z cos )(1+)/2
z(1 + )
z(1 + )

lo cual implica que E( = 0) = 0 dentro de la esfera, y da una forma de encontrar || < 1016 en forma
experimental.

3.2.

Masa del fot


on

En mecanica cuantica una fuerza que usa una partcula virtual para actuar a una distancia satisface una
ecuacion de potencial escalar, la ecuacion de Yukawa, dada por

h m c i2
4

c
m c
er
=

h

Esta ecuacion aparece en muchos contextos, desde mecanica cuantica, fsica de plasmas, astrofsica, etc.
Nos dice que si la masa del foton tiende a cero, recuperaremos nuestro potencial 1/r. Se encuentra que la
masa del foton, usando medidas satelitales, es a lo menos m < 1048 gm.

4.

Condiciones de Borde

Hasta ahora hemos discutido la situacion de un volumen infinito, y para ese caso podemos utilizar la integral
sobre la densidad de carga dada anteriormente. En muchos casos estamos interesados en situaciones en un
espacio restringidos y con condiciones de borde. Por ejemplo con conductores en los bordes se inducen
cargas en las superficies las cuales en principio no las conocemos. En este caso es mucho mas facil tratar de
resolver la ecuacion de Poisson como un problema con condiciones de borde
2 = 4
directamente.

Hay dos tipos de condiciones de borde que apareceran naturalmente en la construccion de la solucion general
de la ecuacion de Poisson, estas son las cargas de la superficie, y las capas del dipolo. Ellos corresponden a
diferentes condiciones de borde.
Tomemos la ecuacion de Poisson cerca de un borde y tratemos de deducir la carga inducida en la superficie.
Usando la ecuacion de Poisson
~ = 2 = 4
E
7

y una caja infinitesimal de tapa y fondo dS, y lado


la integral de volumen obtenemos
H
~ dx3
E

H
~ ~n dS
E



E~2 E~1 ~n dS

dl 0 (ver Fig. 3). Usando el teorema de Gauss para

= 4

= 4

d3 x

d3 x

dS lmdh0

dh

con lo cual obtenemos una condicion de borde para los campos




E~2 E~1 ~n = 4
en el limite dh 0, con
Z
= lm

dh0

dh

Por lo tanto, la carga de la superficie genera una discontinuidad en el campo electrico normal debido a una
carga de la superficie. Si asumimos un borde conductor (las cargas son libres de moverse en respuesta a un
campo electrico), podemos obtener la carga superficial desde el potencial en la superficie
~n
4
Debemos tener cuidado en definir el normal n. El problema de condiciones con conductores, por ejemplo,
es que en general no conocemos de antemano, y debe encontrase a partir de la solucion completa.
=

E1

E1
n

dl

dh

dS

dh
E2

E2

Figura 3: Condicion de borde en la superficie.

Para el caso de campo tangencial, tomemos un rectangulo perpendicular, como se muestra en la Fig. 3b.
Integrando sobre esta superficie que atraviesa la interfase tenemos

~ ~n dS
( E)

= 0

~
~ dl
E

= 0

E~2 E~1 ~ndl 0

con lo cual obtenemos la segunda condicion de borde




E~2 E~1 ~n = 0
En muchas situaciones esta condicion de borde es equivalente a que el potencial electrico es continuo en
interfases, aunque esto no es correcto en todas las situaciones.

5.

Ecuaci
on de Laplace y funciones ortogonales

Estamos interesados en resolver la ecuacion de Laplace


2 (x) = 0 x
sujeta a la condicion de borde
(x)|
Este problema generalmente se resuelve utilizando una base ortonormal
f (x) =

ai i (x)

i j dx = i,j

i (x) j (y) = (x y)

i,j

En el lmite infinito las sumatorias convergen a integrales. Tal base ortonormal es muy u
til si las bases de
funciones son tambien soluciones normales de la ecuacion de interes. Luego, la expansion es una expansion
natural, pero esto no es requerido.
La forma natural de construir bases ortonormales es utilizando una separacion de variables.

5.1.

Bases rectangulares

En una base rectangular los operadores diferenciales para un campo escalar son
2 =

2 2 2
+
+ 2
x2
y 2
z

x +
y +
z
x
y
z

Para un campo vectorial A la divergencia es


A=


+
+
,
x
y
z

el rotor es





A =


x y z

Ax Ay Az
x

10

y el Laplaciano es
2 A|x = 2 Ax
2 A|y = 2 Ay
2 A|z = 2 Az

La ecuacion de Laplace se puede resolver por separacion de variables.


2 2 2
+
+ 2 =0
x2
y 2
z

U1 (x)U2 (y)U3 (z)

para lo cual obtenemos


2 U1
= a2 U1
2
x
2 U2
= b2 U2
y 2
2 U3
= c2 U3
2
z

U1 = Aa eiax + Ba eiax

U2 = Ab eiby + Bb eiby

U3 = Ac eicz + Bc eicz

con la restriccion
c2 + a2 + b2 = 0
Por lo tanto tenemos una sumatoria en a y b (con c restringido por la relacion c2 + a2 + b2 = 0). En generar
la restriccion en a y b dependen de las condiciones de borde de interes.
Aparte de las soluciones exponenciales podemos utilizar soluciones oscilatorias en el intervalo [0, L] (esto
implica condiciones de borde periodicas en x = L y x = 0. Las condiciones de ortonormalidad son

 mx 
 mx 
X
1
+ Bm cos
Am sin
f (x) = Ao +
2
L
L
m=1

con
Z

sin
0

 mx 
L

sin

 nx 
L

cos

dx =
0

 mx 
L

cos

 nx 
L

dx =

L
n,m
2

y
Z


sin

2mx
L


cos

2nx
L


dx = 0

En el lmite infinito L (aqui es mejor mover el intervalo a L/2 x L/2 y despues tomar el lmite),
con
11

2m
k
L
tenemos
Z
1
f (x) =
A(k)eikx dx
2
Z
1
0
ei(kk )x dx = (k k 0 )
2

Z
1
A(k) =
f (x)eikx dx
2
Z
1
0
eik(xx ) dk = (x x0 )
2

=+V
Problema: Calcule el potencial dentro de
una caja cubica de tama
no L, que tiene todas sus caras a potencial 0, excepto la cara
de arriba que esta a potencial V y la de abajo
a potencial -V.

=0

=V

5.2.

Bases polares

En base polares tenemos


1
=

2


+

1 2
2 2

1
1

La ecuacion de Laplace se puede resolver por separacion de variables. Estos son problemas en los cuales la
solucion o las fuentes no dependen en una de las variables, e.g z


1

1 2

+ 2 2 = 0 U1 ()U2 ()


Para el caso m 6= 0 tenemos


U1

= m2 U1

2 U2
= m2 U2
2

U1 = Am m + Bm m

U2 = Cm cos m + Dm sin m

y para el caso m = 0 tenemos


12

U1


=0

U1 = A0 + B0 ln

2 U2
=0

U2 = C0 + D0
2
La sumatoria es para todos lo m reales, pero generalmente la restriccion en m depende en las condiciones
de borde de interes. Por ejemplo, m es entero si el problema incluye [0, 2].

Problema: Calcule el potencial dentro de un


cilindro infinito que tiene un potencial =
V cos sobre su superficie.

5.3.

Bases esf
ericas

En una base rectangular los operadores diferenciales para un campo escalar son


2
1

(r)
1

1
2
+
2 =
sin

+
r r2
r2 sin

r2 sin2 2

1
r +
+

r
r
r sin

Notemos que tamien tenemos




1 2 (r)
1
2
= 2
r
r r2
r r
r
Para un campo vectorial A la divergencia es


1
2 

A
A= 2
sin
r Ar + r (sin A ) + r
,
r sin
r

el rotor es




1
A= 2
r sin

Ar

rA

13


r sin



r sin A

y el Laplaciano es
2

A|r







2
1
2
2 cos
2

= Ar + 2 +
Ar + 2

A + 2
A
r
r r
r r2 sin
r sin
2

1
2 Ar
2 cos A
A + 2
2 2
sin
r
r sin
2 Ar
2 cos A
1
2 2
= 2 A 2 2 A + 2
r sin
r sin
r sin

2 A| = 2 A
2 A|

r2

La ecuacion de Laplace se puede resolver por separacion de variables.




1 2 (r)
1

1
2
+
sin

+
=0
r2 r2
r2 sin

r2 sin2 2
con
2 U1 l(l + 1)

U1 = 0
r2
r2


 
1
U2
m2
U2 = 0
sin
+ l(l + 1)
sin

sin2

U1 (r)
U2 ()U3 ()
r

U1 = Al rl+1 + Bl rl

U2 = Clm Plm (cos ) + Dlm Qm


l (cos )

2 U3
+ m2 U3 = 0

U3 = eim
2

La sumatoria es sobre todos los m y l. La restriccion en m y l dependen de las condiciones de borde de


interes. Por ejemplo, m es entero si [0, 2]. Ademas, si nos restringimos al rango 1 cos 1,
entonces l, m son enteros que satisfacen
l0
l m l
en este caso las soluciones son los armonicos esfericos




1
1
1

1 2
l(l + 1)
(L + L )Yl,m = 2
sin
+
Yl,m =
Yl,m
2
2
r
r sin

sin
r2
Con la normalizacion apropiada tenemos
s
2l + 1 (n m!) m
1
P (cos )eim
Yl,m = Wlm (cos ) eim = (1)m
4 (n + m)! l
2
donde
Pnm (x) =

m+n
1
2 m/2 d
(1

x
)
(x2 1)n
2l n!
dxm+n

14

nmn

Es muy u
til derivar
1
Yl,m = Wlm (cos ) eim
2
Por lo tanto la solucion general es
=

X
l
X

(Al l + B l (l+1) )Yl,m (, )

l=0 m=l

con las condiciones de ortogonalidad


Z

sin dYr,s
(, )Yl,m (, ) = r,l s,m

0
l
X

Yl,m
(0 , 0 )Yl,m (, ) = ( 0 )(cos cos 0 )

l=0 m=l

Los primeros armonicos esfericos son


Y0,0 =
Y1,1

1
4

Y2,2 =

q
3
sin ei
= 8

Y1,0 =

3
4

Y2,1

cos

15
32

sin2 e2i

q
15
= 8
sin cos ei

Y2,0 =

5
16

(3 cos2 1)

En el caso especial de la simetra azimutal tenemos solo el caso m = 0, lo cual significa que la solucion
general es
=

(Al rl + Bl r(l+1) )Pl (cos )

l=0

con la condicion de ortogonalidad


Z

Pm (x)Pl (x) dx =
1

2
m,l
2l + 1

ya que
r
Yl,0 (, ) =

2l + 1
Pl (cos )
4

En este caso los primeros polinomios son

15

P0 = 1
P1 = x
P2 = 12 (3x2 1)
Ademas tenemos la recesion
(2` + 1)P` (x) =

dP`+1 (x) dP`1 (x)

dx
dx

Problema: Encuentre el potencial al interior de un casquete esferico donde V () = Vo para 0 y


cero para .
Por la simetra sabemos que el potencial se puede escribir como

 
rl
(Al
=
Pl (cos )
a
l=0
Por lo tanto en el casquete tenemos
V () =

Al Pl (cos )

l=0

Utilizando la ortogonalizacion, multiplicamos por Pm (cos ) e integramos 0 .


2m + 1 R
V ()Pm () sin d
0
2
2m + 1 R
Pm () sin d
= Vo
0
2
2m + 1 R 1
= Vo
P (x)dx
cos m
2
Vo
=
[Pm1 (cos ) Pm+1 (cos )]
2

Am =

y para el caso m = 0 tenemos


A0 =

Vo
(1 cos )
2

Por lo tanto la solucion es


"
# 

X
Vo
rl
=
(1 cos ) +
(Pm1 (cos ) Pm+1 (cos ))
Pl (cos )
2
a
l=1
De aqu podemos calcular el campo electrico en el origen, y obtener

16




Vo 3
2
E=
(cos 1) cos
r sin
2 2
y claramente tiende a cero cuando .

En general no es difcil de demostrar que

l
X
r<
1
=
Pl (cos )
| x x0 |
rl+1
l=0 >

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

l
X
X
r<
1
1

Yl,m
= 4
(0 , 0 )Yl,m (, )
l+1
| x x0 |
2l
+
1
r
> m=l
l=0

+V
b
Problema: Encuentre el potencial entre dos
esferas de radio a < r < b que estan a potencial (r = a) = V y (r = b) = V

5.4.

Bases cilndricas

En bases cilndricas los operadores diferenciales para un campo escalar son




1

1 2 2
2
=

+ 2 2 + 2

1
+
+
z

Para un campo vectorial A la divergencia es


A=

1 A Az
1
(A ) +
+
,


z

el rotor es

17





1
A=







z

Az

y el Laplaciano es
1
2 A
A 2
2


1
2 A
= 2 A 2 A + 2

2 A|x = 2 A
2 A|y

2 A|z = 2 Az

La ecuacion de Laplace se puede resolver por separacion de variables:




1

1 2 2

+ 2 2 + 2 = 0 U1 ()U2 ()U3 (z)



z
la solucion por separacion de variable es


2
m
2 U1 1 U1
+
+ k 2 2 U1 = 0
2

2 U2
+ m2 U2 = 0
2

U1 = Ak,m Jm (k) + Bk,m Nm (k)

U2 = Cm cos m + Dm sin m

2 U3
k 2 U3 = 0

U3 = Dk e+kz + Ek ekz
2
z
conocidas como las funciones de Bessel y Neumann. Las funciones de Neumann divergen para 0 y no
son consideradas para problemas en que involucren el origen. Es posible construir otro sistema linealmente
independiente usando las funciones de Hankel como las dos soluciones normales de la ecuacion de arriba.
Es u
til en problemas de borde resolver el n
umero infinito de races xm,n de
Jm (xm,n ) = 0 n = 1, 2, 3, . . .
con lo cual se puede demostrar que
Z
0




 a2
dJm xm,r
Jm xm,s
= Jm+1 (xm,r )r,s
a
a
2

y el sistema de races xm,n forman un sistema completo en el intervalo [0, a]. De hecho esto restringe los
valores de k para sistemas discretos (pero infinitos)

18

xm,n
n = 1, 2, 3, . . .
a
para cada m. Si el rango de se hace infinito, entonces requerimos de una representacion continua, similar
a las series infinitas de Fourier, donde la suma discreta en k se convierte en una integral
km,n =

Z
0

dk ekz (Cm (k)Jm (k) + Dm (k)Nm (k))(Am (k) sin m + Bm (k) cos m)
Z
1
x dx Jm (kx)Jm (k 0 x) = (k 0 k)
k
0

donde el depende de la restriccion de z.

+V

Problema: Encuentre el potencial dentro de


un cilindro de largo L, donde la tapa superior
esta a un potencial V, la tapa inferior esta a
un potencial -V y el resto a potencial cero.

En muchas situaciones es u
til tomar una conjuncion mas apropiada para ciertas condiciones de borde en el
infinito en termino de funciones de Hankel
(1)
Hm
(x) = Jm (x) + iNm (x)

(2)
Hm
(x) = Jm (x) iNm (x)

que son u
tiles para tener condiciones de salida (radiacion) en el infinito. En otras situaciones estamos
interesados en que la dependencia de z sea oscilatoria, lo que implica que tenemos que hacer la transformacion
k ik
y por lo tanto definimos las funciones de Bessel modificadas
m+1 (1)
i
Hm (ik)
2
La eleccion de la normalizacion es para que estas funciones sean reales para real.
Im (k) = im Jm (ik)

Km (k) =

La expansiones asintoticas

19


m 
2
lmx Jm (x)
cos x

x
2
4
r

2
m 
lmx Nm (x)
sin x

x
2
4
m
x
lmx0 Jm (x) m
2 m!
 m
(n 1)! 2
lmx0 Nm (x)

x
lmx0 J0 (x) 1
2
(ln x + ln 2)

son u
tiles cuando tenemos que forzar ciertas condiciones de borde en el infinito.
lmx0 N0 (x)

20

6.

La Ecuaci
on de Poisson y la funci
on de Green

Estamos interesados en resolver la ecuacion de Poisson


2 (x) = 4(x) x
sujeta a la condicion de borde
(x)|
La funcion de green en un dominio corresponde al potencial producido por una carga puntual en la
posicion ~y ,
(y) = (x y) x, y
La funcion de Green G(x, y) satisface
2 G(x, y) = 4(x y) x, y
con lo cual podemos notar que
G(x, y) = G(y, x)
esta propiedad de simetra sera relevante en futuros estudios.

6.1.

Funci
on de Green en el espacio infinito

Ahora construiremos la funcion de Green para el espacio infinito.


6.1.1.

En 3D

El Laplaciano es
1

1 2
(r) + 2
=
2
r r
r sin
2

sin

y para el problema con simetra esferica (r) tenemos que


1 2
(r) = 0
r r2

r 6= 0

y por lo tanto
G=

1
r

Ya hemos demostrado que efectivamente tenemos


2 G = 4(r)
Para el caso arbitrario tenemos
21

2
1
+ 2 2
r sin 2

(1)

G(x, y) =

1
|x y|

es la funcion de green para el espacio infinito, ya que


2 G(x, y) = 4(x y)
6.1.2.

En 2D

El Laplaciano es
1
=

2

1 2
+ 2 2

y para el problema con simetra cilndrica () tenemos que




1

=0
6= 0

y por lo tanto
G = a ln =

a
ln(x2 + y 2 )
2

(x) = (x1 )(x2 )


por lo tanto integrando en la superficie x1 = 0 1 con x2 = 0 2 y i 0
 2

Z +
Z +
d d2
dx1
dx2
+ 2 = 4
dx21
dx2


podemos encontrar que
2a = 4
Entonces efectivamente obtenemos que
G = 2 ln
Para el caso arbitrario tenemos
G(x, y) = 2 ln |x y|
es la funcion de green para el espacio infinito, ya que
2 G(x, y) = 4(x y)
Se entiendo que las funciones deltas y las 2 son en 2D.

22

6.1.3.

En 1D

El Laplaciano es
d2
=
dx2
2

Tenemos que
d2
=0
dx2

x 6= 0

y por lo tanto

G=

ax + b
cx + d

x<0
x>0

Es facil darse cuenta que (x) debera ser continua en x = 0, con lo cual b = d = 0. Podemos elegir
esta constante como cero, ya que una constante no cambia el campo electrico que el potencial genera. Su
derivada tiene que ser discontinua, ya que si integramos
d2
= 4(x)
dx2
de x = 0  con  0, tenemos que
a c = 4
Vemos que la solucion es
G(x) = 2|x|
Es facil de encontrar que efectivamente tenemos
2 G = 4(x)
Para el caso arbitrario tenemos
G(x, y) = 2|x y|
es la funcion de green para el espacio infinito, ya que
2 G(x, y) = 4(x y)
Se entiendo que las funciones deltas y las 2 son en 1D.

23

6.2.

Funci
on de Green para un volumen arbitrario

De ahora en adelante nos concentraremos en la funcion de Green para regiones arbitrarias en 3D y


dejaremos los problemas en otras dimensiones para la tarea. Dado que
2

1
= 4(x y)
|x y|

podemos notar que la funcion de Green para un volumen arbitrario se puede escribir como
G(x, y) =

1
+ F (x, y)
|x y|

2 F (x, y) = 0

siempre y cuando 2 F (x, y) = 0. Esto significa que F (x, y) puede ser cualquier funcion que satisfaga la
ecuacion de Laplace. Por lo tanto para tener una solucion u
nica dentro de x, y, vamos a tener que forzar
condiciones de borde sobre G, de la misma forma que forzamos condiciones de borde sobre la ecuacion de
Laplace para tener soluciones u
nicas.

Es mas o menos intuitivo, dado que el problema a resolver es lineal, que una vez que tenemos el potencial
para la carga puntual, es factible obtener el potencial por superposicion de una distribucion continua de
cargas. Veremos que primero tenemos que tener cuidado con las condiciones de borde tanto para como
para G. Comenzaremos con el teorema de Green. Estamos interesados en resolver el problema
2 (x) = 4(x)

en x con alguna condicion de borde para | . Dado que

() = 2 +
() = 2 +

I 
 3

2
2
d x =

dS
n
n

podemos elegir como la funcion de Green, con lo cual obtenemos



Z
I 
1

3
(x) =
(y) G(x, y) d y +
G(x, y)

G(x, y) dSy
4
ny
ny

Los dos terminos de superficie en la ecuacion representan la carga superficial y la capa de un dipolo como
la superficie de borde, y el potencial y el campo afuera del volumen es cero debido a las discontinuidades.
Las condiciones de borde de Dirichlet se usan cuando esta definido en el borde, y las condiciones borde
de Neumann cuando /n esta definido en el borde.

Todava no hemos forzado las condiciones de borde sobre G (es una libertad dada por F ). Por lo tanto,
asumimos dos soluciones
24

U = 2 1
que satisfacen las mismas condiciones de borde, y usando las igualdades dadas mas arriba tenemos

Z
I 
 3
U
2
2
U U + | U | d x =
U
dS
n

por lo tanto existe una sola solucion, esto es U = 0, si requerimos que



I 
U
dS = 0
U
n

lo que implica poner condiciones de borde sobre la superficie . Por lo tanto las dos condiciones naturales
son
especificar el potencial en el borde, |


especificar la carga en el borde,
n
Vemos inmediatamente que especificar los dos tipos de condiciones seria redundante, y generara soluciones
no reales. Esto significa que dada un tipo de condicion de borde para , tenemos que hacer cero una de las
integrales de superficie de arriba, y para eso utilizamos la flexibilidad de G.
1. En el caso de las condiciones de borde de Dirichet, ponemos G(x, y) =|y 0 para y en el borde, lo
cual es equivalente a encontrar la carga en la superficie
Z

1
(x) =
(y) G(x, y) d x +
4

G(x, y) dSy
ny

2. En el caso de las condiciones borde de Neumann, ponemos G(x, y)/ny |y = 4/S para y en el
borde
Z

1
(x) =< >S + (y) G(x, y) d y +
4

I
G(x, y)

dSy
ny

La razon para esta u


ltima condicion de borde es
I

G(x, y)
dSy = 4 6= 0
ny

La solucion general para se construye con el uso de funciones de Green, las cuales construiremos a partir
de
Metodo de las imagenes.
25

Expansion ortonormal de la funcion de Green.


Expansion de los valores propios del problema relacionado.
Solucion numerica (ver apendice)

Problema: Cual es el teorema de Green equivalente en 2D

Problema: Cual es el teorema de Green equivalente en 1D

6.3.

M
etodo de las im
agenes

En particular, si situamos cualquier set de cargas fuera de , entonces al superposicion de los potenciales
satisfacen la condicion ya nombrada
2 G(x, y) = 4(x y) x, y

(2)

dentro de , esto quiere decir que la contribucion de las cargas exteriores a la densidad de carga interior es
cero. Si logramos con este set de cargas exteriores, aparte de la carga interior, satisfacer las condiciones de
borde, entonces tendremos una solucion dentro de . Pronto veremos que esta solucion es la u
nica solucion
al problema de borde. Por lo tanto, en orden a resolver la ecuacion de Poisson, dentro , tenemos la libertad
de usar cualquier distribucion de carga exterior al borde para satisfacer las condiciones de borde requeridas.
Este es el metodo llamado de las imagenes.

Problema: Una carga frente a un plano conductor (a tierra).


Es facil hallar la carga imagen. Podemos entonces calcular la carga superficial y la fuerza en la carga real
q. Es interesante notar que la fuerza esta tambien relacionada con
Z
F = 2 2 dS
lo cual es una declaracion general.

Problema: tiene ese signo?

Problema: Una carga dentro de una esfera conductora (a tierra).

26

El borde se fija en = 0. Ponemos otra carga exterior, en diferentes q2 y d2 , pero en la misma linea. Esta
carga q2 esta en la realidad inducida sobre la superficie.
= in + out =

q1
|~x d1~k|

q2
|~x d2~k|

En Mathematica podemos escribir este problema como:


q
q1
p
[x , y , z ] = p
(x d)2 + y 2 + z 2
(x d1)2 + y 2 + z 2
Cuando resolvemos dados los parametros y usando las condiciones de borde:
s = Simplif y[Solve[{[R, 0, 0] == 0, [R, 0, 0] == 0}, {q1, d1}], d < R&&d > 0]
lo que da
{q1

qR
R2
, d1
}
d
d

y luego aplicamos
[x , y , z ] = [x, y, z]/.s
lo que da
qR
q
p
s
2
2
2
2
(d + x) + y + z
R2
d
+ x + y2 + z2

d
Podemos graficar los contornos como se muestran en Fig. 4, donde tambien se muestra las lineas de campo.

CountourPlot[[x, 0, z]/.{R 1, d 0,8, q 1}, {x, 1, 1}, {z, 1, 1},


CountourShadingFalse,AxesLabel{x,z}, PlotPoints50]

Podemos calcular la carga superficial inducida en la superficie de la esfera



1
=
4 r r=a

27

(3)

FieldyLines

FieldyLines
1

0.75

0.5

0.5

0.25

-1

-0.5

0.5

-1

-0.75 -0.5 -0.25

0.25

0.5

0.75

-0.25

-0.5

-0.5

-0.75
-1

-1

Figura 4: (a) Equipotencial, (b) Campo electrico dentro de una esfera conductora a tierra.
y la fuerza en que siente la carga real. El el origen de un punto estable, o de un punto inestable? Resultados
similares pueden ser obtenidos para una carga puntual fuera de una esfera conductora.

Problema: Esferas conductoras con hemisferios a diferente potencial. Hemos construido la funcion de Green
por el metodo de las imagenes para el potencial fuera de las esferas conductoras con = 0 en el borde de
la esfera. Necesitamos integrar con las condiciones de borde de Dirichet. Note que esto es equivalente a la
densidad de carga en la superficie.

Problema: Una carga q fuera de una esfera aislada con carga Q, pero conductora. Una esfera a tierra
(equipotencial) tiene una carga q2 . Sumando Q q2 , distribuido uniformemente sobre la superficie, alcanzamos una carga total Q. Esto significa, que es el equivalente a una carga puntual de magnitud Q q2 en
el origen. El potencial y la fuerza pueden ser construidos por superposicion
= in + out =

q1
| ~x d1~k |

q2
| ~x d2~k |

Q q2
| ~x |

Lo mismo se puede hacer con una esfera conductora en la tierra en un potencial V especifico.

Problema: Una esfera conductora (a tierra) en un campo electrico uniforme asintotico. Es construido en
una forma similar, con 2 cargas de distinto signo a una distancia R >> a, y sus dos imagenes dentro de la
esfera. El limite tiene sentido cuando 2q/R2 Eo .

Problema: Construya por imagenes la funcion de Green para un plano conductor en 1D

28

6.4.

Expansi
on de la funci
on de Green en bases ortonormales

Hemos visto en que en general, todo lo que necesitamos hacer es resolver la ecuacion de Laplace, y esta es
la solucion generada para construir la funcion de Green. Supongamos que queremos solucionar la ecuacion
de Laplace dada una condicion de borde. El apendice explica la expansion de la solucion en terminos de las
bases ortonormales de la ecuacion de Laplace en distintos sistemas de coordenadas (Ver apendice C):
Rectangulares.
Polares.
Esfericas.
Cilndricas.
De las cuales podemos solucionar problemas de valor de borde en diferentes geometras.
Para encontrar la funcion de Green en una geometra dada, expandamos la funcion de Green en terminos de
los modos normales de la ecuacion de Laplace para esa geometra, y resolvemos para los coeficientes desde
2 G(x, y) = 4(x y) x, y
G(x, y)|S = 0
directamente.
6.4.1.

G en coordenadas esf
ericas para espacio infinito por m
etodo directo

Podemos expandir la funcion de Green en terminos de los modos normales de la ecuacion de Laplace en
coordenadas esfericas

G(x, x0 ) =

l
X
X

Al,m (r, r0 , 0 , 0 ) Yl,m (, )

l=0 m=l

l
(r r0 ) X X 0 0
(x x ) =
Yl,m ( , ) Yl,m (, )
r2
l=0 m=l
0

Notemos ya que el problema es lineal y la funcion delta ya tiene el coeficiente para 0 y 0 , podemos expandir
G como

G(x, x ) =

X
l
X

gl (r, r0 )Yl,m
(0 , 0 )Yl,m (, )

l=0 m=l
2

1 d (rgl ) l(l + 1)
4

gl = 2 (r r0 ) gl (r, r0 ) =
2
2
r dr
r
r
29

Arl + Br(l+1) r < r0


A0 rl + B 0 r(l+1) r > r0

donde hemos usado la ortogonalidad de los armonicos esfericos. Ahora necesitamos involucrar las condiciones
de borde. Como estamos hablando del espacio infinito, tenemos
#
"
l
A(r0 )rl
r < r0
r<
1
=
C
gl (r, r0 ) =
l+1
B(r0 ) l+1 r > r0
r>
r
donde en la u
ltima expresion hemos hecho cumplir la continuidad en r0 , y la simetra G(x, x0 ) = G(x0 , x).
El valor de C es obtenido integrando desde r = r0 hasta r = r0 + la ecuacion de arriba para g
Z

r=r0 +

r=r0


1 d2 (rgl ) l(l + 1)
4
0
r

gl = 2 (r r )
r dr2
r2
r
0 +
4
rgl |r=r
r=r0 = 4 C =
2l + 1


y la funcion de Green es
l
X
l
X
1
4 r<
G(x, x ) =
=
Y (0 , 0 ) Yl,m (, )
l+1 l,m
| x x0 |
2l
+
1
r
>
l=0 m=l
0

En el caso de simetra azimutal tenemos

X

1
1
l
(l+1)
p
=
=
A
r
+
B
r
Pl (cos )
l
l
| x x0 |
x2 + x02 2xx0 cos
l=0

l
X
r<
1
=
Pl (cos ) cos = cos cos 0 + cos( 0 ) sin sin 0
l+1
| x x0 |
r
l=0 >

La u
ltima expresion puede tambien ser encontrada evaluando x y x0 en el eje z (donde = 0), y expandiendo
1/|x x0 |. En esta notacion r> es el mas largo entre x y x0 , y r< el opuesto. Es interesante notar que
somos capaces de encontrar toda la solucion solo evaluando la expresion anterior donde cos = 1 y luego
multiplicando cada termino por Pl (cos ).
6.4.2.

G en coordenadas esf
ericas entre dos esferas conductoras por m
etodo directo

Podemos expandir la funcion de Green en terminos de los modos normales de la ecuacion de Laplace en
coordenadas esfericas

G(x, x ) =

X
l
X

Al,m (r, r0 , 0 , 0 ) Yl,m (, )

l=0 m=l

l
(r r0 ) X X 0 0
Yl,m ( , ) Yl,m (, )
(x x ) =
r2
l=0 m=l
0

30

Notemos ya que el problema es lineal y la funcion delta ya tiene el coeficiente para 0 y 0 , podemos expandir
G como

G(x, x ) =

X
l
X

gl (r, r0 )Yl,m
(0 , 0 )Yl,m (, )

l=0 m=l
2

1 d (rgl ) l(l + 1)
4

gl = 2 (r r0 ) gl (r, r0 ) =
2
2
r dr
r
r

Arl + Br(l+1) r < r0


A0 rl + B 0 r(l+1) r > r0

donde hemos usado la ortogononalidad de los armonicos esfericos. Ahora necesitamos involucrar las condiciones de borde. Tomamos el espacio vaco entre dos esferas conductoras de radios a < b y recordando que
r0 esta en el medio, tenemos



a2l+1
0
0
l



r<r
l
2l+1
A(r ) r rl+1
r
a
1
>
l
0
= C r<


2l+1
gl (r, r ) =
l+1
l+1

1
rl
b
r
r
0
0
<
>
B(r ) l+1 2l+1
r>r
r
b
donde en la u
ltima expresion hemos hecho cumplir la continuidad en r0 , y la simetra G(x, x0 ) = G(x0 , x).
El valor de C es obtenido integrando desde r = r0 hasta r = r0 + la ecuacion de arriba para g
r=r0 +


1 d2 (rgl ) l(l + 1)
4
0

gl = 2 (r r )
r
r dr2
r2
r
r=r0
0 +
4
1


rgl |r=r

r=r0 = 4 C =
a 2l+1
2l + 1
1
b

y la funcion de Green es
0

G(x, x ) =

X
l
X
l=0

6.4.3.

4

2l + 1
m=l

1
 a 2l+1 
1
b

l
r<

a2l+1
l+1
r<



1
l+1
r>

l
r>

b2l+1

Yl,m
(0 , 0 )Yl,m (, )

G en coordenadas esf
ericas fuera de una esfera conductora por m
etodo indirecto

Supongamos que sabemos la solucion de G en una geometra simple. Podemos usar esta solucion
y) = 4(x y)
2 G(x,
para construir G para geometras mas complicadas
y) + F (x, y)
G(x, y) = G(x,
con

31

2 F (x, y) = 0

F | = 0

Por ejemplo, tomemos la funcion de Green para el espacio infinito

y) =
G(x,

X
l
l
X
1
4 r<
Y (0 , 0 )Yl,m (, )
=
l+1 l,m
|xy |
2l
+
1
r
>
l=0 m=l

luego el potencial G puede ser escrito como

+F =
G=G

X
l
X
l=0

4
2l + 1
m=l

l
r<
Bl
+ Al rl + l+1
l+1
r
r>

Yl,m
(0 , 0 )Yl,m (, )

Donde F puede ser escrita en la forma mas general, y hemos incluido la linealidad del problema en los
Por
coeficientes A y B. Notemos que las condiciones de salto en x = y esta incluida en la expresion de G.
lo tanto solo nos tenemos que preocupar de las condiciones lmite en x = a (note que a < y), y la condicion
en r , la cual es A = 0. La solucion luego

G|r=a =

X
l
X
l=0

4
2l + 1
m=l

l
r<
a2l+1

l+1
y l+1 rl+1
r>

Yl,m
(0 , 0 )Yl,m (, )

las cuales son la mismas soluciones como arriba con b = 0.

Problema: Encuentre el potencial producido por un anillo de carga de densidad


(concentrico con la esfera) fuera de una esfera conductora a potencial Vo cos sin .

a
Problema: Encuentre el potencial producido por un anillo de carga de densidad de
radio R < a dentro de un cilindro de radio a
y largo L. El anillo esta puesto perpendicular
al eje de simetra del cilindro en L/2.

32

Problema: Encuentre el potencial externo


producido por una esfera de radio a que tiene
2
un potencial = e sobre su superficie.

6.4.4.

Expansi
on en bases de un problema relacionado

Otro metodo para obtener las funciones de Green es expandiendo en un sistema completo de los valores
propios de un problema relacionado. El problema relacionado es
2 + (f (x) + ) = 0
el cual es satisfecho para ciertos valores {n , n }
Z

n + (f (x) + n )n = 0

n m d3 x = nm

Otros valores dan las soluciones no convergentes o las singulares. La funcion de Green puede, entonces, ser
encontrada por
2 G(x, x0 ) + (f (x) + )G(x, x0 ) = 4(x x0 )
P n (x)n (x)
n
n
Notemos que la ecuacion para las funciones propias pueden en principio ser diferentes desde la ecuacion
satisfecha por la funcion de Green.
G(x, x0 ) =

0
n an (x )n (x) = 4

Problema: Funciones propias en el espacio infinito.


Asumamos la ecuacion de ondas
1
eikx
k (x) =
(2)3/2
Z ik(xx0 )
1
1
e
= 2
d3 k
0
2
|xx |
2
k

(2 + k 2 )k (x) = 0
=0

33

7.

Magnetost
atica

Biot, Savart ( 1820) y Ampere ( 1820) propusieron que la fuerza inducida por un cable que lleva una
corriente I1 con un elemento de longitud dl1 en un cable que tambien lleva una corriente I2 con un elemento
de longitud dl2 es
F2,1

~ 2 [dl
~ 1 (x2 x1 )]
I1 I2 dl
c2
|x1 x2 |3

Esta dependencia fue descubierta por cuidadosos experimentos. En un sentido esto define la extra
na
cantidad denominada corriente. En el sistema CGS la constante de proporcionalidad es k = 1. Las corrientes
son medidas en statamperes (109 /3 Amperes).
Las corrientes fueron una entidad misteriosa hasta que fueron descubiertas la conexion entre las cargas y
las corrientes. Explcitamente, una ecuacion de continuidad macroscopica puede ser definida como

+J =0
t
y para casos magnetostaticos, la dependencia del tiempo no esta incluida. Si la corriente no esta concentrada en un cable conductor infinitesimal, definimos la densidad de corriente como la corriente por el area
representativa

J = ne < v >x

J d3 x = I dl

Esta funcion continua es un promedio espacial de la velocidad de la carga < v >x en alguna escala particular
intermedia, si esta en todo posible. Esto asume que hay tanto una escala espacial (y temporal) donde tal
promedio es significativo, i.e., donde las desviaciones son peque
nas en todo tiempo, mirar Fig. 1

8.

Campo magn
etico y potencial magn
etico

Un campo magnetico puede ser definido en una forma similar como en el caso de la electrostatica, pero se
requiere que
I1 I2
F~2,1 = 2
c

~ y B(y)
~
dl

y pasando a una formulacion macroscopica


Z
1
~
J(x) B(x) d3 x
F2,1 =
c

I
~
B(x)
=
c

1
~
B(x)
=
c

I ~
dly (x y)
| x y |3

J(y) (x y) 3
dy
| x y |3

Esta definicion implica la bien conocida regla de la mano derecha. Debemos siempre ser cuidadosos sobre
esta definicion, ya que incluye una fuerza propia, similar a una energia propia, efecto que se produce
cuando x = y. Por lo tanto, solo tiene sentido la fuerza de un grupo de cargas sobre otro grupo de
cargas.

34

Hemos asumido la idea de superposicion, lo cual esta bien siempre y cuando no vayamos al regimen de
mecanica cuantica, optica no lineal, etc.
Podemos facilmente definir el potencial vectorial

 Z
J(y)
1
3
dy
B(x) =
c
|xy |

B =0

Como habamos visto en el caso electrostatico


E = 4
E =0
fue u
til tener el rotor y la divergencia del campo. Entonces, ?que es B? Tomemos

B(x) =
=
=
=
=

 Z

1
J(y)
3
dy

c
|xy |
 Z


  Z



1
1
1
1
2
3
3

J(y)
J(y)
dy
dy
c
|xy |
c
|xy |
 Z

4
1
J(y) 3
J(x) +
dy
c
c
|xy |
Z

4
1
(y)
J(x)

c
c t
|xy |
4
1 E
J(x) +
c
c t

Obtenemos el resultado integrando por partes los terminos de la forma (f A). Para el caso magnetostatico el u
ltimo termino es cero, este u
ltimo termino fue propuesto por Maxwell completando las llamadas
ecuaciones de Maxwell.
Podemos definir el potencial vectorial como
Z
1
J(y)
A(x) =
d3 y +
c
|xy |

B =A

La eleccion de depende de la gauge que elijamos. Es u


til utilizar el gauge A = 0, ya que nos da que
4
J
c
lo cual es lo mismo que la ecuacion de Poisson, pero en forma vectorial. En el caso de la electrostatica, en
general, no conocemos las corrientes inducidas en los bordes.
2 A =

Supongamos que tenemos un campo vectorial que


35

A 6= 0
entonces podemos elegir otro campo vectorial
A = A +
que da
A = A + 2
Por lo tanto es factible encontrar un tal que
2 = A
y por lo tanto podemos asumir
A=0

9.

M
etodo de soluci
on

En el caso de la electrostatica el borde contribuyo al potencial va la generacion de cargas superficiales.


Estamos interesados en los problemas de valor de borde donde el potencial fue definido en la superficie. En
el caso presente
~ =0
B
~ = 4 J
B
c
la construccion de la funcion de Green es un poco mas complicada en relacion con los conceptos equivalentes
a los conductores de la electroestatica. Lo que requiere entender el comportamiento del medio bajo la
presencia del campo magnetico, lo cual genera corrientes microscopicas, lo que depende del tiempo y es en
general un problema tiempo dependiente. ?cual es el campo magnetico dentro de un conductor?

Tomemos estas ecuaciones cerca de una interfase y tratemos de deducir como cambia el campo al cruzar
la interfase. Tomemos una caja infinitesimal de tapa y fondo dS, y lado dh 0 (ver Fig. 3a). Usando el
teorema de Gauss para la integral de volumen obtenemos
H
~ dx3
B
= 0

H
~ ~n dS
B
= 0



B~2 B~1 ~n dS 0
con lo cual obtenemos una condicion de borde para los campos
36


B~2 B~1 ~n = 0

Para el caso de campo tangencial, tomemos un rectangulo perpendicular, como se muestra en la Fig. 3b.
Integrando sobre esta superficie que atraviesa la interfase tenemos
H
H
~ ~n dS
( B)
= 4 J~ ~n dS
H
H
~
~ dl
B
= 04 J~ ~n dS


R
~
~
E2 E1 ~n d` 4 J dh d`
en el limite dh 0, con
Z
K = lm

dh0

J dh

Por lo tanto, la carga de la superficie genera una discontinuidad en el campo magnetico tangencial debido
a una corriente superficial. Con lo cual obtenemos la segunda condicion de borde


B~2 B~1 ~n = 4K
~ es la corriente superficial que se induce por la discontinuidad en el campo magnetico tangencial.
donde K

En algunas situaciones es posible construir una corriente de imagen para situaciones de condiciones de borde
simples. Estudiaremos tales casos en el proximo captulo. Por ahora, nos concentraremos en la situacion del
espacio infinito.

Problema: El campo magnetico producido por un loop de corriente de radio R.


Este problema puede ser solucionado por integracion directa,
I ~
dl (x y
B=
|x y|
con
y = [R cos , R sin , 0]
y
~ = dy d = [R sin , R cos , 0]d
dl
d
Pero ahora estudiaremos usando la funcion de Green en el espacio infinito.

37

(r0 a)
sin 0 (cos 0 )[ sin 0 , cos 0 , 0]
a
Z

l
r<
4 X Yl,m (, )

d3 xJ(x0 ) l+1
Yl,m
(0 , 0 )
A (r, , ) =
c l,m 2l + 1
r>
J = I

 
l
4Ia X Yl,1 (, 0) r<
Y
,0
l+1 l,m 2
c l=1 2l + 1 r>

donde r> es el mas largo entre r y a. Desde esta expresion podemos calcular el campo magnetico lejos del
loop r > a como

Br
B

"

X
(1)n (2n + 1)! a2n
2 cos
=
+
2
P
cos
n n!
2n+2 2n+1
r3
2
r
n=1
#
"


2
X
(1)n (2n + 1)! a2n 1
sin
Ia
P
3 +
cos
=
n (n + 1)!
2n+3 2n+1
c
r
2
r
n=1

Ia2
c

El termino en los parentesis redondos es el momento del dipolo magnetico para el loop plano (area por la
corriente). Este resultado sera u
til cuando discutamos el medio magnetico en el proximo capitulo.

10.

Fuerza de Lorenz

Ahora podemos calcular la fuerza que siente un carga q en la presencia de un campo magnetico y un campo
electrico
(x) = q(x x(t))

J(x) = qv(t)(x x(t))

utilizando las definiciones de arriba, tenemos


Z
Z
1
dv
J(y) B(y)dy
m = (y)E(y)dy +
dt
c
que nos da
dv
v
m = qE(x) + B(x)
dt
c

38

11.

Soluci
on num
erica

Estamos interesados en resolver numericamente la ecuacion de Laplace y la de Poisson


~ = 2 = 4
E
En general muchos de estos problemas quedan explcitos como problemas con condiciones de borde, no
como un problema inicial que se puede integrar con metodos estandar.

11.1.

Problemas en 1D

Para el caso de una dimension tenemos que resolver


d2
= 4(x)
dx2
que en principio se puede encontrar como
Z

(x) = (0) + (0)x 4

Z
dz

(y)dy
0

Podemos notar que para integrar esta ecuacion necesitamos ser capaces de hacer la integral y ademas tener
dos condiciones de borde en x = 0.
Muchas veces la integral no se puede resolver en forma analtica y en otras no tenemos las condiciones en
el mismo punto, sino mas bien tenemos condiciones de borde (0) y (L).
11.1.1.

Shooting Method

Para estos casos, podemos utilizar un metodo de disparo para encontrar la solucion en forma numerica.
Por ejemplo, si queremos resolver el problema de
(x) = sin(cos[x])

(0) = 1

(1) = 4

Para eso definimos una funcion en MATHEMATICA


f un[xo] := (p[x]/.N DSolve[{p00 [x] == [x], p[0] == 1, p0 [1] == xo}, p[x], {x, 0, 1}])/.x > 1
con lo cual podemos encontrar el valor de (1) dado un valor inicial xo = 0 (0). Ahora tenemos que
encontrar el cero de la funcion
g(xo) = f un[xo] (1)
Para encontrar el valor de 0 (0) que de (1) = 4. Esto se puede hacer con el metodo de la secante dados
dos valores iniciales s0 = 1, s1 = 3,
sn+1 = sn + g(sn )

sn sn1
g(sn ) g(sn1 )

39

el cual converge rapidamente a s 7,2, y la solucion se muestra en la Fig. 5.


Y
4
3
2
1
0.2

0.4

0.6

0.8

-1
-2
-3

Figura 5: Solucion al problema en una dimension


En MATHEMATICA podemos hacer uso de un metodo mas eficiente que esta dado por FindRoot.
11.1.2.

Elementos finitos

Tambien es posible construir directamente una aproximacion numerica del funcional


Z
S[f ] = L dx
discretizando la funcion f (x) en termino de funciones localizadas
X
fi hi (x)
f (x) =
i

donde hi (x) es el elemento finito alrededor del punto de la grilla (xi ). Por ejemplo,

|x xi |

|x xi | x
1
hi (x) =
x
0
|x x | > x
i

con xi = ix. Pero hay otras posibilidades como una cuadratica centrada en xi o una gaussiana centrada
en xi . Podemos calcular la integral de arriba en funcion de fi . Luego de optimizar esta expresion sobre los
valores desconocidos de fi , obtenemos la solucion esperada. En MATHEMATICA podemos utilizar NSolve
si el problema es polinomial, o FindMinimum si el problema es no-lineal en fi . Para discretizaciones mas
avanzadas, es posible que tengamos que usar un metodo mas global como algoritmos geneticos o CSA, ya
que pueden existir m
ultiples mnimos.

Ejemplo: Supongamos que queremos resolver el mismo problema de arriba


d2
= 4(x)
dx2
con
(x) = sin(cos[x])

(0) = 1
40

(1) = 4

En este caso sabemos que este problema se puede escribir como un funcional
1
L = 02 4
2
Por lo tanto re-escribamos la accion como
Z 1
Z 1
N +1
N
+1
X
1X
0
0
i j
S[{i }] =
dxhi (x)hj (x) 4
i
dxh0i (x)(x)
2 i,j=0
0
0
i=0
Con la definicion
1

dxh0i (x)h0j (x)

Ai,j =
0

y
Z
bi = 4

dxh0i (x)(x)

donde i = 0, . . . , N + 1 y j = 0, . . . , N + 1. Entonces se puede escribir como una matriz actuando sobre el


= (0 , . . . , N +1 ),
vector
T A

Tb
= 1
S[]
2
Notemos que las condiciones de borde tienen que ser satisfechas por
X
X
i hi (0)
(1) =
i hi (1)
(0) =
i

que se usan para despejar dos fi . Si usamos los elementos finitos triangulares que definimos arriba, inmediatamente encontramos que 0 = (0) y N +1 = (1). Con estos elementos finitos tenemos

(x/2)

...

4x

(x

x/2)

(x
+
x/2)
b=
i
i

...
(1 x/2)
y una matriz tridiagonal

A=
2x

1 1 0 . . . 0
1 2 1 . . . 0
... ... ... ... ...
0
0 1 2 1
0
0
1 1

por lo tanto

41

S=

N +1
1 X
n An,m m bn n
2 n,m=0

Si ahora buscamos el optimo


dS
=0
di

i = 1, .., N

obtenemos
0=

N
+1
X

Ai,m m +

m=0

N
+1
X

n An,i + bi = 2

n=0

N
+1
X

Ai,m m bi

i = 1, .., N

m=0

Notemos que las condiciones de borde estan incluidas aqu y que la sumatoria va de m = 0 hasta m = N +1.
Separemos los terminos correspondientes a condiciones de borde
N
X

Ai,m m = bi Ai,0 0 Ai,N +1 N +1

i = 1, .., N

m=1

Podemos re-escribir entonces esto como


= b
A
y la solucion es entonces
= A1b

Problemas mas complicados tambien se pueden enfrentar.


4
3.5
3
2.5
2
1.5

0.2

0.4

0.6

0.8

Figura 6: Solucion al problema en una dimension con elementos finitos

11.2.

Problema en 2-D

Para el caso de una dimension tenemos que resolver


d2 d2
+ 2 = 4(x, y)
dx2
dy
en el borde.
42

11.2.1.

Soluci
on por relajaci
on

Es posible probar que el teorema del valor medio para el potencial, en el cual el potencial en el centro de
una esfera, sin ninguna carga, es igual al potencial promedio en la superficie de la esfera. Si asumimos una
discretizacion esto puede ser usado por iteracion para obtener el valor convergente para el potencial en una
region sin ninguna carga, y donde las condiciones lmite para el potencial es conocida
i 4
1 h (n)
(n)
(n)
(n)
(n)
(n)
i+1,j,k + i1,j,k + i,j+1,k + i,j1,k + i,j,k+1 + i,j,k1 +
x2 y 2 z 2 i,j,k
6
6
asumiendo una condicion de borde conocida, la solucion converge a la actual solucion de la ecuacion de
Poisson. En otros sistemas de coordenadas es necesario discretizar apropiadamente. La extension a 1D o
2D es trivial.
(n+1)

i,j,k =

Problema: Descargas fractales


Asumamos que definimos una descarga fractal como un sistema de puntos adyacentes que estan en un
potencial fijo = 1, y el infinito (en este caso, un circulo de radio R) en = 0. Dada esta configuracion
de potencial, podemos usar el metodo de relajacion para calcular el potencial el cualquier lado. En dos
dimensiones el metodo de relajacion es
i
1 h (n)
(n)
(n)
(n)
=
+ i1,j + i,j+1 + i,j1

4 i+1,j
Por lo tanto conocemos el campo electrico en cualquier lado, y especialmente en los puntos adyacentes a la
descarga. La descarga se desarrollara agregando en los puntos adyacentes a la descarga. Un punto tiene la
probabilidad de ser agregado a la descarga proporcional a un poder en el campo electrico local
(n+1)
i,j

Pi,j Ei,j

Una vez que el punto es agregado, recalculamos el potencial y repetimos la operacion, Usamos el codigo de
potencial escrito en C++ para calcular el fractal siguiente. El resultado esta dado para = 1,0

Figura 7: Descarga Fractal


El potencial es mostrado como los contornos de color. Obviamente si = 0 tenemos una estructura en dos
dimensiones, en cambio si va hacia infinito tenemos una lnea de una dimension.
43

11.2.2.

Soluci
on directa

Tambien es posible construir una solucion numerica resolviendo la ecuacion de Laplace en forma directa
desde su discretizacion. En forma implcita podemos escribir en la aproximacion a primer orden de las
derivadas
i+1,j + i1,j 2i,j i,j+1 + i,j1 2i,j
+
= 4i,j
x2
y 2
Tenemos que resolver este set implcito de relaciones, pero donde estan mezclados condiciones de borde
con valores que desconocemos. La idea se separar los valores que conocemos de los valores desconocidos en
forma explicita
A = B

= A1 B

As se puede resolver el problema. De hecho la subrutina Solve de Mathematica puede ser muy u
til en estas
situaciones. Notemos que otras discretizaciones son tambien posibles. Lo interesante, es que en principio
una vez que resolvemos un problema, todos los otros problemas (con condiciones de borde similares) estan
resueltos.

Problema: Pretendemos resolver el problema


(x < 1, y = 0,5) = (x > 4, y = 0,5) = 1

(2 < x < 3, y = 0,5) = 0

en [0, 5] [0,5, 0,5] con una interpolacion lineal entre los electrodos en el borde. Utilizaremos la funcion
de Mathematica NDSolve para encontrar una solucion numerica.
ny = 20; nx = 50; pl = -1; pr = -1;
stp = {pl, pl, 0, 0, pr, pr};
stx = {0, nx/5, 2*nx/5, 3*nx/5, 4*nx/5, nx + 1};
f= Interpolation[Transpose[stx, stp], InterpolationOrder 1];
eqna
eqn1
eqn2
eqn3
eqn4

=
=
=
=
=

Table[-4*a[i,j]+a[i+1,j]+a[i-1,j]+a[i,j+1]+a[i,j-1]==0,{i,2,nx},{j,2,ny}];
Table[a[i, 1] == f[i], {i, 1, nx + 1}];
Table[a[i, ny + 1] == f[i], {i, 1, nx + 1}];
Table[a[1, j] == pl, {j, 2, ny}];
Table[a[nx + 1, j] == pr, {j, 2, ny}];

eq = Flatten[{eqna, eqn1, eqn2, eqn3, eqn4}];


var = Flatten[Table[a[i, j], {i, 1, nx + 1}, {j, 1, ny + 1}]];
sol = Flatten[NSolve[eq, var]];
Dada la solucion, ahora podemos reconstruir el potencial como

44

x = 0,1; xmax = nxx; ymax = nyx/2;


= Interpolation[F latten[T able[{ix, jx ymax, a[i + 1, j + 1]/.sol}, {i, 0, nx}, {j, 0, ny}], 1]];
g1 = ContourP lot[[x, y], {x, 0, xmax}, {y, ymax, ymax}];
el cual se muestra en la Fig. 8. Ahora podemos calcular el campo electrico
tmax = 8;
ef x[x , y ] = D[[x, y], x];
ef y[x , y ] = D[[x, y], y];
ex[x , y ] = If [x >= 0&&x <= xmax&&y >= ymax&&y <= ymax, ef x[x, y], 0];
ey[x , y ] = If [x >= 0&&x <= xmax&&y >= ymax&&y <= ymax, ef y[x, y], 0];
y programar el calculo de la trayectoria de electrones
tra[xo , yo , eo , ]:= (
solu =NDSolve[{x[t]==ex[x[t],y[t]],y[t]==ey[x[t],y[t]],
x[0]==xo,y[0]==yo,x[0]==eo*Cos[],y[0]==eo*Sin[]}, {x[t], y[t]}, {t, 0, tmax}];
x1[t ] = x[t] /. Flatten[solu];
y1[t ] = y[t] /. Flatten[solu];
Return[ParametricPlot[{x1[t], y1[t]}, {t, 0, tmax},PlotStyle {RGBColor[1, 0, 0]}]];
)
s = Table[tra[0.1, yv, 0.01, 0], {yv, -0.5, 0.5, 0.1}];
Finalmente, podemos grafical todo junto como se muestra en la Fig. 8, que muestra que el lente electrostatico
es convergente.
gra = Show[g1, s, DisplayFunction $DisplayFunction, PlotRange > {{0, xmax}, {-ymax, ymax}},
Frame > True, FrameLabel > {x,y,,}];
11.2.3.

Soluci
on por elementos finitos

En realidad el metodo de elementos finitos tiene que ver con un procedimiento mas general para resolver
problemas de este tipo. Notemos que la ecuacion de Laplace viene de un principio de optimizacion
Z

L[] =
()2 4 dx3

L = 0 2 = 4
Por lo tanto uno puede asumir una forma de interpolacion
X
(x, y) =
i,j h(x, y, xi , yj )
i,j

45

1
0.75
0.5

0.25
0
-0.25
-0.5
-0.75

Figura 8: Solucion al problema en dos dimensiones con las trayectorias de electrones superpuestos. La
trayectoria de los electrones en un lente electrostatico definen la distancia focal del lente. Esto es un lente
convergente.
donde h(x, y, xi , yi ) es el elemento finito alrededor del punto de la grilla (xi , yj ). Usando una aproximacion
lineal
h(x, y, xi , yi ) = h(x, xi )h(y, yi )
donde

|x xi |

1
h(x, xi ) =
x
0

|x xi | x
|x xi | > x

con xi = ix, se puede calcular la integral de arriba. Luego optimizamos esta expresion sobre los valores
desconocidos de i,j . Aqu lo importante es ordenar apropiadamente los ndices para poder escribir este
problema como
= b
A
y la solucion es entonces
= A1b

donde b contiene informacion sobre las condiciones de borde, y A es una matriz conocida.

Si tenemos condiciones de borde donde otro sistema de coordenadas es razonable, tenemos que evaluar el
funcional en forma apropiada.

Cuando las condiciones de borde no son regulares o rectangulares, es conveniente usar una grilla no rectangular. Para estos casos es muy com
un utilizar una grilla triangular (la mayora de las veces se utiliza una
grilla variable con en la Fig. 9
Para estos casos, conviene utilizar una interpolacion lineal dentro de cada triangulo

46

Figura 9: Grilla triangular variable

(x, y) a0 + a1 x + a2 y
donde los coeficientes van variando en cada triangulo y dependen de la posicion de los tres puntos que
definen cada triangulo. Es posible hacer una transformacion de una interpolacion dentro de los triangulos
a una descripcion en termino de elementos finitos sobre cada punto de la grilla, pero estos claramente
dependen de la posicion de los otros puntos del triangulo. El caso de una grilla regular es mas facil.

47

Appendix
A.

Convenci
on de las sumatorias de Einstein

Desde ahora, usaremos la convencion de las sumatorias de Einstein. Esto significa que dos ndices en una
expresion implican una doble sumatoria explcita. Definamos
(A B)k = i,j,k Ai Bj
(
P (i, j, k) i 6= j 6= k
i,j,k =
0
otro caso
con P (i, j, k) = (1)n , con n el n
umero de permutaciones de elementos adyacentes que necesitamos operar
sobre (i, j, k) para producir (1, 2, 3), el cual vale 1. Por ejemplo,
P (2, 3, 1) = P (2, 1, 3) = P (1, 2, 3) = 1
P (3, 2, 1) = P (3, 1, 2) = P (1, 3, 2) = P (1, 2, 3) = 1
Esto es equivalente a ver si la rotacion cclica de (i, j, k) da (1, 2, 3) que tiene valer +1 o (2, 1, 3) que tiene
valor -1. Por ejemplo,
P (2, 3, 1) P (1, 2, 3)

P (2, 3, 1) = 1

P (3, 2, 1) P (2, 1, 3)

P (3, 2, 1) = 1

Con estas definiciones no es difcil darse cuenta que


i,j,k l,m,k = i,l j,m i,m j,l
con i,j = 0 si i = j, y cero en otro caso. Esta relacion fundamental ya que permite calcular productos como
(A B)2 =
=
=
A (A B) =

i,j,k Ai Bj l,m,k Al Bm
(i,l j,m i,m j,l )Ai Bj Al Bm
A2 B 2 (A B)2
A2 B A(A B)

48

B.

Funciones Delta

Una funcion delta puede ser construida de muchas maneras


Como un limite de una gaussiana con 0.
x2

1
(x) = lm
e 2 2
0
2
Como un limite de i,j en un espacio de dimension N .
La definicion que nos interesa es
(x a) = 0 x 6= a
Z
(x a)f (x) dx = f (a) a I
I

Es en realidad una distribucion. Para definir distribuciones apropiadamente es necesario definir medidas
(por ejemplo Lebesgue) Notemos que la integral de Riemman no tiene mucho sentido aca (excepto como
limite de algo mas continuo).
Entonces es claro que
Z

f (a) =

0 (x a)f (x) dx

y haciendo un cambio de variable tenemos


(g(x)) =

X
i

g 0 (x

i)

(x xi )

Notemos que aqu asumimos que las funciones son bastante suaves con ceros simples.

Otro resultado importante es


2

1
= 4(x y)
|xy |

Primero es facil darse cuenta que en coordenadas esfericas tenemos




1 2
1

1
2
2
(r)
+
=
sin

+
r r2
r2 sin

r2 sin2 2
con lo cual

49

 
1

=0
r
2

r 6= 0

pero por el teorema de Gauss tenemos que


Z
Z
2
3
d y=

n
dS

y usando
=

1
1
r +
+

r
r
r sin

con lo cual
 
1
1

= 2 r
r
r
y por lo tanto si integramos una esfera de radio R, obtenemos
Z

1
|xy |

(
0
d3 y =
4

x
/
x

para cualquier R. Esto implica la expresion de arriba desde la definicion de la funcion delta.

Es tambien posible probar esto usando un procedimiento de limites con un potencial de la forma
Z
(y)
p
dy
a (x) =
|x y|2 + a2

50