SuperNotes by yuri.rodrix

Notas de Yuri.Rodrix


Página tipo blog en el que voy a publicar mis notas de aprendizaje, en especial de temas como matemáticas, física y quizá algo de programación

Redes neuronales
Redes neuronales
Redes neuronales
Redes neuronales
Redes neuronales
Redes neuronales

Ecuaciones de Maxwell

Llegamos al penúltimo escalón de la serie. En el post de cálculo multivariable construiste el operador ∇ y sus tres caras —gradiente, divergencia y rotacional— y verificaste a mano los teoremas que conectan lo que pasa en el borde con lo que pasa dentro. Aquí esos operadores dejan de ser un ejercicio: aplicados a dos campos, el eléctrico E\mathbf E y el magnético B\mathbf B, son las cuatro ecuaciones de Maxwell, todo el electromagnetismo en cuatro renglones. Y al discretizarlas en el tiempo —con la misma diferencia finita de tu primer post— sale, casi de regalo, el motor del simulador de antenas. Como apoyo tienes Física III y Magnetostática, donde estas leyes aparecen una por una.

SEdl=dΦBdtintegral (lo que mides en el lab)    ×E=Btdiferencial (los operadores de M3)    Hn+12=Hn12Δtμ×Ediscretizada (lo que corre en la GPU)\underbrace{\oint_{\partial S}\mathbf E\cdot d\mathbf l=-\frac{d\Phi_B}{dt}}_{\text{integral (lo que mides en el lab)}}\;\Longleftrightarrow\;\underbrace{\nabla\times\mathbf E=-\frac{\partial\mathbf B}{\partial t}}_{\text{diferencial (los operadores de M3)}}\;\Longleftrightarrow\;\underbrace{\mathbf H^{\,n+\frac12}=\mathbf H^{\,n-\frac12}-\tfrac{\Delta t}{\mu}\,\nabla\times\mathbf E}_{\text{discretizada (lo que corre en la GPU)}}

La idea unificadora del post. Cada ley de Maxwell tiene tres caras que dicen lo mismo: la integral (la que mediste en el laboratorio de física, con flujos y circulaciones), la diferencial (la de los operadores ∇ que acabas de manipular) y la discretizada (la que corre paso a paso en la GPU del simulador). Arriba está la ley de Faraday en sus tres caras; abajo haremos lo mismo con las cuatro. La antena no es magia: es la tercera columna.

Los actores: campos y fuentes

Antes de leer las leyes conviene tener claros sus personajes. Dos son campos —una flecha en cada punto del espacio— y ya los conoces: el eléctrico E\mathbf E y el magnético B\mathbf B. Los que suelen verse extraños son las fuentes (quién crea esos campos) y un par de gemelos que aparecen al meter materia.

Fuentes: ρ y J

ρ=dqdV[Cm3]\rho=\frac{dq}{dV}\quad\left[\tfrac{\text{C}}{\text{m}^3}\right]

ρ\rho es la densidad de carga: cuántos coulombs hay por unidad de volumen. Una carga puntual es ρ\rho concentrada en un punto; es la fuente que pusiste a mano en el laboratorio de Gauss.

J=ρv[Am2],I=SJdA\mathbf J=\rho\,\mathbf v\quad\left[\tfrac{\text{A}}{\text{m}^2}\right],\qquad I=\iint_S\mathbf J\cdot d\mathbf A

J\mathbf J es la densidad de corriente: carga en movimiento, amperios que cruzan por unidad de área. Es literalmente ρ\rho por la velocidad de las cargas, y la corriente total por una superficie es su integral de flujo I=SJdAI=\iint_S\mathbf J\cdot d\mathbf A —la misma de M3, ahora de carga que fluye.

Campo y materia: B/H, D/E

D=εE,B=μHvacioH=Bμ0,  D=ε0E\mathbf D=\varepsilon\,\mathbf E,\qquad \mathbf B=\mu\,\mathbf H\qquad\xrightarrow{\text{vacio}}\qquad \mathbf H=\frac{\mathbf B}{\mu_0},\ \ \mathbf D=\varepsilon_0\mathbf E

¿Por qué dos campos magnéticos? B\mathbf B es el campo total; H\mathbf H es el que ponen solo las corrientes libres, sin contar la respuesta del material. En el vacío son el mismo campo reescalado: H=B/μ0\mathbf H=\mathbf B/\mu_0. Lo mismo con D\mathbf D y E\mathbf E en lo eléctrico.

