何 燈，李云杰

（福建省福清第三中學(xué)，福建 福清 350315）

兩個(gè)新的雙曲平均及其Schur冪凸性

何 燈，李云杰

（福建省福清第三中學(xué)，福建 福清 350315）

定義了兩個(gè)新的雙曲函數(shù)及反雙曲函數(shù)的復(fù)合平均，運(yùn)用分析方法，研究了這兩個(gè)平均的Schur冪凸性，給出了判定的充要條件.

Schur凸性；Schur冪凸性；雙曲函數(shù)；反雙曲函數(shù)

0 引言

2003年，《美國(guó)數(shù)學(xué)月刊》11031問題定義了如下“奇特”平均并提出一個(gè)相關(guān)的不等式猜想：

問題11031設(shè)x，y＞0，平均M（x，y）＝lnN（x，y），其中

求證或否定M（x，y）≤G（x，y）.

并通過證明sh（thx）是（0，+∞）上遞增的幾何凹函數(shù)而證明了上述猜想.

文獻(xiàn)[3]研究了M（x，y）關(guān)于（x，y）在（0，+∞）2上的Schur-凸性和Schur-幾何凸性.

文獻(xiàn)[4]定義了與M（x，y）相類似，且涉及三角函數(shù)及反三角函數(shù)復(fù)合的一個(gè)新的平均并借助于數(shù)值計(jì)算和多項(xiàng)式判別系統(tǒng)[5-6]，研究了M（x，y）及H（x，y）在各自定義域上更一般的性質(zhì)--Schur冪凸性[7-11].

類似于M（x，y），本文定義如下兩個(gè)新的雙曲平均研究M1（x，y）、M2（x，y）關(guān)于（x，y）在（0，+∞）2上的Schur冪凸性，給出判定的充要條件.

1 定義和引理

對(duì)于x＝（x1，x2，…，xn）∈Rn，將x的分量遞減重排后，記作x[1]≥x[2]≥…≥x[n].并用x≤y表示xi≤yi（i＝1，…，n）.

定義1[12]2設(shè)x，y∈Rn滿足則稱x被y所控制，記作x?y.

定義2[12]54設(shè)Ω?Rn，φ:Ω→R，

（i）若在Ω上x≤y?φ（x）≤φ（y），則稱φ為Ω上的增函數(shù)；若-φ是Ω上的增函數(shù)，則稱φ為Ω上的減函數(shù).

（ii）若在Ω上x?y?φ（x）≤φ（y），則稱φ為Ω上的Schur凸函數(shù)；若-φ是Ω上Schur凸函數(shù)，則稱φ為Ω上Schur凹函數(shù).

引理1[12]58設(shè)E（?Rn）是有內(nèi)點(diǎn)的對(duì)稱凸集，f:E→R為連續(xù)，且在E的內(nèi)部intE可微，則f在E上為Schur-凸（凹）函數(shù)當(dāng)且僅當(dāng)f在E上對(duì)稱，且對(duì)所有的x∈intE，都有定義3[1，13-14]設(shè)E?Rn++，對(duì)于任二向量x，y∈E，當(dāng)（1nx1，1nx2，…，1nxn）?（1ny1，1ny2，…，1nyn）時(shí)，都有f（x）≤f（y）成立，則稱f是E上的Schur-幾何凸函數(shù)；f為E上的Schur-幾何凹函數(shù)，當(dāng)且僅當(dāng)-f為Schur-幾何凸函數(shù).

引理2[14]設(shè)為有內(nèi)點(diǎn)的對(duì)稱集，為凸集，f:E→R連續(xù)，且在intE內(nèi)可微，則f為Schur-幾何凸（凹）函數(shù)的充分必要條件是f在E上對(duì)稱，且對(duì)所有的x∈intE，都有

定義4[15-16]設(shè)若任取x，y∈E，當(dāng)

時(shí)，都有f（x）≤f（y）成立，稱f為E上的Schur-調(diào)和凸函數(shù)；若-f是E上Schur-調(diào)和凸函數(shù)，則稱f為E上的Schur-調(diào)和凹函數(shù).

