Вы находитесь на странице: 1из 8

Electromagn etisme num erique

Fran cois Dubois

Minimisation de l echo radar L electromagn etisme num erique est probablement n e lorsque des ing enieurs ont eu ` a r esoudre le probl` eme de la discr etion au rayonnement radar. En eet, dans un jeu dattaque-d efense classique, la d efense cherche a ` identier le plus vite possible la menace, par exemple en eclairant un objet agressif avec le rayonnement electromagn etique dun radar, alors que lagresseur se doit de rester discret le plus longtemps possible en minimisant l echo r e echi qui porte sa signature. La conception dobjets discrets aux echos radar conduit au besoin de simuler cet echo avant toute exp erimentation physique, donc a ` une mod elisation et une analyse math ematique pr ecise du probl` eme pos e avant de concevoir un logiciel de r esolution. Rappelons quel est le probl` eme pos e : une onde monochromatique eclaire un objet m etallique (pour xer les id ees) et induit de ce fait un courant electrique ` a sa surface. Ces charges en mouvement emettent a ` leur tour une onde diract ee dans toutes les directions de lespace. On cherche a ` minimiser l echo renvoy e dans la direction eclairante, qui correspond a ` ce que le radar va observer en retour. Une comparaison des ordres de grandeur de la dimension de lobjet et de la longueur donde simpose pour d eterminer les di erents r egimes de cette interaction. Dans le cas o` u la dimension est beaucoup plus petite que la longueur donde, lobjet nest pratiquement pas vu par londe, ce qui correspond a ` un r egime peu int eressant dans le cadre propos e mais qui a son int er et propre dans l etude des courants de Foucault. Le cas contraire o` u lobjet est Note pour Les Entretiens de la Mission Scientique et Technique, Minist` ere de lEducation Nationale, de lEnseignement Sup erieur et de la Recherche, D epartement des Math ematiques et leurs Applications (DSPT1), 12 f evrier 1997. Edition du 10 d ecembre 2006. Charg e de mission.

Franc ois Dubois

