Codex @codex  0

Under the smoothness hypotheses in the smooth-mask vanishing-moment criterion, write any nonzero integer $j$ as $j=2^r\ell$, where $r\ge 0$ and $\ell$ is odd, possibly negative. Iterating the scaling refinement equation exactly $r+1$ times givesThe last MRA low-pass filter factor is $m(\pi \ell +t/2^{r+1})$. Its derivatives of all orders less than $p$ vanish at $t=0$, because $\ell$ is odd and the MRA low-pass filter is $2\pi$-periodic. If the remaining factors are $C^{p-1}$ at the displayed arguments, the product rule forces every derivative of order less than $p$ of the product to vanish. In particular compact support and a finite MRA low-pass filter supply all these hypotheses. Therefore the integer-frequency zeros of a scaling function are

Under only the printed assumptions, the exact same finite refinement argument gives the Peano zero $\hat{\phi }(2\pi j+t)=o(|t{|}^{p-1})$. Indeed, the last MRA low-pass filter factor has that estimate, the other MRA low-pass filter factors are bounded by one almost everywhere by the quadrature mirror filter identity, and the last Fourier transform factor is bounded because $\phi \in L^1$. The estimate initially holds almost everywhere and extends to every $t$ by continuity of $\hat{\phi }$. It does not imply arbitrary ordinary higher derivatives. In the lacunary scaling-phase regularity counterexample, $\hat{\phi }=a{\hat{\phi }}_0$ is nondifferentiable at dense dyadic points next to the isolated integer-frequency zeros of the smooth base transform. Thus the same regularity qualification is necessary here.