On sait définir, après Kashiwara, Brylinski le cycle caractéristique d’un faisceau constructible. On tentera de répondre à la question suivante : comment définir un tel objet dans le contexte des espaces d’arcs ? et on donnera des exemples, notamment celui du cycle caractéristique des cycles proches motiviques d’une fonction.
Récemment, des couches très fines autour des structures tourbillonnaires ont été observées dans plusieurs régions océaniques. Ces couches sont quasi horizontales, elles ont une épaisseur de l’ordre de 10 mètres et une taille horizontale de l’ordre de 1 à 10 kilomètres. L'étude de la formation de ces couches conduit à un problème aux limites et à la résolution d'un problème aux valeurs propres généralisé. Les modes instables d'une lentille gaussienne anticyclonique dans un fluide continûment stratifié en rotation sont simulés numériquement. Le mode le plus instable est un mode lent, associé à une instabilité couche critique située à la périphérie du vortex.
(disponible prochainement)
Dans cet exposé, on étudie les ensembles de degrés Turing associés aux pavages générés par un jeu de tuile. En particulier, on prouve qu'il existe un quasi-isomorphisme entre n'importe quelle classe Pi01 de {0,1}^N et un pavage. Pour cela, on introduit une construction permettant d'avoir du calcul tout en ayant un nombre dénombrable de pavages.
On présentera deux modèles où de fortes oscillations peuvent induire sur le problème limite un gain de dissipation. Le premier concerne l'étude d'un fluide visqueux forcé par une source fortement oscillante. On perturbe une solution stationnaire à l'instant initial. On montre que le temps d'existence de la famille de solutions perturbées peut être minoré indépendamment de la taille de la perturbation. En particulier, on exhibe une solution approchée qui justifie que l'interaction d'oscillations peut se traduire au niveau macroscopique par la création d'une viscosité turbulente. Puis on développera un modèle de plasmas pour ITER avec collisions. Sous l'effet d'un champ magnétique, les particules tournent fortement autour des lignes de champ. Lorsque il devient très grand (les oscillations sont très rapides) le terme de collisions, qui dissipe uniquement en vitesse initialement, fait apparaître une dissipation en position.
Le problème de la maximisation des valeurs propres de Neunmann d'un domaine euclidien est très difficile. Pour un domaine du plan, la conjecture de Polya (1954) dit que les valeur propres mu_k de Neumann sont bornées supérieurement par 4k Pi. Dans cet exposé je présenterai une inégalité optimale pour la deuxième valeur propre non nulle mu_2. Je discuterai aussi la maximisation des valeurs propre de Steklov d'un domaine du plan, ainsi que le contrôle isopérimétrique de ce spectre en dimension supérieure à deux. Les travaux présentés sont des collaborations avec N. Nadirashvili, I. Polterovich, B. Colbois et A. El Soufi.
On propose une sémantique de jeux pour le langage concurrent CCS (Milner), dont l'ingrédient principal est une catégorie de ``parties'' suffisamment générale pour contenir à la fois une notion de partie en monde clos (quand les joueurs ne peuvent pas interagir avec le monde extérieur) et une notion de vue (ce qu'un joueur retient d'une partie). Les stratégies sont définies sur les vues, puis sont munies (1) d'une opération d'extension à toutes les parties et (2) d'une opération de recollement, qui permet de faire jouer une équipe contre une autre. Ces deux opérations permettent de définir une équivalence de test équitable, analogue à celle donnée indépendamment pour CCS par Cleaveland et al d'une part et Brinksma et al d'autre part, qui compare les stratégies selon leurs réactions à des tests. On donne une traduction de CCS en termes de stratégies et on donne des résultats de comparaison de la sémantique induite avec la bisimilarité faible et avec l'équivalence de test équitable originale.
Nous commencerons par rappeler un résultat avec Jan Denef reliant espaces d'arcs et points fixes des itérés de la monodromie. Puis nous exposerons un travail récent en collaboration avec Ehud Hrushovski qui en donne une nouvelle démonstration. Cette nouvelle approche, plus géométrique, est basée sur la géométrie non-archimédienne.
Upper bounds are obtained for the heat content of an open set D in a geodesically complete Riemannian manifold M with Dirichlet boundary condition on the boundary of D, and non-negative initial condition. We show that these upper bounds are close to being sharp if (i) the Dirichlet-Laplace-Beltrami operator acting in L2(D) satisfies a strong Hardy inequality with weight d^{-2}, (ii) the initial temperature distribution, and the specific heat of D are given by d^{-a} and d^{-b} respectively, where d is the distance to the boundary of D, and 1 < a < 2; 1 < b < 2.
Le flot géodésique d'une variété à courbure sectionnelle majorée par une constante négative admet une mesure -- dite de Patterson-Sullivan -- relativement à laquelle il est totalement dissipatif et non ergodique ou bien totalement conservatif et ergodique. Nous montrons que cette « loi du zéro-un » est encore satisfaite pour les variétés de rang un.
On s'intéresse à trouver la constante optimale pour l'immersion de l'espace W^{2,1}_Delta(Omega) qui est l'ensemble des u dans W^{1,1}_0(Omega) tel que Delta u appartienne à L^1(Omega) dans L^1(Omega) où Omega est un domaine borné de R^n avec frontière de classe C^{1,1}. Ceci est équivalent à trouver la première valeur propre de l'opérateur 1-biharmonique avec conditions au bord de Navier (généralisées). Dans cet exposé on donne une interpretation du problème aux valeurs propres, on montre une inégalité du type Faber-Krahn, et, si Omega est une boule, on calcule explicitement la première valeur propre et la fonction propre associée. Les résultats ont été obtenus en collaboration avec Bernhard Ruf et Cristina Tarsi (Université degli Studi di Milano)
Le problème de Schottky consiste à caractériser les jacobiennes des surfaces de Riemann parmi les variétés abéliennes principalement polarisées. Ce problème classique a été abordé sous de nombreux angles. Dans ce travail en collaboration avec F. Balacheff et H. Parlier, nous généralisons l'approche géométrique développée par P. Buser et P. Sarnak en obtenant de nouvelles estimées sur les longueurs des réseaux des périodes des jacobiennes.
Cet exposé est consacré à l'étude de systèmes (elliptiques avec condition de Dirichlet sur le bord) comportant des oscillations à l'échelle microscopique. L'objectif est de caractériser la limite lorsque la taille caractéristique des oscillations tend vers 0, autrement dit d'homogénéiser les petites échelles. Suivant que les oscillations sont périodiques et concernent les coefficients du système, ou sont contenues dans la donnée sur le bord (systèmes de couche limite), leur effet sur la limite est très différent. Nous passerons en revue les résultats classiques sur les développements multi-échelles, et montrerons des résultats récents sur l'homogénéisation du problème de couche limite
La classification des matériaux élastiques est un vieux problème de mécanique assez fascinant pour les mathématiciens car sa résolution explicite nécessite de nombreux outils mathématiques : théorie des invariants, calcul de stratification, etc. Je présenterai quelques travaux récents sur ce problème et les questions ouvertes qu'il introduit.
« div(T) = 0, c'est la mécanique ! » . À partir de cette expression attribuée à Einstein, Jean-Marie Souriau a formulé une équation universelle de la mécanique, dont dérive la plupart des modèles de la mécanique des milieux continus. Cet exposé propose de présenter cette formulation géométrique, élégante et encore mal connue.
Au cours de cet exposé, j'introduirai deux approches qui aboutissent à la résolution de modèles non-locaux pour l'analyse de la dynamique sédimentaire. La première portera sur l'équation d' A.-C. Fowler qui correspond à l'équation de Burgers visqueuse modifiée par un terme non-local qui peut être identifié à un Laplacien fractionnaire anti-diffusif. Dans la seconde approche, nous utilisons les principes de minimisation pour décrire l'évolution d'un lit érodable sous l'action de l'eau. Il sera intéressant de constater que cette seconde méthode peut être liée à la première.
Dans cette exposé, nous proposons une nouvelle formulation des problèmes d'estimation de flot optique et de stéréo-vision qui repose sur une analogie avec les problèmes de débruitage. Le caractère mal posé de ces problème nous conduit à la régularisation par variation totale que nous controllons grâce a des modèles de décomposition.