arXiv2026
Recently, it has been shown that stability analysis and control of coupled Partial Differential Equations (PDEs) in a single spatial variable can be more conveniently performed using the Partial Integral Equation (PIE) representation. This PIE offers an equivalent, state-space representation of the PDE on the Hilbert space $L_{2}$, and is parameterized by an algebra of Partial Integral (PI) operators, allowing e.g. stability to be analyzed by solving a linear operator inequality on PI operator variables. In this paper, we show how this PIE framework for univariate PDEs can be extended inductively to multivariate PDEs on a hyper-rectangle. Specifically, assuming the boundary conditions defining the domain of the PDE to be decoupled along distinct spatial directions, we propose a readily verifiable condition for existence of a bijection between the PDE domain and $L_{2}$. We derive an explicit expression for the map defining this bijection, and use this map to construct an equivalent PIE representation for a broad class of linear multivariate PDEs. Next, we embed the parameters defining this PIE representation in a class of multivariate PI operators, and prove that this class forms a $*$-algebra---allowing PI operator inequalities for stability analysis, estimation, and control of univariate PDEs to be similarly formulated for multivariate PDEs. Finally, we show how such an operator inequality for stability analysis of multivariate PDEs can be solved with semidefinite programming, using a positive matrix parameterization of positive semidefinite multivariate PI operators. This framework for representation and stability analysis of multivariate PDEs is incorporated in the PIETOOLS software, and applied to analyze stability of 2D heat, wave, and plate equations, obtaining accurate bounds on the rate of decay.