李海濤,蘇簡(jiǎn)兵,王艷永

(1.江蘇師范大學(xué) 科文學(xué)院,江蘇 徐州 221116;2.江蘇師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,江蘇 徐州 221116;3.呂梁學(xué)院 數(shù)學(xué)系,山西 呂梁 033000)

第二類華羅庚域上的極值問(wèn)題

李海濤1,蘇簡(jiǎn)兵2,王艷永3

(1.江蘇師范大學(xué) 科文學(xué)院,江蘇 徐州 221116;2.江蘇師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院,江蘇 徐州 221116;3.呂梁學(xué)院 數(shù)學(xué)系,山西 呂梁 033000)

討論第二類華羅庚域上的一個(gè)極值問(wèn)題.此極值問(wèn)題可以看作是復(fù)平面上經(jīng)典的Schwarz引理在高維的一個(gè)類似,也可以認(rèn)為是復(fù)平面上經(jīng)典的Schwarz引理在高維的一個(gè)推廣.通過(guò)計(jì)算出第二類華羅庚域的最小外切橢球,得到部分情況下第二類華羅庚域與單位超球間的極值映照和極值.

極值問(wèn)題; 華羅庚域; 最小外切橢球

多復(fù)變函數(shù)論中的核心問(wèn)題之一就是在雙全純映照下域的分類問(wèn)題.在多復(fù)變的理論中,有許多單連通區(qū)域是彼此不全純等價(jià)的,而證明2個(gè)域全純等價(jià)就需要采取某種合適的方法.極值問(wèn)題可以看作是復(fù)平面上經(jīng)典的Schwarz引理在高維的一個(gè)類似[1],也可以認(rèn)為是復(fù)平面上經(jīng)典的Schwarz引理在高維的一個(gè)推廣[2].通過(guò)極值問(wèn)題的研究,可以得到把一個(gè)域映為單位圓盤的極值映照,并能得到極值距離.利用極值距離,可以來(lái)衡量2個(gè)域是否雙全純等價(jià).討論的極值問(wèn)題如下:

設(shè)M為Cn中的一個(gè)域,p為M中的一個(gè)點(diǎn).假設(shè)Mp記為域點(diǎn)對(duì)(M,p)(為簡(jiǎn)單計(jì),稱之為“點(diǎn)域”),對(duì)于2個(gè)點(diǎn)域Mp與Nq,記Hol(Mp,Nq)為由所有將M映入N且將點(diǎn)p映為點(diǎn)q的全純映照所組成的集合.對(duì)于一個(gè)映照f(shuō)∈Hol(Mp,Nq),如果成立

|detdf(p)|=

則稱f為Carathéodory極值映照,而|det df(p)|稱為Carathéodory極值,分別簡(jiǎn)稱為C-極值映照與C-極值.

要研究極值的有關(guān)問(wèn)題,當(dāng)然很重要的一個(gè)問(wèn)題是關(guān)于極值映照和極值的計(jì)算問(wèn)題.在這方面,C.Carathéodory[3]做了開(kāi)創(chuàng)性的工作,得到了多圓柱到單位超球的極值;后來(lái),Y.Kubota[4-7]用較復(fù)雜函數(shù)的級(jí)數(shù)展開(kāi)分析方法得到了Cartan域到單位超球的極值;關(guān)于復(fù)橢球與單位超球間的極值和極值映照由Ma D.W.[2,8]所得到.

華羅庚域是Yin W.P.等[9]在對(duì)稱典型域的基礎(chǔ)上建立的,是4類典型域的推廣.作為華羅庚域的2個(gè)特例超Cartan域和Cartan-Egg域,它們到單位超球的極值和極值映照已經(jīng)得到一些結(jié)果.如第一類超Cartan域到單位超球的極值和極值映照由文獻(xiàn)[9]得到;第二類超Cartan域到單位超球的極值和極值映照由文獻(xiàn)[10]得到;第三類超Cartan域到單位超球的極值和極值映照由文獻(xiàn)[11]得到;第四類超Cartan域到單位超球的極值與極值映照由文獻(xiàn)[12]得到;文獻(xiàn)[13]構(gòu)造了比超Cartan域更廣的一類Hartogs域,得到了從這類Hartogs域到單位超球的極值和極值映照;第一類Cartan-Egg域到單位超球的極值與極值映照由文獻(xiàn)[14]得到.

