Mathematical Theory of Electrophoresis