tr` es grand devant la longueur de londe d enit la th eorie g eom etrique de la diraction. Th eorie g eom etrique de la diffraction Dans le cas contraire o` u lobjet est tr` es grand devant la longueur de londe, londe est de haute fr equence et le rayonnement electromagn etique sapparente a de la lumi` ` ere ` a l echelle m etrique qui suit donc les lois traditionnelles de loptique. Loptique g eom etrique peut etre etendue en une th eorie g eom etrique de la diraction (GTD en anglais) qui propose de recalculer tout le champ electromagn etique ` a partir de la donn ee des rayons lumineux. Cette technique est dun emploi dicile puisquelle fait appara tre des grandeurs innies, ce qui montre que le cadre math ematique ad equat reste encore a ` construire. Des math ematiciens comme le russe Maslov ou les fran cais Bardos et Lebeau ont propos e des th eories uniformes pour eliminer dans un certain nombre de cas ces grandeurs innies. Toutefois, on peut noter que les probl` emes ouverts, cest ` a dire les questions non encore r esolues, se placent dans une grande tradition g eom etrique puisque les id ees dAiry (dont la fonction d ecrit le passage de lombre ` a la lumi` ere) peuvent encore etre utilis ees dans lanalyse. Equations de Maxwell Dans le cas o` u les deux longueurs sont du m eme ordre de grandeur, il ny a plus dapproximation possible dans le choix du mod` ele physique et il faut revenir aux equations de base adapt ees ` a la physique sous-jacente, cest a ` dire aux equations de Maxwell (1860). Les equations de Maxwell peuvent s ecrire sous une forme tr` es simple comme dynamique = sources. La fonction inconnue est constitu ee du champ electrique et du champ magn etique qui sont des vecteurs qui d ependent de lespace et du temps. Cette dynamique est soumise ` a des contraintes sol eno dales qui introduit des dicult es sp eciques de couplage entre les equations. La lumi` ere elle-m eme doit etre comprise comme une onde hertzienne (1890) et lincompatibilit e du groupe dinvariance des equations de Maxwell avec la m ecanique classique provoque une rupture (1905) qui a demand e de relire les lois de la m ecanique. La seconde guerre mondiale a vu se d evelopper diverses applications technologiques (radar, guide donde) et les besoins evoqu es plus haut conduisent aux premi` eres r esolutions num eriques (circuits laires en 1960). La technologie des bres optiques (1970) a fourni de nouveaux probl` emes technologiques et larriv ee dordinateurs susamment puissants (Cray 1980) a permis un large d eveloppement de lemploi des ordinateurs

Electromagn etisme num erique

pour la simulation directe des equations de Maxwell, cest a ` dire de l electromagn etisme num erique. Discr etisation par diff erences finies Une premi` ere m ethode dite exacte de r esolution consiste a ` vouloir simuler avec un ordinateur l evolution dynamique des equations de Maxwell, initialement ecrites dans un continuum despace-temps. Mais pour faire un calcul approch e avec un ordinateur, il faut un nombre ni dinconnues ! La r esolution approch ee des equations de Maxwell commence par l ecriture de ce passage dun espace temps continu ` a un espace temps discret, etape que les math ematiciens appellent simplement discr etisation. L evolution en temps des champs inconnus est une fonction simple des variations de ces m emes champs en espace. On transforme donc lespace continu en un espace discret o` u le pas despace xe une plus petite echelle de longueur pour la r esolution approch ee du probl` eme. De fa con analogue au cas spatial, on dispose de temps discrets num erot es par des nombres entiers. Les points de grille sont porteurs des nouvelles variables inconnues et a ` partir de la formule de Taylor qui relie une variation nie aux variations innit esimales, il est tr` es (trop !) facile de proposer un sch ema num erique aux di erences nies qui permet d ecrire une evolution dynamique discr` ete des champs electrique et magn etique en fonction de leurs variations spatiales discr` etes. Les travaux de lam ericain Yee (1965) et les grilles entrelac ees des champs electrique et magn etique restent une r ef erence pour lapproche par di erences nies des equations de Maxwell. Stabilit e et norme des op erateurs La facilit e de la d emarche pr ec edente cache des dicult es dordre math ematique dont nous allons maintenant essayer de donner une id ee. Lors du passage du temps discret, lerreur ne doit pas samplier. Si tel nest pas le cas, le fait dit erer un grand nombre de fois le passage dun temps discret amplie ` a chaque it eration lerreur par un facteur multiplicatif sup erieur a ` un et provoque tr` es rapidement la manipulation de tr` es grands nombres en machine. Cette tentative d ecrire en m emoire des nombres trop grands compte tenu des conventions de stockage provoque nalement un arr et explosif du programme avec son trait caract eristique tel que overow. Le contr ole a priori par la m ethode num erique des erreurs darrondis des ordinateurs constitue la propri et e de stabilit e num erique du sch ema. Dans le cas des equations de propagation dondes, elle a et e d ecouverte par Courant,

Franc ois Dubois

Friedrichs et Lewy (1927) comme une condition de limitation du pas de temps t en fonction du pas despace x : le sch ema est stable si au cours dun intervalle de temps discret, une onde lumineuse ne traverse pas plus dune maille en espace. Math ematiquement, elle exprime que lop erateur discret qui d ecrit l evolution du mod` ele au cours du temps est de norme inf erieure ou egale ` a un an que les erreurs inh erentes aux calculatrices electroniques ne samplient pas. Lanalyse de stabilit e est plus simple lorsquon dispose dun nombre inni de variables discr` etes sur un r eseau p eriodique car lanalyse de Fourier permet de calculer les conditions dadmissibilit e dun sch ema dans la vaste classe des probl` emes lin eaires (Von Neumann, 1950). Mais dans la r ealit e, on ne dispose que dun nombre ni de variables et lanalyse de stabilit e globale incluant les points du bord du domaine de calcul est plus d elicate ; elle a et e men ee dans les ann ees 1970 par l equipe su edoise de Kreiss. Les r esultats de cette recherche sont encore ` a lheure actuelle dun abord dicile et peu de sch emas r eellement employ es dans les logiciels dapproximation des equations comme les equations de Maxwell ou dautres mod` eles physiques ont eectivement et e analys es math ematiquement. Conditions aux limites artificielles Un point d elicat dans lemploi de m ethodes discr` etes concerne l ecriture des conditions aux limites au bord du domaine de calcul lorsque le probl` eme physique est non born e. Pour le probl` eme de l echo radar par exemple, les ondes electromagn etiques peuvent se d eplacer librement dans tout lespace et ceci est fondamental pour d eterminer l echo dans la direction du radar. Si on enferme lensemble du mod` ele dans une grande bo te (le radar ainsi que lobjet agresseur dans le cas pr ec edent), des r eexions donde au bord du domaine d etude vont nir par perturber le champ electromagn etique entre la source radar et le corps r e echissant de fa con tout ` a fait non physique. Encore une fois, lemploi de m ethodes approch ees impose dutiliser un nombre ni de variables, ce qui perturbe la physique m eme que le math ematicien cherche a ` calculer. Il est donc n ecessaire de d evelopper des conditions aux limites le long des fronti` eres articielles, pour pouvoir limiter en espace le mod` ele discret a ` un nombre ni de variables. Ces conditions aux limites articielles ne traduisent pas la donn ee dune information entrante ` a la fronti` ere du domaine d etude mais expriment simplement quune onde sort librement du domaine de calcul. Une telle condition dite parfaitement non r e echissante sexprime

