范美玲

（汕頭大學(xué)理學(xué)院，廣東 汕頭 515063）

0 引言

傅立葉限制性問(wèn)題的研究一直是調(diào)和分析中的熱點(diǎn)之一.1967年，E.M.Stein提出對(duì)于給定的Lp可積函數(shù)f，限制f的傅立葉變換?到n－1維球面S上，則（A＜CB，其中C為常數(shù)，在此簡(jiǎn)記為，A?B）成立當(dāng)且僅當(dāng)，這個(gè)問(wèn)題后來(lái)被稱之為限制性問(wèn)題.Fefferman和Stein[1]證明了在n＝2時(shí)除端點(diǎn)之外的所有情況成立，Zygmund[2]在1974年給出了端點(diǎn)處的證明.Cordoba[3]在1977年用不同的方法證明二維的情形是成立的.對(duì)于高維情形，雖然已經(jīng)得到了很多豐富的結(jié)果，但到目前為止它仍然未被解決，其中一個(gè)較好的結(jié)果是由Tomas和Stein[4]給出的，他們證明了當(dāng) q＝2 且成立.但是他們的證明充分利用L2空間的性質(zhì)，對(duì)于一般的q，該方法不能推廣，而這也是限制性問(wèn)題困難所在.眾所周知，傅立葉限制性問(wèn)題，Kakeya極大函數(shù)問(wèn)題和Bochner-Riesz求和問(wèn)題等都是相互關(guān)聯(lián)的，著名數(shù)學(xué)家Wolff，Bourgain，F(xiàn)efferman，Tao等在這些問(wèn)題的研究上取得了一系列進(jìn)展（見(jiàn)文獻(xiàn)[5]），與其相關(guān)的方法和技巧已經(jīng)廣泛應(yīng)用于PDE，譜理論，數(shù)論等.本文是在他們研究的基礎(chǔ)上進(jìn)一步拓廣傅立葉限制性問(wèn)題的內(nèi)容，我們限制f的傅立葉變換在橢球面上，給出橢球面上限制性問(wèn)題對(duì)應(yīng)的指標(biāo)p，q所必須滿足的條件，并證明二維是成立的.

1 定理的提出

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

首先我們回顧經(jīng)典球面上的限制性猜測(cè)，它具體描述如下：

針對(duì)該問(wèn)題，一個(gè)非常自然的想法是將球面換成橢球面，相關(guān)的結(jié)論是否還成立，這也是本文的出發(fā)點(diǎn).為方便敘述，本文均假定E為下面形式的橢球面，，相對(duì)應(yīng)的面測(cè)度為dσ.那么本文的主要結(jié)論如1.2.

1.2 主要結(jié)論

在該定理的基礎(chǔ)上，一個(gè)非常自然的想法是反過(guò)來(lái)是否成立，即下面的猜測(cè).

猜測(cè)（橢球面的傅立葉限制性猜測(cè)）

它和球面限制性問(wèn)題一樣，對(duì)于高維情形，困難依然存在，但是我們可以給出二維的證明，這也是本文的第二個(gè)主要結(jié)論.

定理2（二維的橢球面限制性定理）

2 定理1的證明

為證明定理1，先給下面的引理.

證明：證明思路是構(gòu)造函數(shù)f，使f的傅立葉變換集中在E′附近.

這樣就完成了引理1的證明.

定義1：φ 是實(shí)值的 C∞（Rn）函數(shù)，a（x）是函數(shù)，定義是參數(shù).

引理2[6]若 Ω?Rn是開(kāi)集，φ（x）:Ω→R 是 C∞函數(shù)，p∈Ω 且 φ（p）≠0，a（x）支撐在p的一個(gè)小鄰域內(nèi)，則對(duì)任意N，

引理3[6]若Ω?Rn是開(kāi)集，φ（x）:Ω→R是C∞函數(shù)，在p點(diǎn)的Hessian矩陣H（φP）可逆，令σ是H（φP）的正負(fù)符號(hào)差，且a（x）支撐在p的一個(gè)小鄰域內(nèi)，，則對(duì)于任意N，

這樣就完成了定理1的證明.

3 定理2的證明

要證明定理2，我們需要下面的引理4.

引理4[8]分割圓S的弧間距和θ相互控制，若f和g支撐在S的不同θ弧上，則

首先，要證定理2成立，我們只需證明其對(duì)偶形式成立.即證明?p′＞4 且 p′≥3q.

事實(shí)上，我們可以進(jìn)一步簡(jiǎn)化指標(biāo)，即在條件p′＝3q＞4下成立即可.

首先注意到

我們先把在橢圓上的積分轉(zhuǎn)化到圓上，詳細(xì)過(guò)程見(jiàn)式（1）.

我們用Whitney分解方法[9]處理上述估計(jì)式，把圓周S平均分成2n等份，平分后所有圓弧的集合記作An.那么對(duì)任意n≥0，在n階段分割后所得的任意圓弧在n＋1階段都有兩個(gè)子體.定義I～J:I，J不相鄰，I，J∈An，但存在n，使得他們的母體相鄰.那么它具有下面的性質(zhì)：?x≠y，?，I～J，s.t x∈I，y∈J.從而，

其中dμI＝χ（Ix）dμ（x），dμJ＝χ（Jx）dμ（x）.故有