[논문 리뷰] On fractional powers of the Bessel operator on a semiaxis

С. М. Ситник, Elina Shishkina|arXiv (Cornell University)|2017. 06. 06.

Spectral Theory in Mathematical Physics참고 문헌 9인용 수 10

한 줄 요약

이 논문은 르장드르 함수와 멜린 변환을 포함하는 적분 표현을 사용하여 반축 위에서 베셀 미분 연산자의 분수계수를 도입하고 분석한다. 리우빌 및 사이고 분수적 적분과의 연결을 수립하고, 준군 성질을 증명하며, 명시적인 커널 표현을 도출함으로써 분수계수 베셀 연산자를 포함하는 미분방정식을 해결하기 위한 새로운 프레임워크를 제공한다.

ABSTRACT

In this paper we study fractional powers of the Bessel differential operator defined on a semiaxis. Some important properties of such fractional powers of the Bessel differential operator are proved. They include connections with Legendre functions for kernel representations, fractional integral operators of Liouville and Saigo, Mellin transform and index laws. Possible applications are indicated to differential equations with fractional powers of the Bessel differential operator.

연구 동기 및 목표

• 양의 실수선 위에서 특이 베셀 미분 연산자의 분수계수를 철저한 프레임워크로 개발하기.
• 리우빌 및 사이고와 같은 알려진 분수적 적분 연산자와 분수계수 베셀 연산자 간의 연결을 수립하기.
• 세 매개변수 초함수를 두 매개변수 형태로 단순화하기 위해 르장드르 함수를 사용하여 명시적인 커널 표현을 도출하기.
• 특정 매개변수 영역에서 준군 법칙 및 좌역소 성질과 같은 기본 성질을 증명하기.
• 분수계수 베셀 연산자를 포함하는 미분방정식을 해결하기 위한 기초를 마련하기.

제안 방법

• 베셀 차수 ν와 분수계수 α에 의존하는 매개변수를 가진 가우스 제타함수를 포함하는 적분 표현을 통해 분수계수 베셀 적분 연산자를 유도한다.
• 초함수와 관련 르장드르 함수 간의 관계를 이용한 변환을 적용하여 커널을 제1종 르장드르 함수의 형태로 재작성한다.
• 멜린 변환을 사용하여 연산자의 행동을 분석하고 그 변환 쌍을 도출한다.
• 기존의 초함수 항등식을 활용하여 커널을 단순화함으로써 ν = 0일 때 연산자가 리우빌 분수적 적분과 동일시됨을 확인한다.
• 변수 치환 y² = t를 통해 사이고 적분 연산자와의 연결을 수립하고 사이고 공식에 해당하는 매개변수를 식별한다.
• 조합 규칙과 적분 항등식을 사용하여 분수계수 베셀 연산자의 준군 성질을 증명한다.

실험 결과

연구 질문

• RQ1 반축 위에서 분수계수 베셀 연산자는 어떤 특수함수를 통해 표현될 수 있는가?
• RQ2 분수계수 베셀 연산자와 리우빌 및 사이고와 같은 고전적 분수적 적분 연산자 간의 관계는 무엇인가?
• RQ3 분수계수 베셀 연산자가 원래의 베셀 연산자에 대해 좌역소로 작용하는 조건은 무엇인가?
• RQ4 분수계수 베셀 적분 연산자의 멜린 변환은 무엇인가?
• RQ5 분수계수 베셀 연산자는 조합에 대해 준군 성질을 만족하는가?

주요 결과

• 분수계수 베셀 적분 연산자가 ν = 0일 때 리우빌 분수적 적분으로 축소됨을 보여주며, 고전적 분수적 미적분학과의 일致성을 확인한다.
• 분수계수 베셀 연산자의 커널이 관련 르장드르 함수를 사용하여 명시적으로 재작성되며, 세 매개변수 초함수를 두 매개변수 형태로 단순화한다.
• 변수 치환을 통해 사이고 분수적 적분의 특수한 경우로 식별됨으로써 일반화된 분수적 미적분학과 직접적인 연결을 수립한다.
• 분수계수 베셀 연산자에 대해 준군 성질이 증명되었으며, 적절한 조건 하에서 (B_{ν,-}^{-α} ∘ B_{ν,-}^{-β})f = B_{ν,-}^{-(α+β)}f 라는 결과를 도출한다.
• 분수계수 베셀 적분 연산자의 멜린 변환을 유도하여 조화 분석 및 적분방정식에서의 추가 분석을 가능하게 한다.
• ν > 0 이고 α = 1일 때, 연산자 B_{ν,-}^{-1}은 g와 g'가 무한대에서 0이 되는 조건 하에서 베셀 연산자 B_ν에 대해 좌역소로 작용함을 확인하여 고려 중인 함수 공간 내에서의 역행성 확인한다.