引理3[16]設(shè)為有內(nèi)點(diǎn)的對(duì)稱集，為凸集，f:E→R連續(xù)，且在intE內(nèi)可微，則f為E上的Schur-調(diào)和凸（凹）函數(shù)的充分必要條件是f在E上對(duì)稱，且對(duì)于任意x∈intE，都有

定義5[7-11]（i）設(shè)f:R++→R是嚴(yán)格單調(diào)函數(shù)，Ω?Rn.若對(duì)于任何x，y∈Ω，總有f-1（αf（x）+βf（y））∈Ω，則稱Ω是f-凸集，其中α，β∈[0，1]且α+β＝1.

（ii）設(shè)Ω?Rn，Ω內(nèi)部非空.φ:Ω→R，對(duì)于任意x，y∈Ω，若f（x）?f（y）時(shí)，有φ（x）≤φ（y），則稱φ為Ω上的Schur-f凸函數(shù)；若-φ是Ω上Schur-f凸函數(shù)，則稱φ為Ω上Schur-f凹函數(shù).

由Schur-f凸函數(shù)的定義知，若g為單調(diào)遞增（減），g（φ（x））有意義，則φ為Schur-f凸函數(shù)，當(dāng)且僅當(dāng)g?φ為Schur-f凸（凹）函數(shù).

定義6[7-11]在定義5中若取則稱φ為Ω上的Schur-m階冪凸函數(shù)；若-φ是Ω上Schur-m階冪凸函數(shù)，則稱φ為Ω上Schur-m階冪凹函數(shù).

引理4[7-11]設(shè)f:R→R是嚴(yán)格單調(diào)的可微函數(shù)，是有內(nèi)點(diǎn)的對(duì)稱f-凸集，φ:Ω→R于Ω上連續(xù)，在Ω的內(nèi)部Ω0可微，φ是Ω上Schur-f凸（Schur-f凹）的充要條件是φ在Ω上對(duì)稱，且對(duì)于?x∈Ω0，有

對(duì)于Schur-m階冪凸函數(shù)，若m≠0，相應(yīng)的Schur條件為

不難發(fā)現(xiàn)，式（4）綜合了式（1）（2）（3）（5）.

引理5[17]設(shè)a≤b，u（t）＝tb+（1-t）a，v（t）＝ta+（1-t）b，1/2≤t2≤t1≤1或0≤t1≤t2≤1/2，則

證明

由不等式thx＜x（x∈（0，+∞））可得

由于（thx）'＝1-th2x＞0，故g3（x）＝thx關(guān)于x在（0，+∞）上單調(diào)遞增，結(jié)合不等式chx＞1及shx＞x（x∈（0，+∞））可得

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

定理1 M1（x，y）關(guān)于（x，y）在（0，+∞）2上Schur-m階冪凹當(dāng)且僅當(dāng)m≥1.證明

當(dāng)m≥1，y1＝x1-m關(guān)于x在（0，+∞）上單調(diào)遞減，結(jié)合引理6得關(guān)于x在（0，+∞）上單調(diào)遞減，則F2（x，y）≤0，從而ΔM1（x，y）≤0，由引理4得M1（x，y）關(guān)于（x，y）在（0，+∞）2上Schur-m階冪凹.

當(dāng)m＜1，由于

顯然F2（x，y）在（0，+∞）2上符號(hào)不恒定，則ΔM1（x，y）在（0，+∞）2上符號(hào)不恒定，從而當(dāng)m＜1時(shí)M1（x，y）不是（0，+∞）2上Schur-m階冪凹（凸）函數(shù).

綜上，定理1得證.

令定理1中m＝1可得

推論1 M1（x，y）關(guān)于（x，y）在（0，+∞）2上為Schur-凹函數(shù).

由推論1并結(jié)合定義2及引理5可得

推論2 對(duì)于（x，y）∈（0，+∞）2，x≤y，1/2≤t2≤t1≤1或0≤t1≤t2≤1/2，有

