TBA
On présentera tout d'abord le problème de l'élastodynamique (en formulation vitesse-contraintes) qui modélise la propagation de deux types d'ondes sismiques : les ondes P et les ondes SV. Ensuite, l'exposé s'orientera vers les méthodes de Galerkin Discontinues que nous comparerons brièvement aux méthodes de Différences Finies, Volumes Finis et Elements Finis (avantages/inconvénients). Nous décrirons alors une méthode de Galerkin Discontinue d'ordre élevé avec un schéma saute-mouton en temps combiné à un schéma centré en espace. Des résultats de stabilité (avec une étude énergétique) et de convergence seront ensuite présentés. Enfin, nous illustrerons l'exposé par quelques résultats numériques (taux de convergence et temps CPU), ainsi que par un cas test avec une source explosive.
Etant donné un Lagrangien sur un sous-fibré du fibré tangent à une variété, le principe du maximum de Pontryagine permet de définir une notion naturelle de courbe extrémale de ce Lagrangien. Lorsque ce Lagrangien est régulier, on peut adapter à ce contexte, la dualité classique entre formalisme lagrangien'' etformalisme hamiltonien'' via une transformation de Legendre. Enfin, on peut aussi construire une unique pseudo-connexion'' intrinsèque sur un fibré adéquat, dont lesgéodésiques'' sont les extrémales de ce Lagrangien. On donne également des conditions suffisantes pour qu'une extrémale soit (localement) optimale.
On définit une multiplicité d'intersection pour des hypersurfaces tropicales donnée par des volumes mixtes de polytopes associés. On montre que cette multiplicité a des propriétés comparables à celles de la multiplicité d'intersection dans le monde complexe. Par exemple, les théorèmes de Bézout et de Bernstein-Kouchnirenko restent valables dans le monde tropical.
We consider a drop of one liquid suspended in another liquid which is sheared as a model of a Couette device. Numerical simulations are conducted with an in-house volume of fluid (VOF) code with either a continuum surface force (CSF) algorithm with piecewise linear interface reconstruction or with a more accurate but computationally more intensive paraboloid representation of the interface (PROST). The methodology will be presented. The Oldroyd-B and Giesekus constitutive models are implemented. Comparisons with recent experimental results of P. Moldenaers (KU-Leuven) will be discussed
Controllability refers to the possibility of steering a system from a given initial state to a desirable state with a given class of control inputs. In continuum mechanics, the control if usually affected by a body force or boundary conditions. Viscoelastic flows pose an interesting class of problems for which the linearized problem is only partly controllable, and the question to what extent nonlinear problems can be controlled is in general quite difficult. The lecture will review partial result on this topic which I have obtained over the past few years.
Voir la page dédiée.
Ce colloque est organisé par la Fédération de Recherche 2914 '' Modélisation, Simulation, Interactions fondamentales'', regroupant le LAMA, le LAPP et le LAPTH . Ce colloque impliquant des interfaces entre disciplines différentes a pour but premier de promouvoir des échanges d’idées et de concepts entre chercheurs de disciplines différentes ; il est donc adapté pour permettre la discussion entre personnes de domaines de compétences différents.
Les invariants de Welschinger sont des analogues réels d'invariants de Gromov-Witten de genre zéro. L'approche tropicale basée sur le théorème de correspondance de G. Mikhalkin permet de calculer les invariants de Welschinger dans un certain nombre de cas. En particulier, G. Mikhalkin a démontré des congruences modulo 4 pour les invariants de Welschinger des surfaces toriques de Del Pezzo. En utilisant l'approche tropicale, on établit des congruences modulo 4 pour les invariants de Welschinger du plan projectif éclaté en 4 ou 5 points réels (travail en commun avec V. Kharlamov et E. Shustin).
On montre comment trouver de façon naturelle des solutions à de nombreuses équations récursives en autorisant des boucles dans les arènes. On équipe ensuite les arènes de fonctions de gain et on s'intéresse aux stratégies totales et gagnantes. On présente alors deux fonctions de gain naturelles sur les arènes à boucles, qui premettent de construire respectivement des algèbres initiales et des coalgèbres finales à de nombreux endofoncteurs continus. Finalement on applique ces constructions pour donner un modèle correct (et complet, en un sens faible) d'un calcul des séquents intuitionniste, étendu par des constructions syntaxiques pour les plus petits et plus grands points fixes.
On considère un mélange d'espèces chimiques transportées par diffusion moléculaire et convection dans un capillaire. On sait depuis les années 50 qu'à ces deux mécanismes de déplacement s'ajoute celui de la dispersion, due à l'hétérogénéité des vitesses à l'échelle microscopique. Mais on utilise des modèles largement empiriques pour modéliser les effets dispersifs. Le but est de retrouver rigoureusement et explicitement les effets dispersifs, en utilisant l'approche par homogénéisation. On passe ainsi d'un modèle 3D convection-diffusion'' à l'échelle microscopique à un modèle 2Dconvection-diffusion-dispersion'' à l'échelle mésoscopique. On suppose de plus que les composants chimiques réagissent avec le bord du tuyau pour tenir compte de l'adsorption-désorption dans le modèle. On se place ainsi (par exemple) dans le cadre original dans lequel ces phénomènes ont été mis en relief : le transport des médicaments dans le réseau sanguin. Références: G.I. Taylor, Dispersion of soluble matter in solvent flowing slowly through a tube, Proc. Royal Soc. A, Vol. 219 (1953)
Une question naturelle en algèbre commutative consiste à savoir si l'anneau des coefficients d'un anneau de polynômes en une variable t est bien déterminé : autrement dit, si A et B sont deux anneaux tel que A[t]=B[t], est-il vrai que A=B ? Il est facile de se convaincre que cette simplification ne se produit pas en général, un contre-exemple géométrique typique étant fourni par le fait classique que le fibré tangent à la sphère réelle de dimension 2 est non trivial mais stablement trivial. La version géométrique de cette question dans le cas des variétés algébriques complexes affines se trouve être plus subtile. Dans cet exposé, je ferai un bref panorama des résultats généreaux connus et présenterai un contre-exemple obtenu avec des surfaces affines par Danielewski en 1989. Je donnerai quelques pistes permettant de construire des analogues en dimension supérieure. J'expliquerai ensuite comment ces types de contre-exemples peuvent intervenir dans la construction et l'étude de structures de variétés algébriques complexes exotiques sur les espaces affines euclidiens et certaines de leurs sous-variétés.
Le ruissellement sur les sols cultivés pose des problèmes de conservation des ressources environnementales. Les épisodes ruisselants sont aussi responsables de coulées boueuses pouvant affecter les biens et les personnes. Il est donc important de pouvoir prédire correctement la localisation des écoulements de surface. Dans cet exposé, je présenterai un modèle qui intègre dans un système de type Saint-Venant les effets des sillons qui conditionnent ces écoulements.
On s'intéresse aux équations de Navier-Stokes décrivant un écoulement de fluides visqueux autour d'un obstacle. Le domaine d'écoulement étant non borné, on chosit de poser le problème dans un cadre fonctionnel faisant intervenir des poids afin de décrire le comportement à l'infini des solutions. Pour tenir compte du sillage, des poids anisotropes sont considérés. Une première étape indispensable dans l'analyse est l'étude des équations d'Oseen qui sont une version linéarisée des équations de Navier-Stokes. Après avoir présenté les modèles, on s'intéressera aux problèmes d'existence et d'unicité.
L'optimisation de forme est l'étude des problèmes d'optimisation dont la variable est un domaine de R^d (on se restreindra au cas d=2). Je me concentrerai sur le cas où les formes admissibles sont demandées convexes. Cette contrainte géométrique rend l'analyse des conditions d'optimalité délicate. Je présenterai en première partie des conditions abstraites d'optimalité, que j'utiliserai pour exhiber une classe de fonctionnelle pour lesquelles on montre que les solutions de l'optimisation sont nécessairement polygonales (travail en collaboration avec A. Novruzi). Je m'intéresserai ensuite à l'optimisation de la seconde valeur propre du Laplacien, problème modèle qui fait ressortir des difficultés liées à la contrainte de convexité, et à la régularité des formes optimales. On montre que les formes optimales sont de classe C^{1,1/2} et pas mieux, pour ce problème. Je ferai le lien avec les EDP partiellement surdéterminées.
Voir la page dédiée.
Soit X une surface géométriquement rationnelle définie sur R et M une composante connexe de X(R). Le théorème de Comessatti (1914) affirme que si X est non-singulière et M orientable, alors M est une sphère ou un tore. Nous avons montré que si X admet des singularités Du Val et que M est un orbifold orientable, alors M est sphérique ou euclidien. Mais le cas non-orientable réservait une surprise : en effet lorsque X est minimale et non-singulière, M ne peut pas être de type hyperbolique (Comessatti encore). Nous avons construit un exemple singulier où X est minimale et M est de type hyperbolique. Ces résultats ont notamment des applications à la classification des variétés réelles de dimension 3 qui sont rationnellement connexes. (Travail en collaboration avec Fabrizio Catanese.)