Potential theory Discrete potential theory Theorem
Thomson's principle
Builds on Electrical networkEffective resistance
Statement
Let be a finite electrical network with vertex set and resistances , and let with . A unit flow from to is a function on ordered pairs of neighbours with such that:
- for every ;
- .
Its energy is . Then where is the effective resistance. The minimum is attained exactly at the unit current flow. This is the current of strength from to given by a voltage that is harmonic off .
Remarks
Let be the unit current flow, with voltage , so that . For any unit flow , the difference has net flow at every vertex. Summing by parts gives . Hence , which is at least with equality only for . Finally . Example: let the network consist of two paths from to that share only their endpoints, with total resistances and . A unit flow carries a constant amount along the first path and along the second, so its energy is . Minimizing over gives , the parallel law. The dual statement, Dirichlet's principle, says that is the minimum of over all with and .
Going deeper
For a student
The principle turns effective resistance into a minimum, so any unit flow gives an upper bound on . Dually, any test function in Dirichlet's principle gives a lower bound. The Rayleigh monotonicity law follows at once, since raising resistances raises the energy of every flow. On infinite graphs, a unit flow of finite energy to infinity exists exactly when the random walk is transient. This gives a proof of the transience of by exhibiting such a flow.
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Effective resistance concept
- Electrical network concept
- Thomson's principle statement
Where this leads
2 pages build on this one.
Further reading
About this page
| Tag | 8BPMHA5MT4 |
|---|---|
| URI | m2://8BPMHA5MT4 |
| Kind | statement, theorem |
| Writing | W0 stub |
| MSC | 31C20, 94C05 |
| Status | This copy of the site has no build data. Run m2 status 8BPMHA5MT4. |
| About | Effective resistance |
| Uses | Electrical network, Effective resistance |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.