A variational data assimilation system for the range dependent acoustic model using the representer method: Theoretical derivations.