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)(0≤s≤t≤L).\|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.