Esos ε\varepsilon y μ\mu miden cuánto responde el material, y son exactamente los que aparecen en el leapfrog (Δt/ε\Delta t/\varepsilon, Δt/μ\Delta t/\mu): le dicen al simulador de qué está hecho el espacio. Un dieléctrico de antena (εr\varepsilon_r) o una ferrita (μr\mu_r) cambian esos números. Para profundizar: Física III y Magnetostática.

Con esto, las leyes ya no tienen símbolos sueltos: E\mathbf E y B\mathbf B son los campos, ρ\rho y J\mathbf J las fuentes, ε\varepsilon y μ\mu el material. Vamos a ellas.

Las cuatro leyes de un vistazo

En su forma diferencial —la que usaremos casi siempre— las cuatro ecuaciones son solo el operador ∇ actuando sobre E\mathbf E y B\mathbf B: dos divergencias (¿brotan?) y dos rotacionales (¿giran?).

Gauss eléctrico

E=ρε0\nabla\cdot\mathbf E=\dfrac{\rho}{\varepsilon_0}

La divergencia de E\mathbf E es la carga: las cargas son las fuentes del campo eléctrico.

Gauss magnético

B=0\nabla\cdot\mathbf B=0

La divergencia de B\mathbf B es cero: no existen monopolos, las líneas magnéticas no nacen ni mueren.

Faraday

×E=Bt\nabla\times\mathbf E=-\dfrac{\partial\mathbf B}{\partial t}

Un B\mathbf B que cambia en el tiempo enrolla un E\mathbf E a su alrededor (rotacional).

Ampère-Maxwell

×B=μ0J+μ0ε0Et\nabla\times\mathbf B=\mu_0\mathbf J+\mu_0\varepsilon_0\dfrac{\partial\mathbf E}{\partial t}

Una corriente —o un E\mathbf E que cambia— enrolla un B\mathbf B a su alrededor.

Fíjate en la simetría: div, div, rot, rot. Los dos rotacionales son los que se acoplan y, como veremos, producen la onda.

Gauss: las fuentes del campo

La ley de Gauss eléctrica dice que el flujo de E\mathbf E a través de una superficie cerrada mide la carga encerrada. Es, palabra por palabra, el teorema de la divergencia que verificaste arrastrando una caja:

Forma integral (el flujo)

VEdA=Qencε0\oiint_{\partial V}\mathbf E\cdot d\mathbf A=\dfrac{Q_{\text{enc}}}{\varepsilon_0}

Forma diferencial (la fuente local)

E=ρε0\nabla\cdot\mathbf E=\dfrac{\rho}{\varepsilon_0}

Pasar de una a la otra es el teorema de la divergencia: el flujo por el borde igual a la integral de la divergencia dentro. Aquella cajita del post anterior, cuyo «flujo / área» convergía a F\nabla\cdot\mathbf F, era ya la ley de Gauss esperando una carga. Ponle cargas y compruébalo: arrastra las cargas + y , mueve y agranda la superficie gaussiana, y mira cómo el flujo medido por su borde sigue exactamente a la carga que encierra —sin importar la forma ni el tamaño:

clic en una carga para alternar + / − / apagada
radio de la gaussiana2.2

El flujo cuenta la carga encerrada

SEn^dlintegral numeˊrica=0=Qencε0=0\underbrace{\oint_{\partial S}\mathbf E\cdot\hat n\,dl}_{\text{integral numérica}=\,0}=\underbrace{\frac{Q_{\text{enc}}}{\varepsilon_0}}_{=\,0}

Dentro de la superficie hay 2 cargas (suma Qenc=0Q_{\text{enc}}=0). El flujo medido por el borde lo iguala — siempre, en unidades del simulador con ε0=1\varepsilon_0=1.

Arrastra y redimensiona la superficie violeta: mientras no cruces una carga, el flujo no cambia aunque cambie la forma o el tamaño — solo importa qué encierra. Deforma un dipolo dentro: el flujo se anula (lo que sale de la + entra a la ). Es la versión integral de E=ρ/ε0\nabla\cdot\mathbf E=\rho/\varepsilon_0: cada carga es una fuente (el disco rojo del laboratorio de divergencia), y sumar las fuentes encerradas = el flujo por el borde — el mismo teorema de la divergencia que enlosaste en el post anterior.

La lección de fondo: el flujo no ve la geometría de la superficie, solo cuánta fuente atrapa. Si encierras un dipolo completo el flujo se anula, porque lo que brota de la carga positiva entra en la negativa —es E=ρ/ε0\nabla\cdot\mathbf E=\rho/\varepsilon_0 integrada sobre la región. Para el campo magnético esa misma cuenta da siempre cero:

B=0\nabla\cdot\mathbf B=0