Electromagn etisme num erique

en g en eral de fa con non locale et pour garder une complexit e raisonnable de la m ethode dapproximation et par la suite du logiciel, les math ematiciens ont d evelopp e des conditions approch ees. Les premiers travaux en ce sens sont dus au su edois Engquist et ` a lam ericain Majda dans le cas de l equation des ondes sonores (1977). Pour les equations de Maxwell, une etape importante a et e franchie en 1989 par les Fran cais Joly et Mercier ; on remarquera que ce travail r esulte dune collaboration entre un institut de recherche (lInstitut National de Recherche en Informatique et en Automatique) et un industriel (A erospatiale). Performances informatiques La simulation directe des equations de Maxwell par des sch emas aux di erences nies a longtemps et e limit ee par la puissance des ordinateurs. En eet, pour les probl` emes ` a haute fr equence, il faut etre capable de simuler des volumes qui contiennent beaucoup de longueurs donde ; un volume typique contient trente longueurs donde dans une direction et dix dans les deux autres. Comme on doit mettre typiquement dix points par longueur donde, on a besoin de trois millions de mailles pour une simulation r ealiste, ce qui signie que le mod` ele dynamique comporte dix huit millions (!) d equations. Une telle r esolution est possible en moins dune heure de temps calcul depuis les ann ees 1990 et les ordinateurs vectoriels (Cray). A cette dicult e fondamentale li ee ` a la puissance des calculatrices electroniques sajoutent les probl` emes de manipulation dimmenses bases de donn ees lors de la visualisation des r esultats et la mod elisation g eom etrique de la surface lobjet d etude par des facettes carr ees. En eet, la m ethode expos ee au dessus impose de discr etiser lespace par des petits cubes et le lien g en eral et rigoureux avec les bases de donn ees surfaciques classiques en conception assist ee par ordinateur nest pas encore r ealis e. La recherche dautres approximations pour les equations de Maxwell instationnaires avec des approches math ematiques plus elabor ees que les di erences nies conduit ` a sint eresser aux formulations variationnelles des equations. En eet, on peut utiliser alors toute la souplesse oerte par un maillage de la g eom etrie des surfaces par des triangles et lespace tridimensionnel par des t etra` edres. Par contre les co uts de calcul restent encore prohibitifs ainsi que le stockage en m emoire. Les ordinateurs parall` eles apportent une am elioration a cette limitation de puissance des machines. `

Franc ois Dubois

