[논문 리뷰] Mellin convolution operators in Bessel potential spaces with admissible meromorphic kernels

Roland Duduchava|arXiv (Cornell University)|2015. 02. 22.

Spectral Theory in Mathematical Physics참고 문헌 23인용 수 8

한 줄 요약

이 논문은 베티스 퍼텐셜 공간에서 적절한 유리형 커널을 가진 멜린 컨볼루션 연산자의 프레드홀름 이론과 유계성 성질을 공액 분석과 바나흐 대수 기법을 활용하여 수립한다. 주요 기여는 가중 베티스 퍼텐셜 공간과 소볼레프–슬로보데이지 공간에서 프레드홀름성과 인덱스 공식에 대한 기호 기반 기준을 제시하는 것으로, 고전적 결과를 끌어올림과 보간 기법을 통해 커널에 극이 존재하는 경우로 확장한다.

ABSTRACT

The paper is devoted to Mellin convolution operators with meromorphic kernels in Bessel potential spaces. We encounter such operators while investigating boundary value problems for elliptic equations in planar 2D domains with angular points on the boundary. Our study is based upon two results. The first concerns commutants of Mellin convolution and Bessel potential operators: Bessel potentials alter essentially after commutation with Mellin convolutions depending on the poles of the kernel (in contrast to commutants with Fourier convolution operatiors.) The second basic ingredient is the results on the Banach algebra $\mathfrak{A}_p$ generated by Mellin convolution and Fourier convolution operators in weighted $\mathbb{L}_p$-spaces obtained by the author in 1970's and 1980's. These results are modified by adding Hankel operators. Examples of Mellin convolution operators are considered. The first version of the paper was published in {\em Memoirs on Differential Equations and Mathematical Physics} {\bf 60}, 135-177, 2013. The formulations and proofs there contain fatal errors, which are improved in the present preprint. Part of the results, obtained with V. Didenko, are published in the preprint

연구 동기 및 목표

• 멜린 컨볼루션 연산자에 대한 프레드홀름 이론을 유리형 커널을 가진 베티스 퍼텐셜 공간에서 개발한다.
• 멜린 컨볼루션 연산자와 베티스 퍼텐셜 연산자 간의 공액 구조를 분석하여, 커널에 극이 존재할 경우 베티스 퍼텐셜 행동이 어떻게 변하는지 밝힌다.
• 하켄 연산자를 통합하고 기존의 바나흐 대수 결과를 수정하여 푸리에 컨볼루션 연산자의 고전 이론을 멜린 설정으로 확장한다.
• 가중 리만-베티스 퍼텐셜 공간과 리만 공간에서 멜린 컨볼루션 연산자의 유계성 및 끌어올림 성질을 수립한다.
• 보간 및 정규화 기법을 통해 소볼레프–슬로보데이지 공간에서 프레드홀름성과 인덱스 공식에 대한 기호 기반 기준을 유도한다.

제안 방법

• 멜린 컨볼루션 방정식을 $ \mathbb{R}^+ $ 에서 푸리에 컨볼루션 방정식으로 변환하기 위해 지수 변환 $ Z_{\beta} $ 와 $ Z^{-1}_{\beta} $ 를 사용한다.
• 변환된 커널의 푸리에 변환을 통해 베티스 퍼텐셜 공간에서 멜린 컨볼루션 연산자의 기호 $ \mathcal{A}^s_p(\xi, \infty) $ 를 유도한다.
• 국소 원칙을 적용하여 전역 프레드홀름 성질을 원점에서의 국소 역행성 조건으로 축소한다.
• 공액 기법과 베티스 퍼텐셜 이론을 사용하여 $ \widetilde{\mathbb{H}}^s_p(\mathbb{R}^+) \to \mathbb{H}^s_p(\mathbb{R}^+) $ 에서의 끌어올린 연산자 $ \mathbf{A} $ 를 구성한다.
• 베티스 퍼텐셜 공간 간의 실 보간을 통해 결과를 소볼레프–슬로보데이지(베소프) 공간 $ \mathbb{W}^s_p = \mathbb{B}^{s}_{p,p} $ 로 확장한다.
• 크라스노셀스키의 보간 정리를 활용하여 오차 항의 컴acts를 유지하고, 보간된 공간에서 프레드홀름 성질을 보장한다.

실험 결과

연구 질문

• RQ1 멜린 컨볼루션 연산자에 대한 유리형 커널이 베티스 퍼텐셜 연산자와 어떻게 교환되는가? 이는 푸리에 컨볼루션의 경우와 어떻게 다를까?
• RQ2 베티스 퍼텐셜 공간에서 멜린 컨볼루션 연산자의 기호는 무엇이며, 이것이 프레드홀름 성질을 어떻게 결정하는가?
• RQ3 가중 베티스 퍼텐셜 공간에서 멜린 컨볼루션 연산자가 원점에서 국소적으로 역행성일 조건은 무엇인가?
• RQ4 멜린 컨볼루션 연산자의 프레드홀름 성질과 인덱스는 어떻게 베티스 퍼텐셜 공간에서 소볼레프–슬로보데이지 공간으로 확장되는가?
• RQ5 하켄 연산자는 멜린 및 푸리에 컨볼루션 연산자의 바나흐 대수 프레임워크에서 어떤 역할을 하는가?

주요 결과

• 끌어올린 멜린 연산자 $ \mathbf{A} $ 의 기호 $ \mathcal{A}^s_p(\omega) $ 가 $ \Gamma_1 $ 에서 타원형인 것은 $ \inf_{\xi \in \mathbb{R}} |\det \mathcal{A}^s_p(\xi, \infty)| > 0 $ 인 것과 정확히 동치이며, 이는 원점에서의 국소 역행성 조건을 특징짓는다.
• 연산자 $ \mathbf{A} : \widetilde{\mathbb{H}}^s_p(\mathbb{R}^+) \to \mathbb{H}^s_p(\mathbb{R}^+) $ 는 그 기호가 타원적일 때에만 프레드홀름이며, 인덱스는 $ \operatorname{Ind} \mathbf{A} = -\operatorname{ind} \det \mathcal{A}^s_p $ 를 만족한다.
• 실 보간을 통한 프레드홀름 성질과 인덱스 공식이 유지되므로, $ s \in (s_0, s_1) $, $ p \in (p_0, p_1) $ 에서 $ \mathbf{A} : \widetilde{\mathbb{W}}^s_p(\mathbb{R}^+) \to \mathbb{W}^s_p(\mathbb{R}^+) $ 는 동일한 인덱스를 가진 채로 프레드홀름이다.
• 멜린 컨볼루션 연산자의 유계성과 끌어올림 성질은 하켄 연산자와 푸리에 컨볼루션 성분을 포함한 수정된 바나흐 대수 $ \mathfrak{A}_p $ 를 통해 수립된다.
• 멜린 컨볼루션 연산자와 베티스 퍼텐셜 연산자의 공액은 커널의 극이 존재할 경우, 푸리에 경우와 달리 불변이 아니며, 이는 스펙트럼 구조를 본질적으로 변화시킨다.
• 이 이론은 고정된 특이점을 가진 국소화된 적분 방정식으로 자연스럽게 나타나는 2차원 도메인의 경계값 문제에 적용 가능하다.