Archives de catégorie : Sujets de TER

Sujets TER 2020-2021

Pour les sujets proposés sur l’UTLN, se référer aux années précédentes pour la disponibilité des encadrants.

Entreprises et autres Universités.

[M2] Stefano Berti (Université de Lille) Lagrangian particle dynamics at oceanic submesoscales and future satellite data.
Il s’agit d’un stage théorique/numérique dans le domaine de la dynamique des fluides. Le projet sera conduit à l’Unité de Mécanique de Lille, à Lille, en collaboration avec le Laboratoire de Météorologie Dynamique, ENS, Paris. Voir ce fichier.
[M2] Luca Messina (CEA Cadarache) Représentation du désordre chimique dans les oxydes mixtes (U, Pu)O_2 en vue de son traitement par des méthodes d’apprentissage automatique.
Voir ce fichier.

Sujets TER 2019-2020

  1. [M1/M2] N. Boizot (LIS) Applications des champs de directions à l’étude des empreintes digitales. Voir ce fichier.
  2. [M1/M2] F. Chittaro (LSIS) Le Grand Théorème de Picard.
    Les Théorèmes de Picard concernent le comportement des fonctions analytiques ; en particulier, le grand Théorème de Picard affirme que, dans un voisinage d’une singularité essentielle isolée, une fonction analytique atteint tous les valeurs complexes, sauf au plus un.
    Dans ce projet, l’étudiant doit étudier la preuve du Théorème, en particulier pour ce qui concerne le rôle de l’hypothèse que la singularité est isolée.
  3. [M1/M2] F. Chittaro (LSIS) Le système de Heisenberg en géométrie sous-Riemannienne et géométrie sous-Finslerienne.
    Le but de ce projet et d’aborder les premières notions de géométrie sous-Riemannienne, en étudiant le célèbre problème de la minimisation de la norme L2 pour le système de Heisenberg.
    Le projet pourra poursuivre avec l’analyse du problème de minimisation de la norme Lp (de façon numérique ou analytique).
  4. [M2] F. Chittaro (LSIS) Régularité des vecteurs propres autour d’une intersection entre valeurs propres.
    Le Théorème de Kato-Rellich affirme que les vecteurs propres d’une famille analytique d’opérateurs linéaires dépendant d’un seule paramètre reste analytique, même en présence d’intersections entre les valeurs propres.
    Que peut-on dire sur des familles d’opérateurs qui dépend de façon C^k de la perturbation ?
  5. [M1] S. Meradji (IMATH) Slope terrain effect investigation using fire propagation FireStar3D model.
    A 3D physics-based model referred to as « FireStar3D » has been developed in order to predict fire propagation in natural environment. It consists briefly in solving the conservation equations of the coupled system consisting of the vegetation and the surrounding gaseous medium. The model takes into account the phenomena of vegetation degradation (drying, pyrolysis, combustion), the interaction between an atmospheric boundary layer and a canopy (aerodynamic drag, heat transfer by convection and radiation, and mass transfer), and the transport within the fluid phase (convection, turbulence, gas-phase combustion). The objective of this work is to evaluate using the FireStar3D source code (written in Fortran90/95 and parallelized with OpenMP directives) the rates of spread of grassland fires for different wind speeds and terrain slopes, and compare these rates to those obtained during experimental fires.
  6. [M2] S. Meradji (IMATH) Firebrands and spotting mathematical model implementation in fire propagation FireStar3D tool.
    A 3D physics-based model referred to as « FireStar3D » has been developed in order to predict fire propagation in natural environment. It consists briefly in solving the conservation equations of the coupled system consisting of the vegetation and the surrounding gaseous medium. The model takes into account the phenomena of vegetation degradation (drying, pyrolysis, combustion), the interaction between an atmospheric boundary layer and a canopy (aerodynamic drag, heat transfer by convection and radiation, and mass transfer), and the transport within the fluid phase (convection, turbulence, gas-phase combustion). The objective of this work is to construct a mathematical model related to a spotting ignition by lofted firebrands and ultimately to implement it numerically in the FireStar3D source code (written in Fortran90/95 and parallelized with OpenMP directives). Spotting ignition by lofted firebrands is a significant mechanism of fire spread, as observed in many largescale fires. The role of firebrands in fire propagation and the important parameters involved in spot fire development wille also be investigated theoretically and numerically.
  7. [M2] G. Faccanoni (IMATH) Cubic equations of state for two-phase flow LMNC model with phase transition.
    We investigate a simplified model describing the evolution of the coolant within a nuclear reactor core (e.g. of PWR type or of RNR-Na type). This model is named LMNC (for Low Mach Nuclear Core) and consists of the coupling between three PDEs together with boundary conditions specific to the nuclear framework. The fluid is modeled by an Equation of State (EoS) describing the pure liquid and vapor phases and the phase transition. We consider here some cubic EoS with the Maxwell area rule.Simulations 1d with Matlab/Octave or Python, 2d with FreeFem++.
  8. [M1] C-A. Pillet (CPT) Dynamique quantique des mesures répétées.
    Un processus de mesure est une opération permettant d’extraire de l’information d’un système physique. Dans le régime quantique, ces processus ont un statut particulier. Bien que la mécanique quantique n’aie jamais été mise en défaut, les problèmes conceptuels posés par la mesure ont de ce fait hanté l’histoire de son développement, dès son origine. Le raffinement des techniques expérimentales dont disposent aujourd’hui les physiciens pour sonder le monde quantique permettent d’accéder au coeur des processus de mesure et de tester ainsi les prédictions de la théorie (c.f. prix Nobel 2012 de S.Haroche et D. Wineland). Bien que la description d’une mesure soit très simple du point de vue mathématique, la répétition de cette mesure génère un système dynamique encore peu étudié et mal compris. L’objectif de ce stage est l’étude d’un exemple simple de mesure répétée dont les propriétés statistiques sont encore inconnues.
  9. [M1/M2] M. Rouleux (CPT) Intrication multimode pour des fermions.
    Voir ce fichier.
  10. [M2] M. Rouleux (CPT) Series spectrales et points de Lagrange.
    Voir ce fichier.
  11. [M1/M2] P. Véron (IMATH) Information set decoding of lee-metric codes over finite rings.
    Voir ce fichier.

Entreprises et autres Universités.

  1. [M2] Association Recherche et Avenir (Draguignan) Statistiques extrêmes 1D et probabilités conditionnées de paramètres extrêmes (analyse 2D).
    Voir ce fichier.
  2. [M2] ALTEN Plusieurs propositions de stages.
    Voir les deux fichiers suivants, provenant des sites de Paris et Rennes, et contenant chacun plusieurs propositions : fichier-Paris et fichier-Rennes.

Sujets TER 2017-2018

 
  1. [M1] N. Boizot (LIS) Hybrid Dynamical Systems : formalism and stability.
    Hybrid dynamical systems exhibit both continuous and instantaneous changes, they therefore have features from both continuous-time and discrete time dynamical systems. In other words, they are made of a mixture of differential and difference equations. 
    The proposed work consist in studying:
    — the formalism of hybrid dynamical systems,
    — some elementary examples;
    — a few stability theorems.
    Depending on the candidate prior knowledge in this field, the last part may imply the study of classical stability theorems for pure continuous and pure discrete dynamical systems.
    Main reference: R. Goebel, R. G. Sanfelice, A. R. Teel, Hybrid Dynamical Systems (Modeling, Stability and Robustness), Princeton University Press, 2012.
  2. [M2] G.Bouchitté, T. Champion (IMATH) Transport optimal : formulation dynamique et géodésiques.
    On abordera la formulation dynamique d’une nouvelle classe de problèmes de transport optimal faisant intervenir un coût non linéaire par rapport au plan de transport. On étudiera également les géodésiques liées à ce type de coût.
  3. [M2] T. Champion (IMATH) Méthodes numériques pour le transport optimal multimarginal avec coût de Coulomb.
    Le transport multimarginal avec coût de Coulomb intervient en chimie quantique dans le cadre du modèle dit DFT (Density Functional Theory). L’objet du stage est d’étudier les méthodes numériques existantes dans ce cadre, et d’exploiter en particulier une approche primale-duale.
  4. [M1/2] T. Champion, M. Ersoy (IMATH) La méthode de Nesterov et son interprétation en terme d’équations différentielles.
    Le méthode de Nesterov (1983) est une méthode de gradient accéléré qui a des propriétés optimales de convergence (en termes de rapidité) pour la minimisation d’une fonction convexe. Récemment, l’efficacité de cette méthode a été expliquée par divers auteurs via une interprétation comme différenciation d’une EDO d’ordre 2. On étudiera cette interprétation et on programmera cette méthode sur un problème de modélisation.
  5. [M1/2] S. Meradji (IMATH) Modeling of flame spread in engineered cardboard fuelbeds.
    Cf. ici
  6. [M2] A.Novotny (IMATH) La technique de régularisation et solutions renormalisées pour l’équation de transport.
    Dans ce mémoire on se propose d’étudier la méthode de régularisation pour l’équation de transport avec les coefficients dans des espaces de Sobolev introduite en 1989 par R. Di-Perna et P.L. Lions. On définira les solutions renormalisées et examinera leurs propriétés comme par exemple continuité en temps, l’unicité, ou encore les effets de compactification.
  7. [M1] C-A. Pillet (CPT) Géométrie de l’information.
    Cf. ici
  8. [M1] M. Rouleux (CPT) Eléments de Mécanique Statistique Quantique.
    Cf. ici
  9. [M2] M. Rouleux (CPT) Décroissance des corrélations pour le modèle de Hubbard sur un réseau 2-D.
    Cf. ici
  10. [M2] M. Rouleux (CPT) Vorticité sur un groupe de Lie.
    Cf. ici
  11. [M1] A. Sili (CMI, Marseille) Valeurs propres et solutions de problèmes aux limites.
    Cf. ici 
 
Organismes de recherche extérieurs
  1. [M2] J. Boisse (LEMTA, Université de Lorraine)  Rhéologie des Polymères Semi-Cristallins (PSC), Modélisation de systèmes viscoélastiques hétérogènes.
    Présentation : Proposition_stage-M2-BOISSE-2018
Entreprises
  1. [M2] ALTEN Modélisation physico-mathématique.
    Présentation : Proposition_stage-M2-ALTEN-2018.pdf
  2. [M2] SEREEMA Amélioration et optimisation des performances des éoliennes.
    Présentation : Proposition_stage-M2-SEREEMA-2018.pdf

