不等式研究成果集锦(17)

20 2　设 xi >0 ,i =1,2 ,… ,n,n≥ 2 ,∑ni= 1xi =1,记 Ek(x) =Ek(x1 ,x2 ,… ,xn) =∑1≤ i1 <… 0 )时 ,有Ek(1x1 - m,… ,1xn - m)≥ Ckn(n - m) k.(续铁权 .2 0 0 1,1)2 0 3　设 Ai >0 ,λk>0　 (i =1,2 ,… ,n;k = 1,2 ,… ,n) ,∑ni=1Ai ≤π,n∈ N.(1)若 0≤λ≤ 1,有C2n(1-λ21 λ2 ) 2 (λπ) 2 ≤ (n - 1 cosλπ) .∑nk= 1cos2 λAk - cosλπ(∑ni=1cosλAi) 2 ≤ C2n(λπ) 2 ,等号同时成立当且仅当λ=0 .(2 )若 0≤λ≤ 1,有4λ2 C2ncos2 λ2 π≤ (n - 1 cosλ…     

二阶齐次递推数列具有周期性的一个充分条件

文[1]中曾给出如下定理:数列{an}满足an 2=pan 1-an,且p=2cos2kπ(k>2,k∈N ),则k是它的一个周期.文[2]中又将其进一步加强为k即是其最小正周期.换句话说,若p=2cos2kπ,则该数列就是以k为最小正周期的周期数列.那么,对于一般地二阶齐次递推数列{an},满足an 2 pan 1 qan=0(p,q∈R,n∈N ),当p,q满足什么条件时就会使其具有周期性呢?笔者通过分析,寻求到了使该数列具有周期性的一个充分条件:q=1且|p|<2.证对于数列{an},其特征方程为x2 px q=0,假若Δ=p2-4q<0,则其有一对共轭虚根:x1=r(cosθ isinθ),x2=r(cosθ-isinθ),其中θ∈(0,π),r>0.…     

新题征展(21)

A　题组新编1 .( 1 )关于 x的方程 3sin 2 x cos 2 x =k在区间 [0 ,π2 ]上有两个相异实数根α、β,则 k的取值范围是 (　　 ) .( A) [- 1 ,2 ]　　 ( B) [- 1 ,2 )( C) ( 1 ,2 ) ( D) [1 ,2 )( 2 )关于 x的方程 3sin 2 x cos 2 x =k在区间 [0 ,π2 ]上有两个相异实数根α、β,那么α β的值等于 (　　 ) .( A) π2 　　 ( B) π3( C) π6 ( D)不是常数( 3)若关于 x的方程 sin x cos x - k=0在 [0 ,2π]上有相异两实根α、β,且α β =5π2 .则 k的取值范围是 .(熊昌进供题 )2 .( 1 ) F1、F2 是双曲线的两个焦点 ,如果P为双曲线…     

等距节点三角插值的Lebesgue常数的渐近展开

设 f(x)是以2π为周期的一个周期函数,我们知道对于[0,2π]上的2n 1个节点 θ_k=k(2π/(2n 1)),k=0,1,2,…,2n,(1)存在唯一的n次三角多项式L_n(f,θ),满足L_n(f,θ_k)=f(θ_k),k=0,1,2,…,2n。这里     

关于用某些有理插值算子逼近的若干结果

设 F∈C[-1,1],T_n(x)=cos nθ(x=cosθ)是 n 次的 Chebyshev 多项式,用 x_k=cos0_k=cos (2k-1)/(2n)π(k=1,…,n)表示 T_n(x)的零点。设ω(t)是给定的连续模,H_ω={f;ω(f,t)≤ω(t)}.本文,c(a)表示仅与 a 有关的正的常数,但每次未必表示同一值,‖·‖表示通常的上确界范数。考虑下述正线性算子     

Bounds for Two Classes of Graph Spectrum and Proof of Their Conjectures

Let λ_k be the kth greatest eigenvalue of forest F (or tree T) on n vertices, then λ_k=-λ_(n-k 1). Hong Yuan proposed the following conjecture: Conjecture 1. Suppose T is a tree with n vertices and edge independence number q. For k≤q, λ_k(T)≥λ_k(S_(n-2k 2)~(2h-2) with equality iff T≌S_(n-2k 2)~(2k-2), where S_(n-2k 2)~(2k-2) is formed from a K_(1,n-2k 1) and a path P_(2k-2) by joining with an edge a vertex of degree one of P_(2k-2) to the vertex of degree n-2k 1 of K_(1,n-2k 1).     

辅助函数法应用举例

本文给出用辅助函数法解题的若干例子。由此可以看出辅助函数法应用的一斑。例1 已知acosθ bsinθ=c,acosφ bsinφ=c((θ-φ)/2≠kπ,k为整数)。求证a/cos(θ φ)/2=b/sin(θ φ)/2=c/cos(θ-φ)/2 证明作辅助函数f=(x,y)=ax by-c,则点P(cosθ,sinθ),Q(cosφ,sinφ)在直线f(x,y)=0上,此时直线方程为ax by=c,由两点式可得 (y-sinθ)/(x-cosθ) =(sinθ-sinφ)/(cosθ-cosφ) ∴xcos[(θ φ)/2] ysin[(θ φ)/2] =cos[(θ-φ)/2],     

康托洛维奇不等式的初等证法

康托洛维奇(Канторовну)不等式是指: 若ai＞0(i＝1，2，…，n),且∑ni=1ai=1, 又0＜λ1≤λ2≤…≤λn,则∑ni=1λiai·∑ni=1(ai)/(λi)≤((λ1 λn)2)/(4λ1λn). 文[1]用构造法给出了一种简证,本文将给出一种更加简捷的初等证法.     

k—full整数的分布（Ⅱ）

设k≥2是固定整数。自然数n称为k-full,如果对n的任一素因子p,均有p~k|n。以A_k(x)表示不超过x的k-full整数的个数,则可将A_k(x)写成如下形式: 这里γ_(i,k)(0≤i≤k-1)是非零常数,△_k(x)A_k(x)之误差项,本文在Riemann猜想成立的假设下证明了下结面论: 定理设。若Riemann猜想成立,则有:对k≥10成立。对2≤k≤9则得到了关于△_k(t)dt之渐近估计,其误差项为O(x_k~(a′+2))(ε>0)。     

Bargmann空间中无界Gribov-Intissar算子的谱逼近（英文）

在[Adv.Math.(China),2015,44(3):335-353]中,我们研究了经典Bargmann空间Bo中的非自伴算子H_μ:H_μ=S_μ+H_λ,其中S_μ=μz d/(dz),H_λ=iλ(z(d~2)/(dz~2)+z~2 d/(dz)),i~2=-1,参数μ,λ都是实数.我们给出了H_μ的谱分析和H_μ的广义特征向量的渐近分析.设ek(z)=(z~k)/((k!)~(1/2)),k=1,2,…是B0的正交基.算子H_μ可以被一列三对角矩阵逼近,此三对角矩阵的主对角线元素为β_k=μk,次对角线元素α_k=iλk(k+1)~(1/2),1≤k≤n,n∈N.对于μ∈C和λ∈C,本文主要研究上述矩阵的特征值z_(k,n)(μ,λ)的局部化,它是多项式P_(n+1)~(μ,λ)(z)的零点,P_(n+1)~(μ,λ)(z)满足三项递推关系:若"∈R和λ∈R,则上述矩阵是复对称的.在这种情况下,我们证明了R上有界变分复值函数∈(z)的存在性,它使得权重为∈(z)的多项式P_n~(μ,λ)(z)是正交的.我们也考虑了H_μ的扰动H_λ'=S_λ'+H_λ,其中S_λ'=λ'z~2(d~2)/(dz~2)+S_μ,λ'∈R,H_λ可以被矩阵(h_(jk)~λ)_(j,k=1)~∞表示.证明了可以通过S_λ'的特征值和有限矩阵(h_(jk)~λ)_(j,k=1)~n的特征值的组合来逼近H_λ'的特征值.     

Qualitative Analysis of Bifurcating Solutions in the Lengyel-Epstein Model

One of the most fundamental problems in theoretical biology is to explain the mechanisms by which patterns and forms are created in the＇living world. In his seminal paper ＂The Chemical Basis of Morphogenesis＂, Turing showed that a system of coupled reaction-diffusion equations can be used to describe patterns and forms in biological systems. However, the first experimental evidence to the Turing patterns was observed by De Kepper and her associates（1990） on the CIMA reaction in an open unstirred reactor, almost 40 years after Turing＇s prediction. Lengyel and Epstein characterized this famous experiment using a system of reaction-diffusion equations. The Lengyel-Epstein model is in the form as follows     

(0,1 ;0)-INTERPOLATION ON INFINITE INTERVAL (-∞, +∞)

In this paper, we study the explicit representation and convergence of (0, 1; 0)-interpolation on infinite interval, which means to determine a polynomial of degree ≤ 3n - 2 when the function values are prescribed at two set of points namely the zeros of Hn(x) and H′n(x) and the first derivatives at the zeros of H′n(x).     

RECENT PROGRESS ON SPHERICAL HARMONIC APPROXIMATION MADE BY BNU RESEARCH GROUP ——In memory of Professor Sun Yongsheng

As early as in 1990, Professor Sun Yongsheng, suggested his students at Beijing Normal University to consider research problems on the unit sphere. Under his guidance and encouragement his students started the research on spherical harmonic analysis and approximation. In this paper, we incompletely introduce the main achievements in this area obtained by our group and relative researchers during recent 5 years （2001-2005）. The main topics are： convergence of Cesaro summability, a.e. and strong summability of Fourier-Laplace series; smoothness and K-functionals; Kolmogorov and linear widths.     

A REPRESENTATION FORMULA RELATED TO SCHR(O)DINGER OPERATORS

Schr(o)dinger operator is a central subject in the mathematical study of quantum mechanics.Consider the Schrodinger operator H = -△ V on R, where △ = d2/dx2 and the potential function V is real valued. In Fourier analysis, it is well-known that a square integrable function admits an expansion with exponentials as eigenfunctions of -△. A natural conjecture is that an L2 function admits a similar expansion in terms of "eigenfunctions" of H, a perturbation of the Laplacian (see [7], Ch. Ⅺ and the notes), under certain condition on V.     

Journal of the Operations Research Society of China Special issue on Operations Research in Healthcare Management

正Guest Editors:Hong Chen,Shanghai Jiao Tong University,Shanghai,China Guohua Wan,Shanghai Jiao Tong University,Shanghai,China David Yao,Columbia University,New York,USA Scope:Healthcare delivery worldwide has been fraught with high cost,low efficiency and poor quality of patient care service.For the field of operations research(OR),healthcare offers some of the biggest challenges as well as best opportunities in     

ANALYSIS IN THEORY AND APPLICATIONS Vol. 30, 2014 CONTENTS

正~~     

An alternative mathematical algorithm for the photo- and videokeratoscope

Due to the resolution of current laser technology, the accuracy of corneal topography as measured by the videokeratoscope is no longer adequate to provide precise enough data for refractive surgery or for the fitting of customized contact lenses. We present an algorithm for recovering corneal topography that makes use of modern differential geometric techniques and numerical descent in Sobolev spaces. We believe this algorithm may be used with the photo- and videokeratoscope to increase the accuracy of the recovered corneal topography.     

A note on Sobolev orthogonality for Laguerre matrix polynomials

Let {Ln(A,λ)(x)}n≥0 be the sequence of monic Laguerre matrix polynomials defined on [0, ∞) by Ln(A,λ)(x)=n!/(-λ)n∑nk=0(-λ)κ/k!(n-1)! (A I)n[(A I)k]-1 xk,where A ∈ Cr×r. It is known that {Ln(A,λ)(x)}n≥0 is orthogonal with respect to a matrix moment functional when A satisfies the spectral condition that Re(z) ＞ - 1 for every z ∈σ(A).In this note we show that forA such that σ(A) does not contain negative integers, the Laguerre matrix polynomials Ln(A,λ) (x) are orthogonal with respect to a non-diagonal SobolevLaguerre matrix moment functional, which extends two cases: the above matrix case and the known scalar case.     

CONTENTS OF VOLUME 30

正~~