[논문 리뷰] The structure of normal Hausdorff operators on Lebesgue spaces

А. Р. Миротин|arXiv (Cornell University)|2018. 12. 06.

Mathematical Analysis and Transform Methods참고 문헌 3인용 수 6

한 줄 요약

이 논문은 $L^2(\mathbb{R}^n)$ 위의 일반화된 하우스도르프 연산자의 기호를 도입하고, 멜린 변환을 통해 정규 하우스도르프 연산자가 곱셈 연산자와 유니터리 동치임을 증명한다. 주요 기여는 정규 하우스도르프 연산자의 스펙트럼 및 구조적 특성에 대한 특성화로, 역연산 가능성, 스펙트럼, 노름, 컴팩트성에 대한 기준을 포함하며, 세자로 및 이산 하우스도르프 연산자에의 응용을 수반한다.

ABSTRACT

We consider a generalization of Hausdorff operator and introduce the notion of the symbol of such an operator. Using this notion we describe the structure and investigate important properties (such as invertibility, spectrum, norm, and compactness) of normal generalized Hausdorff operators on Lebesgue spaces over $\mathbb{R}^n.$ The examples of Cesàro operators are considered.

연구 동기 및 목표

• 일반화된 하우스도르프 연산자를 일반화하고 $L^2(\mathbb{R}^n)$ 위에서 그 기호를 정의한다.
• 기호와 멜린 변환을 이용하여 정규 일반화된 하우스도르프 연산자의 구조를 특성화한다.
• 역연산 가능성, 스펙트럼, 노름, 컴팩트성과 같은 기본 연산자 성질을 조사한다.
• 세자로 및 이산 하우스도르프 연산자와 같은 고전적 예제에 이 토대를 적용한다.

제안 방법

• 하우스도르프 연산자의 기호 $\varphi(s)$ 를 $\varphi(s) = \int_{\Omega} \Phi(u) |\det A(u)|^{-1/2} a(u)^{-is} d\mu(u)$ 로 정의한다. 여기서 $a(u)$ 는 $A(u)$ 의 고유값이다.
• n차원 멜린 변환 $\mathcal{M}$ 을 사용하여 연산자를 $L^2(\mathbb{R}^n)$ 내의 곱셈 연산자로 변환한다.
• 멜린 변환 하에서 하우스도르프 연산자 $\mathcal{H}$ 와 $\varphi(s)$ 에 대한 곱셈 연산자 사이의 유니터리 동치를 확립한다.
• 멜린 변환을 적용하여 함수해석적 추론과 피보니의 정리를 활용해 스펙트럼 및 컴팩트성 성질을 도출한다.
• 쌍대성과 페일리-위너 정리를 사용하여 $p \neq 2$ 일 때의 비콤팩트성을 증명한다.
• $\mathcal{M}$ 이 $L^2(U)$ 상에서 유니터리이고 $1 \leq p \leq 2$ 에 대해 $L^p(U)$ 상에서 유계임을 이용하여 결과를 $L^p$ 으로 확장한다.

실험 결과

연구 질문

• RQ1 일반화된 하우스도르프 연산자가 $L^2(\mathbb{R}^n)$ 상에서 정규가 되기 위한 조건은 무엇인가?
• RQ2 하우스도르프 연산자의 기호는 어떻게 정의되고, 그 기호를 통해 스펙트럼 및 구조적 성질를 특성화할 수 있는가?
• RQ3 멜린 변환과 정규 하우스도르프 연산자가 곱셈 연산자와 유니터리 동치가 되는 관계는 무엇인가?
• RQ4 언제 정규 하우스도르프 연산자가 컴팩트한가, 그리고 그 스펙트럼은 무엇인가?
• RQ5 세자로 연산자와 같은 고전적 예제들은 이 일반화된 틀 안에서 어떻게 위치되는가?

주요 결과

• 정규 하우스도르프 연산자 $\mathcal{H}_{\Phi,A}$ 는 $L^2(\mathbb{R}^n)$ 상에서 그 기호 $\varphi(s)$ 에 대한 곱셈 연산자와 유니터리 동치이다.
• 기호 $\varphi(s)$ 는 $\mathbb{R}^n$ 상에서 연속적이고 유계이며, $\mathcal{H}_{\Phi,A}$ 의 스펙트럼은 $\varphi(s)$ 의 본질적 범위이다.
• 만약 $\mathcal{H}_{\Phi,A}$ 가 0이 아니고 고유값 $a_j(u)$ 가 $u$ 에 대해 일정하다면, $L^p(\mathbb{R}^n)$ 상에서 $p \neq 2$ 일 때 $\mathcal{H}_{\Phi,A}$ 는 비콤팩트하다.
• $1 \leq p < 2$ 일 때, 만약 $b(u)^{-n/p}\Phi(u) \in L^1(\Omega)$ 이고 $\mathcal{H}_{\Phi,A} \neq 0$ 이면, $L^p(\mathbb{R}^n)$ 상에서 $\mathcal{H}_{\Phi,A}$ 는 비콤팩트하다.
• 하우스도르프 연산자의 수반은 또한 하우스도르프 연산자이며, 커널은 $\overline{\Phi(v)}|\det A(v)|^{-1}$ 이고 행렬은 $A(v)^{-1}$ 이다.
• 멜린 변환 $\mathcal{M}$ 은 $\mathcal{H}_{\Phi,A}$ 를 $\varphi(s)$ 에 대한 곱셈 연산자로 매핑하며, 이 동치관계는 $f \in L^p(U)$ 에 대해 밀도성과 연속성에 의해 성립한다.