Integration by Parts on Euclidean Space Against a Compactly Supported Function of Class
lemmaAnalysisMultivariable Calculuslem:integration-by-parts-euclidean-2026aThe partial derivative of a compactly supported function on integrates to zero, and consequently the integral of f times a partial derivative of g equals minus the integral of the same partial derivative of f times g whenever f and g are of class and g is compactly supported.
Adopt Differential Calculus and Convexity on Euclidean Open Sets: Standing Notation and Euclidean Space and Lebesgue Measure: Standing Notation, and fix a dimension . A function is integrable if it is integrable with respect to , and compactly supported refers to the topology of Euclidean Space and Lebesgue Measure: Standing Notation §space; for the product is the function . Let .
1. (A partial derivative integrates to zero)¶ Let be of class on and compactly supported. Then is continuous on , compactly supported and integrable, and
2. (Integration by parts)¶ Let be of class on , with compactly supported. Then and are continuous on , compactly supported and integrable, and
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.