非线性优化算法理论中一个极限的应用

1引 言 在非线性最优化算法理论中,求解优化问题 min f(x)一般采用迭代形式 x_(k+1)=x_k+λ_kd_k,k=0,1,…,其中λ_k为搜索步长,d_k为搜索方向,λ_k、d_k的适当选取能使算法具有全局收效性: lim inf‖g_k‖=0,其中g_k=f(x_k),{x_k}由算法产生。 步长λ_k的选取实质上是一个对一元函数f(x_k+λd_k)进行线搜索的过程。很多线搜索能保证函数充分递减,即 f(x_k)-f(x_k+λ_kd_k)≥σ(|g_k~Td_k|)/(‖d_k‖) , (1)     

关于二次插值样条误差的一个最佳估计

设△_n={i/n=xi}是区间[0,1]上的等距分划,h=1/n,s(x)是△_n上的二次周期样条,即s(x)∈C~1[0,1],在每一区间[x_i,x_i+1]上是二次多项式,并且s(0)=S(1),S＇(0)=S＇(1). 又设f(x)∈C[0,1],满足f(0)=f(1),据此可以认为f(x)是以1为周期的连续函数.记f_i=f(xi),fi-1/2=f(xi-n/2),则由条件 si-1/2=fi-1/2,i=1,2,…,n,     

关于线性正三角多项式算子CV_m~*逼近

设 M 为 N 函数(参考[1]).f(t)是定义在[α,b]上的实函数.若V_M(f)=(?)M(f(t_(i+1))-f(t_i))<∞,其中 D 取遍[a,b]的一切分划:a=t_00,使得 kf(t)     

关于Goodenough和Mills的一个定理

设f∈C[-1,1],ω(t)为给定的连续模,H_ω={f|ω(f,t)≤ω(t)},U_n(x)=sin(n+1)θ/sinθ(x=cosθ)是第二类Chebyshev多项式。以U_n(x)的零点x_k=cosθ_k==con(kπ)/(n+1)(k=1,2,…,n)为节点的拟Hermite-Fejer算子有如下的形式 最近,S.J.Goodenough和T.M.Mills发表了如下的定理:若f∈C[-1,1],     

离散系统的渐近稳定性

