On the dimension of bivariate spline spaces on generalized quasi-cross- cut partitions (Q1190996)

The author considers the dimension of bivariate spline spaces of degree \(n\) and smoothness \(k<n\), \(S^ k_ n(\Omega,\Delta)=\{s: s\in C^ k(\Omega), s|_{\Omega_ i}\in\mathbb{P}_ n, \forall\Omega_ i\in\Delta\}\), where \(\mathbb{P}_ n\) is the \((n+1)(n+2)/2\) dimensional linear space of polynomials of total degree \(n\), and \(\Delta=\{\Omega_ i: i=1,\dots,\omega\}\) is a rectilinear partition of \(\Omega\), i.e., for each \(i\), \(\partial\Omega_ i\) is homeomorphic to a circle and \(\partial\Omega_ i\cap\mathring\Omega\) is a piecewise linear curve. Given a rectilinear partition \(\Delta\) of \(\Omega\), let \(P_ i=(x_ i,y_ i)\), \(i=1,\dots,V\), be the vertices of \(\Delta\) and \(P_ i\), \(i=1,\dots,v<V\), the interior vertices. For \(i=1,\dots,v\), let \(E\)=number of edges of \(\Delta\); \(E_ d\)= number of edges joining two interior vertices; \(E_{cd}\)= number of edges joining two vertices, overlying a cross-cut or a ray; \(N^ i_ c\)= number of cross-cuts crossing \(P_ i\), \(F^ i\)= number of rays crossing \(P_ i\) and \(\eta_ i=N^ i_ c+F^ i\); \(\ell_{is}\)= oriented edge joining \(P_ i\) to \(P_ s\) and \(I^ d=\{(i,s)\in\mathbb{N}^ 2\), \(\max(\eta_ i,\eta_ s)\geq 2\), \(1\leq i<s\leq v: \ell_{is}\) does not overlie a cross-cut or a ray\}; \(\alpha=(n+1)(n+2)/2\), \(\beta=(n-k)(n-k+1)/2\) and \(\phi=(k+1)(k+2)/2\); \(e_ i\)= number of edges of \(\Delta\) emanating from \(P_ i\) with different slopes; and \(J_ i=\lceil(k+1)/(\eta_ i-I)\rceil\), if \(\eta_ i\geq 2\), \(J_ i=+\infty\) otherwise. Where \(\lceil x\rceil\) denotes the smallest integer or equal to \(x\). The author mainly proves that if \(\Delta\) is a rectilinear partition of a simply connected domain \(\Omega\subset\mathbb{R}^ 2\), then \[ \dim S^ k_ n(\Omega,\Delta)\leq\alpha+\beta(E+E_ d-E_{cd}-\gamma-\sum_{(i,S)\in I^ d} n_{is}, \] where \(\gamma=\sum^{n-k}_{j=1}\sum^ v_{i=1}\min(k+1+j, je_ i)\) and \[ n_{is}=\begin{cases} \beta-{1\over 2}(J_ i+J_ s-n+k-1)\cdot\max(0,J_ i+J_ s-n+k-2),\quad \text{if } J_ i, J_ s\leq n-k\\ \beta-{1\over 2}(\theta-1)\theta,\quad\text{if }\theta=\min(J_ i,J_ s)\leq n-k, \max(J_ i,J_ s)>n-k\\ 0,\quad\text{if }J_ i, J_ s>n-k.\end{cases} \] In addition, if \(\eta=\min\{\eta_ i: i=1,\dots,v\}\geq 2\) and \(n\geq k- 2+2\lceil(k+1)/(\eta-1)\rceil\) also, then \(\dim S^ k_ n(\Omega,\Delta)=\alpha+\beta E-\gamma\).