← arxiv/
arXiv:8904.0027math.MG
tr · çeviri

Hacim Oranları ve Bir Ters İzoperimetrik Eşitsizlik

Keith Ball

Texas A&M University
1989

Özet

Eğer $C$, $n$-boyutlu bir dışbükey cisim ise, $C$'nin yüzey alanının hacminin $(n-1)/n$. kuvvetine oranının, düzgün $n$-boyutlu bir "dörtyüzlü" (tetrahedron) için karşılık gelen ifadeden daha büyük olmayacağı şekilde bir $\tilde{C}$ afin görüntüsünün var olduğunu gösteriyoruz. Ayrıca, $L_p$'nin $n$-boyutlu alt uzayları arasında (her $p \in [1, \infty]$ için), $\ell_p^n$ uzayının maksimal hacim oranına sahip olduğunu gösteriyoruz.

§0. Giriş

$\mathbb{R}^n$ uzayındaki meşhur izoperimetrik eşitsizlik, verilen bir hacme sahip cisimler arasında, Öklid yuvarlarının en küçük yüzey alanına sahip olduğunu belirtir. Sonlu hacimli ölçülebilir kümelerin "yüzey alanı" sonsuz olabilir ve eğer $n \ge 2$ ise, verilen bir hacme sahip dışbükey cisimler bile çok yassı olmaları durumunda keyfi olarak büyük yüzey alanına sahip olabilirler. Yine de, izoperimetrik eşitsizlik gibi klasik eşitsizliklerin ters formları (reverse forms) mevcuttur: İzoperimetrik eşitsizliği tersine çevirmenin muhtemelen en doğal yolu, tekil cisimler yerine afin eşdeğer dışbükey cisimlerin sınıflarını göz önünde bulundurmaktır. Hacim ile yüzey alanı arasındaki eşitsizlik, her sınıfın yalnızca bir temsilcisi için kanıtlanır; Bourgain ve Milman [B-M] tarafından kanıtlanan önemli ters Santaló eşitsizliği de bu türdendir.

Afin dönüşümler modülo alındığında, $\mathbb{R}^n$'deki tüm dışbükey cisimler arasında, düzgün $n$-boyutlu dörtyüzlünün tam olarak maksimal "izoperimetrik bölüme" (yüzey alanının, hacmin $(n-1)/n$. kuvvetine oranı) sahip olduğu ve simetrik dışbükey cisimler arasında ise küpün ekstremal olduğu gösterilecektir.

$\mathbb{R}^n$'deki bir $C$ dışbükey cisminin $\operatorname{vr}(C)$ ile gösterilen hacim oranı (volume ratio): $$\operatorname{vr}(C) = \left( \frac{|C|}{|E|} \right)^{1/n}$$ olarak tanımlanır; burada $E$, $C$ içinde kalan maksimal hacimli elipsoiddir. Benzer şekilde, eğer $X$ bir $n$-boyutlu normlu uzay ise, $\operatorname{vr}(X)$, $X$'in $\mathbb{R}^n$ üzerindeki herhangi bir temsilinde $X$'in birim yuvarı olan herhangi bir $C$ dışbükey cismi için $\operatorname{vr}(C)$ olarak tanımlanır.

Bu makalenin 2. Bölümü, hacim oranları ile ilgili başka bir soruyla ilgilenmektedir. [B-M] çalışmasında, sonlu boyutlu bir normlu uzayın hacim oranının, yalnızca uzayın kotip-2 sabiti cinsinden üstten sınırlanabileceği kanıtlanmıştır (tanımlar için bkz. örn. [M-S]). Özel olarak, $L_1$'in sonlu boyutlu alt uzayları düzgün sınırlı hacim oranlarına sahiptir. Bu sonucun izometrik bir formu aşağıda kanıtlanmıştır: $L_p$'nin $n$-boyutlu alt uzayları arasında her $p \in [1, \infty]$ için $\ell_p^n$ uzayının maksimal hacim oranına sahip olduğu gösterilmektedir.

§1. Ters İzoperimetrik Eşitsizlik

