The generic dimensions of the space of smooth splines of degree 7 on tetrahedral partitions (Q1019161): Difference between revisions

Let \(\Delta\) be a simplicial complex in \(\mathbb R^n\) and denote \(\Omega=\bigcup\{\sigma\); \(\sigma\in\Delta\}\) the domain covered by \(\Delta\). Assume that \(\Omega\) is connected but allow that \(\Omega\) contains polyhedral holes. For given integers \(0\leq r\leq d\), define \(S^r_d(\Delta)= \{s\in C^r(\Omega\)); \(s|_\sigma\in P_d\) for any \(\sigma\in \text{Face}_n(\Delta)\}\) to be the spline space of degree \(d\) and smoothness \(r\), where \(P_d\) denotes the \(n\)-variable polynomial space of total degree not exceeding \(d\). In the recent years great progresses were made in determining the dimension of the spline spaces \(S^r_d(\Delta)\), for different choices of the integers \(n\), \(d\), or \(r\). \textit{P. Alfeld, L. L. Schumaker} and \textit{W. Whiteley} [SIAM J. Numer. Anal. 30, No.~3, 889--920 (1993; Zbl 0774.41012)] computed the generic dimension of the space \(S_d^1(\Delta)\) for \(d\geq 8\) and \(n=3\) and introduced the following definition: the simplicial complex \(\Delta\) is called generic, provided that \(\dim S^r_d(\Delta)= \dim S^r_d(\widetilde{\Delta})\), for all simplicial complex \(\widetilde{\Delta}\) obtained from \(\Delta\) by a sufficiently small perturbation of the locations of the vertices of \(\Delta\). In the present paper there is determined the generic dimension of the space \(S_7^1(\Delta)\), for \(n=3\), namely \[ \dim S_7^1(\Delta)=8|V_b|+12|V_I|+12|E_b|+6|E_I|+4(|F_b|+|F_I|), \] where \(|A|\) denotes the number of elements of a set \(A\), and \(V_b\), \(V_I\), \(E_b\), \(E_I\), \(F_b\) and \(F_I\) are the sets of boundary vertices, of inner vertices, of boundary edges, of inner edges, of boundary triangular faces and of inner triangular faces, respectively.