Lemma
Duhamel estimate with a common envelope
A propagator ratio bound preserves a source envelope at the cost of the interval length.
Statement
Let be a propagator on , and suppose a positive function satisfies
If , , and , then
Proof and hypotheses
The Duhamel formula gives , and the two envelope factors at cancel in the norm estimate. Nonzero initial data add at most . A bound on values is proved here; parameter derivatives require differentiating the equation and controlling the resulting coefficient derivatives and source terms.