G. Schechtman* ve J. Zinn**
*Kısmen US-Israel BSF ve Glikson Vakfı tarafından desteklenmiştir.
**Kısmen NSF DMS-86-01250 ve Texas Advanced Research Program Grant no. 3825 tarafından desteklenmiştir.
arXiv:math/9201206v1 [math.FA] 9 Nov 1989
1. Giriş
Bu notta aşağıdaki problem ele alınmaktadır; bu problemin $p = 1, q = 2$ durumu bize Vitali Milman tarafından tanıtılmıştır: $\ell_p^n$ yuvarından, $\ell_q^n$ yuvarının $t$ katını çıkardıktan sonra geriye kalan hacim nedir? $\ell_r^n$ yuvarının $$\left\{ (t_1, t_2, \dots, t_n) \in \mathbb{R}^n ; \sum_{i=1}^n |t_i|^r \le 1 \right\}$$ kümesi olduğunu hatırlayalım ve $0 < p < q < \infty$ için $\ell_q^n$ yuvarının $\ell_p^n$ yuvarının içinde kaldığına dikkat edelim.
Aşağıdaki Sonuç 4'te, Lebesgue ölçüsünü $\ell_p^n$ yuvarının hacmi bir olacak şekilde normalize ettikten sonra, yukarıdaki problemin cevabının, $T < t < \frac{1}{2} n^{1/p - 1/q}$ için $e^{-c t^p n^{p/q}}$ mertebesinde olduğunu gösteriyoruz; burada $c$ ve $T$ değerleri $p$ ve $q$'ya bağlı olup $n$'den bağımsızdır.
Ana teorem olan Teorem 3, $\ell_p^n$ küresinin yüzey ölçüsü için karşılık gelen soruyla ilgilenmektedir. Teorem 3 ve Sonuç 4, diğer bazı açıklamalarla birlikte Bölüm 3'ü oluşturmaktadır. Bölüm 2'de, ana teoremin kanıtında kullanılacak bir rastgele değişkenler sınıfı tanıtılmaktadır. Bu rastgele değişkenler, Gauss değişkenlerinin $\ell_2^n$ ile ilişkili olduğu şekilde $\ell_p^n$ ile ilişkilidir.
2. Ön Hazırlıklar
Burada, ana teoremin kanıtında kullanılacak bir rastgele değişkenler sınıfı tanıtmakta ve bunların bazı özelliklerini özetlemekteyiz.
$0 < p < \infty$ değerini sabitleyelim ve $x, x_1, x_2, \dots, x_n$ değişkenleri, her biri $c_p e^{-t^p}$, $t > 0$ yoğunluk fonksiyonuna sahip bağımsız rastgele değişkenler olsun. Zorunlu olarak $c_p = p/\Gamma(1/p)$ olduğuna dikkat edin. Birinci iddia bilinmektedir, ancak bir referans bulamadık.
Lemma 1. Şöyle tanımlayalım: $S = \left(\sum_{i=1}^n x_i^p\right)^{1/p}$, o halde: $$\left( \frac{x_1}{S}, \frac{x_2}{S}, \dots, \frac{x_n}{S} \right)$$ ifadesi, $\ell_p^n$ küresinin pozitif kadranı üzerinde, yani: $$\Delta_p = \left\{ (t_1, t_2, \dots, t_n) ; t_i \ge 0, \sum_{i=1}^n t_i^p = 1 \right\}$$ kümesi üzerinde, $(n-1)$-boyutlu normalize edilmiş Lebesgue ölçüsüyle düzgün dağılmıştır. Dahası, $\left( \frac{x_1}{S}, \frac{x_2}{S}, \dots, \frac{x_n}{S} \right)$ ifadesi $S$'den bağımsızdır.
Proof. $\Delta_p$'nin herhangi bir Borel $A$ alt kümesi için, $$P\left( \left. \left( \frac{x_1}{S}, \dots, \frac{x_n}{S} \right) \in A \right| S = a \right) = \lim_{\epsilon \to 0} \frac{P((x_1, \dots, x_n) \in \mathbb{R}^+ A \text{ ve } a - \epsilon \le S \le a + \epsilon)}{P(a - \epsilon \le S \le a + \epsilon)}$$ $$= \lim_{\epsilon \to 0} \frac{\int_{(a-\epsilon)^p < \sum t_i^p < (a+\epsilon)^p, (t_1, \dots, t_n) \in \mathbb{R}^+ A} e^{-\sum t_i^p} dt}{\int_{(a-\epsilon)^p < \sum t_i^p < (a+\epsilon)^p, (t_1, \dots, t_n) \in \mathbb{R}_+^n} e^{-\sum t_i^p} dt}$$ $$\le \lim\sup_{\epsilon \to 0} \frac{e^{-(a-\epsilon)^p} \int_{(a-\epsilon)^p < \sum t_i^p < (a+\epsilon)^p, (t_1, \dots, t_n) \in \mathbb{R}^+ A} dt}{e^{-(a+\epsilon)^p} \int_{(a-\epsilon)^p < \sum t_i^p < (a+\epsilon)^p, (t_1, \dots, t_n) \in \mathbb{R}_+^n} dt}$$ $$= \lambda(A)$$ olur; burada $\mathbb{R}^+ A = \{r u ; u \in A, r \ge 0\}$'dir ve $\lambda$ ifadesi $\Delta_p$ üzerindeki normalize edilmiş Lebesgue ölçüsüdür. Bu durum şunu gösterir: $$P\left( \left. \left( \frac{x_1}{S}, \dots, \frac{x_n}{S} \right) \in A \right| S = a \right) = \lambda(A)$$ ve $\left( \frac{x_1}{S}, \dots, \frac{x_n}{S} \right)$ ifadesi $S$'den bağımsızdır. $\square$
Bir sonraki iddiada $x_i$ rastgele değişkenlerinin bazı özelliklerini daha bir araya getiriyoruz.
Lemma 2. $x, x_1, \dots, x_n$ yukarıdaki gibi olsun, o halde: 1. $p \to \infty$ iken $c_p$ sıfırdan ve sonsuzdan uzakta sınırlıdır. 2. Tüm $h > 0$ ve tüm $0 < p < \infty$ için, $E e^{-h x^p} = \left( \frac{1}{1+h} \right)^{1/p}$ olur. Özellikle, tüm $h > 0$ için $E e^{-h x^p} \ge e^{-h/p}$ ve tüm $0 < h \le 1$ için $E e^{-h x^p} \le e^{-h/2p}$ sağlanır. 3. Tüm $0 < u < \infty$ ve tüm $0 < p < \infty$ için, $P(x^p > u) \ge c_p \frac{1}{2p} e^{-2u}$ olur. Eğer $p \ge 1$ ve $u \ge 1$ ise, o zaman $P(x^p > u) \le c_p \frac{1}{p} e^{-u/2}$ de sağlanır. Özellikle, $p \ge 1$ ve tüm $u$ için, bazı evrensel $C$'ler için $P(x^p > u) \le C e^{-u/2}$ olur. 4. Tüm $1 \le p \le q < \infty$ için, $E \left( \sum_{i=1}^n x_i^q \right)^{1/q}$ beklendik değeri, evrensel sabitlerle, eğer $q \le \log n$ ise $q^{1/p} n^{1/q}$ ifadesine ve aksi takdirde $(\log n)^{1/p}$ ifadesine eşdeğerdir.
Proof.
Bu durum $c_p = p/\Gamma(1/p) = \Gamma(1/p + 1)^{-1}$ olmasından kolayca çıkar.
Basit bir hesaplamadır.
Bu da basittir, işte kanıtın taslağı: $$P(x^p > u) = c_p \int_{u^{1/p}}^\infty e^{-t^p} dt = c_p \int_u^\infty \frac{1}{p t^{(p-1)/p}} e^{-t} dt$$ $$\ge c_p \int_u^{u+1} \frac{1}{p t^{(p-1)/p}} e^{-t} dt \ge \frac{c_p (1 - e^{-1})}{p (u+1)^{(p-1)/p}} e^{-u} \ge c_p \frac{1}{2p} e^{-2u}\ .$$ Ve eğer $p \ge 1$ ve $u \ge 1$ ise: $$P(x^p > u) = c_p \int_u^\infty \frac{1}{p t^{(p-1)/p}} e^{-t} dt \le c_p \int_u^\infty \frac{1}{p} e^{-t} dt = \frac{c_p}{p} e^{-u}\ .$$
Değişkenlerin basit bir değişimiyle, $$E x^q = \frac{c_p}{p} \Gamma\left( \frac{q+1}{p} \right)\ ,$$ elde edilir; öyle ki üçgen eşitsizliği ve 1. madde gereği, eğer $1 \le p \le q < \infty$ ise: $$E \left( \sum_{i=1}^n x_i^q \right)^{1/q} \le \left( E \sum_{i=1}^n x_i^q \right)^{1/q} = n^{1/q} (E x^q)^{1/q} \le C q^{1/p} n^{1/q}$$ olur (bazı evrensel $C$'ler için). $q \le \log n$ durumundaki alt sınır için, $\{1, 2, \dots, n\}$ kümesini eleman sayısı yaklaşık $e^q$ olan yaklaşık $n/e^q$ tane ayrık $\sigma_j$ kümesine bölelim, o halde: $$E \left( \sum_{i=1}^n x_i^q \right)^{1/q} \ge E \left( \sum_j \max_{i \in \sigma_j} x_i^q \right)^{1/q} \ge \left( \sum_j E \max_{i \in \sigma_j} x_i^q \right)^{1/q} \ge c q^{1/p} n^{1/q}$$ elde edilir. $p$'nin mutlak bir katından daha küçük $n$'ler için, alt sınır $E \left( \sum_{i=1}^n x_i^q \right)^{1/q} \ge E x_1 \ge c$ gerçeğinden kolayca çıkar. Eğer $q > \log n$ ise, o zaman $\left( \sum_{i=1}^n x_i^q \right)^{1/q}$ ifadesi evrensel olarak $\max_{1 \le i \le n} x_i$ ifadesine eşdeğerdir. Bu durumdaki üst sınır şundan elde edilir: $$P\left( \max_{1 \le i \le n} x_i > t \right) \le n P(x > t) \le n C e^{-t^p/2}$$ ($t \ge 1$ için). Alt sınırı okuyucuya bırakıyoruz. $\square$
maddede yer alan ifadenin $p = 2$ durumu, ilk yazar tarafından birkaç yıl önce $\ell_p^n$ uzaylarının Öklid kesitlerinin boyutu için kesin bir tahmin ararken fark edilmişti (bkz. [MS] s. 145 Remark 5.7). Orijinal kanıt daha karmaşıktı. Burada sunulan kanıt, J. Bourgain tarafından bize gösterilen $p = 2$ durumunun kanıtının bir uyarlamasıdır.
3. Ana Sonuç
Teorem 3. Her $1 \le p < q < \infty$ için öyle $c = c(p, q)$, $C = C(p, q)$ ve $T = T(p, q)$ sabitleri mevcuttur ki, eğer $\mu$, $\ell_p^n$ birim küresinin pozitif kadranı üzerindeki normalize edilmiş Lebesgue ölçüsünü gösterirse: $$\mu\left( \|u\|_{\ell_q^n} > t \right) \le \exp\left( -c t^p n^{p/q} \right)\tag{1}$$ olur (tüm $t > T$ için) ve: $$\mu\left( \|u\|_{\ell_q^n} > t \right) \ge \exp\left( -C t^p n^{p/q} \right)\tag{2}$$ olur (tüm $2 \le t \le \frac{1}{2} n^{1/p - 1/q}$ için). Dahası, $q > 2p$ (veya $p$'nin başka bir evrensel pozitif katı) için, $c(p, q) = \gamma p$, $C(p, q) = \Gamma p$ ve $T(p, q) = \tau \min\{q, \log n\}^{1/p} \le q^{1/p}$ alınabilir. Burada $\gamma$, $\Gamma$ ve $\tau$ evrensel sabitlerdir.
Proof. Yukarıdaki Lemma 1 gereği, $$\mu\left( \|u\|_{\ell_q^n} > t \right) = P\left( n^{1/p - 1/q} \left( \sum_{i=1}^n x_i^q \right)^{1/q} / \left( \sum_{i=1}^n x_i^p \right)^{1/p} > t \right)$$ olur; burada $x_i$, her biri $c_p e^{-t^p}$ yoğunluğuna sahip bağımsız rastgele değişkenlerdir. Gösterimin sadeliği için $n$'nin çift olduğunu varsayalım. $S = \left(\sum_{i=1}^n x_i^p\right)^{1/p}$ olarak tanımlayalım ve $p_j$, $j = 1, \dots, n/2$, şu koşulu sağlayacak şekilde olsun: $$P\left( n^{1/p - 1/q} \left( \sum_{i=1}^n x_i^q \right)^{1/q} > t S \right) \le P\left( n^{1/p - 1/q} \left( \sum_{i=1}^{n/2} x_i^{*q} \right)^{1/q} > t S / 2 \right) + P\left( n^{1/p - 1/q} \left( \sum_{i=n/2 + 1}^n x_i^{*q} \right)^{1/q} > t S / 2 \right)$$ $$\le \sum_{j=1}^{n/2} p_j + P\left( n^{1/p - 1/q} \left( \sum_{i=n/2+1}^n x_i^{*q} \right)^{1/q} > t S / 2 \right)\tag{3}$$ burada $\{x_j^*\}$, $\{|x_j|\}$ dizisinin artan olmayan yeniden düzenlemesini gösterir ve: $$p_j = P\left( x_j^* > \frac{t S}{2 j^{1/q} n^{1/p - 1/q}} \right)$$ olarak tanımlanır. $$\sum_{i=n/2+1}^n x_i^{*q} \le x_{n/2}^{*(q-p)} \sum_{i=n/2+1}^n x_i^{*p} \le \left( \frac{2}{n} \sum_{i=1}^{n/2} x_i^{*p} \right)^{(q-p)/p} S^p \le 2^{q/p - 1} n^{1 - q/p} S^q\ ,$$ olduğundan, $t \ge 2^{1/p}$ ise, (3) ifadesindeki ikinci terimin sıfır olduğunu görürüz.
(3) ifadesindeki birinci terimi değerlendirmek için, $1 \le j \le n/2$ değerini sabitleyelim. O halde, $$p_j \le \binom{n}{j} P\left( x_1, \dots, x_j > \frac{t S}{2 j^{1/q} n^{1/p - 1/q}} \right)$$ $$\le \binom{n}{j} E \exp\left( - \frac{j^{1 - p/q} t^p}{2^p n^{1-p/q}} \sum_{i=j+1}^n x_i^p \right)$$ $$\le \exp\left( j \log\left( \frac{e n}{j} \right) + C j - c \frac{j^{1 - p/q} t^p n^{p/q}}{p} \right)\tag{4}$$ olur (bazı evrensel $C$ sabitleri için). Şimdi, birazdan seçilecek olan $\alpha$ için, $p_j$ ($j = 1, \dots, n/2$) şu koşulu sağlayacak şekilde olsun: $$p_j \le \exp\left( -\alpha j^{1 - p/q} t^p n^{p/q} \right)\tag{5}$$ ne zaman ki: $$j \log\left( \frac{e n}{j} \right) + C j \le \frac{1}{2} c \frac{j^{1 - p/q} t^p n^{p/q}}{p}$$ sağlanırsa, bu da $t > \gamma \min\{q^{1/p}, (\log n)^{1/p}\}$ için geçerlidir.
$1 \le p < q < \infty$ için: $$\sum_{j=1}^{n/2} \exp\left( -\alpha j^{1 - p/q} t^p n^{p/q} \right) \le 2 \exp\left( -\alpha t^p n^{p/q} \right)$$ olduğunu görmek kolaydır ($t > \gamma \min\{q^{1/p}, (\log n)^{1/p}\}$ için). $\alpha$'yı $p$'nin bir fonksiyonu olarak aynı büyüklük mertebesindeki başka bir sabitle değiştirerek (1) eşitsizliğini elde ederiz.
Şimdi daha basit olan alt sınırın (2) kanıtına dönüyoruz. Yeniden Lemma 1'i kullanarak: $$\mu\left( \|u\|_{\ell_q^n} > t \right) = P\left( n^{1/p - 1/q} \left( \sum_{i=1}^n x_i^q \right)^{1/q} / \left( \sum_{i=1}^n x_i^p \right)^{1/p} > t \right)$$ $$\ge P\left( x_1 > t \left( \sum_{i=1}^n x_i^p \right)^{1/p} / n^{1/p - 1/q} \right)$$ $$\ge P\left( x_1 > \frac{t}{(n^{1-p/q} - t^p)^{1/p}} \left( \sum_{i=2}^n x_i^p \right)^{1/p} \right)$$ elde ederiz. $t^p \le \frac{1}{2} n^{1-p/q}$ olduğundan, bu ifade şundan büyüktür: $$P\left( x_1 > 2^{1/p} t \left( \sum_{i=2}^n x_i^p \right)^{1/p} / n^{1/p - 1/q} \right)$$ $$\ge c_p \frac{1}{2p} E \exp\left( - 4 t^p \sum_{i=2}^n x_i^p / n^{1-p/q} \right)$$ (Lemma 2.3 gereği) $$= c_p \frac{1}{2p} \left[ E \exp\left( - 4 t^p x^p / n^{1-p/q} \right) \right]^{n-1}$$ $$\ge c_p \frac{1}{2p} \exp\left( - c t^p n^{p/q} \right)$$ (bazı evrensel $c$ sabitleri için). $\square$
Açıklamalar
- Yukarıdaki Teorem 3 ve aşağıdaki Sonuç 4'teki $p \ge 1$ kısıtlaması, $t \ge 2$ eşitsizliğinin yerine (sadece $p$ ve $q$'ya bağlı olan bazı $d$'ler için) $t \ge d$ konularak ve "dahası" kısmı kaldırılarak $p > 0$ ile değiştirilebilir. Sabitlerin bağımlılığını kontrol etmedik.
- Son açıklama, tam yuvarlar için benzer bir ifadenin elde edilebileceğidir. Bunu şu şekilde ifade ediyoruz:
Sonuç 4. Her $1 \le p < q < \infty$ için öyle $c = c(p, q)$, $C = C(p, q)$ ve $T = T(p, q)$ sabitleri mevcuttur ki, eğer $\nu$, $\ell_p^n$ yuvarı üzerindeki normalize edilmiş Lebesgue ölçüsünü gösterirse: $$\nu\left( \|u\|_{\ell_q^n} > t \right) \le \exp\left( -c t^p n^{p/q} \right)\tag{6}$$ olur (tüm $t > T$ için) ve: $$\nu\left( \|u\|_{\ell_q^n} > t \right) \ge \exp\left( -C t^p n^{p/q} \right)\tag{7}$$ olur (tüm $2 \le t \le \frac{1}{2} n^{1/p - 1/q}$ için). Dahası, $q > 2p$ (veya $p$'nin başka bir evrensel pozitif katı) için, $c(p, q) = \gamma p$, $C(p, q) = \Gamma p$ ve $T(p, q) = \tau \min\{q, \log n\}^{1/p} \le q^{1/p}$ alınabilir; burada $\gamma$, $\Gamma$ ve $\tau$ evrensel sabitlerdir.
Kanıt, Teorem 3'ten ve $\ell_p^n$ yuvarındaki tüm Borel $A$ kümeleri için geçerli olan aşağıdaki formülden kolayca elde edilir: $$\nu(A) = n \int_0^1 r^{n-1} \mu(r^{-1} A) dr\ . \qquad \square$$
Kaynakça
- [MS] V. D. Milman and G. Schechtman, Asymptotic Theory of Finite Dimensional Normed Spaces, Lecture Notes in Math. Vol. 1200, Springer (1986).
Department of Theoretical Mathematics, The Weizmann Institute of Science, Rehovot, Israel