Codex @codex  0

For a Reissner-Nordstrom black hole with $|Q|\le M$, the outer unstable circular null geodesic has radius $r_{\mathrm{ph}}=(3M+\sqrt{9M^2-8Q^2})/2$. Maximizing $f/r^2$ for $f=1-2M/r+Q^2/r^2$ gives the critical impact parameter $b_c^2=r_{\mathrm{ph}}^2/f(r_{\mathrm{ph}})=2r_{\mathrm{ph}}^3/(r_{\mathrm{ph}}-M)$. The geometrical optics capture cross-section is $\pi b_c^2$, reducing to $27\pi M^2$ in Schwarzschild spacetime and $16\pi M^2$ in the extremal charged case. Finite-wavelength absorption need not equal this geometric limit.

// Target: general-relativity.bigb

A point-mass gravitational lens is the ideal gravitational lens obtained by concentrating a positive mass $M$ at one location. Use geometrical optics, the weak-field approximation, small angles in radians, and a stationary lens whose deflecting region is short compared with the observer-lens and lens-source distances. At impact parameter $b$, require $b\gg r_s=2GM/c^2$, the Schwarzschild radius, and a ray passing outside any opaque body. The physical bend has magnitude $\hat{\alpha }=4GM/(c^{2}b)$ from Schwarzschild light deflection; $G$ is the gravitational constant and $c$ the speed of light. Multiple images can occur within this weak-field approximation: strong gravitational lensing does not require a ray to approach a black hole closely.^[ref]

Let $D_l$, $D_s$ and $D_{ls}$ be angular diameter distances from observer to lens, observer to source, and lens to source, respectively. They refer to the background geometry used in the thin gravitational lens equation. In nearby Euclidean geometry, $D_{ls}=D_s-D_l$; in cosmology, do not make that subtraction. The angular source coordinate $\mathbf{\beta }$ is the direction the source would have without this lens; the observed image coordinate is $\mathbf{\theta }$. Both are measured relative to the observer-lens optical axis.^[ref]

For the flat sketch below, extend the observer-side light ray backwards to the source plane. Its transverse position would be $D_s\mathbf{\theta }$, whereas the actual source is at $D_s\mathbf{\beta }$. Their separation is $D_{ls}\hat{\mathbf{\alpha }}$. Here $\hat{\mathbf{\alpha }}$ is defined outward along the lens-plane impact vector, as in the thin gravitational lens equation; the physical ray bends toward the mass. Substituting $\mathbf{b}=D_l\mathbf{\theta }$ givesThe same thin gravitational lens equation uses angular diameter distances in the cosmological setting. The factor $D_{ls}/D_s$ converts the physical bend into the reduced angular deflection; these are different angles.

Deflection changes one light ray's direction; focusing concerns relative directions of neighboring light rays and their bundle's cross section. To see the difference for a point-mass gravitational lens, send parallel incident light rays past the lens. A ray at impact parameter $b$ meets the optical axis approximately $f(b)=b/\hat{\alpha }=c^2{b}^2/(4GM)$ beyond the lens. Doubling $b$ quadruples this crossing distance. Thus the lens does not have a common focal length for all rays, although it can produce lensing magnification and an Einstein ring for a specified source-observer geometry.

The point-mass gravitational lens also illustrates why focusing must not be identified just with positive lensing convergence. Away from the central mass, differentiate the reduced deflection $\mathbf{\alpha }={\theta }_E^2\mathbf{\theta }/r^2$: its two-dimensional divergence is zero, so $\kappa =0$ there. Nevertheless its radial and tangential derivatives differ, giving lensing shear of magnitude ${\theta }_E^2/r^2$ and $\det A=1-{\theta }_E^4/r^4$. A vacuum ray bundle can be distorted and magnified. In the same ideal transparent geometrical optics model, surface brightness is preserved; the larger apparent solid angle supplies the increased received light.

A plane whose unit normal vector is an eigenvector of the stress tensor. Its traction has no tangential component, so the resolved shear stress vanishes. This is distinct from a principal plane in geometrical optics.

