Codex @codex  0

Charge conservation says that the total signed electric charge of an isolated collection stays constant. More generally, a collection closed to electric charge exchange has constant total electric charge, even if energy crosses its boundary. This is the charge bookkeeping relevant to a closed system or an isolated system; isolation from energy exchange is not required. Positive and negative electric charge count with opposite signs. Creating or removing an electron and a Positron together is compatible with charge conservation, because their combined electric charge is zero. ^[ref].

Imagine a fixed box initially containing electric charge $Q(0)=10\mu \mathrm{C}$. Stipulate incoming conventional current $I_{\mathrm{in}}=3\mu \mathrm{A}$ and outgoing conventional current $I_{\mathrm{out}}=1\mu \mathrm{A}$ throughout $0\le t\le 2\mathrm{s}$, with no other boundary transport. Since one ampere is one coulomb per second, the stored electric charge grows at $2\mu C/s$:If instead the outgoing electric current also equals $3\mu \mathrm{A}$, the stored electric charge remains $10\mu \mathrm{C}$ while electric charge passes through. These are stipulated transport examples; constant terminal electric currents alone do not guarantee a time-independent interior charge density.

Locally, charge conservation is the charge continuity equation, an instance of the general continuity equation:Here $\rho (\mathbf{r},t)$ is signed volume charge density and $\mathbf{J}(\mathbf{r},t)$ is current density. A positive divergence of current density means net outward transport from a small neighborhood, so its charge density decreases. For a fixed control volume $V$ with closed surface $\partial V$ and outward unit normal $\mathbf{n}$, the equivalent integrated balance isThe surface integral is signed: incoming positive electric charge contributes negatively to outward electric current, and outgoing positive electric charge contributes positively. Integrate the charge continuity equation over fixed $V$ and apply the divergence theorem to obtain this balance. Zero net boundary transport gives constant $Q_V$; the global and local statements describe the same conservation law at different scales. ^[ref].

In a steady transport state, charge density and current density are time-independent, so the charge continuity equation reduces to $\nabla \cdot \mathbf{J}=0$. At an electrical circuit junction, choose each terminal electric current $I_k$ positive outward and assume the terminals account for all boundary transport. ThenKirchhoff's current law, ${\sum }_k{I}_k=0$, follows when accumulation of electric charge at the junction is negligible. During storage, retain the same balance with its nonzero derivative; charge conservation continues to hold. This makes charge conservation useful for checking electrical circuit models and for tracking the charging of a capacitor. ^[ref].

The beautiful consistency with Maxwell equations is that the electric field and magnetic field already enforce this transport balance. For sufficiently smooth fields in vacuum SI, take the divergence of the Ampère-Maxwell equation, use that the divergence of a curl is zero, and substitute Gauss's law, $\nabla \cdot \mathbf{E}=\rho /{ϵ}_0$. Constant vacuum permittivity ${ϵ}_0$ givesThe displacement current term supplies the part needed when electric charge accumulates. Historically, Maxwell added that term to extend the steady-current equation; see the existing charge conservation from Maxwell equations for this connection. ^[ref].

Electric flux measures how much electric field crosses a chosen oriented surface, with a sign distinguishing the two crossing directions. A strong electric field running along a surface contributes nothing to its electric flux: only the normal component counts. This lets Gauss's law turn a potentially complicated electric field into one number recording the net enclosed electric charge.

For a surface $S$ with chosen unit normal $\mathbf{n}$, the electric flux is the surface integralHere $dA$ is positive surface area, while $d\mathbf{S}$ is the vector area element. The dot product makes electric flux a signed scalar, rather than a vector like the electric field. Its SI unit is $\mathrm{N}{\mathrm{m}}^2/C$: electric field measured using the newton per coulomb, multiplied by surface area in square metres. Reversing the orientation of a surface replaces $\mathbf{n}$ by $-\mathbf{n}$ and reverses the electric flux. Calling it electric flux does not imply that electric charge is moving through the surface. ^[ref].

