Leakage detection, collision relation, and self-adjoint cancellation in multi-velocity systems

Abstract

Let $W^T$ map Dirichlet data $f$ to time $T$ state $u^f(T, \cdot)$, we study the $K$-normal operator $C^T_K:= (W^T)^*KW^T$ where $(W^T)^*$ is the standard $L^2(dx)$ adjoint. We prove that it is a Fourier Integral Operator away from the glancing directions with canonical relation involving collision data between pairs of velocities. However, if the operator is $M$-self-adjoint, then the canonical relation for $C^T_M$ loses the collision data and reduces to scattering relation for each individual metric. Thus, when system satisfies certain coupling requirement, we demonstrate off-polarization leakage detection and introduce a new collision rigidity problem. Combine these two parts, we prove an inverse problem of velocity recovery from $C^T_K$ for multi-velocity wave models and variable coefficient isotropic elasticity system.