A Fourier series expansion of a sinusoidally modulated complex wave phase in Bessel functions of the first kind.

A nonpolarizing beam splitter is designed for approximately equal power splitting ratios for the two orthogonal linear polarizations, at specified wavelengths and angle of incidence. It need not be 50:50, lossless, or have equal transmission and reflection wave phases for both linear polarizations. A scalar beam splitter scattering matrix therefore still requires a specified electromagnetic polarization and operating range. Polarizing beam splitters instead aim to separate those linear polarizations into different paths.

Suppose the two input beams share frequency, electromagnetic polarization and overlapping transverse profiles at each output, with stable relative wave phase during the photodetector's averaging interval. For the ideal beam splitter scattering matrix above, expanding the squared complex amplitudes givesThe imaginary part terms describe wave interference. Applying the single-input power split to each input separately and adding the results would discard these terms. Their opposite signs ensure $P_1+P_2=|a_1{|}^2+|a_2{|}^2$: conservation of energy survives even when one output is dark.

For an original example, let $a_1=\sqrt{P}$, $a_2=\sqrt{P}{e}^{i\delta }$ and $P=1\mathrm{mW}$. Then $P_1=P(1-\sin \delta )$ and $P_2=P(1+\sin \delta )$:

At $+\pi /2$, $a_2=i\sqrt{P}$ makes $b_1=(\sqrt{P}-\sqrt{P})/\sqrt{2}=0$ and $b_2=i\sqrt{2P}$; at $-\pi /2$ the dark output swaps. Thus the two inputs can feed all their combined power into one output without gain. At zero relative input wave phase, the splitter's own relative wave phase leaves the contributions in quadrature, so neither output is dark.

For fluctuating fields, average the cross term as $\mathrm{Im}⟨a_1^{\ast }{a}_2⟩$. It vanishes for mutually uncorrelated inputs, making the independent power-splitting rule valid for the averaged output. Partial first-order optical coherence reduces it. Orthogonal linear polarizations eliminate the cross term in a polarization-insensitive power readout, and spatial mismatch reduces the overlap. Detector averaging can also erase rapid relative wave phase changes. A fixed relation between two inputs can be prepared by splitting one laser beam and recombining the two arms.

An actual teaching protocol in Michelson Interferometer & Precision Wavelength Measurement — Week 1, University of Colorado Boulder, §§4–6, starts with an ideal-model prediction, then builds a Michelson interferometer using a helium-neon laser, a nonpolarizing beam splitter, adjustable mirrors, a micrometer translation stage and a photodetector. Steering mirrors align beam overlap at near and far planes; far-plane interference fringes refine alignment. Moving the arm mirror changes the returning relative wave phase; detector voltage is watched with a live acquisition display or oscilloscope. The guide compares measured arm powers with 50:50 splitting and asks for a revised field model. It tests electromagnetic polarization dependence, optionally changing one arm with a quarter-wave plate, and estimates noise from repeated readings at fixed mirror position. These controls test whether fringe changes reflect coherent recombination rather than splitter imbalance or misalignment. The guide supplies a protocol, not a numerical dataset. Its detector noise, imperfect overlap and electromagnetic polarization mismatch limit displacement inference.^[ref]

Additional background subtraction controls follow from the field model: block both arms to record the detector offset and ambient light, then unblock each arm separately to establish its detected power at fixed gain. With both open, scan the mirror and compare extrema after subtracting that background. Keep the detector below saturation and repeat the scan to check drift. A changing signal alone cannot distinguish source optical coherence from motion or changing overlap. For a vacuum round trip, a mirror displacement $x$ changes relative wave phase by $4\pi x/\lambda$; the useful signal is its modulation after detection, not an optical-frequency oscillation that the detector must resolve.

