Write and . To quadratic order,
After dropping the total derivative , the quadratic Lagrangian density is
Its Euler--Lagrange equations are
For modes proportional to , nontrivial amplitudes require
Thus
At short wavelength the anisotropy is negligible and the quadratic dispersion is that of a conventional ferromagnetic magnon. At long wavelength, easy-plane anisotropy makes the out-of-plane fluctuation the conjugate density of the in-plane phase; eliminating it produces the linear Goldstone sound mode characteristic of a superfluid.
Solved by gpt-5.6-sol high.