网络上的动力系统本质上是高维的，除非节点数量非常少。网络科学中提出的一类降维方法旨在找到一个显著降低维度的动力系统，同时保留原系统的关键性质（如分岔结构）。这类方法通常涉及寻找一个一维（或低维）系统，该系统近似满足网络中所有节点状态变量的某种加权平均值所遵循的动力学规律。我们针对稠密图论对象（graphons）上的非线性动力系统，对该降维技术进行了形式化表述和数学分析。首先，我们从理论上证明了感兴趣的动力系统连续极限的存在性，并证明了图论动力系统的解的存在性和唯一性。然后，我们推导出图论上的降维一维系统并证明其收敛性质。最后，通过数值模拟对多种图论对象及其对应的动力系统模型进行评估，以检验一维近似的准确性。

Dynamical systems on networks are inherently high-dimensional unless the number of nodes is extremely small. Dimension reduction methods for dynamical systems on networks aim to find a substantially lower-dimensional system that preserves key properties of the original dynamics such as bifurcation structure. A class of such methods proposed in network science research entails finding a one- (or low-) dimensional system that a particular weighted average of the state variables of all nodes in the network approximately obeys. We formulate and mathematically analyze this dimension reduction technique for dynamical systems on dense graphons, or the limiting, infinite-dimensional object of a sequence of graphs with an increasing number of nodes. We first theoretically justify the continuum limit for a nonlinear dynamical system of our interest, and the existence and uniqueness of the solution of graphon dynamical systems. We then derive the reduced one-dimensional system on graphons and prove its convergence properties. Finally, we perform numerical simulations for various graphons and dynamical system models to assess the accuracy of the one-dimensional approximation.