View source for Tellegen's theorem

'''Tellegen's theorem'''<!--, named after [[????? Tellegen]], --> is one of the most powerful theorems in [[network theory]]. Most of the energy distribution theorems and extremum principles in network theory can be derived from it. It was published in 1952 by [[Bernard Tellegen]].<ref name="Tellegen">{{cite journal
  | last = Tellegen
  | first = B. D. H.
  | title = A general network theorem with applications
  | journal = Philips Research Reports
  | volume = 7
  | issue = 
  | pages = 259–269
  | date = 1952
  | url = 
  | issn = 
  | doi = 
  | id = 
  }}</ref>   Fundamentally, Tellegen's theorem gives a simple relation between magnitudes that satisfy [[Kirchhoff's circuit laws|Kirchhoff's laws]] of electrical [[circuit theory]].

The Tellegen theorem is applicable to a multitude of network systems. The basic assumptions for the systems are the conservation of flow of extensive quantities ([[Kirchhoff's current law]], KCL) and the uniqueness of the potentials at the network nodes ([[Kirchhoff's voltage law]], KVL). The Tellegen theorem provides a useful tool to analyze complex network systems including electrical circuits, [[Biological network|biological]] and [[metabolic network]]s, [[pipeline transport]] networks, and [[chemical process]] networks.

== The theorem ==

Consider an arbitrary lumped network whose graph <math>G</math> has <math>b</math> branches and <math>n_{t}</math> nodes. In an electrical network, the branches are two-terminal components and the nodes are points of interconnection.  Suppose that to each branch of the graph we assign arbitrarily a branch potential difference <math>W_{k}</math> and a branch current <math>F_{k}</math> for <math>k=1,2,\dots,b</math>, and suppose that they are measured with respect to arbitrarily picked ''associated'' reference directions. If the branch potential differences <math>W_{1},W_{2},\dots,W_{b}</math> satisfy all the constraints imposed by KVL and if the branch currents <math>F_{1},F_{2},\dots,F_{b}</math> satisfy all the constraints imposed by KCL, then

: <math>\sum_{k=1}^{b} W_{k} F_{k} = 0.</math>

Tellegen's theorem is extremely general; it is valid for any lumped network that contains any elements, ''linear or [[nonlinear circuit|nonlinear]]'', ''passive or active'', ''time-varying or time-invariant''. The generality is extended when <math>W_{k}</math> and <math>F_{k}</math> are linear operations on the set of potential differences and on the set of branch currents (respectively) since linear operations don't affect KVL and KCL.  For instance, the linear operation may be the average or the [[Laplace transform]].  More generally, operators that preserve KVL are called Kirchhoff voltage operators, operators that preserve KCL are called Kirchhoff current operators, and operators that preserve both are simply called Kirchhoff operators. These operators need not necessarily be linear for Tellegen's theorem to hold.<ref name="Penfield">{{cite journal
  | last = Penfield
  | first = P.
  | title = A Generalized Form of Tellegen's Theorem
  | journal = IEEE Transactions on Circuit Theory
  | volume = CT-17
  | issue = 
  | pages = 302–305
  | date = 1970
  | url = http://www.ee.ic.ac.uk/r.spence/pubs/PSD70.pdf
  | issn = 
  | doi = 
  | id = 
  | accessdate = November 8, 2016}}</ref>

The set of currents can also be sampled at a different time from the set of potential differences since KVL and KCL are true at all instants of time.  Another extension is when the set of potential differences <math>W_{k}</math> is from one network and the set of currents <math>F_{k}</math> is from an entirely different network, so long as the two networks have the same topology (same [[incidence matrix]]) Tellegen's theorem remains true.  This extension of Tellegen's Theorem leads to many theorems relating to two-port networks.<ref>''Tellegen's Theorem and Electrical Networks'' by Paul Penfield, Jr., Robert Spence, and Simon Duinker, The MIT Press, Cambridge, MA, 1970</ref>

== Definitions ==

We need to introduce a few necessary network definitions to provide a compact proof.

'''Incidence matrix:'''
The <math> n_{t} \times n_{f} </math> matrix <math>\mathbf{A_a}</math> is called node-to-branch incidence matrix for the matrix elements <math>a_{ij}</math> being