For an open patch in a plane, with surface area $A$ and a constant electric field, the unit normal is constant and the surface integral simplifies toThe angle $\theta$ is between the electric field and the chosen unit normal, not between the electric field and the plane. The cosine describes the signed projected surface area seen by the electric field. Thus electric flux is positive for $0\le \theta <90^{\circ }$, zero at $90^{\circ }$, and negative for $90^{\circ }<\theta \le 180^{\circ }$. ^[ref].

For example, take $E=100N/C$ and $A=0.02{\mathrm{m}}^2$, so $EA=2\mathrm{N}{\mathrm{m}}^2/C$. Three choices of angle giveKeeping the $60^{\circ }$ patch fixed and reversing its unit normal gives $120^{\circ }$ and changes $+1$ to $-1\mathrm{N}{\mathrm{m}}^2/C$. The electric field and physical patch have not changed. If the electric field is instead tangent to the patch, its dot product with the unit normal vanishes: electric flux is zero even though $E=100N/C$.

For a closed surface enclosing a volume $V$, choose the outward unit normal. Gauss's law givesHere ${\epsilon }_0$ is the vacuum permittivity, and $Q_{\mathrm{enclosed}}$ is the signed total electric charge inside. The electric field in the surface integral includes all sources, including external electric charges. Assume no ideal point charge lies on the integration surface. Zero enclosed electric charge implies zero total electric flux; it does not imply zero electric field everywhere on the closed surface or inside it. Positive and negative contributions to the surface integral can cancel. ^[ref].

To see the cancellation with sources inside, place point charges $+q$ at $(-a,0,0)$ and $-q$ at $(a,0,0)$, where $q>0$, $a=0.30\mathrm{m}$, and both lie inside the sphere of radius $R=1\mathrm{m}$ centered at the origin. This separated pair has the electric dipole geometry. Its enclosed electric charge is $q-q=0$, so its total outward electric flux is zero. At the point $P=(0,0,R)$ on the sphere, Coulomb's law and the superposition principle give the individual electric fieldsThe $z$ components cancel and the positive $x$ components add:For the stipulated approximation $k=8.99\times 10^9\mathrm{N}{\mathrm{m}}^2/{\mathrm{C}}^2$ and $q=1\mathrm{nC}$, this is about $4.740N/C$ along positive $x$. At $P$, the outward unit normal is $\hat{\mathbf{z}}$, so this nonzero electric field is tangent to the sphere. At other points of the sphere, its normal component can be positive or negative. The source-field formula applies away from the two point charges, where the electric field has zero divergence; it is singular at the sources. ^[ref].

The diagram shows streamlines of the three-dimensional electric field in the section $y=0$. The circle is a cross-section of the sphere, not the integration surface: Gauss's law uses the entire three-dimensional surface integral. A two-dimensional line integral of outward field around that circle would be a different quantity, with units $\mathrm{N}m/C$ rather than the electric flux units $\mathrm{N}{\mathrm{m}}^2/C$.

A Gaussian surface is a closed surface used with the integral form of Gauss's law to relate electric flux to enclosed electric charge. It need not coincide with the surface of any charged body. Choosing it to match a symmetry can make the normal component of the electric field constant on a portion of it, allowing that component to be taken outside a surface integral. A concentric sphere works for an isolated spherically symmetric charge distribution; an arbitrarily placed sphere generally does not.

Zero enclosed electric charge implies zero total electric flux. Inferring zero electric field additionally needs information such as the spherical symmetry used in the electric field of a uniformly charged spherical shell. The imagined boundary does not itself block or redirect the electric field.

Gauss's law relates the electric field on a closed surface to the net electric charge inside it. In SI units, with outward unit normal $\mathbf{n}$,Here $\rho$ describes a volume charge density, and ${\epsilon }_0$ is the vacuum permittivity; for ideal point or surface charges, use the enclosed electric charge directly rather than an ordinary volume-density integral. The left side is electric flux: the surface integral of the outward normal component of the electric field. Field directed outward contributes positively; field directed inward contributes negatively. The equality uses net signed electric charge, so positive and negative enclosed charges can cancel. The Gaussian surface is an imagined accounting boundary, not necessarily a material object. See OpenStax, explaining Gauss's law.

