¿Por qué el rotacional de la densidad de corriente ∇×J⃗ ∇×J→\nabla \times \vec{J} es igual a cero?

Estoy revisando la derivación para B = 0 en magnetostática para el campo B ( r ) de un cargo q en la posición 0 con velocidad v . Procede como

B = m 0 q 4 π v × r r 3 v × r r 3 = r r 3 ( × v ) = 0 v ( × r r 3 ) = v ( × ( r r 3 ) ) = v ( × 1 r ) = v 0 = 0

Hasta ahora, todo bien. El problema que tengo es con el paso. × v = 0 , es decir × j = 0 . Mi texto principal descarta el término respectivo sin ningún comentario y otra derivación que busqué dice que esto es obvio. ¿Por qué se sostiene esto? ¿Y es realmente obvio? Después de todo, existe un fenómeno llamado corrientes de Foucault circulares.

El título de la pregunta hace que suene como si pensara que la curvatura de la densidad de corriente siempre es cero y desea saber por qué. No siempre es cero. Es simplemente cero en este ejemplo (porque la velocidad se supone constante).

Respuestas (6)

Creo que la mejor manera de derivar esto es observar primero la ley de Biot-Savart ,

(1) B ( r ) = m 0 4 π j ( r ) × r ^ r 2 d V
Desde
r ^ r 2 = r ( 1 r )
(su texto puede derivar esto, si no puede probarlo comenzando con el RHS), podemos escribir (1) como
(2) B ( r ) = m 0 4 π j ( r ) × r ( 1 r ) d V
Desde j es una función o r y no r , podemos ponerlo entre paréntesis e intercambiar el orden del producto vectorial (es decir, j × = × j ),
(3) B ( r ) = m 0 4 π r × j ( r ) r d V = r × m 0 4 π j ( r ) r d V
Entonces podemos definir el vector potencial como
A ( r ) = m 0 4 π j ( r ) r d V
Llegar
(4) B ( r ) = × A ( r )
donde soltamos el subíndice r porque está implícito que se acabó r .

Terminada la prueba, podemos tomar la divergencia de (4):

B = × A 0
por el hecho de que la divergencia de cada rizo es idénticamente cero (vale la pena el esfuerzo de probar esto).

@GDumphart: r ^ es el vector unitario, algunos autores optan por ponerlo en negrita, r ^ , pero a menudo lo descuido porque el sombrero significa el vector unitario . Desde r ^ = r / | | r | | , entonces r ^ / r 2 r / | r | 3 .
Todavía sospecho que su fórmula inicial sea un Biot-Savart válido sin usar ( r r ) / r r 3 en el integrando. A tu manera, uno podría incluso tirar de la r ^ / r 2 fuera de la integral, lo que hace que la distancia de una corriente j ( r ) al campo magnético en r irrelevante. Sin embargo, lo más probable es que eso no afecte la corrección de todos los demás pasos.
@GDumphart: el enlace de wikipedia (estaba allí originalmente, pero no estaba activo de alguna manera hasta que lo arreglé) muestra que esta es una ley válida de Biot-Savart, al igual que mis 3 textos de E&M. Puedes tomar r ^ / r 2 fuera de la integral (cuidando los signos menos), no hay nada de malo en hacer eso.
Esta es una cuestión de notación o suposición versus generalidad. La versión de @ GDumphart es más correcta en general. Los textos introductorios que introducen la ley de Biot-Savart probablemente lo escriben así porque consideran implícito que r es en realidad r r , dónde r es el punto en el que B ( r ) se muestrea y r es un punto en la integral que se está integrando. En mi opinión, este uso inconsistente de r y r enturbia su notación y causa confusión. Echa un vistazo a E&M de Jackson. Wikipedia lo arregló desde tu publicación.
NO es cierto decir eso r ^ / r 2 puede sacarse de la integral en general. La razón de esto es que la cantidad real es ( r r ) / r r , que ciertamente es una función de r . El caso en el que podrías sacarlo de la integral es si estuvieras integrando en un bucle circular (la típica aplicación de ejemplo). En este caso, podría tratar la integral vectorial como una integral escalar, porque r r y el producto cruz son fijos. Wikipedia arregló su eqn. desde tu publicación. Jackson's E&M tiene razón y brinda discusión.
@jvriesem: Si cree que está mal o le faltan más detalles, no dude en escribir su propia respuesta. Tal como está, estoy bastante satisfecho con la publicación en términos de lo que dice y responde a la pregunta de OP (aunque de manera indirecta).

Tampoco me gusta cuando los autores afirman que las cosas son obvias. Si es tan simple, ¿por qué no simplemente escribirlo?

De todos modos, con respecto a este caso específico. Si vas a la definición del rotacional verás que esta es una colección de derivadas parciales con respecto a la posición .

Entonces, afirmar que el rotacional es cero es afirmar que la velocidad es independiente de la posición de las partículas, es decir. se supone que no hay otros campos presentes, ya sea gravitacionales o eléctricos.

Me encanta tu primera frase. Sin embargo, debe tener mucho cuidado al decir si v depende de las coordenadas o no. En un fluido, por ejemplo, lo hace, dependiendo de cómo se aborde el problema.

Es la divergencia del campo B y no la fuente real. debería haber escrito tu para el vector velocidad.

j puede definirse como sin ondulaciones, pero en realidad no existe tal cosa como una densidad de corriente sin ondulaciones.

