Local modification of Pythagorean-hodograph quintic spline curves using the B-spline form

The problems of determining the B–spline form of a C ² Pythagorean–hodograph (PH) quintic spline curve interpolating given points, and of using this form to make local modifications, are addressed. To achieve the correct order of continuity, a quintic B–spline basis constructed on a knot sequence in which each (interior) knot is of multiplicity 3 is required. C ² quintic bases on uniform triple knots are constructed for both open and closed C ² curves, and are used to derive simple explicit formulae for the B–spline control points of C ² PH quintic spline curves. These B-spline control points are verified, and generalized to the case of non–uniform knots, by applying a knot removal scheme to the Bézier control points of the individual PH quintic spline segments, associated with a set of six–fold knots. Based on the B–spline form, a scheme for the local modification of planar PH quintic splines, in response to a control point displacement, is proposed. Only two contiguous spline segments are modified, but to preserve the PH nature of the modified segments, the continuity between modified and unmodified segments must be relaxed from C ² to C ¹. A number of computed examples are presented, to compare the shape quality of PH quintic and “ordinary” cubic splines subject to control point modifications.     

Lebesgue Constants for Some Interpolating <Emphasis Type="Italic">L</Emphasis>-Splines

We find exact values for the uniform Lebesgue constants of interpolating L-splines that are bounded on the real axis, have equidistant knots, and correspond to the linear thirdorder differential operator L₃(D) = D(D₂ + α₂) with constant real coefficients, where α > 0. We compare the obtained result with the Lebesgue constants of other L-splines.     

The Gibbs phenomenon for general Franklin systems

The paper is devoted to the Gibbs phenomenon for series by general Franklin systems. The general Franklin system corresponding to a given dense sequence of points T = (t _n , n ≥ 0) in [0, 1] is a sequence of orthonormal piecewise linear functions with knots from T, that is, the nth function from the system has knots t ₀,..., t _n . The main result of this paper is that the Gibbs phenomenon for Fourier series by general Franklin systems occurs for almost all points of [0, 1].     

Form preservation under approximation by local exponential splines of an arbitrary order

We continue the study of the properties of local L-splines with uniform knots (such splines were constructed in the authors’ earlier papers) corresponding to a linear differential operator L of order r with constant coefficients and real pairwise different roots of the characteristic polynomial. Sufficient conditions (which are also necessary) are established under which an L-spline locally inherits the property of the generalized k-monotonicity (k ≤ r ? 1) of the input data, which are the values of the approximated function at the nodes of a uniform grid shifted with respect to the grid of knots of the L-spline. The parameters of an L-spline that is exact on the kernel of the operator L are written explicitly.     

Topology of Maximally Writhed Real Algebraic Knots

Oleg Viro introduced an invariant of rigid isotopy for real algebraic knots in ??³ which can be viewed as a first order Vassiliev invariant. In this paper we look at real algebraic knots of degree d with the maximal possible value of this invariant. We show that for a given d all such knots are topologically isotopic and explicitly identify their knot type.     

Local exponential splines with arbitrary knots

We construct local L-splines that have an arbitrary arrangement of knots and preserve the kernel of a linear differential operator L of order r with constant coefficients and real pairwise distinct roots of the characteristic polynomial.     

Localization of the eigenvalues of a pencil of positive definite matrices

Let A and B be real square positive definite matrices close to each other. A domain S on the complex plane that contains all the eigenvalues λ of the problem Az = λBz is constructed analytically. The boundary ?S of S is a curve known as the limacon of Pascal. Using the standard conformal mapping of the exterior of this curve (or of the exterior of an enveloping circular lune) onto the exterior of the unit disc, new analytical bounds are obtained for the convergence rate of the minimal residual method (GMRES) as applied to solving the linear system Ax = b with the preconditioner B.     

On Schur Superfunctors

We introduce super-analogues of the Schur functors defined by Akin, Buchsbaum and Weyman. These Schur superfunctors may be viewed as characteristic-free analogues of finite dimensional irreducible polynomial representations of the Lie superalgebra ????(m|n) studied by Berele and Regev. Our construction realizes Schur superfunctors as objects of a certain category of strict polynomial superfunctors. We show that Schur superfunctors are indecomposable objects of this category. In characteristic zero, these correspond to the set of all simple supermodules for the Schur superalgebra, S(m|n, d), for any m, n, d ? 0. We also provide decompositions of Schur bisuperfunctors in terms of tensor products of skew Schur superfunctors.     

Diffeomorphic vs Isotopic Links in Lens Spaces

Links in lens spaces may be defined to be equivalent by ambient isotopy or by diffeomorphism of pairs. In the first case, for all the combinatorial representations of links, there is a set of Reidemeister-type moves on diagrams connecting isotopy equivalent links. In this paper, we provide a set of moves on disk, band and grid diagrams that connects diffeo-equivalent links: there are up to four isotopy equivalent links in each diffeo-equivalence class. Moreover, we investigate how the diffeo-equivalence relates to the lift of the link in the 3-sphere: in the particular case of oriented primitive-homologous knots, the lift completely determines the knot class in L(p, q) up to diffeo-equivalence, and thus only four possible knots up to isotopy equivalence can have the same lift.     

Universal inequalities in Ehrhart theory

In this paper, we show the existence of universal inequalities for the h*-vector of a lattice polytope P, that is, we show that there are relations among the coefficients of the h*-polynomial that are independent of both the dimension and the degree of P. More precisely, we prove that the coefficients h* ₁ and h* ₂ of the h*-vector (h* ₀, h* ₁,..., h* _d) of a lattice polytope of any degree satisfy Scott’s inequality if h* ₃ = 0.     

On the existence of $$\kappa $$-existentially closed groups

Using explicit constructions of the Weierstrass mock modular form and Eisenstein series coefficients, we obtain closed formulas for the generating functions of values of shifted convolution L-functions associated to certain elliptic curves. These identities provide a surprising relation between weight 2 newforms and shifted convolution L-values when the underlying elliptic curve has modular degree 1 with conductor N such that \(\text {genus}(X_0(N)) = 1\).     

Boundary value problems for a higher-order parabolic equation with growing coefficients

We establish the unique solvability of boundary value problems in Hölder function classes for a linear parabolic equation of order 2m in noncylindrical domains of the class C ^{2m ? 1,α} , possibly unbounded (with respect to x as well as t), with nonsmooth (with respect to t) lateral boundary under the condition that the lower-order coefficients and the right-hand side of the equation can grow in a certain way when approaching the parabolic boundary of the domain and the leading coefficients may fail to satisfy the Dini condition near this boundary.     

A new estimate for the vertex number of an edge-regular graph

Given a connected edge-regular graph Γ with parameters (v, k, λ) and b ₁ = k ? λ ? 1, we prove that in the case k ≥ 3b ₁ ?2 either |Γ₂(u)|(k?2b ₁ + 2) < kb ₁ for every vertex u or Γ is a polygon, the edge graph of a trivalent graph without triangles that has diameter greater than 2, the icosahedral graph, the complete multipartite graph K _r×2, the 3 × 3-grid, the triangular graph T(m) with m ≤ 7, the Clebsch graph, or the Schläfli graph.     

A class of spline curves with four local shape parameters

A class of spline curves with four local shape parameters, which includes the quartic spline curves with three local shape parameters given in Han [Xuli Han. A class of general quartic spline curves with shape parameters. Comput. Aided Geom. Design, 28: 151–163 (2011)], is proposed. Without solving a linear system, the spline curves can be used to interpolate sets of points with C² continuity partly or entirely. The shape parameters have a predictable adjusting role on the spline curves.     

Semipositivity of generic ordinary fibration over a curve

Let f : X → B be a generic ordinary proper fibration over a complete curve in positive characteristics, we prove that the dual of higher direct image sheaf R~1 f_*O_X is nef. As a corollary, we show that f_*ω_(S/B) is nef, if f : S → B is a fibration from a surface to a curve with generic ordinary fibres.     

On curves on K3 surfaces,II

We study the Clifford index c of a smooth irreducible curve X in the linear series |2H| on a special K3 surface S of degree 2n in \({{\mathbb P}}^{n+1}\), with hyperplane section H, and we look for the complete and base point free linear series of S whose restrictions to X compute c. In a more general context, we discuss the features of such series, for an assigned curve on a K3 surface; this discussion is of some independent interest.     

The convolution method for fourier expansions. The case of generalized transmission conditions of crack (screen) type in piecewise inhomogeneous media

We consider boundary value problems for the equation ? _x (K ? _x ?) + KL[?] = 0 in the space R ⁿ with generalized transmission conditions of the type of a strongly permeable crack or a weakly permeable screen on the surface x = 0. (Here L is an arbitrary linear differential operator with respect to the variables y ₁, …, y _n?1.) The coefficients K(x) > 0 are monotone functions of certain classes in the regions separated by the screen x = 0. The desired solution has arbitrary given singular points and satisfies a sufficiently weak condition at infinity.We derive formulas expressing the solutions of the above-mentioned problems in the form of simple quadratures via the solutions of the considered equation with a constant coefficient K for given singular points in the absence of a crack or a screen. In particular, the obtained formulas permit one to solve boundary value problems with generalized transmission conditions for equations with functional piecewise continuous coefficients in the framework of the theory of harmonic functions.     

Viability property of jump diffusion processes on manifolds

In this note, we give a necessary and sufficient condition for viability property of diffusion processes with jumps on closed submanifolds of R ^m . Our result is the system is viable in a closed submanifold K iff the coefficients are tangent to K along K if the equation is in the sense of stratonovich integral and the solution jumps from K to K.     

Are there <Emphasis Type="Italic">p</Emphasis>-adic knot invariants?

We suggest using the Hall–Littlewood version of the Rosso–Jones formula to define the germs of p-adic HOMFLY-PT polynomials for torus knots [m, n] as coefficients of superpolynomials in a q-expansion. In this form, they have at least the [m, n] ? [n, m] topological invariance. This opens a new possibility to interpret superpolynomials as p-adic deformations of HOMFLY polynomials and poses a question of generalizing to other knot families, which is a substantial problem for several branches of modern theory.     

On the summability of spectral expansions of piecewise smooth functions

For piecewise smooth functions of n variables, we prove the uniform Riesz summability of order s > (n ? 3)/2 of their spectral expansions associated with an arbitrary elliptic operator with constant coefficients. For s = (n ? 3)/2, the corresponding Riesz means are bounded.