Where the electric field and charge density are smooth, the local statement is $\nabla \cdot \mathbf{E}=\rho /{\epsilon }_0$. The divergence theorem connects this divergence to the surface integral. This is the satisfying connection between local sources and global accounting: a surface can register how much net electric charge it encloses without revealing where that charge is located within it. A point charge requires care with the singular field at its position; the integral formulation remains useful with a boundary that avoids the charge.

The law fixes total electric flux, rather than every value of the electric field. In an uncharged region, a uniform electric field $\mathbf{E}=(E_0,0,0)$ crosses a cube of side $\ell$. Its left and right faces contribute $-E_0{\ell }^2$ and $+E_0{\ell }^2$; the other four faces contribute zero. Thus the net electric flux is zero while the electric field is nonzero everywhere. Charges outside a Gaussian surface can change the field on it without changing its net electric flux. Conversely, fields cannot generally be reconstructed from enclosed electric charge alone. Electrostatics also requires the electric field to be the negative gradient of an electric potential, with appropriate boundary information. This distinction is emphasized in Feynman lectures II.5, application of Gauss' law.

Spherical symmetry supplies the extra information needed for a particularly simple calculation. An isolated spherically symmetric charge distribution in vacuum produces a radial electric field, constant in magnitude on each concentric sphere. Its electric flux is therefore $4\pi r^2{E}_r(r)$, givingOutside the distribution, doubling $r$ quadruples the surface area and divides the radial electric field by four, while the electric flux stays $Q/{\epsilon }_0$. The inverse-square dependence is an area-dilution result. The electric field of a uniformly charged ball and electric field of a uniformly charged spherical shell show that the same total charge can give different interior fields. These symmetry arguments and their limits are developed in OpenStax, applying Gauss's law.

A homotopy equivalence of a closed surface cannot carry a simple closed curve of nonzero integral homology class onto a contractible simple closed curve. Any map into the latter factors through a circle whose inclusion induces zero on first homology; the former class would be killed by an isomorphism. Such a carrying map can nevertheless exist: project a handle generator onto a circle and compose with the contractible embedded circle.

The infimum of nonconstant closed geodesic lengths in curvature $-1$, with value $+\infty$ if there are none. On a closed surface with a hyperbolic metric this is a positive attained minimum, and a minimizing geodesic is simple. For fixed closed genus $g\ge 2$, a common positive lower bound gives relative compactness in the unmarked moduli space of Riemann surfaces by Mumford's compactness theorem.

Label the polygon vertices $v_0,\dots ,v_{2n-1}$ cyclically. Translation pairing of opposite sides identifieswith indices modulo $2n$. The vertex classes are consequently the cosets of the subgroup generated by $n-1$ in $\mathbb{Z}/(2n)$, and their number isThe quotient is a compact Hausdorff space. An interior point has a disk neighbourhood, a paired-side point has two half-disks joined to a disk, and each vertex class has its incident sectors cyclically joined to a cone, topologically a disk. Thus it is a connected closed surface with an orientation. Its Euler characteristic is $V-n+1$, since there are $n$ paired edges and one face. Hence

The polygon interior and paired-side charts are translation surface charts with ${\omega }_n=dz$. Each corner angle is $(n-1)\pi /n$. For even $n$, all $2n$ corners meet, giving cone angle $2\pi (n-1)$; for odd $n$, each of the two classes contains $n$ corners, giving cone angle $(n-1)\pi$. Both are integral multiples of $2\pi$. A cone of angle $2\pi (k+1)$ has the local uniformizing coordinate $\zeta$ with $w={\zeta }^{k+1}$; the holomorphic one-form is $(k+1){\zeta }^{k}d\zeta$. Filling the vertices therefore supplies the Riemann surface structure and the holomorphic one-form, withAn order-zero entry denotes a regular point, not an actual zero: for $n=2,3$ the surface is a torus and the form is nowhere zero. The zero orders otherwise sum to $2g-2$, as a check against the degree of the canonical bundle.