Une autre m ethode enn permet de ne mailler que la surface de lobjet qui subit une excitation electromagn etique. En eet, la m ethode des equations int egrales ram` ene tout le probl` eme des equations de Maxwell harmoniques (avec une donn ee ext erieure de pulsation x ee) ` a la recherche des courants de surface. Cette m ethode est tr` es pr ecise mais elle est intrins` equement ch` ere car elle demande la r esolution dun syst` eme lin eaire de grande taille qui ne comporte pas de coecients nuls (le record etait en 1996 dune matrice complexe cent mille par cent mille). Nous lexposons rapidement dans le paragraphe suivant. Equations int egrales et el ements finis Pour r esoudre le probl` eme de l echo radar pos e au d ebut de cette note, on dispose de la pulsation excitatrice et de la connaissance d etaill ee de lobjet eclair e. A lext erieur de cet objet il ny a pas de source du rayonnement electromagn etique donc dans tout le volume ext erieur a ` lobjet, on doit r esoudre les equations de Maxwell dans le vide. De plus, la simplicit e math ematique des equations de Maxwell permet den donner une solution g en erale dans le vide ou dans un milieu lin eaire homog` ene en fonction des charges et des courants ` a la surface de lobjet diractant. Une formule de repr esentation du champ electromagn etique diract e, compliqu ee alg ebriquement mais dont lexistence m eme est une cons equence de la remarque pr ec edente, introduit les charges et courants sur la surface comme inconnues du probl` eme. Quand on ecrit qu` a la surface de lobjet diractant les charges et les courants totaux sont nuls, on formule le probl` eme par equations int egrales avec des el ements de fronti` ere. Si lon ny prend pas garde, des grandeurs innies sont introduites par la manipulation dint egrales divergentes et leur elimination ne peut se faire quavec une connaissance tr` es intime des ph enom` enes physiques sous-jacents. L ecole fran caise danalyse num erique a r ealis e une perc ee importante depuis vingt ans en r eussissant ` a donner au probl` eme pr ec edent une formulation variationnelle des equations int egrales qui conduit ` a un probl` eme math ematiquement bien pos e (solution unique qui d epend de fa con continue des donn ees) et permet en cons equence leur discr etisation par el ements nis de fronti` ere assortie dune analyse num erique de lerreur eectu ee. Le cas plus simple des ondes acoustiques a dabord et e trait e par N ed elec et Planchard (1973) et il sagit l` a encore dune collaboration entre le monde acad emique (lEcole Polytechnique) et un industriel (Electricit e De France). Les travaux

Electromagn etisme num erique

de Bendali (1984) ont ensuite permis dintroduire les el ements nis d ecouverts peu de temps avant par Raviart et Thomas (1977) pour proposer une m ethode num erique originale qui sappuie sur une analyse math ematique enti` erement rigoureuse des approximations eectu ees. Il faut noter que ces travaux ont et e directement utilis es et enrichis dans lindustrie (Thomson). Mod elisations L electromagn etisme num erique met en sc` ene di erents niveaux de mod elisation que nous voulons pr eciser ici. Il y a tout dabord le mod` ele physique de lois de conservation de base, constitu e dans cette note par les equations de Maxwell. La fermeture des equations ` a r esoudre demande ensuite une analyse ph enom enologique ; les lois de comportement incorporent une globalisation de la r ealit e` a petite echelle qui nest pas d etaill ee dans le mod` ele nal comme par exemple la structure des mat eriaux di electriques absorbants. Ensuite le sch ema num erique choisit un mod` ele math ematique discret (` a nombre ni de param` etres, di erences nies ou el ements nis dans les exemples cit es plus haut) qui peut entrer dans un ordinateur sous la forme dun logiciel dont les composantes peuvent egalement avoir une interpr etation physique simple (ls electriques, cellules el ementaires, etc.). Enn, les calculateurs massivement parall` eles demandent de choisir un mod` ele de programmation pour stocker les donn ees en m emoire et surtout g erer les communications entre processeurs de calcul. Cette diversit e des mod elisations nest que la succession des m ethodes danalyse pour conduire une d emarche rigoureuse qui part des equations de la physique et aboutit ` a un logiciel de simulation aux qualit es les plus universelles possibles. De cette fa con, des sciences de ling enieur qui nont pas de communication traditionnelle entre elles car leur domaine dapplication est relativement eloign e peuvent utiliser le m eme outil de simulation. En electromagn etisme, des applications tr` es diverses comme l etude des courants de Foucault, la minimisation des signatures des echos radars et la compatibilit e electromagn etique peuvent utiliser le m eme logiciel de simulation ; seuls changent la gamme de fr equences, les conditions ext erieures, la forme particuli` ere des r esultats demand es. La compatibilit e electromagn etique par exemple etudie la tenue des equipements electriques et electroniques lors dune agression par un rayonnement ext erieur au syst` eme (foudre, onde intense) et a donc besoin du calcul du champ electromagn etique proche, alors que les calculs dun echo radar nutilisent que le champ lointain a ` linni de lobjet diractant.

Franc ois Dubois

La synergie math ematique s etend au del` a de l electromagn etisme et couvre lensemble du domaine des ondes : electromagn etisme, acoustique, elastodynamique, etc. Des d etails de l equation changent, mais on peut transposer les m ethodes acquises dans le cas le plus simple (acoustique, o` u le champ est scalaire) vers l electromagn etisme et les equations de Maxwell (champ vectoriel sous contraintes) et l elastodynamique (champ de d eformation tensoriel). Conclusion L electromagn etisme num erique est une discipline nouvelle qui a pu na tre gr ace au passage de la gamme de puissance 10 m egaops par les ordinateurs des ann ees 1980. Elle sins` ere actuellement dans la d emarche g en erale du calcul scientique au service de lindustrie et elle est promise a ` un bel avenir. En eet, limportance croissante des syst` emes electroniques dans les installations domestiques demande de respecter de nouvelles normes de s ecurit e ; la simulation num erique est de plus en plus l etape clef qui permet de gagner du temps au cours de la boucle de conception. Les etudes math ematiques soulev ees par l electromagn etisme num erique sont tr` es actives, tant en ce qui concerne les m ethodes asymptotiques pour la th eorie g eom etrique de la diraction, la recherche de sch emas num eriques (toujours stables) pr ecis pour la prise en compte naturelle des g eom etries complexes ou le transfert de nouveaux r esultats entre mod` eles d equations dondes de plus en plus elabor es. Les travaux pass es rapport es dans cette note montrent dune part que les math ematiciens appliqu es fran cais ma trisent lensemble de la r esolution num erique des probl` emes d electromagn etisme correctement d enis et dautre part quune bonne synergie entre les math ematiques appliqu ees men ees dans divers organismes de recherche fran cais et les entreprises industrielles (Thomson, A erospatiale, Motesim, Electricit e de France, Peugeot SA, etc.). Curieusement, les liens avec le monde traditionnel de la recherche universitaire sont probablement ` a renforcer.

Вам также может понравиться