Liquid impact is a key issue in various industrial applications (seawalls, offshore structures, breakwaters, sloshing in tanks of liquefied natural gas vessels, wave energy converters, offshore wind turbines, etc). Numerical simulations dealing with these applications have been performed by many groups, using various types of numerical methods. In terms of the numerical results, the outcome is often impressive, but the question remains of how relevant these results are when it comes to determining impact pressures. The numerical models are too simplified to reproduce the high variability of the measured pressures. In fact, for the time being, it is not possible to simulate accurately both global and local effects. Unfortunately it appears that local effects predominate over global effects when the behaviour of pressures is considered. Having said this, it is important to point out that numerical studies can be quite useful to perform sensitivity analyses in idealized conditions such as a liquid mass falling under gravity on top of a horizontal wall and then spreading along the lateral sides. Simple analytical models inspired by numerical results on idealized problems can also be useful to predict trends. The talk is organized as follows: After an introduction on some of the industrial applications, it will be explained to what extent numerical studies can be used to improve our understanding of impact pressures. Results on a liquid mass hitting a wall obtained by various numerical codes will be shown.
(suite de l'exposé précédent) 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.
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.