Descomposición Helmholtz

En física y matemáticas, en el campo del cálculo vectorial, el teorema de Helmholtz, también conocido como el teorema fundamental del cálculo vectorial, afirma que cualquier campo vectorial tridimensional que sea lo bastante suave y que decaiga lo bastante rápido puede ser descompuesto en la suma de un campo vectorial irrotacional (sin rotor) más otro solenoidal (sin divergencia); esto se conoce como su descomposición Helmholtz en honor de Hermann von Helmholtz.

Esto implica que cualquier campo vectorial F que cumpla las condiciones está generado por un par de potenciales: un potencial escalar φ y un potencial vector A.

Sea F un campo vectorial en R³ que sea de clase C² y que decaiga más rápido que 1/r en el infinito.^[1]​ Entonces, F es la suma de un gradiente y un rotor como sigue:

${displaystyle mathbf {F} =-{oldsymbol { abla }}varphi +{oldsymbol { abla }} imes mathbf {A} }$

donde:

Donde:

Si F tiene divergencia nula, ∇·F = 0, entonces F recibe el nombre de campo solenoidal, y su descomposición Helmholtz se reduce a:

${displaystyle mathbf {F} ={oldsymbol { abla }} imes mathbf {A} }$

En este caso, A se conoce como el potencial vectorial de F. Esta elección concreta de potencial vector tiene divergencia nula, condición que en física se denomina de Coulomb.

De forma similar, si F tiene rotor nulo, ∇×F = 0, se denomina campo irrotacional, y su descomposición Helmholtz se reduce a:

${displaystyle mathbf {F} =- abla varphi .}$

En este caso, φ se conoce como el potencial escalar de F.

En general F es la suma de estos términos,

${displaystyle mathbf {F} =- abla varphi + abla imes mathbf {A} }$

donde el gradiente negativo del potencial escalar es la componente irrotacional, mientras que el rotor del potencial vector es la componente solenoidal.

El nombre "teorema de Helmholtz" también puede referirse a lo siguiente: sea C un campo vectorial y d uno escalar en R³ lo suficientemente suaves y que decaen más rápido que 1/r² en el infinito. Entonces, existe un campo vectorial F tal que ∇·F = d y ∇×F = C. Si además se especifica la condición de que F se anule con r → ∞, entonces F es único.^[1]​

Es decir, dados una divergencia y rotacional se puede construir el campo vectorial asociado, y si además se indica que éste se anula en el infinito, está especificado de forma única por su divergencia y su rotor. Este teorema es de gran importancia en electrostática, dado que las ecuaciones de Maxwell para los campos eléctrico y magnético en el caso estático son exactamente del tipo descrito.^[1]​ La prueba se construye generalizando la dada arriba, estableciendo

${displaystyle mathbf {F} =-{oldsymbol { abla }}{mathcal {G}}(d)+{oldsymbol { abla }} imes {mathcal {G}}(mathbf {C} ).}$

La descomposición de Hodge está relacionada con la descomposición de Helmholtz, pasando de campos vectoriales en R³ a formas diferenciales en una variedad Riemanniana M. La mayoría de las formulaciones de la descomposición de Hodge exigen que M sea compacta.^[2]​ Dado que esto no se cumple para R³, la descomposición de Hodge no es estrictamente una generalización del teorema de Helmholtz. Sin embargo, el requisito de compacidad de la formulación usual puede relajarse, exigiendo en su lugar a las formas diferenciales involucradas las condiciones adecuadas sobre su decaimiento en el infinito, resultando por tanto una auténtica generalización del teorema de Helmholtz.

También se puede generalizar la descomposición de Helmholtz relajando las condiciones de regularidad (es decir, la exigencia de que existan derivadas en sentido fuerte). Sea Ω un dominio de Lipschitz acotado y simplemente conexo. Todo campo vectorial u ∈ (L²(Ω))³ que sea cuadrado-integrable (es decir, que la integral en todo el dominio del cuadrado de su módulo sea finita) tiene una descomposición ortogonal:

${displaystyle mathbf {u} ={oldsymbol { abla }}varphi +mathrm {rot} ,mathbf {A} }$

donde φ está en el espacio de Sóbolev H¹ de funciones cuadrado-integrables en Ω cuyas derivadas parciales (definidas en el sentido de distribución) sean también cuadrado-integrables; y A ∈ H(rot,Ω), el espacio Sobolev de campos vectoriales cuadrado-integrables con rotor también cuadrado-integrable.

Si el campo vectorial u es más suave y se cumple u ∈ H(rot,Ω), se tiene una descomposición similar:

${displaystyle mathbf {u} ={oldsymbol { abla }}varphi +mathbf {v} }$

donde φ ∈ H¹(Ω) y v ∈ (H¹(Ω))^d.

En física es frecuente denominar componente longitudinal a la componente irrotacional de un campo vectorial, y componente transversal a la componente solenoidal.^[3]​ Esta terminología surge de la aplicación de transformadas integrales vectoriales como sigue: sea u(x) un campo vectorial en R³, y sea U(k) su transformada tridimensional de Fourier. Si se separa este último campo en cada punto k en sus componentes paralela (longitudinal) y perpendicular (transversal) a k, se tiene:

Aplicando a continuación la transformada inversa de Fourier a cada componente, y empleando las propiedades de esta transformada, se verifica:

Por tanto, se ha obtenido la descomposición Helmholtz de u.^[4]​

Si el campo vectorial es suave y decae lo bastante rápido, junto con sus derivadas primera y segunda, entonces los campos vectoriales F_l y F_t que resultan de su descomposición Helmholtz^[5]​ F = F_l + F_t pueden ser expresados en forma integral:

y

El rotacional del primer vector es nulo, porque es un gradiente, y lo mismo se aplica a la divergencia del segundo porque es un rotor. Esta descomposición integral es consecuencia de la expresión del potencial newtoniano de F, que es el campo vectorial W que decae rápidamente y cumple

El potencial puede ser expresado como

Entonces, la identidad vectorial

es exactamente la descomposición Helmholtz, porque el primer miembro es F, y el segundo es F_l + F_t.

---