Surface Integrals and Flux
A surface in is the first genuinely two-dimensional object we learn to integrate over, and it comes with two integrals that look almost the same on the page and mean completely different things. The scalar surface integral adds up a scalar field over the surface, each value weighted by a patch of area: it returns the mass of a thin shell, the charge painted on a membrane, or — when — the plain area. The flux integral asks a different question of a vector field: how much of actually pierces the surface, counted with the oriented area element whose direction is the chosen unit normal. One integral is blind to which side you call "out"; the other lives or dies by it. This article is where the vector-calculus toolkit built in aq-mp-line-integrals turns from curves to surfaces. The engine is a single geometric fact: a parametrization carries the flat parameter rectangle onto the curved surface, and the cross product simultaneously points along the normal and measures how much a patch of stretches. That one vector packages orientation and area together, converting every abstract surface integral into an ordinary double integral. Everything downstream — the divergence theorem of aq-mp-divergence-gauss-theorem, Stokes' theorem, Gauss's law, the continuity equation — is built on the flux integral defined here, so this is the load-bearing node of the whole integral-theorem head.
- A surface integral generalizes the ordinary integral to a curved two-dimensional surface : either a scalar field weighted by the area element , or the normal component of a vector field weighted by the oriented vector area .
- The flux of through is , the net rate at which crosses in the chosen normal direction.
- A parametrization turns either integral into a double integral over the flat domain , with — one cross product carrying both the normal direction and the area stretch.
- Orientation matters for flux and only for flux: reversing flips the sign, while the scalar surface integral, built from the magnitude , does not notice.
- Surface integrals are the right-hand sides of the great theorems: flux out of a closed surface equals the volume integral of the divergence (Gauss), and flux of the curl through a capped surface equals a line integral around its boundary (Stokes).
- Anchor result: the inverse-square field has flux through any sphere about the origin — radius-independent, the geometric seed of Gauss's law.
- Key idea: a flux integral is the limit of the sum — chop the surface into tiny patches, project the field onto each patch's normal, multiply by the patch area, and add; parametrizing packages the normal and the area scaling into the single vector .
A flux integral is the limit of a sum : chop the surface into tiny patches, project the field onto each patch's normal, multiply by the patch area, and add. Parametrizing packages the normal direction and the area scaling together in the single vector .
Where this lives today
The flux integral is the quiet workhorse under quantitative field physics. In electromagnetism, every finite-element field solver — the software behind antennas, motors, MRI magnets, and microchip interconnects — discretizes Gauss's and Ampère's laws as flux balances across mesh faces. In climate, ocean, and fluid modelling, a finite-volume code is nothing but the divergence theorem applied cell by cell, so global conservation is exact: each internal face's outward flux for one cell is the inward flux for its neighbour. At the frontier, flux is a diagnostic of topology: the integral of the Berry curvature over a closed surface in parameter space is quantized to times an integer (a Chern number), and that integer is what makes the quantum Hall conductance and topological insulators robust — a direct descendant of the sphere-flux above. Wherever a conservation law meets a boundary, this integral does the accounting.
The physical picture
Hold a wire-frame window out in a rainstorm. The flux through it is the volume of rain per second passing through the frame. Face the window squarely into the falling rain and the flux is maximal; tilt it edge-on and the flux drops to zero — not because the rain changed, but because only the component of the rain's velocity along the window's normal counts. That projection is exactly , and the first figure makes the cosine law concrete with numbers.
The second geometric idea is that a single cross product does all the work of the patch: the two tangent steps and span a little parallelogram of area , and the cross product points perpendicular to both — along the normal. The next figure applies this to the most important surface in physics: a sphere in the inverse-square field, where the geometry hands you Gauss's law.
One last contrast. Scalar versus vector integration is spray-painting the surface (how much paint — orientation irrelevant) versus asking how much wind blows through a screen door (which way you call "through" is part of the question). And for a closed surface, positive outward flux means the field is, on balance, leaving the region — a source inside, the seed of the divergence theorem.
The core equations
The scalar surface integral is the direct generalization of the ordinary integral: replace the interval by a surface, and the length element by the area element . A parametrization over a flat region turns it into a double integral, with the Jacobian supplied by the magnitude of the tangent cross product.
where: — scalar field on (a neighbourhood of) the surface; — the surface in ; — parametrization mapping a planar region onto ; — the parameter domain in the plane; — the scalar area element. The flux integral replaces the scalar weight by a directed one. It projects onto the unit normal before weighting by area, so it measures throughput rather than accumulation.
where: — the vector field; — unit normal selecting the orientation; — oriented (vector) area element; — the flux, a scalar whose sign is set by the choice of side. Reading: only the component of along crosses; the tangential part slides along the surface and contributes nothing. The bridge from the abstract definition to a computable integral is the parametric area element — the single most useful formula on the page, producing the normal direction and the area scaling in one stroke.
where: — tangent vectors to the coordinate curves on . Reading: the cross product's magnitude is the local area stretch and its direction is the normal — check that direction against the required orientation. For a graph — the most common concrete case — the parametric element specializes to a formula worth memorizing, with the tell-tale square root of the scalar element.
where: — height function; — its partial slopes. Curved closed surfaces are almost always handled in spherical coordinates, where the sphere's oriented element is a standard object to recognize on sight.
where: — sphere radius; — polar angle from the -axis, ; — azimuth, ; — outward radial normal. Finally, the flux integral is one side of the two great integral theorems that reduce it to a volume integral or a line integral, recalled here by name and owned by the articles that follow.
where: — the outward-oriented closed boundary of a region ; — the boundary curve of , oriented by the right-hand rule with ; , — divergence and curl. Reading: divergence trades a closed surface integral for a volume of sources; Stokes trades a capped surface integral for a circulation around its rim.
The goal is to prove, from the ground up, that the oriented area element of a parametrized surface is — that one cross product simultaneously delivers the correct patch area (its magnitude) and the correct normal direction (its orientation). We build a single curved patch from two tangent steps, read its area as a parallelogram, confirm the cross product is normal, and take the limit so a sum over patches becomes the integral.
Step 1. Fix a point on and take two small parameter steps. Moving by displaces us along the surface by , and moving by by ; to first order the curved patch is the flat parallelogram these two edges span. Why: differentiability means the surface is locally its tangent plane, so a curved patch and its parallelogram approximation agree to the order that survives the limit.
Step 2. The area of that parallelogram is the magnitude of the cross product of its edges: . This is the geometric meaning of the cross-product magnitude — base times height of the spanned parallelogram — and it is the area-stretch factor between the flat rectangle and the curved patch. Why: is exactly the parallelogram area, so no separate Jacobian calculation is needed.
Step 3. The direction of is normal to the surface, because a cross product is orthogonal to each of its factors: and likewise for . Since both tangent vectors lie in the tangent plane, anything perpendicular to both is along . Why: this is what lets a single vector carry the orientation — we never have to compute the normal separately, it falls out of the same cross product that gave the area.
Step 4. Combine magnitude and direction and pass to the limit. Writing , the flux becomes , an ordinary double integral over the flat domain . Why: this is the whole algorithm — every surface integral you ever compute is this reduction, with the cross product supplying both the geometry and the orientation in one object. *Why: for the graph this gives , with magnitude , reproducing equation (4).*
Go deeper · Derivation B · 1 minFlux of the inverse-square field through a sphere
The goal is to compute the flux of the inverse-square field through a sphere of radius centred at the origin, and to see the cancellation that makes the answer independent of . This single calculation is the prototype of Gauss's law: it explains why the total electric flux out of any sphere around a point charge is the same, and why that total measures the enclosed charge, not the size of the surface.
Step 1. Evaluate the field on the surface. On the sphere , so — a constant magnitude pointing radially outward everywhere on . Why: the surface is a level set of , so the awkward becomes a constant we can pull out of the integral.
Step 2. Write the oriented area element. With the outward normal , equation (5) gives . Why: the outward radial direction is the natural orientation of a closed surface, and it happens to be parallel to the field, which will make the dot product trivial.
Step 3. Form the integrand. Because , we get — the two factors of cancel exactly and the radius disappears. Why: this cancellation is the whole point — the field weakens as while the sphere's area grows as , so the product is scale-free, which is special to the inverse-square law and to no other power.
Step 4. Integrate over the full sphere: . Why: and ; the answer is precisely the total solid angle a full sphere subtends at its centre. *Why: the result is independent of and equals the full solid angle steradians; substituting the physical field immediately reproduces Gauss's law .*
Go deeper · Derivation C · 1 minThe flux integral over a graph carries no square root
The goal is to reduce the flux of a general field through a graph to a plain double integral over the shadow region in the -plane, and to explain a fact that surprises every student: the square root that dominates the scalar area element is completely absent from the flux integral. Understanding why it cancels is the cleanest way to internalize the difference between and .
Step 1. Parametrize the graph by its own : , so the tangent vectors are and . Their cross product is , giving with the in the -slot fixing upward orientation. Why: this is equation (4) again, and the positive third component is the anchor that tells us which way "up" is — flip its sign for a downward normal.
Step 2. Dot with the field. With evaluated at , the integrand is . Why: the vector element already contains the normal direction, so the projection and the area weight are done in a single dot product.
Step 3. See the cancellation explicitly. In the equivalent form , the unit normal carries a , while carries the matching ; the two are reciprocals and cancel. Why: the square root is an area magnitude, and flux only ever needs the normal times the area — the magnitude that stretches the area is exactly undone by the magnitude that normalizes the normal. *Why: setting gives , the plain projected area — the correct upward flux of a unit vertical field through any graph.*
Limiting cases
Special configurations collapse the general integral to shapes you can check by inspection — the fastest sanity tests when a full computation looks suspicious.
| Case | Result | Meaning |
|---|---|---|
| Flat patch, uniform field | constant field through a planar area : field times area times the cosine of the tilt — the rain-window law of the first figure | |
| Field tangent to the surface | if lies in the surface everywhere, nothing crosses it and the flux vanishes whatever the field strength | |
| Scalar integral with | the surface integral of unity returns the plain area — the base-case check on any parametrization | |
| Inverse-square field, any sphere | radius-independent, because area cancels field — the geometric core of Gauss's law | |
| Divergence-free field, closed surface | if inside, inflow balances outflow — the source-free divergence theorem |
Worked examples
1 · Flux through a hemisphere, with a numerical cross-check (confidence builder)
Find the upward flux of through the curved upper hemisphere , for radius . Then verify it with the divergence theorem.
Step 1. Parametrize by spherical angles: with , . The outward element is , and since has only a -component we need only .
Step 2. Build the integrand. On the surface , so .
Step 3. Integrate. Substituting , , and , so . For : .
Step 4. Cross-check with Gauss. Close the hemisphere with the flat disk at to bound a half-ball. Then , so the total outward flux equals the volume, . The flat disk contributes nothing because there makes , so all of it exits the curved cap: for . The parametric integral and the divergence theorem agree: Φ = 16π/3 ≈ 16.76.
2 · Flux of a radial field out of a sphere, two ways
Compute the outward flux of the radial field through a sphere of radius , directly and via the divergence theorem. Evaluate at .
Step 1. Direct surface integral. On the sphere the outward normal is , so — a constant over the whole surface.
Step 2. Multiply by the area. Since the integrand is the constant , .
Step 3. Divergence-theorem check. Here , a constant, so — identical, as an exact identity must give.
Step 4. Numbers. At , . Note the contrast with the inverse-square case: this radial field grows with , so its flux scales as and is emphatically not radius-independent — only the special field gives the scale-free . Both methods give Φ = 4πR³ = 32π ≈ 100.5 at R = 2.
Physics of the portrait
The flux integral is inseparable from the man whose name sits on its most important instance: "Gauss's law", the "divergence (Gauss) theorem", and "Gaussian surface" all descend from Carl Friedrich Gauss's work on potentials and attraction.
Origins · 1 minCarl Friedrich Gauss and how this was discovered
Gauss was the outstanding mathematician of the nineteenth century, and flux integration threads through his work. In 1813, computing the gravitational attraction of an ellipsoidal planet, he proved a version of what we now call the divergence theorem — converting the flux of an inverse-square field through a closed surface into an integral over the enclosed matter — the reasoning that becomes Gauss's law once the field is electric rather than gravitational. (The fully general theorem was proved independently by Mikhail Ostrogradsky in 1826, so the identity is properly the Gauss–Ostrogradsky theorem.) His collaboration with Wilhelm Weber on terrestrial magnetism produced "Gauss's law for magnetism", — the statement, in flux language, that magnetic field lines never end because there are no magnetic charges, and one of the two flux equations Maxwell later built into electromagnetism. The humble surface integral of this article is the working end of a line of thought Gauss began by asking how a planet pulls on a distant point.
Going further
Texts. Stone & Goldbart, Mathematics for Physics, Ch. 10–11 (vector calculus and the integral theorems) · Arfken & Weber, Mathematical Methods for Physicists, 7th ed., §3.5–3.9 · Hassani, Mathematical Physics, Ch. 15 (vector analysis) · Nakahara, Geometry, Topology and Physics, §5.4 (integration of forms, the modern view) · Riley, Hobson & Bence, Mathematical Methods for Physics and Engineering, 3rd ed., Ch. 11 · Byron & Fuller, Mathematics of Classical and Quantum Physics, Ch. 1. Key numerical checks: (1) the graph cross product with magnitude ; (2) the sphere flux ; (3) the hemisphere flux at , consistent with the divergence theorem using and half-ball volume ; (4) the radial-field flux at , obtained both from over area and from over volume . The value is the total solid angle in steradians.
Prerequisites. Scalar and Vector Fields · Line Integrals · The Directional Derivative. Leads to. The Divergence (Gauss) Theorem · Stokes' Theorem · Volume Integrals · Divergence of a Vector Field.
Ask the tutor: Ask me to walk you through setting up the flux of any field through any surface you like — a cone, a paraboloid, a cube — and we will check it both directly and with the divergence theorem.
What is the actual difference between dS and dS?
The scalar element is a positive number — a little piece of area — used to accumulate a scalar field (mass, charge, area). The vector element is that same area pointed along the normal, used to measure how much of a vector field crosses the surface. Their magnitude is identical; the vector one additionally carries a direction, and that direction is what makes flux orientation-dependent and scalar integrals not. When in doubt, ask whether your integrand is a scalar (use ) or a vector you must dot with a normal (use ).
How do I decide which way the normal should point?
For an open surface (a disk, a graph, a cap) the orientation is your free choice, but it must be stated, because it fixes the sign of the flux; if the surface bounds a Stokes loop, the right-hand rule ties to the direction you traverse the boundary. For a closed surface the universal convention is the outward normal, so positive flux means net outflow. In practice, compute , check the sign of one component you can reason about (does the -slot point up? does the radial part point away from the origin?), and swap the cross-product order — or negate — if it disagrees with the orientation you want.
Why does the graph flux formula have no square root when the area formula does?
Because flux needs the normal direction times the area, and the square root is precisely the area magnitude. Write : the unit normal carries a , and the scalar area carries the matching . Being reciprocals, they cancel, leaving the clean . A scalar integral, with no normal to normalize, keeps its square root — which is why measuring surface area is genuinely harder than computing flux through the same graph.
Can I integrate flux over a Möbius band?
No — and the reason is exactly why orientation matters. Flux requires a continuous choice of unit normal over the whole surface, and a Möbius band admits none: slide a normal once around the band and it returns reversed. Such a surface is non-orientable, and is simply undefined on it. The scalar integral is fine, though, because it uses only the positive magnitude and never the normal — you can compute the area or painted mass of a Möbius strip without trouble. Orientability is the precise dividing line between the two kinds of surface integral.
If two surfaces share the same boundary loop, do they give the same flux?
For a general field, no — but for a divergence-free field, yes, a deep and useful fact. If , two surfaces sharing a boundary loop bound a closed region, and the divergence theorem forces their fluxes to be equal (both equal the enclosed sources, which are zero). This is why the magnetic flux through a circuit depends only on the loop, not on the spanning surface, since . For a field with sources, the two fluxes differ by exactly the source enclosed between the surfaces — the content of Gauss's law.
How is this one integral the basis of the divergence and Stokes theorems?
Both great theorems put a flux integral on one side and reduce it to something lower-dimensional. The divergence theorem says the flux out of a closed surface equals the volume integral of — the outflow through the boundary equals the sources inside. Stokes' theorem says the flux of the curl through an open surface equals the circulation around its rim. In both, the flux integral connects a field's local behaviour (divergence, curl) to a global boundary quantity — which is why mastering is the prerequisite for the rest of this chapter.