テレゲンの定理(英: Tellegen's theorem、テレヘンの定理とも)は、電気回路において各枝を流れる電流と、枝間の電位差の積の総和が0となることを意味する定理である。1952 年に Bernard D. H. Tellegen (英語版) によって報告された[1]。
テレゲンの定理は様々なネットワークに適用できる。基本的な前提はキルヒホッフのふたつの法則、すなわち回路における流れの保存則(電流則)と、節点におけるポテンシャルの一意性(電圧則)である。テレゲンの法則は、電気回路、生物の代謝ネットワーク、パイプラインによる輸送ネットワーク、化学反応ネットワークなどの、複雑なネットワークシステムの解析に適用できる。
ある連結有向グラフ(それぞれの枝に向きを定義したグラフ)を考える。枝 (branch) の数を
、節点 (node) の数を
と置く。電気回路においては、枝はふたつの端子を持つ素子であり、節点はそれらの接続点である。それぞれの枝には電位差
と電流
が定められているとする。このとき
である、それぞれ枝の方向に対して、一定の規則で正の向きを定める。
がキルヒホッフの電圧則 (Kirchhoff's voltage law, KVL) に従い、また
がキルヒホッフの電流則 (Kirchhoff's current law, KCL) に従うならば、以下の関係が成立する。
![{\displaystyle \sum _{k=1}^{b}W_{k}F_{k}=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6f6c7b4bcbccdf8027b596068f393719c6d7d798)
電気回路ネットワークに対して、
行
列の接続行列
を以下のように定義する。
![{\displaystyle a_{ik}={\begin{cases}1,&{\mbox{節点}}\,i\,{\mbox{が枝}}\,k\,{\mbox{の始点であるとき}}\\-1,&{\mbox{節点}}\,i\,{\mbox{が枝}}\,k\,{\mbox{の終点であるとき}}\\0,&{\mbox{節点}}\,i\,{\mbox{が枝}}\,k\,{\mbox{の端点でないとき}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4bfd8ce8825882ddca60928f952d08f3b9e925f6)
この行列の各列は、必ずひとつずつ 1 と -1 を持つから、
個の行のひとつは冗長である。例えば
個の行をすべて加えれば、残りの 1 行が導けることはすぐにわかる。よって行列
の階数は
で、
から任意のひとつの行を取り去るっても回路グラフについての情報は失われない。このようにして作られた
の行列を規約接続行列 (reduced incidence matrix) と呼び、
で表す。
とり去った行に対応する節点を基準節点と呼び、この電位を0とする。そして基準節点以外の各節点の電位を
と定める。これを並べた次元
のベクトルを
とする。このとき枝の電位差
は、始点節点の電位
、終点節点の電位
を用いて
![{\displaystyle W_{k}=w_{b}-w_{e}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95b89a68de0dad23806ad4ee4efb0233619933bd)
であるから、
![{\displaystyle \mathbf {W} =\mathbf {A} ^{\mathbf {T} }\mathbf {w} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/fc67b97d6b9f05612144390fc8573a7de91eed17)
と書ける。ここで
は
を並べた次元
のベクトルである。また同様に
を並べたベクトル
を定義する。
いま
![{\displaystyle \sum _{k=1}^{b}a_{ik}F_{k}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/15a9fec5df959b6193e512f9f7cdc33ec66078a1)
を考えると、これは節点
に流入・流出する電流の総和である。よって KCL より 0 となる。すなわち
![{\displaystyle \mathbf {A} \mathbf {F} =\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/f0485125ca2cfe40714d7c3da521f9e74df145e7)
が成立する。すると
![{\displaystyle \mathbf {W} ^{\mathbf {T} }\mathbf {F} =(\mathbf {A} ^{\mathbf {T} }\mathbf {w} )F=(\mathbf {w} ^{\mathbf {T} }\mathbf {A} )\mathbf {F} =\mathbf {w} ^{\mathbf {T} }(\mathbf {A} \mathbf {F} )=\mathbf {0} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/bcbc47c9a207dbddb609aae8e083091d2afcc8ba)
である。よってテレゲンの定理が証明できた。
テレゲンの定理は
であったとしても、以下の形で成立する。
![{\displaystyle \sum _{i=1}^{N}V_{i}(t_{1})\cdot I_{i}(t_{2})=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8ed64d9b22eda19f0e51d2b91b7c5f70f1a423d0)
これの意味するところは、電位差の列
と電流の列
のサンプリングをそれぞれの列内で同時刻に行っていれば、電位差と電流のサンプリング時刻はテレゲンの定理の保存する情報に影響しないということである。
これまで仮定していた回路と同じ位相構造を持つ回路を想定する。その回路の枝の最初の回路の枝
に対応する枝を
とおくとテレゲンの定理は以下の形で成立する。
![{\displaystyle {\begin{aligned}\sum _{i=1,{\bar {i}}=1}^{N}V_{\bar {i}}(t)\cdot I_{i}(t)=0\\\sum _{i=1,{\bar {i}}=1}^{N}V_{i}(t)\cdot I_{\bar {i}}(t)=0\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e60e211f246fcd90c9e3d95666fd7b9a1e4b201f)
これの意味するところは、異なる素子からなる二つの回路から、それぞれ電位差と電流をサンプリングしてきたとしてもテレゲンの定理の保存する情報に影響しないということである。平たく言えば、テレゲンの定理の保存する情報とは回路の位相構造ということである。
- ^ Tellegen, B. D. H. (1952). “Tellegen, B. D. H. (1952). "A general network theorem with applications". Philips Research Reports. 7: 259–269.”. Phillips Research Reports 7: 259-269.
- 平山 博, 大附辰夫『電気回路論 [3版改訂]』電気学会, 2008, 第5章