Uniqueness of Weak Solutions to One-Dimensional Doubly Degenerate Cross-Diffusion System

The uniqueness of global weak solutions to one-dimensional doubly degenerate cross-diffusion system is shown. The equations model the evolution of feeding bacterial populations in a malnourished environment. The key idea of the proof is applying anti-derivative of the sum of weak solutions to the system.