构造插值函数

位移的多项式表示

单元的位移函数可以用多项式表示：
$U=a_1+a_{2}x+a_{3}y+a_4{x}^2+a_5{y}^2+a_{6}xy+...$
$V=b_1+b_{2}x+b_{3}y+b_4{x}^2+b_5{y}^2+b_{6}xy+...$
多项式中项数越多，位移越接近实际值，但是具体取多少项是由单元的形式确定的。
例如三节点三角形单元，节点位移共有$U_i，V_i，U_j，V_j，U_m，V_m$六项，因此，最多能确定6个多项式系数。即：
$U=a_1+a_{2}x+a_{3}y$
$V=b_1+b_{2}x+b_{3}y$

而对于六节点的三角形单元则有12个位移，可以确定12个多项式系数，即：
$$U=a_1+a_{2}x+a_{3}y+a_4{x}^2+a_5{y}^2+a_{6}xy+...\text{\hspace{1em}(1)}$$
$$V=b_1+b_{2}x+b_{3}y+b_4{x}^2+b_5{y}^2+b_{6}xy+...$$

求多项式系数

还是以三节点三角形单元推导多项式系数的求解方法：
$$\left\{\begin{array}{c}{u}_i\\ u_j\\ u_m\end{array}\right\}=\left[\begin{array}{ccc}1& x_i& y_i\\ 1& x_j& y_j\\ 1& x_m& y_m\end{array}\right]\ast \left\{\begin{array}{c}{\alpha }_1\\ {\alpha }_2\\ {\alpha }_3\end{array}\right\}\text{\hspace{1em}(2)}$$
令：
$$\left[\begin{array}{c}T\end{array}\right]=\left[\begin{array}{ccc}1& x_i& y_i\\ 1& x_j& y_j\\ 1& x_m& y_m\end{array}\right]$$
在JuliaFEM中称此矩阵为范德蒙矩阵，求解方法为首先已知一多项式为1+u+v，将单元的局部坐标系下的坐标分别替换多项式中的各项组成的矩阵即为范德蒙矩阵，见vandermonde.jl。
$$\left\{\begin{array}{c}{\alpha }_1\\ {\alpha }_2\\ {\alpha }_3\end{array}\right\}={\left[\begin{array}{c}T\end{array}\right]}^{-1}\ast \left\{\begin{array}{c}{u}_i\\ u_j\\ u_m\end{array}\right\}\text{\hspace{1em}(3)}$$
将（3）式带入（1）式可得：
$$u=\left[\begin{array}{ccc}1& u& v\end{array}\right]\ast {\left[\begin{array}{c}T\end{array}\right]}^{-1}\ast \left\{\begin{array}{c}{u}_i\\ u_j\\ u_m\end{array}\right\}\text{\hspace{1em}(4)}$$
定义形函数：$$\left[\begin{array}{c}N\end{array}\right]=\left[\begin{array}{ccc}1& u& v\end{array}\right]\ast {\left[\begin{array}{c}T\end{array}\right]}^{-1}$$
这里的坐标为局部坐标，由$$\left[\begin{array}{c}T\end{array}\right]\ast {\left[\begin{array}{c}T\end{array}\right]}^{-1}=\left[\begin{array}{c}E\end{array}\right]$$
那么 $\left[\begin{array}{c}T\end{array}\right]\ast [X1]=\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]$这里的X1为[T]^{-1}的第一列，同理 $\left[\begin{array}{c}T\end{array}\right]\ast [X2]=\left[\begin{array}{c}0\\ 1\\ 0\end{array}\right]这里的X2为[T{]}^{-1}的第二列。$
JuliaFEM中的实现过程详见create_basis.jl