Skip to main content
SpringerLink
Log in

Recovering the observable part of the initial data of an infinite-dimensional linear system with skew-adjoint generator

  • Original Article
  • Published:
Mathematics of Control, Signals, and Systems Aims and scope Submit manuscript

Abstract

We consider the problem of recovering the initial data (or initial state) of infinite-dimensional linear systems with unitary semigroups. It is well-known that this inverse problem is well posed if the system is exactly observable, but this assumption may be very restrictive in some applications. In this paper we are interested in systems which are not exactly observable, and in particular, where we cannot expect a full reconstruction. We propose to use the algorithm studied by Ramdani et al. in (Automatica 46:1616–1625, 2010) and prove that it always converges towards the observable part of the initial state. We give necessary and sufficient condition to have an exponential rate of convergence. Numerical simulations are presented to illustrate the theoretical results.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2

Similar content being viewed by others

References

  1. Auroux D, Blum J (2005) Back and forth nudging algorithm for data assimilation problems. C R Math Acad Sci Paris 340(12):873–878

    Article  MATH  MathSciNet  Google Scholar 

  2. Auroux D, Blum J (2008) A nudging-based data assimilation method for oceanographic problems: the back and forth nudging (bfn) algorithm. Nonlinear Proc Geophys 15:305–319

    Article  Google Scholar 

  3. Auroux D, Blum J, Nodet M (2011) Diffusive back and forth nudging algorithm for data assimilation. C R Math Acad Sci Paris 349(15–16):849–854

    Article  MATH  MathSciNet  Google Scholar 

  4. Baras JS, Bensoussan A (1987) On observer problems for systems governed by partial differential equations. No. SCR TR 86–47. Maryland University College Park, pp 1–26

  5. Bardos C, Lebeau G, Rauch J (1992) Sharp sufficient conditions for the observation, control, and stabilization of waves from the boundary. SIAM J Control Optim 30(5):1024–1065

    Article  MATH  MathSciNet  Google Scholar 

  6. Bensoussan A (1993) Filtrage optimal des Systèmes Linéaires. Dunod

  7. Blum J, Le Dimet F-X, Navon IM (2009) Data assimilation for geophysical fluids. In: Handbook of numerical analysis. Vol. XIV. Special volume: computational methods for the atmosphere and the Oceans, vol 14 of Handb. Numer. Anal. Elsevier, North-Holland, pp 385–441

  8. Brezis H (2011) Functional analysis. Sobolev spaces and partial differential equations. Universitext. Springer, New York

  9. Chapelle D, Cîndea N, De Buhan M, Moireau P (2012) Exponential convergence of an observer based on partial field measurements for the wave equation. Math Probl Eng. Art. ID 581053, 12

  10. Couchouron J-F, Ligarius P (2003) Nonlinear observers in reflexive Banach spaces. ESAIM Control Optim Calc Var 9:67–104 (electronic)

    Google Scholar 

  11. Curtain RF, Weiss G (1989) Well, posedness of triples of operators (in the sense of linear systems theory). In: Control and estimation of distributed parameter systems (Vorau, (1988) volume 91 of Internat. Ser. Numer. Math. Birkhäuser, Basel, pp 41–59

  12. Curtain RF, Weiss G (2006) Exponential stabilization of well-posed systems by colocated feedback. SIAM J Control Optim 45(1):273–297 (electronic)

    Google Scholar 

  13. Dular P, Geuzaine C GetDP reference manual: the documentation for GetDP, a general environment for the treatment of discrete problems. http://www.geuz.org/getdp/

  14. Ervedoza S, Zuazua E (2009) Uniformly exponentially stable approximations for a class of damped systems. J Math Pures Appl (9) 91(1):20–48

    Google Scholar 

  15. Fink M (1992) Time reversal of ultrasonic fields-basic principles. IEEE Trans Ultrason Ferro Electric Freq Control 39:555–556

    Article  Google Scholar 

  16. Fink M, Cassereau D, Derode A, Prada C, Roux O, Tanter M, Thomas J-L, Wu F (2000) Time-reversed acoustics. Rep Prog Phys 63(12):1933–1995

    Article  Google Scholar 

  17. García GC, Takahashi T (2013) Numerical observers with vanishing viscosity for the 1d wave equation. Adv Comput Math 1–35

  18. Gebauer B, Scherzer O (2008) Impedance-acoustic tomography. SIAM J Appl Math 69(2):565–576

    Article  MATH  MathSciNet  Google Scholar 

  19. Gejadze IY, Le Dimet F-X, Shutyaev V (2010) On optimal solution error covariances in variational data assimilation problems. J Comput Phys 229(6):2159–2178

    Article  MATH  MathSciNet  Google Scholar 

  20. Geuzaine C, Remacle J-F (2009) Gmsh: a 3-D finite element mesh generator with built-in pre- and post-processing facilities. Int J Numer Methods Eng 79(11):1309–1331

    Article  MATH  MathSciNet  Google Scholar 

  21. Guo B-Z, Shao Z-C (2012) Well-posedness and regularity for non-uniform Schrödinger and Euler-Bernoulli equations with boundary control and observation. Quart Appl Math 70(1):111–132

    Article  MATH  MathSciNet  Google Scholar 

  22. Guo B-Z, Zhang X (2005) The regularity of the wave equation with partial Dirichlet control and colocated observation. SIAM J Control Optim 44(5):1598–1613

    Article  MathSciNet  Google Scholar 

  23. Guo B-Z, Zhang Z-X (2007) On the well-posedness and regularity of the wave equation with variable coefficients. ESAIM Control Optim Calc Var 13(4):776–792

    Article  MATH  MathSciNet  Google Scholar 

  24. Ito K, Ramdani K, Tucsnak M (2011) A time reversal based algorithm for solving initial data inverse problems. Discret Contin Dyn Syst Ser S 4(3):641–652

    Article  MATH  MathSciNet  Google Scholar 

  25. Krstic M, Guo B-Z, Smyshlyaev A (2011) Boundary controllers and observers for the linearized Schrödinger equation. SIAM J Control Optim 49(4):1479–1497

    Article  MATH  MathSciNet  Google Scholar 

  26. Kuchment P, Kunyansky L (2008) Mathematics of thermoacoustic tomography. Eur J Appl Math 19(2):191–224

    Article  MATH  MathSciNet  Google Scholar 

  27. Le Dimet F-X, Shutyaev V, Gejadze IY (2006) On optimal solution error in variational data assimilation: theoretical aspects. Russ J Numer Anal Math Model 21(2):139–152

    Article  MATH  Google Scholar 

  28. Liu K (1997) Locally distributed control and damping for the conservative systems. SIAM J Control Optim 35(5):1574–1590

    Article  MATH  MathSciNet  Google Scholar 

  29. Luenberger D (1964) Observing the state of a linear system. IEEE Trans Mil Electron 8:74–80

    Article  Google Scholar 

  30. Moireau P, Chapelle D, Le Tallec P (2008) Joint state and parameter estimation for distributed mechanical systems. Comput Methods Appl Mech Eng 197(6–8):659–677

    Article  MATH  Google Scholar 

  31. Phung KD, Zhang X (2008) Time reversal focusing of the initial state for Kirchhoff plate. SIAM J Appl Math 68(6):1535–1556

    Article  MATH  MathSciNet  Google Scholar 

  32. Ramdani K, Tucsnak M, Weiss G (2010) Recovering the initial state of an infinite-dimensional system using observers. Automatica 46:1616–1625

    Article  MATH  MathSciNet  Google Scholar 

  33. Salamon D (1989) Realization theory in Hilbert space. Math Syst Theory 21:147–164

    Article  MathSciNet  Google Scholar 

  34. Shutyaev V-P, Gejadze IY (2011) Adjoint to the Hessian derivative and error covariances in variational data assimilation. Russ J Numer Anal Math Model 26(2):179–188

    Article  MATH  MathSciNet  Google Scholar 

  35. Smyshlyaev A, Krstic M (2005) Backstepping observers for a class of parabolic PDEs. Syst Control Lett. 54(7):613–625

    Article  MATH  MathSciNet  Google Scholar 

  36. Staffans O, Weiss G (2002) Transfer functions of regular linear systems. II. The system operator and the Lax-Phillips semigroup. Trans Am Math Soc 354(8):3229–3262

    Article  MATH  MathSciNet  Google Scholar 

  37. Staffans O, Weiss G (2004) Transfer functions of regular linear systems. III. Inversions and duality. Integral Equ Oper Theory 49(4):517–558

    Article  MATH  MathSciNet  Google Scholar 

  38. Teng JJ, Zhang G, Huang SX (2007) Some theoretical problems on variational data assimilation. Appl Math Mech 28(5):581–591

    Article  MathSciNet  Google Scholar 

  39. Tucsnak M, Weiss G (2009) Observation and control for operator semigroups. Birkhäuser Verlag, Basel

    Book  MATH  Google Scholar 

  40. Weiss G (1989) The, representation of regular linear systems on Hilbert spaces. In: Control and estimation of distributed parameter systems (Vorau, (1988) vol 91 of Internat. Ser. Numer. Math. Birkhäuser, Basel, pp 401–416

  41. Weiss G (1994) Regular linear systems with feedback. Math Control Signals Syst 7(1):23–57

    Article  MATH  Google Scholar 

  42. Weiss G (1994) Transfer functions of regular linear systems. I. Characterizations of regularity. Trans Am Math Soc 342(2):827–854

    MATH  Google Scholar 

  43. Weiss G, Curtain RF (2008) Exponential stabilization of a Rayleigh beam using collocated control. IEEE Trans Autom Control 53(3):643–654

    Article  MathSciNet  Google Scholar 

  44. Weiss G, Rebarber R (2000) Optimizability and estimatability for infinite-dimensional linear systems. SIAM J Control Optim. 39(4):1204–1232 (electronic)

    Google Scholar 

  45. Weiss G, Staffans OJ, Tucsnak M (2001) Well-posed linear systems–a survey with emphasis on conservative systems. Int J Appl Math Comput Sci 11(1):7–33

    MATH  MathSciNet  Google Scholar 

  46. Zhang X, Zheng C, Zuazua E (2009) Time discrete wave equations: boundary observability and control. Discret Contin Dyn Syst 23(1–2):571–604

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ISAE, 31 055 , Toulouse, France

    Ghislain Haine

  2. Université de Lorraine-CNRS, IECN, 54 506 , Vandoeuvre-lès-Nancy, France

    Ghislain Haine

  3. Inria CORIDA, 54 600 , Villers-lès-Nancy, France

    Ghislain Haine

Authors
  1. Ghislain Haine
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Ghislain Haine.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Haine, G. Recovering the observable part of the initial data of an infinite-dimensional linear system with skew-adjoint generator. Math. Control Signals Syst. 26, 435–462 (2014). https://doi.org/10.1007/s00498-014-0124-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00498-014-0124-z

Keywords

Search

Navigation