1 Temas teóricos Electromagnetismo Teorema de Helmholtz. Lino Spagnolo La teoría electromagnética de Maxwell, e incluso las modernas elaboraciones como la electrodinámica cuántica y la cromo dinámica, utilizan la teoría del campo para definir la estructura de las variables físicas electromagnéticas. De ahí que se utilicen más los conceptos de campo electromagnético, densidades de corrientes y densidades de carga eléctrica en lugar de los parámetros de la teoría de circuitos, como corriente, tensión, potencia, resistencia, inductancia, etc. Los campos se clasifican en escalares, vectoriales y tensoriales. Son funciones espaciales, y pueden o no ser también funciones del tiempo. Su utilización primordial es para describir las propiedades físicas de las entidades como campo eléctrico o magnético de modo tal que resulten independientes de las transformaciones de coordenadas. Esta última característica es esencial para adoptar la teoría de campos y al mismo tiempo restringe la forma en que se transforman bajo una traslación y/o una rotación. Sin necesidad de profundizar estas nociones, descriptas en los textos de Análisis Vectorial, pueden enumerarse algunas características: La carga eléctrica Q es un campo escalar propio definido por una única cantidad, (notar que la expresión “impropio”, como opuesto a “propio”, significa seudo escalar, o sea una magnitud escalar que cambia de signo ante una inversión de coordenadas). r El campo eléctrico tridimensional E es una magnitud vectorial propia definida por tres componentes espaciales y eventualmente por una temporal adicional. r El campo magnético tridimensional B es una magnitud vectorial impropia definida por tres componentes espaciales y eventualmente por una r temporal adicional. Esto significa que el campo B es seudo vectorial. Se ha visto que las ecuaciones de Maxwell definidas para campos estáticos o cuasiestáticos, se reducen a: r ρ r ∇ ⋅ E = εo E→ r ∇ × E = 0 r r ∇ ⋅ B = 0 B→ r r ∇ × B = µo J (01) Estas ecuaciones sugieren que si se conocen las fuentes de campos, o sea, la divergencia y el rotor de un campo vectorial, se podrá conocer todo respecto a dicho campo. En efecto, el Teorema de Helmholtz sostiene precisamente que un campo r vectorial F , con la condición de ser finito, uniforme y continuo y que además se anule en el infinito, puede ser expresado como la suma del gradiente de una función r potencial Ψ y el rotor de un campo de potencial vectorial (Fórmula 04). K de divergencia nula. 2 En el desarrollo de la teoría se suponen conocidas aquellas variables físicas que de forma causal dan lugar a la existencia de dichos campos, que se denominan r precisamente fuentes de campo ρ y J, tal como se ve en la fórmula (01). Campos escalares. Las ecuaciones de campo son generalmente diferenciales: ellas nos informan de las diferencias infinitesimales entre el valor del campo en un punto respecto a su valor en los puntos vecinos. Para ello debemos saber qué ecuación diferencial especifica a un campo escalar. Si la función escalar de punto la llamaos φ ( r ) , entonces su gradiente nos define un campo vectorial tal que r consistencia : ∇ × A = 0. r A(r ) = ∇φ ( r ) con la propiedad de cumplir su auto De esta forma, si se conoce el campo escalar φ ( r ) en un punto P , para otro punto Q genérico perteneciente al mismo espacio, queda definido su valor a través de la ecuación Q integral: r r r φ (Q) = φ ( P ) + ∫ A ⋅ dl r (02) P Y dado que ∇ × A = 0 garantiza que A es un campo conservativo por lo cual la ecuación integral define de forma unívoca el valor del campo en cualquier punto Q. Campos vectoriales. Para los campos vectoriales hacen falta más condiciones para su completa definición. Tal como demostrará el teorema de Helmholtz, hacen falta 2 ecuaciones diferenciales para su definición. El teorema de Helmholtz dice concretamente que: Cuando se conocen las fuentes escalares (densidad de carga eléctrica, por ejemplo) y las fuentes vectoriales (densidad de corriente, como ejemplo), correspondiente a la r divergencia del campo vectorial F y a su rotor, respectivamente (según fórmulas 03), dicho campo queda determinado a menos de un gradiente de de una función escalar f (r ) tal que: ∇ ⋅∇f ( r ) = 0, y que no afecta al valor del campo r F. Imponiendo la condición de que las dos fuentes se anulen en el infinito y que el campo vectorial r F decrezca de forma de anularse cuando r ∇ ⋅ F = λ (r ) r r ∇ × F = k (r ) r → ∞, se define: fuente escalar (03) fuente vectorial Entonces el teorema de Helholtz demostrará que el campo vectorial suma de: r r F (r ) = −∇Ψ ( r ) + ∇ × K (r ) r F es la (04) 3 En la cual los potenciales escalares teoría electromagnética. 1 Ψ (r ) = 4π ∫v r Ψ (r ) y vectoriales K (r ) son los definidos en la r r 1 r r dv ' ; K (r ) = r −r' 4π λ ( r ') Entonces la función vectorial r F ∫v r r k (r ') r r dv ' r −r' (05) satisfará las ecuaciones (03). Demostración del teorema de Helmholtz. De acuerdo con la hipótesis que siguientes cálculos: r r F = −∇Ψ + ∇ × K efectuaremos los r Se calculará la divergencia: Tener en cuenta que siempre: ∇ ⋅ ∇ × K r ∴ ∇ ⋅ F = −∇ ⋅ ∇Ψ = −∇ 2 Ψ ∴ ∇ 2 Ψ (r ) = −λ (r ) (06) Y dado que su divergencia es uno de los datos del problema, la primera parte queda demostrada a través de la ecuación diferencial escalar de Poisson cuya solución es la función potencial: 1 Ψ (r ) = 4π ∫v r r r dv ' r −r' λ (r ') (07) Que será finalmente el potencial escalar φ ( r ) = V ( r ). El cual formará parte del vector r F (r ) como su elemento gradiente −∇Ψ (r ) . Luego se calculará su rotor: Tener en cuenta que siempre: ∇ × ∇Ψ (r ) = 0 r r ∇ × F (r ) = −∇ × ∇Ψ ( r ) + ∇ × (∇ × K ( r )) O sea: r r r r ∴ ∇ × F (r ) = ∇ × (∇ × K (r )) = ∇(∇ ⋅ K ) − ∇ 2 K (08) Esta ecuación diferencial es bastante complicada, una simplificación consiste en anular r la divergencia ∇ ⋅ K = 0 , esta condición se conoce como condición de Gauge dentro del electromagnetismo, o también como condición de Coulomb. Quedando en consecuencia: r r r r r ∇ × F = k (r ) = −∇ 2 K ∴ ∇ 2 K = − k ( r ) = −(k1eˆ´ x + k2 eˆ y + k3eˆz ) (09) 4 Que constituye la otra ecuación diferencial vectorial de Poisson cuya solución es el potencial vectorial magnético: r 1 K (r ) = 4π r r k ( r ') r r dv ' r −r' ∫v (10) Que también será el potencial vectorial magnético del cual se obtiene la inducción magnética r r B (r ) = ∇ × A(r ) La cual forma parte del vector r r r y la carga será el campo vectorial k (r ') = J (r '). r r F (r ) como su elemento rotor ∇ × K ( r ) . r r F (r ) = −∇Ψ ( r ) + ∇ × K (r ) puesto que Con lo cual queda probada la ecuación r Ψ (r ) y K (r ) se obtienen de las ecuaciones (07) y (10) y además se r r demostró que tanto ∇ ⋅ F como el ∇ × F conducen a los datos de partida. ambos valores Quedando pendiente la siguiente demostración: r Demostración que los potenciales Ψ (r ) y K ( r ) son solución de la r r ecuación F (r ) = −∇Ψ (r ) + ∇ × K (r ), y a su vez esos potenciales son solución de la ecuación de Poisson. r ∫v rr − rr ' dv ' r es solución de la ecuación (07).. Para ello se calcula la Divergencia de F ( r ) : r r 1 2 λ ( r ') ∇ ⋅ F (r ) = −∇ ⋅∇Ψ (r ) = − ∇ r r dv ' (11) 4π ∫v r − r ' r r Dado que la carga λ ( r ') es un escalar constante para el entorno espacial de r ', 1 Comenzaremos por demostrar que el potencial Ψ ( r ) = 4π reducimos la integral anterior a: λ (r ') r λ ( r ') 1 2 ∇ Ψ (r ) = − ∇ r r dv ' 4π ∫v r − r ' 2 En la cual sólo debemos evaluar la integral 1 2 ∇ r ∫v r − rr ' (12) dv ' (13) en todo el espacio. La resolución de esta integral en cualquier lugar del espacio da un resultado nulo. Sin embargo, como sabemos por la Ley de Maxwell, al evaluar la divergencia en el lugar 5 ρ q , o su densidad volumétrica ρv , su valor es . εo r r Esta aparente contradicción se debe a que en el entorno de r = r ' el valor de la 1 función ( r r ) tiende a infinito. r −r' físico en que se encuentra la carga Existen diversas técnicas para evitar esa indefinición, pero desde un aspecto matemáticamente afín al concepto de carga puntual, nos parece que la herramienta conocida como delta de Dirac, o función impulso de la electrónica aplicada, sea la aproximación más adecuada a la solución. Recordemos que la definición del operador, o delta de Dirac, era una función δ ( x − x ') tal que su integral daba: +∞ ∫−∞ ϕ ( x).δ ( x − x ').dx = ϕ ( x ') Esta integral asigna a la función ϕ ( x ) el valor de De tal forma que, si por ejemplo, (14) ϕ ( x '). ϕ ( x) = 1 entonces +∞ ∫−∞ δ ( x − x ').dx = 1 (15) Una definición más informal del operador o símbolo δ ( x − x ') se da a través de las propiedades: = 0 para todo x ≠ x ' = ∞ para x = x ' δ ( x − x ') (16) Es importante, en el uso de la delta, que deba ser tomada siempre como un operador, particularmente siempre bajo el signo integral, y no como una función analítica. Permite ser utilizada con expresiones vectoriales y en integrales volumétricas, de r r superficie y lineales, siempre que se incluya en la integral el punto x = x ' o r = r '. Para una integral de volumen se tiene: r r r r ∫v ϕ (r ).δ (r − r ') dv = ϕ (r ') (17) Existen muchas funciones con las propiedades de la delta de Dirac, pero para el electromagnetismo es importante considerar la función con tales propiedades. 1 − ∫ ∇ 2 ( r r ) dv ' (13) v r −r' 6 Aplicando el teorema de la divergencia a la expresión (13): r r 1 1 − ∫ ∇.∇( r r ) dv ' = − ∫∫ ∇( r r ) ⋅ dS ' = v' S' r −r' r −r' r rˆ − rˆ ' ( ) ⋅ dS ∫∫ S ' rr − rr ' 2 ' (18) r Pero observando que ( rˆ − rˆ ') ⋅ dS = dS , es el producto escalar de los versores que señalan la dirección radial junto al elemento normal de la superficie esférica que envuelve todo el volumen v ', el resultado es un producto simple que puede combinarse con la expresión del esterarían: dS dS = r r 2 2 r r −r' r rˆ − rˆ ' Con lo cual, reemplazando: ∫∫ ( r r 2 ) ⋅ dS ' = S' r −r' dΩ = ∫∫ S ' d Ω = 4π (19) O sea, con esto se demuestra la equivalencia con la función de delta de Dirac: 1 r r −∇ 2 ( r r ) = 4π δ (r − r ') r −r' (20) Y por lo tanto el valor de la integral, tomada en en un punto que incluye la carga puntual q → ρ , equivale a utilizar la ecuación (17): r 1 ∇ ⋅ F (r ) = −∇ ⋅∇Ψ (r ) = − 4π r 2 1 λ ( r ') λ ( r ∫v )∇ rr − rr ' dv ' = 4π r Y será equivalente a utilizar la delta de Dirac o el funcional − 1 4π r 1 r r r 2 ∫v ϕ (r )∇ rr − rr ' dv ' = ϕ (r ') . r ∫v ϕ (r ).δ (r − r ') dv = ϕ (r ') (20’) De aplicar estos resultados al campo electrostático pondremos el campo r ρ r ∇ ⋅ F = ∇ ⋅ E = r r εo vectorial F → E cuyas respectivas fuentes son: r r ∇ × F = ∇ × E = 0 (21) 7 Por lo cual, según la ecuación (06) esto equivale a: r ∇ ⋅ F = −∇ ⋅∇Ψ = −∇ 2 Ψ ∴ ∇ 2 Ψ ( r ) = −λ (r ) r r ρ (r ) E ( r ) = −∇φ (r ) ∴ ∇ ⋅ E (r ) = −∇ 2φ (r ) = (22) εo Reemplazando en (07): φ (r ) = 1 4πε o O sea: r 1 ∇⋅E = − 4π ∫v r ρ ( r ') 1 r r dv ' → E (r ) = − r −r' 4πε o r ρ (r ) ∇ ∫v rr − rr ' dv ' (23) r ρ (r ) 2 1 ρ (r ) r r ρ ( r ') δ ∇ dv ' = . ( r − r ') dv ' = (24) r r ∫v ε o r − r ' ∫v ε o ε o Con lo cual queda demostrada la primera fórmula de (12). De igual forma se pueden aplicar los resultados (20) o (20’) para r r r 1 k (r ') demostrar que el potencial K ( r ) = r r dv ' 4π ∫v r − r ' r r la ecuación F ( r ) = −∇Ψ ( r ) + ∇ × K ( r ). es solución de la ecuación de r r ∇ × F (r ) = ∇ × ∇ × K (r ) . (25) r Y aplicarlo para el caso del magnetismo donde K ( r ) equivale al potencial vectorial r r 2 magnético que corresponde a la ecuación de Poisson: ∇ A = − µo J (26) Para ello bastará tomar el rotor de Ahora el campo vectorial r r F →B ( ) equivale al campo magnético cuyas fuentes son: r r ∇ ⋅ F = ∇ ⋅ B = 0 (27) r r r ∇ × F = ∇ × B = µ J o r r r Pero como según se desprende de ∇ ⋅ B = 0 → B (r ) = ∇ × A(r ) por lo tanto: r r r r r ∇ × B (r ) = ∇ × (∇ × A) = ∇(∇ ⋅ A) − ∇ 2 A = µo J Para simplificar la ecuación diferencial se adopta la condición de Gauge: r ∇⋅ A = 0 (28) 8 Y por lo tanto se obtiene la ecuación de Poisson, cuya solución es la fórmula (05): r 1 K (r ) = 4π ∫v r r k (r ') r r dv ' r −r ' O la fórmula del potencial vectorial magnético: r r ∇ 2 A = − µo J ; Nuevamente la densidad vectorial que puede ponerse: r r r µo J (r ) A(r ) = (29) r r dv ' 4π ∫v r − r ' r r J (r ) es constante para el entorno del punto, por lo r r r r r ∇ × F (r ) = ∇ × (∇ × K (r )) = ∇(∇ ⋅ K ) − ∇ 2 K = −∇ 2 A(r ) r r r r µo J ( r ) 1 2 2 ∇ × A(r ) = ∇ A(r ) = − ∇ r r dv ' 4π ∫v r − r ' (30) Llegando a la misma expresión que para el potencial escalar. r r λ (r ') 1 2 ∇ ⋅ F (r ) = − ∇ r r 4π ∫v r − r ' dv ' De lo cual deducimos que también la ecuación (05), y su consecuencia, la ecuación (30), es solución de la ecuación de Poisson.