Heaviside function
The Heaviside function is defined as fun
Properties
whereπ· π» = πΏ is the Dirac delta, henceπΏ is a Greenβs function ofπ» .π·
Proof of 1
Let
be an arbitrary non-pathological function π ( π₯ ) β« β β β π π π₯ π» ( π₯ β π₯ β² ) π ( π₯ β² ) π π₯ β² = π π π₯ β« β β β π» ( π₯ β π₯ β² ) π ( π₯ β² ) π π₯ β² = π π π₯ [ β« π₯ β β π» ( π₯ β π₯ β² ) π ( π₯ β² ) π π₯ β² + β« β π₯ π» ( π₯ β π₯ β² ) π ( π₯ β² ) π π₯ β² ] = π π π₯ β« π₯ β β π ( π₯ β² ) π π₯ β² = π ( π₯ ) = β« β β β πΏ ( π₯ β π₯ β² ) π ( π₯ β² ) π π₯ as claimed.