×

On the stabilization of diffusion equations: Boundary observation and feedback. (English) Zbl 0545.93053

Feedback stabilization of a typical unstable heat equation by means of an auxiliary functional observer is studied. The control system is described by \[ (\partial /\partial t)u(t,x)=\sigma u(t,x)=(\Delta - q(x))u(t,x),\quad u(0,x)=u_ 0(x),\quad x\in \Omega, \]
\[ \tau u(t,\xi)=\alpha(\xi)u(t,\xi)+(1-\alpha(\xi))(\partial /\partial n)u(t,\xi)=\sum^{M}_{k=1}f_ k(t)h_ k(\xi),\quad \xi \in \Gamma. \] Here, \(\Omega\) denotes a connected bounded domain in \({\mathbb{R}}^ m\) with a boundary \(\Gamma\), \(f_ k(t)\) inputs, and \(h_ k(\xi)\) controllers. The outputs are a finite number of observations on \(\Gamma\) given by \((u(t,\cdot),w_ k)_{\Gamma},\quad 1\leq k\leq N.\) Let \(\{\lambda_ i,\phi_{ij};\quad i\geq 1,\quad 1\leq j\leq m_ i(<\infty)\}\) be the eigenpairs such that \(\sigma \phi_{ij}=-\lambda_ i\phi_{ij},\quad \tau \phi_{ij}=0,\) and \(\lambda_ 1<\lambda_ 2<...\to \infty.\) Our goal is as follows: Given \(h_ k\) and \(w_ k\) on \(\Gamma\), design \(f_ k(t)\) as a suitable feedback of the outputs in order to stabilize the evolution u(t,\(\cdot)\). The feedback is implemented via a functional observer, which is first a conceptional one. The main result is as follows: Under some conditions we can find suitable \(\alpha_ k,\quad \rho_ k,\quad 1\leq k\leq M,\) such that the state u and the observer v satisfy \[ \| u(t,\cdot)\| \quad and\quad \| v(t)\|_ H\leq const e^{-\kappa t}\{\| u_ 0\| +\| v_ 0\|_ H\},\quad t\geq 0. \] The observer is reduced to purely finite- dimensional one by adding a small perturbation. The system finally obtained has a state \(\{u(t,\cdot),v_ 1(t)\}\), where \(v_ 1(t)\) belongs to \({\mathbb{R}}^ S\), S being finite. The final estimate is the same as above with \(\| v\|_ H\) replaced by \(| v_ 1|_{{\mathbb{R}}^ S}\).

MSC:

93D15 Stabilization of systems by feedback
35K05 Heat equation
93C20 Control/observation systems governed by partial differential equations
93C05 Linear systems in control theory
47B25 Linear symmetric and selfadjoint operators (unbounded)
47A10 Spectrum, resolvent
Full Text: DOI

References:

[1] Fujii, N., Feedback stabilization of distributed parameter systems by a functional observer, SIAM J. Control Optim., 18, 108-120 (1980) · Zbl 0428.93047
[2] Ito, S., Fundamental solutions of parabolic differential equations and boundary value problems, Japan J. Math., 27, 55-102 (1957) · Zbl 0092.31101
[3] Ito, S., Partial Differential Equations (1966), Baifukan: Baifukan Tokyo, (in Japanese)
[4] Krein, S. G., Linear Differential Equations in Banach Space (1971), Amer. Math. Soc: Amer. Math. Soc Providence, R.I · Zbl 0636.34056
[5] Levinson, N., Gap and Density Theorems, (Amer. Math. Soc. Colloq. Publ.. Amer. Math. Soc. Colloq. Publ., New York (1940)) · JFM 66.0332.01
[6] Luenberger, D. G., Observers for multivariable systems, IEEE Trans. Automat. Control, AC-11, 190-197 (1966)
[7] Nambu, T., Feedback stabilization for distributed parameter systems of parabolic type III, Rend. Circ. Mat. Palermo Serie II, 31, 41-67 (1982) · Zbl 0514.93050
[8] Nambu, T., Feedback stabilization of diffusion equations by a functional observer, J. Differential Equations, 43, 257-280 (1982) · Zbl 0493.93042
[9] Rosenblum, M., On the operator equation BX − \( XA = Q\), Duke Math. J., 23, 263-269 (1956) · Zbl 0073.33003
[10] Titchmarsh, E. C., The Theory of Functions (1939), Oxford Univ. (Clarendon) Press: Oxford Univ. (Clarendon) Press Oxford · Zbl 0022.14602
[11] Kato, T., A generalization of the Heintz inequality, (Proc. Japan Acad., 37 (1961)), 305-308 · Zbl 0104.09304
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.