关于凸函数的Hadamard不等式的拓广(英文)

设,是区间[a,b]上连续的凸函数。我们证明了Hadamard的不等式 f(a+b/2)≤1/b-a integral from a to b (f(x)dx)≤f(a)+f(b)/2可以拓广成对[a,b]中任意n+1个点x_0,…,x_n和正数组p_0,…,p_n都成立的下列不等式 f(sum from i=0 to n (p_ix_i)/sum from i=0 to n (p_i))≤|Ω|~(-1) integral from Ω (f(x(t))dt)≤sum from i=0 to n (p_if(x_i)/sum from i=0 to n (p_i),式中Ω是一个包含于n维单位立方体的n维长方体,其重心的第i个坐标为sum from i=i to n (p_i)/sum from i=i-1 (p_i),|Ω|为Ω的体积,对Ω中的任意点t=(t_1,…,t_n) ω(t)=x_0(1-t_1)+sum from i=1 to n-1 (x_i(1-t_(i+1))) multiply from i=1 to i (t_i+x_n) multiply from i=1 to n (t_i)。不等式中两个等号分别成立的情形亦已被分离出来。 此不等式是著名的Jensen不等式的精密化。     

实数的广义二进展式的一个概率性质

设0相似文献   

一个代数不等式的加强

近两年,在众多刊物上,载有不等式: multiply from i=1 to n(x_i+1/x_i)≥(λ/n+n/λ) (*)这里x_i∈R~+(i=1,2,…,n),x_1+x_2+…+x_n=λ≤n,仅当x_1=x_2=…=x_n时(*)式取等号。现在,我们给出(*)的一个加强: 定理设x_i∈R~+(i=1,2,…,n,n≥2),且sum from i=1 to n x_i=λ(常数)≤n,则 sum from i=1 to n(x_i+1/x_i)~(-1)≤n(λ/n+n/λ)~(-1) (1)当且仅当x_1=x_2+…=x_n时,(1)式中的等号成立。     

关于一个积分不等式的Djokovi(?)''''s猜想(英文)

在1965年,Djokovi,D.Z提出[1]:设x_0(1-α_1)(x_2-x_0)时,(4)不成立,一般说,(4)式是否成立和点x_0相似文献   

关于矩阵切触有理插值

1 矩阵切触插值连分式 设实区间[a,b]中由不同点组成的插值结点为x_1,x_2,…,x_n,它们的重数分别为a_1,a_2,… ,a_n,M=sum from i=l to n(a_i-1),与之对应的待插值矩阵集为 {A_i~(k):k=0,1,…,a_i-1,i=1,2,…,n,A_i~(k)=A~(k)(x_i)∈R~(d×d)}. 设方阵A=(a_(ij)),它的广义矩阵逆定义为 A~(-1)= A/‖A‖~2 (A≠0) (1.1)     

高三代数高次方程一章中的三个定理

一.一元n次方程的根的个数定理一元n次方程有n个根而且只有n个根。 課本中的証明大意如下: (1)根据代数基本定理,推得 f(x)=a_1x~n+a_1x~(n-1)+…+…a_n(a_0≠0) =a_0(x-x_1)(x-x_2)…(x-x_n)=0,而 f(x_1)=f(x_2)=…=f(x_n)=0,所以f(x)=0有n个根x_1,x_2,…,x_n。 (2)设x_(n+1)是和x_1,x_2,…,x_n都不相同的任一数, ∵f(x_n+1)≠0 ∴x_(n+1)不是f(x)=0的根。从而得出結論:f(x)=0只有n个根。证毕。我們知道,要断定f(x)=O的根只有n个,必須确定所有不同的根以及每一个根的重复度。上面的証法只能滿足前者的要求而不能滿足后者,因此,很容易使人发生以下的問題:如果x_(n+1)和x_1,x_2,…,x_n中的某一个相等,于是f(x_(n+1)=0;那么是否可以說x_(n+1)是f(x)=0的第n+1个根呢? 所以这个証法是不妥当的。事实上这个定理应該根据多項式的典型分解式的唯一性来証明。     

四阶算子样条插值余项的渐近式及其超收敛点

设Δ为[a,b]的一个等距分划 Δ:a=x_0相似文献   

线性时变系统的渐近稳定性

本文讨论一般时变系统(?)=A(t)x(1)的渐近稳定性.其中 x=(x_1,x_2,…,x_n)~T,A(t)=[a_(ik)(t)](i,k=1,2,…,n)是定义于 I=[τ, ∞)上的 n×n 矩阵.取向量模‖x‖=(sum from i=1 to n x_i~2)~(1/2).作为预备工作,首先考虑一般时变系统     

几类非自治系统的指数渐近稳定性

§1.预备知识对向量及矩阵引进模的概念如下:向量x的模记为||x|| ||X|| sum from i=1 to n |x_i|矩阵A的模记为||A|| ||A||sum from i.j=1 to n |a_(ij)|引理1设A为n×n阶常数矩阵,且它的所有特征根λ_k(k=1,2,…,n)均具有负     

四阶Λ-插值样条的逼近度和渐近式

设-∞相似文献   

非线性规划的一个可行方向方法

<正> 本文的目的是给出非线性规划问题(P) min(?) f(x),R={x|Ax=b,x≥0}的一个具收敛性的算法.其中,f(x)∈C′,A 是 m×n 阶矩阵(m相似文献   

用Householder变换约化对称带形矩阵为三对角形

对于对称带形矩阵,在[1]中用Givens变换将它约化为三对角形.现在我们用House-holder镜象变换进行约化.给出向量x=(x_1,…,x_(r-1),x_r,x_(r+1),…x_j,x_(j+1),…,x_n)~T,其中x_r,…,x_j不全为零,可以找到一个镜象变换H=I-uu~T/(2k~2),(1)其中向量u的分量u_i=0(i=1,2,…,r-1,j+1,…,n),u_r=x_r+s,u_i=x_i(i=r+1,…,j),s=±(sum from i=r to j x_i~2)~(1/2),2k~2=s~2+x_r s,s的正负号选取与x_r一致,使得Hx=(x…,x_(r-1),-S,0,     

用〔F,d_n〕平均逼近周期函数

设f(x)∈L_(2π)的Fourier级数为 f(x)～a_0/2+sum from n=1 to ∞ (a_ncosnx+b_nsinnx)sum from n=0 to ∞(A_n(f,x)) (1)以s_n(f,x)sum from i=0 to n(f,x)表示(1)第n部分和。称序列     

解0-1线性规划Surrogate对偶的一个方法

0—1线性观划不难化为以下形式: (P)minc~Tx s.t.Ax≤b,x∈X这里X={(x_1,…,x_n)~T|x_i=0,1,i=1,…,n},A是m×n矩阵,c~T=(c_1,…,c_n),c_i≤0,(i=1,…,n),b∈R~m.假定(P)是适定的,称x是决策变量,A、b、c是参数变量. 设非负乘子V∈R~m,问题     

关于三次插值样条的最佳误差界

<正> 设△_n:0=x_o相似文献   

算术平均数的一个简单性质的应用

n个实数x_1、x_2、…x_n的算术平均数(x_1+x_2+…+x_n)/n有如下简单性质: 若A≤x_1、x_2…、x_n(≤B),则 A≤(x_1+x_2+…+x_n)/n(≤B) 当且仅当A=x_1=x_2=…=x_n(=B)时等号成立。作为性质1的推论,特别地有推论1若x_1、x_2、…、x_n是n个实数,则min{x_f|i=1,2,…,n}≤≤(x_1+x_2+…+x_n)/n≤max{x_f|i=1,2,…,n} 当且仅当x_1=x_2=…=x_n时等号成立。推论2 若A≤x_1+x_2+…+x_n(≤B),则至少有一个x_k(x_e),使A/n≤x_k(x_a≤B/n),当x_1、x_2。…,x_n互不相等或A相似文献   

Hermite—A插值样条

设-∞<α相似文献   

用函数凹凸性质证明三角形不等式的一个问题

一类三角形不等式应用函数的凹凸性来证明是很有效的。函数的凹凸性质可以表述为: 定理:若函数f(x)对某一区间上任意两点x_1、x_2都有 (f(x_1)+f(x_2))/2≤(或≥)f((x_1+x_2)/2) (1)则对于这个区间上任意的x_i(i=1,2,…,n)有(f(x_1)+…+f(x_n))/≤(或≥)((x_1+…+x_n)/n) (2)     

关于一个Ляпунов函数的讨论

定义函数(?)是正数.s=1,2,…,n.令φ(x)=(φ_1(x_1),φ_2(x_2),…,φ_n(x_n))及V(x)=φ(x)·x=sum from (?)=1 to n φ_s(x_s)x_s,(1)则 V(x)为无限大定正函数,V(x)在 R~n 中满足 Lipshitz 条件.又定义(?)则有:命题1 任给 n 维常向量 x,f,则(?)1/h(V(x+hf)-V(x))=sum from s=1 to n φ_s(x_s+β(x_s)f_s)f_s.式中 x_s,f_s 表 x 及 f 的第 s 个分量.     

一类极限问题

这里讨论一类以递推关系x_n=f(x_(n-1))确定的数列{x_n}(n=1,2,…)的极限问题,其中x_0是给定的。我们要利用f(x)的性质来解决这个问题。为此建立如下定理。定理:设f(x)是定义在(a,c)内的单值连续函数,且x=f(x)在(a,c)内有唯一解b,又当x(?)b时,f(x)(?)b,则有结论: 1.若在(a,b)内b>f(x)>x,在(b,c)内x>f(x)>b,则任给x_0∈(a,c),令x_n=f(x_(n-1)(n=1,2,…)恒有x_n收敛于b。若在(a,6)内f(x)x,则x_n=f(x_(n-1))(n=1,2,…)对任给x_0(?)b绝不收敛于b。