Incluso en el interior de una corriente, encontrará que la corriente tiende a girar en espiral alrededor del eje de la corriente. La física del plasma es muy compleja.

La respuesta de Kanos es buena. Para entenderlo mejor, observe la ley BS que mencionó al principio.

(1) B ( r ) = m 0 4 π j ( r ) × r ^ r 2 d V
La r de B a la izquierda es el radio vector desde el origen, su punto de observación. Pero la r en la fórmula integral debe calcularse como la distancia desde la fuente ( r ) al puesto que actualmente considera. Así, (según la costumbre de mi maestro) escribiría
(1) B ( X ) = m 0 4 π j ( r ) × r r 3 d V
dónde
r r 3 = r ^ r 2 = ( 1 r )
Además, su respuesta muestra exactamente la lógica cuando introduces el vector potencial .

Hola, Jaseon, ten en cuenta que al aceptar la edición de @IamAStudent, eliminaste algunos de tus comentarios y cambiaste parte de la notación utilizada.
Solo para aclarar, solo proporcioné las ediciones de notación matemática. Todo lo demás es de otra persona.
@IamAStudent por qué cambiaste " L A T mi X educar r -prime" a "texto en negrita r -backtick"? Backtick ni siquiera es similar a un primo, y se ve feo en su lugar.
@Ruslan, eso también es de OP. ¡Esperemos que OP ya haya aprendido a escribir expresiones matemáticas!
@IamAStudent, mire el historial de revisión más de cerca. El OP cambió **r`**a $r'$1:07:41Z, mientras que su edición se aprobó a las 1:31:42Z y revierte esta pieza en particular. Sin embargo, podría haber sido una colisión en los tiempos de edición versus aprobación. Creo que revertiré su edición, ya que con el historial actual parece ser destructivo.
@IamAStudent no, mira el historial de edición . Su edición eliminó un montón de cosas. Probablemente no fue intencional, como señaló Ruslan, pero definitivamente fue tu edición.
@KyleKanos, entonces estoy más confundido sobre cómo pudo haber sucedido esto, ya que todo lo que recuerdo haber tocado fueron las dos ecuaciones.
@IamAStudent Sospecho que propusiste tu edición basada en v1 (la publicación inicial) y luego Jaseon agregó más detalles antes de que se aprobara tu edición; dado que su edición se basó en v1, se perdieron todos los detalles de v2. Nuevamente, nadie dice que fue una intención maliciosa, solo parece ser una casualidad del control de versiones, así que no se preocupe tanto por eso.
Siento un poco de pena por eso. De hecho, la primera versión de mi respuesta fue extraña ya que era nuevo en stackextrange y no estaba familiarizado con el uso. @IamAStudent tuvo la amabilidad de editar mi respuesta rápidamente, pero pareció chocar con mi nueva edición. Gracias a todos por la aclaración y el apoyo. Pero de todos modos, mi respuesta fue solo un parche simple y no respondió directamente a la pregunta del cartel sobre el rizo de J igual a 0.

Esto me parece, "Respuesta correcta, razón incorrecta". Considere el problema magnetostático clásico que puede resolver usando la ley de Ampere, el cable portador de corriente infinitamente largo con densidad de corriente uniforme j y radio R . Usando la ley de Ampere encontrarás que

B ( r ) = { m 0 j π R 2 2 π r ϕ ^ r R m 0 j π r 2 2 π r ϕ ^ r < R .

Dentro del alambre el rizo de j es cero, lo mismo para fuera del cable. En la superficie del alambre, sin embargo, el rizo de j tiene un pico (función delta de Dirac) que puedes verificar usando el teorema de Stoke.

La respuesta correcta es que la derivación que da el libro es ambigua. La respuesta de Kanos proporciona una alternativa, pero no se necesita el vector potencial. Lo que realmente necesita es expresar la relación usando una notación un poco más detallada, pero sin ambigüedades. Dividimos el r de la ley de Biot-Savart para obtener dos variables independientes, una que es una variable de integración y la otra que no lo es.

B ( r ) = m 0 4 π j ( r ) × r r | r r | 3 d 3 r .
Aviso: j ( r ) no es una función de r , por lo que cuando intenta tomar cualquier derivado con respecto a cualquier r coordenada obtendrás cero.

Entonces, obtenemos:

B ( r ) = m 0 4 π [ j ( r ) × r r | r r | 3 ] d 3 r .
Ahora, aplique la identidad del producto cruzado del cálculo vectorial , ( A × B ) = ( × A ) B A ( × B ) con A = j y B = r r | r r | 3 Llegar
B ( r ) = m 0 4 π [ ( × j ( r ) ) r r | r r | 3 j ( r ) ( × r r | r r | 3 ) ] d 3 r .
El primer producto vectorial se anula porque j ( r ) no es una función de r y es una derivada en el r coordenadas Que el segundo producto cruzado se desvanece se puede mostrar usando un poco de álgebra o algunos trucos discutidos en otras respuestas.

El rotacional de un campo vectorial v

× v
mide el movimiento de rotación del campo vectorial.

Tome su mano, extienda su pulgar y doble sus dedos.

Si el pulgar es el modelo para el flujo del campo vectorial, entonces

× v = 0.

Si la curvatura de los dedos es el modelo para el flujo del campo vectorial, entonces

× v 0

y mide el movimiento de rotación del campo vectorial.

De ahí el nombre "rizo".