If a test function has integral zero, then
is another compactly supported smooth test function with . Hence implies for every such .
Choose a test function with integral one. For arbitrary , the function has zero integral, so
Thus is the constant distribution . This proves a distribution with zero derivative is constant.
The distributional derivative of the Heaviside step function gives , while . A particular solution is therefore .
The difference from any other solution has second derivative zero. Applying a distribution with zero derivative is constant twice shows that difference is affine. Thus
The ramp function is continuous at , and its first derivative jumps there, producing the indicated delta source in its second derivative.
The Leibniz rule rewrites the left side as . By a distribution with zero derivative is constant,
The Dirac delta multiplication identity supplies a particular solution, and the preceding division result supplies all solutions of . Hence
Multiplying by and then differentiating verifies the equation. The coordinate-multiplication kernel and the constant-derivative kernel show that no additional solutions are missing.