SearcharxivSearch

arXiv subjects

Huaiqiang Yu

Publications and source records attributed to Huaiqiang Yu.

18 recordsLinked to original sources

Observability from measurable sets for strongly coupled parabolic systems via single-component observation

We establish an observability inequality from space-time measurable sets for a class of strongly coupled parabolic systems consisting of two equations, where the observation acts on a single-component. The model is motivated by parabolic equations with complex coefficients and serves as a prototypical example of strongly coupled systems. The main difficulty lies in the fact that, unlike in the scalar and weakly coupled cases, pointwise-in-time interpolation observability estimates fail, as the observed component may exhibit high-frequency oscillatory cancellations induced by the coupling. To overcome this difficulty, we develop a new integral-type interpolation observability inequality based on a Remez-type inequality. With the aid of this integral-type interpolation observability inequality and the strategy developed in [Phung and Wang, JEMS, (2013), 681--703] and [Apraiz, Escauriaza,Wang and Zhang, JEMS, (2014), 2433--2475] for deriving observability from measurable sets, we obtain the desired observability inequality.

math.OC

Rapid stabilizability of infinite-dimensional control systems with time delays

In this paper, we investigate the rapid stabilizability of linear infinite-dimensional control systems with a constant time delay. Under the assumptions that the state operator generates an immediately compact semigroup and that the delay coefficient is constant, we establish two main results: (i) The presence of a time-delay term does not affect the rapid stabilizability of the control system; that is, this property depends only on the state and control operators; (ii) Static feedback is sufficient to achieve rapid stabilization of the system. Applications are also presented.

math.OC

Stabilizability with bounded feedback for analytic linear control systems

In this paper, we give sufficient conditions under which linear abstract control systems for which the semigroup is analytic are stabilizable with a bounded feedback. We obtain various characterizations of that property, which extend some earlier works. We illustrate our findings with several examples.

math.OC

Periodic propagation of singularities for heat equations with time delay

This paper presents two remarkable phenomena associated with the heat equation with a time delay: namely, the propagation of singularities and periodicity. These are manifested through a distinctive mode of propagation of singularities in the solutions. Precisely, the singularities of the solutions propagate periodically in a bidirectional fashion along the time axis. Furthermore, this propagation occurs in a stepwise manner. More specifically, when propagating in the positive time direction, the order of the joint derivatives of the solution increases by 2 for each period; conversely, when propagating in the reverse time direction, the order of the joint derivatives decreases by 2 per period. Additionally, we elucidate the way in which the initial data and historical values impact such a propagation of singularities. The phenomena we have discerned not only corroborate the pronounced differences between heat equations with and without time delay but also vividly illustrate the substantial divergence between the heat equation with a time delay and the wave equation, especially when viewed from the point of view of singularity propagation.

math.AP

On invariance of observability for BSDEs and its applications to stochastic control systems

In this paper, we establish the invariance of observability for the observed backward stochastic differential equations (BSDEs) with constant coefficients, relative to the filtered probability space. This signifies that the observability of these observed BSDEs with constant coefficients remains unaffected by the selection of the filtered probability space. As an illustrative application, we demonstrate that for stochastic control systems with constant coefficients, weak observability, approximate null controllability with cost, and stabilizability are equivalent across some or any filtered probability spaces.

math.OC

Stabilizability of linear systems with discrete observation mode

For linear control systems, the usual state feedback stabilizability has two components: one is a continuous observation mode (i.e., to observe solutions continuously in time), and the other is a class of feedback laws (which is usually the space of all of the linear and bounded operators from a state space to a control space). This paper studies the stabilizability for abstract linear control systems, with a discrete observation mode (i.e., to observe solutions discretely in time) and two different classes of feedback laws. We first characterize these types of stabilizabilities via some weak observability inequalities for the dual systems. Then, we use these characterizations to reveal the connections between these types of stabilizabilities and those with continuous observation mode. Finally, we show some applications of the aforementioned weak observability inequalities.

math.OC

Feedback law to stabilize linear infinite-dimensional systems

We design a new feedback law to stabilize a linear infinite-dimensional control system, where the state operator generates a C0-group and the control operator is unbounded. Our feedback law is based on the integration of a mutated Gramian operator-valued function. In the structure of the aforementioned mutated Gramian operator, we utilize the weak observability inequality in [21, 14] and borrow some idea used to construct generalized Gramian operators in [11, 23, 24]. Unlike most related works where the exact controllability is required, we only assume the above-mentioned weak observability inequality which is equivalent to the stabilizability of the system.

math.OC

