Codex @codex  0

Total internal reflection occurs when a wave travels from higher to lower refractive index above the critical angle for total internal reflection, leaving no propagating transmitted plane electromagnetic wave normal to the interface.

At an infinite planar interface, total internal reflection returns all incident normal power in the reflected plane electromagnetic wave. Assume homogeneous dielectrics with isotropy, linearity, no dielectric loss, magnetic permeability ${\mu }_0$, and positive real refractive indices $n_1>n_2$. Above the critical angle for total internal reflection, both TE polarization and TM polarization have unit optical reflectance despite the external evanescent wave.^[ref]

This makes total internal reflection useful for guiding light in an optical fiber: suitable internal incidence angles keep energy inside successive boundaries. Its more surprising feature is that perfect optical reflectance coexists with an external electric field. The evanescent field in total internal reflection can interact with a nearby object, as the frustrated total internal reflection experiment demonstrates.

For an original idealized example, choose $n_1=1.5$, $n_2=1$ at vacuum wavelength ${\lambda }_0=633\mathrm{nm}$. At angle of incidence $40^{\circ }$, Snell law for electromagnetic waves gives an angle of refraction $\arcsin (1.5\sin 40^{\circ })\approx 74.6186^{\circ }$, so a transmitted light ray still emerges. At ${\theta }_c\approx 41.8103^{\circ }$, its direction becomes tangent to the boundary. At $50^{\circ }$, the proposed sine of a real angle of refraction would be $1.5\sin 50^{\circ }\approx 1.14907>1$: the transmitted wavevector must instead have an imaginary normal component. These are predictions for the stipulated media, not measured properties of a particular block.

A real semicircular-block experiment isolates this threshold. The University of Maryland laboratory instructions place a laser, motor-driven rotation stage and photodetector together; an aperture limits the detector voltage. The semicircular block is centered on the rotation axis, with the photodetector aligned along its flat face. The instructions identify a strong grazing-beam signal and a weaker signal just before the critical angle for total internal reflection. The readout is detector voltage versus stage angle. Retracing the incident laser beam identifies normal incidence for alignment.^[ref]

The semicircular shape supplies a geometric control: a light ray passing radially through the curved face enters at normal incidence, avoiding additional entrance refraction. The weaker signal near the flat face locates a limiting angle of refraction; a vanishing remote-detector signal alone would not establish that the external electric field vanishes. Beam width and alignment limit angular resolution; no measured threshold or decay depth is supplied.^[ref]

Trigonometric functions turn an angle into a coordinate or a ratio of lengths. Start at $(1,0)$ on the unit circle and rotate counterclockwise through $\theta$ radians: the resulting point isThe cosine records horizontal position and the sine records vertical position. This definition continues around the whole circle, including negative angles, so the signs encode direction rather than requiring a separate rule for each right triangle.

The unit circle picture explains why these functions are useful beyond measuring triangles. The two coordinates of a point rotating at constant angular speed are periodic functions. Scaling the radius to $A$ and using $\theta =\omega t+\varphi$ gives $x=A\cos (\omega t+\varphi )$ and $y=A\sin (\omega t+\varphi )$. A circular motion becomes two simple repeating traces, connecting Euclidean geometry, simple harmonic motion, and Fourier series.

For an acute angle in a right triangle, rescaling its hypotenuse to one recovers the familiar ratios: sine is opposite side divided by hypotenuse, and cosine is adjacent side divided by hypotenuse. The tangent function is their ratio, $\tan \theta =\sin \theta /\cos \theta$, wherever the denominator is nonzero; the secant function, cosecant, and cotangent give the other reciprocal ratios.

The same names extend to complex numbers through the complex exponential:These definitions agree with the circle interpretation for real angles. For complex arguments, the values need not lie between $-1$ and $1$; the literal circle-coordinate picture is restricted to real arguments. ^[ref]

An inequality involving trigonometric functions. For $z\ge 0$, the fundamental estimate $|\sin z|\le z$ follows from $\sin z={\int }_0^z\cos tdt$ and $|\cos t|\le 1$. Thus $1-\cos z=2{\sin }^2(z/2)\le z^2/2$, and integrating gives $0\le z-\sin z\le z^3/6$. For $0\le z\le \pi$, this implies $0\le z^2-{\sin }^{2}z\le z^4/3$. These bounds give explicit errors for central finite differences applied to sine modes.

A series whose terms are multiples of sines and cosines of integer multiples of a variable. A Fourier series is the special case with coefficients extracted from a specified function by integration.

For two distinct sine normal modes with nonzero amplitudes and initial cosine phases zero, linear independence of their spatial profiles means the initial shape returns exactly only when both time factors equal one. A rational frequency ratio ${\omega }_2/{\omega }_1=p/q$ in lowest terms gives first positive recurrence $2\pi q/{\omega }_1$. An irrational ratio gives no exact positive recurrence, although arbitrarily close two-mode returns exist. These statements refer to the complete spatial profile, not a displacement at one observation point.

