Backwards uniqueness of the -semigroup associated with a parabolic-hyperbolic Stokes-Lamé partial differential equation system

Authors:
George Avalos and Roberto Triggiani

Journal:
Trans. Amer. Math. Soc. **362** (2010), 3535-3561

MSC (2010):
Primary 35B99, 35M30

DOI:
https://doi.org/10.1090/S0002-9947-10-04851-8

Published electronically:
February 19, 2010

MathSciNet review:
2601599

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper the ``backward-uniqueness property'' is ascertained for a two- or three-dimensional, fluid-structure interactive partial differential equation (PDE) system, for which an explicit -semigroup formulation was recently given by Avalos and Triggiani (2007) on the natural finite energy space . (See also their Contemporary Mathematics article of 2007 for a preliminary, simplified, canonical model.) This system of coupled PDEs comprises the parabolic Stokes equations and the hyperbolic Lamé system of dynamic elasticity. Each dynamic evolves within its respective domain, while being coupled on the boundary interface between fluid and structure. In terms of said fluid-structure semigroup , posed on the associated finite energy space , the backward-uniqueness property can be stated in this way: If for given initial data , for some , then necessarily . The proof of this property hinges on establishing necessary PDE estimates for a certain static fluid-structure equation in order to invoke the abstract backward-uniqueness resolvent-based criterion by Lasiecka, Renardy, and Triggiani (2001). The backward-uniqueness property for the coupled Stokes-Lamé PDE is motivated by, and has positive implications to, the problem of exact controllability (in the hyperbolic state variables ) and, simultaneously, approximate controllability (in the parabolic state variable ) of the present coupled PDE model, under boundary control. A similar situation occurred for thermoelastic models as shown in papers by M. Eller, V. Isakov, I. Lasiecka, M. Renardy, and R. Triggiani.