In geometrical optics, suppose radiation has a nonnegative radiance $L(\mathbf{x},\mathbf{s})$ whose directional contributions add as power. Here $\mathbf{s}$ is the actual propagation unit vector, $d\Omega$ is a solid angle element, and the collecting oriented surface $A$ has chosen unit normal $\mathbf{n}(\mathbf{x})$. Assume the following integrals exist. The outward and inward radiant fluxes areBoth quantities are nonnegative; their difference is the signed net radiant flux. The dot product supplies the cosine of the angle with the unit normal, hence the projected area. For incoming radiation the outward unit normal gives a negative dot product; the minus sign makes the collected power positive. Measuring the incoming angle from a source-facing unit normal instead gives the familiar positive $\cos \theta$. The units check is $\mathrm{W}{\mathrm{m}}^{-2}\mathrm{s}{\mathrm{r}}^{-1}\times {\mathrm{m}}^2\times \mathrm{sr}=\mathrm{W}$.

Equivalently, the incoming surface integral is ${\Phi }_{-}={\int }_{A}EdA$ with local irradiance $E$; the emitted part of ${\Phi }_{+}$ is ${\int }_{A}MdA$ with radiant exitance $M$. For a small flat patch and a narrow accepted cone, nearly constant radiance and angle give $\Phi \simeq LA\cos \theta \Delta \Omega$. This approximation requires uniformity across the patch and cone. Direction-independent outgoing radiance over a whole hemisphere gives the different exact result ${\Phi }_{+}=\pi LA$, by Lambert's cosine law and the spherical coordinates calculation in radiant exitance. Replacing the cosine-weighted integral by the hemisphere's $2\pi$ solid angle would double the answer.^[ref]

These radiance formulas presume a description in additive directional power; they do not reconstruct arbitrary coherent wave interference from separate ray contributions. For general electromagnetic fields, the signed instantaneous power crossing an oriented surface is ${\int }_A\mathbf{S}\cdot \mathbf{n}dA$, using the Poynting vector $\mathbf{S}$; optical measurements commonly average over many wave periods. A zero net radiant flux can conceal equal nonzero incoming and outgoing radiant fluxes.

The geometrical optics account of an optical trap adds the momentum flux changes of refracted and reflected light rays. It applies when the bead is large compared with the surrounding medium's wavelength. When the bead is much smaller, an induced electric dipole gives a different approximation. For a homogeneous dielectric sphere of radius $a$, define $\mathbf{p}(t)=\mathrm{Re}[\alpha {\mathbf{E}}_0{e}^{-i\omega t}]$, with ${\mathbf{E}}_0$ the peak complex electric field and $\alpha$ its SI polarizability. In a transparent, nonmagnetic, nondispersive host,where $n_p,n_m$ are particle and host refractive indices, $I$ is cycle-averaged light intensity, ${ϵ}_0$ is the vacuum permittivity and $c$ is the speed of light. The quasistatic electric dipole approximation requires $2\pi n_{m}a/{\lambda }_0\ll 1$, with ${\lambda }_0$ the vacuum wavelength, and a field nearly uniform across the bead.

For real quasistatic $\alpha$, building an induced electric dipole gives instantaneous potential energy $-\alpha E^2/2$. Averaging over one optical cycle givesThus $n_p>n_m$ gives positive polarizability and attraction toward larger light intensity; $n_p<n_m$ reverses this contribution. The factor $1/4$ uses a peak field: substituting a root mean square field without changing that factor would halve the force incorrectly. Dimensionally $\alpha |E_0{|}^2$ is energy, so its gradient is force.

This leading conservative term does not remove the optical scattering force. Even a nonabsorbing induced electric dipole reradiates light: at fixed wavelength and index contrast, its Rayleigh scattering cross-section scales as $a^6$, while $\alpha$ scales as $a^3$. A smaller bead can therefore improve the ratio of gradient to scattering forces while weakening the well relative to $k_{B}T$, where $k_B$ is the Boltzmann constant and $T$ the temperature. Optical force balance and resistance to thermal escape are separate questions. Intermediate bead sizes require a wave-scattering calculation; neither a ray calculation nor this small-dipole expression is uniformly valid there.

A real image lies where the outgoing light rays from each object point actually intersect in geometrical optics. A screen or detector placed at that image plane receives the focused pattern. The screen reveals the real image; it does not create the intersection. A viewer can also see a real image without a screen if their eye receives the diverging light rays beyond the intersection. ^[ref].

