Yeah, so to add some redundancy for y’all, here’s the text surrounding the equations I’m having trouble with.
The 18.10 to 18.11 jump I’m having trouble with is the one in this part of the text:
But suppose that, for a given E_b, (18.8) holds independently of what E_a might be; call this ‘strong irrelevance’. Then we have
(what I’m calling 18.10)
But if this is to hold for all (A_p|E_a), the integrands must be the same:
(what I’m calling 18.11, and can’t derive)
.
And equation 18.15, which I can’t justify, is in this part of the text:
But then, by definition (18.1) of A_p, we can see that A_p automatically cancels out E_aa in the numerator: (F|A_pE_aa)=(F|A_p). And so we have (18.13) reduced to
(what I’m calling 18.15, and don’t follow the justification for)
Yeah, so to add some redundancy for y’all, here’s the text surrounding the equations I’m having trouble with.
The 18.10 to 18.11 jump I’m having trouble with is the one in this part of the text:
And equation 18.15, which I can’t justify, is in this part of the text: