Advertisement

Approximate controllability of the wave equation with mixed boundary conditions

  • Leonid PestovEmail author
  • Dmytro Strelnikov
Article
  • 2 Downloads

Abstract

We consider initial boundary-value problem for acoustic equation in the time space cylinder Ω × (0; 2T) with unknown variable speed of sound, zero initial data, and mixed boundary conditions. We assume that (Neumann) controls are located at some part Σ Ω [0; T]; Σ ⊂ 𝜕Ω of the lateral surface of the cylinder Ω × (0; T). The domain of observation is Σ × [0; 2T]; and the pressure on another part (𝜕ΩnΣ) × [0; 2T]) is assumed to be zero for any control. We prove the approximate boundary controllability for functions from the subspace VH1(Ω) whose traces have vanished on Σ provided that the observation time is 2T more than two acoustic radii of the domain Ω. We give an explicit procedure for solving Boundary Control Problem (BCP) for smooth harmonic functions from V (i.e., we are looking for a boundary control f which generates a wave uf such that uf (., T) approximates any prescribed harmonic function from V ). Moreover, using the Friedrichs–Poincaré inequality, we obtain a conditional estimate for this BCP. Note that, for solving BCP for these harmonic functions, we do not need the knowledge of the speed of sound.

Keywords

Acoustical tomography inverse problem wave equation boundary control method generalized Friedrichs–Poincaré inequality 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    M. I. Belishev, “Equations of Gel’fand-Levitan type in a multidimensional inverse problem for the wave equation,” J. Soviet Math., 50, No. 6, 1940–1944 (1990).MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    M. I. Belishev, “Dynamical systems with boundary control: models and characterization of inverse data,” Inverse Probl., 17, No. 4, 659–682 (2001).MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    M. I. Belishev and I. Lasiecka, “The dynamical Lame system: regularity of solutions, boundary controllability and boundary data continuation. A tribute to J. L. Lions,” ESAIM Control Optim. Calc. Var., 8, 143–167 (2002).MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    M. I. Belishev, “Local boundary contollability in classes of differeniable functions for the wave equations,” Zapiski POMI, 461 (2017), 52–64 (in Russian).Google Scholar
  5. 5.
    Yu. M. Berezanskii, Expansions in Eigenfunctions of Self-Adjoint Operators, Amer. Math. Soc., Providence, RI, 1968.Google Scholar
  6. 6.
    V. A. Derkach and M. M. Malamud, “The extension theory of Hermitian operators and the moment problem”, J. Math. Sci., 73, 141–242 (1995).MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    V. A. Derkach, S. Hassi, and M. M. Malamud, Generalized boundary triples, Weyl functions and inverse problems, arXiv:1706.07948, 1–104.Google Scholar
  8. 8.
    V. I. Gorbachuk and M. L. Gorbachuk, Boundary Value Problems for Operator Differential Equations, Kluwer, Dordrecht, 1991.CrossRefzbMATHGoogle Scholar
  9. 9.
    G. Grubb, “The mixed boundary value problem, Kre˘ın resolvent formula and spectral asymptotic estimates,” J. Math. Anal. Appl., 382, 339–363 (2011).MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    J. Lagnese, Boundary Stabilization of Thin Plates, SIAM, Philadelphia, 1989.CrossRefzbMATHGoogle Scholar
  11. 11.
    J. L. Lions and E. Magenes, Non-Homogeneous Boundary Value Problems and Applications, Vol. 1, Springer, Berlin, 1972.CrossRefzbMATHGoogle Scholar
  12. 12.
    L. Pestov, “On reconstruction of the speed of sound from a part of boundary,” J. Inv. Ill–Posed Probl., 7, No. 5, 481-486 (1999).MathSciNetzbMATHGoogle Scholar
  13. 13.
    L. Pestov, V. Bolgova, and O. Kazarina, “Numerical recovering of a density by the BC-method,” Inverse Probl. Imaging, 4, No. 4, 703-712 (2010).MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    D. Tataru, “Unique continuation for solutions to PDE’s; between Hörmander’s theorem and Holmgren’s theorem,” Comm. Partial Diff. Equa., 20, Nos. 5-6, 855–884 (1995).zbMATHGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Immanuel Kant Baltic Federal UniversityKaliningradRussia
  2. 2.Vasyl’ Stus Donetsk National UniversityVinnytsyaUkraine

Personalised recommendations