Home > Probability Theory, Real Analysis > Chiều Hausdorff và năng lượng Bessel–Riesz

Chiều Hausdorff và năng lượng Bessel–Riesz


Chiều Haudorff của một tập được định nghĩa là infimum của tập các giá trị d không âm sao cho độ đo Hausdorff d-chiều của tập đó bằng 0. Công việc tính chiều Haudorff của tập nào đó không phải lúc nào cũng thuận lợi, tuy nhiên với tập compact E trong \mathbb R^n ta có thể ước lượng chận trên bằng các chiều hộp Minkowski

\dim(E)\le \dim_{\text{lower box}}(E) \leq \dim_{\text{upper box}} (E)

Câu hỏi nảy sinh cho chận dưới được trả lời trong PhD thesis năm 1935 của Otto Frostman

Định lý 1. Giả sử tổn tại một độ đo xác suất \mu trên tập compact E\subset \mathbb R^d thỏa mãn: có các hằng số \alpha, C sao cho với r\in(0,1) thì

\mu(B_{\infty}(y,r))\le Cr^{\alpha}với \mu-hầu khắp các giá trị của y \in\mathbb R^d. Khi đó
\dim(E)\ge \alpha

Định lý 2. Nếu chiều của tập compact E không bé hơn \alpha thế thì với \beta<\alpha luôn tồn tại độ đo xác suất \mu trên E sao cho

\sup_{x\in\mathbb R^d}\sup_{r\in(0,1)}\frac{\mu(B_{\infty}(y,r))}{r^{\beta}}<\infty

Chúng ta gọi năng lượng Bessel–Riesz \alpha-chiều của độ đo xác suất \mu trên tập compact E\subset \mathbb R^d là đại lượng

\text{Energy}_{\alpha}(\mu)=\int_{\mathbb R^d}\int_{\mathbb R^d}|x-y|^{-\alpha}\mu(dx)\mu(dy)Capacity của E sẽ là đại lượng
\text{Cap}_{\alpha}(E)=(\inf_{\mu \in \mathcal{P}(E)} \text{Energy}_{\alpha}(\mu))^{-1}

Giả sử với giá trị nào đó của \alpha>0 thì \text{Cap}_{\alpha}(E)>0. Theo tính chất của inf, tồn tại dãy độ đo xác suất \mu_n trên E sao cho chúng có năng lượng hữu hạn và

(1+1/n)(\text{Cap}_{\alpha}(E))^{-1}\ge \text{Energy}_{\alpha}(\mu_n)\ge (\text{Cap}_{\alpha}(E))^{-1}
Giả sử \mu là giới hạn riêng của (\mu_n), thế thì \mu cũng là độ đo xác suất trên E hơn nữa \text{Energy}_{\alpha}(\mu_n)\ge (\text{Cap}_{\alpha}(E))^{-1}

Tồn tại dãy con (\mu_{n_k}) hội tụ yếu về \mu nên với r>0 ta có
\iint_{|x-y|\ge r}|x-y|^{-\alpha}\mu(dx)\mu(dy)=\lim_{k\to\infty}\iint_{|x-y|\ge r}|x-y|^{-\alpha}\mu_{n_k}(dx)\mu_{n_k}(dy)\le (\text{Cap}_{\alpha}(E))^{-1}

Khi r\to 0, áp dụng Lebesgue’s dominated convergence theorem ta suy ra

\text{Energy}_{\alpha}(\mu)= (\text{Cap}_{\alpha}(E))^{-1}

Độ đo xác suất \mu như vậy gọi là equilibrium measure.

Frostman cũng chỉ ra được rằng

Định lý 3
Nếu \mu như vậy gọi là equilibrium measure trên tập compact E, thế thì với \mu hầu khắp nơi x\in\mathbb R^d thế thì

\text{Energy}_{\alpha}(\mu)=\int_{\mathbb R^d}|x-y|^{-\alpha}\mu(dy)

Chúng ta định nghĩa capacitary dimension của một tập compact E\subset \mathbb R^d là chận trên đúng của giá trị \alpha sao cho \text{Cap}_{\alpha}(E)>0, kí hiệu là \dim_{\mathcal C}(E)

Điều rất thú vị là Capacitary dimension và Hausdorff dimension trùng nhau, điều này giúp ta có thể đánh giá chiều Hausdorff thông qua việc đánh giá sự hữu hạn của năng lượng Bessel–Riesz \alpha-chiều ứng với equilibrium measure.

Định lý 4.
Với tập compact E\subset \mathbb R^d thế thì

\dim(E)=\dim_{\mathcal C}(E)

Thật vậy, giả sử \mu như vậy gọi là equilibrium measure trên tập compact E, thế thì
\mu(B_{\infty}(x,r)\le r^{\alpha}\int_{\mathbb R^d}|x-y|^{-\alpha}\mu(dy)=\text{Energy}_{\alpha}(\mu) r^{\alpha}
Theo định lý 2 thì \dim(E)\ge \alpha, điều này suy ra \dim(E)\ge \dim_{\mathcal C}(E). (*)

Thep định lý 3, nếu \beta<\dim(E) thế thì tồn tại độ đo xác suất \mu trên E sao cho

\mu(B_{\infty}(x,r))\le C r^{\beta}, \forall x\in \mathbb R^d, r\in(0,1)

Khi đó
\text{Energy}_{\gamma}(\mu)=\sum_{i=0}^{\infty}\iint_{\frac{\text{diam}(E)}{2^{i+1}}\le|x-y|\le \frac{\text{diam}(E)}{2^{i}}}|x-y|^{-\gamma}\mu(dx)\mu(dy)
\le \sum_{i=0}^{\infty} \frac{2^{\gamma(i+1)}}{(\text{diam}(E))^{\gamma}} \sup_{x\in\mathbb R^d}\mu(B_{\infty}(x,\frac{\text{diam}(E)}{2^{i}}))
\le C  2^{\gamma}(\text{diam}(E))^{\beta-\gamma} \sum_{i=0}^{\infty} 2^{(\gamma-\beta)i}
hội tụ khi \gamma<\beta. Khi đó \text{Cap}_{\gamma}(E)>0 với mọi \gamma< \dim(E) hay \dim_{\mathcal C}(E)\ge \gamma với mọi \gamma< \dim(E), suy ra \dim_{\mathcal C}(E)\ge \dim(E). (**)
Từ (*),(**) ta được điều phải chứng minh.

  1. No comments yet.
  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: