Cramer法则在数值计算中的若干应用

用Cramer法则给出了Lagrange插值公式和Newton插值公式的简洁证明,同时得到了Vandermonde矩阵的逆矩阵的LU分解.     

关于差商和Newton插值公式教学的一些体会

针对讲授Newton插值多项式之前,如何自然地引入差商概念,介绍了一些心得体会;同时对Newton插值公式给出了一种简便、学生易于理解的证明方法.     

Stieltjes-Newton型有理插值

Stieltjes型分叉连分式在有理插值问题中有着重要的地位，它通过定义反差商和混合反差商构造给定结点上的二元有理函数，我们将Stieltjes型分叉连分式与二元多项式结合起来，构造Stieltje- Newton型有理插值函数，通过定义差商和混合反差商，建立递推算法，构造的Stieltjes-Newton型有理插值函数满足有理插值问题中所给的插值条件，并给出了插值的特征定理及其证明，最后给出的数值例子，验证了所给算法的有效性．     

An interpolation theorem for Hilbert spaces with Nevanlinna-Pick kernel

We prove an interpolation theorem for Hilbert spaces of analytic functions that have the Nevanlinna-Pick property. This result applies to Dirichlet and Dirichlet-type spaces, and in particular a short proof of the theorem by Marshall-Sundberg on interpolating sequences is obtained.

     

有理插值(m/n)_f方程组的性质与作用

1引言 记Pn为次数不超过n的一元多项式函数类,约定零多项式的次数为-∞,即deg(0)=一∞;记Rm,n为分子属于Pm,分母属于Pn＼{0}的一元有理函数类.在[1-5]的基础上,文[6]引进了有理插值问题的(m-n)f方程组,其为经典(m/n)f方程组的一种等价变换.由于变换之后,使得参数之间地位相同,并且在个数上也与空间自由度一致,因此成为分析有理插值的一个有力工具.文[7]利用(m-n)f方程组,讨论了有理插值的基本特征,给出并证明了关于基本特征的基本关系定理.文[8]则在此基础上解决了有理插值的适定性问题.     

Adaptive rational splines

The classical interpolation problems for cubic and rational splines are merged to get an “adaptive” rational interpolating spline which automatically uses cubic pieces to model unavoidable inflection points and retain convexity/concavity elsewhere. An existence proof, a numerical method, and a series of examples are presented. Furthermore, the two-dimensional case is discussed.     

Thin interpolating sequences in the disk

Using a kind of summability procedure we give, within this survey, a new proof of a result by Sundberg and Wolff on large perturbations of thin interpolating sequences and present a detailed proof of the statement of Dyakonov and Nicolau that asymptotic interpolation problems in H^∞ can be solved by thin Blaschke products. Dedicated to Professor Heinz K?nig on the occasion of his 80^th birthday     

Linear equations and interpolation in Boolean algebra

The authors generalize the classical interpolation formula for Boolean functions of n variables. A characterization of all interpolating systems with 2ⁿ elements is obtained. The methods of proof used are intimately related to the solution of linear Boolean equations.     

Discrete Morse theory and the consecutive pattern poset

We use discrete Morse theory to provide another proof of Bernini, Ferrari, and Steingrímsson’s formula for the M?bius function of the consecutive pattern poset. In addition, we are able to determine the homotopy type of this poset. Earlier, Bj?rner determined the M?bius function and homotopy type of factor order and the results are remarkably similar to those in the pattern case. In his thesis, Willenbring used discrete Morse theory to give an illuminating proof of Bj?rner’s result. Since our proof parallels Willenbring’s, we also consider the relationship between the two posets. In particular, we show that some of their intervals are isomorphic, and also that there is a sequence of posets interpolating between the two all of whom have essentially the same M?bius function.     

Thin sequences and the Gram matrix

We provide a new proof of Volberg’s Theorem characterizing thin interpolating sequences as those for which the Gram matrix associated to the normalized reproducing kernels is a compact perturbation of the identity. In the same paper, Volberg characterized sequences for which the Gram matrix is a compact perturbation of a unitary as well as those for which the Gram matrix is a Schatten-2 class perturbation of a unitary operator. We extend this characterization from 2 to p, where 2 ≤ p ≤ ∞.     

Hierarchy paths in the Hatcher-Thurston complex

Inspired by works of Masur-Minsky and Mahan Mj, we observe that the Hatcher-Thurston complex of a surface F is an interpolating complex between the pants complex and the curve complex, then we give a hierarchical structure for the Hatcher-Thurston complex. By this hierarchical structure, we show a distance formula in the Hatcher-Thurston complex related to subsurfaces of positive genera. As a corollary, we show that the Hatcher-Thurston complex has one end for surface with genus at least three, the proof runs the same line as a result of Masur-Schleimer, the key tool is the distance formula.     

Interpolation by splines satisfying mixed boundary conditions

