arXiv subjects
Publications and source records attributed to Bettina Kazandjian.
Let $M$ be a smooth compact manifold, and $g$ a smooth non-degenerate symmetric bilinear form on $TM$. We prove that every smooth vector field can be written as a finite linear combination of iterated Lie brackets of gradient vector fields.
We study controlability issues for the group of volume-preserving diffeomorphisms of the torus $\mathbb T^d$ for system $\dot x=f(x)+u(t)$, where $f$ is a fixed divergence free vector field on $\mathbb T^d$ and $u(t)$ are constant vector fields which generate translations of the torus. Main results concern $d$ equals two or three.
We study the approximate controllability problem for Liouville transport equations along a mechanical Hamiltonian vector field. Such PDEs evolve inside the orbit $$\mathcal{O}(ρ_0):=\left\{ρ_0\circ Φ\mid Φ\in {\rm DHam}(T^*M)\right\},\quad ρ_0\in L^r(T^*M,\mathbb{R}), \quad r\in[1,\infty),$$ where $ρ_0$ is the initial density and ${\rm DHam}(T^*M)$ is the group of Hamiltonian diffeomorphisms of the cotangent bundle manifold $T^*M$. The approximately reachable densities from $ρ_0$ are thus contained in $\overline{\mathcal{O}(ρ_0)}$, where the closure is taken with respect to the $L^r$-topology. Our first result is a characterization of $\overline{\mathcal{O}(ρ_0)}$ when the manifold $M$ is the Euclidean space $\mathbb{R}^d$ or the torus $\mathbb{T}^d$ of arbitrary dimension: $\overline{\mathcal{O}(ρ_0)}$ is the set of all the densities whose sub- and super-level sets have the same measure as those of $ρ_0$. This result is an approximate version, in the case of ${\rm DHam}(T^*M)$, of a theorem by J. Moser (Trans. Am. Math. Soc. 120: 286-294, 1965) on the group of diffeomorphisms. We then present two examples of systems, respectively on $M=\mathbb{R}^d$ and $\mathbb{T}^d$, where the small-time approximately attainable diffeomorphisms coincide with ${\rm DHam}(T^*M)$, respectively at the level of the group and at the level of the densities. The proofs are based on the construction of Hamiltonian diffeomorphisms that approximate suitable permutations of finite grids, and Poisson bracket techniques.
We study the small-time controllability problem on the Lie groups $SL_2(\mathbb{R})$ and $SL_2(\mathbb{R})\ltimes H_{d}(\mathbb{R})$ with Lie bracket methods (here $H_{d}(\mathbb{R})$ denotes the $(2d+1)$-dimensional real Heisenberg group). Then, using unitary representations of $SL_2(\mathbb{R})\ltimes H_{d}(\mathbb{R})$ on $L^2(\mathbb{R}^d,\mathbb{C})$ and $L^p(T^*\mathbb{R}^d,\mathbb{R}), p\in[1,\infty)$, we recover small-time approximate reachability properties of the Schrödinger PDE for the quantum harmonic oscillator, and find new small-time approximate reachability properties of the Liouville PDE for the classical harmonic oscillator.
We study L 1 -optimal stabilization of linear systems with finite and infinite horizons. Main results concern the existence, uniqueness and structure of optimal solutions, and the robustness of optimal cost.