Localization and analytic scope of the free control construction

PDF p. 6: §1.4(i), (iii); PDF p. 13: Remarks (1)–(4)

Assume the Axiom of Choice. Let $\mathrm{\Omega }={\mathbb{R}}^n\setminus \mathrm{\Theta }$, $n\ge 2$, be the connected exterior of a nonempty compact obstacle with smooth boundary, and suppose the obstacle is non-trapping: its generalized reflected rays leave every compact set in finite forward time. Let $T>0$, $s\in [-2,2]$, and let $\phi$ be the smooth real control cutoff, equal to zero for $\mathrm{\mid }x\mathrm{\mid }\le R$ and one for $\mathrm{\mid }x\mathrm{\mid }\ge R+1$. Write ${\mathrm{\Delta }}_D$ for the Dirichlet Laplacian, $A=I-{\mathrm{\Delta }}_D$, and $H_D^r$ for the associated spectral scale: for $r\ge 0$ it is $D(A^{r\mathrm{/}2})$, while for negative $r$ it is the corresponding pivot antidual.

In the free Hilbert uniqueness method (HUM) construction, for the free solution $v(t)=e^{it{\mathrm{\Delta }}_D}{v}_0$ with $v_0\in H_D^{-s}$, the control is $h(t)=-i{A}^{-s}(\phi v(t))$. Its forcing is $\phi h=-i\phi A^{-s}\phi v$ and is supported in $\{\mathrm{\mid }x\mathrm{\mid }\ge R\}$ relative to $\mathrm{\Omega }$; the construction does not assert that $h$ itself is supported there. The article compares this force operator with Laurent [23, Proposition 7.2].

The article describes its free observability proof as requiring non-trapping rather than star-shapedness, and as using no integration by parts up to the obstacle boundary and no normal boundary trace. It distinguishes the outer Dirichlet trace used in its boundary-control result. It also says that its treatment of the full scale $[-2,2]$ uses no commutator of $\phi$ with fractional powers of ${\mathrm{\Delta }}_D$: for $\sigma \in (-1,0)$ it combines the integer resolvent identity with a weaker remainder. The cutoff multipliers are used only on levels $[-2,2]$, so the argument does not invoke higher-order boundary compatibility. Its smoothing input is used only at indices in $[0,1]$; for $\sigma \in [-2,0)$ it is applied to $A^{-1}{v}_0\in H_D^{\sigma +2}$. These are descriptions of the authors' method, not additional claims that all possible proofs have the same scope.

def-se-control-cutoffs

Dirichlet spectral Sobolev scale and duality

Scale Riesz map and free HUM operator

Theorem 3.6: bounded continuous control operator

Integer resolvent commutator and localized first-order bounds

Homogeneous half-derivative local smoothing

Cutoff multipliers through order two and by duality

The Axiom of Choice

Non-trapping obstacle

Support of a distribution

The article is cited for attribution of its description of its own proof and for its comparison with Laurent. The force identity and support conclusion above use the declared mathematical suppliers. No independent reading of Laurent's proposition is claimed.