[논문 리뷰] On regularization of Mellin PDO's with slowly oscillating symbols of limited smoothness

Alexei Yu. Karlovich, Yuri I. Karlovich외 1명|arXiv (Cornell University)|2014. 07. 12.

Advanced Harmonic Analysis Research참고 문헌 10인용 수 3

한 줄 요약

이 논문은 유한한 미분 가능성 조건을 갖는 천천히 진동하는 함수의 대수 $\widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$에 속하는 기호를 가진 멜린 미분형식 연산자(Mellin PDOs)에 대한 프레드홀름 조건을 수립한다. 이 연산자가 $L^p(\mathbb{R}_+, dt/t)$에서 프레드홀름임은 물론, 그 기호가 무한대 또는 최대 아이디얼 공간의 경계에서 0이 되지 않을 때이고, 이는 $\mathrm{Op}(\mathfrak{b}) + K$ 형태의 명시적 정규화자를 제공한다. 여기서 $\mathfrak{b}$는 경계에서 기호의 점별 역함수이고, $K$는 컴팩트 연산자이다.

ABSTRACT

We study Mellin pseudodifferential operators (shortly, Mellin PDO's) with symbols in the algebra $\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$ of slowly oscillating functions of limited smoothness introduced in \cite{K09}. We show that if $\mathfrak{a}\in\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$ does not degenerate on the "boundary" of $\mathbb{R}_+ imes\mathbb{R}$ in a certain sense, then the Mellin PDO ${ m Op}(\mathfrak{a})$ is Fredholm on the space $L^p$ for $p\in(1,\infty)$ and each its regularizer is of the form ${ m Op}(\mathfrak{b})+K$ where $K$ is a compact operator on $L^p$ and $\mathfrak{b}$ is a certain explicitly constructed function in the same algebra $\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$ such that $\mathfrak{b}=1/\mathfrak{a}$ on the "boundary" of $\mathbb{R}_+ imes\mathbb{R}$. This result complements a known Fredholm criterion from \cite{K09} for Mellin PDO's with symbols in the closure of $\widetilde{\mathcal{E}}(\mathbb{R}_+,V(\mathbb{R}))$.

연구 동기 및 목표

• 기호의 미분 가능성 조건을 완화한 경우, 멜린 미분형식 연산자에 대한 프레드홀름 이론을 확장하는 것.
• 해당 기호를 갖는 멜린 미분형식 연산자가 $L^p(\mathbb{R}_+)$ 공간에서 프레드홀름이 되는 필요충분조건을 설정하는 것.
• 멜린 미분형식 연산자가 프레드홀름일 경우, $\mathbb{R}_+ \times \mathbb{R}$의 경계에서 기호의 역함수를 이용한 명시적 정규화자를 구성하는 것.
• 이전 연구에서 요구하던 $C^\infty$ 기호 조건을 완화하면서도 프레드홀름의 구조를 유지하는 것.

제안 방법

• 저자들은 주파수 변수에서 유계 변동성을 갖는 천천히 진동하는 함수의 대수 $\widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$ 내에서 작업한다. 이는 제한된 미분 가능성 조건을 허용한다.
• 멜린 변환과 그 역변환을 이용하여 멜린 미분형식 연산자 $\mathrm{Op}(\mathfrak{a})$를 정의하며, 기호 $\mathfrak{a}(t,x)$를 스펙트럼 매개변수를 조절하는 데 사용한다.
• 핵심 기술적 도구는 $\mathbb{R}_+$의 최대 아이디얼 공간 $\Delta$를 식별하는 것으로, 이는 $t \to 0$ 또는 $t \to \infty$일 때의 경계값 $\mathfrak{a}(\xi,x)$를 정의할 수 있게 한다.
• 기호의 경계에서 $\mathfrak{b}(\xi,x) = 1/\mathfrak{a}(\xi,x)$이자 $\mathfrak{b}(t,\pm\infty) = 1/\mathfrak{a}(t,\pm\infty)$를 만족하는 $\mathfrak{b} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$를 구성한다. 이는 균일 수렴성과 유계 변동성 성질을 이용한다.
• 기호 $\mathfrak{c} = \mathfrak{a}\mathfrak{b} - 1$이 무한대와 최대 아이디얼 공간에서 0이 되므로, 이전 연구에서 얻은 컴팩트성 기준을 적용하여 $\mathrm{Op}(\mathfrak{a}\mathfrak{b}) - I$가 $L^p$에서 컴팩트임을 증명한다.
• 이 증명은 $\partial_x \mathfrak{b}(t,x)$의 $L^1(\mathbb{R})$-노름이 큰 간격 외부에서 일관되게 작다는 사실에 기반한다. 이는 $\mathfrak{b} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$임을 보장한다.

실험 결과

연구 질문

• RQ1 천천히 진동하는 기호를 갖는 멜린 미분형식 연산자가 $p \in (1,\infty)$에 대해 $L^p(\mathbb{R}_+)$에서 프레드홀름이 되는 조건은 무엇인가?
• RQ2 이러한 프레드홀름 연산자에 대해 같은 기호 대수 내에서 명시적 정규화자를 구성할 수 있는가?
• RQ3 기호의 경계 행동, 즉 $t \to 0$, $t \to \infty$, 그리고 최대 아이디얼 공간 $\Delta$에서의 행동이 수행하는 정확한 역할은 무엇인가?
• RQ4 멜린 미분형식 연산자의 프레드홀름 성질은 $\mathbb{R}_+ \times \mathbb{R}$의 경계에서 기호의 점별 역행성에 어떻게 의존하는가?
• RQ5 기호에 대한 미분 가능성 요구 조건을 얼마나 완화할 수 있으며, 이로 인해 프레드홀름의 구조는 유지되는가?

주요 결과

• 기호 $\mathfrak{a} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$를 갖는 멜린 미분형식 연산자 $\mathrm{Op}(\mathfrak{a})$는 $L^p(\mathbb{R}_+)$에서 프레드홀름이 되기 위한 필요충분조건이 $\mathbb{R}_+$의 모든 $t$에 대해 $\mathfrak{a}(t,\pm\infty) \neq 0$ 이고, $\Delta$의 모든 $\xi$와 $\overline{\mathbb{R}}$의 모든 $x$에 대해 $\mathfrak{a}(\xi,x) \neq 0$임을 만족한다.
• 이러한 프레드홀름 연산자의 각 정규화자는 $\mathrm{Op}(\mathfrak{b}) + K$ 형태이며, $K$는 컴팩트이고, $\mathfrak{b} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$이면서 $\mathfrak{b}(t,\pm\infty) = 1/\mathfrak{a}(t,\pm\infty)$ 및 $\mathfrak{b}(\xi,x) = 1/\mathfrak{a}(\xi,x)$를 경계에서 만족한다.
• 구성된 기호 $\mathfrak{b}$는 경계에서 $\mathfrak{a}$의 점별 역함수를 통해 명시적으로 정의되며, 균일 수렴성과 $\partial_x \mathfrak{b}$의 유계 변동성에 의해 $\mathfrak{b} \in \widetilde{\mathcal{E}}(\mathbb{R}_{+},V(\mathbb{R}))$임이 확인된다.
• $\mathrm{Op}(\mathfrak{a}\mathfrak{b} - 1)$의 컴팩트성은 $\mathfrak{a}\mathfrak{b} - 1$이 무한대와 $\Delta$에서 0이 되므로, $\mathrm{Op}(\mathfrak{a}\mathfrak{b}) \simeq I$임을 의미한다.
• 이 결과는 라빈스키의 $C^\infty$-연속성 기준을 더 넓은 기호 클래스로 일반화하며, 정규화자의 구조를 유지한다.
• 증명은 $\sup_{t \in \mathbb{R}_+} \int_{\mathbb{R} \setminus [-m,m]} |\partial_x \mathfrak{b}(t,x)| \, dx \to 0$ as $m \to \infty$임에 기반하며, 이는 $\mathfrak{b}$가 $t$에 대해 일관되게 $x$에서 유계 변동성을 갖는다는 것을 보장한다.