Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHeat equation on the Heisenberg group: observability and applications
228
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We investigate observability and Lipschitz stability for the Heisenberg heat equation on the rectangular domain $$Omega = (-1,1)timesmathbb{T}timesmathbb{T}$$ taking as observation regions slices of the form $omega=(a,b) times mathbb{T} times mathbb{T}$ or tubes $omega = (a,b) times omega_y times mathbb{T}$, with $-1<a<b<1$. We prove that observability fails for an arbitrary time $T>0$ but both observability and Lipschitz stability hold true after a positive minimal time, which depends on the distance between $omega$ and the boundary of $Omega$: $$T_{min} geqslant frac{1}{8} min{(1+a)^2,(1-b)^2}.$$ Our proof follows a mixed strategy which combines the approach by Lebeau and Robbiano, which relies on Fourier decomposition, with Carleman inequalities for the heat equations that are solved by the Fourier modes. We extend the analysis to the unbounded domain $(-1,1)timesmathbb{T}timesmathbb{R}$.
rate research
Read More
In this paper we establish an observability inequality for the heat equation with bounded potentials on the whole space. Roughly speaking, such a kind of inequality says that the total energy of solutions can be controlled by the energy localized in a subdomain, which is equidistributed over the whole space. The proof of this inequality is mainly adapted from the parabolic frequency function method, which plays an important role in proving the unique continuation property for solutions of parabolic equations. As an immediate application, we show that the null controllability holds for the heat equation with bounded potentials on the whole space.
We give necessary and sufficient conditions for the controllability of a Schrodinger equation involving the sub-Laplacian of a nilmanifold obtained by taking the quotient of a group of Heisenberg type by one of its discrete sub-groups.This class of nilpotent Lie groups is a major example of stratified Lie groups of step 2. The sub-Laplacian involved in these Schrodinger equations is subelliptic, and, contrarily to what happens for the usual elliptic Schrodinger equation for example on flat tori or on negatively curved manifolds, there exists a minimal time of controllability. The main tools used in the proofs are (operator-valued) semi-classical measures constructed by use of representation theory and a notion of semi-classical wave packets that we introduce here in the context of groups of Heisenberg type.
Observability inequalities on lattice points are established for non-negative solutions of the heat equation with potentials in the whole space. As applications, some controllability results of heat equations are derived by the above-mentioned observability inequalities.
In this article, we are concerned with a certain type of boundary behavior of positive solutions of the heat equation on a stratified Lie group at a given boundary point. We prove that a necessary and sufficient condition for the existence of the parabolic limit of a positive solution $u$ at a point on the boundary is the existence of the strong derivative of the boundary measure of $u$ at that point. Moreover, the parabolic limit and the strong derivative are equal.
In this paper we provide a characterization of second order fully nonlinear CR invariant equations on the Heisenberg group, which is the analogue in the CR setting of the result proved in the Euclidean setting by A. Li and the first author (2003). We also prove a comparison principle for solutions of second order fully nonlinear CR invariant equations defined on bounded domains of the Heisenberg group and a comparison principle for solutions of a family of second order fully nonlinear equations on a punctured ball.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
