算子逼近中构造性证实的一些新思想.pdf

中文摘要 函数逼近论开始于19世纪，在20世纪得以蓬勃发展，且将其研究目标明 确为用简单的可计算函数对一般函数的逼近，进而考虑逼近的程度及如何刻 画被逼近函数本身的特性．由此，逼近论展示了其越来越强的构造性． 构造的思想及由此产生的一些技巧在数学中显得十分重要．比如在函数 逼近论中，许多算子的巧妙构造使其对于某函数类的逼近具有极优的收敛速 度；插值算子结点组的不同构造使得算子的逼近度有着很大的不同。等等． 本文将一些新的想法运用于算子逼近的一些构造性证明中，并获得线性 或非线性算子收敛性的证明或收敛阶的估计．如构造有理函数插值结点时， 将结点在奇点处的稠密性与有理插值算子对函数的逼近度相结合；又如采用 相应于指数类权的正交多项式的零点为结点，将算子的收敛范围拓展到无穷 区间等． 我们先给出本文一些常用的符号表示．设定义于有限或无穷区间j上的 实连续函数空间为研，对于给定的函数f∈研，记其最大模范数为 Ilfllc,2If(x)l， marc 同时记其连续模为 u(，，^)研2跚忡+‘)一m)I． 又设定义于区间【o，6】上的P次可积函数空间为工己．M，1茎p00，对于给定的 函数，∈Lio，w，记其妒模范数为 Ⅳ忆b=m㈤№)l／P’ 并I司时记其连续模为 蚶川2叫2。勰{上|，(卅铲佑)|pdq· 蚶川k。=。器∥|，(川)-，∽|pdz)l，p- 在区闻为lo，1】情形下简记上述范数与连续模为 2 Ilfllct。．-】2 II／IIL，· Ilfllc，Ilfllqo．。1 u(，，_h)q¨l=u(，’^)c，埘(，’^)％’ll=∞(，t^)口· 我们用G表示绝对正常数，用G表示与s有关的绝对正常数，在不同情形它 们可能代表不同的值，而A—B意味着，存在绝对常数G0，使得 C一1BACB． 本文共分五章t第一章为…的有理插值的收敛阶估计；第二章考虑护空间 正系数多项式有理逼近的特殊情形一倒数逼近；第三章考虑了修正的Bernstein 算子在全实轴上的收敛性；第五章考虑了基于如上零点的Hermite算子在实轴 上的收敛性． 第一章 IXI的有理插值的收敛阶估计 我们知道，n次多项式对Ⅲ的最佳一致逼近可达到精确阶o(n“)．1964 年，D．J．Newman【23]发现在他所构造的特殊结点处插值于…的有理函数对 …的最佳逼近远优于其多项式最佳逼近，它几乎可以指数速度一致逼近阱 在不同类型结点处的Newman型插值．这几组不同的结点及获得的相应结论 促使我们考虑：为什么在多项式逼近中性质较好的结点在有理逼近中的表现 却并不佳?为什么有时压缩后的结点能达到较好的阶?在有理逼近中究竟怎 样的结点是合适的? 在本章中我们构造了一个结点组，基于它定义的有理插值函数对于任意 给定的自然数≈，对…的逼近能达到精确阶o(1t(nklogn))．就其阶而言，显 然要弱于Newman的结论，但重要的是这样的构造揭示了一个本质：当结点 2 向零点越来越稠密时(注意零点是H的唯一奇异点)，吲的有理插值逼近阶 也随之更佳． 以下我们给出本章主要结果，首先将构造一类特殊结点给出结论． 假设n为一奇数，不妨记为n=2m～1，置 。1≈1／m2，z2=2／m2，--．，zm—l=(tyI一1)／m2 当n为偶数时，记n=2m，置 贝Ⅱ关于结点x=扛^}kl的有理函数rn∽；岔)定义为 啦，垆z揣． (01) znS 其中X={o茁l$2··1)，p(x)=nkl扛+。t)，注意到它在点 (-xn，一zn—l，···，一zl，0，士l，···