The divergence defined through weak derivatives: pair a locally integrable vector field with a smooth compactly supported test function using the displayed integration-by-parts identity. A piecewise smooth field can have a surface contribution where its normal component jumps. Thus zero classical divergence on each side does not imply zero weak divergence across the interface.
New to topics? Read the docs here!