Searcharxiv⌕ Search

arXiv · 2610.24425

A note on the rectangular Schoenberg-Whitney theorem for clamped B-splines

Abstract

Wang et al.(Computer-Aided Design 40 (2008) 999-1008) proposed a knot-subsequence characterization of full row rank for rectangular B-spline collocation matrices. We identify an incorrect inequality in their Appendix proof, which invalidates the argument as written, and make explicit the endpoint and multiplicity conventions on which the criterion depends. The defect lies in the proof, not in the underlying result, which is valid under suitably stated hypotheses; in the lofting construction of Wang et al. these hypotheses are implicitly satisfied, so the lofted curves are unaffected. We state the corrected result and give a new proof, independent of the disputed argument, for clamped B-splines of arbitrary degree with continuous interior multiplicities. In our proof, sufficiency follows from inclusion of spline spaces and knot insertion; necessity selects independent columns and builds the reduced knot vector from them. The proof uses no recursive column-selection construction.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shutao Tang, Zixuan Zhao. 2026-10-17. A note on the rectangular Schoenberg-Whitney theorem for clamped B-splines. https://arxiv.org/abs/2610.24425

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

DDFEM: A Python Package for Diffuse Domain Methods

Solving partial differential equations (PDEs) on complex domains can present significant computational challenges. The Diffuse Domain Method (DDM) is an alternative that reformulates the partial differential equations on a larger, simpler domain. The original geometry is embedded into the problem by representing it with a phase-field function. This paper introduces DDFEM, an extensible Python package to provide a framework for transforming PDEs into a Diffuse Domain formulation. We aim to make the application of a variety of different Diffuse Domain approaches more accessible and straightforward to use. The DDFEM package includes features to intuitively define complex domains by combining signed distance functions and provides a number of Diffuse Domain transformers for general second-order evolution equations. In addition, we present a new approach for combining multiple boundary conditions of different types on distinct boundary segments. This is achieved by applying a normalised weighting, derived from the component signed distance functions, to combine the additional boundary terms in the Diffuse Domain formulations without requiring additional phase fields. The domain definition and Diffuse Domain transformation provided by our package are designed to be compatible with a wide range of existing finite element solvers without requiring code alterations. Both the original (non-linear) PDEs provided by the user and the resulting transformed PDEs on the extended domain are defined using the Unified Form Language (UFL). Here we focus on the software implementation and demonstrate its effectiveness across a range of problems.

math.NA↗

Diffuse Domain Methods with Dirichlet Boundary Conditions

The solution of partial differential equations (PDEs) on complex domains often presents a significant computational challenge by requiring the generation of fitted meshes. The Diffuse Domain Method (DDM) is an alternative which reformulates the problem on a larger, simple domain where the complex geometry is represented by a smooth phase-field function.This paper introduces and analyses several new DDM methods for solving problems with Dirichlet boundary conditions. We derive two new methods from the mixed formulation of the governing equations. This approach transforms the essential Dirichlet conditions into natural boundary conditions. Additionally, we develop coercive formulations based on Nitsche's method. We provide proofs of coercivity for all new methods and also for some approximations found in the literature for a wide range of linear advection-diffusion problems.Numerical experiments demonstrate the improved accuracy of the new methods, and reveal the balance between $L^2$ and $H^1$ errors. The practical effectiveness of this approach is demonstrated through the simulation of the incompressible Navier-Stokes equations on two fluid dynamics benchmark problems.

math.NA↗

A second-order energy-stable sequential regularization scheme for the Navier-Stokes equations

In this paper, we construct a second-order decoupled scheme for the Navier-Stokes equations based on the idea of the auxiliary variable and the sequential regularization method (SRM). The proposed scheme enjoys unconditional energy stability, which is generally unavailable for the existing SRM, while preserving its key advantage of avoiding artificial pressure boundary conditions and maintaining the original velocity boundary conditions. We establish a viscosity-independent low-order stability estimate and a higher-order stability estimate for the proposed scheme. Furthermore, we derive global-in-time second-order error estimates in two dimensions and corresponding local-in-time estimates in three dimensions, without imposing any time-step restrictions. A series of numerical experiments confirm the convergence and stability, and demonstrate improved accuracy and incompressibility control compared with the projection method and the conventional SRM. In particular, both high-Reynolds-number and three-dimensional numerical simulations further demonstrate the robustness and reliability of the proposed method for complex incompressible flows.

math.NA↗