Quantitative unique continuation and observability on an equidistributed set for the diffusion equation in R^N

In this paper, we obtain a quantitative estimate of unique continuation and an observability inequality from an equidistributed set for solutions of the diffusion equation in the whole space RN. This kind of observability indicates that the total energy of solutions can be controlled by the energy localized in a measurable subset, which is equidistributed over the whole space. The proof of our results is based on an interesting reduction method [18, 22], as well as the propagation of smallness for the gradient of solutions to elliptic equations [24].

math.AP

Exponential stabilization on infinite dimensional system with impulse controls

This paper studies the exponential stabilization on infinite dimensional system with impulse controls, where impulse instants appear periodically. The first main result shows that exponential stabilizability of the control system with a periodic feedback law is equivalent to one kind of weak observability inequalities. The second main result presents that, in the setting of a discrete LQ problem, the exponential stabilizability of control system with a periodic feedback law is equivalent to the solvability of an algebraic Riccati-type equation which was built up in [Qin, Wang and Yu, SIAM J. Control Optim., 59 (2021), pp. 1136-1160] for finite dimensional system. As an application, some sufficient and necessary condition for the exponential stabilization of an impulse controlled system governed by coupled heat equations is given.

math.OC

Characterizations of complete stabilizability

We present several characterizations, via some weak observability inequalities, on the complete stabilizability for a control system $[A,B]$, i.e., $y'(t)=Ay(t)+Bu(t)$, $t\geq 0$, where $A$ generates a $C_0$-semigroup on a Hilbert space $X$ and $B$ is a linear and bounded operator from another Hilbert space $U$ to $X$. We then extend the aforementioned characterizations in two directions: first, the control operator $B$ is unbounded; second, the control system is time-periodic. We also give some sufficient conditions, from the perspective of the spectral projections, to ensure the weak observability inequalities. As applications, we provide several examples, which are not null controllable, but can be verified, via the weak observability inequalities, to be completely stabilizable.

math.OC

Switching properties of time optimal controls for systems of heat equations coupled by constant matrices

This paper studies the time optimal control problem for systems of heat equations coupled by a pair of constant matrices. The control constraint is of the ball-type, while the target is the origin of the state space. We obtain an upper bound for the number of switching points of the optimal control over each interval with a fixed length. Also, we prove that at each switching point, the optimal control jump from one direction to the reverse direction.

math.OC

Constrained approximate null controllability of coupled heat equation with periodic impulse controls

This paper is concerned with the constrained approximate null controllability of heat equation coupled by a real matrix $P$, where the controls are impulsive and periodically acted into the system through a series of real matrices $\{Q_k\}_{k=1}^\hbar$. The conclusions are given in two cases. In the case that the controls act globally into the system, we prove that the system is global constrained approximate null controllable under a spectral condition of $P$ together with a rank condition of $P$ and $\{Q_k\}_{k=1}^\hbar$; While in the case that the controls act locally into the system, we prove the global constrained approximate null controllability under a stronger condition for $P$ and the same rank condition as the above case. Moreover, we prove that the above mentioned spectral condition of $P$ is necessary for global constrained approximate null controllability of the control problem considered in this paper.

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

Interpolation inequality at one time point for parabolic equations with time-independent coefficients and applications

In this paper, we study the Hölder-type interpolation inequality and observability inequality from measurable sets in time for parabolic equations either with L^p unbounded potentials or with electric potentials. The parabolic equations under consideration evolve in bounded C^{1,1} domains of R^N (N\geq3) with homogeneous Neumann boundary conditions. The approach for the interpolation inequality is based on a modified reduction method and some stability estimates for the corresponding elliptic operator.

math.OC

Approximation of time optimal controls for heat equations with perturbations in the system potential

In this paper, we study a certain approximation property for a time optimal control problem of the heat equation with $L^\infty$-potential. We prove that the optimal time and the optimal control to the same time optimal control problem for the heat equation, where the potential has a small perturbation, are close to those for the original problem. We also verify that for the heat equation with a small perturbation in the potential, one can construct a new time optimal control problem, which has the same target as that of the original problem, but has a different control constraint bound from that of the original problem, such that the new and the original problems share the same optimal time, and meanwhile the optimal control of the new problem is close to that of the original one. The main idea to approach such approximation is an appropriate use of an equivalence theorem of minimal norm and minimal time control problems for the heat equations under consideration. This theorem was first established by G.Wang and E. Zuazua in [20] for the case where the controlled system is an internally controlled heat equation without the potential and the target is the origin of the state space.

math.OC