First draft of mathematical part.

Derivative operator needs polishing, and multi-dimensional
discussion reconsidered.