Searcharxiv⌕ Search

arXiv subjects

Gengsheng Wang

Publications and source records attributed to Gengsheng Wang.

At least 37 records · Page 2Linked to original sources

Observable sets, potentials and Schrödinger equations

We characterize observable sets for 1-dim Schrödinger equations in $\mathbb{R}$: $i \partial_t u = (-\partial_x^2+x^{2m})u$ (with $m\in \mathbb{N}:=\{0,1,\dots\}$). More precisely, we obtain what follows: First, when $m=0$, $E\subset\mathbb{R}$ is an observable set at some time if and only if it is thick, namely, there is $γ>0$ and $L>0$ so that $$ \left|E \bigcap [x, x+ L]\right|\geq γL\;\;\mbox{for each}\;\;x\in \mathbb{R}; $$ Second, when $m=1$ ($m\geq 2$ resp.), $E$ is an observable set at some time (at any time resp. ) if and only if it is weakly thick, namely $$ \varliminf_{x \rightarrow +\infty} \frac{|E\bigcap [-x, x]|}{x} >0. $$ From these, we see how potentials $x^{2m}$ affect the observability (including the geometric structures of observable sets and the minimal observable time). Besides, we obtain several supplemental theorems for the above results, in particular, we find that a half line is an observable set at time $T>0$ for the above equation with $m=1$ if and only if $T>\fracπ{2}$.

math.OC↗

On switching properties of time optimal controls for linear ODEs

In this paper, we present some properties of time optimal controls for linear ODEs with the ball-type control constraint. More precisely, for an optimal control, we build up an upper bound for the number of its switching points; show that it jumps from one direction to the reverse direction at each switching point; give its dynamic behaviour between two consecutive switching points; and study its switching directions.

math.OC↗

Stabilization on periodic impulse control systems

This paper studies the stabilization for a kind of linear and impulse control systems in finite-dimensional spaces, where impulse instants appear periodically. We present several characterizations on the stabilization; show how to design feedback laws; and provide locations for impulse instants to ensure the stabilization. In the proofs of these results, we set up a discrete LQ problem; derived a discrete dynamic programming principle, built up a variant of Riccati's equation; applied repeatedly the Kalman controllability decomposition; and used a controllability result built up in [17].

math.OC↗

Stabilization of infinite-dimensional linear control systems by POD reduced-order Riccati feedback

There exist many ways to stabilize an infinite-dimensional linear autonomous control systems when it is possible. Anyway, finding an exponentially stabilizing feedback control that is as simple as possible may be a challenge. The Riccati theory provides a nice feedback control but may be computationally demanding when considering a discretization scheme. Proper Orthogonal Decomposition (POD) offers a popular way to reduce large-dimensional systems. In the present paper, we establish that, under appropriate spectral assumptions, an exponentially stabilizing feedback Riccati control designed from a POD finite-dimensional approximation of the system stabilizes as well the infinite-dimensional control system.

math.OC↗

Characterization by observability inequalities of controllability and stabilization properties

Given a linear control system in a Hilbert space with a bounded control operator, we establish a characterization of exponential stabilizability in terms of an observability inequality. Such dual characterizations are well known for exact (null) controllability. Our approach exploits classical Fenchel duality arguments and, in turn, leads to characterizations in terms of observability inequalities of approximately null controllability and of $α$-null controllability. We comment on the relationships between those various concepts, at the light of the observability inequalities that characterize them.

math.OC↗

Asymptotic observability identity for the heat equation in R^d

We build up an asymptotic observability identity for the heat equation in the whole space. It says that one can approximately recover a solution, through observing it over some countable lattice points in the space and at one time. This asymptotic identity is a natural extension of the well-known Shannon-Whittaker sampling theorem \cite{Shannon,Whittaker}. According to it, we obtain a kind of feedback null approximate controllability for impulsively controlled heat equations. We also obtain a weak asymptotic observability identity with finitely many observation lattice points. This identity holds only for some solutions to the heat equation.

math.AP↗

Output feedback stabilization for heat equations with sampled-data controls

In this paper, we build up an output feedback law to stabilize a sampled-data controlled heat equation (with a potential) in a bounded domain $Ω$. The feedback law abides the following rules: First, we divide equally the time interval $[0,+\infty)$ into infinitely many disjoint time periods, and divide each time period into three disjoint subintervals. Second, for each time period, we observe a solution over an open subset of $Ω$ in the first subinterval, take sample from outputs at one time point of the first subinterval, add a time-invariant output feedback control over another open subset of $Ω$ in the second subinterval; let the equation evolve free in the last subinterval. Thus, the corresponding feedback control is of sampled-data. Our feedback law has the following advantages: the sampling period (which is the length of the above time period) can be arbitrarily taken; the feedback law has an explicit expression in terms of the sampling period; the behaviors of the norm of the feedback law, when the sampling period goes to zero or infinity, are clear. The construction of the feedback law is based on two kinds of approximate null-controllability for heat equations. One has time-invariant controls, while another has impulse controls. The studies of the aforementioned controllability with time-invariant controls need a new observability inequality for heat equations built up in the current work.

math.OC↗

Observable set, observability, interpolation inequality and spectral inequality for the heat equation in $\mathbb{R}^n$

This paper studies connections among observable sets, the observability inequality, the Hölder-type interpolation inequality and the spectral inequality for the heat equation in $\mathbb R^n$. We present a characteristic of observable sets for the heat equation. In more detail, we show that a measurable set in $\mathbb{R}^n$ satisfies the observability inequality if and only if it is $γ$-thick at scale $L$ for some $γ>0$ and $L>0$.We also build up the equivalence among the above-mentioned three inequalities. More precisely, we obtain that if a measurable set $E\subset\mathbb{R}^n$ satisfies one of these inequalities, then it satisfies others. Finally, we get some weak observability inequalities and weak interpolation inequalities where observations are made over a ball.

math.OC↗

Time optimal sampled-data controls for heat equations

In this paper, we first design a time optimal control problem for the heat equation with sampled-data controls, and then use it to approximate a time optimal control problem for the heat equation with distributed controls. Our design is reasonable from perspective of sampled-data controls. And it might provide a right way for the numerical approach of a time optimal distributed control problem, via the corresponding semi-discretized (in time variable) time optimal control problem. The study of such a time optimal sampled-data control problem is not easy, because it may have infinitely many optimal controls. We find connections among this problem, a minimal norm sampled-data control problem and a minimization problem. And obtain some properties on these problems. Based on these, we not only build up error estimates for optimal time and optimal controls between the time optimal sampled-data control problem and the time optimal distributed control problem, in terms of the sampling period, but also prove that such estimates are optimal in some sense.

math.OC↗

Controllability of impulse controlled systems of heat equations coupled by constant matrices

This paper studies the approximate and null controllability for impulse controlled systems of heat equations coupled by a pair (A,B) of constant matrices. We present a necessary and sufficient condition for the approximate controllability, which is exactly Kalman's controllability rank condition of (A,B). We prove that when such a system is approximately controllable, the approximate controllability over an interval [0,T] can be realized by adding controls at arbitrary n different control instants 0<τ_1<τ_2<\cdots<τ_n<T, provided that τ_n-τ_1<d_A, where d_A=\min\{π/|Im λ| : λ\in σ(A)\}. We also show that in general, such systems are not null controllable.

math.OC↗

Impulse output rapid stabilization for heat equations

The main aim of this paper is to provide a new feedback law for the heat equations in a bounded domain $Ω$ with Dirichlet boundary condition. Two constraints will be compulsory: First, The controls are active in a subdomain of $Ω$ and at discrete time points; Second, The observations are made in another subdomain and at different discrete time points. Our strategy consists in linking an observation estimate at one time, minimal norm impulse control, approximate inverse source problem and rapid output stabilization.

math.AP↗

Equivalence between minimal time and minimal norm control problems for the heat equation

This paper presents the equivalence between minimal time and minimal norm control problems for internally controlled heat equations. The target is an arbitrarily fixed bounded, closed and convex set with a nonempty interior in the state space. This study differs from [G. Wang and E. Zuazua, \textit{On the equivalence of minimal time and minimal norm controls for internally controlled heat equations}, SIAM J. Control Optim., 50 (2012), pp. 2938-2958] where the target set is the origin in the state space. When the target set is the origin or a ball, centered at the origin, the minimal norm and the minimal time functions are continuous and strictly decreasing, and they are inverses of each other. However, when the target is located in other place of the state space, the minimal norm function may be no longer monotonous and the range of the minimal time function may not be connected. These cause the main difficulty in our study. We overcome this difficulty by borrowing some idea from the classical raising sun lemma (see, for instance, Lemma 3.5 and Figure 5 on Pages 121-122 in [E. M. Stein and R. Shakarchi, \textit{Real Analysis: Measure Theory, Integration, and Hilbert Spaces}, Princeton University Press, 2005]).

