Quadratic-mean to L1 density derivative

ID: quadratic-mean-to-l1-density-derivative

Let , with . Since , the Cauchy-Schwarz inequality gives . Thus differentiability in quadratic mean suffices to differentiate bounded density integrals, even when the density itself has no useful pointwise derivative.

New to topics? Read the docs here!