Transfinite interpolation

In numerical analysis, transfinite interpolation is a means to construct functions over a planar domain in such a way that they match a given function on the boundary. This method is applied in geometric modelling and in the field of finite element method. The transfinite interpolation method, first introduced by William J. Gordon and Charles A. Hall, receives its name due to how a function belonging to this class is able to match the primitive function at a nondenumerable number of points. In the authors' words:

“ We use the term ‘transfinite’ to describe the general class of interpolation schemes studied herein since, unlike the classical methods of higher dimensional interpolation which match the primitive function F at a finite number of distinct points, these methods match F at a non-denumerable (transfinite) number of points. ”

Transfinite interpolation is similar to the Coons patch, invented in 1967.

Formula

With parametrized curves [math]\displaystyle{ \vec{c}_1(u) }[/math], [math]\displaystyle{ \vec{c}_3(u) }[/math] describing one pair of opposite sides of a domain, and [math]\displaystyle{ \vec{c}_2(v) }[/math], [math]\displaystyle{ \vec{c}_4(v) }[/math] describing the other pair. the position of point (u,v) in the domain is

[math]\displaystyle{ \begin{array}{rcl} \vec{S}(u,v)&=&(1-v)\vec{c}_1(u)+v\vec{c}_3(u)+(1-u)\vec{c}_2(v)+u\vec{c}_4(v)\\ && - \left[ (1-u)(1-v)\vec{P}_{1,2}+uv\vec{P}_{3,4}+u(1-v)\vec{P}_{1,4}+(1-u)v\vec{P}_{3,2} \right] \end{array} }[/math]

where, e.g., [math]\displaystyle{ \vec{P}_{1,2} }[/math] is the point where curves [math]\displaystyle{ \vec{c}_1 }[/math] and [math]\displaystyle{ \vec{c}_2 }[/math] meet.