肖金秀，賀 群，陳志華，邱春暉

（1.上海工程技術(shù)大學(xué) 高職學(xué)院，上海200437；2.同濟大學(xué) 數(shù)學(xué)系，上海200092；3.廈門大學(xué) 數(shù)學(xué)科學(xué)學(xué)院，福建 廈門361005）

文獻[1－5]給出了實Finsler流形間的調(diào)和映射的一些開創(chuàng)性成果.而對于復(fù)Finsler流形的情形，基于比實Finsler流形更復(fù)雜，更不同于Hermite度量的實部即為Riemann度量，復(fù)Finsler度量的實部不再是實Finsler度量，導(dǎo)致復(fù)Finsler流形間的調(diào)和映射 的研究更復(fù)雜.文獻[6]通過考慮?－－能量變分研究了緊Riemann曲面到復(fù)Finsler流形上的調(diào)和映射.最近，文獻[7]則通過計算能量變分和應(yīng)用文獻[8]中的非線性橢圓系統(tǒng)研究了復(fù)Finsler流形到Hermite流形上的調(diào)和映射，并且得到有關(guān)K?hler Finsler流形到復(fù)流形間調(diào)和映射的存在性定理.

本文，通過定義其上的整體內(nèi)積得到相應(yīng) 的伴隨算子和Laplace算子，并且巧妙地給出了復(fù)Finsler度量和實Finsler度量之間的關(guān)系，得到了復(fù)Finsler流形間調(diào)和 映射的能量泛函與?－能量泛函和?－－能量泛函之間的關(guān)系式，并且通過技巧性的計算分別得到了他們的變分公式，從而給出了調(diào)和映射的定義；由于復(fù)Finsler流形中有關(guān)復(fù)Finsler度量的聯(lián)絡(luò)系數(shù)不僅和底流形上的點有關(guān)而且和纖維也有關(guān)，進而導(dǎo)致?－能量與?－－能量之差不是同倫不變的.

1 預(yù)備知識

設(shè)M為復(fù)n維的復(fù)流形，（zk）為其局部坐標，T1，0M為其全純切叢.設(shè)u＝（zk，ηk）∈T1，0M，F(xiàn)（u）為強擬凸復(fù)Finsler度量，由zk＝xk＋ixn＋k和ηk＝y(tǒng)k＋iyn＋k知，實函數(shù)F（u）＝（xa，yb）不再是TRM＼｛0｝上實Finsler度量.若（gjk－）確定的矩陣是正定的，則稱gjk－是強凸的[9].因此，Munteanu引進不同于Abate和Patrizio的方法，實的度量結(jié)構(gòu)不是由決定，而是由矩陣gjk－的實部確定.

命題1[9]設(shè)（z，η）由強擬凸復(fù)Finsler度量F誘導(dǎo)T1，0M上的 Hermite度量 ，則L2（x，y）：＝gab（x，y）yayb為一實Finsler度量，其中g(shù)

式中：Re表示實部；Im表示虛部.

稱L為強擬凸復(fù)Finsler度量F誘導(dǎo)的實Finsler度量.設(shè)的逆矩陣，即為），由可得：

設(shè)C＊＝C＼｛0｝，射影切叢PTM定義為PTM＝／C＊且∶PTM→M，則PTM上的Finsler幾何量關(guān)于切向量（即纖維坐標）是零齊次的.令∧δηn，PTM 體積形式為dV＝dτ∧d∧ dσ ∧d（參見[10－11]）.

引理1 設(shè)（M，F(xiàn)）為緊強擬凸復(fù)Finsler流形.則對于所有射影切叢PTM上的函數(shù)f，

因此，

在PTM上積分得

由式（3）得

引理2 設(shè)（M，F(xiàn)）為緊強擬凸復(fù)Finsler流形.若T1，0M上的光滑函數(shù)f滿足f（z，λη）＝λ－f（z，η），則

而有

因此

2 調(diào)和映射

設(shè)（M，F(xiàn)）為n維緊強擬凸復(fù)Finsler流形，（N，L）為m維強擬凸復(fù)Finsler流形.設(shè)f：M→N為非退化光滑映射.記M的局部坐標為｛zi｝以及｛ωμ｝為N的局部坐標，f局部可表示為

