Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Les événements de juillet 2019

Séminaire

  • Équipe Analyse Appliquée (AA)

    • Mardi 2 juillet 11:00-12:00 - Amina MECHERBET - IMAG, Université de Montpellier

      Sedimentation of particles in Stokes flow

      Résumé : We consider the sedimentation of N identical spherical particles in a uniform gravitational field. Particle rotation is included in the model while fluid and particle inertia is neglected.
      In the dilute case, the result in [5] shows that the particles do not get closer in finite time. The rigorous convergence of the dynamics to the solution of a Vlasov-Stokes equation is proven in [4] in a certain averaged sense. The result holds true in the case of particles that are not so dilute as in [5] and for which the interactions between particles are still important.
      In this paper, using the method of reflections, we extend the investigation of [4] by dis- cussing the optimal particle distance which is conserved in finite time. The set of particle configurations considered herein is the one introduced in [3] for the analysis of the homogenization of the Stokes equation. We also prove that the particles interact with a singular interaction force given by the Oseen tensor and justify the mean field approximation of Vlasov-Stokes equations in the spirit of [1] and [2].
      [1] M. Hauray. Wasserstein distances for vortices approximation of Euler-type equations. Math. Models Methods Appl. Sci. 19, [1357,1384],2009.
      [2] M. Hauray and P. E. Jabin. Particle approximation of Vlasov equations with singular forces : propa- gation of chaos. Ann. Sci. E ́c. Norm. Sup ́er. (4), 48(4) :[891-940], 2015.
      [3] M. Hillairet. On the homogenization of the Stokes problem in a perforated domain. Arch Rational Mech Anal, 230, (2018), 1179–1228.
      [4] R. M. H ̈ofer Sedimentation of Inertialess Particles in Stokes Flows. Commun. Math. Phys. 360, (2018), 55–101.
      [5] P. E Jabin and F. Otto Identification of the dilute regime in particle sedimentation. Communications in Mathematical Physics. 2004.

      Lieu : Amphithéâtre Herbrand 130-134 (1er étage) - Institut de Mathématiques de Marseille (UMR 7373)
      Site Sud - Bâtiment TPR2
      Campus de Luminy, Case 907
      13288 MARSEILLE Cedex 9

      Exporter cet événement

      Article

  • Équipe Géométrie, Dynamique, Arithmétique et Combinatoire et leurs interactions (GDAC)

    • Lundi 1er juillet 14:00-15:00 - Sylvain MAILLOT - IMAG, Université de Montpellier

      Scindements de Heegaard et courbure moyenne positive

      Résumé : TBA

      JPEG - 12.7 ko
      Sylvain MAILLOT

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

  • Équipe Géométrie, Dynamique, Arithmétique et Combinatoire et leurs interactions (GDAC)

    • Vendredi 5 juillet 11:00-12:30 - Dierk SCHLEICHER - Jacobs University, Bremen

      Thurston theory and Teichmüller theory in holomorphic dynamics

      Résumé : TBA

      JPEG - 16.9 ko
      Dierk SCHLEICHER

      Lieu : FRUMAM (2ème étage) - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

  • Équipe Signal et Image (SI)

    • Vendredi 12 juillet 14:00-15:00 - Baptiste BAUVIN (to be confirmed) - LIS, Aix-Marseille Université

      Séminaire Signal et Apprentissage (TBA)

      Résumé : TBA

      JPEG - 7.1 ko
      Baptiste BAUVIN

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

  • Équipe Analyse, Géométrie et Topologie (AGT)

    • Lundi 1er juillet 14:00-15:00 - Sylvain MAILLOT - IMAG, Université de Montpellier

      Scindements de Heegaard et courbure moyenne positive

      Résumé : TBA

      JPEG - 12.7 ko
      Sylvain MAILLOT

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

  • Équipe Logique de la Programmation (LDP)

    • Jeudi 4 juillet 11:00-12:30 - Pierre HYVERNAT - LAMA, Université Savoie Mont Blanc

      Checking correctness for recursive definitions with mixed inductive and coinductive types

      Résumé : The Size-Change Principle (SCP) is a simple algorithm giving a partial termination test for recursive definitions. If the language is lazy, it also gives (by duality) a partial productivity test for recursive functions involving coinductive types. This is what is used in Agda.
      Unfortunately, when inductive and coinductive types are nested, this is unsound : there are "well typed" and terminating recursive definitions producing terms in empty types. Such definitions make Agda inconsistent.
      Using ideas from L. Santocanale about circular proof and parity games, I’ll show how the SCP can be used to check "totality" of recursive definitions. Besides the SCP, the main ingredient is a more informative of notion call-graph, and I’ll sketch the proof of correctness by defining their "untyped" semantics using power domains.

      JPEG - 29.4 ko
      Pierre HYVERNAT

      Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
      Site Sud - Bâtiment TPR2
      Campus de Luminy, Case 907
      13288 MARSEILLE Cedex 9

      Exporter cet événement

      Article

    • Jeudi 11 juillet 11:00-12:00 - Zeinab GALAL - IRIF, Paris 7

      Rigid species and normal functors over groupoids

      Résumé : TBA

      Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
      Site Sud - Bâtiment TPR2
      Campus de Luminy, Case 907
      13288 MARSEILLE Cedex 9

      Exporter cet événement

      Article

  • Équipe Représentations des Groupes Réductifs (RGR)

    • Jeudi 4 juillet 14:00-15:00 - Raphaël BEUZART-PLESSIS - I2M, CNRS, Marseille

      Une nouvelle preuve du lemme fondamental de Jacquet-Rallis

      Résumé : Le lemme fondamental de Jacquet-Rallis est une identité locale entre intégrales orbitales relatives qui apparaît naturellement dans une approche par la formule des traces relative à la conjecture de Gan-Gross-Prasad pour les groupes unitaires. Il a été démontré peu après sa formulation par Z.Yun en caractéristique positive par des méthodes similaires à celles développées par Ngô pour le lemme fondamental endoscopique et transférer en caractéristique nulle par J.Gordon via des techniques de théorie des modèles. Dans cet exposé, j’expliquerai une preuve alternative de ce lemme fondamental en caractéristique nulle qui est purement locale et basée sur des outils d’analyse harmonique.

      JPEG - 10.4 ko
      Raphaël BEUZART-PLESSIS

      Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
      Site Sud - Bâtiment TPR2
      Campus de Luminy, Case 907
      13288 MARSEILLE Cedex 9

      Exporter cet événement

      Article

