Séminaires

Lorsque nous résolvons numériquement un problème de contrôle optimal gouverné par des équations aux dérivées partielles instationnaires, les conditions d’optimalité donnent des systèmes avec un grand nombre d’équations fortement couplées. Il est donc souhaitable de résoudre de tels systèmes en parallèle sur plusieurs processeurs. L’approche classique consiste à décomposer le domaine spatial en plusieurs sous-domaines pour obtenir des problèmes plus petits à résoudre en parallèle. Une autre possibilité intéressante est de décomposer le domaine temporel pour obtenir des méthodes « parallèles en temps ». Dans cet exposé, je présenterai deux méthodes de résolution basées sur une telle décomposition : la première utilise uniquement des communications entre sous-domaines voisins, alors que la deuxième nécessite la résolution d’un système global, mais de taille réduite. Je démontrerai la convergence des deux méthodes lorsque l’EDP est de type diffusif. Je présenterai enfin quelques exemples numériques pour montrer le comportement de ces algorithmes en fonction du nombre de sous-domaines.

Le principe fort/faible de Dafermos et DiPerna montre que les solutions fortes (Lipschitziennes) de lois de conservations sont stables, et donc uniques, parmi les solutions faibles entropiques. Dans cette série d’exposés, nous présenterons la théorie de “contraction avec poids et  décalages” qui étend le principe fort/faible aux solutions discontinues avec chocs.

In this talk, we present a posteriori estimates for finite element approximations of nonlinear elliptic problems satisfying strong-monotonicity and Lipschitz-continuity properties. These estimates include, and build on, any iterative linearization method that satisfies a few clearly identified assumptions; this encompasses the Picard, Newton, and Zarantonello linearizations. The estimates give a guaranteed upper bound on an augmented energy difference (reliability with constant one), as well as a lower bound (efficiency up to a generic constant). We prove that for the Zarantonello linearization, this generic constant only depends on the space dimension, the mesh shape regularity, and possibly the approximation polynomial degree in four or more space dimensions, making the estimates robust with respect to the strength of the nonlinearity. For the other linearizations, there is only a computable dependence on the local variation of the linearization operators. We also derive similar estimates for the energy difference. Numerical experiments illustrate and validate the theoretical results, for both smooth and singular solutions.

Le principe fort/faible de Dafermos et DiPerna montre que les solutions fortes (Lipschitziennes) de lois de conservations sont stables, et donc uniques, parmi les solutions faibles entropiques. Dans cette série d’exposés, nous présenterons la théorie de “contraction avec poids et  décalages” qui étend le principe fort/faible aux solutions discontinues avec chocs.

Joint work with Tadeusz Iwaniec and Jani Onninen

The concept of complex harmonic potential in a doubly connected planar capacitor is considered. The differential of a complex potential plays the role of a scalar potential of an electrostatic vector field. The main objective is to rule out the possibility that the differential vanishes at some points. Nevertheless, there can be critical points where the Jacobian determinant of the differential turns into zero. The latter is in marked contrast to the case of real-valued potentials. The complex harmonic capacitor (of electro-magnetic field) also admits an interpretation of the stored energy of a hyperelastic deformation.
Actually, we explore numerous results developed in this latter context.

We consider the magnetic Laplacian on non compact Riemannian manifolds which have ends of infinite volume, including for example asymptotically conical or hyperbolic manifolds. We will show how we can obtain uniform estimates for the boundary values of the resolvent of this operator in the case of high frequencies. These estimates hold in spaces with optimal weights and imply boundedness of the limiting resolvent in $L^2$ spaces with weights decaying faster than the inverse square root. In particular in this talk we will show how we can generalize a work by Cardoso and Vodev (’02) when adding perturbations of order one and zero and considering optimal weights. We will also focus on the aspects of the proof which are frequency independent.

L’exposé se veut une introduction à l’une des frontières actuelles de notre compréhension de la stabilité non linéaire des ondes progressives des équations aux dérivées partielles, spécifiquement comment la stabilité spectrale implique la stabilité non linéaire pour les ondes progressives générales des systèmes hyperboliques.

Les principaux obstacles à une théorie générale trouvent leur origine dans le fait que les profils des ondes comprennent typiquement des discontinuités et/ou des points caractéristiques, tous deux ayant un fort impact même au niveau spectral.

L’exposé montrera quelques avancées significatives vers une théorie générale obtenues par l’orateur dans une série de travaux en collaborations (disjointes) avec Vincent Duchêne (Rennes), Paul Blochas (Rennes), Louis Garénaux (Karlsruhe) et Grégory Faye (Toulouse).