[논문 리뷰] Rademacher chaos in symmetric spaces

С. В. Асташкин|ArXiv.org|2000. 06. 19.

Stability and Controllability of Differential Equations참고 문헌 8인용 수 3

한 줄 요약

이 논문은 대칭 공간에서의 Rademacher 혼합체를 분석하여, 표준 형태 $\{r_i(t)r_j(t)\}_{i\neq j}$ 와 분리된 형태 $\{r_i(s)r_j(t)\}_{i,j}$의 다중 Rademacher 체계 간의 동치성과 보완 가능성에 대해 연구한다. 주요 기여는 대칭 공간에서 $\ell_2$ 기저와의 동치성에 필요한 필수 및 충분조건을 확립하고, 이러한 체계가 $L_\infty$ 유사 공간에서 조건부 기저로 작동하지 않음을 증명하며, Marcinkiewicz 및 Orlicz 공간에서의 날카운 보완 가능성 결과를 도출하는 것이다.

ABSTRACT

Necessary and sufficient conditions for the equivalence of the Rademacher chaos to the canonical basis of l_2 and also for the complementability of the corresponding generated subspace are derived. In particular, we obtain the unimprovability of the exponential integrability of functions from this space.

연구 동기 및 목표

• 대칭 공간에서 다중 Rademacher 체계가 $\ell_2$ 기저와 동치가 되는 데 필요한 필수 및 충분조건을 규명하는 것.
• Rademacher 혼합체에 의해 생성된 부분공간의 보완 가능성에 대해 연구하는 것.
• 특히 $L_\infty$ 근처에서 Rademacher 혼합체 부분공간의 기하학적 구조를 명확히 하는 것.
• Rademacher 혼합체에 속하는 함수의 지수적 적분 가능성에 대한 날카운 경계를 설정하여, 향상 불가능한 성장률을 보여주는 것.
• 다중 Rademacher 체계가 $L_\infty$ 및 관련 공간에서 조건부 기저로 작동하지 않음을 입증하며, 고전적 Rademacher 체계와 대비하는 것.

제안 방법

• 분석을 구간 $I$ 에서 정사각형 $I \times I$ 로 이동시키기 위해 분리 기법을 사용하여, 형태 $y(t) = \sum_{i \neq j} b_{i,j} r_i(t)r_j(t)$ 의 함수를 $x(s,t) = \sum_{i,j} a_{i,j} r_i(s)r_j(t)$ 로 매핑한다.
• 구간 $I$ 와 $I \times I$ 에서의 대칭 공간 이론을 적용하여, 순서 반연속성과 쌍대성을 활용해 노름과 임베딩을 분석한다.
• 부호 배열 $\theta_{i,j} = \pm 1$ 에 대해 연산자 $T_\theta$ 와 $\bar{T}_\theta$ 를 사용하여, Marcinkiewicz 및 Orlicz 공간으로의 유계성 분석을 수행한다.
• 절단된 혼합체 함수의 절대값의 등가측도 성질을 활용하여, 분리된 체계와 분리되지 않은 체계 간의 노름을 비교한다.
• Lorentz 및 Marcinkiewicz 공간에 대한 기존 결과, 특히 주어진 기본 함수를 가진 Marcinkiewicz 공간의 최대성 성질을 응용한다.
• 모순 증명에 의존한다: 특정 공간으로의 $T_\theta$ 유계성 가정이 기존의 비유계성 결과(예: 정리 7)와 모순됨.

실험 결과

연구 질문

• RQ1 다중 Rademacher 체계 $\{r_i(t)r_j(t)\}_{i \neq j}$ 가 대칭 공간에서 표준 $\ell_2$ 기저와 동치가 되는 조건은 무엇인가?
• RQ2 Rademacher 혼합체에 의해 생성된 부분공간이 어떤 조건에서 대칭 공간에서 보완 가능한가?
• RQ3 왜 다중 Rademacher 체계는 $L_\infty$ 및 관련 대칭 공간에서 조건부 기저로 작동하지 않는가?
• RQ4 Rademacher 혼합체에 속하는 함수의 지수적 적분 가능성의 날카운 임계값은 무엇이며, 이는 향상 불가능한가?
• RQ5 다중 Rademacher 혼합체의 계수 수열은 $p < 2$ 인 $\ell_p$ 와 같은 고전적 수열 공간으로 특성화될 수 있는가?

주요 결과

• 다중 Rademacher 체계 $\{r_i(s)r_j(t)\}_{i,j}$ 는 대칭 공간 $X$ 에서 $\ell_2$ 기저와 동치일 필요가 충분조건이 $X$ 가 $\varphi(t) = \log_2^{1-p}(2/t)$ 인 Lorentz 공간 $\Lambda_p(\varphi)$ 와 동치일 때이다. 여기서 $1 \leq p < 2$.
• 함수 $x(s,t) = \sum a_{i,j} r_i(s)r_j(t)$ 이고 $a \in \ell_2$ 인 부분공간 $\mathcal{R}(L_\infty)$ 는 임의의 $\varepsilon < 1/2$ 에 대해 $M(\varphi_\varepsilon)(I \times I)$ 에서 보완되지 않는다. 여기서 $\varphi_\varepsilon(t) = t \log_2^{-\varepsilon + 1/2}(2/t)$.
• 모든 $0 < \varepsilon < 1/2$ 에 대해, $T_\theta: \mathcal{R}(L_\infty) \not\to M(\varphi_\varepsilon)(I \times I)$ 를 만족하는 부호 배열 $\theta$ 가 존재하여, 날카운 비유계성 결과를 입증한다.
• 함수 $y(t) = \sum_{i \neq j} b_{i,j} r_i(t)r_j(t)$ 를 포함하는 부분공간 $\bar{\mathcal{R}}(L_\infty)$ 는 $\varepsilon < 1/2$ 에 대해 $M(\varphi_\varepsilon)$ 에서 보완되지 않으며, $\|\sum b_{i,j} r_i r_j\|_X \asymp \left(\sum |b_{i,j}|^p\right)^{1/p}$ 를 만족하는 어떤 대칭 공간 $X$ 도 존재하지 않는다. 여기서 $p \in [1,2)$.
• Rademacher 혼합체에 속하는 함수의 지수적 적분 가능성은 향상 불가능하다: $\sum b_{i,j}^2 < \infty$ 이면 모든 $\alpha > 0$ 에 대해 $\exp(\alpha |y(t)|)$ 는 적분 가능하며, 이 경계는 향상될 수 없다.
• 고전적 Rademacher 체계와 달리, 다중 Rademacher 체계는 $L_\infty$ 또는 그에 가까운 공간에서 조건부 기저로 작동하지 않으며, 이 비조건성 정도는 $L_\infty$ 에서 정량화되어 있다.