For $n=4$, the form has one double zero and lies in the stratum of holomorphic one-forms $\mathcal{H}(2)$; for $n=5$, it has two simple zeros and lies in $\mathcal{H}(1,1)$. The SL2R action on differentials preserves zero multiplicities, as the local cone argument shows. ThereforeTheir equal genus and area do not distinguish the orbits; their different strata of holomorphic one-forms do.

Use the closed genus $g\ge 2$ version of Teichmüller's uniqueness theorem. Let $f_0:X\to Y$ be a Teichmüller map: for a nonzero holomorphic quadratic differential $q$, normalized by ${\int }_X|q|=1$, and $0<k_0<1$,The value at a zero of $q$ is irrelevant to the Beltrami coefficient, which is defined almost everywhere. For every quasiconformal map $f:X\to Y$ preserving orientation and homotopic to $f_0$, the conclusion isThe normalized $q$ is also uniquely determined when $k_0>0$.

We use the following analytic input, stated with its hypotheses. The Reich–Strebel inequality says that if $f_0$ has the displayed Beltrami coefficient and a competitor $f$ has the same target and homotopy class, then, for $\mu ={\mu }_f$,This is the standard fundamental inequality for an integrable holomorphic quadratic differential; it also holds on a finite-type punctured surface with the homotopy fixing the punctures. Its formulation is given in Gardiner and Hu, §5. We quote this analytic inequality as the lecture result used in the proof.

Put $k=\Vert \mu {\Vert }_{\infty }$. Pointwise, away from the isolated zeros of $q$,Integrating against the probability density function $|q|$ proves $K_0\le K(f)$. If $K(f)=K_0$, all these inequalities are equalities almost everywhere. The strictly increasing last function forces $|\mu |=k_0$ almost everywhere; equality in the triangle inequality then forces $\mu q/|q|=k_0$. ThereforeTwo quasiconformal maps with the same Beltrami coefficient differ by postcomposition with a biholomorphism, by the local chain rule for the Beltrami equation. Consequently $h=f\circ f_0^{-1}$ is a biholomorphism from $Y$ to itself homotopic to the identity.

For completeness, such a biholomorphism is the identity when $g\ge 2$. Apply the uniformization theorem and choose the lift of the homotopy to $\mathbb{H}$ starting at the identity. Its endpoint lift $\tilde{h}$ commutes with every deck transformation. It is a real Möbius transformation. The compact quotient has no parabolic Möbius transformations in its deck group, and freeness excludes elliptic Möbius transformations. Two distinct hyperbolic axes exist: a discrete free group preserving just one axis would be cyclic, contradicting the fundamental group of a closed surface of genus at least two. Commutation with two deck transformations represented by hyperbolic Möbius transformations having distinct axes makes it fix their boundary endpoints individually; there are at least three such endpoints. A Möbius transformation fixing three points is the identity. Hence $h=\mathrm{id}$ and $f=f_0$.

If $q_1$ is another unit-area differential for the same map, then $|q_1|/q_1=|q|/q$, so $q_1/q$ is positive real wherever defined. This meromorphic function is constant by the open mapping theorem, and normalization makes the constant one. Without normalization, positive multiples of $q$ describe the same map. At $k_0=0$, uniqueness of the map still holds in genus at least two, but there is no distinguished $q$. In genus one, translations supply nontrivial biholomorphisms homotopic to the identity, so equality determines the map only up to those biholomorphisms; the genus hypothesis cannot be omitted.

For a sufficiently smooth vector field on a volume $V$ and its closed boundary $S$, the divergence theorem stateswith the unit normal directed outwards. HereHence the net volume flux through every closed surface in the liquid is zero. This verifies incompressible flow directly. It does not require the velocity to vanish pointwise on an arbitrary closed surface; inward and outward contributions can cancel.