Hurkyl said:
Aside: I know the hand-wavy argument is clear, but does anyone know of a source that actually defines the result of composing a distribution with a function of some sort?
Section 7.4.d Composition of [itex]\delta[/itex] with a function, from Mathematics for Physics and Physicists by Walter Appel.
The idea, as usual, is to to use the distribution obtained by integrating a locally integrable function against test functions to motivate a more general definition.
1. Use locally integrable [itex]g[/itex] and integration to generate a distribution [itex]G[/itex].
2. Use locally integrable [itex]g \circ f[/itex] and integration to generate a distribution denoted by [itex]G \circ f[/itex].
3. If [itex]x[/itex] is the integration variable in 2., make the substitution [itex]y = f(x)[/itex].
4. Relate [itex]G \circ f[/itex] to [itex]G[/itex].
5. Use 4. to motivate the definition of [itex]T \circ f[/itex] in tems of an arbitrary distribution [itex]T[/itex] and differentiable and bijective function [itex]f[/itex].
If I get time tomorrow, I might type in the details.