(a) By considering strictly monotonic differentiable functions φ(x), such that the zeros satisfy φ(c)=0 but φ′(c)=0, establish the formula
∫−∞∞f(x)δ(φ(x))dx=∣φ′(c)∣f(c)
Hence show that for a general differentiable function with only such zeros, labelled by c,
∫−∞∞f(x)δ(φ(x))dx=c∑∣φ′(c)∣f(c)
(b) Hence by changing to plane polar coordinates, or otherwise, evaluate,
I=∫0∞∫0∞(x3+y2x)δ(x2+y2−1)dydx