Sujets TER 2016-2017

  1. [M1/2] J. Asch (CPT) Occurrence of conical eigenvalue crossings.
    The object is to study the occurrence of conical eigenvalue intersections in a basic model of solid state quantum theory. In reference [1] these are shown to occur for the family of operators (-id_x-k)^2+V(x) on L^2(T) where T is a torus, V belongs to a certain class of functions, k varies in the dual torus which is related to a honeycomb lattice. The work to be done is to study reference [1] and to exhibit a way to prove stability of the result under deformations of the honeycomb structure.
    Prerequisites: Basic Functional Analysis, Operator and Spectral Perturbation theory.
    References:
    [1] C.L. Fefferman, M.L. Weinstein, Honeycomb lattice potentials and Dirac points, Journal of the American Mathematical Society, 25 (4), 2012, 1160-1220
  2. [M1] N. Boizot, A. Feddaoui (LSIS) Observateurs pour les systèmes linéaires continu-discrets : observabilité et preuve de convergence du filtre de Kalman déterministe.
    Ce sujet propose une introduction à la théorie du contrôle à travers l’un de ses algorithmes classiques, le filtre de Kalman vu dans un cadre déterministe. On se propose de présenter les grands principes de cette discipline ainsi que quelque résultats classiques : systèmes linéaires continus-discrets, observabilité, Grammien, filtre de Kalman. L’étudiant pourra alors étudier quelque théorèmes classiques ainsi que leurs preuves, et en fonction de sa sensibilité ainsi que du temps disponible, de programmer un filtre de Kalman sur un exemple.
  3. [M1] G. Bouchitté (IMATH) Calcul des variations : forme optimale d’une poutre en torsion.
    Cf ici.
  4. [M2] G. Bouchitté (IMATH) Study of some variants of the Monge-Kantorovich optimal transport problem.
    Cf ici.
  5. [M2] E.Busvelle (LSIS) Optimal syntheses and observers.
    In linear control theory with quadratic cost, the separation principle is a theorem which is applied in order to split the output feedback control problem into two more simpler problems : state feedback control and observer. In more complex cases (nonlinear, time-optimal control), this separation principle does not apply. However, it is usual to split the problem in control and observation problems. We want to study whats happen when an exponential observer is used with an optimal synthesis (from Pontryagin maximum principle) with bang-bang trajectories. Filippov solutions are introduced to study the sub-optimality of the closed-loop control.
  6. [M1/2] T. Champion, M. Ersoy (IMATH) La méthode de Nesterov et son interprétation en terme d’équations différentielles / Nesterov’s method and an differential equation modelling.
    – Le méthode de Nesterov (1983) est une méthode de gradient accéléré qui a des propriétés optimales de convergence (en termes de rapidité) pour la minimisation d’une fonction convexe. Récemment, l’efficacité de cette méthode a été expliquée par divers auteurs via une interprétation comme différenciation d’une EDO d’ordre 2. On étudiera cette interprétation et on programmera cette méthode sur un problème de modélisation.
    – Nesterov’s method (1983) is an accelerated gradient method whose convergence is proven to be optimal for the minimization of a convex function. This optimality has recently been justified by several authors via a second order differential equations approach. We shall study these works, as well as apply the method on some modelisation problem.
  7. [M1] F. Chittaro (LSIS) Integrable systems, Liouville’s Theorem, and action-angle variables.
    The object of this stage is to study the main points of the theory of Integrable systems, from basics definitions of integrability of vector fields to symplectic geometry, Hamiltonian systems and the Liouville-Arnold Theorem. These notions are very useful in many fields of Mathematics and Mathematical Physics (Dynamical Systems, Hamiltonian Mechanics, Control Theory, Quantum Theory). The knowledge of them could be a first step for further development in a M2 project on Control Theory.
  8. [M2] F. Chittaro (LSIS) Ensemble controllability: swing-up of a collection of pendula.
    Cf ici
  9. [M2] F. Chittaro (LSIS) Schrieffer-Wolff transformation in Quantum Mechanics.
    Cf ici
  10. [M1] M. Ersoy, L. Yuschenko (IMATH) Schéma implicite MAC pour Navier-Stokes Compressible Barotrope/  Implicit Mac scheme for Barotropic Compressible Navier-Stokes.
    – Dans un premier temps, il s’agit d’étudier un schéma MAC (Marker And Cell) implicite pour les équations bi-dimensionnelles de Navier-Stokes barotrope. Dans un deuxième temps, un code écrit en language fortran ou language C/C++ sera développé. Enfin, les résultats numériques seront validés via des résultats théoriques et expérimentaux. 
    – In this work, we first study an implicit MAC (Marker And Cell) scheme for the two-dimensional Barotropic Compressible Navier-Stokes equations. 
    Then, a numerical code (written in Fortran or C/C++ language) will be developed. The numerical results will be validated through theoretical and experimental results. 
  11. [M2] Y. Kian (CPT) Problèmes inverses spectraux et théorème de Borg-Levinson.
    Cf. ici
  12. [M1/2] S. Meradji (IMATH) Implementation of periodic boundary conditions in the discrete ordinates method : Application to grassland fires using FireStar3D.
    A 3D physics-based model referred to as « FireStar3D » has been developed in order to predict fire propagation in natural environment. It consists briefly in solving the conservation equations of the coupled system consisting of the vegetation and the surrounding gaseous medium. The model takes into account the phenomena of vegetation degradation (drying, pyrolysis, combustion), the interaction between an atmospheric boundary layer and a canopy (aerodynamic drag, heat transfer by convection and radiation, and mass transfer), and the transport within the fluid phase (convection, turbulence, gas-phase combustion).
    The objective of this project is to evaluate using the FireStar3D source code (written in Fortran90/95 and parallelized with OpenMP directives) the rates of spread of grassland fires for different wind speeds, and compare these rates to those obtained during experimental fires. An infinite fire front will be considered by assuming periodic boundary conditions in the horizontal direction perpendicular to the wind direction. Conducting these simulations requires first the implementation of periodic boundary conditions in the discrete ordinates method used to solve the radiative transfer equation.
  13. [M1] A. Panati (CPT) Théorème de Stone-von Neumann en Mécanique Quantique.
    L’objet de ce stage est l’étude et la rédaction d’une mémoire pédagogique sur le théorème de Stone-von Neumann sur l’unicité de représentations de relations de commutation canonique, qui est l’un dès théorèmes fondamentales dans le cadre de la mécanique quantique.
  14. [M1] A. Panati (CPT) Entropie en Mécanique Classique et Quantique.
    L’objet de ce stage est l’étude et la rédaction d’une mémoire pédagogique sur le concept d’entropie et ses formulations mathématique, d’abord en mécanique classique, ensuite en mécanique quantique dans le cadre simplifié de systèmes confinés (i.e. à dimension finie).
  15. [M1] C-A. Pillet (CPT) La géométrie Riemanienne.
    Cf. ici
  16. [M1] M. Rouleux (CPT) Modèle de Hubbard et spins à sym\’etrie continue.
    L’objet de ce stage est l’étude de la décroissance des corrélations (fonctions à 2 points) pour le modèle de Hubbard sur les réseaux Z ou Z^2, et sa généralisation possible aux systèmes de spins à symétrie continue. Le modèle de Hubbard décrit le Hamiltonien (quantique) d’un système d’électrons itinérant d’un site à l’autre du réseau, éventuellement soumis à un champ magnétique extérieur. Le sujet comprend une étude analytique et éventuellement des simulations numériques.
  17. [M1] S. Vaienti (CPT) Central limit theorem via martingale techniques.
    We propose to prove the central limit theorem using martingale theory. This is an alternative technique to the Levy’s approach. The student should first give an overview of martingale’s theory (not developed in the course but easily accessible with the given knowledge), and then follow the article by S. Lalley here :