定理2M2（x，y）關(guān)于（x，y）在（0，+∞）2上Schur-m階冪凹當(dāng)且僅當(dāng)m≥1.證明

故F3（x，y）＞0.

顯然F4（x，y）在（0，+∞）2上符號(hào)不恒定，則ΔM2（x，y）在（0，+∞）2上符號(hào)不恒定，從而當(dāng)m＜1時(shí)M2（x，y）不是（0，+∞）2上Schur-m階冪凹（凸）函數(shù).

綜上，定理2得證.

令定理2中m＝1可得

推論3 M2（x，y）關(guān)于（x，y）在（0，+∞）2上為Schur-凹函數(shù).

由推論3并結(jié)合定義2及引理5可得

推論4對(duì)于（x，y）∈（0，+∞）2，x≤y，1/2≤t2≤t1≤1或0≤t1≤t2≤1/2，有

[1]張小明.幾何凸函數(shù)[M].合肥：安徽大學(xué)出版社，2004：107-121.

[2]李大矛，石煥南.一個(gè)二元平均值不等式猜想的新證明[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2006，36（4）：278-283.

[3]石煥南.受控理論與解析不等式[M].哈爾濱：哈爾濱工業(yè)大學(xué)出版社，2012：283-287.

[4]何燈.關(guān)于兩個(gè)“奇特”平均的Schur冪凸性[J].廣東第二師范學(xué)院學(xué)報(bào)，2016，36（3）：30-38.

[5]楊路，張景中，侯曉榮.非線性代數(shù)方程組與定理機(jī)器證明[M].上海：上海科技教育出版社，1996：137-166.

[6]楊路，夏壁燦.不等式機(jī)器證明與自動(dòng)發(fā)現(xiàn)[M].北京：科學(xué)出版社，2008：33-46.

[7]YANG ZH.SchurpowerconvexityofStolarskymeans[J].PublMath Debrecen，2012，80（1/2）：43-66.

[8]張小明.幾個(gè)n元平均的積的Schur-階冪凸性[J].湖南理工學(xué)院學(xué)報(bào)，2011，24（2）：1-6+13.

[9]YANG Z H.Schur power convexity of Gini means[J].Bull Korean Math Soc，2013，50（2）：485-498.

[10]YANG Z H.Schur power convexity of Daróczy means[J].Math Inequal Appl，2013，16（3）：751-762.

[11]鄧勇平，吳善和，何燈.關(guān)于廣義Muirhead平均的Schur冪凸性[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2014，44（5）：255-268.

[12]王伯英.控制不等式基礎(chǔ)[M].北京：北京師范大學(xué)出版社，1990.

[13]張小明，續(xù)鐵權(quán).廣義SCHUR-幾何凸函數(shù)的定義及其應(yīng)用[J].青島職業(yè)技術(shù)學(xué)院學(xué)報(bào)，2005，18（4）：60-63.

[14]張小明，褚玉明.解析不等式新論[M].哈爾濱：哈爾濱工來出版社，2009：93-94.

[15]GUAN K Z.Schur-convexity of the complete symmetric function[J].Math Inequal Appl，2006，9（4）：567-576.

[16]GUAN K Z.Some properties of a class of symmetric functions[J].J Math Anal Appl，2007，336（1）：70-80.

[17]李大矛，顧春，石煥南.Heron平均冪型推廣的Schur凸性[J].數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，2006，36（9）：387-390.

Two New Hyperbolic Averages and Their Schur Power Convexity

HE Deng,LI Yunjie
（Number 3 Middle School,Fuqing350315,Fujian,China）

The complex average of two hyperbolic function and inverse hyperbolic function is defined.The Schur power convexity of those two mean is studied by using the analytical method. The necessary and sufficient conditions for the judgment are given.

Schur convexity;Schur power convexity;hyperbolic function;inverse hyperbolic function

1001-4217（2017）04-0041-07

O178

A

2017-03-29

何 燈（1984—），男，福建福清人，學(xué)士，中學(xué)教師，全國(guó)不等式研究會(huì)成員.研究方向：解析不等式及不等式機(jī)器證明.E-mail：hedeng123@163.com