Past exam of the mathematics course of the University of Cambridge / 2008 / iii / Paper 77 / 2 / Solution

At $X=P(u,v)$, orient the unit normal vector $n=(P_u\times P_v)/\Vert P_u\times P_v\Vert$ towards the eye. Define the unit directions from the reflecting point to the source and eye byThe incident propagation direction is $-a$. The law of specular reflection is $b=-a+2(a\cdot n)n$, so $a+b$ is normal to the surface. Conversely, if the tangential components of $a+b$ vanish and $a\cdot n,b\cdot n>0$, its unit-length summands have equal positive normal components and obey the reflection law. Therefore solve the two scalar equationsThe stated orientation condition gives $b\cdot n>0$. It removes the back-facing ambiguity, but not multiple images or caustics. Exclude $Q(t)=P(u,v)$ and $E=P(u,v)$, where these directions are undefined.

At a root where the $2\times 3$ Jacobian matrix $DF$ has rank two, the implicit function theorem makes the solution set a local curve in parameter space. Compute a unit tangent $w$ in its nullspace; equivalently take the normalized cross product of the two rows of $DF$. A continuation method predicts $x_p=x+hw$, where $x=(u,v,t)$, then corrects with the Newton method applied to the three equationsThe last equation fixes a transverse section and allows tracing through a turning point of $t$, where solving only for $(u,v)$ at successive fixed source parameters would fail. The corresponding space point is $R=P(u,v)$, with derivative $R^{\prime }=P_u{u}^{\prime }+P_v{v}^{\prime }$ along the traced parameter-space curve.

Find initial roots by subdividing the parameter cube, using interval arithmetic bounds on $F$ to discard impossible boxes and validated local solves in the remaining boxes. Trace in both directions, stop at the boundary or a recognized closed loop, and retain a record of traced boxes to avoid duplicates. Search the remaining boxes as well: starting from just one seed would miss disconnected closed reflection curves. Where $DF$ loses rank, reduce the step and subdivide locally to find the outgoing branches instead of continuing a single guessed tangent. If physical visibility is required, discard roots for which either open segment $XE$ or $XQ(t)$ is occluded; test these segments against the surface or any supplied scene geometry.

Control the geometric approximation rather than just the parameter step. For any regular traced arc $R(s)$ with a bound $\Vert R^{\prime \prime }(s)\Vert \le M$, the chord error bound gives an arc-to-chord Hausdorff distance at most $M(\Delta s{)}^2/8$. Budget, for example, half of $ϵ$ for corrected-vertex error and half for chord error; accept a segment only whenBound the vertex error through the inverse transverse Jacobian matrix and a bound on $DP$, or use validated root enclosures. If analytic second-derivative bounds are unavailable, recursively subdivide and enclose each arc in a geometric tube of radius at most the remaining tolerance around its chord. A midpoint test alone is a useful heuristic but cannot certify the requested error for an arbitrary oscillatory curve.

The returned vertices $P(u_k,v_k)$ and their ordered connecting segments give the reflection curve to the prescribed tolerance on every resolved branch. Finite certified termination requires regular evaluable patches, derivative or enclosure bounds, and finitely resolvable branches; eye-facing normals alone do not guarantee these properties. Singular components or an identically vanishing reflection constraint must be handled as such rather than silently reported as an ordinary curve.