[论文解读] Fundamentals of the Holomorphic Embedding Load-Flow Method

Antonio Trias|arXiv (Cornell University)|Sep 8, 2015

Power System Optimization and Stability参考文献 37被引用 46

一句话总结

本文建立了全纯嵌入潮流法（HELM）的理论基础，这是一种新颖的直接且构造性方法，利用复分析与代数几何求解交流潮流方程。通过将潮流问题嵌入复平面上的全纯函数，并利用帕德近似，HELM 通过收敛的幂级数计算解，无需初始猜测，当解存在时可保证全局收敛，并能明确检测不可行性。

ABSTRACT

The Holomorphic Embedding Load-Flow Method (HELM) was recently introduced as a novel technique to constructively solve the power-flow equations in power grids, based on advanced complex analysis. In this paper, the theoretical foundations of the method are established in detail. Starting from a fundamental projective invariance of the power-flow equations, it is shown how to devise holomorphicity-preserving embeddings that ultimately allow regarding the power-flow problem as essentially a study in algebraic curves. Complementing this algebraic-geometric viewpoint, which lays the foundation of the method, it is shown how to apply standard analytic techniques (power series) for practical computation. Stahl's theorem on the maximality of the analytic continuation provided by Padé approximants then ensures the completeness of the method. On the other hand, it is shown how to extend the method to accommodate smooth controls, such as the ubiquitous generator-controlled PV bus.

研究动机与目标

• 建立全纯嵌入潮流法（HELM）的严格理论框架，作为交流潮流问题的构造性解法。
• 展示如何通过保持全纯性的嵌入方法，将潮流方程重述为代数曲线问题。
• 证明帕德近似可实现最大解析延拓，确保在解存在时收敛至正确解。
• 将方法扩展至处理平滑控制，如具有电压幅值调节的PV母线。
• 证明该方法能通过识别帕德近似发散来明确检测不可行性。

提出的方法

• 利用潮流方程的射影不变性，将潮流问题嵌入复平面上的全纯函数。
• 将问题表述为复变量上的多项式方程组，从而得到代数曲线表示。
• 从嵌入系统中推导形式幂级数解，系数通过递归方式计算。
• 对幂级数应用帕德近似，以解析延拓解至 s=1，对应物理电力系统。
• 利用斯达尔定理，保证帕德近似仅在解存在时收敛，否则发散。
• 对于PV母线，通过嵌入变量引入电压幅值约束，并使用格罗布纳基技术消去变量，推导出可解的代数曲线。

实验结果

研究问题

• RQ1 交流潮流问题能否被重述为复平面上的全纯函数，从而实现构造性求解？
• RQ2 如何构建保持全纯性的嵌入方法，以确保解能通过解析延拓唯一确定？
• RQ3 帕德近似在确保收敛至正确解并检测不可行性方面起什么作用？
• RQ4 该方法如何扩展以处理具有恒定电压幅值控制的PV母线？
• RQ5 解曲线的最小分支切割结构是什么？它与潮流解的存在性有何关联？

主要发现

• 潮流问题可重述为复平面上的代数曲线，解对应于该曲线的分支。
• 正确解分支通过电压平方根表达式中的正号唯一确定，确保选择无歧义。
• 当解存在时，该方法保证收敛至正确解；帕德近似在无解时恰好不收敛。
• 两母线系统的可行性条件由代数曲线的判别式决定，要求 K(s) - x²s²P² ≥ 0 以保证实数解存在。
• 解曲线的分支切割结构在斯达尔意义下是最小的，证实帕德近似提供了最大解析延拓。
• 该方法通过将电压幅值约束嵌入系统，并利用格罗布纳基消去法推导出可解的多项式系统，成功处理了PV母线。