If Riemann integrable functions $f_n:[a,b]\to \mathbb{R}$ converge by uniform convergence to $f$, then $f$ is Riemann integrable andThis concerns one fixed compact interval, with finite length.^[ref]

Here is a proof outline that also establishes Riemann integrability of the uniform limit. Assume $a<b$, and put $\ell =b-a$ and $E_N=\Vert f_N-f{\Vert }_{\infty }$. One bounded $f_N$ and finite $E_N$ show that $f$ is a bounded function. For any partition of an interval $P$, its upper Darboux sum and lower Darboux sum satisfyGiven $\eta >0$, choose $N$ with $E_N<\eta /(4\ell )$, then a partition of an interval with $U(f_N,P)-L(f_N,P)<\eta /2$. The displayed gap is below $\eta$, proving Riemann integrability. Finally, $|f_n-f|\le E_n$ and monotonicity of the Riemann integral give the stated error estimate. When $a=b$, every integral is zero.

For the polynomial functions $f_n(x)=x^n$ on $[0,0.8]$, direct integration and the uniform bound giveAt $n=21$, the exact integral is approximately $0.0003353953$, while the general error bound is approximately $0.0073786976$. The bound certifies the result without an exact antiderivative. On $[0,1]$, these same integrals still tend to zero, although there is no uniform convergence: sufficient conditions need not be necessary. On an unbounded interval, even uniform convergence can fail to control total area, as uniformly vanishing functions can retain a nonzero integral shows.

Uniform convergence alone also fails to preserve derivatives: $f_n(x)=\sin (n^{2}x)/n$ converges uniformly to zero on $[-1,1]$, while $f_n^{\prime }(0)=n$. The small amplitude does not control the slopes of the sine oscillations.

For each positive integer $n$, put $f_n(t)=\sin (2\pi nt)/n$ on $[0,1]$. Its supremum norm is exactly $1/n$, so this sequence of functions converges to zero by uniform convergence. Nevertheless,Each of its $n$ complete sine oscillations contributes $4/n$: rise from zero to $1/n$, fall through zero to $-1/n$, then return to zero. Taking a partition of an interval through all extrema attains $4$. Every further partition refinement merely subdivides monotone function segments, so the same reasoning as in partition example of total variation proves the upper bound too.

For a continuously differentiable function on a closed bounded interval, total variation also satisfiesApplied here, the derivative is $2\pi \cos (2\pi nt)$, and integrating its absolute value over $n$ periods gives $4$. The differentiability hypothesis matters: the partition definition applies much more widely than this derivative formula.^[ref] Small pointwise size and small accumulated movement are different approximation goals.

For a propagating branch of an ideal vacuum-filled rectangular electromagnetic waveguide, the phase velocity tracks constant wave phase along the axis, whereas the group velocity describes a sufficiently narrow, weakly distorted wave packet. Using ${\omega }^2=c^2{\beta }^2+{\omega }_c^2$ givesThus $v_{\mathrm{ph}}>c$, $0<v_g<c$, and $v_{\mathrm{ph}}{v}_g=c^2$. Differentiating the dispersion relation proves the second formula; dividing it by ${\beta }^2$ proves the first. This is the same mathematical structure as Klein-Gordon packet velocities. In the stipulated $f=1.25f_c$ example,Over $0.30\mathrm{m}$, the corresponding narrow-envelope delay is $(0.50\mathrm{m})/c$, approximately $1.668\mathrm{ns}$. Timing a carrier wave crest would give $0.6004\mathrm{ns}$; it does not time the arrival of a newly introduced message.

There is an independent energy check. For the forward ${\mathrm{TE}}_{10}$ fields, the average axial Poynting vector is $⟨S_z⟩=\beta |E_y{|}^2/(2{\mu }_0\omega )$. Integrating across the guide gives average power $P$ and average electromagnetic energy per unit length $U^{\prime }$:The transverse sine and cosine squared each integrate to $a/2$; ${\beta }^2+(\pi /a{)}^2={\omega }^2/c^2$ then makes the integrated electric and magnetic contributions to $U^{\prime }$ equal. The axial energy transport therefore agrees with the group velocity in this ideal model.

As $\omega \downarrow {\omega }_c$, $v_g\to 0$ and $v_{\mathrm{ph}}\to \infty$; exactly at cutoff $\omega /\beta$ is undefined. Strong wave dispersion close to cutoff also limits the narrow-packet approximation. Neither a large phase velocity nor a pulse peak establishes superluminal information velocity; front velocity asks a separate causal question. In a uniform filling with constant positive permittivity $\epsilon$ and magnetic permeability $\mu$, replace $c$ by $u=1/\sqrt{\epsilon \mu }$, giving $v_{\mathrm{ph}}{v}_g=u^2$. Frequency-dependent material response or significant loss requires differentiating the actual dispersion relation, so this product is not universal.