On maximally oscillating perfect splines and some of their extremal properties (Q2220986): Difference between revisions

Let \(I=(a,b)\), where \(a\) \(\in\) \(\mathbb{R}\) and \(b\) denotes either a real number or \(+\infty\). Let a positive function \(g\in C(I)\) be given. The function \(G\in C^{r-1}(I)\) is called a perfect \(g\)-spline of order \(r\) with \(n\in\mathbb{N}\) \ knots \(a<t_{1}<\cdots<t_{n}<b\), if on each of the intervals \((t_{i},t_{i+1})\), \(i=0,1,\dots,n\) (where \(t_{0}=a\), and \(t_{n+1}=b)\), there exists the derivative \(G^{(r)}\) and \(G^{(r)}(t)/g(t)\equiv\varepsilon \cdot(-1)^{i}\) (where \(\varepsilon\in\{-1,1\})\) on each of the intervals \((t_{i},t_{i+1})\). In Section 2, the existence of maximally oscillating perfect \(g\)-splines is proved on the finite segments and the half-line. In Section 3, one studies the non-symmetrical weighted norms of the maximally oscillating \(g\)-splines. These splines are least deviating from zero in non-symmetric weighted norm among the \(g\)-splines of order \(r\) with not more than \(n\) knots. The main result (Theorem 4) gives a characterization of the modulus of continuity of a \(k\)th order differentiation operator on the Sobolev class \(W_{f_{-},f_{+},g}^{r}(I).\)