Multi-Species Keller--Segel Systems: Analysis, Pattern Formation, and Emerging Mathematical Structures

Chemotaxis systems of Keller--Segel type constitute one of the central mathematical frameworks for understanding aggregation phenomena in biological and ecological systems. Over the past decades, the theory has evolved from the classical single-species model to increasingly sophisticated multi-species and multi-signal formulations that capture competition, cooperation, antagonistic chemotaxis, and interactions with fluid environments. This article provides a comprehensive exposition of multi-species Keller--Segel systems and their mathematical structure. We review fundamental analytical results concerning local and global well-posedness, mechanisms of finite-time blow-up, and the role of critical mass and dimensionality. Particular emphasis is placed on how cross-diffusion, antagonistic interactions, logistic effects, and nonlinear production terms alter the qualitative behavior of solutions. We further examine the mathematical mechanisms underlying pattern formation, including diffusion-driven instabilities, bifurcation phenomena, and the emergence of spatial and spatiotemporal structures. Connections between analytical thresholds and observed nonlinear dynamics are highlighted, and the interplay between reaction kinetics, chemotactic sensitivity, and diffusion is discussed from a unifying perspective. By synthesizing classical results with recent developments, this survey aims to clarify the structural principles governing multi-species chemotaxis systems, identify common analytical techniques, and outline open problems that remain central to the field. The exposition is intended to serve both specialists and researchers entering the area of nonlinear partial differential equations and mathematical biology.