Use normalized instantaneous modes and expand . Differentiating at fixed givesFor , integration usesso the moving-wall derivative coupling isFor the normalization derivative and the remaining integral cancel exactly, giving zero. The moving integration endpoint contributes no boundary term because every mode vanishes there. ThereforeThe real coupling matrix is antisymmetric, as required by conservation of total probability.