We consider interpolation of Hermite data by splines of degreen withk given knots, satisfying boundary conditions which may involve derivatives at both end points (e.g., a periodicity condition). It is shown that, for a certain class of boundary conditions, a necessary and sufficient condition for the existence of a unique solution is that the data points and knots interlace properly and that there does not exist a polynomial solution of degreen?k. The method of proof is to show that any spline interpolating zero data vanishes identically, rather than the usual determinantal approach.     

A weighted bivariate blending rational interpolation based on function values

This paper presents a new weighted bivariate blending rational spline interpolation based on function values. This spline interpolation has the following advantages: firstly, it can modify the shape of the interpolating surface by changing the parameters under the condition that the values of the interpolating nodes are fixed; secondly, the interpolating function is C¹-continuous for any positive parameters; thirdly, the interpolating function has a simple and explicit mathematical representation; fourthly, the interpolating function only depends on the values of the function being interpolated, so the computation is simple. In addition, this paper discusses some properties of the interpolating function, such as the bases of the interpolating function, the matrix representation, the bounded property, the error between the interpolating function and the function being interpolated.     

Natural neighbor coordinates of points on a surface

Natural neighbor coordinates and natural neighbor interpolation have been introduced by Sibson for interpolating multivariate scattered data. In this paper, we consider the case where the data points belong to a smooth surface , i.e., a (d−1)-manifold of . We show that the natural neighbor coordinates of a point X belonging to tends to behave as a local system of coordinates on the surface when the density of points increases. Our result does not assume any knowledge about the ordering, connectivity or topology of the data points or of the surface. An important ingredient in our proof is the fact that a subset of the vertices of the Voronoi diagram of the data points converges towards the medial axis of when the sampling density increases.     

Analysis and Construction of Multivariate Interpolating Refinable Function Vectors

In this paper, we shall introduce and study a family of multivariate interpolating refinable function vectors with some prescribed interpolation property. Such interpolating refinable function vectors are of interest in approximation theory, sampling theorems, and wavelet analysis. In this paper, we characterize a multivariate interpolating refinable function vector in terms of its mask and analyze the underlying sum rule structure of its generalized interpolatory matrix mask. We also discuss the symmetry property of multivariate interpolating refinable function vectors. Based on these results, we construct a family of univariate generalized interpolatory matrix masks with increasing orders of sum rules and with symmetry for interpolating refinable function vectors. Such a family includes several known important families of univariate refinable function vectors as special cases. Several examples of bivariate interpolating refinable function vectors with symmetry will also be presented.     

Optimal Estimation Rules for Functions of High Smoothness

Let I denote a linear functional defined on the space of 2-periodiccontinuous functions. It is an often used technique to approximateI[f] by I?intpol [f], where intpol [f] means a trigonometricinterpolation polynomial of f. The aim of this paper is tomakeclear that this technique is almost optimal for functions ofhigh smoothness. As a by-product we obtain a new proof of aresult of Schoenberg (1972) and v. Golitschek (1972) concerninglimits of interpolating spline functions.     

一种基于函数值的二元有理插值函数及其性质

利用带参数的仅以被插函数的函数值作为插值条件的一元有理插值方法,构造了一种分母为双二次的仪基于函数值的二元有理双三次插值函数,插值函数具有简洁的显示表示,插值函数中含有四个参数,当这些参数满足一定条件时,插值曲而在插值区域上C1光滑.由于插值函数中含有参数,这样可以在插值数据不变的情况下通过对参数的选择进行插值曲面的局部修改,最后讨论了插值函数的一些性质.     

W_2~m空间中样条插值算子与最佳逼近算子的一致性

由线性微分算子确定的样条是连接多项式样条与希氏空间中抽象算子样条的重要环节,对微分算子样条的研究,既可从更高的观点揭示和概括多项式样条,又可启示我们去发现抽象算子样条的一些新的理论和应用． Ｇｒｅｅｎ函数是研究微分算子样条的重要工具 ［１］,但在微分算子插值样条的计算及将样条用于数值分析中,再生核方法起着更重要的作用．文献［２］［３］给出了与二阶线性微分算子插值样条有关的再生核解析表达式;由此得到了二阶微分算子插值样条与空间Ｗ_２～１［ａ,ｂ］中最佳插值逼近算子的一致性;而且还利用再生核给出了Ｈｉ…     

On parametrization of interpolating curves

In parametric curve interpolation there is given a sequence of data points and corresponding parameter values (nodes), and we want to find a parametric curve that passes through data points at the associated parameter values. We consider those interpolating curves that are described by the combination of control points and blending functions. We study paths of control points and points of the interpolating curve obtained by the alteration of one node. We show geometric properties of quadratic Bézier interpolating curves with uniform and centripetal parameterizations. Finally, we propose geometric methods for the interactive modification and specification of nodes for interpolating Bézier curves.