[논문 리뷰] Loewner Equation driven by complex-valued functions

Huy Tran|arXiv (Cornell University)|2017. 07. 04.

Meromorphic and Entire Functions참고 문헌 8인용 수 3

한 줄 요약

이 논문은 실수 함수가 아닌 복소수 값의 드라이빙 함수를 사용하는 로엔러 방정식을 확장하며, 1/2-홀더 노름이 충분히 작을 경우 생성된 헐은 왜곡이 제어된 준선분(quasi-arc)임을 증명한다. 본 연구는 곡선에 대한 해석적 운동(holomorphic motion)의 구조를 수립하여, 준대칭 사상과 등각 불변성에 의해 로엔러 역학과 복소 해석학의 역학을 연결한다.

ABSTRACT

Consider the Loewner equation associated to the upper-half plane. Normally this equation is driven by a real-valued function. In this paper, we show that when the driving function is complex-valued with small $1/2$-Hölder norm, the corresponding hull is a quasi-arc, hence is a simple curve. We also study how the hull changes with respect to complex parameters and make a connection between Loewner equation and complex dynamics.

연구 동기 및 목표

• 실수 함수가 아닌 복소수 값의 함수에 의해 구동되는 로엔러 헐의 기하적 성질을 조사하는 것.
• 결과로 생성된 헐이 단순 곡선, 특히 준선분으로 남는 조건을 규명하는 것.
• 로엔러 방정식과 복소 해석학의 해석적 운동 사이의 연결 고리를 설정하는 것.
• 생성된 곡선이 복소수 매개변수에 대해 어떻게 해석적으로 의존하는지 분석하여 매개변수 공간에서의 해석성(holomorphicity)을 보여주는 것.

제안 방법

• 상반평면에서 복소수 값의 드라이빙 함수를 사용하는 표준 로엔러 방정식을 적응하여, 미분방정식 시스템을 통해 진화를 정의한다.
• 시간 역행 진화를 분석하기 위해 역방향 로엔러 흐름을 사용하며, 곡선의 존재성과 단사성을 확립한다.
• 쌍대성과 등각 불변성 원리를 적용하여 헐이 양측 면의 콘 내부에 존재함을 보여, 준선분의 구조를 보장한다.
• 홀더 연속성 추정과 콘 기반의 추론을 사용하여 곡선의 성장과 그 역함수에 의한 상대 이미지의 성장을 제어한다.
• 변형 분석을 통해 드라이빙 함수에 대한 곡선의 연속성과 해석적 의존성을 확립한다.
• 역극한 구조와 등각 접합(conformal welding)을 사용하여 헐이 [-1,1] 상에서 매개변수화된 연속 곡선임을 증명한다.

실험 결과

연구 질문

• RQ1 복소수 값의 드라이빙 함수에 대해 어떤 조건에서 로엔러 헐이 준선분으로 남는가?
• RQ2 복소수 드라이빙 함수에 의해 생성된 로엔러 곡선은 선분의 해석적 운동에 포함될 수 있는가?
• RQ3 드라이빙 함수가 복소수 값일 경우 곡선이 복소수 매개변수에 대해 어떻게 해석적으로 의존하는가?
• RQ4 드라이빙 함수의 홀더 정규성(Holder regularity)이 향상되었을 때 곡선의 정규성(regularity)은 어떻게 되는가?
• RQ5 곡선은 실수 구간에서 대칭적으로 매개변수화될 수 있으며, 역행 진화 성질을 만족하는가?

주요 결과

• 복소수 값의 드라이빙 함수가 1/2-홀더 노름 σ를 충분히 작게 가지면, 헐 Lt는 준선분이 되며, 구체적으로 Lt = γ([-t,t])로 연속 곡선 γ에 의해 표현된다.
• 곡선 γ는 양의 부분과 음의 부분이 서로 분리되고 대칭적인 콘 내부에 위치하므로 왜곡이 제어되어 준선분이 된다.
• 고정된 t에 대해 α ∈ ℂ 에 대해 γ(α,t)는 α에 대해 해석적으로 의존하며, 해석적 운동의 구조를 수립한다.
• 모든 0에서 시작하는 곡선들의 집합의 지름은 어떤 c > 0 에 대해 cσ로 유계이므로, 드라이빙 함수에 대한 연속적 의존성이 입증된다.
• 곡선은 (-1,1)  \{0} 에서 미분 가능하며, 역함수와 드라이빙 함수를 포함하는 명시적 도함수 공식이 존재한다.
• 드라이빙 함수가 C^{α+1/2} 에 속하고 α > 1/2 이면, 곡선은 (-1,1)  \{0} 에서 C^{α+1/2} 에 속하며, 정량적 정규성 추정이 존재한다.