[논문 리뷰] Existence and Uniqueness of Orbital Measures

Michael F. Barnsley|ArXiv.org|2005. 07. 30.

Mathematical Dynamics and Fractals참고 문헌 1인용 수 6

한 줄 요약

이 논문은 반복 함수 체계(IFS)에서 유도된 압축 측도와 가중치가 부여된 후행 연산자로 구성된 볼록 조합을 포함하는 선형 측도 방정식의 해의 존재성과 유일성을 보여주는 간단한 증명을 제시한다. 이 해는 궤도 측도로 불리며, IFS 사상들의 모든 유한 조합에 대한 무한 급수로 구성되며, 약간의 위상적 및 확률적 조건 하에서 절대 수렴한다. 이는 기저 공간의 수축성이나 완비성 조건을 요구하지 않아도 된다.

ABSTRACT

We note an elementary proof of the existence and uniqueness of a solution $% μ\in \mathbb{P(X)}$ to the equation $μ=pμ_{0}+q\hat{F}μ$. Here $\mathbb{X}$ is a topological space, $\mathbb{P(X)}$ is the set of Borel measures of unit mass on $\mathbb{X}$, $μ_{0}\in $ $\mathbb{P(X)}$ is given, $p>0$, and $q\geq 0$ with $p+q=1$. The transformation $\hat{F}:% \mathbb{P(X) o P(X)}$ is defined by $\hat{F}\upsilon = sum\limits_{n=1}^{N}p_{n}\upsilon \circ f_{n}^{-1}$ where $f_{n}:\mathbb{% X o X}$ is continuous, $p_{n}>0$ for $n=1,2,...,N$, $N$ is a finite strictly positive integer, and $ sum\limits_{n=1}^{N}p_{n}=1$. This problem occurs in connection with iterated function systems (IFS).

연구 동기 및 목표

• 방정식 μ = pμ₀ + qF̂μ의 해 μ ∈ P(X)가 존재하고 유일함을 보이기. 여기서 F̂는 Borel 확률 측도 위에 정의된 선형 후행 연산자이다.
• 수축 사상 원리나 완비성 또는 컴팩트성과 같은 강력한 위상적 가정을 사용하지 않는 간단한 증명을 제공하기.
• 해를 IFS 사상들의 모든 유한 조합에 대한 수렴하는 급수로 특성화하기. 이때 가중치는 확률 pn과 매개변수 q에 의해 결정된다.
• 해가 압축 측도와 IFS 연산자의 병합된 작용에 대해 불변임을 보여주며, 이를 '궤도 측도'로 정의한다.

제안 방법

• 해 μ는 다음의 무한 급수로 명시적으로 구성된다: μ = pμ₀ + ∑_{|σ|≥1} pq^{|σ|} p_σ₁⋯p_σ_{|σ|} (f_σ₁∘⋯∘f_σ_{|σ|}})(μ₀), 여기서 σ는 {1,…,N}∗의 모든 비어 있지 않은 유한 문자열을 뜻한다.
• 급수의 수렴성은 기하급수 ∑_{n=0}^∞ pq^n = 1과의 항별 비교를 통해 확보되며, Borel 집합 위에서 절대적이고 균일한 수렴을 보장한다.
• 서로소 Borel 집합 위에서 합의 순서를 바꾸는 방식으로, μ가 잘 정의된 Borel 확률 측도임을 확인하기 위해 가чёт한 가법성을 검증한다.
• 해가 고정점 방정식 μ = pμ₀ + qF̂μ를 직접 대입과 급수 항의 재인덱싱을 통해 만족함을 보인다.
• 유일성은 다른 해 ν가 존재한다고 가정하고 반복적 대입을 통해 동일한 급수 표현식을 도출함으로써 증명된다.
• 연산자 F̂: P(X) → P(X)는 F̂ν = ∑_{n=1}^N p_n ν∘f_n^{−1}로 정의되며, 해는 μ = p(1 − qF̂)^{−1}μ₀ = ∑_{m=0}^∞ pq^m (F̂)^m μ₀로 간결하게 표현된다.

실험 결과

연구 질문

• RQ1 공간 X와 사상 f_n에 대해 최소한의 가정 하에 방정식 μ = pμ₀ + qF̂μ의 해 μ ∈ P(X)가 존재하고 유일한가?
• RQ2 수축성 조건 없이도 IFS 사상들의 모든 유한 조합에 대한 수렴하는 급수로 해를 명시적으로 구성할 수 있는가?
• RQ3 p → 0일 때 궤도 측도는 어떻게 되며, ν = F̂ν의 해로 수렴하는가?
• RQ4 공간 X에 수축성 또는 완비성 조건이 없을 경우 유일한 불변 측도의 존재를 방해하는가?
• RQ5 p → 0일 때 궤도 측도가 F̂의 고정점으로 수렴하지 않는 조건은 무엇인가?

주요 결과

• 해 μ는 IFS 사상들의 모든 유한 조합에 대한 절대 수렴 급수로 유일하게 정의되며, 가중치는 p q^{|σ|} p_σ₁⋯p_σ_{|σ|}로 주어진다.
• μ는 가чёт한 가법성과 단위 질량로 정규화된 것으로 확인되어 잘 정의된 X 위의 Borel 확률 측도이다.
• 해는 직접 대입과 급수 항의 재인덱싱을 통해 고정점 방정식 μ = pμ₀ + qF̂μ를 만족함을 확인하였다.
• 유일성은 다른 해가 반드시 동일한 급수 전개를 만들어내므로 μ와 같아져야 한다는 사실에서 유도된다.
• p → 0일 때 궤도 측도 μ는 모든 x ∈ [0,1)에 대해 lim_{p→0} μ([0,x]) = 0를 만족함을 보여, ν = F̂ν의 해로 수렴하지 않음을 보였다.
• [0,1)을 [0,1]로 바꾸어도 고정점으로 수렴하지 않는다는 점은 해결되지 않으며, 한계 측도는 여전히 퇄도적이다.