Sujets TER 2015-2106

  1. [M2] Y. Aubry (IMATH)  Nombre de solutions d’un système de polynômes homogènes sur les corps finis.
    On considère le problème de la détermination du nombre maximum de zéros communs dans un espace projectif sur un corps fini d’un système de polynômes homogènes à plusieurs variables linéairement indépendants définis sur ce corps fini. Il existe une conjecture élaborée de Tsfasman et Bogulavsky qui prédit la valeur maximale quand les polynômes homogènes ont le même degré et qui n’est pas trop grand par rapport à la taille du corps fini. On montre que cette conjecture est vérifiée si le nombre de polynômes n’excède pas le nombre total de variables. Cela étend les résultats de Serre (1983) et Bogulavsky (1997) dans le cas d’un et de deux polynômes, respectivement. De plus, cela complète nos résultats récents montrant que la conjecture est fausse, en général, si le nombre de polynômes excède le nombre total de variables.
  2. [M2] P. Briet (CPT)  Modélisation d’un guide d’onde torsadé.
    Cf. ici
  3. [M1/2] M. Ersoy (IMATH)  A moving mesh method for hyperbolic equations.
    The aim of this work is to study a moving mesh finite volume method for scalar (and system of) hyperbolic conservation laws. The basical numerical analysis questions such as stability, consistency and convergence of the numerical scheme will be considered. Besides theoretical framework, a numerical code (written in C, C++, fortran or other languages) will be developed and validated through several test cases.
  4. [M1/2] G. Faccanoni (IMATH)  Résolution analytique du problème de Riemann pour les équations d’Euler avec un gaz raidi.
    On se propose de calculer analytiquement la solution exacte du problème de Riemann pour les équations d’Euler de la dynamique des gaz fermées par une loi d’état de type Stiffened Gaz. On comparera cette solution aux solutions approchées obtenues par divers schémas numériques classiques.
    Prérequis: systèmes hyperboliques et lois de conservation, goût pour la modélisation et la programmation
    Langages: python ou Scilab (Octave/Matlab) ou Fortran90
  5. [M2] G. Faccanoni (IMATH)  Modélisation et calcul numérique du pouls sanguin.
    On se propose de calculer analytiquement la solution exacte du problème de Riemann pour un système hyperbolique qui modélise de façon simplifiée le pouls sanguin. On comparera cette solution aux solutions approchées obtenues par divers schémas numériques classiques.
    Mots clefs: équations aux dérivées partielles, volumes finis
    Prérequis: systèmes hyperboliques de lois de conservation, goût pour la modélisation et la programmation
    Langages: python ou Scilab (Octave/Matlab) ou Fortran90
  6. [M2] G. Faccanoni (IMATH)  Modélisation et calcul numérique du coup de bélier.
    On se propose de calculer analytiquement la solution exacte du problème de Riemann pour un système hyperbolique qui modélise les ondes de pression dans une pipeline. On comparera cette solution aux solutions approchées obtenues par divers schémas numériques classiques.
    Mots clefs: équations aux dérivées partielles, volumes finis
    Prérequis: systèmes hyperboliques de lois de conservation, goût pour la modélisation et la programmation
    Langages: python ou Scilab (Octave/Matlab) ou Fortran90
  7. [M1/2] G. Faccanoni (IMATH)  Simulation des équations de Navier-Stokes avec FreeFem++.
    On s’intéresse à la simulation numérique avec FreeFem++ des équations de Navier-Stokes par différents schémas numériques.
    Mots clefs: équations aux dérivées partielles, éléments finis
    Prérequis: éléments finis, goût pour la modélisation et la programmation
    Langages: FreeFem++
  8. [M1/2] G. Faccanoni (IMATH)  Etude d’un modèle de turbulence avec FreeFem++.
    On s’intéresse à la simulation numérique avec FreeFem++ des équations de Navier-Stokes fermées par un modèle de turbulence k-epsilon.
    Mots clefs: équations aux dérivées partielles, turbulence, éléments finis
    Prérequis: éléments finis, goût pour la modélisation et la programmation
    Langages: FreeFem++
  9. [M2] S. Meradji (CPT/IMATH)  Implementation of a LES-EDC model in a physics-based fire propagation model.
    Cf. ici
  10. [M2] S. Meradji (CPT/IMATH)  Implementation of MIC-CG method for solving pressure equation in a 3D physics-based fire propagation model.
    Cf. ici
  11. [M1/2] A. Novotny (IMATH)  Thermodynamic stability conditions and relative energy functional in compressible fluids.
    The goal of the project is to reformulate the termodynamic stability conditions for weak solutions of compressible Navier-Stokes equations in terms of the so called relative energy inequality, and eventually to investigate some consequences of this formulation.
  12. [M2] C.-A. Pillet (CPT)  Géométrie de l’équation de Riccati matricielle.
    Cf. ici
  13. [M1] M. Rouleux (CPT)  Modèle de Hubbard et spins à symétrie continue.
    Cf. ici
  14. [M2] M. Rouleux (CPT)  Vorticité sur un groupe de Lie.
    Cf. ici

 

