L1 norm identity for a translated kernel product

ID: l1-norm-identity-for-a-translated-kernel-product

Let be a Borel measurable function in L1 space on , and let be Lebesgue integrable. The function is measurable. Tonelli's theorem for and translation invariance of Lebesgue measure give
Finiteness justifies Fubini's theorem for the signed product, yielding . In particular an integrable odd function makes this signed total zero while the joint L1 norm can remain positive. The triangle inequality for an integral also gives the usual convolution estimate .

New to topics? Read the docs here!