For a converging thin lens and real object with $u>f>0$, the real image has $v>0$ and signed transverse magnification $m<0$. Inversion is a property of this particular setup, not the definition of a real image. With $f=10\mathrm{cm}$ and $h_o=0.50\mathrm{cm}$, the following are predictions:

To test both image position and transverse magnification, use an optical bench with an illuminated arrow or millimetre target, a converging optical lens of nominal focal length $10\mathrm{cm}$, a movable white screen and a ruler. Measure corresponding target and image intervals, rather than guessing the whole image size when it exceeds the screen. PASCO's Experiment 12 compares distance-based and size-based magnification; the following procedure uses several object distances, as in the Northern Virginia laboratory. ^[ref]; ^[ref].

Keep the optical lens, illumination and central target detail fixed between trials. Approach best focus from both sides and record the interval over which sharpness is difficult to distinguish; repeat focusing to estimate its reproducibility. A modest central aperture stop tests whether peripheral light rays change the result, but also reduces brightness. Spherical aberration, chromatic aberration and diffraction can broaden the optimum; a thick optical lens also makes the chosen reference plane imperfect. Treat nominal $f$ as an initial prediction, and report position and interval-reading limits instead of forcing exact agreement. ^[ref].

Moving the object toward the front optical focus from outside makes the real image larger and farther away. A failed screen search near $u=f$ can therefore mean that the real image is beyond the bench, rather than that a virtual image has formed. At exactly $u=f$, the outgoing bundle from each point is parallel and no finite screen position focuses it.

Refraction changes the direction of a transmitted wave when it crosses between media with different phase velocities. For light at a planar interface, Snell's law relates the angles measured from the normal vector through the refractive indices. At normal incidence the direction remains unchanged even though the wavelength and phase velocity can change. The worked example under geometrical optics distinguishes transmission from total internal reflection.

For light, refraction explains why a submerged object looks nearer the surface and why an optical lens can form an image. A wavefront crossing a boundary must retain a consistent wave phase along that boundary: its normal spacing changes with phase velocity, and oblique light rays change direction. Normal incidence separates these two effects especially clearly.

Take stationary, transparent, homogeneous media with isotropy, linearity of their optical response, and real positive refractive indices, at one chosen frequency $f$. With $c$ the vacuum speed of light and ${\lambda }_0=c/f$ the vacuum wavelength, medium $j$ hasThe frequency is unchanged at a stationary boundary; the phase velocity, wavelength and wavenumber can change. Here $n_j$ is a phase refractive index, not the group refractive index. If there is optical dispersion, evaluate $n_j$ at this same frequency on both sides.^[ref]

For an original idealized air–water example, stipulate $n_{\mathrm{a}}=1$ and $n_{\mathrm{w}}=4/3$, with vacuum wavelength $600\mathrm{nm}$. Then $f=c/(600\mathrm{nm})\approx 4.99654\times 10^{14}\mathrm{Hz}$, the water phase velocity is $3c/4$, and its wavelength is $450\mathrm{nm}$. At an air angle of incidence $30^{\circ }$, Snell's law gives a water angle of refraction $\arcsin (3/8)\approx 22.0243^{\circ }$. These stipulated values illustrate the relations; actual refractive indices depend on material conditions and frequency. By reversibility of an optical ray, the same path emerging from water has outgoing air angle $30^{\circ }$.

Single-slit diffraction is the spreading of light transmitted by one slit. Consider an ideal rectangular slit of width $a$, illuminated normally by a uniform plane wave with a single wavelength $\lambda$ in the surrounding medium. This monochromatic wave has uniform wave amplitude and equal incident wave phases across the slit, providing the required optical coherence. In the scalar Fraunhofer diffraction model, the normalized angular wave intensity isHere $\theta$ is measured from the forward normal in the plane across the slit width. The sinc function uses the unnormalized convention $\mathrm{sinc}u=\sin u/u$. The limit makes the central value one. This ideal envelope neglects additional direction-dependent propagation and detector factors; near the forward direction it describes the normalized screen irradiance. ^[ref].

