Differentiate the Noether charge and use and the Klein-Gordon equation for each species. The momentum products cancel because the two species commute:
The first integral is the boundary flux of , so it vanishes under the same boundary condition used for charge conservation. Hence
Conservation must hold for arbitrary configurations, rather than only a state in which this particular integral happens to vanish. Thus the internal rotation symmetry of two real scalar fields requires
Equivalently, the local divergence is , exhibiting exactly how unequal masses break the symmetry.
For the two free real scalar fields, let . The infinitesimal internal rotation symmetry of two real scalar fields has and , with constant . Its kinetic terms are invariant because this is an orthogonal rotation of the two-component field.
Under the assumed invariance of the full Lagrangian density, Noether's theorem gives the current per unit transformation parameter:
The Noether current and Noether charge are therefore
Independent species commute at equal time, so these products require no extra ordering sign. With vanishing boundary flux, is conserved. Part (vii) checks precisely what the symmetry assumption requires of the masses.