**[A.1]**G. Avalos, The strong stability and instability of a fluid-structure semigroup,*Ann. Math. & Optim.*55 (2007), 163-184. MR**2305089 (2008b:93090)****[A-T.1]**G. Avalos and R. Triggiani, The coupled PDE-system arising in fluid-structure interaction. Part I: Explicit semigroup generator and its spectral properties,*AMS Contemporary Mathematics, Fluids and Waves*440 (2007), 15-55. MR**2359448****[A-T.2]**G. Avalos and R. Triggiani, Uniform stabilization of a coupled PDE system arising in fluid-structure interaction with boundary dissipation at the interface,*Discrete Contin. Dynam. Systems*22 (2008), no. 4, 817-833. MR**2434971 (2009i:74025)****[A-T.3]**G. Avalos and R. Triggiani, Well-posedness and stability analysis of a coupled Stokes-Lamé PDE system, 2007.**[A-T.4]**G. Avalos and R. Triggiani, Backward uniqueness of the s.c. semigroup arising in parabolic-hyperbolic fluid-structure interaction, J. Differential Equations 245 (2008), no. 3, 737-761. MR**2422526****[A-T.5]**G. Avalos and R. Triggiani, Uniform stabilization of the coupled Stokes-Lamé PDE system with boundary dissipation at the interface, 2007.**[B-S.1]**S. C. Brenner and L. R. Scott,*The Mathematical Theory of Finite Element Methods*, Springer-Verlag, New York (1994). MR**1278258 (95f:65001)****[B-G-L-T.1]**V. Barbu, Z. Grujić, I. Lasiecka, and A. Tuffaha, Existence of the energy level solutions for a weak nonlinear fluid-structure interaction model,*AMS Contemporary Mathematics*440 (2007), 55-63. MR**2359449****[C-T.1]**S. K. Chang and R. Triggiani, Spectral analysis of thermoelastic plates with rotational forces,*Optimal Control: Theory, Algorithms, and Applications*, Kluwer (1998), 84-115. MR**1635994 (99g:35126)****[C-R.1]**H. Cohen and S. I. Rubinow, Some mathematical topics in biology,*Proc. Symp. on System Theory*, Polytechnic Press, New York (1965), 321-337.**[D-G-H-L.1]**Q. Du, M. D. Gunzburger, L. S. Hou, and J. Lee, Analysis of a linear fluid-structure interaction problem,*Discr. & Cont. Dynam. Sys.*9(3) (2003), 633-650. MR**1974530 (2004c:74017)****[E-L-T.1]**M. Eller, I. Lasiecka, and R. Triggiani, Simultaneous exact/approximate boundary controllability of thermoelastic plates with variable coefficient, Marcel Dekker Lecture Notes Pure and Applied Mathematics 216 (February 2001), 109-230, invited paper for the special volume entitled*Shape Optimization and Optimal Designs*, J. Cagnol and J. P. Zolesio (Editors). [The preliminary version is in invited paper in*Semigroup of Operators and Applications*, Birkhäuser (2000), 335-351, A. V. Balakrishnan (editor).]**[E-L-T.2]**M. Eller, I. Lasiecka, and R. Triggiani, Unique continuation result for thermoelastic plates,*Inverse and Ill-Posed Problems*9(2) (2001), 109-148. MR**1843430 (2002m:74036)****[E-L-T.3]**M. Eller, I. Lasiecka, and R. Triggiani, Simultaneous exact/approximate boundary controllability of thermoelastic plates with variable thermal coefficient and moment control,*J. Math. Anal. Appl.*251 (2000), 452-478. MR**1794432 (2001j:93008)****[E-I-N-T.1]**M. Eller, V. Isakov, G. Nakamura, and D. Tataru, ``Uniqueness and stability in the Cauchy Problem for Maxwell's and elasticity systems,'' Nonlinear partial differential equations and their applications, Collège de France, Vol. XIV (Paris, 1997/1998), Stud. Math. Appl., 31, North-Holland, Amsterdam (2002), pp. 329-349. MR**1936000 (2004c:35399)****[E-L-T.4]**M. Eller, I. Lasiecka, and R. Triggiani, Simultaneous exact/approximate boundary controllability of thermoelastic plates with variable thermal coefficient and clamped controls,*Discrete Cont. Dynam. Sys.*7(2) (2001), 283-301. MR**1808401 (2001k:93011)****[Fu.1]**D. Fujiwara, Concrete characterization of the domains of fractional powers of some elliptic differential operators of the second order,*Proc. Japan Acad.*43 (1967), 82-86. MR**0216336 (35:7170)****[G.1]**P. Grisvard, Caracterization de quelques espaces d'interpolation,*Arch. Ration. Mech. Anal.*25 (1967), 40-63. MR**0213864 (35:4718)****[H-P.1]**V. Hutson and J. S. Pym,*Applications of Functional Analysis and Operator Theory*, Academic Press, New York (1979). MR**569354 (81i:46001)****[I.1]**V. Isakov, On the uniqueness of continuation for a thermoelastic system,*Math. Anal.*, 33 (2001), 509-522. MR**1871407 (2002j:35052)****[Ke.1]**B. Kellogg, Properties of solutions of elliptic boundary value problems, in*The Mathematical Foundations of the Finite Element Method with Applications to Partial Differential Equations*, edited by A. K. Aziz, Academic Press, New York (1972), pp. 47-81.**[Kes.1]**S. Kesavan,*Topics in Functional Analysis and Applications*, John Wiley & Sons, New York (1989). MR**990018 (90m:46002)****[K-L.1]**H. Koch and I. Lasiecka, Backward uniqueness in linear thermoelasticity with time and space variable coefficients, in*Functional Analysis and Evolution Equations*, the Gunter Lumer Volume, Birkhäuser Verlag (2007), 389-403, edited by H. Amann, W. Arendt, M. Hieber, F. Neubrander, S. Nicaise, and J. von Below.**[Kr.1]**S. G. Krein,*Linear Differential Equations in Banach Space*, American Mathematical Society, Providence Rhode Island (1971). MR**0342804 (49:7548)****[L-L-T.1]**I. Lasiecka, J. L. Lions, and R. Triggiani, Nonhomogeneous boundary value problems for second order hyperbolic operators (with I. Lasiecka and J. L. Lions),*J. Math. Pures Appl.*65 (1986), 149-192. MR**867669 (88c:35092)****[L-R-T.1]**I. Lasiecka, M. Renardy, and R. Triggiani, Backward uniqueness for thermoelastic plates,*Semigroup Forum*62 (2001), 217-242. MR**1831509 (2002d:35204)****[L-T.1]**I. Lasiecka and R. Triggiani, Uniform stabilization of the wave equation with Dirichlet or Neumann feedback control without geometrical conditions,*Appl. Math. Optimiz.*25 (1992), 189-224. (The preliminary version is in*Springer-Verlag Lecture Notes LNCIS*147, 62-108, J. P. Zolesio (editor).) MR**1142681 (93b:93099)****[L-T.2]**I. Lasiecka and R. Triggiani, A sharp trace regularity result of Kirchof and thermo-elastic plate equations with free boundary conditions,*Rocky Mount. J. Math.*30(3) (2000), 981-1023. MR**1797827 (2001i:35039)****[L-T.3]**I. Lasiecka and R. Triggiani,*Control Theory for Partial Differential Equations: Continuous and Approximation Theories; Vol. I: Abstract Hyperbolic Equations*, Cambridge University Press, 2000, Encyclopedia of Mathematics and its Applications, 660 pp.**[Li.1]**J. L. Lions,*Quelques Méthodes de Résolution des Problèmes aux Limites Nonlinéaires*, Dumod-Gauthier-Villars, 1969. MR**0259693 (41:4326)****[L-M.1]**J. L. Lions and E. Magenes,*Non-homogeneous Boundary Value Problems and Applications*, Vol. 1, Springer-Verlag, 1972.**[Lit.1]**W. Littman, Near optimal time boundary controllability for a class of hyperbolic equations,*Lecture Notes in Control Sciences*178, Springer-Verlag 1987, 272-284. MR**910526 (88m:93015)****[Lit.2]**W. Littman, Remarks on global uniqueness theorems for partial differential equations,*AMS Contemporary Mathematics*268, Amer. Math. Soc., 2000, 363-371. MR**1804800 (2002a:35006)****[Pa.1]**A. Pazy,*Semigroups of Linear Operators and Applications to Partial Differential Equations*, Springer-Verlag, 1983. MR**710486 (85g:47061)****[Th.1]**V. Thomee,*Galerkin Finite Element Methods for Parabolic Problems*, Lecture Notes in Mathematics, vol. 1054, Springer 1984. The expanded version reprinted as a Springer Verlag book, 1997. MR**1479170 (98m:65007)****[Tr.1]**R. Triggiani, Finite rank, relatively bounded perturbations of semigroup generators, PART III: A sharp result on the lack of uniform stabilization,*Diff. Int. Eqns.*3 (1990), 503-522. (Also, preliminary version in*Proceedings INRIA Conference*, Paris, France (June 1988), Springer-Verlag Lecture Notes. MR**1047750 (91f:93091)****[Tr.2]**R. Triggiani, Backward uniqueness of semigroups arising in coupled PDE systems of structural acoustics,*Advances in Diff. Eqns.*, Vol. 9(1-2) (Jan.-Feb. 2004), 53-84. Preliminary announcement in*Semigroups of Operators: Theory and Applications*(2002), 285-300. C. Kubrusly, N. Levan, and M. da Silveira (editors). MR**2099606 (2005h:35218)**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2010):
35B99,
35M30

Retrieve articles in all journals with MSC (2010): 35B99, 35M30

Additional Information

**George Avalos**

Affiliation:
Department of Mathematics, University of Nebraska-Lincoln, Lincoln, Nebraska 68588

**Roberto Triggiani**

Affiliation:
Department of Mathematics, University of Virginia, Charlottesville, Virginia 22903

DOI:
https://doi.org/10.1090/S0002-9947-10-04851-8

Received by editor(s):
February 15, 2008

Published electronically:
February 19, 2010

Additional Notes:
The research of the first author was partially supported by the NSF grant DMS-0606776.

The research of the second author was partially supported by the NSF grant DMS-0104305.

Article copyright:
© Copyright 2010
American Mathematical Society