B=0\nabla\cdot\mathbf B=0 —el flujo neto por cualquier superficie cerrada es nulo, porque no existen cargas magnéticas de donde broten las líneas. En el laboratorio de arriba sería como no poder colocar nunca una carga aislada: todo lo que entra, sale. Las líneas de B\mathbf B no tienen principio ni fin, siempre se cierran sobre sí mismas.

Faraday y Ampère: el acople que crea la onda

Las dos leyes interesantes son las de rotacional, porque cada una pone a un campo a depender del cambio temporal del otro. La de Faraday ya la enunciamos: un campo magnético variable induce un campo eléctrico que lo rodea.

Faraday — integral

SEdl=dΦBdt\oint_{\partial S}\mathbf E\cdot d\mathbf l=-\dfrac{d\Phi_B}{dt}

La circulación de E\mathbf E por una espira = menos la tasa de cambio del flujo magnético que atraviesa.

Faraday — diferencial

×E=Bt\nabla\times\mathbf E=-\dfrac{\partial\mathbf B}{\partial t}

Mismo enunciado, ahora local: el rotacional de E\mathbf E en un punto = menos la derivada temporal de B\mathbf B ahí.

Compruébalo moviendo un imán. Atravesando la espira, el flujo magnético Φ\Phi sube y baja; su tasa de cambio dΦ/dt-d\Phi/dt —la derivada de tu primer post, aplicada al flujo de M3— es exactamente la FEM que mueve la corriente:

imán N/S atravesando la espira; corriente inducida en ámbar
escena 3D (desplázate aquí)
velocidad del imán1.1

Solo el cambio induce corriente

SEdlFEM en la espira=dΦBdttasa de cambio del flujo\underbrace{\oint_{\partial S}\mathbf E\cdot d\mathbf l}_{\text{FEM en la espira}}=-\underbrace{\frac{d\Phi_B}{dt}}_{\text{tasa de cambio del flujo}}

Cuando el imán se acerca o se aleja, el flujo Φ\Phi (curva verde) cambia y aparece una FEM (curva roja) que empuja la corriente. La FEM es máxima donde Φ\Phi cambia más rápido (al cruzar la espira) y cero en el pico de Φ\Phi (un instante de imán quieto-en-flujo).

Es la derivada de tu primer post —dΦ/dt-d\Phi/dt— actuando sobre el flujo de cálculo multivariable, igualada a la circulación de E\mathbf E por el borde de la espira. Sube la velocidad y la FEM crece (más dΦ/dtd\Phi/dt); el signo de la corriente ámbar se invierte con el de la FEM (ley de Lenz: la corriente se opone al cambio que la crea). Esta es la primera de las dos ecuaciones de rotacional que, discretizadas, son el leapfrog del simulador.

La de Ampère-Maxwell es la recíproca, con el aporte genial de Maxwell: además de la corriente real J\mathbf J, un campo eléctrico que cambia en el tiempo también enrolla un campo magnético. Ese término μ0ε0E/t\mu_0\varepsilon_0\,\partial\mathbf E/\partial t es la corriente de desplazamiento:

Ampère-Maxwell — integral

SBdl=μ0Ienc+μ0ε0dΦEdt\oint_{\partial S}\mathbf B\cdot d\mathbf l=\mu_0 I_{\text{enc}}+\mu_0\varepsilon_0\dfrac{d\Phi_E}{dt}

Ampère-Maxwell — diferencial

×B=μ0J+μ0ε0Et\nabla\times\mathbf B=\mu_0\mathbf J+\mu_0\varepsilon_0\dfrac{\partial\mathbf E}{\partial t}

Sin ese término de Maxwell las ecuaciones serían inconsistentes y no existiría la luz. Con él, Faraday y Ampère quedan entrelazadas: un E\mathbf E cambiante crea B\mathbf B, que al cambiar crea E\mathbf E, que al cambiar crea B\mathbf B… y eso, soltado en el espacio, se propaga.

De Maxwell a la ecuación de onda

Las dos leyes de rotacional están entrelazadas: E\mathbf E depende de cómo cambia B\mathbf B y viceversa. Para ver qué hace cada campo por su cuenta hay que desacoplarlas, y el truco es tomar el rotacional de una y meter la otra dentro. Hagámoslo en el vacío (ρ=0\rho=0, J=0\mathbf J=0), donde las dos rot quedan así:

×E=Bt,×B=μ0ε0Et\nabla\times\mathbf E=-\dfrac{\partial\mathbf B}{\partial t}\,,\qquad\qquad \nabla\times\mathbf B=\mu_0\varepsilon_0\,\dfrac{\partial\mathbf E}{\partial t}
  1. 1

    Aplica el rotacional a ambos lados de Faraday. Como las derivadas espaciales (×\nabla\times) y la temporal (/t\partial/\partial t) conmutan, sacamos la derivada del tiempo afuera:

    ×(×E)=× ⁣(Bt)=t(×B)\nabla\times(\nabla\times\mathbf E)=\nabla\times\!\left(-\dfrac{\partial\mathbf B}{\partial t}\right)=-\dfrac{\partial}{\partial t}\big(\nabla\times\mathbf B\big)
  2. 2

    Dentro apareció ×B\nabla\times\mathbf B, y eso es justo lo que dice Ampère. Lo sustituimos:

    =t ⁣(μ0ε0Et)=μ0ε02Et2=-\dfrac{\partial}{\partial t}\!\left(\mu_0\varepsilon_0\dfrac{\partial\mathbf E}{\partial t}\right)=-\mu_0\varepsilon_0\,\dfrac{\partial^2\mathbf E}{\partial t^2}

    Ya tenemos el lado derecho: dos derivadas en el tiempo seguidas → 2/t2\partial^2/\partial t^2. Falta el lado izquierdo.

  3. 3

    El lado izquierdo ×(×E)\nabla\times(\nabla\times\mathbf E) se simplifica con una identidad vectorial estándar; el primer término se anula porque en el vacío E=0\nabla\cdot\mathbf E=0 (Gauss sin cargas):

    ×(×E)=(E=0 (vacıˊo))2E=2E\nabla\times(\nabla\times\mathbf E)=\nabla\big(\underbrace{\nabla\cdot\mathbf E}_{=\,0\ \text{(vacío)}}\big)-\nabla^2\mathbf E=-\nabla^2\mathbf E
  4. 4

    Los pasos 1–2 y el paso 3 son la misma cosa, ×(×E)\nabla\times(\nabla\times\mathbf E), calculada de dos formas. Las igualamos y se cancela el signo:

    2E=μ0ε02Et22E=μ0ε02Et2-\nabla^2\mathbf E=-\mu_0\varepsilon_0\,\dfrac{\partial^2\mathbf E}{\partial t^2}\quad\Longrightarrow\quad \boxed{\,\nabla^2\mathbf E=\mu_0\varepsilon_0\,\dfrac{\partial^2\mathbf E}{\partial t^2}\,}

Eso de la caja es la ecuación de onda. Para leer su velocidad, compárala con la forma genérica que rige una cuerda o el sonido:

2u=1v22ut2onda geneˊrica    1v2=μ0ε0    v=1μ0ε0=c\underbrace{\nabla^2 u=\dfrac{1}{v^2}\dfrac{\partial^2 u}{\partial t^2}}_{\text{onda genérica}}\;\Rightarrow\;\dfrac{1}{v^2}=\mu_0\varepsilon_0\;\Rightarrow\;v=\dfrac{1}{\sqrt{\mu_0\varepsilon_0}}=c

La velocidad sale escrita en las constantes del vacío. Al meter los números, Maxwell obtuvo 3×1083\times10^8 m/s —la velocidad de la luz medida en el laboratorio— y dedujo que la luz es una onda electromagnética:

2E=μ0ε02Et2c=1μ0ε03×108 ms\nabla^2\mathbf E=\mu_0\varepsilon_0\,\dfrac{\partial^2\mathbf E}{\partial t^2}\qquad\Rightarrow\qquad c=\dfrac{1}{\sqrt{\mu_0\varepsilon_0}}\approx 3\times10^8\ \tfrac{\text{m}}{\text{s}}

Hay una ecuación idéntica para B\mathbf B (toma el rotacional de Ampère y mete Faraday, mismos cuatro pasos). Toda la radio, la óptica y las antenas viven en esa igualdad —y fíjate de dónde salió cada pieza: el ×\nabla\times y el \nabla\cdot de tu post de cálculo multivariable, y la 2/t2\partial^2/\partial t^2 de tu post de derivadas.

Ondas planas: E ⟂ B ⟂ k

La solución más simple de la ecuación de onda es la onda plana: E\mathbf E y B\mathbf B oscilan en fase, perpendiculares entre sí y a la dirección de avance k\mathbf k.

E=E0y^cos(kxωt),B=E0cz^cos(kxωt)\mathbf E=E_0\,\hat{\mathbf y}\cos(kx-\omega t),\qquad \mathbf B=\dfrac{E_0}{c}\,\hat{\mathbf z}\cos(kx-\omega t)

