Cet exposé est basé sur le modèle de Canh-Hilliard qui permet de décrire l'évolution du mélange de plusieurs espèces. Il est décomposé en trois parties, une première partie qui concerne la biologie du cancer, la deuxième partie parle d'un modèle mathématique mis en place par Preziosi sur le cancer et enfin on essaie de voir le cancer comme un mélange d'espèces (cellules normales, cellules malades, matrice extracellulaires, ...)
Une justification mathématique de la condition d'adhérence imposée classiquement dans de nombreux modèles (notamment les modèles de mouvement de fluides visqueux) consiste à remplacer la paroi lisse, idéale, par une paroi rugueuse. L'idée est d'imposer uniquement une condition de non pénétration sur la paroi rugueuse, et de montrer que la condition d'adhérence s'obtient dans le modèle limite quand la taille des aspérités tend vers 0. Après avoir discuté du sens à donner à ce passage à la limite, nous montrerons sous quelles conditions une paroi périodique ou cristalline donne lieu à un effet de rugosité uniforme, sur des champs de vecteurs H^1 vérifiant une condition de glissement parfait sur la paroi rugueuse. En particulier cet effet de rugosité est indépendant d'une éventuelle équation satisfaite par les champs de vecteurs sur lesquels on l'applique.
The influence of wall roughness on the slip behavior of a viscous fluid has been discussed in several recent papers. We study the asymptotic behavior of a viscous fluid near a periodic oscillating wall with period epsilon and amplitude depending on the period. We assume the fluid to satisfy the so-called Navier’s boundary conditions. When the period and the amplitude have the same order, it is known that in the limit this boundary condition provides the adherence (or no-slip) condition. This gives a mathematical justification of why adherence conditions are usually imposed for viscous fluids, they are due to the microscopic asperities. In our work we consider the case where the amplitude is much smaller than the period. We show the existence of a boundary layer and, depending on if its value is zero, a positive number or infinite, we get different boundary conditions in the limit. As particular case, we can recover the adherence condition. The proof of our results is based on an original adaptation of the unfolding method, which is closely related to the two-scale convergence method.
Beaucoup de matériaux ont un comportement intermédiaire entre les solides élastiques et les fluides newtoniens. La rhéologie est l'étude de ces matériaux et de leurs conditions d'écoulement. Parmi ces matériaux nous présenterons brièvement la classe des matériaux vitreux/pâteux qui présente plusieurs propriétés caractéristiques des fluides complexes: ce sont des fluides élastoviscoplastiques. Après avoir rappelé ce que sont ces propriétés, nous présenterons un modèle multi-échelle conçu pour décrire le comportement des fluides vitreux. Nous étudierons ensuite les courbes de flots attachées à ce modèle pour montrer que leurs comportement à faible cisaillement subit une transition lorsque l'un des paramètres du modèle passe par une valeur critique.
On donnera la définition des objets en questions avec quelques motivations et des exemples simples. Ensuite, on interprètera ces objets comme un lien entre la géométrie complexe et la géométrie tropicale. Enfin on verra une ou deux applications à certains problèmes de la géométrie algébrique classique, par exemple une condition nécessaire sur les coefficients d'un polynôme réel à deux variables pour que ses zéros réels définissent une courbes de Harnack.
One of the purposes of quantum programming languages is to express quantum programs, however a possibly more important reason is to provide a framework for reasoning about the programs expressing quantum algorithms -- and hence about quantum computation in general.
Indeed, in classical computer science it is frequent to express the reasoning behind a program via several formally-defined logics. These logics provide important frameworks in which to reason and prove properties about the computational processes. Often they arise via the study of type systems for the language. Related to our motivation there is already a quantum logic, which was developed before quantum computing, and which is not known to have a clear relation to quantum programs and algorithms.
The Linear-Algebraic Lambda-Calculus extends the Lambda-Calculus with the possibility to make arbitrary linear combinations of terms a.t+b.u. We want to set up a type system for it which is capable of such handling vectorial notions, i.e. were types themselves form a vector space. This is needed at a practical level for instance in order to prove normalization and unitarity properties of terms. There is also the intriguing question as to what logical meaning we can give these `superposition types'.
Joint work with Pablo Arrighi.
We consider a graph having a single quantum system sitting at each node. The entire compound system evolves in discrete time steps by iterating a global evolution G. Moreover we require that this global evolution G be unitary, in accordance with quantum theory, and that this global evolution G be causal, in accordance with special relativity. By causal we mean that information can only ever be transmitted at a bounded speed, the speed bound being quite naturally that of one edge of the underlying graph per iteration of G. We show that under these conditions the operator G is local; i.e. it can be put into the form of a quantum circuit made up with more elementary, unitary gates -- each acting solely upon neighbouring nodes.
Joint work with Vincent Nesme and Reinhard Werner.
Les méthodes symplectiques pour les systèmes hamiltoniens sont certainement les intégrateurs géométriques les plus connus. Leurs performances surpassant celles des méthodes classiques sur de long temps d'intégration sont bien établies. Une généralisation de ces méthodes d'intégration aux EDP possédant une formulation hamiltonienne, ainsi qu'aux systèmes dérivant d'un lagrangien existe. Elle repose sur la préservation de lois de conservation, celles-ci étant reliées aux symétries du système via le théorème de Noether. Que se passe-t-il pour une EDP n'ayant pas de structure particulière: comment peut-on étendre les performances des intégrateurs symplectiques à une EDP quelconque? Comment conserver les symétries d'une équation par une méthode numérique? Le coeur de l'exposé consistera à présenter une approche d'invariantisation permettant de construire de façon systématique des schémas numériques préservant les symétries de Lie des équations continues. Elle repose sur le concept de repères mobiles introduit par Elie Cartan, puis développé et adapté par M. Fels et P. J. Olver. Les premières applications d'invariantisation ont été réalisées par P. Kim pour les EDO et pour quelques EDP. Une contribution au développement de la méthode sera présentée.
Rencontre annuelle du projet Types, au centre Paul Langevin à Aussois, du 12 au 15 mai.
Groupe de travail pour comprendre ce qu'on pourra de la théorie géométrique de la complexité à la Ketan Mulmuley. On se basera sur ses articles introductifs et les vidéos de ses conférences à l'Institute for Advanced Study en février 2009.
Nous considérons un graphe où les cellules sont caractérisées par un état qui est soit noir, soit blanc. À chaque pas de temps, une cellule, choisie aléatoirement, se met à jour et passe dans l'état minoritaire dans son voisinage. L'évolution globale de ce processus ne semble pas dépendre de la topologie du graphe: dans un premier temps des régions, pavées par des motifs dépendant de la topologie du graphe, se forment rapidement. Puis dans un deuxième temps, les frontières entre ces régions évoluent jusqu'à devenir relativement stables. Nous étudions ce processus sous différentes topologies: arbres, anneaux, grilles, cliques. Ceci nous permet de montrer que même si ce processus se comporte à priori globalement de la même manière sur n'importe quel graphe, modifier la topologie influence la façon dont les régions sont pavées (rayures, damiers), la structure et les mouvements des frontières entre les régions, l'ensemble limite, le temps de relaxation (le temps nécessaire pour que le processus atteigne une configuration de l'ensemble limite). Ainsi, Minorité entraîne des comportements riches et variés qui se révèlent difficile à analyser. Comprendre cette règle simple est néanmoins nécessaire avant de considérer des règles plus compliquées.
An efficient numerical scheme for simulations of fully nonlinear non-breaking surface water waves in 3D is presented. The water depth is either shallow, finite or infinite. The method is based on a fast, rapidly converging, iterative algorithm to compute the Dirichlet to Neumann operator. This is evaluated by expanding the operator as a sum of global convolution terms and local integrals with kernels that decay quickly in space. The global terms are computed very quickly via FFT. The local terms are evaluated by numerical integration. Analytical integration of the linear part of the prognostic equations in Fourier space is obtained to machine precision. The remaining nonlinear components are integrated forward in time using an RK-scheme combined with a special step size control technique. This yields a very stable and accurate time marching procedure. Zeros-padding in the spectral space represents the anti-aliasing strategy. The method requires no smoothing. Illustration through examples show that the total energy is well conserved during the numerical simulations. The scheme is stable and accurate, even for very long time simulations of very steep wave events. The scheme is easily parallelizable. It propagates for example a Stokes wave of slope 0.2985 with a phase shift error of about 0.3 after 1000 periods of propagation.
Dans un travail en commun avec Joseph Fu, on a pu établir d'une facon explicite les formules cinématiques pour le groupe unitaire $U(n)$. La solution est basée sur une algébraisation de la géométrie intégrale qui a été initiée par Semyon Alesker. Après avoir revu la formule cinématique classique de Chern-Blaschke-Santalo, je donne un apercu de la géométrie intégrale hermitienne.
Les mots (finis ou pas, en dimension 1 ou supérieure) peuvent être vus comme des modèles de formules de la logique monadique du second ordre (MSO), une formule définissant alors un langage. Cette approche a été suivie avec succès en dimension 1 par Büchi et Elgot dans les années 60 : les langages ainsi définis sont exactement les langages rationnels. De plus toute formule MSO est dans ce contexte équivalente à une formule EMSO (quantification existentielle au second ordre suivie d'une formule au premier ordre).
Plus récemment, Giammarresi, Restivo, Seibert et Thomas ont reconsidéré ces résultats dans le cas des figures'', c'est à dire des mots bidimensionnels finis avec bords marqués : cette fois les formules EMSO définissent exactement les langagessofiques'' (projections de langages locaux), mais elles ne suffisent plus à capturer tous les langages définissable par une formule MSO.
L'objectif de cet exposé est de développer cette approche, en dimension 2, pour les sous-shifts (ensembles de configurations fermés topologiquement et invariants par décalages). Nous verrons alors que les sous-shifts sofiques (introduits par Weiss dans les années 70) ne correspondent pas aux sous-shifts définissables par formules EMSO. Nous donnerons néanmoins une caractérisation logique des sous-shifts sofiques et, inversement, nous donnerons une caractérisation ``combinatoire'' des ensembles de configurations définissables dans EMSO.
Les solutions stationnaires des équations aux dérivées partielles hamiltoniennes sont les points critiques du Hamiltonien. La stabilité de ces solutions est lié au nombre de valeurs propres la Hessienne du Hamiltonien. Il est possible de compter ces valeurs propres en utilisant un invariant topologique appelé indice de Maslov. Nous appliquons ce cadre de travail à certaines solutions stationnaires de l'équation de Korteweg de Vries avec forçage ainsi qu'aux ondes solitaires multi-modales de l'équation de Kawahara.
Dans cet exposé, nous présentons un nouveau modèle de type Boussinesq, dont le but est de pouvoir propager correctement les vagues et leurs cinématiques sur des domaines étendus allant jusqu'à plusieurs kilomètres au large. La construction du modèle repose sur trois idées: la première est de formuler le problème en fonction d'un opérateur de Dirichlet-Neumann exprimé, non pas à la surface libre de manière classique, mais au niveau de la surface du fluide au repos, de manière à travailler sur un opérateur statique. La seconde idée est de chercher une approximation de cet opérateur au moyen de séries de Taylor tronquées et d'approximants de Padé. La troisième est enfin d'utiliser une décompositionartificielle du fluide en deux couches de même densité, de manière à diminuer l'ordre des dérivées du problème. Le modèle final comprend ainsi quatre équations (en 2DH) ne faisant intervenir que des dérivées secondes au maximum, et nous montrons via une analyse linéaire et des simulations numériques non-linéaires que le modèle permet de propager des vagues avec précision jusqu'en eaux profondes.
Je présente l'approche algébrique au lambda-calcul basée sur les algèbres de lambda abstraction et sur les algèbres de Boole, qui a permis d'étudier la structure du treillis des lambda théories et d'obtenir des résultats d'incomplétude pour le sémantique du lambda calcul. Depuis, je présente mon dernier résultat: la lambda théorie minimum extensionelle n'est pas la théorie d'une domaine de Scott réflexive.
Voir la page dédiée.