[논문 리뷰] Nonabelian harmonic analysis and functional equations on compact groups

Jinpeng An, Dilian Yang|ArXiv.org|2008. 09. 04.

Functional Equations Stability Results참고 문헌 17인용 수 8

한 줄 요약

이 논문은 비아벨 조화 해석학과 표현 이론을 사용하여 컴팩트 군 위에서 일반화된 함수방정식을 해결하며, 모든 $L^2$-해가 $SU(2)$ 또는 $O(2)$를 통해 인수분해됨을 보이고, 윌슨 방정식과 d’Alembert 장방정식의 해를 $SU(2)$로의 호모모르피즘의 추적으로 완전히 특성화함으로써 컴팩트 군 위의 함수방정식에서 오랫동안 미해결이었던 문제들을 해결한다.

ABSTRACT

Making use of nonabelian harmonic analysis and representation theory, we solve the functional equation $$f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=f_5(x)f_6(y)$$ on arbitrary compact groups. The structure of its general solution is completely described. Consequently, several special cases of the above equation, in particular, the Wilson equation and the d'Alembert long equation, are solved on compact groups.

연구 동기 및 목표

• 임의의 컴팩트 군에서 함수방정식 $f_1(xy) + f_2(yx) + f_3(xy^{-1}) + f_4(y^{-1}x) = f_5(x)f_6(y)$ 의 모든 $L^2$-해를 완전히 특성화하는 것.
• 윌슨 방정식과 d’Alembert 장방정식을 이 일반화된 형태로 환원함으로써 컴팩트 군 위에서 이 방정식들을 해결하는 열린 문제를 해결하는 것.
• 이 방정식들의 비자명한 해가 모두 $SU(2)$를 통해 인수분해됨을 증명하여, 이전의 연결된 컴팩트 군에 대한 결과를 임의의 컴팩트 군으로 확장하는 것.
• 푸리에 변환과 표현 이론을 사용하여 해 공간을 동차해와 특별해로 분해하는 것.
• 일반선형군 $U(1)$, $O(2)$, $SU(2)$, $O(3)$로의 기약 표현을 통해 모든 순수 정규화된 해를 분류하는 것.

제안 방법

• 컴팩트 군 $G$ 의 유니터리 이중체 $\hat{G}$ 에서의 행렬 방정식의 집합으로 기능 방정식을 변환하기 위해 비아벨 푸리에 변환을 적용한다.
• 표현 이론에서의 세 가지 유형의 기약 표현에 해당하는 복소수, 실수, 또는 허수 유형의 허용 가능한 행렬 튜플을 정의한다.
• 선형 대수 기법을 사용하여 유도된 행렬 방정식을 해결하고, 모든 허용 가능한 튜플을 분류한다.
• 푸리에 역변환 공식을 사용하여 변환된 행렬 해에서 일반적인 $L^2$-해를 재구성한다.
• 해 공간을 동차해 공간(방정식 $f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=0$ 의 해들)과 순수 정규화된 해의 직합으로 분해한다.
• 중앙 함수의 직교 여부를 고려하여 동차 방정식의 해 공간에서의 기저를 $O(1)$, $O(2)$, $SU(2)$ 로의 표현을 통해 구성한다.

실험 결과

연구 질문

• RQ1 임의의 컴팩트 군에서 일반화된 함수방정식 $f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=f_5(x)f_6(y)$ 의 모든 $L^2$-해의 완전한 구조는 무엇인가?
• RQ2 윌슨 방정식과 d’Alembert 장방정식의 컴팩트 군 위의 모든 비자명한 해는 모두 $SU(2)$를 통해 인수분해되는가?
• RQ3 d’Alembert 장방정식의 해는 고전적 d’Alembert 방정식의 해와 어떻게 관련이 있는가?
• RQ4 일반화된 방정식의 해 공간은 동차해와 순수 정규화된 해의 합으로 분해될 수 있는가?
• RQ5 기약 표현을 통해 $U(1)$, $O(2)$, $SU(2)$, $O(3)$ 로의 표현이 일반해를 생성하는 데 어떤 역할을 하는가?

주요 결과

• 컴팩트 군 위에서 일반화된 함수방정식의 모든 $L^2$-해는 푸리에 변환과 표현 이론을 통해 완전히 기술되며, 허용 가능한 행렬 튜플에서 유래한다.
• 컴팩트 군 위에서 윌슨 방정식 $f(xy)+f(xy^{-1})=2f(x)g(y)$ 의 모든 비자명한 해는 어떤 호모모르피즘 $\pi: G \to SU(2)$ 와 복소수 $a \in \mathbb{C}$ 에 대해 $f(x)=a\operatorname{tr}(\pi(x))$, $g(x)=\frac{1}{2}\operatorname{tr}(\pi(x))$ 의 형태를 가진다.
• 컴팩트 군 위에서 d’Alembert 장방정식 $f(xy)+f(yx)+f(xy^{-1})+f(y^{-1}x)=4f(x)f(y)$ 의 모든 비자명한 해는 $f(x)=\frac{1}{2}\operatorname{tr}(\pi(x))$ 의 형태이며, $\pi: G \to SU(2)$ 이고, 고전적 d’Alembert 방정식의 해와 일치한다.
• d’Alembert 장방정식과 고전적 d’Alembert 방정식의 일반해는 동일하며, 장형태에서 새로운 해가 유도되지 않음을 확인한다.
• 함수방정식 $f(xy)+f(xy^{-1})+f(yx)+f(y^{-1}x)=h(x)k(y)$ 의 모든 비자명한 해는 $O(2)$ 또는 $SU(2)$를 통해 인수분해되며, 표현의 추적을 통해 명시적인 형태로 기술된다.
• 일반화된 방정식의 해 공간은 동차해 공간과 순수 정규화된 해 공간의 직합으로 분해되며, 후자는 $U(1)$, $O(2)$, $SU(2)$, $O(3)$ 로의 기약 표현에 의해 완전히 특성화된다.