电磁力中的对偶

《电磁力中的对偶》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、电、磁、力中的对偶电、磁、力中的对偶刘红摘要：本文从对偶的角度解释了电、磁、力之间的关系，总结了高扬提出的用于全局优化的典范对偶理论及利用它解决非线性非凸问题的主要思路和优点。引言电、磁、力三大物理分支存在对偶关系。透过它们之间的不同外部现象，抽象出数学模型，看到他们的本质却是相同的。三大系统的物理量间又存在着对偶关系，这就是典范对偶理论。非线性的变量关系或非凸性的能量函数是造成系统复杂性的关键原因。典范对偶理论旨在利用非线性变换，凸化的手段，把原空间中不便于处理的问题转化到对偶空间中来处理。这就是把“不美”的东西转化为“美”的东西，然后处理“美”的东西

2、，最后通过能量守恒的原理把处理的结果反馈回原空间中。而三个驻点对偶定理提供了能量在原空间和对偶空间中进行的最优化的理论基础。本文先从最简单的线性电阻电路模型开始，表示出在线性情况下的典范对偶模型。描述这种电路的数学模型是线性方程组。解这类线性方程组等价于二次规划的最优解。线性模型对应线性算子，非线性模型对应非线性算子。通过非线性变换，以及利用任何函数都可以分解为凸函数之差的方法，可将非线性非凸问题转换为线性的凸的问题。这种转换，有别于泰勒展开后取线性部分近似。这里不是近似而是变换，所以能得到更准确的效果。1.线性电阻电路的数学描述考虑如图1所示的电路。此

3、电路中，节点为1，2，3，4。令为各节点的电位，假设节点4的电位为零，分别从节点1，2，3，4流进电路的电流，设网络除节点4外没有其它的接地点，所以。为各支路的电流，为各支路电阻上的电压。各支路上电阻的电压与电流取关联参考方向。图1一个电路该电路各变量之间的关系可由下列三式描述。由基尔霍夫电压定律可得：　　　（1）由欧姆定律可得：7电、磁、力中的对偶　　　（２）由基尔霍夫电流定律可得：　　　　　　　　　　　　　　　　　　（３）其中，式（１）称为代数变换关系，将各节点的电位变换为各支路电阻元件上的电压降，即仿射变换。式（２）称为对偶关系，所对应的矩阵称为本

4、构矩阵，反映系统的本质。很显然矩阵是正定矩阵，这个矩阵确定了电压和电流的一一对应关系。一对一的关系就是“美”的关系，它常常使问题变得简单。式（3）称为平衡方程，是能量守恒（功率平衡）的必然结果。1.电路变量间的对偶关系将上述三式合成，可得：。令，，则可得。电路各变量间的对偶关系如图2所示。图2电路变量的典范对偶图图2中，上面一行是在原空间中的两个向量。原空间中的内积定义为：。（4）图2中，下面一行是在对偶空间中的两个向量。对偶空间中的内积定义为：。（5）由，，定义的三个变换代表的三组对偶关系称为电路的典范对偶关系。从下文可以看出，典范的含义就在于对于非凸

5、的系统或者非线性的系统，通过选取合适的变换算子，总可以化成凸的系统，即典范化理解为标准化、凸化。2.功率平衡与能量最小化若，将会有。从物理的角度，可理解为功率平衡（能量守恒）。7电、磁、力中的对偶不同的空间，只是选择了不同的坐标系，也就是说选择了不同的度量方式，但无论怎么度量，能量是不变的。从数学的角度，根据两个向量内积的定义及矩阵乘法的结合律，易知：。系统的内能定义为，对应于动力系统的动能；系统的外能定义为，对应于外力对动力系统所作的功。系统在运动中，具有动能，外力要使系统稳定，就要对系统作功，外力所做的反功就是在消耗系统的动能。为此，定义系统的总能量

6、（自由能）为：。系统总能量为的二次型。令，即得到了平衡方程。这就说明了解电路的平衡方程可等价为求解一个二次规划。1.二次规划二次规划可描述为：　　　（６）其中为对称阵。如果有约束，则可以通过lagrangian乘子法松弛为无约束规划。这里总假设为对称阵，否则用代替它，因为。下面先讨论是正定矩阵的情况。若是正定矩阵，是的凸函数，令偏导数为零可解出唯一的最小值点。事实上，正定矩阵可分解为，其中为对角阵，对角线元素都是正数。令（代数变换方程），（对偶方程），（平衡方程）。这三个方程合在一起，就是所谓的三典范对偶。通过典范对偶的转化，原二次规划问题可转为问题：（

7、7）其中，在处取到。函数关于是凹函数，关于是线性函数。上述问题的最优解在鞍点处取到。图3二次规划的典范对偶图若不是正定矩阵，原二次规划不是凸规划，如果直接在原空间中求解，问题会变得麻烦。为此，可将分解为两个正定矩阵之差（任何实数可以分解为两个正数之差，任何对称矩阵都可以分解为两个正定矩阵之差，任何函数都可以分解为两个凸函数之差）。这样，原问题变成为：。7电、磁、力中的对偶对进行分解，。原二次规划问题可转化为：。（8）函数关于是凹函数，关于也是凹函数，但关于不一定是凹函数。1.非线性系统的典范对偶实际上，图3中的算子可以矩阵，可以是微分，积分，还可以是非线

8、性算子等等。算子也可能是非线性的。由算子引起的非线性称为代数非线性，由算子引起的