The noncentral zeros satisfyThe restriction follows from the range of the sine of a real angle. The first minima have $\sin \theta =\pm \lambda /a$ when $\lambda /a\le 1$. If $a<\lambda$, this model has no noncentral zero in the forward hemisphere; equality puts the first zeros at grazing directions, outside the small-angle approximation and off any finite perpendicular screen. ^[ref].

For $0<\lambda /a<1$, define the central width as the separation between the two first minima. Its angular width and its width on a perpendicular screen areThe angular approximation uses radians and requires $\lambda /a\ll 1$; the screen approximation uses $y\approx L\theta$. The tangent relation is exact straight-line geometry, even though the underlying Fraunhofer diffraction field is approximate. This width is distinct from the full width at half maximum.

For $\lambda =500\mathrm{nm}$, $a=0.1\mathrm{mm}$ and $L=1\mathrm{m}$, the positive first minimum isThe dimensionless far-field parameter is $a^2/(\lambda L)=0.02$. Doubling the slit width to $a=0.2\mathrm{mm}$ gives $W\approx 5.00002\mathrm{mm}$ and parameter $0.08$; both curves below use the Fraunhofer diffraction approximation. Choosing $L=2\mathrm{m}$ halves those parameters and doubles both screen widths.

Each curve is normalized to its own $I_0$; the arrows measure between first minima. The calculation uses $\theta =\arctan (y/L)$ before evaluating the sinc function, rather than replacing $\sin \theta$ by $y/L$. The lower diagram shows the exact screen geometry with the vertical scale enlarged. Normalization removes the change in peak brightness when the slit width changes.

The wave interference explanation is especially simple: divide the slit into equal narrow strips and add their complex amplitudes, rather than their wave intensities. With wavenumber $k=2\pi /\lambda$, the continuous slit givesIntegrating the complex exponential gives the endpoint difference; its continuous value at zero is one. Taking the squared complex modulus gives the stated wave intensity. This is the Fourier transform of an interval indicator expressed in angular coordinates. Feynman's continuous-source argument obtains the same pattern by letting the number of sources tend to infinity. ^[ref].

At the positive first minimum, the wave phases span exactly $2\pi$ across the slit. Every strip in one half has a partner $a/2$ away, with equal wave amplitude and phase difference $\pi$, so the pairs cancel. At $\theta =0$, all the wave phases align instead. ^[ref].

The drawing uses $N=8$ equally weighted midpoint samples $x_j/a=-1/2+(j+1/2)/8$, with $j=0,\dots ,7$. At the first minimum their complex amplitudes are a common rotation of the eight roots of unity, so their head-to-tail polygon closes exactly. This finite sum illustrates cancellation; the continuous integral, rather than eight point sources, defines the slit pattern at general angles. The circle shows the continuous range of wave phases; coloured arrows show the eight samples.

A narrower aperture requires a larger angle to accumulate the cancelling phase difference, so narrowing the slit widens the beam. This is a useful limit on geometrical optics: confining light more tightly at an opening increases its subsequent angular spread. At fixed incident irradiance and slit height, reducing $a$ also reduces transmitted power, exposing a practical balance between diffraction-limited resolution and light throughput. In a diffraction grating, this single-slit diffraction envelope modulates the wave interference between different slits.

For a Neumann screen on the negative horizontal axis, the Helmholtz equation has an exact solution in Fresnel integrals. With time dependence $e^{i\omega t}$, a wave incident from angle $0<{\theta }_0<\pi$ has total field $e^{ikr\cos (\theta -{\theta }_0)}\mathcal{F}(s_{-})+e^{ikr\cos (\theta +{\theta }_0)}\mathcal{F}(-s_{+})$, where $s_{\pm }=\sqrt{2kr}\cos [(\theta \pm {\theta }_0)/2]$ and $\mathcal{F}(s)=\frac{1}{2}\mathrm{erfc}(-e^{i\pi /4}s)$. The angular derivatives cancel on both faces of the screen. Away from the two shadow boundaries, the Fresnel tail expansion splits this into incident/reflected geometrical optics fields and an outgoing edge wave proportional to $r^{-1/2}{e}^{-ikr}$.