Organismes de recherche extérieurs
  1. [M2] A. Beaudoin (Université de Poitiers)  Modélisation numerique de la sédimentation dans une colonne d’eau au repos – Prise en compte de la granulométrie des particules.
    Cf. ici
Entreprises
  1. [M2] SAFRAN – SNECMA Etudes d’influences sur des problèmes d’optimisation métiers pour réduction paramétrique H/F.
    Cf. ici

Sujets TER 2014-2015

  1. [M2] J.-J. Alibert (IMATH)  Inégalités de Sobolev-Poincaré.
    Ces inégalités peuvent être utilisées pour valider certains résultats de Gamma-convergence de fonctionnelles sur l’espace des mesures boréliennes bornées du plan. Ces résultats de Gamma-convergence valident certains modèles continus en mécanique du solide par exemple.
  2. [M1/2] J. Asch (CPT)  Occurrence of conical eigenvalue crossings.
    The object is to study the occurrence of conical eigenvalue intersections in a basic model of solid state quantum theory. In reference [1] these are shown to occur for the family of operators (-id_x-k)^2+V(x) on L^2(T) where T is a torus, V belongs to a certain class of functions, k varies in the dual torus which is related to a honeycomb lattice. The work to be done is to study reference [1] and to exhibit a way to prove stability of the result under deformations of the honeycomb structure.
    Prerequisites: Basic Functional Analysis, Operator and Spectral Perturbation theory.
    References:
    [1] C.L. Fefferman, M.L. Weinstein, Honeycomb lattice potentials and Dirac points, Journal of the American Mathematical Society, 25 (4), 2012, 1160-1220
  3. [M2] W. Aschbacher (CPT)  The fermionic Federbush model.
    Although the standard model of particle physics is the fundamental conceptual framework for the description of the elementary particles and the strong and electroweak forces between them, it does not yet have the status of a physical theory in the sense that a rigorous mathematical construction and a proof of its consistency are still lacking (see the millenium problem « Yang-Mills and mass gap »). Important contributions to this question were made in the program of constructive quantum field theory initiated by Glimm and Jaffe in the middle of the 60ies. Unfortunately, this program could not reach its goal of constructing an interacting theory in the physically relevant four spacetime dimensions, but, based on Wightman’s axioms, existence and consistency of interacting quantum field theoretical models in two and three spacetime dimensions have been rigorously established. I propose to study the so-called fermionic Federbush model which describes two species of interacting fermions in two spacetime dimensions. The Federbush model was the first relativistic field theory model for which not only the Wightman axioms but also asymptotic completeness have been rigorously proved.
    References:
    [1] Ruijsenaars S N M, The Wightman axioms for the fermionic Federbush model, Commun. Math. Phys. 87 (1982) 181-228
    [2] Ruijsenaars S N M, Integrable quantum field theories and Bogoliubov transformations, Ann. Phys. 132 (1981) 328-382
    [3] Summers S J, A perspective on constructive quantum field theory, http://arxiv.org/abs/1203.3991 (2012)
  4. [M2] Y. Aubry (IMATH)  Du théorème de l’indice de Hodge aux nombres de points des courbes sur les corps finis.
    Cf. ici
  5. [M2] Y. Aubry (IMATH)  Corps de fonctions de nombre de classes 1.
    Il s’agit d’étudier l’article Function fields of class number one de Qibin Shen, Shuhui Shi publié sur arXiv le 6 février 2015.
    Abstract:
    In 1975, [LMQ] listed 7 function fields over finite felds (up to isomorphism) with positive genus and class number (i.e., the size of the divisor class group of degree zero) one and claimed to prove that these were the only ones such. In [S1], Claude Strirpe found 8th one! In this paper, we fix the argument in [LMQ] to show that this 8th example could have been found by [LMQ] method and is the only one, so that the list is now complete.
    References:
    [1] arXiv:1412.3505
  6. [M1/2] J.-M. Barbaroux (CPT)  Régularité des solutions de l’équation de Boltzmann homogène.
    Cf. ici
  7. [M1/2] G. Bouchitté (IMATH)  Distances entre probabilités: quelques variantes de la distance de Wasserstein et applications en statistiques.
  8. [M1/2] F. Chittaro (LSIS)  Control of bilinear Schrödinger equations.
    Cf. ici
  9. [M1/2] F. Chittaro (LSIS)  How rare are multiple eigenvalues?
    Cf. ici
  10. [M1/2] F. Chittaro (LSIS)  Géométrie sous-Riemannienne.
    Cf. ici
  11. [M1/2] M. Ersoy (IMATH) 
    The first topic is to construct a robust and accurate kinetic scheme. Up to now, there are no well-balanced and entropic numerical scheme constructed from the kinetic approach when the source term is complex. Thus, we mainly focus on how to construct such a scheme which are designeds to solve hyperbolic systems of equations, e.g. Saint-Venant.
  12. [M1/2] M. Ersoy (IMATH) 
    This topic deals with the rigorous justification of the Saint-Venant-Exner equations for sediment transport for which it is well-known that Exner equation governs the morphodynamic part of the flow and Saint-Venant the hydrodynamic one. These equations are coupled through the topography term. The idea is to use the Vlasov equation for the sediment transport modeling and the Euler equation for the fluid. The main task will be to define correctly the modeling of the kinetic boundary conditions (which describes incoming and outgoing sediment particles). Hydrodynamic limit and a thin layer asymptotic analysis will be used to get a sediment transport model.
  13. [M1/2] M. Ersoy (IMATH) 
    This topic concerns an exact Riemann solver for a general coupled hyperbolic systems trough a discontinuous flux gradient. This arise, for instance, in the modeling of unsteady mixed flows in closed water pipes for which the sound speed is necessary continuous with a discontinuous gradient leading to a discontinuous flux gradient. The main task is then to define rigorously the solution through the discontinuity which is not necessary fixed.
  14. [M1/2] C. Galusinski (IMATH)  Condition limite en entrée et sortie pour un écoulement incompressible à Reynolds élevé.
    Cf. ici
  15. [M1/2] C. Galusinski (IMATH)  Suivi d’interfaces par maillage cartésien mouvant.
    Cf. ici
  16. [M1] H. Jaber (CPT)  Principe du maximum.
    Cf. ici
  17. [M1/2] S. Meradji (CPT/IMATH)  Modeling of flame spread in engineered cardboard fuelbeds.
    Cf. ici
  18. [M1/2] C. Pidéri (IMATH)  Comportement effectif d’un matériau homogène avec inclusions élastiques.
    On se propose d’étudier le comportement d’un matériau élastique Ω qui contient des inclusions élastiques réparties périodiquement au voisinage d’un segment Γ. En dehors de cette zone, le matériau est homogène. En première approximation, les inclusions n’ont aucune influence sur le comportement global du matériau et nous cherchons à comprendre leur effet au second ordre. Pour cela nous utiliserons une méthode de double échelle basée sur les développements asymptotiques raccordés. Une fois cette étape franchie, on pourrait s’intéresser au cas où les inclusions sont rigides.
    Cf. ici
  19. [M1/2] C.-A. Pillet (CPT)  Riemannian geometry, statistical mechanics, and thermodynamics.
    Cf. ici
  20. [M1/2] M. Rouleux (CPT)  Ionization properties of an atom in a periodic electric field: the semi-classical approach.
    Cf. ici
  21. [M2] P. Seppecher (IMATH)  Effet du contraste sur la pertinence des modèles homogénéisés en élasticité.
    Cf. ici
  22. [M1] S. Vaienti (CPT)  Principe d’invariance et thèoreme de Donsker.
    Le principe d’invariance est un raffinement du theorème central limite. En introduisant de manière convenable un temps continu, on montre la convergence de la somme de variables aléatoires vers un mouvement brownien.

 

