arXivDaily arXiv每日学术速递 周一至周五更新
北美退伍军人节(Veterans Day),12 日无更新
arXiv 1406.3422math.OC
收藏

某些发展方程的可测集可观测性不等式

Observability inequalities from measurable sets for some evolution equations

Gengsheng Wang, Can Zhang

摘要:

本文对Hilbert空间中的某些发展方程在两种不同的情形下建立了两个关于时间上的可测集的能观性不等式。方程为:$u'=Au,\; t>0$,观测算子用$B$表示。在第一种情况下,我们假设$A$生成一个解析半群,$B$是这个半群的一个容许观测算子(参见:\cite{TG}),对$(A,B)$从时间间隔上验证了一些可观测性不等式。借助解析函数的传播估计(cf. \cite{V})和本文提供的伸缩级数方法,建立了一个关于时间可测集的能观性不等式.在第二种情况下,我们假设$A$生成一个$C_0$半群,$B$是一个线性有界算子,并且对$(A, B)$证明了某些类谱条件。借助于\cite{AEWZ}和\cite{PW2}分别发展的方法,我们首先一次性得到一个插值不等式,然后从时间上的可测集出发,导出一个可观测性不等式.利用这两个能观性不等式得到了一类时间最优控制问题的bang-bang性质。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