Dans cet exposé, on s'intéresse aux catégories de réponse (des catégories avec les produits finis et un objet exponentiel, introduites par Selinger) sous deux aspects :
We extend the well-known Serrin's blowup criterion for the three-dimensional incompressible Navier-Stokes equations to the 3D compressible Navier-Stokes equations with vacuum. In other words, in addition to Serrin's condition on the velocity, the L^1(0,T;L^{infty}) norm of the divergence of the velocity is also needed to control the possible breakdown of strong (or smooth) solutions for the three-dimensional compressible Navier-Stokes equations. Moreover, under some additional constraint on the viscosity coefficients, either the L^1(0,T;L^{infty}) norm of the divergence of the velocity or the upper bound of the density will be enough to guarantee the global existence of classical (or strong) solutions.``
Nous présentons les méthodes d'optimisation de structure par la méthode des courbes de niveaux (level set). Nous montrons ensuite comment le modèle de Francfort-Marigo pour l'endommagement peut se traiter numériquement de façon efficace par ce type de méthode dès lors que l'on a calculé la dérivé de forme pour un problème à deux matériaux.
Dans cet exposé, nous cherchons à colorier proprement des graphes de sorte que deux sommets adjacents n'aient pas le même ensemble de couleurs dans leur voisinage fermé. On peut par exemple colorier de cette manière n'importe quel graphe biparti avec 4 couleurs, mais savoir si l'on peut colorier un graphe biparti avec seulement 3 couleurs est NP-complet. Nous nous interesserons aussi à une autre classe de graphes : les graphes triangulés pour lesquels nous pensons que 2*k couleurs sont suffisantes, avec k la taille de la plus grande clique. Enfin, je donnerai des relations avec le nombre chromatique et avec le degre maximum du graphe.
Dans cet exposé (très largement inspiré des travaux de Krivine présentés en juin dernier), je propose d'étudier à travers la correspondance de Curry-Howard la transformation de preuves sous-jacente à la méthode de forcing. Pour cela, je me placerai en arithmétique d'ordre supérieur (PAw) avec termes de preuves à la Curry. Je définirai d'abord la transformation qui à une proposition A associe la proposition p ||- A (où p est une condition arbitraire), puis une transformation t |-> t^ sur les termes de preuves bruts (i.e. non typés) telle que si t : A, alors t^ : p ||- A. Je montrerai alors comment le terme traduit effectue ses calculs, et en quoi il est légitime de voir cette transformation comme la mise en place d'un petit système d'exploitation.
Nous montrerons le rôle des fibrés vectoriels en physique par l'intermédiaire des théories de jauge, et comment des classes caractéristique peuvent intervenir, via des termes topologiques dans les Lagrangiens. Pour une théorie de jauge abélienne, nous verrons comment les monopôles magnétiques et l'effet Bohm-Aharonov peuvent s'interprèter comme une première classe de Chern, et pour les théories non abéliennes, le nombre d'instanton est une deuxième classe de Chern (dans la version euclidienne de la théorie de Yang et Mills).
Let $P(x,z)= z^d +sum_{i=1}^{d}a_i(x)z^{d-i}$ be a polynomial, where $a_i$ are real analytic functions in an open subset $U$ of $R^n$. If for any $x in U$ the polynomial $zmapsto P(x,z)$ has only real roots, then we can write those roots as locally lipschitz functions of $x$. Moreover, there exists a modification (a locally finite composition of blowing-ups with smooth centers) $sigma : W to U$ such that the roots of the corresponding polynomial $tilde P(w,z) =P(sigma (w),z),,win W $, can be written locally as analytic functions of $w$. Let $A(x), , xin U$ be an analytic family of symmetric matrices, where $U$ is open in $R^n$. Then there exists a modification $sigma : W to U$, such the corresponding family $tilde A(w) =A(sigma(w))$ can be locally diagonalized analytically (i.e. we can choose locally a basis of eigenvectors in an analytic way). This generalizes the Rellich's well known theorem (1937) for one parameter families. Similarly for an analytic family $A(x), , xin U$ of antisymmetric matrices there exits a modification $sigma$ such that we can find locally a basis of proper subspaces in an analytic way.
En s'inspirant de certaines constructions de la ludique, on definit une realisabilite par orthogonalite pour la semantique des jeux de la logique lineaire intuitionniste. On demontre ainsi, sans passer par l'elimination des coupures, que l'interpretation d'une preuve (y compris avec coupures) est une strategie totale (analogue de la terminaison dans les jeux).
We consider the variational problem which consists in minimizing the compliance of a prescribed amount of elastic material, placed into a given design region, and sumbitted to an exterior balanced load. We discuss the asymptotic analysis of this problem when the design region is either a cylinder of infinitesimal height (case of thin plates) or a cylinder of infinitesimal cross section (case of thin rods). The results are contained in some recent papers in collaboration with Guy Bouchitte' and Pierre Seppecher.
(Travail en commun avec J. Blanc) La richesse du groupe d'automorphisme d'une surface algébrique affine (lisse) S est intimement liées à l'existence de familles de courbes rationnelles affines sur S : ainsi, si S admet ``peu'' de courbes rationnelles, la composante neutre de son groupe d'automorphisme est un tore de dimension au plus 2. A contrario, si S est couverte par une famille de courbes rationnelles, alors sont groupe d'automorphisme est en général de dimension infinie, en particulier, non algébrique. Dans cet exposé, on s'intéressera plus en détail au cas des surfaces rationnelles et l'on expliquera comment ont peut préciser un peu la structure de leurs groupes d'automorphisme via l'étude des différents réglagles de ces surfaces par des courbes rationnelles.
Can we build a program that understands informal mathematical text and can we mechanically verify it's correctness? MathNat project aims at being a first step towards answering this question. We develop a controlled language for mathematics (CLM), which is a precisely defined subset of English with restricted grammar and dictionary. Like textbook mathematics, CLM supports some complex linguistic features to make it natural and expressive. A number of transformations are further applied on it to completely formalise it. In this presentation, I'll give an overview of this work and report the current state and future directions. Web: http://www.lama.univ-savoie.fr/ humayoun/phd/mathnat.html
La cohomologie de Deligne-Beilinson trouve sa première application physique en mécanique quantique, tout d'abord dans l'effet Aharonov-Bohm, puis en fournissant un nouvel éclairage à la procédure de quantification appelée ``Quantification Géométrique''. Très récemment, le rôle fondamental que joue la cohomologie de Deligne-Beilinson dans la compréhension de la détermination d'invariants de liens dans les théories de Chern-Simons abéliennes a été mis en évidence. Elle permet notamment de faire apparaitre naturellement la quantification des différentes charges (niveau k de la théorie de Chern-Simons et charges des boucles), d'interpréter la procédure de régularisation par « framing », et de calculer les invariants de liens de manière non-perturbative. De plus, ces méthodes s’étendent directement aux cas des variétés compactes sans bord, avec ou sans torsion, de dimension 4n+3 et leurs (2n+1)-liens.
Soit M ⊂ R^n une sous-variété analytique lisse. Si on note d(x, M) la distance euclidienne de x à M , alors il existe un voisinage U ⊃ M tel que pour tout x ∈ U on ait d(x, M ) = ||x−m(x)|| pour un unique point m(x) ∈ M et la fonction m : U → M qui en résulte est analytique. Ce simple fait classique et utile sera le point de départ de l'exposé dans lequel nous essayerons de répondre à la question suivante : qu’advient-il si on permet à M d’avoir des singularités ? Autrement dit, on tâchera d’obtenir un résultat similaire dans le cas où M est un ensemble sous-analytique compact ou encore définissable dans une structure o-minimale.
Dans le cas des EDP stochastique, les solutions sont définies sur un espace de dimension infinie et les techniques utilisées pour des équations stochastiques ordinaires - fonction de Lyapunov, hypoellipticité, compacité du semi groupe de transition etc.- ne peuvent pas être appliquées ou nécessitent d'être adaptées. Dans cet exposé j'illustrerai des méthodes utilisées pour l'étude des mesures invariantes pour les EDP stochastiques et leurs applications à des cas spécifiques: dynamique de populations, équation de Burgers, équations de Navier-Stokes etc.
L'objet de cet expose est de montrer comment certaines techniques issues de l'analyse des series divergentes peuvent etre utilisees pour obtenir la o-minimalite de certaines solutions d'equations differentielles. Partant d'une solution non-oscillante Y(x) d'un systeme de la forme x^(p+1)Y'=F(x,Y) dont le developpement en 0 est divergent, on montrera comment l'etude des phenomenes de stokes associes aux resommations de ce developpement permet dans certains cas d'obtenir une propriete de forte transcendance analytique, connue pour impliquer la o-minimalite. Les idees presentees proviennent de travaux en commun avec J.-P. Rolin, et avec F. Sanz et P. Speissegger.