: <math>
a_{ij}= \begin{cases}
1, & \text{if flow } j \text{ leaves node } i \\
-1, & \text{if flow } j \text{ enters node } i \\
0, & \text{if flow } j \text{ is not incident with node } i  
\end{cases}
</math>

A reference or datum node <math>P_0</math> is introduced to represent the environment and connected to all dynamic nodes and terminals. The <math>(n_{t}-1)\times n_{f}</math> matrix <math>\mathbf{A}</math>, where the row that contains the elements <math>a_{0j}</math> of the reference node <math>P_{0}</math> is eliminated, is called reduced incidence matrix.

The '''conservation laws (KCL)''' in vector-matrix form:

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

The '''uniqueness condition for the potentials (KVL)''' in vector-matrix form:

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

where <math> w_{k} </math> are the absolute potentials at the nodes to the reference node <math>P_{0}</math>.

== Proof ==

Using KVL:

: <math>
\begin{align}
 \mathbf{W^T} \mathbf{F}
 = \mathbf{(A^{T} w)^T} \mathbf{F}
 = \mathbf{(w^{T} A)} \mathbf{F}
 = \mathbf{w^{T} A F} = \mathbf{0}
\end{align}
</math> 

because <math> \mathbf{A F} = \mathbf{0} </math> by KCL. So:

: <math>\sum_{k=1}^{b} W_{k} F_{k} = \mathbf{W^T} \mathbf{F} = 0</math>

== Applications ==

Network analogs have been constructed for a wide variety of physical systems, and have proven extremely useful in analyzing their dynamic behavior. The classical application area for network theory and Tellegen's theorem is electrical circuit theory. It is mainly in use to design filters in signal processing applications.

A more recent application of Tellegen's theorem is in the area of chemical and biological processes. The assumptions for electrical circuits (Kirchhoff laws) are generalized for dynamic systems obeying the laws of irreversible thermodynamics. Topology and structure of reaction networks (reaction mechanisms, metabolic networks) can be analyzed using the Tellegen theorem.

Another application of Tellegen's theorem is to determine stability and optimality of complex process systems such as chemical plants or oil production systems. The Tellegen theorem can be formulated for process systems using process nodes, terminals, flow connections and allowing sinks and sources for production or destruction of extensive quantities.

A formulation for Tellegen's theorem of process systems:

: <math> \sum_{j=1}^{n_{P}} W_{j}\frac{\operatorname{d}Z_{j}}{\operatorname{d}t} = \sum_{k=1}^{n_{f}} W_{k} f_{k} + \sum_{j=1}^{n_{P}} w_{j} p_{j} + \sum_{j=1}^{n_{t}} w_{j} t_{j},\quad j=1,\dots,n_{p}+n_{t} </math>

where <math>p_{j}</math> are the production terms, <math>t_{j}</math> are the terminal connections, and <math>\frac{\operatorname{d}Z_{j}}{\operatorname{d}t}</math> are the dynamic storage terms for the extensive variables.

== References ==
; In-line references
{{reflist}}

; General references
{{refbegin}}
* ''Basic Circuit Theory'' by C.A. Desoer and E.S. Kuh, McGraw-Hill, New York, 1969
*"Tellegen's Theorem and Thermodynamic Inequalities", G.F. Oster and C.A. Desoer, ''J. Theor. Biol'' 32 (1971), 219&ndash;241
*"Network Methods in Models of Production", Donald Watson, ''Networks'', 10 (1980), 1&ndash;15
{{refend}}

== External links ==
 	
*[https://web.archive.org/web/20091229102451/http://www.wolaver.org/math/Tellegen.pdf Circuit example for Tellegen's theorem]
*G.F. Oster and C.A. Desoer, [https://web.archive.org/web/20110726224858/http://nature.berkeley.edu/~goster/pdfs/Tellagen.pdf Tellegen's Theorem and Thermodynamic Inequalities]
*[https://web.archive.org/web/20110726224906/http://nature.berkeley.edu/~goster/pdfs/NetworkThermo.pdf Network thermodynamics]

[[Category:Circuit theorems]]