Recent Theory and Applications on Inverse ProblemsView this Special Issue
Research Article | Open Access
Dominique Chapelle, Nicolae Cîndea, Maya De Buhan, Philippe Moireau, "Exponential Convergence of an Observer Based on Partial Field Measurements for the Wave Equation", Mathematical Problems in Engineering, vol. 2012, Article ID 581053, 12 pages, 2012. https://doi.org/10.1155/2012/581053
Exponential Convergence of an Observer Based on Partial Field Measurements for the Wave Equation
We analyze an observer strategy based on partial—that is, in a subdomain—measurements of the solution of a wave equation, in order to compensate for uncertain initial conditions. We prove the exponential convergence of this observer under a nonstandard observability condition, whereas using measurements of the time derivative of the solution would lead to a standard observability condition arising in stabilization and exact controlabillity. Nevertheless, we directly relate our specific observability condition to the classical geometric control condition. Finally, we provide some numerical illustrations of the effectiveness of the approach.
Observer theory has been established for decades , but only much more recently has it been considered for systems governed by evolution partial differential equations (PDEs), see [2–4] and references therein. In this realm challenges abound, as in particular observer convergence can no longer be mathematically analyzed solely by investigating the poles of the observer dynamics operator. Furthermore, observers are only meaningful when they provide an actual computable estimate of the system state—and possibly also of some uncertain parameters, see —which implies that we must consider discretization issues both in their design and in their analysis, and this in turn introduces additional serious difficulties, as is already well known in the field of stabilization of PDE-governed systems, see for example .
In this paper we consider an observer strategy originally proposed in  under the name “Schur Displacement Feedback” (SDF) for elasticity-like formulations, and directly adapted here to the scalar wave equation. A major advantage of this observer is that it exploits measurements of the primary variable rather than of the time derivative of this variable. Such direct measurements are more easily obtained in practice, in general, hence no detrimental time differentiation of the data is required in this case. When analyzing the estimation error, we find—as always with Luenberger observers—a closed-loop stabilized dynamics, albeit here of a rather uncommon—nonphysical—type. Nevertheless, we will show that exponential convergence is achieved under an observability condition closely related to that associated with more standard stabilization strategies, a condition which is itself equivalent to the classical geometric control condition .
2. Observer Design
Let be a bounded domain of with a regular boundary . Given a known source term with —namely, the time derivative of —also in , we consider the following wave equation: Denoting , we can rewrite (2.1) as the first-order system where and with for here. Note that with the boundary conditions considered in (2.1), we have and . The operator generates a group and for all then for any , see for example .
For this system, we consider that some measurements are available—assumed to be without noise in this paper—in an open and nonempty subset of and at every time . These measurements can be either of the form or alternatively Our paper will mainly concentrate on the first type of observation, but we will consider the second type as a matter of comparison. In each case, accordingly introducing the observation space or , we can define an observation operator by respectively, with the restriction operator on .
The aim in observer design is to define a system , with modified dynamics compared to that followed by the original system and based on using the discrepancy , so that for any initial condition , the state system tends to in time. The dynamics of the observer read with a gain operator to be defined in in our case.
In order to assess the efficiency of the observer, we can consider the dynamics followed by the error , namely and then should stabilize to . This type of approach can be categorized as a Luenberger observer —also sometimes referred to as “nudging” —applied on an evolution PDE.
In the case of time-derivative measurements (2.5), we can choose , for any . Then the observer system derived from a Direct Velocity Feedback (DVF) gives and the error follows the dynamics This system is well known to be exponentially stable—see [7, 9] and references therein—if and only if the observability condition is satisfied for arbitrary solutions of the system (2.1) with , which is equivalent to the geometric control condition (GCC) of .
In the first case of direct measurements of the field (2.4), we can also propose an observer without any time differentiation involved—typically to avoid amplifying the measurement errors which always arise in practice. To that purpose, we define the operator where is the solution of the following elliptic equation: namely, is a harmonic lifting operator. We easily verify that is bounded from to using the trace and lifting properties to write As a candidate observer, we will consider which gives the following first-order system: with a gain parameter. Note that this system amounts to a modification of the wave equation written in first-order form, with a correction term based on the discrepancy between the measurement and the observer primary variable. This strategy is the direct adaptation to the wave equation of the “Schur Displacement Feedback” (SDF) filtering methodology originally proposed in  for elasticity-like formulations.
Remark 2.1. The above choices of gain operator fulfill the identity where the symbol denotes the adjoint via Riesz representation. This is obvious in the case of (2.5), whereas we will provide the detailed proof with Proposition 3.1 below for (2.4).
Remark 2.2. We consider in this paper a known source term, but the observers considered here can be extended to also estimate an unknown source term, following the strategy introduced in .
3. Exponential Convergence of the Observer System for Field Measurements
In order to establish that (2.15) is an adequate observer for (2.1), we should study the decay of the error satisfying for (2.15) the following system: and we will prove the exponential decay of the associated energy, namely,
Proposition 3.1. Assume that we have the observability condition for some , for arbitrary solutions of (2.1) with . Then, there exist strictly positive constants and such that
Proof. Let us consider the space defined by equipped with the norm It is straightforward to see that this norm is equivalent to the usual norm of , using first (2.14), and secondly with given by the Poincaré inequality. Considering now as a bounded operator from to , we want to identify . Using the orthogonality property directly inferred from the first equation of (2.13), we have that for all and showing that the adjoint via Riesz representation is then Hence, we have proven that , as claimed in Remark 2.1. Therefore, the error system (3.1) dynamics can be rewritten as and the exponential decay of the energy (3.2) is then equivalent to the following observability inequality, see for example Theorem 2.3 in  with , where is the solution of the original wave equation in first-order form (2.2) with , and for some strictly positive constants and , and of course this condition is directly equivalent to (3.3).
However, the observability condition (3.3) is somewhat nonstandard since we are using the -norm of the field in the observation space instead of the -norm of the time derivative. Nevertheless, the following proposition directly relates our observability condition with classical results.
Proposition 3.2. Assume that the geometric control condition of Bardos et al.  is satisfied for some strict subset of such that , in the time interval for . Then the observability condition (3.3) holds for the same time .
Proof. Since the geometric control condition holds, we have the classical observability condition  for some time with sufficiently small, for arbitrary solutions of (2.1) with . We will show that this entails (3.3) by an argument inspired from . Let be a cutoff function satisfying and for every . Denote also . Then, by repeated integrations by parts, we obtain The definition of entails , hence This identity combined with the properties of the cutoff functions and provides, for any strictly positive , the existence of a constant such that Substituting for in all the above computations gives We proceed by making the change of variable in the left-hand side integral, yielding Noting that satisfies the wave equation with initial data and applying (3.12) with this shifted solution, we obtain that there exists also such that Combining (3.18), (3.19), and the the fact that the energy of the solution of the wave equation is exactly conserved over time, we have our observability inequality (3.3) upon choosing .
Remark 3.3. Note that this proof requires a geometric control condition slightly stronger than that directly associated with the measurement domain , since is a strict subset. However, it is likely that our desired observability condition (2.11) could also be established directly by adapting a microlocal analysis strategy used for the standard observability condition (3.3), for example, using defect measures . In our case, the defect measure of interest would be in as considered more recently in . This defect measure should be proven to be made of the same bicharacteristic set as the defect measure introduced in  for the classical GCC. In this context we would have the new observability condition with the same subdomain . Nevertheless, the advantage of our approach lies in its compactness, and moreover it demonstrates an interesting property of equirepartition (over time) of the total energy localized within the subdomain between the kinetic and potential contributions.
Remark 3.4. For both observer strategies, the potential noise in the measurements—disregarded in this paper—would simply entail an additional source term in the error equations, without amplification of this error term by time or space differentiation. The parameter should then be chosen to obtain the best decay rate without undue amplification of the noise [2, 6].
4. Numerical Illustrations
In order to illustrate the effectiveness of our Schur Displacement Feedback (SDF) observer approach—and compare it to the classical Direct Velocity Feedback (DVF) observer—we consider the two-dimensional domain shown in Figure 1 and, with the two choices of observation domains also displayed in the Figure. In order for the mesh to be conforming with the observation domain, we use one specific triangular mesh for each observation choice, with very similar mesh sizes—corresponding to about 950 vertices—for both cases, one of which being shown in Figure 2 with the initial condition considered in the simulations. The variational form of the wave equation is then discretized using -Lagrange finite elements in space and a mid-point Newmark type time-discretization scheme . As discretization issues in relation to observation and stabilization properties are not the topic of this paper—we instead refer to [6, 14] for detailed discretization considerations and analysis—we use sufficiently small values of the time step to obtain “converged” solutions in time, and we focus on the semidiscrete equation—namely, discretized space-wise only—when computing poles. Furthermore, as it is well known that spatial discretization itself induces undesirable numerical artifacts in the stabilization and control of our type of partial differential equation, with some numerical “high-frequency” poles featuring vanishing dissipation, we resort to incorporating a numerical viscosity term as advocated in [14, 15] to circumvent this difficulty.
(a) Large observation domain
(b) Small observation domain
We show in Figures 3(a) and 3(b) the numerical poles of the SDF-stabilized equation, for the two observation domains considered (). We can see that the stabilization strategy is very effective for the large observation domain, as all real parts lie below −1, and below −2 or so when excluding high-frequency poles. As a matter of comparison, the imaginary part of the first undamped eigenmode is about 5.6. Of course, the effectiveness is significantly reduced in the case of the second observation domain, which does not satisfy the above geometric control condition, indeed. We also compare in Figures 3(c) and 3(d) the corresponding poles obtained with the DVF strategy (), and we observe that the two approaches provide similar stabilization properties.
(a) SDF—large observation domain
(b) SDF—small observation domain
(c) DVF—large observation domain
(d) DVF—small observation domain
This is further illustrated in Figure 4, where we compare the energy norms of the SDF-stabilized numerical solutions in time with that of the wave equation itself—note that the time discretization scheme used is energy preserving. This confirms the excellent stabilization properties of the SDF approach, as expected provided that the controllability (or equivalent observability) condition is fulfilled. Of course, this directly translates into equivalent observation convergence properties following our above discussion.
- D. G. Luenberger, “An introduction to observers,” IEEE Transactions on Automatic Control, vol. 16, no. 6, pp. 596–602, 1971.
- P. Moireau, D. Chapelle, and P. Le Tallec, “Joint state and parameter estimation for distributed mechanical systems,” Computer Methods in Applied Mechanics and Engineering, vol. 197, no. 6-8, pp. 659–677, 2008.
- D. Auroux and J. Blum, “A nudging-based data assimilation method: the back and forth nudging (BFN) algorithm,” Nonlinear Processes Geophysics, vol. 15, no. 2, pp. 305–319, 2008.
- K. Ramdani, M. Tucsnak, and G. Weiss, “Recovering the initial state of an infinite-dimensional system using observers,” Automatica, vol. 46, no. 10, pp. 1616–1625, 2010.
- L. R. Tcheugoué Tébou and E. Zuazua, “Uniform exponential long time decay for the space semi-discretization of a locally damped wave equation via an artificial numerical viscosity,” Numerische Mathematik, vol. 95, no. 3, pp. 563–598, 2003.
- P. Moireau, D. Chapelle, and P. Le Tallec, “Filtering for distributed mechanical systems using position measurements: perspectives in medical imaging,” Inverse Problems, vol. 25, no. 3, Article ID 035010, 25 pages, 2009.
- C. Bardos, G. Lebeau, and J. Rauch, “Un exemple d'utilisation des notions de propagation pour le contrôle et la stabilisation des problèmes hyperboliques,” Rendiconti del Seminario Matematico del Universita Politecnico Torino, Fascicolo Speciale (Hyperbolic Equations), pp. 12–31, 1988.
- A. Pazy, Semigroups of Linear Operators and Applications to Partial Differential Equations, vol. 44 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1983.
- K. Liu, “Locally distributed control and damping for the conservative systems,” SIAM Journal on Control and Optimization, vol. 35, no. 5, pp. 1574–1590, 1997.
- X. Zhang, “Explicit observability estimate for the wave equation with potential and its application,” Proceedings: Mathematical, Physical and Engineering Sciences, vol. 456, no. 1997, pp. 1101–1115, 2000.
- P. Gérard, “Microlocal defect measures,” Communications in Partial Differential Equations, vol. 16, no. 11, pp. 1761–1794, 1991.
- N. Burq and G. Lebeau, “Mesures de défaut de compacité, application au système de lamé,” Annales Scientifiques de l'École Normale Supérieure, vol. 34, no. 6, pp. 817–870, 2001.
- N. Burq and P. Gérard, Contrôle optimal des équations aux derivées partielles, Cours de l'Ecole Polytechnique, 2002.
- D. Chapelle, N. Cîndea, and P. Moireau, “Improving convergence in numerical analysis using observers—the wave-like equation case,” Mathematical Models and Methods in Applied Sciences. In press.
- S. Ervedoza and E. Zuazua, “Uniformly exponentially stable approximations for a class of damped systems,” Journal de Mathématiques Pures et Appliquées, vol. 91, no. 1, pp. 20–48, 2009.
Copyright © 2012 Dominique Chapelle et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.