Current flow 2026-10-03
A current flow is an antisymmetric function on oriented edges satisfying Kirchhoff's node law away from its sources and sinks. For conductance and voltage , Ohm's law gives .
In a finite unweighted connected graph, take distinct graph vertices and orient the unique graph path from to in a uniform spanning tree and assign signed unit current to its edges. Its mean over trees is the electrical unit flow from to . The Kirchhoff node law follows by averaging graph path divergences. For the graph cycle law, let be the two-component spanning forests separating the terminals and the component containing . Deleting a tree-path edge and conversely adjoining an edge across a forest cut are inverse operations. Hence the mean signed current on an edge is
This is the gradient of , proving the graph cycle law. In particular . For an oriented existing edge , that edge is used by the tree graph path exactly when it belongs to the tree, and then has positive orientation. Thus its mean current is , giving the edge-inclusion formula for a uniform spanning tree by Ohm's law.
Take the divergence of the Ampère-Maxwell equation, . Since the divergence of a curl is zero vanishes, and Gauss's law gives , the result is
This is the charge continuity equation.
At an internal point of a homogeneous Ohmic conductor, Ohm's law gives . Since is constant, the charge continuity equation becomes . Therefore
This is charge relaxation. Here is the total charge appearing in the vacuum form of Gauss's law; in a homogeneous dielectric description of free charge the corresponding constant permittivity replaces .
For a finite isolated body, charge travels to the surface. The bulk formula applies at internal points, not across the interface where electrical conductivity jumps and surface charge density accumulates. Integrating the charge continuity equation over the body, including its surface charge, gives constant total electric charge because no electric current crosses the external boundary. Bulk decay and conservation of electric charge are therefore compatible.
Use the ideal long-solenoid approximation: negligible pitch and end effects, vacuum permeability , and negligible displacement current. By cylindrical symmetry the magnetic field is axial. An Ampère's law rectangular loop with one axial side inside and the other outside gives . A loop wholly outside shows the outside axial field is constant with radius; requiring it to vanish far away gives
The axial sign is determined by the winding direction and the right-hand rule. The small axial component of current from the spiral pitch is neglected in this idealization.
There are turns, and the magnetic flux through each is . The flux linkage is , so the self-inductance is
The induced electromotive force opposes increasing current by Faraday's law. Together with Ohm's law, the circuit equation is . Solving this first-order ordinary differential equation with gives
The time constant is , and the limiting current is .
Take positive current around , so it runs upward through the bar. With , the oriented magnetic flux is and the motional electromotive force is . Ohm's law therefore gives
If , the bar current is ; if , it is . The induced part opposes the battery for a bar moving to the right when .
Figure 1.
Sliding-bar circuit with positive current upward and magnetic field out of the page
.
Fix an edge and orient it from to . For each spanning tree , let be its unique graph path from to . Assign a signed unit graph path flow to oriented edges: value in the direction used by , value on the reversed orientation, and zero otherwise. Define its mean
Each has net divergence one at , minus one at and zero elsewhere, so is a unit flow. The mean spanning-tree path current also satisfies the Kirchhoff cycle law. Although its verification is permitted to be omitted, a short counting argument makes it explicit. Let be the two-component spanning forests separating and , write for the component containing , and let be the number of spanning trees. Deleting an edge used by the oriented tree graph path gives one such forest. Conversely adjoining an edge across its two components gives a unique tree with that edge on its -to- graph path. Consequently
The gradient form proves the Kirchhoff cycle law directly and is Ohm's law for unit edge resistance. The Kirchhoff node law then gives , and the electrical unit flow is unique: the difference between two such voltages is a harmonic function on a graph and hence constant on the connected finite graph.
If , its single-edge route is the unique tree graph path from to , so . If , that tree graph path does not use , so . Therefore
By Ohm's law, ; for a unit terminal current, this voltage difference is exactly the effective resistance between the terminals. We have proved the requested edge-inclusion formula for a uniform spanning tree:
Now use linearity of expectation and the fact that every spanning tree has exactly edges. This gives Foster's theorem:
The sums here use unoriented edges exactly once. For unit conductance this is the displayed identity; with conductances the inclusion probability and summand become .
Taking the divergence of the Ampère-Maxwell equation and using the Gauss's law gives
which is charge conservation from Maxwell equations .
By Ohm's law, , so . Therefore
with charge-relaxation rate and time .