[논문 리뷰] Geometric Thermodynamical Formalism and Real Analyticity for Meromorphic Functions of Finite Order

Volker Mayer, Mariusz Urbański|ArXiv.org|2006. 06. 13.

Mathematical Dynamics and Fractals참고 문헌 18인용 수 7

한 줄 요약

이 논문은 유한 차수의 초월적 메로모르픽 함수에 대해 유도의 성장률을 제어할 수 있도록 설계된 리만계량을 도입하여, 초구형 메로모르픽 함수에 대한 기하적 열역학적 체계를 수립한다. 이를 통해 등각적 및 지브스 측도의 구축이 가능해지며, 주요 결과로는 반경상 조르바 집합의 하우스도르프 차원이 매개변수에 대해 실해석적이며, 주기적 시스템을 초월하여 지수, 타원,余근 함수 등과 같은 비주기적 초월 함수에 열역학 체계를 확장함을 보여준다.

ABSTRACT

Working with well chosen Riemannian metrics and employing Nevanlinna's theory, we make the thermodynamical formalism work for a wide class of hyperbolic meromorphic functions of finite order (including in particular exponential family, elliptic functions, cosine, tangent and the cosine--root family and also compositions of these functions with arbitrary polynomials). In particular, the existence of conformal (Gibbs) measures is established and then the existence of probability invariant measures equivalent to conformal measures is proven. As a geometric consequence of the developed thermodynamic formalism, a version of Bowen's formula expressing the Hausdorff dimension of the radial Julia set as the zero of the pressure function and, moreover, the real analyticity of this dimension, is proved.

연구 동기 및 목표

• 비주기적 초구형 메로모르픽 함수에 열역학 체계를 확장하기 위해.
• 이전 방법이 주기성 또는 몫공간 축소를 필요로 했던 한계를 극복하기 위해.
• 기하적 계량 접근법을 통해 복소평면 위에 직접적으로 등각적 및 지브스 측도의 존재를 확립하기 위해.
• 매개변수에 대한 반경상 조르바 집합의 하우스도르프 차원의 실해석성을 증명하기 위해.
• 지수, 타원, 여근 함수 가족과 같은 다양한 초월 함수를 하나의 체계로 통합 다루기 위해.

제안 방법

• 함수의 도함수 성장률을 고려하여 특화된 리만 등각 계량 $ d\tau = (1 + |z|^{\alpha_2})^{-1} |dz| $ 을 도입한다.
• 네바린나 이론을 사용하여 잠재력 $ -t \log |f'(z)|_\sigma $ 와 관련된 페론-프로베니우스-루엘 연산자 $ \mathcal{L}_t $ 를 제어한다.
• 도함수 $ |f'(z)|_\sigma = |f'(z)| \cdot \frac{\gamma \circ f(z)}{\gamma(z)} $ 를 정의하며, 여기서 $ \gamma(z) = (1 + |z|^{\alpha_2})^{-1} $ 이다. 이는 잘 정의된 동역학을 보장한다.
• 모든 $ \lambda |f'|_\sigma^t $-등각 측도 $ m_t $ 와 관련된 지브스 상태 $ \mu_t $ 가 존재하고 유일함을 증명하며, 둘 다 반경상 조르바 집합에 지지된다.
• Radon-Nikodym 도함수 $ \psi = d\mu_t / dm_t $ 가 $ J(f) $ 에서 연속적이고 유계임을 확립한다.
• 해석적 가중치 집합에서 컴 pact성과 균일성 원리를 적용하여 매개변수 변화에 따른 차원의 실해석성을 도출한다.

실험 결과

연구 질문

• RQ1 비주기적 초구형 메로모르픽 함수에 대해 몫공간 축소 없이 열역학 체계를 확장할 수 있는가?
• RQ2 초월 함수 가중치 집합에서 반경상 조르바 집합의 하우스도르프 차원이 매개변수에 대해 해석적으로 변하는가?
• RQ3 페론-프로베니우스 연산자가 잘 정의되고 압력 함수가 잘 정의되도록 하기 위해 기하적 리만 계량을 구성할 수 있는가?
• RQ4 등각적 및 지브스 측도가 이러한 함수에 대해 유일하게 존재하며 반경상 조르바 집합에 지지되는가?
• RQ5 도함수 성장률에 어떤 조건이 성립하면 압력 함수와 관련 측도의 수렴성과 정규성이 보장되는가?

주요 결과

• 모든 $ t > \rho / \alpha $ 에 대해 최상위 압력 $ \text{P}(t) $ 가 존재하며, $ w \in J(f) $ 에 관계없이 일정하여 잘 정의된 압력 함수를 보장한다.
• 유일한 $ \lambda |f'|_\sigma^t $-등각 측도 $ m_t $ 가 존재하며, $ \lambda = e^{\text{P}(t)} $ 이고, $ m_t $ 와 동치인 유일한 확률 지브스 상태 $ \mu_t $ 가 존재하며, 이는 $ f $-불변성과 에르고딕성을 모두 만족한다.
• Radon-Nikodym 도함수 $ \psi = d\mu_t / dm_t $ 는 $ J(f) $ 에서 연속적이고 유계이며, 불변 측도의 강한 정규성을 확인한다.
• 반경상 조르바 집합 $ \mathcal{J}_r(f) $ 의 하우스도르프 차원은 압력 함수 $ \text{P}(t) $ 의 유일한 영점과 같다. 이는 바우언의 공식의 한 형태를 실현한다.
• 해석적 가중치 집합에서 함수 $ \lambda \mapsto \text{HD}(\mathcal{J}_r(\lambda f)) $ 는 $ \lambda = 1 $ 근처에서 실해석적이다. 이는 가중치 집합이 $ \alpha_2 \geq 1 $ 인 균형 잡힌 가중치 집합일 경우에 성립한다.
• 실해석성 결과는 $ \alpha_2 > 0 $ 인 가중치 집합으로도 확장되며, 주요 매개변수가 고정된 경우 도함수 조건이 단순화된다.