羅靜

(四川理工學(xué)院理學(xué)院， 四川自貢643000)

?

一類級(jí)數(shù)部分和不等式及其應(yīng)用

羅靜

(四川理工學(xué)院理學(xué)院， 四川自貢643000)

級(jí)數(shù)部分和不等式是不等式研究和近代數(shù)學(xué)發(fā)展的基礎(chǔ)，基于對(duì)經(jīng)典不等式的研究，建立了一類含有多個(gè)參數(shù)，結(jié)構(gòu)形式簡(jiǎn)潔的級(jí)數(shù)部分和不等式。應(yīng)用基本不等式，結(jié)合初等變換對(duì)所建立的不等式進(jìn)行了嚴(yán)格證明。在分析該類不等式結(jié)構(gòu)特征的基礎(chǔ)上，賦于參數(shù)特定的值式，得出了一系列重要的推論。通過(guò)實(shí)例，檢驗(yàn)定理及其推論在構(gòu)造或者證明一大批級(jí)數(shù)部分和不等式中具有普適性。同時(shí)所得結(jié)果不僅囊括了眾多著名不等式，更是對(duì)這些不等式以及相關(guān)文獻(xiàn)結(jié)果的推廣、改進(jìn)和加強(qiáng)。

基本不等式；級(jí)數(shù)部分和不等式；普適性

引言

級(jí)數(shù)部分和不等式在不等式研究中占有重要地位，它的一些著名定理在很多領(lǐng)域都是重要的基本工具，是近代數(shù)學(xué)發(fā)展不可缺少的理論基礎(chǔ)(比如經(jīng)典的Holder不等式和Minkowski不等式是建立Lp空間的基本工具)。本文以幾個(gè)基本不等式為引理，建立了一類很有意義的級(jí)數(shù)部分和不等式。這些結(jié)果推廣或改進(jìn)了相關(guān)文獻(xiàn)的相應(yīng)結(jié)果，在不等式研究中有較好的應(yīng)用。

1基本引理

引理1(Jensen不等式推論)設(shè)xk>0(k=1,2,…,n)，當(dāng)p≤0或p≥1時(shí)，

(1)

當(dāng)0

(2)

當(dāng)p=0，或p=1，或x1=x2=…=xn時(shí)等號(hào)成立。

注在文獻(xiàn)[1]中取f(x)=xp(x>0)即得此推論。

引理2(cp不等式)設(shè)xk>0(k=1,2,…n)，當(dāng)p≤1時(shí)，

(3)

當(dāng)p>1時(shí)，

(4)

當(dāng)p=1，或n=1時(shí)等號(hào)成立。

引理3(Holder不等式)設(shè)xk,yk≥0(1≤k≤n)，α+β=1，當(dāng)αβ>0時(shí)，

(5)

當(dāng)αβ<0時(shí)，

(6)

引理4(Chebyshev不等式)設(shè){xn},{yn}是兩個(gè)實(shí)序列，當(dāng)它們同增，或同減時(shí)，

(7)

當(dāng)它們一增一減時(shí)，

(8)

當(dāng)且僅當(dāng)x1=x2=…=xn，或y1=y2=…=yn時(shí)等號(hào)成立。

2主要結(jié)果及證明

定理1設(shè)xk，yk>0(1≤k≤n),r>0，則當(dāng)αβ<0,α-β≥r時(shí)，

(9)

當(dāng)αβ>0,α-β≤r時(shí)，

即是

同理可證αβ>0, αβ≤r時(shí)的情況。

定理2設(shè)xk,yk>0(1≤k≤n),r>0,αβ>0,α-β≥r，則

即是

定理3設(shè)xk,yk>0(1≤k≤n),r>0,α>0,β<0,α-β≤r，則

證明同定理2，過(guò)程略。

定理4設(shè)xk,yk>0(1≤k≤n),r>0，則

當(dāng)α≤0,β>0時(shí)有

(10)

當(dāng)α≥0,r≥-β>0時(shí)，不等號(hào)反向。當(dāng)且僅當(dāng)x1=x2=…=xn，且y1=y2=…=yn時(shí)等號(hào)成立。

即(10)式成立。

(ⅱ)當(dāng)α<0,β>0時(shí)，由(ⅰ)的結(jié)論得