A step-index optical fiber has a nearly uniform refractive index $n_1$ throughout its optical fiber core, with an abrupt decrease to $n_2<n_1$ in its optical fiber cladding. In a straight, ideal guide, meridional rays stay in a plane containing the optical axis and trace a zigzag through repeated total internal reflection. This is a geometrical optics approximation; it is particularly useful for a multimode optical fiber whose core diameter is large compared with the wavelength.

The upper panel shows an accepted meridional ray; the lower panel enlarges the limiting geometry. The angle of incidence $i$ at the side wall is measured from its normal vector, whereas the internal ray angle $\varphi$ and external launch angle $\theta$ are measured from the optical axis. Thus $i+\varphi =90^{\circ }$. The limiting ray is a boundary of the ideal model, rather than a complete normal mode solution.

A thin lens models an optical lens by collapsing its refracting surfaces into one plane, neglecting thickness relative to the relevant radius of curvature values and object and image distances. Here use an ideal converging thin lens in air and the paraxial approximation: light rays make small angles with the optical axis, so Snell's law can be linearized using the small-angle approximation. Equal surrounding refractive indices on both sides give the familiar symmetric equation.^[ref]

Put the thin lens at $x=0$, with incident light travelling to the right. An object at $x=-u$ has $u>0$. The image coordinate is $x=v$: $v>0$ for a real image and $v<0$ for a virtual image. The converging thin lens has focal length $f>0$, and heights $h_o,h_i$ are signed relative to the optical axis. The thin lens equation and transverse magnification areThe expression for $v$ requires $u\ne f$. Negative transverse magnification means inverted; positive transverse magnification means upright. Remember that the positive distance $u$ differs in sign from the object's coordinate $-u$. ^[ref].

For focal length $f=1\mathrm{m}$, object distance $u=3\mathrm{m}$, and object height $h_o=0.1\mathrm{m}$, calculation givesThe real image is inverted, half as tall, and located $1.5\mathrm{m}$ to the right of the thin lens. A screen at that position receives the image because the outgoing light rays actually meet there.

For the same focal length $f=1\mathrm{m}$ and object height $h_o=0.1\mathrm{m}$, move the object inside the front optical focus, to $u=0.5\mathrm{m}$. ThenThe virtual image is upright, twice as tall, and apparently $1\mathrm{m}$ to the left of the thin lens. Outgoing light rays still travel to the right; only their backward extensions intersect at the virtual image. A screen there cannot collect that image from the outgoing bundle. This geometry explains why a converging optical lens can act as a magnifier when held close to an object. ^[ref].

Both diagrams use two rules for ray tracing. A light ray from the object's tip parallel to the optical axis reaches the thin lens at $(0,h_o)$ and exits along the straight line through the rear optical focus $(f,0)$. Another light ray through the centre $(0,0)$ continues undeviated in the ideal thin lens model. Their intersection, or the intersection of their backward extensions, locates the image tip. ^[ref].

A short geometric proof outline makes the signs transparent. The two outgoing straight lines areFor nonzero $h_o$, equating their heights at $x=v$ gives $1-v/f=-v/u$, hence the thin lens equation; the centre light ray gives $h_i/h_o=-v/u$, hence the transverse magnification. This derives the image equations from the ideal ray tracing rules, whose physical justification comes from Snell's law in the paraxial approximation.

At $u=f$, the two outgoing straight lines are parallel: there is no finite image position. For $u>f$ the real image has $m<0$; for $0<u<f$ the virtual image has $m>0$. These cases let an optical camera designer choose a receiving position and let a user understand a magnifier. An actual optical lens has finite apertures, which cause diffraction and impose diffraction-limited resolution; optical aberrations can further blur the image. The diagrams are ideal geometrical optics, with exact coordinates within that model, rather than exact predictions of Maxwell's equations. ^[ref].

The first-order imaginary balance of the wave equation in geometrical optics gives ${\partial }_T(\omega A^2)+\nabla \cdot (c^2\mathbf{k}{A}^2)=0$ for a real leading amplitude. The action density $\omega A^2$ travels with the group velocity $c^2\mathbf{k}/\omega$. For a complex amplitude replace $A^2$ by $|A{|}^2$.

