Faraday's law of induction (or simply Faraday's law) is a basic law of electromagnetism predicting how a magnetic field will interact with an electric circuit to produce an electromotive force (emf)—a phenomenon known as electromagnetic induction. It is the fundamental operating principle of transformers, inductors, and many types of electric motors, generators and solenoids.
The Maxwell–Faraday equation (listed as one of Maxwell's equations) describes the fact that a spatially varying (and also possibly time-varying, depending on how a magnetic field varies in time) electric field always accompanies a time-varying magnetic field, while Faraday's law states that there is emf (electromotive force, defined as electromagnetic work done on a unit charge when it has traveled one round of a conductive loop) on the conductive loop when the magnetic flux through the surface enclosed by the loop varies in time.
Faraday's law had been discovered and one aspect of it (transformer emf) was formulated as the Maxwell–Faraday equation later. The equation of Faraday's law can be derived by the Maxwell–Faraday equation (describing transformer emf) and the Lorentz force (describing motional emf). The integral form of the Maxwell–Faraday equation describes only the transformer emf, while the equation of Faraday's law describes both the transformer emf and the motional emf.
Electromagnetic induction was discovered independently by Michael Faraday in 1831 and Joseph Henry in 1832. Faraday was the first to publish the results of his experiments. In Faraday's first experimental demonstration of electromagnetic induction (August 29, 1831), he wrapped two wires around opposite sides of an iron ring (torus) (an arrangement similar to a modern toroidal transformer). Based on his assessment of recently discovered properties of electromagnets, he expected that when current started to flow in one wire, a sort of wave would travel through the ring and cause some electrical effect on the opposite side. He plugged one wire into a galvanometer, and watched it as he connected the other wire to a battery. Indeed, he saw a transient current (which he called a "wave of electricity") when he connected the wire to the battery, and another when he disconnected it.: 182–183 This induction was due to the change in magnetic flux that occurred when the battery was connected and disconnected. Within two months, Faraday had found several other manifestations of electromagnetic induction. For example, he saw transient currents when he quickly slid a bar magnet in and out of a coil of wires, and he generated a steady (DC) current by rotating a copper disk near the bar magnet with a sliding electrical lead ("Faraday's disk").: 191–195
Michael Faraday explained electromagnetic induction using a concept he called lines of force. However, scientists at the time widely rejected his theoretical ideas, mainly because they were not formulated mathematically.: 510 An exception was James Clerk Maxwell, who in 1861–62 used Faraday's ideas as the basis of his quantitative electromagnetic theory.: 510  In Maxwell's papers, the time-varying aspect of electromagnetic induction is expressed as a differential equation which Oliver Heaviside referred to as Faraday's law even though it is different from the original version of Faraday's law, and does not describe motional emf. Heaviside's version (see Maxwell–Faraday equation below) is the form recognized today in the group of equations known as Maxwell's equations.
Lenz's law, formulated by Emil Lenz in 1834, describes "flux through the circuit", and gives the direction of the induced emf and current resulting from electromagnetic induction (elaborated upon in the examples below).
The most widespread version of Faraday's law states:
The electromotive force around a closed path is equal to the negative of the time rate of change of the magnetic flux enclosed by the path.
For a loop of wire in a magnetic field, the magnetic flux ΦB is defined for any surface Σ whose boundary is the given loop. Since the wire loop may be moving, we write Σ(t) for the surface. The magnetic flux is the surface integral:
When the flux changes—because B changes, or because the wire loop is moved or deformed, or both—Faraday's law of induction says that the wire loop acquires an emf, defined as the energy available from a unit charge that has traveled once around the wire loop.: ch17  (Although some sources state the definition differently, this expression was chosen for compatibility with the equations of special relativity.) Equivalently, it is the voltage that would be measured by cutting the wire to create an open circuit, and attaching a voltmeter to the leads.
Faraday's law states that the emf is also given by the rate of change of the magnetic flux:
The direction of the electromotive force is given by Lenz's law.
The laws of induction of electric currents in mathematical form was established by Franz Ernst Neumann in 1845.
Faraday's law contains the information about the relationships between both the magnitudes and the directions of its variables. However, the relationships between the directions are not explicit; they are hidden in the mathematical formula.
It is possible to find out the direction of the electromotive force (emf) directly from Faraday’s law, without invoking Lenz's law. A left hand rule helps doing that, as follows:
For a tightly wound coil of wire, composed of N identical turns, each with the same ΦB, Faraday's law of induction states that
The Maxwell–Faraday equation states that a time-varying magnetic field always accompanies a spatially varying (also possibly time-varying), non-conservative electric field, and vice versa. The Maxwell–Faraday equation is
(in SI units) where ∇ × is the curl operator and again E(r, t) is the electric field and B(r, t) is the magnetic field. These fields can generally be functions of position r and time t.
The Maxwell–Faraday equation is one of the four Maxwell's equations, and therefore plays a fundamental role in the theory of classical electromagnetism. It can also be written in an integral form by the Kelvin–Stokes theorem, thereby reproducing Faraday's law:
where, as indicated in the figure, Σ is a surface bounded by the closed contour ∂Σ, dl is an infinitesimal vector element of the contour ∂Σ, and dA is an infinitesimal vector element of surface Σ. Its direction is orthogonal to that surface patch, the magnitude is the area of an infinitesimal patch of surface.
Both dl and dA have a sign ambiguity; to get the correct sign, the right-hand rule is used, as explained in the article Kelvin–Stokes theorem. For a planar surface Σ, a positive path element dl of curve ∂Σ is defined by the right-hand rule as one that points with the fingers of the right hand when the thumb points in the direction of the normal n to the surface Σ.
The line integral around ∂Σ is called circulation.: ch3 A nonzero circulation of E is different from the behavior of the electric field generated by static charges. A charge-generated E-field can be expressed as the gradient of a scalar field that is a solution to Poisson's equation, and has a zero path integral. See gradient theorem.
The integral equation is true for any path ∂Σ through space, and any surface Σ for which that path is a boundary.
If the surface Σ is not changing in time, the equation can be rewritten:
The electric vector field induced by a changing magnetic flux, the solenoidal component of the overall electric field, can be approximated in the non-relativistic limit by the volume integral equation: 321
The four Maxwell's equations (including the Maxwell–Faraday equation), along with Lorentz force law, are a sufficient foundation to derive everything in classical electromagnetism. Therefore, it is possible to "prove" Faraday's law starting with these equations.
The starting point is the time-derivative of flux through an arbitrary surface Σ (that can be moved or deformed) in space:
(by definition). This total time derivative can be evaluated and simplified with the help of the Maxwell–Faraday equation and some vector identities; the details are in the box below:
|Consider the time-derivative of magnetic flux through a closed boundary (loop) that can move or be deformed. The area bounded by the loop is denoted as Σ(t)), then the time-derivative can be expressed as
The integral can change over time for two reasons: The integrand can change, or the integration region can change. These add linearly, therefore:
Next, we analyze the second term on the right-hand side:
The proof of this is a little more difficult than the first term; more details and alternate approaches for the proof can be found in the references. As the loop moves and/or deforms, it sweeps out a surface (see the right figure). As a small part of the loop dl moves with velocity vl over a short time dt, it sweeps out an area whose vector is dAsweep = vl dt × dl (note that this vector is toward out from the display in the right figure). Therefore, the change of the magnetic flux through the loop due to the deformation or movement of the loop over the time dt is
Here, identities of triple scalar products are used. Therefore,
Putting these together results in,
The result is:
In the case of a conductive loop, emf (Electromotive Force) is the electromagnetic work done on a unit charge when it has traveled around the loop once, and this work is done by the Lorentz force. Therefore, emf is expressed as
In a macroscopic view, for charges on a segment of the loop, v consists of two components in average; one is the velocity of the charge along the segment vt, and the other is the velocity of the segment vl (the loop is deformed or moved). vt does not contribute to the work done on the charge since the direction of vt is same to the direction of . Mathematically,
It is tempting to generalize Faraday's law to state: If ∂Σ is any arbitrary closed loop in space whatsoever, then the total time derivative of magnetic flux through Σ equals the emf around ∂Σ. This statement, however, is not always true and the reason is not just from the obvious reason that emf is undefined in empty space when no conductor is present. As noted in the previous section, Faraday's law is not guaranteed to work unless the velocity of the abstract curve ∂Σ matches the actual velocity of the material conducting the electricity. The two examples illustrated below show that one often obtains incorrect results when the motion of ∂Σ is divorced from the motion of the material.
Faraday's homopolar generator. The disc rotates with angular rate ω, sweeping the conducting radius circularly in the static magnetic field B (which direction is along the disk surface normal). The magnetic Lorentz force v × B drives a current along the conducting radius to the conducting rim, and from there the circuit completes through the lower brush and the axle supporting the disc. This device generates an emf and a current, although the shape of the "circuit" is constant and thus the flux through the circuit does not change with time.
A wire (solid red lines) connects to two touching metal plates (silver) to form a circuit. The whole system sits in a uniform magnetic field, normal to the page. If the abstract path ∂Σ follows the primary path of current flow (marked in red), then the magnetic flux through this path changes dramatically as the plates are rotated, yet the emf is almost zero. After Feynman Lectures on Physics: ch17
One can analyze examples like these by taking care that the path ∂Σ moves with the same velocity as the material. Alternatively, one can always correctly calculate the emf by combining Lorentz force law with the Maxwell–Faraday equation:: ch17 
where "it is very important to notice that (1) [vm] is the velocity of the conductor ... not the velocity of the path element dl and (2) in general, the partial derivative with respect to time cannot be moved outside the integral since the area is a function of time."
Faraday's law is a single equation describing two different phenomena: the motional emf generated by a magnetic force on a moving wire (see the Lorentz force), and the transformer emf generated by an electric force due to a changing magnetic field (described by the Maxwell–Faraday equation).
James Clerk Maxwell drew attention to this fact in his 1861 paper On Physical Lines of Force. In the latter half of Part II of that paper, Maxwell gives a separate physical explanation for each of the two phenomena.
A reference to these two aspects of electromagnetic induction is made in some modern textbooks. As Richard Feynman states:
So the "flux rule" that the emf in a circuit is equal to the rate of change of the magnetic flux through the circuit applies whether the flux changes because the field changes or because the circuit moves (or both) ...
Yet in our explanation of the rule we have used two completely distinct laws for the two cases – v × B for "circuit moves" and ∇ × E = −∂tB for "field changes".
We know of no other place in physics where such a simple and accurate general principle requires for its real understanding an analysis in terms of two different phenomena.— Richard P. Feynman, The Feynman Lectures on Physics
In the general case, explanation of the motional emf appearance by action of the magnetic force on the charges in the moving wire or in the circuit changing its area is unsatisfactory. As a matter of fact, the charges in the wire or in the circuit could be completely absent, will then the electromagnetic induction effect disappear in this case? This situation is analyzed in the article, in which, when writing the integral equations of the electromagnetic field in a four-dimensional covariant form, in the Faraday’s law the total time derivative of the magnetic flux through the circuit appears instead of the partial time derivative.  Thus, electromagnetic induction appears either when the magnetic field changes over time or when the area of the circuit changes. From the physical point of view, it is better to speak not about the induction emf, but about the induced electric field strength , that occurs in the circuit when the magnetic flux changes. In this case, the contribution to from the change in the magnetic field is made through the term , where is the vector potential. If the circuit area is changing in case of the constant magnetic field, then some part of the circuit is inevitably moving, and the electric field emerges in this part of the circuit in the comoving reference frame K’ as a result of the Lorentz transformation of the magnetic field , present in the stationary reference frame K, which passes through the circuit. The presence of the field in K’ is considered as a result of the induction effect in the moving circuit, regardless of whether the charges are present in the circuit or not. In the conducting circuit, the field causes motion of the charges. In the reference frame K, it looks like appearance of emf of the induction , the gradient of which in the form of , taken along the circuit, seems to generate the field .
Reflection on this apparent dichotomy was one of the principal paths that led Albert Einstein to develop special relativity:
It is known that Maxwell's electrodynamics—as usually understood at the present time—when applied to moving bodies, leads to asymmetries which do not appear to be inherent in the phenomena. Take, for example, the reciprocal electrodynamic action of a magnet and a conductor.
The observable phenomenon here depends only on the relative motion of the conductor and the magnet, whereas the customary view draws a sharp distinction between the two cases in which either the one or the other of these bodies is in motion. For if the magnet is in motion and the conductor at rest, there arises in the neighbourhood of the magnet an electric field with a certain definite energy, producing a current at the places where parts of the conductor are situated.
But if the magnet is stationary and the conductor in motion, no electric field arises in the neighbourhood of the magnet. In the conductor, however, we find an electromotive force, to which in itself there is no corresponding energy, but which gives rise—assuming equality of relative motion in the two cases discussed—to electric currents of the same path and intensity as those produced by the electric forces in the former case.
Examples of this sort, together with unsuccessful attempts to discover any motion of the earth relative to the "light medium," suggest that the phenomena of electrodynamics as well as of mechanics possess no properties corresponding to the idea of absolute rest.
Faraday's Law, which states that the electromotive force around a closed path is equal to the negative of the time rate of change of magnetic flux enclosed by the path.
The magnetic flux is that flux which passes through any and every surface whose perimeter is the closed path.
This example of Faraday's Law [the homopolar generator] makes it very clear that in the case of extended bodies care must be taken that the boundary used to determine the flux must not be stationary but must be moving with respect to the body.
a treatise on electricity and magnetism.