テレゲンの定理のソースを表示

'''テレゲンの定理'''（{{lang-en-short|Tellegen's theorem}}、テレヘンの定理とも）は、[[電気回路]]において各枝を流れる電流と、枝間の電位差の積の総和が0となることを意味する定理である。1952 年に [[w:en:Bernard D. H. Tellegen|Bernard D. H. Tellegen (英語版)]] によって報告された<ref>{{Cite journal|author=Tellegen, B. D. H.|year=1952|title=Tellegen, B. D. H. (1952). "A general network theorem with applications". Philips Research Reports. 7: 259–269.|journal=Phillips Research Reports|volume=7|pages=259-269}}</ref>。

テレゲンの定理は様々なネットワークに適用できる。基本的な前提は[[キルヒホッフの法則 (電気回路)|キルヒホッフのふたつの法則]]、すなわち回路における流れの保存則（電流則）と、節点におけるポテンシャルの一意性（電圧則）である。テレゲンの法則は、電気回路、生物の代謝ネットワーク、パイプラインによる輸送ネットワーク、化学反応ネットワークなどの、複雑なネットワークシステムの解析に適用できる。

== 定理 ==
ある[[有向グラフ|連結有向グラフ]]（それぞれの枝に向きを定義したグラフ）を考える。枝 (branch) の数を <math>b</math>、節点 (node) の数を <math>n</math> と置く。電気回路においては、枝はふたつの端子を持つ素子であり、節点はそれらの接続点である。それぞれの枝には電位差 <math>W_k</math> と電流 <math>F_k</math> が定められているとする。このとき <math>k=1, 2,\ldots, b</math> である、それぞれ枝の方向に対して、一定の規則で正の向きを定める。<math>W_1, W_2,\ldots, W_b</math> がキルヒホッフの電圧則 (Kirchhoff's voltage law, KVL) に従い、また <math>F_1, F_2,\ldots, F_b</math> がキルヒホッフの電流則 (Kirchhoff's current law, KCL) に従うならば、以下の関係が成立する。

:<math>\sum_{k=1}^b W_kF_k=0</math>
== 証明 ==
=== 定義 ===
電気回路ネットワークに対して、<math>n</math> 行 <math>b</math> 列の'''接続行列''' <math>\mathbf{A_a}</math> を以下のように定義する。

:<math>a_{ik} =
\begin{cases}
1,  & \mbox{節点}\,i\, \mbox{が枝}\,k\,\mbox{の始点であるとき}\\
-1, & \mbox{節点}\,i\,\mbox{が枝}\,k\,\mbox{の終点であるとき} \\
0, & \mbox{節点}\,i\,\mbox{が枝}\,k\,\mbox{の端点でないとき}
\end{cases}</math>

この行列の各列は、必ずひとつずつ 1 と -1 を持つから、<math>n</math> 個の行のひとつは冗長である。例えば <math>n-1</math> 個の行をすべて加えれば、残りの 1 行が導けることはすぐにわかる。よって行列 <math>\mathbf{A_a}</math> の[[行列の階数|階数]]は  <math>n-1</math> で、 <math>\mathbf{A_a}</math> から任意のひとつの行を取り去るっても回路グラフについての情報は失われない。このようにして作られた <math>(n-1)\times b</math> の行列を'''規約接続行列''' (reduced incidence matrix) と呼び、 <math>\mathbf{A}</math> で表す。

とり去った行に対応する節点を'''基準節点'''と呼び、この電位を０とする。そして基準節点以外の各節点の電位を <math>w_i</math> と定める。これを並べた次元 <math>(n-1)</math> のベクトルを <math>\mathbf{w}</math> とする。このとき枝の電位差 <math>W_k</math> は、始点節点の電位 <math>w_b</math>、終点節点の電位 <math>w_e</math> を用いて

:<math>W_k=w_b-w_e</math>

であるから、

:<math>\mathbf{W}=\mathbf{A}^\mathbf{T}\mathbf{w}</math>

と書ける。ここで <math>\mathbf{W}</math> は <math>W_k</math> を並べた次元 <math>b</math> のベクトルである。また同様に <math>F_k</math> を並べたベクトル <math>\mathbf{F}</math> を定義する。

=== 証明 ===
いま

:<math>\sum_{k=1}^b a_{ik} F_k</math>

を考えると、これは節点 <math>i</math> に流入・流出する電流の総和である。よって KCL より 0 となる。すなわち

:<math>\mathbf{A}\mathbf{F}=\mathbf{0}</math>

が成立する。すると

:<math>\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}</math>

である。よってテレゲンの定理が証明できた。

==テレゲンの定理の重要性==
=== 非時間依存 ===
テレゲンの定理は<math>t_1 \neq t_2</math>であったとしても、以下の形で成立する。

:<math>
\sum^{N} _{i=1} V_i(t_1) \cdot I_i(t_2)= 0
</math>

これの意味するところは、電位差の列<math> { V_1,V_2,\dotsc,V_N }</math>と電流の列<math>  { I_1,I_2,\dotsc,I_N }</math>のサンプリングをそれぞれの列内で同時刻に行っていれば、電位差と電流のサンプリング時刻はテレゲンの定理の保存する情報に影響しないということである。

=== 非素子依存 ===
これまで仮定していた回路と同じ位相構造を持つ回路を想定する。その回路の枝の最初の回路の枝<math>i</math>に対応する枝を<math>\bar i</math>とおくとテレゲンの定理は以下の形で成立する。

:<math>\begin{align}
\sum^{N} _{i=1, \bar{i}=1 } V_{\bar {i}}(t) \cdot I_i(t)= 0
\\
\sum^{N} _{i=1, \bar{i}=1} V_i(t) \cdot I_{\bar i}(t)= 0
\end{align}</math>

これの意味するところは、異なる素子からなる二つの回路から、それぞれ電位差と電流をサンプリングしてきたとしてもテレゲンの定理の保存する情報に影響しないということである。平たく言えば、テレゲンの定理の保存する情報とは回路の位相構造ということである。

== 脚注 ==
{{reflist}}

== 参考文献 ==
* 平山 博, 大附辰夫『電気回路論 [3版改訂]』電気学会, 2008, 第5章
{{デフォルトソート:てれけんのていり}}

[[Category:電磁気学]]
[[Category:自然科学の法則]]
[[Category:電気回路の定理]]
[[Category:電気工学]]
[[Category:エポニム]]