정교한 하틀리 변환 기반 새로운 컨볼루션과 그 대수적 구조

초록

본 논문은 매개변수 $a,b$ 를 갖는 정제된 하틀리 변환($\mathscr H$‑transform)을 도입하고, 이에 대응하는 컨볼루션 연산 $\underset{\mathscr H}{\ast}$를 정의한다. $L^{1}(\mathbb R^{n})$에 이 연산을 곱으로 사용하면 항등원을 갖지 않지만 교환적인 복합 Banach 대수를 형성한다. 또한 Wiener–Lévy 가역성 기준, Gelfand의 스펙트럼 반경 정리, Young 부등식의 상한을 제시하고, 이를 Fredholm 적분 방정식 및 열원 문제에 적용한다.

상세 분석

논문은 먼저 기존의 Fourier·Hartley 변환을 일반화한 $\mathscr H$‑transform을 $Hf(y)= (2\pi)^{-n/2}\int_{\mathbb R^{n}}(a\cos xy + b\sin xy)f(x),dx$ 로 정의한다. 여기서 $a,b\in\mathbb R$는 영이 아닌 상수이며, $a=1,b=\pm1$이면 고전 Hartley, $a=1,b=i$이면 Fourier 변환이 된다. 저자는 이 변환이 $L^{2}$에서 비단위적(non‑unitary)임을 강조하면서, $L^{1}$에서의 주입성(injectivity)을 Lemma 2.1을 통해 증명한다. 핵심은 $Hf=0$이면 Fourier 변환 $g=Ff$가 $ (a-ib)g(y)+(a+ib)g(-y)=0$ 을 만족하고, $ab\neq0$이면 $g\equiv0$이므로 $f=0$이 된다. 이는 $a,b$가 동시에 0이 아닌 경우에만 성립한다는 점을 명시한다.

다음으로 Riemann–Lebesgue 유형의 Lemma 2.2를 제시해 $Hf\in C_{0}(\mathbb R^{n})$이며 $|Hf|{\infty}\le (2\pi)^{-n/2}(|a|+|b|)|f|{1}$ 를 얻는다. 이는 $H$가 $L^{1}\to L^{\infty}$ 로 연속 사상임을 보이며, 이후 Banach 대수 구조를 구축하는 데 필수적이다.

핵심 정의인 $\underset{\mathscr H}{\ast}$는 (1.6)–(1.7)에서 제시된 복잡한 커널 $K_{a,b}