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 a Hermann von Helmholtz.

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

Teorema

editar

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

 

donde:

  representa un potencial escalar.
  representa un potencial vector.

Donde:

 
 

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

 

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

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

 

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

En general   es la suma de estos términos,

 

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

Campos con divergencia y rotacional dados

editar

El nombre "teorema de Helmholtz" también puede referirse a lo siguiente: sea   un campo vectorial y   uno escalar en   lo suficientemente suaves y que decaen más rápido que   en el infinito. Entonces, existe un campo vectorial   tal que   y  . Si además se especifica la condición de que   se anule con  , entonces   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

 

Formas diferenciales

editar

La descomposición de Hodge está relacionada con la descomposición de Helmholtz, pasando de campos vectoriales en R3 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 R3, 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.

Formulación débil

editar

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 ∈ (L2(Ω))3 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:

 

donde φ está en el espacio de Sóbolev H1 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:

 

donde φ ∈ H1(Ω) y v ∈ (H1(Ω))d.

Campos longitudinal y transversal

editar

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 R3, 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]

Fórmulas integrales

editar

Si el campo vectorial es suave y decae lo bastante rápido, junto con sus derivadas primera y segunda, entonces los campos vectoriales Fl y Ft que resultan de su descomposición Helmholtz[5]F = Fl + Ft 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 Fl + Ft.

  1. a b c David J. Griffiths, Introducción a la Electrodinámica, Prentice-Hall, 1989, p. 56.
  2. Cantarella, Jason; DeTurck, Dennis; Gluck, Herman (2002). «Vector Calculus and the Topology of Domains in 3-Space». The American Mathematical Monthly 109 (5): 409-442. 
  3. [0801.0335] Longitudinal and transverse components of a vector field
  4. Online lecture notes by Robert Littlejohn
  5. Jackson, John D. (1998). Classical Electrodynamics (3rd ed.). Wiley. ISBN 0-471-30932-X.  p. 242.

Referencias

editar

Formulación débil

editar
  • C. Amrouche, C. Bernardi, M. Dauge, and V. Girault. "Vector potentials in three dimensional non-smooth domains." Mathematical Methods in the Applied Sciences, 21, 823–864, 1998.
  • R. Dautray and J.-L. Lions. Spectral Theory and Applications, volume 3 of Mathematical Analysis and Numerical Methods for Science and Technology. Springer-Verlag, 1990.
  • V. Girault and P.A. Raviart. Finite Element Methods for Navier–Stokes Equations: Theory and Algorithms. Springer Series in Computational Mathematics. Springer-Verlag, 1986.

Enlaces externos

editar