Journées annuelles de la fédération OcciMath

22 mai 2025, 09:00 → 23 mai 2025, 18:00 Europe/Paris

 

La Fédération Occitane de recherche Mathématique organise ses journées annuelles les 22 et 23 mai 2025. Afin de célébrer l'intégration de l'unité MIPA au sein de la fédération, ces journées seront organisées à l'Université de Nîmes, site de Vauban. 

Le 22 mai sera l'occasion de trois interventions par des invités de la fédération :

• M. Capitaine (IMT)
• F. Chazal (INRIA)
• S. Le Corff (LPSM)

 

Le 23  mai est dédié à un tour d'horizon des activités scientifiques de la fédération sur la thématique "équations aux dérivées partielles (analyse, analyse numérique et calcul scientifique)". Les intervenants seront

• P. Castillon (IMAG)
• J. Dardé (IMT)
• M. David (LAMPS)
• M. Ferreira (IMT)
• Y. Ge (IMT)
• B. Lledos (MIPA)
• H. Mathis (IMAG)
• M.H. Vignal (IMT)

 

Comité scientifique :

• Michele Bolognesi (IMAG)
• François Costantino (IMT)
• Jérôme Droniou (IMAG, Président)
• Radu Ignat (IMT)
• Jean-Philippe Mandallena (MIPA)
• Nathalie Peyrard (MIAT)
• Sylvie Viguier-Pla (LAMPS)

 

Comité d'organisation: 

• Omar Anza-Hafsa (MIPA)
• Jean-Philippe Mandallena (MIPA)

 

 

jeudi 22 mai ¶

12:30 → 13:45 Buffet d'accueil

13:45 → 14:00 Mot d'accueil des participatns¶

14:00 → 15:00 Modèles génératifs basés sur le score pour l’estimation de lois a posteriori¶

Les modèles génératifs basés sur le score (SGM), aussi connus sous le nom de modèles
de diffusion, visent à estimer une distribution en estimant des fonctions de score à l’aide
d’échantillons perturbés issus de la distribution cible. Ces méthodes ont permis l’obtention
de résultats empiriques très impressionnants dans différents domaines complexes (traitement d’image, séries temporelles, etc.) et garantissant des performances au-delà des méthodes de l’état de l’art.

Dans cet exposé, nous présenterons de nouvelles méthodes de simulation de lois a posteriori basées sur ces approches. Tout d’abord, les modèles génératifs basés sur le score ont récemment été appliqués avec succès à différents problèmes inverses avec des applications par exemple en imagerie médicale. Dans ce cadre, nous pouvons exploiter la structure particulière de la loi a priori définie par le SGM pour définir une séquence de problèmes inverses intermédiaires. A mesure que le niveau de bruit diminue, les lois a posteriori de ces problèmes inverses se rapprochent de la loi cible du problème inverse initial. Pour échantillonner cette séquence de lois, nous proposons d’utiliser des méthodes de Monte Carlo séquentielles (SMC). L’algorithme proposé, MCGDiff, bénéficie de garanties théoriques pour la reconstruction des lois cibles et diverses simulations numériques illustrent qu’il est plus performant que les méthodes concurrentes lorsqu’il s’agit de traiter des problèmes inverses mal posés dans un cadre bayésien.

Orateur: Sylvain Le Corff (LPSM)

15:00 → 16:00 Probabilités libres et outliers de grandes matrices aléatoires¶

Après avoir introduit quelques notions de la théorie des probabilités libres, j'expliquerai comment cette théorie contribue à une compréhension universelle du problème des "outliers", c'est à dire des valeurs propres qui se détachent du reste du spectre, pour certains modèles de grandes matrices aléatoires auto-adjointes.

Orateur: Mireille Capitani (IMT)

16:00 → 16:30 Pause café

16:30 → 17:30 Détection d'anomalies dans les séries temporelles multivariées en utilisant de l'Analyse Topologique des Données.¶

L'objectif de cet exposé est de présenter une nouvelle méthode basée sur l'Analyse Topologique des Données permettant de détecter des anomalies structurelles dans des suites de données complexes. On s'appuiera sur l'exemple de de la détection de changements dans la structure globale de dépendance, représentée sous forme de graphe dynamique pondéré, entre les différents canaux de séries temporelles multivariées. Il s'agit d'un travail commun avec Clément Levrard (Univ. Rennes) et Martin Royer (IRT System X).

Orateur: Frédéric Chazal (INRIA)

17:45 → 18:30 Visite Fort Vauban

20:00 → 21:30 Dîner au restaurant "La table du 2"

vendredi 23 mai ¶

08:30 → 09:00 Pause café

09:00 → 09:45 TBA¶

Orateur: Marina Ferreira (IMT)

09:45 → 10:30 Simulation d’un écoulement en cavité différentiellement chauffée avec transferts de chaleur conjugués : influence des conditions aux limites thermiques.¶

Ces travaux abordent la simulation haute résolution d'un écoulement en cavité, de rapport d’aspect 4:1, différentiellement chauffée en présence de transferts thermiques conjugués à Ra=2x109. La simulation des transferts thermiques conjugués intègre les interactions entre les domaines solide et fluide, offrant ainsi une description plus précise des processus thermiques et des pistes pour une modélisation plus réaliste des conditions limites thermiques. Les équations de Navier-Stokes et d’énergie incompressibles sont résolues dans la partie fluide. L'approximation de Boussinesq est utilisée. Le couplage thermique entre les régions fluide et solide suppose un contact thermique parfait, garantissant la continuité de la température et du flux de chaleur à l'interface. Les contours de température, les transferts de chaleur et la dissipation thermique sont étudiés pour différents ratios de conductivité entre le fluide et le solide, couvrant une gamme de conditions limites allant des parois parfaitement conductrices aux parois parfaitement isolantes. Les résultats montrent une forte dépendance des quantités observées aux propriétés thermiques.

Orateur: Martin David (LAMPS)

10:30 → 11:00 Pause café

11:00 → 11:45 Sur des variétés asymptotiquement hyperboliques en dimension 4¶

Etant donnée une variété compacte de dimension 3 (M^3, [h]), quand l’on pourrait remplir
par une variété asymptotiquement hyperbolique de dimension 4 (X^4, g_+) telle que r2g_+|M = h sur le bord M = ∂X pour certaine fonction définissante r sur X^4 ? Ce problème est motivé par la correspondance AdS/CFT en gravité quantique proposé par Maldacena en 1998 et provient également de l’étude de la structure des variétés asymptotiquement hyperboliques.

Dans cet exposé, je discute le problème de la compacité des variétés asymptotiquement hyperboliques en dimension 4, c’est-à-dire, comment la compacité de l’infini conforme entraîne la compacité de la compactification des telles variétés sous des hypothèses convenables sur la topologie et des invariants conformes. En tant qu’applications, on montre quelques résultats sur l’existence de tels remplissages.

Orateur: Yuxin Ge (IMT)

11:45 → 12:30 TBA¶

Orateur: Philippe Castillon (IMAG)

12:30 → 14:00 Buffet repas

14:00 → 14:45 Schémas asymptotiquement préservants¶

Dans cet exposé, je commencerai par expliquer les objectifs et principe
des schémas asymptotiquement préservants. Puis je détaillerai le cas
particulier d'un schéma préservant l'asymptotique bas Mach pour les
équations d'Euler. Je présenterai les difficultés rencontrées dans la simulation numérique d’écoulements compressibles à bas nombre de Mach. Je montrerai comment on peut s’affranchir de ces difficultés en utilisant des schémas asymptotiquement préservants (AP). Ces schémas sont uniformément stables par rapport au nombre de Mach : ils permettent d’utiliser des pas de temps indépendants du nombre de Mach. De plus ils
sont uniformément consistants : l’erreur de consistance est bornée dans
la limite bas Mach. Je présenterai les propriétés et les résultats de schémas AP linéaires
d’ordre 1 et 2 obtenus en collaboration avec Paola Allegrini (Université Toulouse 3).

Orateur: Marie-Hélène Vignal (IMT)

14:45 → 15:30 Continuité du stress field pour les solutions d'un problème de minimisation à croissance linéaire.¶

Dans cet exposé, nous présentons un résultat de régularité pour une EDP elliptique. Nous prouvons la continuité du stress field pour une solution d'un problème de minimisation à croissance linéaire provenant de la plasticité de Hencky. La preuve est basée sur une approximation, une estimation de Sobolev et sur un principe du maximum. Enfin, nous présentons une application à la régularité des ensembles de niveau de la solution.

Orateur: Benjamin Lledos (MIPA)

15:30 → 16:00 Pause café

16:00 → 16:45 Temps critique d'observabilité/de contrôlabilité à zéro de l'équation de Baouendi-Grushin généralisée.¶

On s'intéresse aux propriétés d'observabilité/de contrôlabilité à zéro de l'équation de Baouendi-Grushin généralisée $({\partial }_t-{\partial }_x^2-q(x{)}^2{\partial }_y^2)f={\mathbf{1}}_{\omega }u$, $q(0)=0$, $q(x)\ne 0$ pour $x\ne 0$, dans un domaine rectangulaire. Cette équation parabolique, dégénérée en $x=0$, admet un temps minimal de contrôlabilité, propriété surprenante pour une équation parabolique.

Ce temps est connu lorque $\omega$ est une bande verticale, ou lorsque $q(x)=x$. Dans un travail récent avec Armand Koenig et Julien Royer, nous obtenons le temps critique de contrôlabilité à zéro pour des zones de contrôle non cartésiennes et un potentiel $q$ général. Je présenterai ce résultat, ainsi que quelques idées de preuve, basée sur des arguments de cutoff, de l'analyse spectrale d'opérateurs non autoadjoints, et des opérateurs pseudo-différentiels sur des polynômes.

Orateur: Jérémi Dardé (IMT)

16:45 → 17:30 Modélisation d’écoulements liquide-vapeur avec tension de surface¶

La modélisation et la simulation d’écoulements diphasiques constituent un sujet de recherche important, notamment pour leurs applications en sûreté nucléaire.
Dans certains scenarii d’accidents interviennent des écoulements très hétérogènes, constitués d’eau liquide et de bulles d’air et de vapeur.
Afin de modéliser de tels écoulements, on privilégie des modèles moyennés, donnant une description macroscopique des écoulements, la description à l’échelle des interfaces eau-gaz étant hors portée. Cependant connaître les propriétés de l’interface, en particulier l’évolution de l’aire interfaciale et de la tension de surface, demeure important.
Le but de cet exposé est de présenter deux manières de dériver des modèles moyennés d’écoulements diphasiques avec tension de surface, la première par une méthode d’homogénéisation, la seconde par un principe d’Hamilton.

Orateur: Hélène Mathis (IMAG)