先讨论吋变离散系统 (1) x(τ+1)=f(τ,x(τ),τ=t_0+k,k=0,1,2,…,t_0≥0。其中f:[0,∞)×D→R~n,D是R~n中包含原点的开集,f(τ,0)≡0。对每个t_0≥0和每个x_0∈D,保证(1)有唯一的解x(τ)=x(τ,t_0,x_0),具有x(t_0,t_0,x_0)=x_0。对于连续的时变系统来说,只有Liapunov函数V(t,x)正定和它关于系统的导数V(t,x)负定性是不能保证零解的渐近稳定性的,通常附加V具有无穷小上界,或限定方程右端函数F(t,x)对有界的|x|有界,或限定V(t,x)→∞,当t→∞,x≠0时才能推出零解的渐近     

周期函数的和、差、积、商的周期性

§1.引言两个周期函数的和、差、积、商是否仍为周期函数?这是一个值得讨论的问题。对于两个具有同一周期t的函数f(x)和g(x),显然它们的和、差、积、商均为以t为周期的函数。这个条件等价于函数f(x)有一周期t_1与g(x)的某一周期t_2是可公度的,即t_1/t_2为有理数。事实上,若f(x)与g(x)有同一周期t,则t/t=1是有理数;反之,若f(x)的周期t_1与g(x)的周期t_2有t_1/t_2=m/n(m和n均为整数),则t=nt_1=mt_2便是它们的公共周期。自然要问:要使两个周期函数的和(或差、积、商)仍为周期函数,是否它们必须有可公度之周期? 关于连续函数,书[1]中指出了(但未证明)下面的结论: 连续周期函数f(x)和g(x)的和仍为周期函数的     

关于第二类Bernstein型插值过程

设f(x)∈c[-1,1],U_n(x)=sin(n+1)θ/sinθ(x=cosθ)为第二类多项式,x_k=cosθ_k=cos(kπ)/(n+1)(k=1,…,n)为其 n 个零点。又记 x_0=1,x_(n+1)=-1。文考虑了以{X_k}(k=0,1,…,n+1)为节点的第二类 Bernstein 型插值过程:     

基于第二类Chebyshev多项式零点的Pal-型插值多项式的逼近

设{x_k}_(k-0)~n是n 1次多项式U_n(x)=(1-x~2)U_n(x)的零点,其中U_n(x)是第二类Chebyshev多项式。设是的零点。根据Pal的插值理论,对函数f∈C~1[-1,1],存在唯一的2n 1次多项式满足条件: 本文研究用Pal型插值多项式对函数f∈C~r[-1,1](r≥1)和它的导函数的逼近。     

Kantorovich型Meyer-K(o)nig-Zeller算子的点态逼近定理

1引 言 1960年Meyer-K(o)nig W.和Zeller K.在[6]中提出了Meyer-K(o)nig-Zeller算子 Mn(f,x)=∞∑k=0f(k/(n+k))mn,k(x),0≤x＜1,Mn(f,1):=f(1),mn,k(x)=(n+kk)xk(1-x)n+1,在[1,2,5,7,9,10,12]中对于此算子的逼近性质及各种修正了的Meyer-K(o)nig-Zeller算子作了研究,其中重要的变形是Kantorovich型的积分算子： M*n(f;x)=∞∑k=0((n+k)(n+k+1))/n∫(k+1)/(n+k+1)k/(n+k)f(u)dumn,k(x),x∈[0,),其中Mn(f,1)：＝f(1),mn,k(x)＝(n+kk)xk(1+x)n+1,mn,-1(x)：=0. V.Totik在[8]中给出了M*n(f;x)的Lp-逼近(1≤p＜∞),王建力在[11]研究了其加权Lp-逼近(1≤p＜∞).本文引进新的K+泛函,利用Ditzian-Totik模ω2ψ(f,t)研究了该算子的点态逼近性质,得到了它的逼近正、逆及等价定理.     

连续函数的l凸性

在研究函数的性态时,笔者发现如下定义的l凸函数,它反映了函数中普遍存在的凸偏移现象.定义:设f(x)是定义在实数集D上的实值函数,常数l∈R,若对 xk∈M( D),pk≥ 0,k=1,2,…,n, (n∈N,n≥2),∑nk=1pk=1,都有f(∑ni=1pixi+l)≤∑ni=1pif(xi)则称f(x)为M上的l凸函数;当-f(x)为l凸函数时,称f(x)为M上的l凹函数.下面给出连续函数具有l凸性的两个判定定理:定理 1:设f(x)是定义在 [a,a+2l] (l>0)上的连续的增函数,则f(x)是 [a,a+l]上的l凹函数,也是[a+l,a+2l]上的(-l)凸函数.证明:设xi∈[a,a+l] (i=1,2,…,n),x1≤x2≤…≤xn,则xi+l∈[a+l,a…     

数学问题1848的错解分析及修正

《数学通报》2010年4月第1848号数学问题为: 已知函数:f(x)=x3+bx,数列{an},其中a1＞0. (1)若an=f(n),当数列{an}为递增数列时,求b的取值范围; (2)若an+1=f(an),当数列{an}为递增数列 时,求首项a1的取值范围.(用b表示,且b≥0) 原解答对于(1),将数列{an=f(n)}递增数列转化为函数f(x) =x3 +bx在[1,+∞)单调递增,进而转化为f′(x) =3x2+b≥0在[1,+∞)上恒成立,从而求出b的范围是:b≥-3.     

甩瓦累-布然平均逼近连续函数

<正> §1.总说§1.1 设 f(x)∈C_(2π),f(x)～a_0/2+sum form n=1 to ∞ a_ncosnx+b_nsin nx≡sum form n=0 to ∞ A_n(x)记 S_n(f,x)=sum form v=0 to n A_v(x).称σ_(n,p)(f,x)=1/p+1 sum form v=n-p to n S_v(f,x)为 f(x)的瓦累-布然平均.记△_u~kf(x)=sum form v=0 to k (-1)~v(?)f[x+(k-2v)u].称函数ω_k(f,t)=(?)|△~u_kf(x)|为 f(x)的 k 阶连续模.简记ω(f,t)=ω_1(f,t).假如 f(x)的共轭函数     

也谈函数f(x)=sum from i=1 to n=1(︱a_ix+b_i︱)的最小值

文[1]对函数f(x)=∑ni=1aix+bi的最小值进行了研究,得到如下结论:对于函数f(x)=∑ni=1aix+bi(ai∈Q,且ai≠0,bi∈R,i∈N*),总可以写成f(x)=m1[x-x1+x-x2+…+x-xn](x1≤x2≤…≤xn,m,n∈N*)的形式.(1)若n=2k-1(k∈N*),则x=xk时,f(x)取值最小;(2)若n=2k(k∈N*),则x∈[xk,xk+1]时,f(x)取值最小.上述结论只解决了ai∈Q的情形,并要对f(x)进行变形写成m1[x-x1+x-x2+…+x-xn]的形式.为此,笔者进一步研究得到更一般结论,使得问题彻底解决.因f(x)=∑ni=1aix+bi=∑ni=1ai x+biai,所以只要研究f(x)=∑ni=1ai x-xi(ai>0,x1相似文献   

一种修正的HS共轭梯度法及全局收敛性

<正>1引言考虑无约束极小化问题:(?),(1)其中f(x)连续可微,其梯度函数用g(x)表示.共轭梯度法求解(1)的常用迭代格式为:x_(k+1)=x_k+α_kd_k,(2)(?)(3)其中g_k=▽f(x_k),α_k≥0是由某种线搜索得到的步长因子;d_k为搜索方向,β_k为标量,β_k的不同选择产生了不同的共轭梯度法.著名的β_k公式有:     

具有Legendre多项式结点的Hermite-Fejer插值算子的逼近阶

以Legendre多项式的零点为插值结点的Hermite-Fejer算子可写作其中P_n(x),n=1,2,3,…为Legendre多项式,x_k(k=1,2,…,n)是P_b(x)的零点. Fejer早在1932年就证明了:当f(x)∈C[-1,1]时,在(-1,1)的任意内闭区间上一致地有 limH_(2n-1)(f,x)=f(x). 最近,崔明根得到误差估计式为     

一类非单调算法的收敛性质

1.搜索步长和搜索方向对于无约束最优化问题(?)f(x),其中f:R~n→R~1,f∈C~1,一般采用形如x_(k+1)=x_k+λ_kd_k(k=1,2,…)的迭代算法来求解,这里λ_k为搜索步长,d_k为搜索方向.     

ON CONVERGENCE OF PAL-TYPE INTERPOLATION POLYNOMIALS

Let {x_k~*}_(k=1)~(n-1) be the zeros of the (n-1) -th Legendre polynomial p_(n-1)(x) and {x_k}_(a=1)~n be the zeros of the polynomial w(x)= (1-x2~)p_(n-1)~1(x). By the theory of the Pal interpolation, for afunction f ∈ C_([-1,1])~1, there exists a unique polynomial Q_n(f, x) of degree 2n-1 satisfying conditions Q_n(f, x_k)=f(x_k), Q'_n(f, x_k~*)=f'(x_k~*), where k=1, 2, …, n and x_n~*=-1. The main result of this paper is that if f ∈ C_([-1,1])~r, thenf(x)-Q_n(f, x)=O(1)W(x)w(f~(r), 1/n)n~((1/2)-r), -1≤x≤1.Hence, if f ∈ C_[-1,1])~1, then Q_n(f, x) converges to the function f(x)uniformly on the interval [-1, 1].     

Kantorovitch算子的L^＊M逼近

1.符号与基本结果对对[0,1]上的可积函数f(x),Kantorovitch算子定义为: K_n(f,x)=(n+1)sum from k=0 to n(p_(n-K)(x)integral from ?(f(t)dt)其中p_(n-K)(x)=(n K)x~K(1-x)~(n-K),I_K=[K/(n+1),(K+1)/(n+1)]。记M(u)是N-函数,N(v)是其young意义下的余函数,用M(u)∈△_2表示,存在正数c,u_0满足     

新题征展(62)

A　题组新编1 .已知函数 y =f ( x) ,对于任意实数 x1和 x2 ( x1≠ x2 ) ,均有 f ( x1+ x2 ) =f ( x1) .f ( x2 ) ,且 f( 0 )≠ 0 .( 1 )若 f ( 1 ) =1 ,则 f ( 1 ) + [f( 2 ) ]2 +[f ( 3) ]3 +… + [f( 2 0 0 5) ]2 0 0 5=;( 2 )若 f( 1 ) =3,且 f( 2 )f( 1 ) + f ( 4 )f ( 3) + f ( 6 )f ( 5)+… + f( 2 n)f ( 2 n - 1 ) =2 0 0 7,则 n =;( 3) f ( - 2 0 0 6 ) .f ( - 2 0 0 5) .… .f( - 1 ). f ( 0 ) . f ( 1 ) .… . f ( 2 0 0 6 ) =.2 .在△ ABC中 ,三个顶点的坐标是A( 1 ,1 )、B( 4 ,1 )、C( 3,2 ) ,且动点 P( x,y)在△ ABC内部…     

基点为超球多项式零点的Hermite-Fejr算子

为f(x)关于基点{x_k}_k~n=1的Hermite-Fejer插值多项式,简记为H-F算子.它具有如下性质: H_(2n-1)(f,x_k)=f(x_k),H′_(2n-1)(f,x_k)=0. 考虑[-1,1]下以权(1-x)~α(1 x)~β的正交多项式P~(α,β)(x)零点为基点的H-F