[논문 리뷰] Image measures of infinite product measures and generalized Bernoulli convolutions

Sergio Albeverio, Grygoriy Torbin|ArXiv.org|2003. 08. 04.

Mathematical Dynamics and Fractals참고 문헌 12인용 수 8

한 줄 요약

이 논문은 무한 곱 측도와 그 상사 측도의 절대 연속성 및 특이성에 대해 연구하며, 무작위 급수 $\psi = \sum \psi_k \lambda^k$ 및 $\varphi = \sum \varphi_k a_k$로 정의된 일반화된 베르누이 복합체에 초점을 맞춘다. 측도 보존 사상과 상사 측도 이론을 사용하여, 확률과 감쇠율에 대한 급수의 수렴 여부에 기반한 날카로운 기준을 수립함으로써, 이러한 분포가 절대 연속, 특이, 또는 이산임을 판단한다. 이는 기존의 독립 동일분포 및 균일하게 스케일링된 설정에서의 베르누이 복합체 결과를 비독립 동일분포가 아니며 비균일하게 스케일링된 설정으로 확장한다.

ABSTRACT

We examine measure preserving mappings $f$ acting from a probability space $(Ω, F,μ) $ into a probability space $% (Ω^{*},F^{*},μ^{*}) ,$ where $μ^{*}=μ(f^{-1})$. Conditions on $f$, under which $f$ preserves the relations ''to be singular'' and ''to be absolutely continuous'' between measures defined on $(Ω, F) $ and corresponding image measures, are investigated. We apply the results to investigate the distribution of the random variable $% ξ=\sum\limits^{\infty}_{k=1} ξ_kλ^k,$ where $% λ\in (0;1),$ and $ξ_k$ are independent not necessarily identically distributed random variables taking the values $i$ with probabilities $% p_{ik}$ ,$i=0,1.$ We also studied in details the metric-topological and fractal properties of the distribution of a random variable $ψ= \sum\limits^{\infty}_{k=1} ξ_ka_k,$ where $a_k>0$ are terms of the convergent series.

연구 동기 및 목표

• 수렴하는 $\sum a_k$를 가진 일반화된 베르누이 복합체 랜덤 변수 $\varphi = \sum \varphi_k a_k$의 분포의 메트릭, 프랙탈, 위상적 성질을 분석한다.
• 비독립 동일분포 및 비대칭 케이스로의 기존의 무한 베르누이 복합체 결과를 확장한다.
• 확률 $p_{0k}, p_{1k}$ 및 $a_k$를 포함하는 급수의 수렴 여부에 따라 $\varphi$의 분포가 절대 연속 또는 특이임을 위한 필요충분 조건을 설정한다.
• 측도 보존 사상이 비선형 투영 하에서 측도 간의 관계—특히 특이성과 절대 연속성—을 어떻게 유지하는지 조사한다.

제안 방법

• 무한 곱 측도의 비선형 투영을 연구하기 위해 상사 측도 방법을 사용하며, $g(\omega) = \sum \omega_k a_k$를 통해 곱 공간 $\Omega = \prod \Omega_k$에서 실수 직선으로의 사상이 이루어진다.
• 측도 보존 사상 $f$를 $ (\Omega, F, \mu) $에서 $ (\Omega^*, F^*, \mu^*) $로 사용하며, $ \mu^* = \mu(f^{-1}) $를 정의하여 측도 유형(절대 연속, 특이, 이산)이 어떻게 유지되는지 분석한다.
• 레비와 제센-윈터 정리를 적용하여 $\varphi$의 분포의 순수성을 확립함으로써 혼합 유형이 존재하지 않음을 보장한다.
• 절대 연속성과 관련된 수렴 기준을 유도하기 위해 $ \prod_{k=1}^\infty \left( \sqrt{\frac{1}{2}p_{0k}} + \sqrt{\frac{1}{2}p_{1k}} \right) $의 곱을 사용하며, 이 곱이 수렴하는 것은 $ \sum (\frac{1}{2} - p_{0k})^2 < \infty $와 동치임을 보인다.
• 지지집합 $ S_\varphi $의 르베그 측도가 양이 되고, 지지집합의 간극 분석이 단순화되도록 $ a_k \geq \sum_{i=k+1}^\infty a_i $ 조건을 도입한다.
• 이중사상 $ g $를 사용하여 $ \Omega $ 위의 곱 측도 $ \nu $와 $ \varphi $의 분포 $ \nu^* = \nu(g^{-1}) $를 연결함으로써, $ \nu $의 절대 연속성에서 $ \nu^* $로의 전이를 가능하게 한다.

