Formule de Biot et Savart

Messages : 0

Inscription : 19 mars 2019 20:01

Profil de l'utilisateur : Élève de lycée

Formule de Biot et Savart

Message par Egomet » 09 avr. 2019 23:03

Bonjour,

La formule de Biot et Savart est-elle encore valable en un point où la densité de courant est non-nulle ? Je ne parviens pas à voir si l'on a bien $ \text{div}\,\,\mathbf{A} = 0 $ pour le potentiel-vecteur calculé comme solution de l'équation de Poisson $ \Delta\mathbf{A}=-\mu_\circ\,\mathbf{j} $.

Messages : 609

Inscription : 28 mars 2009 18:33

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par Kieffer Jean » 09 avr. 2019 23:14

$ \textrm{div} \mathbf{A}=0 $ est une condition dite "de jauge" (en l’occurrence la jauge de Coulomb) qui permet de fixer de manière unique le potentiel vecteur
en effet par définition celui-ci est défini à une gradient près.

la formule de Biot et Savart est valable même s'il y a du courant (même si elle est hors programme maintenant) et n'a pas grand chose à voir

à noter qu'on rencontre aussi la jauge de Lorentz pour les problèmes dépendant du temps
https://fr.wikipedia.org/wiki/Jauge_de_Lorenz

enfin l'équation de Poisson découle de la condition de jauge. En effet, on a
$ \textbf{rot}\,\mathbf{B}=\textbf{rot}\ \textbf{rot}\,\mathbf{A}=\textrm{grad}(\textrm{div}\mathrm{A})-\Delta \mathbf{A}=\mu_0\, \mathbf{j} $
Sciences Physiques,MP*-ex PSI* Corneille Rouen

Messages : 294

Inscription : 27 oct. 2017 10:55

Profil de l'utilisateur : Professionnel

Re: Formule de Biot et Savart

Message par Hibiscus » 10 avr. 2019 02:05

