Supervision : Jean-Marie CHESNEAUX
Co-supervision : JÉZÉQUEL Fabienne

Contrôle dynamique du calcul d'intégrales multiples

La fiabilité du calcul des intégrales définies monodimensionnelles avait fait l'objet de plusieurs études au sein du laboratoire LIP6. Pour différentes méthodes de quadrature numérique, une stratégie de calcul avait été proposée afin d'obtenir le résultat pour lequel l'erreur globale, combinant erreur mathématique et erreur d'arrondi, est minimale. Les intégrales multiples peuvent être évaluées en utilisant le principe des intégrales itérées qui consiste à calculer plusieurs intégrales monodimensionnelles par une méthode de quadrature. La première approche traitée dans cette thèse est la validation numérique de ce type de calcul. Nous avons alors démontré que, pour chaque dimension du domaine d'intégration, le pas optimal peut être déterminé de manière dynamique. Cette thèse a également porté sur la validation numérique des intégrales évaluées sur un domaine infini. La stratégie de calcul proposée consiste alors à calculer une suite convergente dont l'itéré de précision optimale est déterminé dynamiquement. La deuxième approche étudiée a porté sur les méthodes de cubature qui permettent l'approximation d'une intégrale multiple par une formule adaptée au domaine d'intégration considéré. Une stratégie, fondée sur l'utilisation d'une formule de cubature sur plusieurs sous-domaines, a été proposée afin d'obtenir un résultat de précision optimale. Le contrôle dynamique du calcul d'intégrales multiples par méthodes de cubature a été effectué sur des domaines de type hypercube. Pour chaque approche étudiée, nous avons montré comment déterminer quels chiffres significatifs du résultat sont en commun avec la vraie valeur de l'intégrale. Nous avons développé un logiciel nommé ACIM (Atelier de Calcul d'Intégrales Multiples) qui permet un calcul convivial et fiable des intégrales multiples en utilisant, soit le principe des intégrales itérées, soit les méthodes de cubature au choix de l'utilisateur.

Phd defence : 01/14/2005

Jury members :

ALT René, Professeur, UPMC? Examinateur
BAJARD Jean-Claude, Professeur, Université de Montpellier 2, Rapporteur
CHESNEAUX Jean-Marie, Professeur, UPMC, Directeur de Thèse
JEZEQUEL Fabienne, Maître de conférences, Paris 2, Co-directeur de Thèse
LANGLOIS Philippe, Professeur, Université de Perpignan, Rapporteur
MICHELUCCI Dominique, Professeur, Université de Bourgogne Examinateur
REVOL Nathalie, INRIA Invitée

2002-2006 Publications

• 2006
  • F. Jézéquel, F. Rico, J.‑M. Chesneaux, M. Charikhi : “Reliable computation of a multiple integral involved in the neutron star theory”, Mathematics and Computers in Simulation, vol. 71 (1), pp. 44-61, (Elsevier) (2006)
• 2005
  • M. Charikhi : “Contrôle dynamique du calcul d’intégrales multiples”, thesis, phd defence 01/14/2005, supervision Chesneaux, Jean-Marie, co-supervision : Jézéquel, Fabienne (2005)
• 2003
  • F. Jézéquel, F. Rico, J.‑M. Chesneaux, M. Charikhi : “Dynamical control of a multiple integral using Discrete Stochastic Arithmetic”, Dagstuhl Seminar, Dagstuhl, Germany (2003)
• 2002
  • M. Charikhi, J.‑M. Chesneaux, F. Jézéquel, F. Rico, L. Villain : “A dynamical computation of a multiple integral involved in the neutron star theory”, SCAN 2002 - 10^th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Paris, France (2002)
  • M. Charikhi, J.‑M. Chesneaux, F. Jézéquel : “Dynamical control of computations of multiple integrals”, SCAN 2002 - 10^th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, Paris, France (2002)