اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدHomological techniques for the analysis of the dimension of triangular spline spaces
57
0
0.0
(
0
)
تأليف
Bernard Mourrain
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
The spline space $C_k^r(Delta)$ attached to a subdivided domain $Delta$ of $R^{d} $ is the vector space of functions of class $C^{r}$ which are polynomials of degree $le k$ on each piece of this subdivision. Classical splines on planar rectangular grids play an important role in Computer Aided Geometric Design, and spline spaces over arbitrary subdivisions of planar domains are now considered for isogeometric analysis applications. We address the problem of determining the dimension of the space of bivariate splines $C_k^r(Delta)$ for a triangulated region $Delta$ in the plane. Using the homological introduced by Billera (1988), we number the vertices and establish a formula for an upper bound on the dimension. There is no restriction on the ordering and we obtain more accurate approximations to the dimension than previous methods and furthermore, in certain cases even an exact value can be found. The construction makes also possible to get a short proof for the dimension formula when $kge 4r+1$, and the same method we use in this proof yields the dimension straightaway for many other cases.
قيم البحث
اقرأ أيضاً
Polynomial splines are ubiquitous in the fields of computer aided geometric design and computational analysis. Splines on T-meshes, especially, have the potential to be incredibly versatile since local mesh adaptivity enables efficient modeling and a
pproximation of local features. Meaningful use of such splines for modeling and approximation requires the construction of a suitable spanning set of linearly independent splines, and a theoretical understanding of the spline space dimension can be a useful tool when assessing possible approaches for building such splines. Here, we provide such a tool. Focusing on T-meshes, we study the dimension of the space of bivariate polynomial splines, and we discuss the general setting where local mesh adaptivity is combined with local polynomial degree adaptivity. The latter allows for the flexibility of choosing non-uniform bi-degrees for the splines, i.e., different bi-degrees on different faces of the T-mesh. In particular, approaching the problem using tools from homo-logical algebra, we generalize the framework and the discourse presented by Mourrain (2014) for uniform bi-degree splines. We derive combinatorial lower and upper bounds on the spline space dimension and subsequently outline sufficient conditions for the bounds to coincide.
Diffeological spaces are natural generalizations of smooth manifolds, introduced by J.M.~Souriau and his mathematical group in the 1980s. Diffeological vector spaces (especially fine diffeological vector spaces) were first used by P. Iglesias-Zemmour
to model some infinite dimensional spaces in~cite{I1,I2}. K.~Costello and O.~Gwilliam developed homological algebra for differentiable diffeological vector spaces in Appendix A of their book~cite{CG}. In this paper, we present homological algebra of general diffeological vector spaces via the projective objects with respect to all linear subductions, together with some applications in analysis.
A standard construction in approximation theory is mesh refinement. For a simplicial or polyhedral mesh D in R^k, we study the subdivision D obtained by subdividing a maximal cell of D. We give sufficient conditions for the module of splines on D to
split as the direct sum of splines on D and splines on the subdivided cell. As a consequence, we obtain dimension formulas and explicit bases for several commonly used subdivisions and their multivariate generalizations.
Let $ Y subseteq Bbb P^N $ be a possibly singular projective variety, defined over the field of complex numbers. Let $X$ be the intersection of $Y$ with $h$ general hypersurfaces of sufficiently large degrees. Let $d>0$ be an integer, and assume that
$dim Y=n+h$ and $ dim Y_{sing} le min{ d+h-1 , n-1 } $. Let $Z$ be an algebraic cycle on $Y$ of dimension $d+h$, whose homology class in $H_{2(d+h)}(Y; Bbb Q)$ is non-zero. In the present paper we prove that the restriction of $Z$ to $X$ is not algebraically equivalent to zero. This is a generalization to the singular case of a result due to Nori in the case $Y$ is smooth. As an application we provide explicit examples of singular varieties for which homological equivalence is different from the algebraic one.
For a planar simplicial complex Delta contained in R^2, Schumaker proved that a lower bound on the dimension of the space C^r_k(Delta) of planar splines of smoothness r and polynomial degree at most k on Delta is given by a polynomial P_Delta(r,k), a
nd Alfeld-Schumaker showed this polynomial gives the correct dimension when k >= 4r+1. Examples due to Morgan-Scott, Tohaneanu, and Yuan show that the equality dim C^r_k(Delta) = P_Delta(r,k) can fail when k = 2r or 2r+1. We prove that the equality dim C^r_k(Delta)= P_Delta(r,k) cannot hold in general for k <= (22r+7)/10.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
