Statement

Let U(t,s)U(t,s) be a on [0,L][0,L], and suppose a positive function PP satisfies

U(t,s)CP(t)P(s)(0stL).\|U(t,s)\|\le C\frac{P(t)}{P(s)}\qquad(0\le s\le t\le L).

If z=A(t)z+g(t)z'=A(t)z+g(t), z(0)=0z(0)=0, and g(t)GP(t)\|g(t)\|\le G P(t), then

z(t)CGtP(t)CGLP(t).\|z(t)\|\le C G t P(t)\le C G L P(t).
Proof and hypotheses

The gives z(t)=0tU(t,s)g(s)dsz(t)=\int_0^t U(t,s)g(s)\,ds, and the two envelope factors at ss cancel in the norm estimate. Nonzero initial data add at most CP(t)z(0)/P(0)C P(t)\|z(0)\|/P(0). A bound on values is proved here; parameter derivatives require differentiating the equation and controlling the resulting coefficient derivatives and source terms.