实轮换对称型及其半正定性判定的可读证明

可读证明是不等式机器证明领域中的热点问题.针对具有对称零点的实轮换对称型,文章提出了其线性空间的一组基以及分拆算法和两种分拆形式用于对不等式进行可读证明研究.讨论了该线性空间的维数,以及轮换对称型半正定性的判别方法.给出了一类具有对称零点的轮换对称型的半正定性判定条件.大量实例表明此分拆方式在轮换对称型半正定性的判定及可读证明上具有很好的实用性.     

关于全纯映照模的Schwarz引理一点注记

记DC为单位圆盘,B~k C~k为开欧氏单位球,Ω是C~k(或C)中的域.记H_n(D,Ω)为满足一定条件的全纯映照族(或函数族)的全体.作者证明了若,∈Hn(D,D),则|f′(z)|≤(n|z|~(n-1))/(1-|z|~(2n))(1-|f|(z|~2),z∈DD同时,对Hn(D,B~k)中映照的模也得到类似的结果.该结论推广了Pavlovic的相应结果.     

广义最速下降逼近拟增生算子的零点

证明了广义最速下降逼近强收敛于定义在一致光滑实Banach空间的真子集上的有界拟增生算子的零点的一充要条件,几个相关的结果处理含-强拟增生算子方程解或拟伪压缩映射不动点的强收敛性．所得的这些结果推广和统一了许多前人的近期相应结果．     

"精确到"与"精确度"

新教材引入了二分法求函数的近似值,这就涉及到近似计算中的两个概念:"精确到"与"精确度".教材上用的是精确度,一般如精确度为0.1,是指函数f(x)在区间[a,b]上,有f(a)·f(b)<0,则在(a,b)上存在零点,如∣a-b∣<0.1,在区间上任取一点,包括两个端点,其精确度即为0.1.而"精确到",以精确到0.1为例,即我们平常所说的精确到小数点后一位,是指与精确值的误差不超过±0.05.     

EXACT EVALUATIONS OF FINITE TRIGONOMETRIC SUMS BY SAMPLING THEOREMS

We use the sampling representations associated with Sturm-Liouville difference operators to derive generalized integral-valued trigonometric sums. This extends the known results where zeros of Chebyshev polynomials of the first kind are involved to the use of the eigenvalues of difference operators, which leads to new identities. In these identities Bernoulli’s numbers play a role similar to that of Euler’s in the old ones. Our technique differs from that of Byrne-Smith (1997) and Berndt-Yeap (2002).     

速解一类双零点求参数范围问题

<正>一、问题的提出函数是高中数学的重要组成部分,零点作为函数的基本要素之一,与函数、方程、函数的图象等知识点联系紧密,所以函数的零点和导数相结合的综合性问题一直是高考的热点之一,与函数零点个数有关的试题更是层出不穷.下面的试题是2013年高考江苏卷第20题的改编题,我们先来考虑这道经典的双零点求参数范围问题.     

涉及导函数与分担函数的全纯函数正规定则

针对一类零点个数为有限的全纯函数族,在函数与其导函数分担一个极点均为重级的亚纯函数的条件下,利用Nevanlinna理论及其方法改进了已有文献在分担值条件下得到的一个定理.     

“顺藤摸瓜”解决复合函数多个零点求参数取值范围问题

有一类题目是给出复合函数的零点个数,求其中参数的取值范围,本文对这类题目的三种常见题型:与函数自身复合、与二次函数复合、与其它函数复合,通过“顺藤摸瓜”程序化求解,总结解题策略和步骤.     

关于f(f~(k)~n-a(z)的零点

本文讨论了杨重骏和杨乐等提出的一个猜想：设ｆ是一超越整函数，ｎ，ｋ是两个正整数，则当ｎ２时，ｆ（ｆ（ｋ）ｎ取任何非零有限值无穷多次，并证明了这个猜测，而且证明了，当ｆ是亚纯函数时的情形也成立，即有，设ｆ是超越亚纯函数，ｎ，ｋ是两个正整数，则当ｎ２时，ｆ（ｆ（ｋ）ｎ－ａ（ｚ）有无穷多个零点，其中ａ（ｚ）是ｆ的一个小函数