La semaine de l’IMB

Consider a control system 𝛛t f + Af = Bu. Assume that 𝛱 is

a projection and that you can control both the systems

 𝛛t f + 𝛱Af = 𝛱Bu,

 𝛛t f + (1-𝛱)Af = (1-𝛱)Bu.

Can you conclude that the first system itself is controllable ? We

cannot expect it in general. But in a joint work with Andreas Hartmann,

we managed to do it for the half-heat equation. It turns out that the

property we need for our case is:

 If 𝛺 satisfies some cone condition, the set {f+g, f∈L²(𝛺), g∈L²(𝛺),

f is holomorphic, g is anti-holomorphic} is closed in L²(𝛺).

The first proof by Friedrichs consists of long computations, and is

very "complex analysis". But a later proof by Shapiro uses quite

general coercivity estimates proved by Smith, whose proof uses some

tools from algebra : Hilbert's nullstellensatz and/or primary ideal

decomposition.

In this first talk, we will introduce the algebraic tools needed and

present Smith's coercivity inequalities. In a second talk, we will

explain how useful these inequalities are to study the control

properties of the half-heat equation.

We consider the standard Ginzburg-Landau system for N-dimensional maps defined in the unit ball for some parameter eps>0. For a boundary data corresponding to a vortex of topological degree one, the aim is to prove the (radial) symmetry of the ground state of the system. We show this conjecture in any dimension N≥7 and for every eps>0, and then, we also prove it in dimension N=4,5,6 provided that the admissible maps are curl-free. This is part of joint works with L. Nguyen, M. Rus, V. Slastikov and A. Zarnescu.