groupe de travail

  • Habilitations à Diriger des Recherches (HDR)

    • Mercredi 10 juillet 10:00-12:00 - El hadji SAMB - I2M, AA, Aix-Marseille Université

      Contrôlabilité de systèmes paraboliques couplés : Quelques phénomènes hyperboliques dans le contrôle des problèmes paraboliques

      Résumé : Soutenance de thèse
      -
      Dans cette thèse nous étudions la contrôlabilité à zéro de systèmes paraboliques linéaires, en particulier les phénomènes nouveaux qualifiés "d’hyperboliques" dans le contrôle des systèmes paraboliques, tels que des conditions sur la géométrie de la zone de contrôle ou sur le temps.
      Nous nous sommes intéressés, dans un premier temps, à une extension à la dimension $N>1$ d’espace d’un résultat de S.Dolecki, publié en 1973, qui donne une caractérisation de la contrôlabilité ponctuelle de l’équation de la chaleur mono-dimensionnelle. Nous prouvons la contrôlabilité interne de l’équation de la chaleur N-dimensionnelle sur des domaines de la forme $ (0,1)\times\Omega_2$, avec $\Omega_2$ un domaine borné et régulier de $\mathbbR^N-1, N>1$, lorsque le contrôle est exercé sur $\x_0\ \times \omega_2$, avec $x_0\in (0,1)$ et $\omega_2 \subseteq \Omega_2$. Notre résultat s’appuie sur la stratégie dite de Lebeau-Robbiano et exige une limite supérieure du coût du contrôle mono-dimensionnel sur $(0,1)$. Ce résultat a fait l’objet d’une publication aux Comptes-Rendus de l’Académie des Sciences.
      Dans une seconde partie nous avons étudié la contrôlabilité à zéro de deux équations paraboliques couplées par une matrice dont les coefficients dépendent de l’espace. Dans ce cas un phénomène étonnant apparaît : la condensation des fonctions propres. Les travaux précédents imposaient que la famille des fonctions propres de l’opérateur parabolique considéré forme une base de Riesz. Le système que nous avons étudié ne satisfait pas cette hypothèse. S’inspirant de la "méthode des moments par blocks", nous formulons l’expression d’un temps minimal de contrôle $T_0$ dépendant de la condensation simultanée de fonctions propres et valeurs propres. Ce travail vient d’être soumis pour publication.
      -
      Mots clés : Systèmes paraboliques ; Contrôlabilité interne ; Contrôlabilité frontière ; Théorème de Fattorini-Russell ; Méthode des moments par blocks, Condensation valeurs propres, Condensation fonctions propres.
      -
      Membres du jury :
      -
      Assia BENABDALLAH - Aix-Marseille Université - Directrice de thèse
      Franck BOYER - Université Paul Sabatier
      Sylvain ERVEDOZA - Université Paul Sabatier - Rapporteur
      Enrique FERNÁNDEZ-CARA - Universidad de Sevilla - Rapporteur
      Morgan MORANCEY - Aix-Marseille Université
      Judith VANCOSTENOBLE - Université Paul Sabatier
      -

      JPEG - 7.9 ko
      El hadji SAMB

      -
      PNG - 7.7 ko
      (lien à venir)


      -
      Liens :
      - theses.fr
      - Fiche de l’ED184

      Lieu : Salle des Voûtes - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

    • Mercredi 10 juillet 14:00-15:30 - Guillemette CHAPUISAT - I2M, AA, Aix-Marseille Université

      Propagation de fronts et croissance tumorale

      Résumé : Habilitation à Diriger des Recherches
      -
      TBA
      -
      Mots clés : TBA.
      -
      Membres du jury :
      -
      - Henri BERESTYCKI (EHESS)
      - Emmanuel GRENIER (ENS Lyon)
      - François HAMEL (Aix-Marseille Université)
      - Raphaèle HERBIN (Aix-Marseille Université)
      - Florence HUBERT (Aix-Marseille Université)
      - Élisabeth LOGAK (Université de Cergy-Pontoise)
      - Hasnaa ZIDANI (ENSTA Paris)
      -

      JPEG - 14.6 ko
      Guillemette CHAPUISAT

      -
      PNG - 7.7 ko
      (lien à venir)


      -
      Liens :
      - ResearchGate

      Lieu : FRUMAM (Salle de séminaire du 2ème étage) - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

  • Soutenances de thèses de doctorat

    • Mercredi 10 juillet 10:00-12:00 - El hadji SAMB - I2M, AA, Aix-Marseille Université

      Contrôlabilité de systèmes paraboliques couplés : Quelques phénomènes hyperboliques dans le contrôle des problèmes paraboliques

      Résumé : Soutenance de thèse
      -
      Dans cette thèse nous étudions la contrôlabilité à zéro de systèmes paraboliques linéaires, en particulier les phénomènes nouveaux qualifiés "d’hyperboliques" dans le contrôle des systèmes paraboliques, tels que des conditions sur la géométrie de la zone de contrôle ou sur le temps.
      Nous nous sommes intéressés, dans un premier temps, à une extension à la dimension $N>1$ d’espace d’un résultat de S.Dolecki, publié en 1973, qui donne une caractérisation de la contrôlabilité ponctuelle de l’équation de la chaleur mono-dimensionnelle. Nous prouvons la contrôlabilité interne de l’équation de la chaleur N-dimensionnelle sur des domaines de la forme $ (0,1)\times\Omega_2$, avec $\Omega_2$ un domaine borné et régulier de $\mathbbR^N-1, N>1$, lorsque le contrôle est exercé sur $\x_0\ \times \omega_2$, avec $x_0\in (0,1)$ et $\omega_2 \subseteq \Omega_2$. Notre résultat s’appuie sur la stratégie dite de Lebeau-Robbiano et exige une limite supérieure du coût du contrôle mono-dimensionnel sur $(0,1)$. Ce résultat a fait l’objet d’une publication aux Comptes-Rendus de l’Académie des Sciences.
      Dans une seconde partie nous avons étudié la contrôlabilité à zéro de deux équations paraboliques couplées par une matrice dont les coefficients dépendent de l’espace. Dans ce cas un phénomène étonnant apparaît : la condensation des fonctions propres. Les travaux précédents imposaient que la famille des fonctions propres de l’opérateur parabolique considéré forme une base de Riesz. Le système que nous avons étudié ne satisfait pas cette hypothèse. S’inspirant de la "méthode des moments par blocks", nous formulons l’expression d’un temps minimal de contrôle $T_0$ dépendant de la condensation simultanée de fonctions propres et valeurs propres. Ce travail vient d’être soumis pour publication.
      -
      Mots clés : Systèmes paraboliques ; Contrôlabilité interne ; Contrôlabilité frontière ; Théorème de Fattorini-Russell ; Méthode des moments par blocks, Condensation valeurs propres, Condensation fonctions propres.
      -
      Membres du jury :
      -
      Assia BENABDALLAH - Aix-Marseille Université - Directrice de thèse
      Franck BOYER - Université Paul Sabatier
      Sylvain ERVEDOZA - Université Paul Sabatier - Rapporteur
      Enrique FERNÁNDEZ-CARA - Universidad de Sevilla - Rapporteur
      Morgan MORANCEY - Aix-Marseille Université
      Judith VANCOSTENOBLE - Université Paul Sabatier
      -

      JPEG - 7.9 ko
      El hadji SAMB

      -
      PNG - 7.7 ko
      (lien à venir)


      -
      Liens :
      - theses.fr
      - Fiche de l’ED184

      Lieu : Salle des Voûtes - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

    • Mercredi 10 juillet 14:00-15:30 - Guillemette CHAPUISAT - I2M, AA, Aix-Marseille Université

      Propagation de fronts et croissance tumorale

      Résumé : Habilitation à Diriger des Recherches
      -
      TBA
      -
      Mots clés : TBA.
      -
      Membres du jury :
      -
      - Henri BERESTYCKI (EHESS)
      - Emmanuel GRENIER (ENS Lyon)
      - François HAMEL (Aix-Marseille Université)
      - Raphaèle HERBIN (Aix-Marseille Université)
      - Florence HUBERT (Aix-Marseille Université)
      - Élisabeth LOGAK (Université de Cergy-Pontoise)
      - Hasnaa ZIDANI (ENSTA Paris)
      -

      JPEG - 14.6 ko
      Guillemette CHAPUISAT

      -
      PNG - 7.7 ko
      (lien à venir)


      -
      Liens :
      - ResearchGate

      Lieu : FRUMAM (Salle de séminaire du 2ème étage) - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

Ajouter un événement