math.OC↗

Observability and unique continuation inequalities for the Schrödinger equation

In this paper, we present several observability and unique continuation inequalities for the free Schrödinger equation in the whole space. The observations in these inequalities are made either at two points in time or one point in time. These inequalities correspond to different kinds of controllability for the free Schrödinger equation. We also find that the observability inequality at two points in time is equivalent to the uncertainty principle built up in [18].

math.OC↗

Decompositions and bang-bang properties

In this paper, minimal time and minimal norm control problems are studied. The target sets considered are the origin of state spaces and controls are point-wisely bounded functions. The system stuided in this paper is assumed to have no the null controllability or the backward uniqueness property. In this study, minimal time and minimal norm control problems depend on two parameters, respectively. Whether these problems hold the bang-bang property also depend on the parameters. We study the bang-bang property for different parameters for minimal time and minimal norm control problems, by assuming some kinds of weak controllability and unique continuation property. These two properties automatically hold for general time-invariant finitely dimensional controlled systems.

math.OC↗

Perturbations of time optimal control problems for a class of abstract parabolic systems

In this work we study the asymptotic behavior of the solutions of a class of abstract parabolic time optimal control problems when the generators converge, in an appropriate sense, to a given strictly negative operator. Our main application to PDEs systems concerns the behavior of optimal time and of the associated optimal controls for parabolic equations with highly oscillating coefficients, as we encounter in homogenization theory. Our main results assert that, provided that the target is a closed ball centered at the origin and of positive radius, the solutions of the time optimal control problems for the systems with oscillating coefficients converge, in the usual norms, to the solution of the corresponding problem for the homogenized system. In order to prove our main theorem, we provide several new results, which could be of a broader interest, on time and norm optimal control problems.

math.OC↗

Observability inequalities from measurable sets for some evolution equations

In this paper, we build up two observability inequalities from measurable sets in time for some evolution equations in Hilbert spaces from two different settings. The equation reads: $u'=Au,\; t>0$, and the observation operator is denoted by $B$. In the first setting, we assume that $A$ generates an analytic semigroup, $B$ is an admissible observation operator for this semigroup (cf. \cite{TG}), and the pair $(A,B)$ verifies some observability inequality from time intervals. With the help of the propagation estimate of analytic functions (cf. \cite{V}) and a telescoping series method provided in the current paper, we establish an observability inequality from measurable sets in time. In the second setting, we suppose that $A$ generates a $C_0$ semigroup, $B$ is a linear and bounded operator, and the pair $(A, B)$ verifies some spectral-like condition. With the aid of methods developed in \cite{AEWZ} and \cite{PW2} respectively, we first obtain an interpolation inequality at one time, and then derive an observability inequality from measurable sets in time. These two observability inequalities are applied to get the bang-bang property for some time optimal control problems.

math.OC↗

Attainable subspaces and the bang-bang property of time optimal controls for heat equations

In this paper, we study two subjects on internally controlled heat equations with time varying potentials: the attainable subspaces and the bang-bang property for some time optimal control problems. We present some equivalent characterizations on the attainable subspaces, and provide a sufficient conditions to ensure the bang-bang property. Both the above-mentioned characterizations and the sufficient condition are closely related to some function spaces consisting of some solutions to the adjoint equations. It seems for us that the existing ways to derive the bang-bang property for heat equations with time-invariant potentials (see, for instance, [4],[7],[16],[26]) do not work for the case where the potentials are time-varying. We provide another way to approach it in the current paper.

math.OC↗

Equivalent Conditions on Periodic Feedback Stabilization for Linear Periodic Evolution Equations

This paper studies the periodic feedback stabilization for a class of linear $T$-periodic evolution equations.Several equivalent conditions on the linear periodic feedback stabilization are obtained. These conditions are related with the following subjects: the attainable subspace of the controlled evolution equation under consideration; the unstable subspace (of the evolution equation with the null control) provided by the Kato projection; the Poincar$\acute{e}$ map associated with the evolution equation with the null control; and two unique continuation properties for the dual equations on different time horizons $[0,T]$ and $[0,n_0T]$ (where $n_0$ is the sum of algebraic multiplicities of distinct unstable eigenvalues of the Poincar$\acute{e}$ map). It is also proved that a $T$-periodic controlled evolution equation is linear $T$-periodic feedback sabilizable if and only if it is linear $T$-periodic feedback sabilizable with respect to a finite dimensional subspace. Some applications to heat equations with time-periodic potentials are presented.

math.OC↗