Organismes de recherche extérieurs
  1. [M2] IMFT Implémentation et validation dans un code de DNS d’écoulements particulaires du déplacement et des collisions pour des particules solides et non-sphériques.
    Cf. ici
  2. [M2] INRA Etude numérique d’un modèle de réaction-advection-diffusion à advection hétérogène définie à partir de noyaux de perception.
    Cf. ici
Entreprises
  1. [M2] Dassault Systèmes Simulation comportementale massivement distribuée.
    Cf. ici

Sujets TER 2013-2014

  1. [M1] R. Aimino & S. Vaienti (CPT)  Inégalités de concentration.
    Cf. ici
  2. [M1] J.-J. Alibert (IMATH)  Inégalités de Sobolev-Poincaré.
    Ces inégalités peuvent être utilisées pour valider certains résultats de Gamma-convergence de fonctionnelles sur l’espace des mesures boréliennes bornées. Ces résultats de Gamma-convergence valident certains modèles continus en mécanique du solide par exemple.
  3. [M1/2] W. Aschbacher (CPT)  Quantum field theory without fields.
    Although the standard model of particle physics is the fundamental conceptual framework for the description of the elementary particles and the strong and electroweak forces between them, it does not yet have the status of a physical theory in the sense that a rigorous mathematical construction and a proof of its consistency are still lacking. Important contributions to this problem were made in the program of constructive quantum field theory initiated by Glimm and Jaffe in the middle of the 60ies. Based on Wightman’s axioms, existence and consistency of interacting quantum field theoretical models in two and three spacetime dimensions could be rigorously established. Unfortunately, the physically relevant four spacetime dimensions were out of reach, and the program came to rest. To this day, not a single example of a relativistic model of interacting particles in physical spacetime could be constructed.
    Recently, a change of paradigm within the framework of algebraic quantum field theory has opened up a new and promising perspective on this construction problem. I propose to study this new approach and its connection to Wightman quantum field theory.
    References:
    [1] D. Buchholz, S.J. Summers, Warped convolutions: A novel tool in the construction of quantum field theories, in: Quantum Field Theory and Beyond, edited by E. Seiler and K. Sibold (World Scientific, Singapore), pp. 107-121, 2008.
    [2] H. Grosse, G. Lechner, Wedge-local quantum fields and noncommutative Minkowski space, JHEP, 0711, 012 (2007).
    [3] H. Grosse, G. Lechner, Noncommutative deformations of Wightman quantum field theories, JHEP, 0809, 131 (2008).
  4. [M2] Y. Aubry (IMATH)  Sur une application de la descente du corps de définition d’une tour de corps de fonctions.
    Cf. ici
  5. [M1] J.-M. Barbaroux (CPT)  Dynamical properties of solutions of the Schrödinger equation for a model of Graphene.
    Cf. ici
  6. [M1/2] G. Bouchitté (IMATH)  Spectral analysis of sign changing diffusion operators.
    Cf. ici
  7. [M1/2] G. Bouchitté (IMATH)  Subwavelength transmission of the light (plasmonic wave guides).
    Cf. ici
  8. [M1/2] G. Bouchitté (IMATH)  Calculus of variations: duality approach for non convex variational problems.
    Cf. ici
  9. [M1/2] T. Champion (IMATH)  Displacement convexity on the set of probabilities.
    Cf. ici
  10. [M1/2] F. Chittaro (LSIS)  Passage adiabatique au travers des intersections coniques.
    Cf. ici
  11. [M2] C. Galusinski (IMATH)  Comparison of numerical schemes based on MAC grid discretization to solve the incompressible Navier-Stokes equations.
    One scheme has to be implemented to be compare to the already implemented code.
  12. J.P. Gauthier & F. Chittaro (LSIS)  Quantum Control.
    We study the controllability, and the effective control/ stabilization of the solution of the Schrödinger equation, with external control fields. Several techniques, mostly from optimal control theory were developed in our research group [1], [2]. Also, adiabatic methods were considered [3]. The project is to continue to exploit the geometry of the finite dimensional Galerkin approximation to design control and ensemble-control of such quantum systems. Potential applications are in the fields of quantum information, or also nuclear magnetic resonance.
    References:
    [1] U. Boscain, G. Charlot, J.P. Gauthier, S. Guérin, H. Jauslin, Optimal Control in laser-induced populati transfer for two and three level quantum systems, Journal of Mathematical Physics, Vol. 43, pp. 2107-2132, 200.
    [2] U. Boscain, T. Chambrion, J.P. Gauthier, On the K+P problem for a 3-level quantum system: optimality implies resonance, Journal of dynamical and control systems, Vol. 8, No.4, pp. 547-572, Oct 2002.
    [3] U. V. Boscain, F. Chittaro, P. Mason, and M. Sigalotti, Adiabatic control of the Schrödinger equation via conical intersections of the eigenvalues, IEEE Trans. Automat. Control, 57 (2012), pp. 1970-1983.
    [4] T. Chambrion, P. Mason, M. Sigalotti, and U. Boscain, Controllability of the discrete-spectrum Schrödinger equation driven by an external field, Ann. Inst. H. Poincaré Anal. Non Linéaire, 26 (2009), pp. 329-349.
    [5] K. Beauchard, J.-M. Coron, P. Rouchon, Controllability Issues for Continuous Spectrum Systems and ensemble controllability of Bloch equations, Comm. Math. Phys. 296, 525-557 (2010).
  13. J.P. Gauthier & N. Boizot (LSIS)  Motion Planning for Kinematic systems.
    The motion planning problem is one of the fundamental problems in robotics. It consists of evaluating the complexity of the realization of a nonadmissible path for a kinematic object, subject to nonholonomic constraints. See [1] for a survey. Following F. Jean, and other references there in, our methodology is based upon techniques from subriemannian geometry [8]. The paper [2] gives rise to a natural conjecture on the topological nature of optimal paths in nonholonomic interpolation. The purpose of this work is to extend the results of [2] to a nonholonomy degree larger than 4.
    References:
    [1] N. Boizot, J.P. Gauthier, Motion planning for Kinematic Systems, IEEE TAC Vol. 58, No. 6, June 2013, pp. 1430-1442.
    [2] N. Boizot, J.P. Gauthier, On the Motion Planning of the Ball with a Trailer, to appear in Mathematical Control and Related Fields, 2013.
    [3] J.P. Gauthier, B. Jakubczyk, V. Zakalyukin, Motion planning and fastly oscillating controls, SIAM Journ. On Control and Opt., 48 (5), pp. 3433-3448, 2010.
    [4] J.P. Gauthier, V. Zakalyukin, On the one-step-bracket-generating motion planning problem, Jounal of dynamical and control systems, Vol. 11 No. 2, pp. 215-235, April 2005.
    [5] J.P. Gauthier, V. Zakalyukin, On the motion planning problem, complexity, entropy and nonholonomic interpolation, Journal of Dynamical and Control Systems, Vol. 12, No. 3, July 2006.
    [6] F. Jean, Complexity of Nonholonomic motion planning, International Journal of Control, Vol. 74 (8), 2001.
    [7] F. Jean, Entropy and Complexity of a Path in Sub-Riemannian Geometry, ESAIM: Cont. Opt. Calc. Var, Vol. 9, pp. 485-506, 2003.
    [8] A. Agrachev, D. Barilari, U. Boscain, Introduction to Riemannian and sub-Riemannian geometry, book, preprint, SISSA 2011.
  14. F. Golay (IMATH)  Computational Fluid Mechanics.
    We intend to numerically analyse the influence of the wind on waves using a finite volume code based on compressible Euler equation. The aim of this study is to validate a new mesh refinement procedure.
    Skills expected: mechanics, scientific computing, finite volume, fortran,…
  15. [M2] F. Golay & L. Yushchenko (IMATH)  Computational Fluid Mechanics.
    We intend to numerically analyze air/water flows, like wave breaking, using a finite volume code based on compressible Euler equation. The aim of this study is to validate a new mesh refinement procedure (AMR) and local time stepping scheme.
    Skills expected: mechanics, scientific computing, finite volume, fortran 90,…
  16. [M1/2] F. Golay & L. Yushchenko (IMATH)  Photorealistic rendering in computational Fluid Mechanics.
    We perform three-dimensional numerical simulations of air/water flows in the framework of AMR techniques. The aim of this study is to develop a post processing tool to capture iso-surfaces and perform realistic animations.
    Skills expected: scientific computing, image rendering, fortran 90,…
  17. [M1/2] A. Novotny (IMATH)  L’Analyse Fourier appliquée à l’équation des ondes.
    Dans ce stage nous proposons de construire les solutions de l’équation des ondes dans ℝ, ℝ2 ou ℝ3 en utilisant la transformée de Fourier. Ensuite, nous étudierons quelques propriétés de ces solutions.
  18. [M2] C.-A. Pillet (CPT)  Entropic fluctuations in harmonic systems.
    Using the Girsanov-Cameron-Martin formula, the fluctuations of entropic flows in a mechanical system driven out of equilibrium by stochastic forces can be studied through a detailed analysis of a deformation of the Fokker-Planck operator describing the Markovian dynamics of the system. The aim of this project is to analyse this operator in simple cases where the mechanical system is harmonic.
  19. [M1] C.-A. Pillet (CPT)  Initiation aux probabilités non commutatives: une théorie quantique des tests d’hypothèses.
    Les lois de la mécanique classique ne sont plus valables à l’echelle microscopique. Cette constatation faite au début du siècle dernier a forcé les physiciens à developper une nouvelle théorie structurelle: la mécanique quantique. Du point de vue des mathematiques, cette théorie se distingue radicalement de la mécanique classique de deux façons:
    1. Ses objets fondamentaux (une composante de la position ou de la vitesse d’une particule, par exemple) ne sont plus des éléments d’un corps commutatif (ℝ en l’occurence), mais d’une algèbre non-commutative.
    2. Ses prédictions sont intrinsèquement probabilistes. On ne peut pas prédire avec certitude la position et la vitesse d’une particule, mais seulement leur distribution de probabilité. De plus, à cause du point 1., cette distribution n’est pas une mesure, mais une fonctionnelle lineaire positive sur l’algèbre non-commutative évoquée ci-dessus.
    La mecanique quantique est une source inépuisable de nouveaux problèmes mathematiques qui sont les thèmes de recherche principaux des enseignants toulonais effectuant leur recherche au sein du laboratoire CPT.
    Le but de ce sujet de stage est de vous initier au cadre mathématique de la mécanique quantique en étudiant un problème spécifique: le test d’hypothèses. Il s’agit de comprendre avec quelle précision il est possible de distinguer deux états d’un système quantique. Cette question est devenue importante car il est de nos jours possible de manufacturer et de manipuler des états quantiques dans le laboratoire (en vue d’élaborer, par exemple, des ordinateurs quantiques). J’ai choisi cette question pour deux raisons:
    a) parce qu’elle m’interesse,
    b) parce que les objets qui entre en jeu dans son étude sont très simples (des matrices 2×2) et ne nécessitent donc pas d’outils d’analyse fonctionnelle très sophistiqués.
    Pratiquement, il s’agit:
    1. De comprendre le probleme et sa solution en lisant quelques articles assez recents et d’en faire la synthèse.
    2. De tenter de reformuler cette solution dans un formalisme (que je vous expliquerai) permettant en principe d’étendre l’analyse au cas plus compliqué de matrices infinies.
  20. [M1/2] S. Vaienti (CPT) 
    We study extreme value theory applied to dynamical systems. In particular the stage would turn around some recent results of extreme value theory applied to systems which are randomly perturbed. The extreme value theory is a very well understood branch of probability for i.i.d. processes. After a review of the classical results, the student should look at relatively easy applications to expanding dynamical systems. The literature and the articles will be provided by myself.
  21. S. Vaienti (CPT) 
    We work on statistical properties of dynamical systems, in particular limit theorems. These subjects are at the interface between ergodic theory, measure theory and probability. There are possibilities of PhD thesis.
  22. P. Véron (IMATH)  Développement sur GPU d’algorithmes d’attaques sur des systèmes cryptographiques à base de codes correcteurs d’erreurs.
    Pré-recquis: bonnes bases en algère linéaire et bonnes bases de programmation en C.