Theory on excitations of drift Alfvén waves by energetic particles. I. Variational formulation