Si je ne me trompe pas (bon, c'est plus que hors programme, et clairement anachronique, mais..)
On n'a pas besoin d'autre chose que d'une charge arbitraire ou une distribution de courant, de densité de charge/courant $ (\rho,J) $ pour trouver l'expression du champ électromagnétique (en tant qu'entité mixte qui possède toujours une composante électrique et magnétique créées simultanément par leurs sources communes à savoir des charges et des courants électriques variables, les équations de Maxwell seules (et leurs solutions) n'ayant pas de lien causal entre E et B).

Et donc, sans même définir de jauge (même si on en aurait a priori besoin), on peut toujours écrire
$ {\displaystyle \mathbf {E} (\mathbf {r} ,t)={\frac {1}{4\pi \epsilon _{0}}}\int \left[\left({\frac {\rho (\mathbf {r} ',t_{r})}{|\mathbf {r} -\mathbf {r} '|^{3}}}+{\frac {1}{|\mathbf {r} -\mathbf {r} '|^{2}c}}{\frac {\partial \rho (\mathbf {r} ',t_{r})}{\partial t}}\right)(\mathbf {r} -\mathbf {r} ')-{\frac {1}{|\mathbf {r} -\mathbf {r} '|c^{2}}}{\frac {\partial \mathbf {J} (\mathbf {r} ',t_{r})}{\partial t}}\right]\mathrm {d} ^{3}\mathbf {r} ',} $$
{\displaystyle \mathbf {B} (\mathbf {r} ,t)={\frac {\mu _{0}}{4\pi }}\int \left[{\frac {\mathbf {J} (\mathbf {r} ',t_{r})}{|\mathbf {r} -\mathbf {r} '|^{3}}}+{\frac {1}{|\mathbf {r} -\mathbf {r} '|^{2}c}}{\frac {\partial \mathbf {J} (\mathbf {r} ',t_{r})}{\partial t}}\right]\times (\mathbf {r} -\mathbf {r} ')\,\mathrm {d} ^{3}\mathbf {r} ',}
$
avec $ t_r $ le temps retardé, $ {\displaystyle t_{r}=t-{\frac {|\mathbf {r} -\mathbf {r} '|}{c}}}, $ qui ne sont qu'une réécriture "dépendante du temps" de Biot&Savart
et s'appelent les équations de Jefimenko (62).
Evidemment, on est plus en magnétostatique, mais comme elles sont valables pour n'importe quelle distribution arbitraire de charges et de courants..
(cf Jefimenko, Causality Electromagnetic Induction and Gravitation, Star City, Electret Scientific, 2000)
Masséna (PC*) -- X15 -- Spatial.

Messages : 0

Inscription : 19 mars 2019 20:01

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par Egomet » 10 avr. 2019 12:40

Le choix de la jauge de Coulomb nous mène à l'équation de Poisson $ \Delta\mathbf{A}=-\mu_\circ\mathbf{j} $. L'étude analogue menée en électrostatique sur cette équation nous apprend que le potentiel-vecteur s'écrit comme somme des contributions de chaque élément de courant :
$ \displaystyle\mathbf{A}=\frac{\mu_\circ}{4\pi}\iiint\frac{\mathbf{j}\,\delta\tau}{r}\qquad(1) $

Ce que je comprends c'est que l'expression ci-dessus est une solution possible pour $ \mathbf{A} $ : elle est solution de l'équation que vérifie $ \mathbf{A} $, mais il faudrait un résultat d'unicité pour conclure à l'égalité. La question est donc la suivante : l'identité (1) est-elle valable ?

Si elle l'est, l'expression de $ \mathbf{A} $ qu'elle fournit doit en particulier être à divergence nulle. Or si nous prenons $ \mathbf{A} $ défini par cette expression, il vient, en notant M le point de l'espace où l'on calcule la divergence et P le point où se trouve l'élement de courant $ \mathbf{j}\delta\tau $ :

$ \displaystyle\text{div}_\mathrm{M}\,\,\mathbf{A} $
$ \displaystyle=\frac{\mu_\circ}{4\pi}\iiint\text{div}_\mathrm{M}\,\,\frac{\mathbf{j}}{r}\delta\tau $
$ \displaystyle=\frac{\mu_\circ}{4\pi}\iiint\mathbf{j}\cdot\mathbf{grad}_\mathrm{M}\,\,\frac{1}{r}\delta\tau $
$ \displaystyle=\enspace-\enspace\frac{\mu_\circ}{4\pi}\iiint\mathbf{j}\cdot\mathbf{grad}_\mathrm{P}\,\,\frac{1}{r}\delta\tau $
$ \displaystyle=\enspace-\enspace\frac{\mu_\circ}{4\pi}\iiint\text{div}_\mathrm{P}\,\,\frac{\mathbf{j}}{r}\delta\tau $

(car $ \text{div}_\mathrm{P}\,\,\mathbf{j}=0 $ par l'équation de conservation de la charge).

Si le domaine où $ \mathbf{j} $ n'est pas nul est borné, on peut restreindre le domaine d'intégration à un volume borné à la frontière duquel $ \mathbf{j} $ est nul et l'on a bien $ \text{div}\,\,\mathbf{A}=0 $ par le théorème d'Ostrogradski. Mais dans le cas contraire l'intégrale n'est pas forcément nulle, donc la solution particulière (1) de l'équation de Poisson n'est pas à divergence nulle !

De plus, nous avons permuté les opérateurs divergence et intégration : je comprends que ce soit licite si $ \mathbf{j}=0 $ en M mais dans le cas contraire, cela me paraît beaucoup moins clair (à cause du $ 1/r $).

Ceci pour dire qu'il ne me semble pas clair que l'identité (1) définisse bien $ \mathbf{A} $. Dans les cas où la divergence du potentiel-vecteur obtenu par (1) est non-nulle, l'expression est forcément fausse ; dans les cas où elle est nulle, elle est peut-être vraie ; d'où ma question :

Supposons borné le domaine où $ \mathbf{j} $ n'est pas nul et considérons la solution $ \mathbf{A} $ fournie par (1).
— A-t-on $ \text{div}_\mathrm{M}\,\,\mathbf{A}=0 $ en tout point M, même si $ \mathbf{j} $ n'est pas nul en ce point ?
— Si $ \text{div}\,\,\mathbf{A}=0 $, peut-on conclure qu'il s'agit de la bonne solution ?

Messages : 98

Inscription : 05 mai 2009 11:52

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par SL2(R) » 10 avr. 2019 14:47

La formule de Biot et Savart est-elle encore valable en un point où la densité de courant est non-nulle ?
Oui. L'intégrande de Biot et Savart est :

$ \displaystyle \frac{\vec{j}(S) \wedge \vec{SM}}{||\vec{SM}||^3} \ d\tau_S $

Si le point M est situé dans la distribution de courant, cette expression peut sembler singulière puisque S sera confondu avec M lors de l'intégration sur tous les points S de la distribution.

En réalité, l'intégrale reste bien définie partout. Pour le montrer lorsque le point M est situé dans la distribution de courant, on découpe celle-ci en une petite boule B centrée en M et son complémentaire. L'intégrande reste toujours finie sur le complémentaire de la boule, car S n'y est jamais confondu avec M.

En introduisant des coordonnées sphériques de centre M dans la boule, on a : $ \vec{MS} = r \ \vec{u}_r(\theta,\varphi) $ , et :

$ \displaystyle \frac{||\vec{j}(S) \wedge \vec{SM}||}{||\vec{SM}||^3} \ d\tau_S \ \le \ \frac{max||\vec{j}||}{r^2} \ \times \ r^2 \ dr \ d\Omega(\theta,\varphi) \ = \ max||\vec{j}|| \ \times \ dr \ d\Omega(\theta,\varphi) $

L'intégrale sur la boule est donc finie si $ ||\vec{j}|| $ est borné.
"You can't really understand anything unless you can calculate it." (Freeman J. Dyson)

www.laphyth.org

Messages : 98

Inscription : 05 mai 2009 11:52

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par SL2(R) » 10 avr. 2019 15:06

Il faudrait un résultat d'unicité
Il existe. Considérons le problème elliptique de Dirichlet suivant :

$ \Delta V \ = \ s $ sur le domaine spatial $ \Omega \subset \mathbb R^3 $ (la source s est supposée donnée)

$ V \ = \ V_0 $ sur le bord $ \partial \Omega $.


La preuve se fait par l'absurde : supposons que $ V_1 $ et $ V_2 $ soient deux solutions différentes.
Alors la différence : $ V = V_2 - V_1 $ est harmonique sur $ \Omega $ :

$ \Delta V \ = \ 0 $

et elle vérifie la condition aux limites : $ V \ = \ 0 $ sur $ \partial \Omega $.

La seule solution est : V = 0 partout, d'où l'unicité.

-------------------------------------------------------------------------
PS La solution fondamentale usuelle de l'électrostatique :

$ \displaystyle - \ \Delta V \ = \ \frac{\rho}{\epsilon_0} \quad \Longrightarrow \quad V(M) \ = \ \frac{1}{4\pi \epsilon_0} \ \iiint_S \frac{\rho(S)}{||\vec{SM}||} \ d\tau_S $

suppose une distribution localisée dans l'espace $ \Omega = \mathbb R^3 $ et la condition aux limites : V tend vers zéro à l'infini.

Le problème magnétostatique se traite par analogie.
"You can't really understand anything unless you can calculate it." (Freeman J. Dyson)

www.laphyth.org

Messages : 98

Inscription : 05 mai 2009 11:52

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par SL2(R) » 10 avr. 2019 15:16

[...] les équations de Jefimenko [...]
Ces expressions dérivent des "potentiels retardés". Elles supposent encore une fois que les distributions de charge et de courant soient localisées dans l'espace pour que les intégrales spatiales aient un sens.

Par ailleurs, sans précisions supplémentaires de conditions aux limites et d'une condition initiale, ces expressions ne sont pas uniques : on peut par exemple toujours y ajouter une solution "libre" des équations de Maxwell sans sources (c'est la même chose pour les potentiels retardés ...).
"You can't really understand anything unless you can calculate it." (Freeman J. Dyson)

www.laphyth.org

Messages : 0

Inscription : 19 mars 2019 20:01

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par Egomet » 11 avr. 2019 12:19

D'accord, merci pour ces précisions !

Peut-on concevoir une situation où la distribution de courant n'est pas localisée dans l'espace et où la formule de Biot et Savart soit mise en défaut ?

Y a-t-il encore unicité au problème de Dirichlet où l'on fixe la limite de V à l'infini suivant chaque demi-droite de l'espace ? (Cela permettrait d'appliquer la formule de Biot et Savart au cas d'un fil rectiligne illimité.)

Messages : 0

Inscription : 13 févr. 2018 09:22

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par matmeca_mcf1 » 11 avr. 2019 20:37

C'est le forum de physique mais je vais donner le point de vue du mathématicien qui fait les calculs au sens des distributions.

Pour Biot et Savart, je n'ai pas calculé ce que cela donnait rigoureusement. Pour un autre problème similaire, où on calcule le champ (excitation) démagnétisant $ \boldsymbol{H} $ en fonction de l'aimantation $ \boldsymbol{M} $. Ie, la solution de
$$
\mathrm{div}(\boldsymbol{H})=-\mathrm{div}(\boldsymbol{M})\\
\mathrm{rot}(\boldsymbol{H})=0
$$
plus des conditions aux limites à l'infini sur $ \boldsymbol{H} $ (par exemple, imposer que $ \boldsymbol{H} $ est $ L^2(\mathbb{R}^3) $ si $ \boldsymbol{M} $ l'est. Alors, si on fait les calculs rigoureusement (au sens des distributions, ou en passant par la transformée de Fourier), on obtient la formule intégrale qui donne $ \boldsymbol{H} $ en fonction de $ \boldsymbol{M} $:
$$
\boldsymbol{H}(P)=\int_\Omega\left(\frac{3(\boldsymbol{M}(Q)\cdot\vec{QP})\vec{QP}}{QP^5}-\frac{M(Q)}{QP^3}\right)\mathrm{d}Q - \frac{\boldsymbol{M}(P)}{3}
$$
$ \Omega $ est le corps matériel à l'intérieur duquel l'aimantation est non nul. Le deuxième terme est nul en dehors du corps aimanté.
Ancien ENS Cachan (maths) 1999--2003
Enseignant-Chercheur à l'Enseirb-Matmeca (Bordeaux INP) filière matmeca
Les opinions exprimées ci-dessus sont miennes et ne reflètent pas la position officielle de l'école dans laquelle j'enseigne.

Messages : 98

Inscription : 05 mai 2009 11:52

Profil de l'utilisateur : Élève de lycée

Re: Formule de Biot et Savart

Message par SL2(R) » 16 avr. 2019 00:14

Y a-t-il encore unicité au problème de Dirichlet où l'on fixe la limite de V à l'infini suivant chaque demi-droite de l'espace ?
Oui. Lorsque j'écris la condition aux limites de Dirichlet, il faut lire : $ V(M) = V_0(M) $, où $ V_0(M) $ est une fonction suffisamment régulière donnée sur le bord (i.e. pour $ M \in \partial \Omega $), cette fonction n'étant pas nécessairement constante !

Il faudrait écrire ici en coordonnées sphériques :

$ \displaystyle \lim_{r\to+\infty} V(r,\theta,\varphi) \, = \, V_0(\theta,\varphi) $

mais dans ce cas, l'expression analytique de la solution ne sera pas donnée par la formule :

$ \displaystyle V(M) \, = \, \frac{1}{4\pi \epsilon_0} \ \iiint_S \frac{\rho(S)}{||\vec{SM}||} \ d\tau_S $
"You can't really understand anything unless you can calculate it." (Freeman J. Dyson)

www.laphyth.org

Répondre