저정도 규칙성 하이퍼그룹의 아렌스 곱과 비대칭 구조

초록

본 논문은 차블리‑트리메체 하이퍼그룹에서 Sturm‑Liouville 함수 A의 정규성을 C¹와 유계 변동(BV) 수준으로 낮추어, 두 번째 쌍대 L¹(H)″와 M(H)″에 대한 아렌스 곱을 분석한다. 비대칭 측정 νₓ와 극한 측정 ν_∞의 존재·연속성을 확장하고, ν_∞의 푸리에 변환이 0이 아닌 경우와 그렇지 않은 경우를 정확히 구분함으로써 L¹(H)의 강한 아렌스 불규칙성을 필요충분조건으로 제시한다. 또한 좌·우 위상 중심의 차이를 구체적인 예를 들어 비교하고, 가중치(베이징형) 하이퍼그룹 대수에 대한 아렌스 규칙성 임계값을 제시한다.

상세 분석

논문은 먼저 기존 연구가 요구하던 A∈C² 이상의 매끄러움 가정을 완화하고, A∈C¹이며 A′가 유계 변동(BV) 혹은 유계 라돈 측도로만 가정한다. 이러한 저정도 정규성 하에서도 Sturm‑Liouville 연산자 L f=−(1/A)·(A·f′)′의 고유함수를 WKB‑형식으로 구성할 수 있음을 보인다. 핵심은 Lemma 3.2와 3.3에서 제시된 Volterra 적분 방정식 전개이다. 여기서 A′가 측정으로 나타나므로, 전통적인 미분 방정식 해법 대신 측정론적 적분 연산자를 이용해 m(x,λ)=1+∫ₓ^∞K(x,t;λ)m(t,λ)dµ(t) 형태의 해를 구축한다. µ는 A′의 절대연속 부분과 점이산 부분을 모두 포함한다. 연산자 T의 노름을 A′의 총 변동에 비례하게 제어함으로써 Neumann 급수를 이용해 고유함수의 존재와 유일성을 확보한다.

이후 이러한 고유함수를 이용해 하이퍼그룹의 합성 커널을 분석한다. νₓ,y:=δ_{−y}∗(δₓ∗δ_y) 를 정의하고, y→∞에서 L¹-노름 수렴을 보인다. Theorem 3.4는 A′가 BV이면 νₓ,y가 균등하게 수렴해 νₓ를 정의하고, x↦νₓ가 연속임을 증명한다. 더 나아가 x→∞에서 νₓ가 또다시 수렴해 ν_∞가 존재함을 보이며, 이는 전체 하이퍼그룹의 비대칭 구조를 지배하는 핵심 측정이 된다.

강한 아렌스 불규칙성에 대한 새로운 필요충분조건은 ν_∞의 푸리에 변환 (\widehat{ν}∞) 가 0이 아닌지 여부에 의해 결정된다. 논문은 Losert가 제시한 충분조건을 일반화하여, (\widehat{ν}∞(λ)≠0) for some λ ⇔ Z_t(L¹(H)″)=L¹(H) (즉, 좌위상 중심이 원래 대수와 일치)임을 증명한다. 반대로 (\widehat{ν}_∞\equiv0)이면 비자명한 원소가 좌위상 중심에 존재해 강한 불규칙성이 깨진다. 이 결과는 Sturm‑Liouville 연산자의 스펙트럼과 직접 연결되므로, 하이퍼그룹의 구조적 강직성을 스펙트럼 분석을 통해 판단할 수 있게 한다.

좌·우 위상 중심의 비교에서는, 비록 하이퍼그룹 자체는 교환적이지만, 아렌스 곱의 비대칭성 때문에 Z_t와 Z_r이 다를 수 있음을 보인다. 구체적인 예로 Jacobi와 Naimark 하이퍼그룹에서는 두 중심이 일치하지만, Bessel‑Kingman과 변형된 Euclidean motion 하이퍼그룹에서는 좌·우 중심이 서로 다른 비자명한 원소를 포함한다. 이는 측정 νₓ와 ν_∞의 비대칭적 전이 구조가 좌·우 연산에 다른 영향을 미치기 때문이다.

가중치 하이퍼그룹 대수 L¹(H,ω)와 M(H,ω)에 대해서는, 가중치 함수 ω가 적절히 성장하면 강한 아렌스 불규칙성을 유지하고, ω가 너무 급격히 성장하면 불규칙성이 사라져 비자명한 중심이 생긴다. 논문은 구체적인 임계 성장률을 제시하고, Jacobi와 Bessel‑Kingman 사례에 적용해 가중치가 스펙트럼에 미치는 영향을 정량화한다.

전반적으로, 저정도 정규성 하에서도 아렌스 곱과 위상 중심을 정확히 기술할 수 있음을 보이며, 기존의 매끄러운 경우에만 적용 가능했던 결과들을 크게 일반화한다. 이는 하이퍼그룹 조화해석, 스펙트럼 이론, 그리고 비선형 퍼터베이션 이론 사이의 새로운 연결 고리를 제공한다.