실험 결과

연구 질문

• RQ1 독립된 베르누이 변수 $\varphi_k$가 확률 $p_{0k}, p_{1k}$를 가질 때, $ \varphi = \sum \varphi_k a_k $의 분포가 르베그 측도에 대해 절대 연속이 되는 조건은 무엇인가?
• RQ2 $\lambda \in (0,1)$일 때 $ \psi = \sum \psi_k \lambda^k $의 분포는 언제 특이 또는 절대 연속이 되며, 특히 비i.i.d.인 $\psi_k$의 경우는 어떻게 되는가?
• RQ3 측도 보존 사상은 비선형 투영 하에서 측도 간의 관계—특히 특이성과 절대 연속성—을 어떻게 유지하는가?
• RQ4 특히 $ a_k \geq \sum_{i=k+1}^\infty a_i $ 조건이 성립할 때, $ a_k $의 감쇠율은 $ \varphi $의 지지집합의 프랙탈 및 메트릭 성질을 결정하는 데 어떤 역할을 하는가?
• RQ5 비대칭 및 비균일 스케일링이 이루어지는 급수에 대해 절대 연속성 기준을 대칭 케이스를 초월해 더욱 날카롭게 또는 일반화할 수 있는가?

주요 결과

• 분포 $ \varphi $가 순수 이산임은 $ \prod_{k=1}^\infty \max\{p_{0k}, p_{1k}\} > 0 $일 때이고, 이는 0과 1에 대한 확률이 0으로 감쇠하지 않을 때 성립한다.
• 분포 $ \varphi $가 절대 연속임은 $ \sum_{k=1}^\infty (\delta_k - 1) < \infty $ 및 $ \sum_{k=1}^\infty (\frac{1}{2} - p_{0k})^2 < \infty $를 동시에 만족할 때이며, 여기서 $ \delta_k = \max\{p_{0k}, p_{1k}\}^{-1} $이다.
• 분포 $ \varphi $가 특이임은 이산 또는 절대 연속 조건이 모두 만족하지 않을 때이며, 제센-윈터 정리에 의해 분포의 순수성 덕분에 이는 보장된다.
• 상사 측도 $ \nu^* = \nu(g^{-1}) $가 르베그 측도에 대해 절대 연속임은 $ \prod_{k=1}^\infty \left( \sqrt{\frac{1}{2}p_{0k}} + \sqrt{\frac{1}{2}p_{1k}} \right) $의 곱이 수렴할 때이고, 이는 $ \sum (\frac{1}{2} - p_{0k})^2 < \infty $와 동치이다.
• $ a_k \geq \sum_{i=k+1}^\infty a_i $ 조건이 성립할 경우, 지지집합 $ S_\varphi $는 양의 르베그 측도를 가지며, 상사 측도 $ \mu^* $ 하에서 분포는 $ S_\varphi $ 위에 균일하게 분포되며, 르베그 측도와의 비교가 가능해진다.
• 논문은 제3절에서 제기된 문제에 대한 반례를 제시하며, 특정 자연스러운 사상 조건이 측도 유형 관계의 유지 보장을 보장하지는 않음을 보여주며, 상사 측도 행동의 미묘함을 부각시킨다.