設(shè)有關(guān)度量F的Chern－Finsler聯(lián)絡(luò)的聯(lián)絡(luò)系數(shù)為有關(guān)度

量L的聯(lián)絡(luò)的聯(lián)絡(luò)系數(shù)為

其中f既非全純也非反全純.否則，若f全純則e″（f）＝0；若f反全純則e′（f）＝0.f的?－能量泛函和?－－的能量泛函可定義為

由引理2，公式（6）可重寫為

從而式（7）也可重寫為

記TRM的實局部坐標為（x1，…，x2n，y1，…，y2n）及TRN的實局部坐標為（x～1，…，x～2m，y～1，…，y～2m），其中zi＝xi＋ixn＋i，ωμ＝x～μ＋ix～m＋μ，則

其中1≤a，…≤2m，1≤b，…≤2n且

1≤a，c…≤2m，1≤b，d…≤2n.根據(jù)式（1）—（2），得

從而，f的能量密度可定義為.由式（6），（11），有

且

則，

現(xiàn)考慮f＝f0的光滑變分，即一族光滑映射ft∶M→N，t∈D＝ ｛z∈C｜｜z｜＜ε｝.

則f的?－能量泛函和?－－能量泛函變分為

由變分｛ft｝誘導(dǎo)上的向量為

且

則

由引理2得

且

類似地，

以及

因此，有

定理1 設(shè)（M，）為緊強擬凸復(fù)Finsler流形，（N，L）為強擬凸復(fù)Finsler流形.若f：（M，F(xiàn)）→（N，L）為非退化且非反全純映射，?－能量泛函的第一變分為

其中

以及

和

類似地，

定理2 設(shè)（M）為緊強擬凸復(fù)Finsler流形，（N，L）為強擬凸復(fù)Finsler流形.若f：（M，F(xiàn)）→（N，L）為非退化且非全純映射.則－能量泛函的第一變分為

其中：

以及

和

注意1 若（N，L）為Hermite流形同樣可以得到文獻 [7]中的定理3.1.

注意2 若（M，F(xiàn)）為緊Riemann曲面，可以得到文獻[6]中的結(jié)果.

令

則，

定理2 在復(fù)Finsler流形上，K（f）不是同倫不變的.

由式（17）和（18）知，對于 K?ahler流形間的光滑映射f，K（f）是同倫不變的.

[1] He Q，Shen Y B.Some results on harmonic maps for Finsler manifolds[J].International Journal of Mathematics，2005（16）：1017.

[2] He Q，Shen Y B.Some properties of harmonic maps for Finsler manifolds[J].Houston Journal of Mathematics，2007（33）：683.

[3] Mo X H.Harmonic maps from Finsler manifolds[J].Illinois Journal of Mathematics，2001，45（4）：1331.

[4] Mo X H，Yang Y.The existence of harmonic maps from Finsler manifolds to Riemannian manifolds[J].Science in China Series A：Mathematics，2005，48（1）：115.

[5] Shen Y B，Zhang Y.Second variation of harmonic maps between Finsler manifolds[J].Science in China Series A：Mathematics，2004，47（1）：39.

[6] Nishikawa S.Harmonic maps of Finsler manifolds[C]∥Topics in Differential Geometry. Bucharest： Editura Academidi Romane，2008：207－247.

[7] Han J W，Shen Y B.Harmonic maps from complex Finsler manifolds[J].Pacific Journal of Mathematics，2008，236（2）：341.

[8] Jost J，Yau S T.A nonlinear elliptic system for maps from Hermitian to Riemannian manifolds and rigidity theorems in Hermitian geometry[J].Acta Mathematica，1993，170（2）：221.

[9] Munteanu G.Complex spaces in Finsler，Lagrange and Hamilton geometries [M]. [S.l.]：Kluwer Academic Publishers，2004.

[10] Xiao J X，Zhong T D，Qiu C H.Bochner technique in Strongly K?hler Finsler manifolds[J].Acta Mathematica Scientia，2010，30（B1）：89.

[11] Bland J，Kalka M.Variations of holomorphic curvature for K?hler Finsler metrics[J].Contemporary Mathematics，1996（196）：121.