式兩邊β-α乘方后取倒數(shù)得

由傳遞性得

此時(shí)(10)式成立。

同理可證α≥0,r≥-β>0時(shí)的情況。

定理5設(shè)xk,yk>0(1≤k≤n),α≥r>0，若β>0，且{xn},{yn}是一增一減序列，或β≤-r，且{xn},{yn}是同增或同減序列，則

當(dāng)x1=x2=…=xn，且y1=y2=…=yn，或α=β，且xk=λyk(λ為常數(shù))時(shí)等號(hào)成立。

即是

同理可證β≤-r，且{xn},{yn}是同增或同減序列的情況。

當(dāng)x1=x2=…=xn，且y1=y2=…=yn，或當(dāng)α=β，且xk=λyk(λ為常數(shù))時(shí)等號(hào)成立。

證明同定理5，過(guò)程略。

在定理1～定理6中，各不等式成立的條件雖然各異，但結(jié)果的結(jié)構(gòu)形式相同或者十分相近。特別是指數(shù)α與β的非共軛性，寓示著不等式有較寬的應(yīng)用范圍。對(duì)定理中各參數(shù)取適當(dāng)?shù)闹悼傻贸鲆幌盗兄匾耐普摗?/p>

在定理2，定理3和定理4中，取yk=1，即得此推論。特別，取r=1，即為引理1。

在定理1中，設(shè)β=-α<0，即得此推論。特別，取α=1,r=2，即是Cauchy不等式。

在定理1中，設(shè)α=p,β=-q,r=1，即得此推廣。

推論5(Radon不等式推廣)設(shè)xk，yk>0(1≤k≤n)，則當(dāng)p>0,q<0,p+q>0時(shí)，

當(dāng)p>0,q>0時(shí)，

在定理1中，設(shè)α=p+q>0,β=q<0,r=p得推論5中第一個(gè)不等式，設(shè)α=p+q,β=p>0,r=q>0得推論5中第二個(gè)不等式。特別，在第二個(gè)不等式中取q=1，即是Radon不等式。

在定理5與定理6中，設(shè)β=-α即得此推論。特別，若取α=r=1，則得文獻(xiàn)[2]中的不等式。

推論8 (Minkowshi不等式推廣)[5-8]設(shè)ajk>0(1≤k≤n,1≤j≤m)，則當(dāng)p≥1時(shí)，

當(dāng)p≤1時(shí)，不等號(hào)反向。當(dāng)且僅當(dāng)

等號(hào)成立。

記

則

依次取j=1,2,…,m得m個(gè)同向不等式，累加得

即

得

同理可證p≤1時(shí)的情況。特別，當(dāng)m=2時(shí)即為Minkowshi不等式。

3實(shí)例

證明在定理4中取r=1,α=q≤0,β=p>0，設(shè)xk=bk,yk=ak，(或在定理2中取r=1，α=q,β=p>0使q-p≥1，設(shè)xk=bk,yk=ak)，則有

所以不等式成立。

證明在定理2，定理4中取α=2p(p≥1,或p≤0),β=r=1，則有：

證畢。

特別，在此命題中，設(shè)A=t=β=1,B=-1,bk=xk,ck=xk+1，則得文獻(xiàn)[9]中的不等式：

若再取p=1，則得文獻(xiàn)[10]中的不等式：

證明(ⅰ)當(dāng)p>0時(shí)，文獻(xiàn)[11]已證不等式成立。

(ⅱ)當(dāng)p≤0時(shí)，在定理4中，取α=p≤0,r=β=1，則

設(shè)xk=ak,yk=M-ak，得

綜合(ⅰ)與(ⅱ)，對(duì)?p∈R，不等式成立。

特別，若取p=M=1，則為Shapiro不等式。

證明當(dāng)p>1,q<0，且p+q≥1時(shí)，根據(jù)推論4得：

∑ak(ak+bk)p≥

同理，

∑bk(ak+bk)p≥

兩式相加：

∑(ak+bk)p+1≥

所以，

即

例5(Mikolas不等式)設(shè)ajk>0，若β≥1且αβ≥1，則

當(dāng)β≤1且αβ≤1時(shí)，不等式反向。

兩邊β方，

(11)

