Functional analysis MOC

Heaviside function

The Heaviside function is defined as #m/def/anal/fun

Properties

  1. where is the Dirac delta, hence is a Green's function of .
Proof of 1

Let be an arbitrary non-pathological function

as claimed.

#state/develop | #lang/en | #SemBr