Dışbükey cisimler için klasik eşitsizliklerin ters formlarını ifade etmenin (en azından) iki yolu vardır. Ters Santaló eşitsizliği durumunda, tahmin edilecek ifade $|C||C^\circ|$'dır. Simetrik bir dışbükey cisim ile polarının hacim çarpımı olan bu ifade, $C$'nin doğrusal dönüşümleri altında değişmez (invariant), dolayısıyla ifadenin minimal olduğu cisimler mevcuttur. Yüzey alanı doğrusal dönüşümler altında iyi davranmaz. Yüzey alanını ölçen afin değişmezler olmasına rağmen (ek kısmında açıklanan Petty projeksiyon ölçüsü gibi), cisimlerin afin eşdeğerlik sınıflarının temsilcilerini seçerek izoperimetrik eşitsizliği tersine çevirmek doğal görünmektedir.

Dışbükey cisimleri içeren klasik eşitsizliklerin birçoğu için ekstremal cisimler elipsoidler veya Öklid yuvarlarıdır ve bu durum genellikle eşitsizliklerin iyi bilinen simetrileştirme (symmetrisation) teknikleriyle kanıtlanabileceği anlamına gelir. Ters eşitsizlikler için ise küpler veya dörtyüzlüler gibi ekstremal cisimler beklenir; bu nedenle klasik simetrileştirme yöntemlerinin doğrudan uygulanabilir görünmediği anlaşılmaktadır.

Daha önce belirtildiği gibi, Teorem 1 ve 2, hacim oranı tahminleri aracılığıyla kanıtlanmıştır. John'un [J] iyi bilinen iki teoremi, dışbükey cisimlerin içerdiği maksimal hacimli elipsoidleri karakterize eder. Bunlar burada lemma olarak ifade edilmiştir.

