[논문 리뷰] A four dimensional Jensen formula

Alessandro Perotti|arXiv (Cornell University)|2019. 02. 18.

Algebraic and Geometric Analysis참고 문헌 10인용 수 4

한 줄 요약

이 논문은 복소수 변수 하나에 대한 슬라이스-정칙 함수에 대해 4차원 제닝스 공식을 수립하며, 점에서의 함수 값과 첫 번째 및 두 번째 도함수를 3차원 구면 위의 적분 평균과 그 영과 극의 분포와 연결한다. 이 공식은 이전 결과를 슬라이스를 보존하지 않는 함수로 확장하고, 일반화된 블라시케-유사 인수분해를 통해 고립된 영과 극, 그리고 구형 영과 극을 모두 포함한다.

ABSTRACT

We prove a Jensen formula for slice-regular functions of one quaternionic variable. The formula relates the value of the function and of its first two derivatives at a point with its integral mean on a three dimensional sphere centred at that point and with the disposition of its zeros. The formula can be extended to semiregular slice functions.

연구 동기 및 목표

• 슬라이스-정근 함수에 대한 고전적 제닝스 공식을 4차원 실수 공간에서 복소수 구조를 활용해 일반화한다.
• 슬라이스-정근 함수의 구조를 이용해 고전적 제닝스 공식을 4차원 실수 차원으로 확장한다.
• 블라시케-유사 인수를 통해 고립된 영과 극, 그리고 구형 영과 극을 통합된 적분 공식에 포함시킨다.
• 슬라이스 곱과 복소 수학적 복소수로의 상승을 활용해, 극이 있는 반정칙 함수를 포함한 공식을 유도한다.
• 구형 대칭성과 추적 연산을 이용해 원점에서의 로그 적분과 도함수를 계산하는 프레임워크를 수립한다.

제안 방법

• 스템 함수 구성법을 통해 $\mathbb{H} \otimes_{\mathbb{R}} \mathbb{C}$에서 복소수화된 복소수에 대한 정칙 함수로 슬라이스-정근 함수를 상승시킨다.
• 슬라이스 곱과 역행 블라시케 인수를 사용해 슬라이스를 보존하는 승수 $g$를 구성하여 $gf$가 슬라이스-정근 함수 $h$로 연장되도록 한다.
• 실수 극 $p_k$ 에 대해 $r$-블라시케 인수를, 구형 극 $b_i$ 에 대해 일반 함수를 사용하여 $g$ 를 정의하고, $\partial\mathbb{B}_r$ 에서 $|g|=1$ 이 되도록 보장한다.
• 이미 알려진 $h$ 에 대한 제닝스 공식을 적용하고 로그 항을 분해하여 $f$ 를 위한 공식을 복원한다.
• 구형 연산자와 라플라스 연산자 $\Delta_4$ 를 사용해 원점에서의 두 번째 도함수를 $|N(f)|$ 의 로그 적분과 연결한다.
• 비정상적인 극 차수를 고려하기 위해 고립된 다중성 $i_f(z_j)$ 를 도입하고, 유도된 항등식을 통해 기여도를 일치시킨다.

실험 결과

연구 질문

• RQ1 고전적 제닝스 공식은 어떻게 4차원 실수 차원에서 복소수 변수 하나에 대한 슬라이스-정근 함수로 일반화될 수 있는가?
• RQ2 슬라이스-형과 고립된 영과 극은 복소수 함수에 대한 일반화된 제닝스 유형 공식에서 어떤 역할을 하는가?
• RQ3 슬라이스-정근 함수의 원점에서의 첫 번째 및 두 번째 도함수는 3차원 구면 위의 적분 평균과 어떻게 관련이 있는가?
• RQ4 변동하는 차수를 가진 영과 극을 포함한 반정칙 함수에 대해 통합된 공식을 유도할 수 있는가?
• RQ5 비정상적인 차수를 가진 구형 극은 제닝스 공식의 로그 적분에 어떤 기여를 하는가?

주요 결과

• 공식은 $\log|f(0)|$ 와 그 첫 번째 및 두 번째 도함수를 3차원 구면 $\partial\mathbb{B}_r$ 에서 $\log|f|$ 와 $\log|f \circ S_f|$ 의 적분 평균으로 표현한다.
• 공식은 고립된 영 $a_i$, 고립된 극 $p_k$, 그리고 구형 극 $\SS_{b_i}$ 에 대한 보정 항을 포함하며, 각각 $|a_i|$, $|p_k|$, $|b_i|$ 에 의존한다.
• 비정상적인 차수를 가진 구형 극의 경우, 공식은 고립된 다중성 $i_f(z_j)$ 를 고려하고, 이들의 기여도는 $q' = q$ 인 $a_i$ 의 합과 일치한다.
• $\frac{r^2}{4}\operatorname{Re}\left(\left(f(0)^{-1}\overline{\frac{\partial f}{\partial x}(0)}\right)^2\right)$ 항은 첫 번째 도함수의 영향을 기록한다.
• $-\frac{r^2}{4}\operatorname{Re}\left(f(0)^{-1}\frac{\partial^2 f}{\partial x^2}(0)\right)$ 항은 원점에서의 두 번째 도함수의 기여를 반영한다.
• 모든 영과 극이 실수이거나 일정한 차수를 가진 구형일 경우, 공식은 슬라이스를 보존하는 경우로 정확히 축소되며, [1]과 [10]의 기존 결과와 일치한다.