[论文解读] The Optimal Power Flow Operator: Theory and Computation

Fengyu Zhou, James Anderson+1 more|arXiv (Cornell University)|Jul 4, 2019

Optimal Power Flow Distribution参考文献 45被引用 5

一句话总结

本文提出了一种针对直流最优潮流（DC OPF）问题的算子理论框架，将其视为从功率需求到最优发电输出的映射。在满足一定条件下，该算子为单值、连续、可微，且具有固定数量的活动约束（N_G - 1），并推导出闭式表达的雅可比矩阵，从而在不引入松弛变量的情况下实现灵敏度分析。

ABSTRACT

Optimal power flow problems (OPFs) are mathematical programs used to determine how to distribute power over networks subject to network operation constraints and the physics of power flows. In this work, we take the view of treating an OPF problem as an operator which maps user demand to generated power, and allow the network parameters (such as generator and power flow limits) to take values in some admissible set. The contributions of this paper are to formalize this operator theoretic approach, define and characterize restricted parameter sets under which the mapping has a singleton output, independent binding constraints, and is differentiable. In contrast to related results in the optimization literature, we do not rely on introducing auxiliary slack variables. Indeed, our approach provides results that have a clear interpretation with respect to the power network under study. We further provide a closed-form expression for the Jacobian matrix of the OPF operator and describe how various derivatives can be computed using a recently proposed scheme based on homogenous self-dual embedding. Our framework of treating a mathematical program as an operator allows us to pose sensitivity and robustness questions from a completely different mathematical perspective and provide new insights into well studied problems.

研究动机与目标

• 将直流最优潮流（DC OPF）问题形式化为从功率需求到最优发电输出的算子映射。
• 识别在何种受限参数集合下，OPF算子为单值、连续且几乎处处可微。
• 表征OPF解中活动约束的集合，表明在一般参数值下其数量固定为N_G - 1。
• 推导出OPF算子雅可比矩阵的闭式表达式，从而支持灵敏度与鲁棒性分析。
• 提供一种具有物理解释的框架，避免引入辅助松弛变量，并清晰揭示网络行为特征。

提出的方法

• 将DC OPF形式化为算子 𝒪𝑃𝐹: Ω_s^l → 2^𝒮，将需求向量映射到最优发电集合。
• 为成本向量 f、线路限额 ξ 和负荷需求 s^l 分别定义参数集合 Ω_f、Ω_ξ 和 Ω_s^l。
• 利用解集的上半连续性与紧致性，证明在某些邻域内解具有唯一性。
• 应用严格互补松弛条件与约束梯度的线性无关性，表明在小扰动下活动约束保持不变。
• 利用正则参数集合的稠密性（例如，Ω_f 在 ℝ_+^{N_G} 中稠密），构造出具有相同活动约束集合的邻域。
• 通过同质自对偶嵌入方法推导OPF算子的雅可比矩阵，实现导数的高效计算。

实验结果

研究问题

• RQ1 在何种条件下，DC OPF算子为单值、连续且几乎处处可微？
• RQ2 最优解中活动约束的数量与性质是什么？其与网络拓扑及参数的关系如何？
• RQ3 能否在不引入松弛变量的前提下，推导出OPF算子雅可比矩阵的闭式表达式？
• RQ4 如何从算子理论视角分析OPF解的灵敏度与鲁棒性？
• RQ5 活动约束的结构与OPF算子可微性之间存在何种关系？

主要发现

• 在满足温和正则性条件时，OPF算子在参数空间的几乎处处映射到唯一解。
• 最优解中活动约束的数量恰好为 N_G - 1，对应于发电机和线路的限值。
• OPF算子的雅可比矩阵具有基于KKT条件推导出的闭式表达式。
• 通过同质自对偶嵌入方法可高效计算雅可比矩阵，从而支持可扩展的灵敏度分析。
• 解唯一且可微的参数集合在参数空间中是稠密的，确保了实际应用中的鲁棒性。
• 该算子框架支持具有物理解释的灵敏度分析，其中每个活动约束对应于一个过载或停运的发电机或线路。