Lemma 3. Let $C$, $\mathbb{R}^n$ içinde simetrik bir dışbükey cisim olsun. $C$ içindeki maksimal hacimli elipsoid, ancak ve ancak $C$ cismi $B_2^n$ birim yuvarını içeriyorsa ve $B_2^n$ ile $\partial C$ arasında değme noktalarından (contact points) oluşan (yani $C$'nin sınırındaki birim vektörler) bir $(u_i)_{i=1}^m$ dizisi ile pozitif $(c_i)_{i=1}^m$ sayıları: $$\sum_{i=1}^m c_i u_i \otimes u_i = I_n \tag{1}$$ koşulunu sağlıyorsa Öklid birim yuvarı $B_2^n$'dir.

(1) ifadesindeki izlerin (traces) eşitliği, $\sum_{i=1}^m c_i = n$ olduğunu gösterir.

Lemma 4. Let $C$, $\mathbb{R}^n$ içinde dışbükey bir cisim olsun. $C$ içindeki maksimal hacimli elipsoid, ancak ve ancak $C$ cismi $B_2^n$ birim yuvarını içeriyorsa ve $B_2^n$ ile $\partial C$ arasında değme noktalarından oluşan bir $(u_i)_{i=1}^m$ dizisi ile pozitif $(c_i)_{i=1}^m$ sayıları (1) ve $$\sum_{i=1}^m c_i u_i = 0 \tag{1'}$$ koşullarını sağlıyorsa Öklid birim yuvarı $B_2^n$'dir.

Temel analitik aracımız Brascamp ve Lieb'in [B-L] konvolüsyon (convolution) eşitsizliğidir. Bu eşitsizliğin "normalleştirilmiş" bir formu burada sunulmaktadır. Bunun en büyük avantajı, eşitsizlikteki olası en iyi sabiti "otomatik olarak" hesaplamasıdır. Brascamp ve Lieb teoremi burada bir lemma olarak verilmiştir; bu teorem, Beckner [Be] tarafından bağımsız olarak kanıtlanan, olası en iyi sabite sahip Young konvolüsyon eşitsizliğinin bir genelleştirilmesidir.

Lemma 5. Let $(u_i)_{i=1}^m$, $\mathbb{R}^n$ içinde birim vektörler ve $(c_i)_{i=1}^m$ de: $$\sum_{i=1}^m c_i u_i \otimes u_i = I_n$$ koşulunu sağlayan pozitif sayılar olsun. $1 \le i \le m$ için $f_i : \mathbb{R} \to [0, \infty)$ integrallenebilir fonksiyonlar olsun. O halde: $$\int_{\mathbb{R}^n} \prod_{i=1}^m f_i(\langle u_i, x \rangle)^{c_i} dx \le \prod_{i=1}^m \left( \int_{\mathbb{R}} f_i(t) dt \right)^{c_i}$$ olur.

$\mathbb{R}^n$'deki simetrik dışbükey cisimler arasında küpün tam olarak maksimal hacim oranına sahip olduğunu göstermek için Lemma 3 ve Lemma 5'i birleştirmek nispeten basittir. (Bu işlem [B] çalışmasında yapılmıştır ve sonuç aşağıda Teorem 6'nın $p = \infty$ durumu olarak aktarılmıştır.) Dolayısıyla, eğer $C$ maksimal hacimli elipsoidi $B_2^n$ olan simetrik bir dışbükey cisim ise, $|C| \le 2^n$ olur. Buradan Teorem 2'yi elde etmek kolaydır.

Teorem 2. Let $C$, $\mathbb{R}^n$ içinde simetrik bir dışbükey cisim olsun. $C$'nin: $$\frac{|\partial \tilde{C}|}{|\tilde{C}|^{(n-1)/n}} \le 2n$$ koşulunu sağlayan bir $\tilde{C}$ afin görüntüsü vardır.

Kanıt. $C$, $\mathbb{R}^n$ içinde simetrik bir dışbükey cisim olsun. $C$'nin bazı $\tilde{C}$ afin görüntülerinin: $$|\partial \tilde{C}| \le 2n |\tilde{C}|^{(n-1)/n}$$ koşulunu sağladığını göstermek gerekmektedir; çünkü $\tilde{C}$, $\mathbb{R}^n$ içinde bir küp olduğunda bu ifadeler birbirine eşittir. $\tilde{C}$ afin görüntüsünü, maksimal hacimli elipsoidi $B_2^n$ olacak şekilde seçelim. Yukarıdaki not uyarınca, $|\tilde{C}| \le 2^n$ olur. $B_2^n \subset \tilde{C}$ olduğundan, $\varepsilon > 0$ için: $$|\tilde{C} + \varepsilon B_2^n| \le |\tilde{C} + \varepsilon \tilde{C}| = (1+\varepsilon)^n |\tilde{C}|$$ elde ederiz. Dolayısıyla, $$|\partial \tilde{C}| = \lim_{\varepsilon\to 0} \frac{|\tilde{C} + \varepsilon B_2^n| - |\tilde{C}|}{\varepsilon} \le \lim_{\varepsilon\to 0} |\tilde{C}| \frac{(1+\varepsilon)^n - 1}{\varepsilon} = n |\tilde{C}| = n |\tilde{C}|^{1/n} |\tilde{C}|^{(n-1)/n} \le 2n |\tilde{C}|^{(n-1)/n}$$ olur. $\square$

Simetrik olmayan durum önemli ölçüde daha zordur. Bu durumda ekstremal cisim düzgün dörtyüzlüdür (simpleks). $\mathbb{R}^n$ içindeki düzgün dörtyüzlü (ve diğer tüm simpleksler), tüm yüzlerinin kendi maksimal hacimli elipsoidine değmesi özelliğine sahiptir.

Teorem 1. Let $C$, $\mathbb{R}^n$ içinde dışbükey bir cisim olsun. $C$'nin: $$\frac{|\partial \tilde{C}|}{|\tilde{C}|^{(n-1)/n}} \le n \left( \frac{n^{n/2} (n+1)^{(n+1)/2}}{n!} \right)^{1/n}$$ koşulunu sağlayan bir $\tilde{C}$ afin görüntüsü vardır.

Kanıt. $C$, $\mathbb{R}^n$ içinde dışbükey bir cisim olsun. $C$'nin bir $\tilde{C}$ afin görüntüsünü, maksimal hacimli elipsoidi $B_2^n$ olacak şekilde seçelim. Teorem 2'nin kanıtındaki aynı argümanla: $$\frac{|\partial \tilde{C}|}{|\tilde{C}|^{(n-1)/n}} \le n |\tilde{C}|^{1/n}$$ elde ederiz. Dolayısıyla, eğer $C$ maksimal hacimli elipsoidi $B_2^n$ olan dışbükey bir cisim ise: $$|C| \le \frac{n^{n/2} (n+1)^{(n+1)/2}}{n!}$$ olduğunu göstermek yeterlidir. Lemma 4 uyarınca, $\partial C$ üzerinde $(u_i)_{i=1}^m$ birim vektörleri ve: $$\sum_{i=1}^m c_i u_i \otimes u_i = I_n \tag{2}$$ ve $$\sum_{i=1}^m c_i u_i = 0 \tag{3}$$ koşullarını sağlayan pozitif $(c_i)_{i=1}^m$ sayıları vardır. $u_i$'ler $B_2^n$ ve $\partial C$'nin değme noktaları olduğundan, $$C \subset \{ x \in \mathbb{R}^n : \langle x, u_i \rangle \le 1, 1 \le i \le m \} = K \quad (\text{diyelim})$$ olur. $K$'nın hacminin $\frac{n^{n/2} (n+1)^{(n+1)/2}}{n!}$ değerinden büyük olmadığı gösterilecektir.

Şimdi, Lemma 5'in ifadesinde yer alan vektörler ortogonal ise eşitlik durumu geçerlidir. Aşağıdaki tahminin anahtarı, $K$'nın düzgün bir dörtyüzlü olduğu ekstremal durumda ortogonal olacak olan $\mathbb{R}^{n+1}$ içinde yeni bir $(v_i)_{i=1}^m$ vektör dizisinin inşasıdır. Tahmin, Lemma 5'in, çarpımları $\mathbb{R}^{n+1}$ içinde kesitleri $K$'ya benzer olan bir koni üzerinde desteklenen bir fonksiyon ailesine uygulanmasından elde edilir.

$\mathbb{R}^{n+1}$ uzayını $\mathbb{R}^n \times \mathbb{R}$ olarak düşünelim. Her $i$ için, $$v_i = \left( -\sqrt{\frac{n}{n+1}} u_i, \frac{1}{\sqrt{n+1}} \right) \in \mathbb{R}^{n+1}$$ ve $$d_i = \frac{n+1}{n} c_i$$ olsun. O halde her $i$ için $v_i$ bir birim vektördür ve yukarıdaki (2) ve (3) özdeşlikleri birlikte şunu garanti eder: $$\sum_{i=1}^m d_i v_i \otimes v_i = I_{n+1} \tag{4}$$ Ayrıca, $$\sum_{i=1}^m d_i = \frac{n+1}{n} \sum_{i=1}^m c_i = n+1$$ olur. $f_i : \mathbb{R} \to [0, \infty)$ fonksiyonunu şu şekilde tanımlayalım: $$f_i(t) = \begin{cases} e^{-t} & \text{eğer } t \ge 0 \\ 0 & \text{eğer } t < 0. \end{cases}$$ Son olarak, $x \in \mathbb{R}^{n+1}$ için: $$F(x) = \prod_{i=1}^m f_i(\langle v_i, x \rangle)^{d_i}$$ olarak tanımlayalım. Lemma 5 uyarınca, $$\int_{\mathbb{R}^{n+1}} F(x) dx \le \prod_{i=1}^m \left( \int_0^\infty e^{-t} dt \right)^{d_i} = 1$$ olur. Şimdi, $x = (y, r) \in \mathbb{R}^n \times \mathbb{R}$ olduğunu varsayalım. Her $i$ için, $$\langle v_i, x \rangle = \frac{r}{\sqrt{n+1}} - \sqrt{\frac{n}{n+1}} \langle u_i, y \rangle$$ olur. $\sum_{i=1}^m c_i u_i = 0$ olduğundan, ($y$'ye bağlı olarak) $\langle u_j, y \rangle \ge 0$ koşulunu sağlayan bir $j$ vardır. Dolayısıyla, eğer $r < 0$ ise, bazı $j$'ler için $\langle v_j, x \rangle < 0$ olur ve bu yüzden $F(x) = 0$ elde edilir. Diğer yandan, eğer $r \ge 0$ ise, $F(x)$'in sıfırdan farklı olması tam olarak her $i$ için: $$\langle u_i, y \rangle \le \frac{r}{\sqrt{n}}$$ olmasıyla; yani $y \in \frac{r}{\sqrt{n}} K$ olmasıyla mümkündür. Bu durumda, $$F(x) = \prod_{i=1}^m \exp\left( -d_i \left( \frac{r}{\sqrt{n+1}} - \sqrt{\frac{n}{n+1}} \langle u_i, y \rangle \right) \right) = \exp\left( -\frac{r}{\sqrt{n+1}} \sum_{i=1}^m d_i + \sqrt{\frac{n}{n+1}} \left\langle \sum_{i=1}^m d_i u_i, y \right\rangle \right)$$ olur. $\sum d_i = n+1$ ve $\sum d_i u_i = 0$ eşitliklerini kullanarak şunu elde ederiz: $$F(x) = \exp(-\sqrt{n+1} r)\ .$$ Dolayısıyla, $$1 \ge \int_{\mathbb{R}^{n+1}} F(x) dx = \int_0^\infty e^{-\sqrt{n+1} r} \left| \frac{r}{\sqrt{n}} K \right| dr = |K| n^{-n/2} \int_0^\infty e^{-\sqrt{n+1} r} r^n dr = |K| \frac{n!}{n^{n/2} (n+1)^{(n+1)/2}}$$ elde edilir. Buradan, $$|C| \le |K| \le \frac{n^{n/2} (n+1)^{(n+1)/2}}{n!}$$ istendiği gibi elde edilir. $\square$

§2. $L_p$ Alt Uzaylarının Hacim Oranları

[B] çalışmasında yazar, $n$-boyutlu normlu uzaylar arasında $\ell_\infty^n$ uzayının maksimal hacim oranına sahip olduğunu göstermiştir: $$\operatorname{vr}(X) \le \operatorname{vr}(\ell_\infty^n) = \sqrt{n}$$ (bu gerçek yukarıdaki Teorem 2'nin kanıtında kullanılmıştır). Brascamp ve Lieb eşitsizliği, $1 \le p < \infty$ için $L_p$ alt uzaylarının hacim oranlarını tahmin etmek için de aynı şekilde uygulanabilir, çünkü birim yuvarlarının hacimleri Gauss tipi fonksiyonların integralleri olarak kolayca ifade edilebilir (bu işlem, [M-P] çalışmasında gözlemlenen Lemma 7'de yapılmıştır).

Teorem 6. Let $1 \le p \le \infty$ olsun. $L_p$'nin $n$-boyutlu alt uzayları arasında, $\ell_p^n$ uzayı tam olarak maksimal hacim oranına sahiptir.

Bu bölümün geri kalanı Teorem 6'nın kanıtına ayrılmıştır.

Lemma 7. Let $K$, $\mathbb{R}^n$ içinde Minkowski göstergesi (gauge) $\|\cdot\|$ olan simetrik bir dışbükey cisim ve $1 \le p < \infty$ olsun. O halde: $$\int_{\mathbb{R}^n} e^{-\|x\|^p} dx = \Gamma\left( 1 + \frac{n}{p} \right) |K|$$ olur.

Kanıt. $\sigma$, Öklid küresi $S^{n-1}$ üzerindeki dönme altında değişmez olasılık ölçüsü ve $v_n$ de Öklid birim yuvarı $B_2^n$'in hacmi olsun. O halde: $$\int_{\mathbb{R}^n} e^{-\|x\|^p} dx = n v_n \int_{S^{n-1}} \int_0^\infty e^{-\|r\theta\|^p} r^{n-1} dr d\sigma(\theta) = n v_n \int_{S^{n-1}} \|\theta\|^{-n} \int_0^\infty e^{-r^p} r^{n-1} dr d\sigma(\theta)$$ olur. $|K| = v_n \int_{S^{n-1}} \|\theta\|^{-n} d\sigma(\theta)$ olduğundan, şunu elde ederiz: $$\int_{\mathbb{R}^n} e^{-\|x\|^p} dx = n |K| \int_0^\infty e^{-r^p} r^{n-1} dr = \Gamma\left( 1 + \frac{n}{p} \right) |K|\ . \quad \square$$

Önerme 8. Let $(u_i)_{i=1}^m$, $\mathbb{R}^n$ içinde birim vektörler ve $(c_i)_{i=1}^m$ de $\sum_{i=1}^m c_i u_i \otimes u_i = I_n$ koşulunu sağlayan pozitif sayılar olsun. $(\alpha_i)_{i=1}^m$ pozitif sayılar olsun ve $\mathbb{R}^n$ üzerinde bir normu şu şekilde tanımlayalım: $$\|x\| = \left( \sum_{i=1}^m \alpha_i |\langle u_i, x \rangle|^p \right)^{1/p}$$ Eğer $K$, $(\mathbb{R}^n, \|\cdot\|)$ uzayının birim yuvarı ise: $$|K| \le \frac{2^n \Gamma\left(1 + \frac{1}{p}\right)^n}{\Gamma\left(1 + \frac{n}{p}\right)} \prod_{i=1}^m \left( \frac{c_i}{\alpha_i} \right)^{c_i/p}$$ olur.

Not. $1 \le p \le 2$ için Meyer ve Pajor [M-P], $\ell_p^m$'nin birim yuvarının en büyük $n$-boyutlu kesitlerinin, $n$ adet standart birim vektör tarafından gerilen kesitler olduğunu kanıtlamışlardır. Bu sonuç, Önerme 8'in $1 \le i \le m$ için $\alpha_i = c_i$ alınarak uygulanmasının bir sonucudur.

Kanıt. $1 \le i \le m$ için $f_i : \mathbb{R} \to [0, \infty)$ fonksiyonu: $$f_i(t) = \exp\left( -\frac{\alpha_i}{c_i} |t|^p \right)$$ şeklinde tanımlansın. Lemma 7 ve Lemma 5 uyarınca, $$\Gamma\left( 1 + \frac{n}{p} \right) |K| = \int_{\mathbb{R}^n} \exp\left( -\sum_{i=1}^m \alpha_i |\langle u_i, x \rangle|^p \right) dx = \int_{\mathbb{R}^n} \prod_{i=1}^m \exp\left( -\frac{\alpha_i}{c_i} |\langle u_i, x \rangle|^p \right)^{c_i} dx \le \prod_{i=1}^m \left( \int_{\mathbb{R}} \exp\left( -\frac{\alpha_i}{c_i} |t|^p \right) dt \right)^{c_i}$$ olur. Her $i$ için, $$\int_{\mathbb{R}} \exp\left( -\frac{\alpha_i}{c_i} |t|^p \right) dt = 2 \left( \frac{c_i}{\alpha_i} \right)^{1/p} \Gamma\left( 1 + \frac{1}{p} \right)$$ olur. Dolayısıyla, $$\Gamma\left( 1 + \frac{n}{p} \right) |K| \le 2^n \Gamma\left( 1 + \frac{1}{p} \right)^n \prod_{i=1}^m \left( \frac{c_i}{\alpha_i} \right)^{c_i/p}\ . \quad \square$$

$L_p$'nin sonlu boyutlu alt uzayları tam olarak $\ell_p^m$'nin alt uzaylarıdır. Lewis'in [L] bir sonucu, eğer $X$, $\ell_p^m$'nin $n$-boyutlu bir alt uzayı ise, $X$'in $\mathbb{R}^n$ üzerinde normu: $$\|x\| = \left( \sum_{i=1}^m c_i |\langle u_i, x \rangle|^p \right)^{1/p}$$ ile verilen bir biçimde temsil edilebileceğini belirtir; burada $(u_i)_{i=1}^m$ bir birim vektör dizisi ve $(c_i)_{i=1}^m$ de: $$\sum_{i=1}^m c_i u_i \otimes u_i = I_n$$ koşulunu sağlayan pozitif sayıların bir dizisidir. Dolayısıyla, Önerme 8, $1 \le i \le m$ için $\alpha_i = c_i$ alınarak uygulanabilir; bu durumda Önerme 8'in tahmini özellikle basit bir forma sahip olur.

Lemma 9. Let $X$, $L_p$ ($1 \le p < \infty$) uzayının $n$-boyutlu bir alt uzayı olsun. O halde $X$, birim yuvarı $K$ aşağıdaki koşulu sağlayacak şekilde $\mathbb{R}^n$ üzerinde temsil edilebilir: $$|K| \le \frac{2^n \Gamma\left( 1 + \frac{1}{p} \right)^n}{\Gamma\left( 1 + \frac{n}{p} \right)}$$

Not. Lemma 9'daki can alıcı nokta, aynı $c_i$'lerin her iki ifadede de görünmesidir.

Teorem 6'nın Kanıtı. $p < \infty$ olduğu varsayılabilir ve her $m \ge n$ tam sayısı için $\ell_p^m$'nin $n$-boyutlu alt uzaylarının hacim oranlarını tahmin etmek yeterlidir. $X$ böyle bir uzay olsun ve Lemma 9 tarafından garanti edilen şekilde $\mathbb{R}^n$ üzerinde temsil edildiğini varsayalım, birim yuvarı $K$ olsun. Lemma 9 uyarınca, $$|K| \le \frac{2^n \Gamma\left( 1 + \frac{1}{p} \right)^n}{\Gamma\left( 1 + \frac{n}{p} \right)}$$ olur. Bu son ifade, normal temsilinde $\ell_p^n$'nin birim yuvarının hacmidir. Dolayısıyla, $K$'nın şu yarıçapa sahip bir Öklid yuvarı içerdiğini kontrol etmek yeterlidir: $$r = \begin{cases} n^{1/2 - 1/p} & \text{eğer } 1 \le p \le 2 \text{ ise} \\ 1 & \text{eğer } p > 2 \text{ ise}. \end{cases}$$ Gerçekten de, eğer $1 \le p \le 2$ ise, o halde her $x \in \mathbb{R}^n$ için: $$\|x\|^p = \sum_{i=1}^m c_i |\langle u_i, x \rangle|^p \le \left( \sum_{i=1}^m c_i \langle u_i, x \rangle^2 \right)^{p/2} \left( \sum_{i=1}^m c_i \right)^{1 - p/2} = |x|^p n^{1 - p/2}$$ olur, bu da $K \supset n^{1/2 - 1/p} B_2^n$ olmasını gerektirir. Eğer $p > 2$ ise: $$\|x\|^p = \sum_{i=1}^m c_i |\langle u_i, x \rangle|^p \le \max_i |\langle u_i, x \rangle|^{p-2} \sum_{i=1}^m c_i \langle u_i, x \rangle^2 \le |x|^p$$ olur, bu da $K \supset B_2^n$ olmasını gerektirir. $\square$

Ek (Appendix)

$\mathbb{R}^n$'de bir $C$ dışbükey cismi ve $\theta \in S^{n-1}$ birim vektörü için, $P_\theta C$ ile $C$'nin $\mathbb{R}^n$ içinde $\theta$'ya dik olan $(n-1)$-boyutlu alt uzay üzerine dik izdüşümünü (orthogonal projection) gösterelim. Petty tarafından [P1] çalışmasında, $$\|C\|_K = |C|^{n-1} \left( \int_{S^{n-1}} |P_\theta C|^{-n} d\sigma(\theta) \right)^{-1/n} \tag{5}$$ ifadesinin, $C$ cisminin tersi alınabilir afin dönüşümleri altında değişmez (invariant) olduğu gözlemlenmiştir. Bu ifade, Teorem 1 ve 2 anlamında "minimal yüzey alanını" ölçer. Bunu görmek için, bir yandan yüzey alanı için Cauchy formülünün, $\mathbb{R}^n$ içindeki bir $C$ dışbükey cismi için şunu belirttiğine dikkat edelim: $$|\partial C| = n \frac{v_n}{v_{n-1}} \int_{S^{n-1}} |P_\theta C| d\sigma(\theta)$$ ve dolayısıyla Hölder eşitsizliği uyarınca, $$|\partial C| \ge n \frac{v_n}{v_{n-1}} \left( \int_{S^{n-1}} |P_\theta C|^{-n} d\sigma(\theta) \right)^{-1/n}$$ elde edilir. Diğer yandan, Teorem 6 ($p = 1$ için), eğer $X$, $L_1$'in $n$-boyutlu bir alt uzayı ise: $$\operatorname{vr}(X) \le \operatorname{vr}(\ell_1^n) = \left( \frac{2^n \Gamma\left(1 + \frac{n}{2}\right)}{\Gamma(1+n) \pi^{n/2}} \right)^{1/n} \approx \sqrt{\frac{2e}{\pi}}$$ olduğunu belirtir. Buradan, her $C$ dışbükey cisminin aşağıdaki koşulu sağlayan bir $\tilde{C}$ afin görüntüsüne sahip olduğunu çıkarsamak kolaydır: $$\frac{|\partial \tilde{C}|}{|\tilde{C}|^{(n-1)/n}} \le n \frac{v_n}{v_{n-1}} \sqrt{\frac{2e}{\pi}} \left( |C|^{n-1} \left( \int_{S^{n-1}} |P_\theta C|^{-n} d\sigma(\theta) \right)^{-1} \right)^{1/n}$$ Sağ taraftaki ifade Öklid yuvarları tarafından minimize edilir. Bu afin değişmez kullanılarak izoperimetrik eşitsizliği tersine çevirmek mümkün olacaktır.

Kaynakça