Module LRSplines2D

LR-mesh

Box. Given an integer $d\geq 1$, a box in $\mathbb{R}^d$ is a Cartesian product $\beta = J_1 \times \cdots \times J_d \subset \mathbb{R}^d$, where each $J_k = [a_k, b_k]$ with $a_k\leq b_k$ is a closed finite interval in $\mathbb{R}$. We write $\dim \beta$ for the dimension of $\beta$, defined as the number of intervals $J_k$ for which $a_k\neq b_k$. We call $\beta$ an $\ell$-box if $\dim \beta = \ell$.

If $\dim \beta = d$ then $\beta$ is called an element, while if $\dim \beta = d-1$, then there exists exactly one $k$ such that $J_k$ has a single element, i.e., the box has zero thickness in the $k$-th direction. In this case $\beta$ is called a mesh-rectangle or a $k$-mesh-rectangle.

Mesh. Let $\Omega \subset \mathbb{R}^d$ be a $d$-box in $\mathbb{R}^d$. A box partition $\mathcal{E} = \{\beta_1, \ldots, \beta_n\}$ of $\Omega$ is a finite collection of $d$-boxes in $\mathbb{R}^d$ such that $\beta_1\cup \cdots\cup \beta_n = \Omega$ and $\mathring{\beta}i \cap \mathring{\beta}j = \emptyset$ whenever $i\neq j$. A special case is the tensor-mesh $\mathcal{E} = \{[a{1,i_1},a{1,i_1+1}]\times\cdots\times[a_{d,i_d},a_{d,i_d+1}] : 1\leq i_k\leq n_k - 1, k = 1,\ldots, d\}$

In order to consider splines on the domain $\Omega$ with different orders of continuity across different mesh-rectangles, it is natural to assign to each mesh-rectangle a multiplicity, encoded as a function $\mu: \mathcal{M}\longrightarrow \mathbb{N}$. The corresponding pair $(\mathcal{M}, \mu)$ is called a $\mu$-extended box-mesh.

• A $k$-constant split is a union $\gamma = \bigcup_i \gamma_i$ of $k$-meshrectangles $\gamma_i$ ...
• A ($\mu$-extended) LR-mesh is a $\mu$-extended box-mesh $(\mathcal{M}, \mu)$, recursively defined as either
  • $(\mathcal{M}, \mu)$ is a $\mu$-extended tensor-mesh, or
  • $(\mathcal{M}, \mu) = (\overline{\mathcal{M}} \cup \gamma, \overline{\mu})$, where $(\overline{\mathcal{M}}, \overline{\mu})$ is a $\mu$-extended LR-mesh and $\gamma$ is a constant split of $(\overline{\mathcal{M}}, \overline{\mu})$.

Sources

• T. Dokken, T. Lyche, K.F. Pettersen. Polynomial splines over locally refined box-partitions, Computer Aided Geometric Design, Volume 30, Issue 3, March 2013, Pages 331--356