[Paper Review] Dynamics of Riemann waves with sharp measure-controlled damping

Marcelo M. Cavalcanti, To Fu+2 more|arXiv (Cornell University)|Aug 13, 2019

Stability and Controllability of Differential Equations28 references4 citations

TL;DR

This paper introduces a geometric construction of $\varepsilon$-controllable damping regions on compact Riemannian manifolds with boundary, where the combined interior and boundary measures are arbitrarily small. It establishes observability and unique continuation via Carleman estimates, proves finite-dimensional global attractors for semilinear wave equations with critical Sobolev growth, and shows these regions satisfy the geometric control condition (GCC), enabling stabilization results under sharp measure control.

ABSTRACT

This paper is concerned with locally damped semilinear wave equations defined on compact Riemannian manifolds with boundary. We present a construction of measure-controlled damping regions which are sharp in the sense that their summed interior and boundary measures are arbitrarily small. The construction of this class of open sets is purely geometric and allows us to prove a new observability inequality in terms of potential energy rather than the usual one with kinetic energy. A unique continuation property is also proved. Then, in three-dimension spaces, we establish the existence of finite dimensional smooth global attractors for a class of wave equations with nonlinear damping and forces with critical Sobolev growth. In addition, by means of an obstacle control condition, we show that our class of measure-controlled regions satisfies the well-known geometric control condition (GCC). Therefore, many of known results for the stabilization of wave equations hold true in the present context.

Motivation & Objective

• To construct open damping regions on compact Riemannian manifolds with boundary whose combined interior and boundary measures are arbitrarily small.
• To prove observability and unique continuation inequalities using Carleman estimates on such regions, with energy measured in potential terms.
• To establish the existence of finite-dimensional smooth global attractors for semilinear wave equations with critical Sobolev growth and $C^1$-forces in three dimensions.
• To show that the constructed $\varepsilon$-controllable regions satisfy the geometric control condition (GCC), extending known stabilization results to sharp measure-controlled settings.

Proposed method

• Construct a scape potential function $d$ on a geometric subset $V \subset M$ such that $M \setminus V$ has arbitrarily small measure, defining an $\varepsilon$-controllable damping region $\omega \supset \overline{M \setminus V}$.
• Use a decomposition of $\omega$ into overlapping subdomains to enable application of Carleman estimates for observability and unique continuation.
• Introduce a new obstacle control condition (Definition 2.6) to prove that $\varepsilon$-controllable sets satisfy the geometric control condition (GCC).
• Apply Triggiani-Yao and Lasiecka-Tataru techniques using vector fields and Carleman estimates to derive observability inequalities in terms of potential energy.
• Establish quasi-stability and gradient structure for the semilinear wave equation with localized damping, leading to finite-dimensional attractors.
• Use energy estimates and exponential decay via modified Lyapunov functionals to prove asymptotic smoothness and attractor existence.

Experimental results

Research questions

• RQ1 Can damping regions be constructed on compact Riemannian manifolds with boundary such that their combined interior and boundary measures are arbitrarily small?
• RQ2 Does such a sharp measure-controlled damping region still satisfy the geometric control condition (GCC)?
• RQ3 Can observability and unique continuation be established using potential energy rather than kinetic energy in such settings?
• RQ4 Do semilinear wave equations with critical Sobolev nonlinearity and $C^1$-forces possess finite-dimensional global attractors under sharp measure-controlled damping?
• RQ5 Can the standard stabilization results for wave equations under GCC be extended to the case of $\varepsilon$-controllable damping regions?

Key findings

• An $\varepsilon$-controllable damping region $\omega$ is constructed with $\text{meas}_M(\omega) + \text{meas}_{\partial M}(\omega \cap \partial M) < \varepsilon$ via a purely geometric method, independent of the specific wave equation.
• The constructed regions satisfy the geometric control condition (GCC), enabling extension of known stabilization results to sharp measure-controlled settings.
• A new observability inequality is proved in terms of potential energy, derived via Carleman estimates on overlapping subdomains of $\omega$.
• A unique continuation property is established for solutions of the wave equation under the same geometric damping conditions.
• For three-dimensional compact Riemannian manifolds, the semilinear wave equation with critical Sobolev growth and $C^1$-forces admits a finite-dimensional smooth global attractor.
• The global attractor is shown to have finite fractal dimension due to quasi-stability, and its regularity is proven via $H^2$-bounds on the solution and its time derivative.