PDE and applications seminar | Metz

Attention : horaires inhabituels, le séminaire aura lieu de 10h45 à 12h15 (une séance d’une heure et demie) et sera précédé d’une pause café-gâteau de 10h15 à 10h45

The localization of a critical point of minimum type of a smooth functional is obtained in a bounded convex conical set defined by a norm and a concave upper semicontinuous functional. The technique is then used for the localization and multiplicity of Nash equilibrium solutions of nonvariational systems. Applications are given to periodic problems.

La désintégration du boson W en un couple lepton-neutrino peut être modélisée par un opérateur autoadjoint agissant sur un espace de Fock, qui est un espace de Hilbert particulier. Les valeurs que peut prendre l’énergie du système physique correspondent au spectre de cet opérateur, qui peut être scindé en trois parties : le spectre ponctuel, absolument continu et singulièrement continu. Le sous-espace de Hilbert associé à  la partie absolument continue du spectre contient les états diffusés, c’est-à -dire étant localisés loin de l’expérience au bout d’un temps très long. Intuitivement, on s’attendrait à  ce que de tels états soient asymptotiquement libres (c’est-à -dire se comportant, en temps infini, comme s’il n’y avait aucune interaction). Cette propriété se traduit en termes mathématiques par la notion de complétude asymptotique des opérateurs d’onde. Un des objets essentiels de la mécanique quantique est la matrice de diffusion (ou de scattering) qui associe à  chaque état entrant diffusé, un état sortant à  son tour diffusé. Un des objectifs de la théorie de la diffusion est de prouver l’existence de la matrice de scattering et la complétude asymptotique des opérateurs d’ondes associés. Le but de cette présentation est de donner un sens rigoureux à  toutes ces notions, d’introduire les outils fondamentaux utilisés dans cette branche de la physique mathématique et de présenter quelques résultats récents sur un modèle simplifié de la désintégration du boson W.

Les surfaces minimales sont les surfaces qui sont points critiques pour la fonctionnelle d’aire (à  bord fixé). Elles sont aussi caractérisées par le fait que leur courbure moyenne est nulle en tout point ; elles peuvent donc s’exprimer localement comme graphes de solutions d’une EDP elliptique. Nous présenterons d’abord quelques exemples et résultats fondamentaux concernant ces surfaces puis nous nous intéresserons à  un problème de minimisation de l’aire des surfaces minimales comprises entre deux plans parallèles (travail en commun avec J. Choe).

The heat equation with homogeneous Dirichlet boundary conditions is well known to preserve non-negativity. Besides, due to infinite velocity of propagation, the heat equation is null-controllable within arbitrary small time, with controls supported in any arbitrarily open subset of the domain (or its boundary) where heat diffuses. The following question then arises naturally: can the heat dynamics be controlled from a positive initial steady-state to a positive final one, requiring that the state remains nonnegative along the controlled time-dependent trajectory? I will show that this state-constrained controllability property can be achieved if the control time is large enough, but that it fails to be true in general if the control time is too short, thus showing the existence of a positive minimal controllability time. In other words, in spite of infinite velocity of propagation, realizing controllability under the unilateral non-negativity state constraint requires a positive minimal time

The Klein-Gordon equation has several natural Green’s functions, often called propagators. The so-called Feynman propagator, used in quantum field theory, has a clear definition on static spacetimes. I will discuss, partly on a heuristic level, its possible generalizations to the non-static case. I will also describe a curious, partly open problem about the self-adjointness of the Klein-Gordon operator. I will also describe how to compute the singularities around the diagonal using a special geometric version of pseudodifferential calculus

La tomographie réflective est une méthode émergente en imagerie optique 3D. On observe qu’elle reconstruit pertinemment une scène 3D à  partir d’images en intensité, malgré des concavités ou des occultations. Pour aller plus loin, on décrit la tomographie réflective à  l’aide d’un modèle asymptotique géométrique, dans un cadre d’intégrales fortement oscillantes. Ce modèle original est en accord avec les résultats numériques ; il décrit les parties reconstruites, et permet de cerner les artefacts. Enfin, on déduit de ce modèle asymptotique une version accélérée du solveur de reconstruction.

Nous nous intéressons dans cet exposé à  la modélisation et à  la simulation numérique des écoulements de sang et de liquide cérébro-spinal dans le cerveau, réalisées dans le cadre d’un projet ANR VIVABRAIN. En particulier, la validation des simulations numériques concernant le vivant étant une question très complexe, nous montrons dans cet exposé l’approche que nous avons choisie pour valider nos simulations d’écoulements de bio-fluides en géométries réalistes.

Nos travaux portent sur l’imagerie optique des tissus biologiques en utilisant la lumière visible ou proche IR. C’est une technique non-invasive qui consiste à  reconstruire les propriétés optiques des tissus biologiques dans le but de détecter d’éventuelles tumeurs cancéreuses. Nous utilisons l’Equation du Transfert Radiatif (ETR) comme modèle (direct) de propagation de la lumière. Une analyse de sensibilité des paramètres du modèle a montré que le facteur d’anisotropie g de la fonction de phase de Henyey-Greenstein est le paramètre le plus sensible suivi du coefficient de diffusion puis du coefficient d’absorption. Notre algorithme de reconstruction est basé sur une méthode de Quasi-Newton. Le gradient de la fonction objectif est calculé efficacement par la méthode adjointe appliquée à  l’ETR avec une approche Multi-fréquences. Lors de mon exposé, je présenterai les modèles (sans et avec fluorescence) sur lesquels nous travaillons, les méthodes numériques que nous avons développé ainsi que les résultats que nous avons obtenu sur la reconstruction 2D et 3D de nos milieux biologiques. Le facteur g, utilisé comme nouvel agent de contraste optique endogène, permet de marquer davantage les tumeurs cancéreuses.

Le résumé se trouve ici.