Math 2.0

Potential theory Discrete potential theory Theorem

Thomson's principle

Builds on Electrical networkEffective resistance

Statement

Let (G,c)(G, c) be a finite electrical network with vertex set VV and resistances r=1/cr = 1/c, and let a,b∈Va, b \in V with a≠ba \ne b. A unit flow from aa to bb is a function θ\theta on ordered pairs of neighbours with θ(y,x)=−θ(x,y)\theta(y, x) = -\theta(x, y) such that:

  1. ∑yθ(x,y)=0\sum_y \theta(x, y) = 0 for every x∉{a,b}x \notin \set{a, b};
  2. ∑yθ(a,y)=1\sum_y \theta(a, y) = 1.

Its energy is ℰ(θ)=∑{x,y}∈Er(x,y) θ(x,y)2\mathcal{E}(\theta) = \sum_{\set{x, y} \in E} r(x, y)\, \theta(x, y)^2. Then Reff(a,b)=min⁡{ℰ(θ):θ a unit flow from a to b},R_{\mathrm{eff}}(a, b) = \min \set{\mathcal{E}(\theta) : \theta \text{ a unit flow from } a \text{ to } b}, where ReffR_{\mathrm{eff}} is the effective resistance. The minimum is attained exactly at the unit current flow. This is the current of strength 11 from aa to bb given by a voltage that is harmonic off {a,b}\set{a, b}.

Remarks

Let ii be the unit current flow, with voltage vv, so that r(x,y) i(x,y)=v(x)−v(y)r(x, y)\, i(x, y) = v(x) - v(y). For any unit flow θ\theta, the difference θ−i\theta - i has net flow 00 at every vertex. Summing by parts gives ∑{x,y}∈Er(x,y) i(x,y)(θ−i)(x,y)=∑xv(x)∑y(θ−i)(x,y)=0\sum_{\set{x, y} \in E} r(x, y)\, i(x, y)\big(\theta - i\big)(x, y) = \sum_x v(x) \sum_y (\theta - i)(x, y) = 0. Hence ℰ(θ)=ℰ(i)+ℰ(θ−i)\mathcal{E}(\theta) = \mathcal{E}(i) + \mathcal{E}(\theta - i), which is at least ℰ(i)\mathcal{E}(i) with equality only for θ=i\theta = i. Finally ℰ(i)=∑xv(x)∑yi(x,y)=v(a)−v(b)=Reff(a,b)\mathcal{E}(i) = \sum_x v(x) \sum_y i(x, y) = v(a) - v(b) = R_{\mathrm{eff}}(a, b). Example: let the network consist of two paths from aa to bb that share only their endpoints, with total resistances r1r_1 and r2r_2. A unit flow carries a constant amount tt along the first path and 1−t1 - t along the second, so its energy is r1t2+r2(1−t)2r_1 t^2 + r_2 (1 - t)^2. Minimizing over tt gives r1r2/(r1+r2)r_1 r_2/(r_1 + r_2), the parallel law. The dual statement, Dirichlet's principle, says that 1/Reff(a,b)1/R_{\mathrm{eff}}(a, b) is the minimum of ∑{x,y}∈Ec(x,y)(f(x)−f(y))2\sum_{\set{x, y} \in E} c(x, y)\big(f(x) - f(y)\big)^2 over all ff with f(a)=1f(a) = 1 and f(b)=0f(b) = 0.

Going deeper

For a student

The principle turns effective resistance into a minimum, so any unit flow gives an upper bound on Reff(a,b)R_{\mathrm{eff}}(a, b). 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 ℤ3\Z^3 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Effective resistance concept
  2. Electrical network concept
  3. Thomson's principle statement

Where this leads

2 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Electrical_network
About this page
Tag8BPMHA5MT4
URIm2://8BPMHA5MT4
Kindstatement, theorem
WritingW0 stub
MSC31C20, 94C05
StatusThis copy of the site has no build data. Run m2 status 8BPMHA5MT4.
AboutEffective resistance
UsesElectrical 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.

What links here

Used by