MINIMAL TIME ISSUES FOR THE OBSERVABILITY OF GRUSHIN-TYPE EQUATIONS

The goal of this article is to provide several sharp results on the minimal time required for observability of several Grushin-type equations. Namely, it is by now well-known that Grushin-type equations are degenerate parabolic equations for which some geometric conditions are needed to get observability properties, contrarily to the usual parabolic equations. Our results concern the Grushin operator partial derivative(t) - Delta(x) - vertical bar x vertical bar(2) Delta(y )observed from the whole boundary in the multi-dimensional setting (meaning that x is an element of Omega(x), where Omega(x) is a subset of R-dx with d(x) >= 1, y is an element of Omega(y), where Omega(y) is a subset of R-dy with dy >= 1, and the observation is done on Gamma = partial derivative Omega(x) x Omega(y)), from one lateral boundary in the one-dimensional setting (i.e. d(x) = 1), including some generalized version of the form at partial derivative(t) - partial derivative(2)(x) - (q(x))(2)partial derivative(2)(y) for suitable functions q, and the Heisenberg operator partial derivative(t) - partial derivative(2)(x) - (x partial derivative(z) + partial derivative(y))(2) observed from one lateral boundary. In all these cases, our approach strongly relies on the analysis of the family of equations obtained by using the Fourier expansion of the equations in the y (or (y, z)) variables, and in particular the asymptotic of the cost of observability in the Fourier parameters. Combining these estimates with results on the rate of dissipation of each of these equations, we obtain observability estimates in suitably large times. We then show that the times we obtain to get observability are optimal in several cases using Agmon type estimates.