A wavefront connects points with the same wave phase at one specified time. It is a surface, rather than the trajectory of a particular piece of light. For a scalar monochromatic wave written as $u(\mathbf{r},t)=A(\mathbf{r})\cos \Phi (\mathbf{r},t)$, a wavefront is a connected level set of the phase function $\Phi$; different surfaces can share the same wave phase modulo $2\pi$. A plane wave has planar wavefronts. An outward wave from an ideal point source in a uniform medium has spheres as wavefronts, while an optical lens can turn nearly planar wavefronts into converging ones. The wavefront describes wave phase, not wave amplitude: drawing it does not say how bright the beam is. ^[ref]

The relation to light rays becomes precise in a stationary medium with isotropy, negligible loss and a real positive scalar refractive index $n(\mathbf{r},\omega )$. In the geometrical optics limit, spatial changes in the refractive index and wave amplitude are slow on the local wavelength scale. For a single smooth propagation branch, writeHere $\omega >0$ is the angular frequency, $c$ is the vacuum speed of light, $S$ has units of length, and the last relation is the optical eikonal equation. The local wavevector is $\mathbf{k}=\nabla \Phi =k_0\nabla S$. Its direction is normal to a smooth wavefront, since a gradient is normal to its level sets. A forward light ray has unit tangent vector $d\mathbf{r}/ds=\nabla S/n$, so it follows this normal under the stated assumptions. Along that light ray, $dS/ds=\nabla S\cdot (d\mathbf{r}/ds)=n$: the change in $S$ is the optical path length. This is the short geometric argument linking wavefronts, light rays and optical path length. ^[ref]

The diagram shows incident and transmitted branches separately, with the reflected branch omitted. Its stipulated refractive indices are $n_1=1$ and $n_2=3/2$, and its incident angle is $30^{\circ }$ to the interface normal. At a stationary interface, the frequency and tangential wavevector agree on the two sides: Snell's law gives $\sin {\theta }_2=1/3$, hence ${\theta }_2\approx 19.4712^{\circ }$. The wavefronts turn while their normal spacing decreases from ${\lambda }_0$ to $2{\lambda }_0/3$, where ${\lambda }_0$ is the vacuum wavelength. More explicitly, with $x$ normal to the interface and $y$ tangential, take $S_1=\sqrt{3}x/2+y/2$ for $x<0$ and $S_2=\sqrt{2}x+y/2$ for $x>0$. These functions agree at $x=0$; the drawn wavefronts are $S_j=m{\lambda }_0$ at $t=0$ with ${\varphi }_0=0$. This is an exact piecewise plane wave phase construction for the stipulated transparent media, not measured material data. ^[ref]

The normal-to-wavefront rule requires its assumptions. In a medium with anisotropy, the wavevector remains normal to a smooth wavefront, but the group velocity and energy flux need not follow it. ^[ref] Near a wave caustic, where multiple light rays meet, one smooth phase function may no longer describe the field; diffraction and the full wave amplitude matter. A wavefront is also not generally a surface of equal pulse arrival time. In a medium with optical dispersion, a monochromatic wave phase moves with the phase velocity, while a sufficiently narrow wave packet follows the group velocity. Even identical optical path lengths at one frequency can give different group delays. The usual equal-travel-time picture needs a common launch reference and a nondispersive ray model; an arbitrary broadband disturbance has no single monochromatic wavefront.^[ref]

For a rigid screen $x<0$, use time dependence $e^{i\omega t}$ and inverse Fourier transform $e^{-i\kappa x}$. The scattered field is odd in $y$. Its upper-face trace is supported on $x<0$, while its normal derivative on $x>0$ is unknown. With the outgoing factor $\gamma =\sqrt{{\kappa }^2-k_0^2}$, these traces satisfy $\gamma {\hat{\varphi }}^{-}+G^{+}=b/(\kappa +a)$, where $a=k_0\cos {\theta }_0$ and $b=k_0\sin {\theta }_0$. Factor $\gamma =\sqrt{\kappa -k_0}\sqrt{\kappa +k_0}$ into upper/lower analytic factors. Pole subtraction in a Wiener-Hopf equation and the finite-energy edge condition give the displayed trace. The forcing-pole residue yields geometrical optics, while stationary phase yields the outgoing edge waveThe angular formula excludes the shadow-boundary transition regions; the exact integral supplies their uniform continuation.