For a linear, fixed-frequency beam splitter, choose power-normalized complex amplitudes $a_1,a_2$ at its input optical ports and $b_1,b_2$ at its output optical ports: $|a_j{|}^2$ and $|b_j{|}^2$ are powers. The scalar description treats one specified electromagnetic polarization and matching transverse profiles; other fields require additional components. With the geometrical ordering in the diagram,Here $t,t^{\prime }$ are transmission complex amplitudes per unit input and $r,r^{\prime }$ are reflection complex amplitudes per unit input. In this power normalization, a single input gives $T=|t{|}^2$ and $R=|r{|}^2$. Raw electric field amplitudes in different media generally need additional power-normalization factors.

If these two output optical ports account for all outgoing power and the device has no loss or gain, $S$ is a unitary matrix:The dagger is the Hermitian transpose and a star is complex conjugation. To prove the condition, substitute $\mathbf{b}=S\mathbf{a}$ into conservation of total power for every input vector: ${\mathbf{a}}^{†}(S^{†}S-I)\mathbf{a}=0$. Inputs $(1,0)$ and $(0,1)$ fix the diagonal entries; $(1,1)$ and $(1,i)$ fix the real and imaginary parts of the off-diagonal entry. A lossy two-output description instead has $S^{†}S\le I$ for a passive device.^[ref]

One consistent ideal symmetric 50:50 choice isEach reflection carries $+\pi /2$ relative wave phase in this convention. The columns have unit vector norm and zero inner product, directly verifying that $S$ is a unitary matrix. Choosing a different phase convention for complex amplitudes at the optical ports replaces $S$ by $D_{\mathrm{out}}S{D}_{\mathrm{in}}^{-1}$, where the $D$ are diagonal matrices whose entries have modulus one; the input complex amplitudes must be transformed consistently. Observable powers are unchanged. The displayed $i$ is a convention for this ideal model, not a universal reflection rule for every coating or incidence geometry.

An optical port specifies where and in which direction a beam enters or leaves an optical instrument. To attach one complex amplitude to it, also specify the beam's transverse field profile, electromagnetic polarization, frequency and reference plane for wave phase. Reversing propagation changes the input/output assignment. Four geometrical connections do not imply four independent input complex amplitudes in the chosen two-input configuration.

For real $z>0$, defineThe integrand is positive and at most $e^{-t}$, so $0<F(z)<1$ and the improper integral converges. Substituting $s=z+t$ also gives $F(z)=z{e}^z{E}_1(z)$ in terms of the exponential integral; the original representation makes positivity and the large-$z$ behavior transparent.

Apply the exact finite geometric series identity inside the integral, without assuming that an infinite series can be integrated term by term:The Gamma integral gives ${\int }_0^{\infty }{e}^{-t}{t}^{k}dt=k!$. Therefore, with $N$ retained terms,This remainder formula proves the asymptotic expansion at every fixed order: $R_N=O(z^{-N})=o(z^{-N+1})$ as $z\to +\infty$. Its sign also gives alternating bounds: an odd $N$ overestimates $F(z)$, and an even $N$ underestimates it.

At $z=10$, an independent evaluation of the integral gives $F(10)\approx 0.9156333394$. Three retained terms giveFive retained terms give $S_5(10)=0.9164$ with error bounded by $5!/10^5=0.0012$. The actual errors are about $0.004367$ and $0.000767$, respectively. The error bound is conservative, but established without relying on the numerical integral evaluation.

Nevertheless, the formal infinite series diverges at every fixed $z>0$. The magnitudes $T_k=k!/z^k$ satisfy $T_{k+1}/T_k=(k+1)/z$, so they eventually increase without bound. In particular, the terms fail the necessary zero-term condition for a convergent series. The finite remainder identity remains valid after convergence has failed; this is precisely what makes the example useful.

An error bound is an established upper bound on a specified approximation error, on a stated domain and under stated assumptions. A numerical comparison at selected points can test an approximation but does not by itself establish a bound throughout that domain. An absolute error bound controls $|\tilde{f}-f|$; a relative error bound additionally specifies the reference scale.

Lilium is the genus of true lilies, bulb-forming flowering plants. Its conspicuous reproductive structures make it useful for observing anthers, pollen and floral organization. Other plants called lilies in everyday language need not belong to this genus.