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_K^T:=(W^T{)}^{\ast }K{W}^T$ where $(W^T{)}^{\ast }$ is the standard $L^2(dx)$ adjoint. We prove that it is a locally finite sum of Fourier Integral Operators (FIOs) away from the glancing directions with canonical relation involving collision data at time $T$ between pairs of velocities. However, if the operator is $M$-self-adjoint, then the canonical relation for $C_M^T$ loses the collision data. 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_I^T$ for multi-velocity wave models and variable coefficient isotropic elasticity system, where $I$ is the identity matrix.

33 pages, 0 figure; discussion for mode conversion is added in v2