関連ワード:  integral of heaviside function    derivative of heaviside function    derivative of heaviside function proof    antiderivative of heaviside function    integral of heaviside step function    integral representation of heaviside function    indefinite integral of heaviside function    integral over heaviside function    derivative of heaviside step function    weak derivative of heaviside function