Splines on generalized quasi-cross-cut partitions (Q1298641)

Let \(\Omega\subset \mathbb{R}^2\) be a simply connected, bounded domain with interior \(\Omega^0\). Let \(\Delta= \{\Omega_i; 1\leq i\leq\omega\}\) be a rectilinear partition of \(\Omega\) in the sense that for each \(i\), \(\partial\Omega_i\) is homeomorphic to a circle and \(\partial\Omega_i\cap \Omega^0\) is a piecewise linear curve, where \(\omega\) is the number of small regions into which \(\Omega\) is partitioned. The segments on \(\partial\Omega_i\cap \Omega^0\) are called the edges of \(\Delta\) and the end points of the edges are called the vertices of \(\Delta\). If \(\Delta\) has only cross-cuts (line segments with both end-points on \(\partial\Omega\), crossing the vertex \(v_i\)) then \(\Delta\) is called a cross-cut partition. It is called a quasi-cross-cut partition if \(\Delta\) has only cross-cuts and rays. If \(N_i+ F_i= \xi_i\geq 2\), where \(N_i\) is the number of cross-cuts and \(F_i\) is the number of the rays which are the line segments joining an inner vertex to \(\partial\Omega\), crossing \(v_i\), then \(\Delta\) is called a generalized quasi-cross-cut partition. The authors present in this article a new method of obtaining the dimensions of the polynomial splines of degree \(k\) and smoothness \(r-1\) on generalized quasi-cross-cut partitions. The main result is Theorem. Let \(\Delta\) be a generalized quasi-cross-cut partition of \(\Omega\). Let \(\phi_i= [(r- 1)/(\xi_i- 1)]\), where \([x]\) is the largest integer that is not greater than \(x\). Let \(\xi_\Delta= 0\) if all edges of \(\Delta\) are global, and \(\xi_\Delta= \max_{e_{ij}\in E}(\phi_i+ \phi_j)\) otherwise; where \(e_{ij}\) is the edge with vertices \(v_i\) and \(v_j\) as its endpoints. Then, if \(k\geq r-1+ \xi_\Delta\), it holds \[ \begin{multlined}\dim S^{r-1}_k(\Delta)= \eta(k)+ N\eta(k- r)+ \sum_{e_{ij}\in E} (\eta(k- r)- \eta(\phi_i- 1)- \eta(\phi_j- 1))+\\ \sum^{\theta_0}_{i=1} \Biggl( \sum^{\phi_i}_{s= 1} (s\overline\varepsilon(i- s-r)_++ \varepsilon_i'\eta(\phi_i- 1)+ \sum^{k- r+1}_{s= \phi_i+ 1} (s\xi_i- s- r)\Biggr),\end{multlined} \] where \(\varepsilon_i\) is the number of edges emanating from \(v_i\), and \(\overline\varepsilon_i\) is the number of edges emanating from \(v_i\) with different slopes.