User:Frank Ford Little Ph.D.

Coons' Patch
Steven Anson Coons' Patch creates a surface from curves in Geometric Design. Its trivial formula belies its seminal importance. Many airplanes, automobiles, appliances and parts are Coons' patches. Lofting projectors, polynomial interpolation operators in one variable are cast in two variables by holding one variable fixed yet arbitrary. This partial generalization is labeled “transfinite interpolation” by W.H. Gordon . For formal operators P1 and P2 their composition provides the intersection of properties like points of interpolation or function precision. Coons' Boolean Sum gives the union. Like inventing or from and, Coons composed the remainder operators (I-P1) and (I-P2) and took the remainder giving: P1 | P2 = P1 + P2 - P1P2 For example, let L1(u,v) be linear interpolation in u. (v is fixed but arbitrary.) Dually define L2. L1L2 ( = L2L1 ) is bilinear polynomial interpolation to the corner data. L1 | L2 matches data all around. If F is defined on the unit square, L1(F;u,v)      = (1-u)F(0,v) + uF(1,v). L2(F;u,v)     = (1-v)F(u,0) + vF(u,1). L1L2(F;u,v)   = (1-u)(1-v)F(0,0) + (1-u)vF(0,1)+ u (1-v)F(1,0) + uvF(1,1). P1 | P2 = P2 + P1(I-P2) shows Coons' patch to be “reduction to a previous solution.” Commutivity of the operators is necessary and sufficient for union of properties. The boolean sum, P1|P2 has at least the interpolation properties of P1 and the precision of P2. If P2F = F then (P1|P2)F = F. If LP1 = L then L(P1|P2) = L.

Coons published Cubic Hermite interpolation in this generalization.