Kinematic Anisotropies in PTA Observations: Analytical Toolkit - Maximilian Blümke; Kai Schmitz; Tobias Schröder; Deepali Agarwal; Joseph D. Romano (2025)