Función delta de Dirac Consideremos una densidad de carga ρ( r) localizada. Entonces vale que: Q ρ( r)d Ahora imaginense que queremos utilizar esta fórmula tambien para el caso en que tengamos una única partícula. Cómo escribimos la 'densidad' de carga asociada a una partícula puntual de carga q ubicada en la posición r 0? En principio necesitariamos que la función ρ( r) satisfaga las siguientes propiedades: ρ( r) 0 r r 0 () Q ρ( r)d si r 0 (2) Para escribir una expresión que permita cumplir las dos últimas condiciones emplearemos una función, la delta de Dirac δ( x), de manera que ρ( r) qδ( r r 0 ) (3) Ahora, δ( x) debe ser tal que, cuando el volumen de integración incluya al punto r 0, valga que Q ρ( r)d qδ( r r 0 )d q δ( r r 0 )d q (4) } {{ } Cuando el dominio de integración incluye un punto en el cual el argumento de la δ se anula (en este caso r o ), la integral resulta igual al valor de la función que aparece como factor de la δ, evaluada en dicho punto (en este caso dicha función es la funcón constante ). Generalizando esto último, vamos a considerarcomo denición, que la función δ cumple que { f( r0 ) si r f( r)δ( r r 0 )d 0 (5) 0 sino. Caso D La función δ no es formalmente una función, sino que puede ser descripta como una secuencia de funciones que tienen un límite denido cuando se las integra. Existen varias maneras de generar estas secuencias, de manera de cumplir con la propiedad explicitada en (5). En todos los casos la representación de la δ involucra una secuencia de funciones que tienden a una forma de ancho innitesimal, pero de área unidad. Por ejemplo, en dimensión:
Representación tipo función escalón: { δ ɛ (x a) 2ɛ a ɛ < x < a + ɛ 0 sino Representación tipo Gaussiana: δ ɛ (x a) ɛ (x a) 2 x e ɛ 2 En ambos casos se tiene que + dxf(x)δ ɛ (x a) + + dxf(x a)δ ɛ (x) dx[f(a) + xf (a) +...]δ ɛ (x) donde asumimos que f(x) es una función bien comportada en el sentido que todas las integrales convergen para todo valor de ɛ. Para ver como se comporta la última integral analicemos, utilizando la representación tipo función escalón de la δ, integrales del tipo: + dxx n δ ɛ (x) +ɛ dxx n ɛ 2ɛ { n+ ɛn n 0, 2, 4,... 0 n, 3, 5,... { n 0 }{{} 0 sino ɛ 0 De esta manera, todos los términos, salvo el del orden cero, del desarrollo de Taylor se integran a cero en el límite ɛ 0 por lo que + dxf(x)δ(x a) lim ɛ 0 + dxf(x)δ ɛ (x a) f(a) emos entonces que la representación propuesta de la δ cumple con la propiedad (5)..2 El caso 3D El caso tridimensional resulta δ (3) ( r r 0 ) δ( r r 0 ) δ(x x 0 )δ(y y 0 )δ(z z 0 ) 2
2 Teorema de Helmholtz El siguiente teorema se conoce como el teorema fundamental del análisis vectorial. Teorema: Un campo vectorial continuo, A, puede descomponerse como suma de un gradiente y un rotor: A( r) φ( r) + ω( r) donde φ se denomina potencial escalar y ω potencial vector. Prueba Dado el campo de interés, A, para esta demostración vamos a introducir un campo vectorial auxiliar v( r) denido como: v( r) A( r ) r r d Asumiremos además que A 0 al menos como /r 2, de manera que la integral converja, aún cuando sea tomado como todo el espacio. Comencemos aplicando el operador laplaciano a ambos miembros de la igualdad. Componente a componente, debe valer que 2 v i ( r) A i ( r ) 2 r r d (6). Concentremonos primero en entender que signica la expresión 2 r r que aparece en el integrando. Para ello notemos que el gradiente de r es x2 +y 2 +z 2 r r r 3 r 0 por lo tanto 2 r (. ) r. ( rr ) 3 0 r 0 así que el Laplaciano de /r es un campo escalar identicamente nulo en todo punto salvo en el origen. Para ver que ocurre en ese punto en particular notemos que, usando el teorema de Gauss, una integral de volumen de dicha función se puede 3
escribir como: 2 r d (. ) r ( ) ( ) r.n r 2.d r r 3. d ( ) Como vimos en clase, la última integral es la del ángulo sólido subtendido por una supercie cerrada desde el origen. Por lo tanto: 2 r d { si r 0 0 si no Por lo tanto encontramos que 2 r es nulo en todo el espacio, excepto el origen, y que su integral sobre cualquier volumen que incluya al origen e sigual a. Estas son justamente las propiedades de la Delta de Dirac: δ( r), que describimos con un poco más en detalle en la ección (.): dω 2 r δ( r) El caso general se obtiene reemplazando r r por s r r 0 en cuyo caso 2 r r 0 δ( r r 0) Esta última expresión es la que estábamos buscando. 2. Con lo que aprendimos, podemos volver ahora a la ecuación (6) 2 v i ( r) A i ( r ) 2 r r d A i ( r )( δ( r r ))d A i ( r) donde la última igual se desprende de cómo actúa la δ dentro de la integral (ver eq (5)). Para poder seguir adelante haremos uso de la siguiente identidad vectorial: 2 v (. v) ( v) que, junto con el resultado obtenido arriba para la forma funcional que asumimos para v permite escribir: A( r) φ + ω con φ. v ω v 4
Corolario: La divergencia y rotor de un campo vectorial lo denen unívocamente.. Prueba de que rotor y divergencia denen un campo. Tenemos que φ. v A( r ) r r d A i ( r ) i r r d La última integral se resuelve integrando por partes: A i ( r ) i r r d i A i ( r ) r r d A( r ) r r.d r r ia i ( r )d r r ia i ( r )d y como la integral de supercie se anula al considerar como todo el espacio (recordar que A 0 al menos como /r 2 ) resulta: φ( r) d( r ) r r d por lo que el potencial escalar, φ, queda denido al conocer la divergencia de A(r), d( r). Así mismo ω i ( r) A k ( r ω ɛ ijk j r r d ɛ ijk A k ( r ) j r r d nuevamente, integrando por partes y reconociendo que la integral de supercie se anula obtenemos que: ω i ( r) c( r ) r r d con φ y ω denidos, queda denido nuestro campo de interés A. 2. Prueba de que el campo denido es único. upongamos que hay dos campos, A y A 2 para los cuales:. A. A 2 d( r) y A A 2 c( r). 5
Denamos un nuevo campo D( r) A A 2. Este nuevo campo satisface que. D 0 y D 0. Por esta última igualdad sabemos que D es un campo conservativo, por lo que D ψ y por lo tanto: 2 ψ 0. amos a usar ahora la siguiente identidad vectorial.(χ ψ) χ 2 ψ + χ. ψ Integrando en volumen ambos miembros y usando para el primero el teorema de la divergencia, tenemos que: χ ψ.d [χ 2 ψ + χ. ψ]d cuando consideramos el caso particular en que χ ψ ( ψ) 2 d ψ ψ.d ψd.d 0 la última igualdad resulta, como antes, de considerar a todo el espacio como el volumen de integración, por lo que la supercie borde se encuentra en el innito, donde el integrando se anula. En denitiva la última ecuación implica que ψ 0 o D 0 o A A 2 6