所以待證不等式左式成立。又根據(jù)推論8，當(dāng)β≥1時(shí)，

所以，

所以，

(12)

即待證不等式右式成立。綜合(11)式與(12)式，命題獲證。

同理可證β≤1且αβ≤1的情況。

4結(jié)束語(yǔ)

本文定理所述不等式結(jié)構(gòu)特征具有簡(jiǎn)單性和普適性[12]，如果繼續(xù)對(duì)其中各量取適當(dāng)?shù)闹凳?，不僅可以涵蓋、推廣或改進(jìn)相關(guān)文獻(xiàn)的相應(yīng)結(jié)果[13-15]，更可得出一大批級(jí)數(shù)部分和不等式。

[1] 陳紀(jì)修.數(shù)學(xué)分析[M].2版.北京:高等教育出版社,2009.

[2] 胡克.解析不等式的若干問(wèn)題[M].湖北:武漢大學(xué)出版社,2007.

[3] 隆建軍.Shapiro不等式的指數(shù)推廣[J].佳木斯大學(xué)學(xué)報(bào):自然科學(xué)版,2012,30(1):121-123,131.

[4] 隆建軍.關(guān)于推廣的Shapiro不等式及其應(yīng)[J].宜賓學(xué)院學(xué)報(bào):自然科學(xué)版,2013,13(6):8-11.

[5] 曾慶黎.Minkowshi不等式的一個(gè)證明[J].北京聯(lián)合大學(xué)學(xué)報(bào):綜合版,1994(3):70-73.

[6] 魏巍,喬建斌.Minkowshi不等式兩種形式的推廣[J].中北大學(xué)學(xué)報(bào):自然科學(xué)版,2013(2):109-111.

[7] 陽(yáng)凌云.離散型H.Minkowshi不等式的拓廣[J].株洲工學(xué)院學(xué)報(bào),2005(1):35-36.

[8] 吳樹寵.Holder不等式和Minkowshi不等式的推廣[J].數(shù)學(xué)學(xué)報(bào),2006(6):1267-1274.

[9] 羅靜.用Eξ2≥(Eξ)2證明一類級(jí)數(shù)部分和不等式[J].四川理工學(xué)院學(xué)報(bào):自然科學(xué)版,2012,25(6):65-68.

[10] 吳振奎.數(shù)學(xué)的創(chuàng)造[M].哈爾濱:哈爾濱工業(yè)大學(xué)出版社,2011.

[11] 匡繼昌.常用不等式[M].濟(jì)南:山東科學(xué)技術(shù)出版社,2014.

[12] 匡繼昌.Hilbert不等式研究的新進(jìn)展[J].北京聯(lián)合大學(xué)學(xué)報(bào):自然科學(xué)版,2010(1):51-53.

[13] 沈艷.Shapiro不等式的改進(jìn)[J].湖南科技學(xué)院學(xué)報(bào),2006(5):28-30.

[14] 季明銀.一類不等式的推廣[J].北京:數(shù)學(xué)通報(bào),2008(1):60-61.

[15] 文開(kāi)庭.Shapiro不等式及其變形的新推廣與應(yīng)用[J].貴州教育學(xué)院學(xué)報(bào):自然科學(xué)版,2006(2):4-6.

A Kind of Series Part and Inequality and Its Application

LUOJing

(School of Science, Sichuan University of Science & Engineering, Zigong 643000, China)

Series part and inequality is the foundation of inequality research and the development of modern mathematics. Based on the study of classical inequalities, series part and inequality with multiple parameters and simple structure form is established. In the application of some basic inequalities, the inequality is strictly proved by elementary transformation. Based on the analysis of the structure characteristic of the inequality and the given specific parameters value, a series of important corollaries are presented. Through several notable examples, the test theorem and its corollary are universal in constructing or proving a large number of series and inequalities. At the same time, the results not only include a large number of well-known inequalities, but also are the promotion, improvement and enhancement of these inequalities and the recent literature.

basic inequality; series part and inequality; generalization

2016-03-24

羅 靜(1980-)，女，四川自貢人，助教，主要從事數(shù)學(xué)分析與復(fù)變函數(shù)理論方面的研究，(E-mail) 379040763@qq.com

1673-1549(2016)04-0081-07

10.11863/j.suse.2016.04.18

O178

A