Manipúlala en 3D. El campo eléctrico (rojo) oscila en un plano, el magnético (azul) en el plano perpendicular, y toda la estructura avanza en k (verde). Sube la frecuencia y verás la onda comprimirse sin cambiar su velocidad; cambia a polarización circular y el vector E\mathbf E girará formando una hélice.

EB k
escena 3D (desplázate aquí)
amplitud E0E_01.1
frecuencia ff0.6
c=fλ    λ=cf=2.16c=f\lambda\;\Rightarrow\;\lambda=\frac{c}{f}=2.16

Sube la frecuencia y mira: la onda se comprime (la longitud de onda λ\lambda baja), pero la velocidad cc no cambia — siempre fλ=cf\lambda=c. E y B oscilan en fase, perpendiculares entre sí y a la dirección de avance k. En polarización circular, el vector E\mathbf E gira describiendo una hélice en lugar de un plano.

El cociente E/B es una constante del vacío

En la onda, las amplitudes de los dos campos no son independientes: su razón es la impedancia del vacío, fija como cc.

η0=EH=μ0ε0377 Ω\eta_0=\dfrac{E}{H}=\sqrt{\dfrac{\mu_0}{\varepsilon_0}}\approx 377\ \Omega

Esos 377 Ω377\ \Omega son los que una antena debe «acoplar» para entregar su energía al espacio sin reflejarla — el problema central del diseño de antenas.

Puente a antenas: las dos caras discretas

Aquí se cierra el círculo de la serie. Toma las dos leyes de rotacional —Faraday y Ampère— y reemplaza cada derivada temporal por una diferencia finita, y cada ×\nabla\times por su versión discreta sobre la malla. Lo que obtienes es un par de actualizaciones que se alternan en el tiempo — el leapfrog:

Faraday discretizada → actualiza H

Hn+12=Hn12Δtμ(×E)n\mathbf H^{\,n+\frac12}=\mathbf H^{\,n-\frac12}-\dfrac{\Delta t}{\mu}\,\big(\nabla\times\mathbf E\big)^{\,n}

Ampère discretizada → actualiza E

En+1=En+Δtε(×H)n+12\mathbf E^{\,n+1}=\mathbf E^{\,n}+\dfrac{\Delta t}{\varepsilon}\,\big(\nabla\times\mathbf H\big)^{\,n+\frac12}

Primero H\mathbf H avanza medio paso usando el rotacional de E\mathbf E; luego E\mathbf E avanza medio paso usando el rotacional de H\mathbf H; y así, brincando uno sobre otro, la onda se propaga sola por la malla. Ese ×\nabla\times se calcula exactamente como la sonda del post anterior estimaba (×F)z(\nabla\times\mathbf F)_z: un cociente incremental entre celdas vecinas. Nada nuevo bajo el sol — solo Maxwell discretizado en el tiempo.

Y esto es lo que produce: una carga que acelera desprende campos que se sueltan y viajan a cc. Una antena es eso —la onda plana de arriba, ahora generada por una fuente J\mathbf J y radiada al espacio:

Abrir en el simulador FDTD →carga oscilante (blanco); E + / E − radiados
frecuencia de oscilación ω\omega1

Una carga acelerada radia

Erad  sinθrcos ⁣(ω(trc))\mathbf E_{\text{rad}}\ \propto\ \frac{\sin\theta}{r}\,\cos\!\big(\omega\,(t-\tfrac{r}{c})\big)

La carga blanca acelera (oscila), y de ella se desprenden frentes de campo que viajan hacia afuera a cc —el retardo tr/ct-r/c es lo que los hace salir en vez de quedarse pegados. Fíjate en el patrón «dona»: la radiación es máxima de costado (θ=90\theta=90^\circ) y nula sobre el eje del dipolo (sinθ=0\sin\theta=0).

Esto cierra la serie: es la onda plana del lab anterior, pero ahora generada por una fuente J\mathbf J y soltada al espacio. Eso es, literalmente, una antena. El simulador FDTD resuelve este mismo campo paso a paso en la GPU con el leapfrog —ábrelo y reconoce cada frente que acabas de ver.

Ese es el corazón del simulador FDTD. Si reconociste cada término de estas dos líneas, ya entiendes por qué una antena radia: es la onda plana que acabas de manipular, generada por una fuente y soltada al espacio, resuelta paso a paso en la GPU.

El siguiente paso es darle forma a esa radiación. En Antenas: fundamentos y tipos verás qué controla el patrón, la ganancia y la dirección del haz —y manipularás el patrón de un dipolo y de un array— antes de calcularlo todo en el simulador FDTD de antenas.