The Fresnel–Arago laws are three laws which summarise some of the more important properties of interference between light of different states of polarization. Augustin-Jean Fresnel and François Arago, both discovered the laws, which bear their name.
The laws are as follows:
- Two orthogonal, coherent linearly polarized waves cannot interfere.
- Two parallel coherent linearly polarized waves will interfere in the same way as natural light.
- The two constituent orthogonal linearly polarized states of natural light cannot interfere to form a readily observable interference pattern, even if rotated into alignment (because they are incoherent).
One may understand this more clearly when considering two waves, given by the form E 1 ( r , t ) = E 01 cos ( k 1 ⋅ r − ω t + ϵ 1 ) and E 2 ( r , t ) = E 02 cos ( k 2 ⋅ r − ω t + ϵ 2 ) , where the boldface indicates that the relevant quantity is a vector, interfering. We know that the intensity of light goes as the electric field squared (in fact, I = ϵ v ⟨ E 2 ⟩ T , where the angled brackets denote a time average), and so we just add the fields before squaring them. Extensive algebra yields an interference term in the intensity of the resultant wave, namely: I 12 = ϵ v E 01 ⋅ E 02 cos δ , where δ = ( k 1 ⋅ r − k 2 ⋅ r + ϵ 1 − ϵ 2 ) represents the phase difference arising from a combined path length and initial phase-angle difference.
Now it can be seen that if E 01 is perpendicular to E 02 (as in the case of the first Fresnel–Arago law), I 12 = 0 and there is no interference. On the other hand, if E 01 is parallel to E 02 (as in the case of the second Fresnel–Arago law), the interference term produces a variation in the light intensity corresponding to cos δ . Finally, if natural light is decomposed into orthogonal linear polarizations (as in the third Fresnel–Arago law), these states are incoherent, meaning that the phase difference δ will be fluctuating so quickly and randomly that after time-averaging we have ⟨ cos δ ⟩ T = 0 , so again I 12 = 0 and there is no interference (even if E 01 is rotated so that it is parallel to E 02 ).