The polarization generated by the relevant third-order nonlinear optical susceptibility is proportional to . Multiplication of its temporal and spatial wave phase factors gives
The two opposing pump arrows in the original diagram mean . Thus the mixing source points along , and its conjugate signal amplitude drives a backward field. This is counterpropagating-pump phase matching in four-wave mixing.
There is a phase matching qualification to the initial frequency statement. In the stipulated nondispersive isotropic medium, . Exact equality of the backward free-wave vector to therefore requires , hence . For unequal frequencies the backward direction remains the geometry suggested by the source, but the longitudinal phase mismatch has magnitude . Efficient generation over a finite length requires that mismatch times be small; a sinc function factor suppresses conversion otherwise. Nondispersion does not remove the magnitude mismatch. The remainder of the calculation is explicitly degenerate four-wave mixing, so this difficulty disappears.
At the pump frequency, for the strong field , self-phase modulation and cross-phase modulation by dominate the weak signal's influence. They change its propagation wave phase through its own intensity and the other pump's intensity. With continuous uniform plane waves, these are nonlinear wave phase shifts; finite pulses acquire temporal chirp, and finite transverse beams can acquire a lens. No universal factor of two should be assigned between the two shifts without specifying their polarization contraction and the field-amplitude convention.
Write and . Differentiating the exponential substitutions cancels the terms proportional to :
Consequently and . Conjugate the latter before eliminating a field: , so . The backward four-wave-mixing boundary problem requires opposite-end boundary conditions: , where , and . The transfer matrix is
At , , so . Substitution gives
The printed target expression for has the opposite overall sign. This is present in the original PDF, not just the transcription. With its stated first-order equations, the derivative at the far face must be . The boxed result has that derivative; the printed expression has its negative. Reversing the convention for the mixing coefficient could reverse the generated phase, but would also change the coupled equations. The result above satisfies the equations and both boundary conditions together.
At the entrance, , so the returned amplitude is proportional to the complex conjugate of the signal. An ordinary ideal mirror gives , with a fixed reflection coefficient , rather than . The mixing pumps supply both the extra energy and a wave phase reference. The ideal conjugate reflectivity and signal transmission are
The constancy of along the medium is another direct check. The relation between the incoming signal and outgoing waves allows net output energy to come from the pumps. As , the undepleted-pump approximation fails: the predicted fields would extract an appreciable pump fraction. This is the ideal four-wave-mixing oscillation threshold; saturation, pump depletion and noise seeding replace the divergent linearized solution. It is not an unlimited source of reflected power. Amplified phase-conjugated propagation and parametric oscillation are also the effects identified in the primary analysis by Amnon Yariv and David M. Pepper.[ref]
Figure 1.
Calculated backward-wave profiles, ideal gain, and cancellation of an original phase-screen example
. Details.
For the aberrating linear medium, assume its permittivity is real and stationary at this frequency. Taking the complex conjugate of the forward-envelope equation gives
This is the backward-envelope equation with carrier . Launching the conjugate boundary field therefore permits retracing of the distorted wave. In a transverse lossless phase screen model, let transmission be . A return proportional to acquires on its second passage and becomes . Thus the aberration phase cancels. A mirror instead gives , adding the aberration twice; merely reversing the central propagation direction does not reverse the wavefront phase.
The one-dimensional printed equation describes longitudinal variation; genuine transverse aberrations require the corresponding transverse Helmholtz equation or paraxial operator, for which the same real-coefficient conjugation argument applies. Exact reconstruction requires adequate aperture, the correct conjugate amplitude and polarization, uniform pump-product phase, and an unchanged reciprocal lossless medium. Absorption, missing scattered modes or a changed aberrator prevent a universal reconstruction. This is phase conjugation and thin phase-plate cancellation by phase conjugation under specified conditions, rather than reversal of every possible propagation loss.
Spherical-particle frequency scaling. For a dielectric sphere of radius , the quasistatic electric polarizability is
The electric dipole radiation formula and give
Thus Rayleigh scattering scales as , or , when the polarizability varies slowly with frequency. Material resonances and absorption can change this simple scaling. For the incident polarization, the dipole is along : intensity is proportional to , where is the angle from . There is no radiation on the dipole axis and a maximum in the plane. In a direction the scattered electric field is along , hence linearly polarized wherever nonzero.[ref]
Figure 1.
A z-directed electric dipole radiates most strongly perpendicular to its axis and has axial zeros
. Source. Details.
Needle model used in parts (a)–(d). Let its axis be . A very slender, high-permittivity needle has dominant longitudinal response, so use the rank-one needle polarizability . Its transverse response is neglected at leading order. For observation along , define , and
For a unit incident Jones vector , the common far-field relation is , and . Here is irradiance at distance ; multiplying by gives power per solid angle. No absolute value of is given or needed for the requested relative intensities.
Diffuse random cloud, with the incident polarization of (a). The single-particle amplitudes through and analysers are proportional to and . The isotropic orientation fourth moment gives the needle-scattering analyzer moments
For example, ; symmetry and give . Since the particles scatter mutually incoherently, intensities add. For illuminated particles,
The cross correlation vanishes by reflection symmetry. The degree of linear polarization is : random anisotropic scatterers produce partially depolarized light, even though every individual needle produces a single linear polarization.
Figure 2.
Independent isotropically oriented needles give the analyser ratio one to three, while coherent mean amplitudes have no x component
. Source. Details.
Continuous homogeneous dielectric. One must sum amplitudes coherently and include their spatial phases, rather than retain the preceding sum of intensities. Random orientations give , so the averaged response is isotropic and its induced polarization is along . Its coherent radiation toward , when allowed by the sample geometry, is therefore purely polarized, with . The independent-needle prefactor is no longer a quantitative dense-medium model; local-field and collective effects determine the effective permittivity.
There is also coherent continuum phase matching: a uniform bulk driven by a plane wave has no arbitrary outgoing plane-wave component. In an ideal infinite homogeneous medium there is no diffuse side scattering at all; propagation, refraction and reflection are determined by the medium and its interfaces. A finite sample's coherent side signal depends on its shape and boundaries. Thus the old diffuse ratio is replaced by a coherent isotropic-medium response, not by a universal nonzero side-scattering intensity.
A uniform Lorentz boost preserves the plane wave form, while changing both its frequency and its vector wave amplitude. Decompose vectors parallel and perpendicular to , so . In the observer's primed coordinates,
The transformed wave amplitude is specified in part (d). The unprimed “rest frame” in this question is the original coordinate frame, not a rest frame of a vacuum light wave, which has no inertial rest frame.
Use the inverse coordinate transformation,
Substitution into the wave phase and comparison of the coefficients of and gives
The first is the relativistic Doppler effect; the changed direction of the wavevector describes relativistic aberration. Equivalently,
The electric-field wave amplitude follows from part (b), after rotating the boost axis to :
For a vacuum plane wave, Maxwell equations give and . Thus an expression using only the given electric wave amplitude and wavevector is
Equivalently, . The wave amplitude is not a scalar carried unchanged by the wave phase transformation; its direction must remain transverse to the transformed wavevector.
In SI units the Maxwell's equations in vacuum, with sources, are
Taking the divergence of the last equation and using Gauss's law gives , the local conservation of electric charge. Thus sources that violate charge conservation cannot satisfy all the Maxwell's equations. Equivalently, with this conservation law the curl evolution preserves the electric divergence constraint if it holds initially; Faraday's law similarly preserves .
With , use and substitute the two curl equations. This gives . Applying the same calculation to yields
A monochromatic plane wave has one angular frequency and constant-phase planes , normal to the wavevector . Its wavelength is .
For a nontrivial traveling wave with , substitution of the displayed electric field into the divergence equation gives . Faraday's law is satisfied by
Indeed and . The magnetic divergence is zero, while Ampère's law reduces to , giving the dispersion relation. The amplitudes may be arbitrary transverse vectors; they need not be mutually orthogonal or have equal lengths. Their combination describes the polarization.
For nonzero momentum, physical helicity is the spin projection along the direction of motion,
The convention without labels the same two eigenspaces by . Write . Normalized two-component eigenvectors are
Each can carry an arbitrary phase. Before imposing an energy equation, the general four-component helicity eigenvector is , with arbitrary complex ; unit Norm imposes . For a positive-energy free electron, the Dirac equation fixes their ratio and gives
Multiplying by an arbitrary overall amplitude and the common plane wave supplies the corresponding free helicity eigenstate. Helicity has no preferred direction at . For a massive particle a boost can overtake its momentum and change its helicity; it should not be identified with Lorentz-invariant chirality.
Let , so . The Pauli identity gives
using . Thus unit spinor probability density is obtained with
An arbitrary constant phase is immaterial. For the alternative Lorentz normalization , choose . Neither convention makes an infinite plane wave square-integrable; a box-normalized state includes an additional , or one forms a normalizable wave packet.
Put and assume . The common plane wave has unit modulus. The component norm is
For unit spinor probability density choose
where was used. This is spinor normalization, not square normalization of a plane wave over infinite space; a box or wavepacket gives the corresponding spatial normalization. If the convention is instead , use .
For momentum along , the positive-helicity components are the first and third, while the second and fourth have negative helicity. Hence
Both are independent of speed. In the source's chiral block order the exact left-chiral weight is , tending to at high energy; helicity and chirality probabilities agree only in that limit.
There are two distinct explanatory questions. One asks why a proposed system of equations has a particular dynamical symmetry. The other asks why the common spacetime geometry is the right geometry for the behavior of physical rods, clocks and fields. A geometric account and a dynamical account give different directions of explanation, and their merits cannot be decided by a change of notation alone.
For the geometric account, Minkowski spacetime has a fixed Lorentzian metric; its spacetime isometries form the Poincaré group. If the matter equations use that metric tensor and no additional symmetry-breaking background structure, with couplings and boundary assumptions appropriate to the transformation, these spacetime isometries take solutions into solutions. For example, the Klein-Gordon equation
in metric signature is invariant under the Poincaré group. This provides one common reason for the same transformation rules appearing in many laws. An individual solution, such as a particular plane wave, need not possess every symmetry of the equation.
Geometry alone is insufficient unless the assumed coupling to geometry is included. In the covariant equation with a preferred timelike vector,
the fixed timelike selects a preferred rest frame. All the quantities can be transformed consistently under a coordinate transformation, but boosts that change are not symmetries with the physical background fixed. Thus general covariance, tensor notation and the mere presence of the Minkowski metric do not by themselves establish Einstein's principle of relativity.
A dynamical account instead starts with the common invariance of the actual interactions and asks why their composite rods and clocks measure a common interval. If their equations and suitable equilibrium solutions transform consistently under Lorentz transformations, their moving configurations can exhibit length contraction and their periodic processes time dilation. This is the explanatory strategy defended by Harvey R. Brown and Oliver Pooley, who deny that merely redescribing these effects geometrically supplies their microscopic explanation.[ref] Such an account must still explain why independent interactions have the same relevant symmetry and why a particular clock is a good clock; it cannot simply infer those facts from the word “dynamics”.
The positions therefore need not disagree about experimental predictions. The geometric presentation makes a shared constraint explicit and permits economical deductions. The constructive presentation investigates why material systems realize that constraint. Defining geometry from universal dynamical behavior is a substantive proposal; deriving behavior from geometry also requires substantive matter-coupling assumptions. Neither direction is made compulsory by the formal equivalence of the descriptions.
In vacuum, with possible sources and , Maxwell's equations are
Their integral forms, with compatible orientations and fixed surfaces, are
Charge- and current-free space additionally sets , . Vacuum constitutive constants alone do not imply that no charges exist.
Take the curl of the source-free Ampere-Maxwell law, use Faraday's law of induction and :
Consequently
For the specified complex plane wave, the wavevector is and . Faraday's law of induction fixes
The physical fields are the real parts. They are in phase and their Poynting vector points along .
The instantaneous electric and magnetic energy densities are and . Since , they are equal for this ideal travelling plane wave, and so are their cycle averages: . For real peak amplitude , each average is . The Poynting vector and mean intensity satisfy
It represents transported energy per area per time, in .
For the numerical moonlight estimate, adopt and lunar mean radius . These additional astronomical inputs give solar irradiance at the Moon of .[ref][ref]
Under the simple isotropic point-reflector approximation, the intercepted power is , of which fraction is redistributed over steradians. Thus
These are equivalent sinusoidal peak amplitudes; the corresponding root mean square fields are smaller by . Actual moonlight is broadband and incoherent.
A total reflected fraction alone does not specify the directional brightness of a full Moon. For a Lambertian sphere at full phase, with the same total reflectance , integrating its radiance gives , instead giving and . If 0.12 is instead the geometric albedo, the full-phase formula is , giving . NASA's table itself distinguishes Bond albedo from geometric albedo.[ref] The numerical estimate therefore needs an explicit reflection convention; the first boxed values use the stated isotropic approximation.
In source-free vacuum, Maxwell's equations read
Take the curl of the third equation and use the curl of the curl identity . Then
The prescribed plane wave travels in the direction. Its polarization is along , and Faraday's law requires with . The wave's magnetic flux density is therefore
The direction is also fixed by pointing along the propagation direction. A superposed static uniform magnetic field is not fixed by the oscillatory electric field; the expression above is the magnetic field belonging to the wave itself.
In a source-free vacuum, the Maxwell equations in SI are
where and are the vacuum permittivity and vacuum permeability. Take the curl of the last equation, substitute Faraday's law of induction, and use the curl of the curl identity:
The zero divergence therefore gives the wave equation
For a propagating plane wave, write . The wave equation gives , and Gauss's law for magnetism gives . Thus the oscillating magnetic field is a transverse wave: it is perpendicular to the propagation wavevector. A static background magnetic field, if present, is separate from this propagating component.
Using directly with the specified plane wave gives
The electric field, magnetic flux density and propagation direction form a right-handed triad, and for a nonzero wave amplitude
The electric field and magnetic field have the same wave phase in vacuum.
In charge-free, current-free vacuum, Maxwell's equations are
Taking the curl of the third equation and using the fourth, the curl of the curl identity, and the zero divergence of the electric field gives
The magnetic flux density obeys the same wave equation. For the plane wave factor , the spatial Laplacian contributes and the second time derivative contributes . Thus
for propagation in the positive direction. The zero-divergence conditions require , while the curl equations require . These conditions show that the proposed plane waves satisfy all four Maxwell's equations, rather than only their derived wave equations. Physical electric fields and magnetic fields are the real parts of the complex expressions.
The free particle dispersion relation is . Hence
The phase velocity follows constant-phase surfaces of a plane wave. The group velocity follows the envelope of a narrow-band wave packet and equals its classical velocity . Dispersion can spread the packet; the phase speed is not the particle's transport velocity. In three dimensions and the phase speed quoted is along .
Single travelling wave. Differentiation of the plane wave gives , so its probability current is
This is probability density times the free-particle velocity .
Counterpropagating waves. Remove the common time phase and set . Direct multiplication gives
Consequently
The interference term is purely imaginary in the last real-part operation. The probability density can have interference fringes even though this net probability current is spatially constant.
Scattering amplitudes. Locate the step at and first take . With and , use
The common factor has been suppressed. A finite step with the same mass on both sides requires continuity of and , giving and . Hence
If , choose , , so the transmitted wave decays. The same amplitude formulae continue to hold, but the semi-infinite forbidden region carries no outgoing probability current: and .
Flux balance. In the propagating case,
In particular,
The velocity ratio in is essential: the squared transmission amplitude alone is not the transmission probability when the two velocities differ.
Numerical transmission. The mass cancels from the ratio, and the energies can remain in the same electronvolt units:
Thus about is transmitted and reflected, despite the incident energy exceeding the step.
Take the aperture in and the observation point , with . Under scalar diffraction theory, the Huygens-Fresnel principle sums complex amplitudes from area elements, rather than summing their intensities. Apart from a common normalization,
Here is the complex aperture transmission, is the axial distance, and is the angle of the secondary ray to the aperture normal. The obliquity factor describes the direction dependence of the secondary contribution; one Kirchhoff convention is for normal illumination. Other scalar boundary approximations have slightly different angular weights, all tending to unity near the axis.
Put . The paraxial approximation gives in the phase and in the amplitude. Removing common yields
Assumptions are uniform normally incident plane-wave illumination, coherent monochromatic propagation, aperture dimensions large enough for the scalar description, , and phase accuracy over the relevant aperture. The last condition justifies dropping the quartic distance term; geometric smallness alone does not guarantee phase accuracy.
Figure 1.
Axial Fresnel geometry and phasor addition with alternate half-period zones blocked
. Details.
For a circular aperture, for and zero elsewhere. Rotational symmetry and give , , and
The constant can be absorbed into the proportionality factor, producing the required one-dimensional integral.
At a focus a distance away, half-period-zone boundaries obey
With slowly varying obliquity and illumination, each zone has almost the same area and its integrated phasor has the opposite sign to its neighbour. A zone plate blocks alternate zones, so the remaining phasors add instead of nearly cancelling. Choosing an open central zone, the first three open regions have outer boundaries :
These are outer radii, not zone widths; the second open region is the annulus between and .
For the specified outer radius, : there are approximately 49 half-period zones, of which 25 odd zones are open. Normalize to the field of the unobstructed plane wave. The normalized Fresnel aperture integral is
For any odd open annulus this gives , so the whole plate gives and
The axial intensity gain of an amplitude zone plate grows as the square of the number of open zones. Treating the number of zones continuously gives , the same accuracy as an estimate. This large local intensity gain is consistent with conservation of energy because light is concentrated into a small focal spot. It is not a power efficiency; the ideal first-order power efficiency of a binary amplitude zone plate is only .[ref]
“Without the zone plate” has here meant removing the finite plate and its outer stop, giving the unobstructed incident wave. If instead a clear circular aperture of radius is retained, its axial field is , so the ratio to that finite-aperture reference is . The two reference experiments differ; neither ratio should be confused with total transmitted power.
A Fresnel zone plate replaces a conventional refracting surface by concentric alternating transmitting and absorbing annuli. Successive annuli span half a wavelength of optical-path excess to the chosen focus; blocking alternate zones prevents their approximately opposite wave phases from cancelling. For a normally incident plane wave,
The paraxial radii grow as , so the zones become narrower outwards.
Using the photon energy relation gives . For ,
The first three boundaries are approximately , and . This fixes the zone pattern but does not fix a unique outside diameter: the number of zones is a design choice. For example, gives radius , diameter and outermost zone width about . A larger usable diameter requires finer outer zones.
One could pattern absorbing metal annuli on a thin X-ray-transparent support, choosing absorber thickness from its attenuation at the selected photon energy; that thickness cannot be determined from energy and focal length alone. The design is chromatic: for fixed radii , so a narrow energy band is needed for a sharp common focus.
Figure 1.
Original zone-plate radii, Michelson visibility envelope and Fabry–Pérot transmission calculations
. The zone-plate panel shows the first twelve mathematical zones, not a specified complete fabricated device. The Michelson panel uses a declared illustrative wavelength pair. The etalon panels use the calculated transmission; the added third line is plotted with a chosen equal input intensity. Details.
The Fourier expression is the scalar Fraunhofer diffraction approximation for coherent, effectively monochromatic illumination with a uniform incident plane wave over the aperture. At a distant screen the aperture-dependent quadratic propagation phase must be negligible, roughly for transverse size . Alternatively, a thin lens forms the angular Fourier transform in its back focal plane. That focal-plane construction is the appropriate one here; the aperture-to-lens distance need not itself be an enormous free-propagation distance. aperture features should be large compared with wavelength for this simple scalar transmission-mask model.
If complementary transmissions are and , linearity gives . Away from the undiffracted forward beam, the uniform plane-wave contribution vanishes in angular space, so and their intensities agree. This is Babinet's principle. It equates the off-forward diffracted intensities, not the transmitted power or the on-axis intensity including the direct beam.
Let be screen coordinates conjugate to aperture coordinates , so , . With width along and height along , define . The complementary rectangle has transform
Thus the obstruction's off-forward scattered component has
Its dark lines occur at
The central-lobe zero-to-zero size is by ; it is wider in the direction conjugate to the narrower obstruction. The central forward image of the illuminating beam must be distinguished from this scattered envelope in a real screen observation.
The source figure gives centre-to-centre separation . Choose the three rectangle centres at ; an overall translation changes only the transform phase. Their scattered amplitude is proportional to
Therefore
Along the screen's direction, the three-element interference factor has principal maxima separated by , under the single-rectangle envelope. Its zeros lie at and . It also has weaker secondary maxima between principal orders. Every fifth principal order coincides with a single-rectangle zero and is missing; multiplication by the envelope slightly shifts maxima away from the nominal interference-factor positions. The figure plots the calculated scattered component and marks the separate direct-beam limitation.
Figure 1.
Original calculated rectangular-obstruction and three-element Fraunhofer scattered intensities
. Screen coordinates are physical conjugates of the obstruction coordinates. All plotted values describe the scattered component; the unresolved undiffracted illumination at the origin is excluded. Intensities are normalized, and no source figure is reproduced. Details.
The free electron model replaces the detailed periodic potential by a constant background, treating conduction electrons as mobile particles with approximately parabolic dispersion . It is useful to distinguish the classical Drude model from the quantum free electron gas. They share a simple transport picture, but differ fundamentally in occupation statistics.
With a momentum-relaxation time , both lead in a simple isotropic one-band approximation to
This explains approximately Ohmic longitudinal conduction and a carrier-density scale from the Hall effect. The relaxation time is phenomenological: introducing it does not itself predict scattering from defects or phonons. A four-probe resistance measurement separates the sample's longitudinal response from current-contact voltage drops; field and current reversals isolate the transverse signal.
The classical model incorrectly assigns roughly of electronic heat capacity, far too large in a degenerate metal. Fermi-Dirac statistics fixes this: most occupied states cannot change occupation after a small thermal perturbation because nearby low-energy states are already filled. Only a fraction of order near the Fermi energy participates. For ,
The quantum model also gives a finite Fermi velocity even at zero temperature and Pauli paramagnetism. Under predominantly elastic scattering, its electronic heat and charge conductivities obey the Wiedemann-Franz law,
This is a quantum success; classical equipartition does not give the correct small heat capacity and Lorenz number together.
Its limitations are equally instructive. Without the periodic potential it has no band gaps, so it cannot distinguish a filled-band insulator from a metal or explain semiconductor doping. The simplest single-electron Hall formula cannot explain positive Hall coefficients; band curvature and electron holes, or a multiband transport treatment, are needed. It neglects much Fermi-surface anisotropy and detailed optical interband absorption. Noninteracting electrons alone do not explain ferromagnetism or superconductivity, and lattice thermal behavior needs phonons. The nearly-free electron model, which allows reciprocal-lattice Fourier components of the potential to mix plane waves, provides a controlled first correction near Bragg planes.
Its main success is a simple quantitative baseline for degenerate conduction electrons; its main failure is treating the crystal and interactions as too featureless. A fit of conductivity alone is not a test of the whole model: compare heat capacity, Hall sign, optical response and temperature dependence using independently constrained parameters.