對(duì)于一般的華羅庚域到單位超球的極值和極值映照的研究目前較少,已知第一類華羅庚域到單位超球的極值和極值映照由文獻(xiàn)[15]得到.本文在文獻(xiàn)[15]所用方法的基礎(chǔ)上,討論了第二類華羅庚域到單位超球的極值與極值映照.

1 預(yù)備知識(shí)

設(shè)Cartan的第二類不可約有界對(duì)稱域?yàn)镽II(p),即

其中,I為p階單位方陣,Z是p階對(duì)稱復(fù)方陣,即

(1)

在不引起混淆的情況下不加區(qū)分Z和z.

下面給出第二類華羅庚域,其形式如下

其中

N1,N2,…,Nr為正整數(shù),p1,p2,…,pr為正實(shí)數(shù).

(2)

(3)

時(shí),則有

下面記

下面定義Hermite橢球.Hermite橢球指形如

的把原點(diǎn)映為原點(diǎn)的全純映射的集合,則Carathéodory極值問(wèn)題是求一個(gè)極值映射

使得

為了給出主要結(jié)果,下面給出一些引理.

引理 1.1[2]設(shè)D是Cn中包含原點(diǎn)的一個(gè)域,Bn為Cn中的單位球,若l是一個(gè)復(fù)線性映照,使得l(D)?Bn,則l-1(Bn)必為一個(gè)包含D的Hermite橢球.如果l是如下極值問(wèn)題的一個(gè)解

則l-1(Bn)必為D的一個(gè)具有最小體積的外切Hermite橢球.

其中,ai>0,b>0(i=1,2,…,r).

由文獻(xiàn)[16]知,對(duì)任何p階對(duì)稱復(fù)方陣Z都存在p階酉方陣Up×p使得

對(duì)于任意給定的a1,…,ar,b(ai>0,b>0,i=1,2,…,r),作函數(shù)

其中

(5)

下的最大值,其中0≤hi≤1,0≤λl≤1,i=1,2,…,r;l=1,2,…,p.

引理 1.3[15]當(dāng)pi>p(i=1,2,…,r)時(shí),F(h1,…,hr;λ1,…,λp)在(5)式條件下存在唯一駐點(diǎn)并在駐點(diǎn)處取得最大值,其中0≤hi≤1,i=1,2,…,r.

最后,尋求函數(shù)

(6)

2 主要結(jié)論

其中

證明 在條件(5)下,求函數(shù)(4)的最大值,進(jìn)而求函數(shù)(6)的最小值.下面考慮函數(shù)

由

得:

(7)

(8)

(8)式關(guān)于l相乘得

(9)

(8)式×(1-λl)相加得

(10)

由(8)～(10)式可得:

(12)

由上述各式可解得:

(13)

(13)式只能當(dāng)作解出的函數(shù),并無(wú)顯示表達(dá).

由引理1.4,令

下面求

的最小值,實(shí)際求其最小值點(diǎn).由文獻(xiàn)[15]知最小值點(diǎn)為其唯一的駐點(diǎn).

令

(15)

由(5)式(看做ai,i=1,2,…,r,b的函數(shù))對(duì)aj(j=1,2,…,r)、b求偏導(dǎo),并利用(7)和(8)式知:

故(14)和(15)式分別變?yōu)?

(16)

由(16)式得

由(17)式得

(19)

(18)與(19)式兩端對(duì)應(yīng)相比得

解之得

(20)

由(16)式及

得

(21)

由(18)式得

(22)

由(20)～(22)式可解出

(23)

再由(12)式進(jìn)而解出

(24)

(16)和(17)式移項(xiàng)相比并代入(20)和(23)式得

將(24)、(25)式代入(7)式×hj得

由此得

將(24)和(26)式代入(7)式得

(27)

于是根據(jù)極值定義、引理1.1及定理2.1可得下面的定理.

1≤u≤v≤p,

其中,wj=(wj1,…,wjNj),j=1,2,…,r,

f:HEII(N1,…,Nr;p;p1,…,pr)→

i=1,2,…,r;j=1,2,…,Ni,

從而可得如下定理.

定理 2.3 當(dāng)pi>p時(shí),HEII(N1,…,Nr;p;p1,…,pr)到單位超球B的極值映照為:

f:HEII(N1,…,Nr;p;p1,…,pr)→B,

i=1,2,…,r;j=1,2,…,Ni,

其中,wi=(wi1,…,wiNi),i=1,2,…,r,

于是根據(jù)極值定義及定理2.3可得:

定理 2.4 當(dāng)pi>p時(shí),HEII(N1,…,Nr;p;p1,…,pr)到單位超球B的極值為

其中

[1] TRAVAGLINI G.An analogue of the Schwarz lemma for bounded symmetric domains[J].Proc Am Math Soc,1983,88(1):85-88.

[2] MA D W.Carathéodory extremal maps of ellipsoids[J].J Math Soc Japan,1997,49(4):723-739.

[3] CARATHéODORY C.über die abbildungen,die durch systeme von analytischen funktionen von mehreren veranderlichen erzeugt werden[J].Math Z,1932,34(1):758-792.

[4] KUBOTA Y.An extremal problem on bounded symmetric domains[J].Bull London Math Soc,1983,15(2):126-130.

[5] KUBOTA Y.An extremal problem on the classical Cartan domains I[J].Kodai Math J,1981,4(2):278-287.

[6] KUBOTA Y.An extremal problem on the classical Cartan domains II[J].Kodai Math J,1982,5(2):218-224.

[7] KUBOTA Y.An extremal problem on the classical Cartan domains III[J].Kodai Math J,1982,5(3):402-407.

[8] MA D W.Invariant Metrics on Domains[D].Washionton:Washionton University,1990.

[9] YIN W P,SU J B.Extremal problem on super-Cartan domain of the first type[J].Complex Variables,2003,48(5):441-452.

[10] 趙昕.第二類Cartan-Hartogs域上的極值問(wèn)題[D].北京:首都師范大學(xué),2006.

[11] 劉知音.第三類Cartan-Hartogs域上的極值問(wèn)題[D].北京:首都師范大學(xué),2007.

[12] LI H T,SU J B.Extremal problem on super-Cartan domain of the fourth type[J].Acta Math Sin,2008,51(3):541-548.

[13] WANG A,HEUNGJU A,PARK J D.Minimal circumscribed Hermitian ellipsoid of Hartogs domains and an application to an extremal problem[J].Sci China:Math,2009,A52(8):1699-1716.

[14] SU J B,LI H T.The extremal problem on Cartan-egg domain of the first type[J].Chin Quart J Math,2011,26(3):343-349.

[15] SU J B,YIN W P.Extremal problems on the Hua domain of the first type[J].Sci China:Math,2005,A48(S1):343-354.

[16] 陸啟鏗.典型流形與典型域[M].上海:上?？茖W(xué)技術(shù)出版社,1963.

[17] 李小飛,王安平,熊良鵬.一類利用Salagean算子定義的解析函數(shù)族[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2013,36(5):678-681.

[18] 秦川,李小飛.一類利用復(fù)合算子函數(shù)定義的解析函數(shù)類的包含性質(zhì)[J].四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2015,38(3):376-380.

2010 MSC:32A07

(編輯 余 毅)

Extremal Problem on the Hua Domain of the Second Type

LI Haitao1,SU Jianbing2,WANG Yanyong3

(1.KewenCollege,JiangsuNormalUniversity,Xuzhou221116,Jiangsu;2.SchoolofMathematicsandStatistics,JiangsuNormalUniversity,Xuzhou221116,Jiangsu;3.DepartmentofMathematics,LvliangCollege,Lvliang033000,Shanxi)

In this paper,the extremal problem on the Hua domain of the second type is discussed.The extremal problem can be considered to be similar to the classical Schwarz lemma and also be an extension of the classical Schwarz lemma in high dimension.In some cases,we obtain the extremal mapping and the extremal value between the Hua domain of the second type and the unit ball by determining the minimal circumscribed ellipsoid of the Hua domain of the second type.

extremal problem; Hua domain; the minimal circumscribed ellipsoid

2016-05-25

國(guó)家自然科學(xué)基金(11171285)

李海濤(1981—),男,講師,主要從事多復(fù)變函數(shù)論的研究,E-mail:lihaitaolht@163.com

O174.56

A

1001-8395(2017)02-0193-06

10.3969/j.issn.1001-8395.2017.02.009