On the orthogonality of the MacDonald's functions

A proof of an orthogonality relation for the MacDonald's functions with identical arguments but unequal complex lower indices is presented. The orthogonality is derived first via a heuristic approach based on the Mehler–Fock integral transform of the MacDonald's functions, and then proved rigorously using a polynomial approximation procedure.