PDE and applications seminar | Nancy

In this talk, I will present controllability results for some linear and non-linear wave equations. The linear equations will be vector-valued and at different levels of regularity. I will give the main ideas of the proof of a change of regularity result. For the non-linear equations, I will consider the case of the focusing cubic Klein-Gordon equation. I will state a local controllability result around a regular solution, and a null-controllability result for scattering solutions. In the presence of damping, I will give both a positive and a negative stabilization result. I will also provide some ideas of proofs.

Initialement considéré comme un lemme clé dans les structures de régularité, le théorème de reconstruction s’est avéré être un outil analytique très flexible pour étudier l’intégration à la fois stochastique et déterministe en dimension supérieure. Dans cet exposé, nous discuterons d’une extension particulière du théorème de reconstruction dans un contexte stochastique où la famille de distributions sous-jacente satisfait certaines conditions naturelles impliquant des incréments rectangulaires. Cela nous permet de prouver l’existence et l’unicité d’une nouvelle classe d’équations aux dérivées partielles stochastiques de type hyperbolique qui combine l’intégration stochastique standard à la Walsh et les produits de Young.

Travail en collaboration avec Hannes Kern (TU Berlin).

Bernoulli’s free boundary problem is an overdetermined problem in which one seeks an annular domain such that the capacitary potential satisfies an extra boundary condition. There exist two different types of solutions: elliptic and hyperbolic solutions. Elliptic solutions are “stable” solutions and tractable by variational method and maximum principle, while hyperbolic solutions are “unstable” solutions of which the qualitative behavior is less known. I will present a recent joint work with Antoine Henrot in which we show the qualitative behavior of hyperbolic solutions by a new flow approach.

On veut expliquer la forme des oeufs d’eulimnadia, petit animal vivant dans des mares éphémères, en utilisant les outils de l’optimisation de forme. En effet, la théorie de l’évolution laisse penser que la forme des objets que l’on retrouve dans la nature résulte d’un processus d’optimisation, c’est à  dire que leur forme est telle que l’objet en question est le plus à  même de résister aux contraintes qui s’exercent sur lui. On propose un critère naturel optimisé par la forme de l’oeuf, que l’on modélise mathématiquement par un problème de minimisation de fonctionnelle de forme s’écrivant comme combinaison convexe du rayon intérieur, du diamètre et de la densité, notion que l’on définira. On présente le travail réalisé jusqu’à  présent.

Let us consider the bilinear Schr”{o}dinger equation $ipartial_t psi(t)=Apsi(t)+u(t)Bpsi(t)$ in $L^2(G,mathbb C)$ for $G$ a compact quantum graph. We assume $B$ a bounded symmetric operator, $u$ a control function and $psi^0$ is the initial state of the system. The operator $A=-Delta$ is the Laplacian equipped with self-adjoint type boundary conditions into the vertices of the graph. Provided the well-posedness of the equations, we present assumptions on $B$ and on the spectrum of $A$ implying the global exact controllability in suitable subspaces of $mathcal H$. When the previous assumptions fail, we introduce a weaker notion of controllability allows to provide interesting results also when the graph $G$ is a complex structure and we are not able to verify the spectral assumptions for the global exact controllability.”

Joint work with Z. Ammari, and F. Nier. In this work, we study how multiscale analysis and quantum mean field asymptotics can be brought together. In particular we study when a sequence of one-particle density matrices has a limit with two components: one classical and one quantum. The introduction of “separating quantization for a family” provides a simple criterion to check when those two types of limit are well separated. We give examples of explicit computations of such limits, and how to check that the separating assumption is satisfied.

Nous discutons dans cet exposé de la limite du cout du controle a zero de l’equation d’advection-diffusion $y_t-epsilon y_{xx}+ M y_x=0$ lorsque le paramètre $epsilon$ tend vers $0$. Cette limite dépend fortement du temps de contrôlabilité et du signe de M. A travers quelques remarques de nature théoriques et numériques, nous montrons à  quel point ce problème de contrôlabilité est singulier. Nous discutons notamment l’analyse asymptotique de l’équation.

Résumé

Nous présentons deux approches différentes pour construire des méthodes numériques pour les problèmes hautement oscillants, dont la précision est uniforme par rapport à  la fréquence d’oscillation. On parle dans ce cas de schémas UA (uniformly accurate). Une première méthode UA consiste à  séparer les variables rapide et lente, en rajoutant de façon adéquate une variable supplémentaire au modèle. Une deuxième méthode UA est basés sur une décomposition micro-macro qui reformule le problème en une équation moyennée à  différents ordres en la fréquence, couplée à  une équation micro satisfaite par le reste. Les propriétés de régularité uniforme par rapport à  la fréquence dont jouissent ces deux reformulations, permettent l’utilisation des méthodes numériques usuelles avec un ordre de précision indépendant de la fréquence des oscillations. Des applications en théorie cinétique (Vlasov avec Champ magnétique fort) et en mécanique quantique (Klein-Gordon et limite non-relativiste) seront présentées.

En 2005-2007 Burdzy, Caffarelli et Lin, Van den Berg ont conjecturé, dans des contextes différents, que l’asymptotique des partitions optimales d’un domaine du plan en cellules minimisant la somme (le maximum) des premières valeurs propres du Laplacien-Dirichlet est donnée par un réseau d’hexagones réguliers. Nous allons discuter l’historique de cette conjecture en présentant les arguments de Toth et Hales pour le problème du nid d’abeilles en nous allons démontrer la conjecture (du maximum) pour les valeurs propres du Laplacien-Robin. Les résultats ont été obtenus en collaboration avec I. Fragala, B. Velichkov et G. Verzini.

On présentera une séries de travaux en collaboration avec Henri Berestycki sur des systèmes de prédateurs qui interagissent entre eux et avec une seule proie. Ce système est lié au célèbre modèle de dynamique de population de Lotka et Volterra, ainsi que au modèle de Gross et Pitaevskii proposé pour l’étude des condensats de Bose-Einstein, et à  des modèles de réactions chimiques distribuées spatialement. On analysera le cas de prédateurs qui, comme les loups, peuvent se partager en meutes hostiles. Les questions qui on se posera sont de comprendre sous quelles conditions les prédateurs se partagent en meutes, s’il y a un avantage à  avoir des meutes hostiles et finalement de comparer les différents configurations qui émergent dans ce contexte. Plus précisément, on se concentra sur l’analyse des solutions stationnaires, notamment leur stabilité, et sur l’asymptotique du système quand le paramètre de compétition diverge.

Résumé