No Arabic abstract
In this paper, we study approximate and exact controllability of the linear difference equation $x(t) = sum_{j=1}^N A_j x(t - Lambda_j) + B u(t)$ in $L^2$, with $x(t) in mathbb C^d$ and $u(t) in mathbb C^m$, using as a basic tool a representation formula for its solution in terms of the initial condition, the control $u$, and some suitable matrix coefficients. When $Lambda_1, dotsc, Lambda_N$ are commensurable, approximate and exact controllability are equivalent and can be characterized by a Kalman criterion. This paper focuses on providing characterizations of approximate and exact controllability without the commensurability assumption. In the case of two-dimensional systems with two delays, we obtain an explicit characterization of approximate and exact controllability in terms of the parameters of the problem. In the general setting, we prove that approximate controllability from zero to constant states is equivalent to approximate controllability in $L^2$. The corresponding result for exact controllability is true at least for two-dimensional systems with two delays.
The exact distributed controllability of the semilinear wave equation $partial_{tt}y-Delta y + g(y)=f ,1_{omega}$ posed over multi-dimensional and bounded domains, assuming that $gin C^1(mathbb{R})$ satisfies the growth condition $limsup_{rto infty} g(r)/(vert rvert ln^{1/2}vert rvert)=0$ has been obtained by Fu, Yong and Zhang in 2007. The proof based on a non constructive Leray-Schauder fixed point theorem makes use of precise estimates of the observability constant for a linearized wave equation. Assuming that $g^prime$ does not grow faster than $beta ln^{1/2}vert rvert$ at infinity for $beta>0$ small enough and that $g^prime$ is uniformly Holder continuous on $mathbb{R}$ with exponent $sin (0,1]$, we design a constructive proof yielding an explicit sequence converging to a controlled solution for the semilinear equation, at least with order $1+s$ after a finite number of iterations.
The exact solution of a Cauchy problem related to a linear second-order difference equation with constant noncommutative coefficients is reported.
In a separable Hilbert space $X$, we study the linear evolution equation begin{equation*} u(t)+Au(t)+p(t)Bu(t)=0, end{equation*} where $A$ is an accretive self-adjoint linear operator, $B$ is a bounded linear operator on $X$, and $pin L^2_{loc}(0,+infty)$ is a bilinear control. We give sufficient conditions in order for the above control system to be locally controllable to the ground state solution, that is, the solution of the free equation ($pequiv0$) starting from the ground state of $A$. We also derive global controllability results in large time and discuss applications to parabolic equations in low space dimension.
In this paper we study the internal exact controllability for a second order linear evolution equation defined in a two-component domain. On the interface we prescribe a jump of the solution proportional to the conormal derivatives, meanwhile a homogeneous Dirichlet condition is imposed on the exterior boundary. Due to the geometry of the domain, we apply controls through two regions which are neighborhoods of a part of the external boundary and of the whole interface, respectively. Our approach to internal exact controllability consists in proving an observability inequality by using the Lagrange multipliers method. Eventually we apply the Hilbert Uniqueness Method, introduced by J.-L. Lions, which leads to the construction of the exact control through the solution of an adjoint problem. Finally we find a lower bound for the control time depending not only on the geometry of our domain and on the matrix of coefficients of our problem but also on the coefficient of proportionality of the jump with respect to the conormal derivatives.
For linear control systems in discrete time controllability properties are characterized. In particular, a unique control set with nonvoid interior exists and it is bounded in the hyperbolic case. Then a formula for the invariance pressure of this control set is proved.