[논문 리뷰] Definitions of complex order integrals and derivatives using operator approach

Raoelina Andriambololona, Tokiniaina Ranaivoson외 1명|arXiv (Cornell University)|2012. 08. 31.

Fractional Differential Equations Solutions참고 문헌 3인용 수 4

한 줄 요약

이 논문은 복소수 s의 양의 실수부를 가진 일반화된 연산자 J^s를 사용하여 함수의 복소수 차수 적분과 미분을 정의하는 새로운 연산자 기반 프레임워크를 제안한다. 이는 유도를 통해 모든 복소수 s로까지 확장된다. 주요 기여는 연산자 이론을 통해 분수적 미적분학을 복소수 차수로 일관되고 분석적으로 탄탄한 방식으로 확장한 것으로, 실수 차수 분수 미적분학을 초월한 엄밀한 정의를 가능하게 한다.

ABSTRACT

For a complex number s, the s-order integral of function f fulfilling some conditions is defined as action of an operator, noted J^s, on f. The definition of the operator J^s is given firstly for the case of complex number s with positive real part. Then, using the fact that the operator of one order derivative, noted D^1, is the left- hand side inverse of the operator J^1, an s-order derivative operator, noted D^s, is also defined for all complex number s with positive real part. Finally, considering the relation J^s=D^(-s), the definition of the s-order integral and s-order derivative is extended for all complex number s.An extension of the definition domain of the operators is given too.

연구 동기 및 목표

• 복소수 차수의 적분과 미분에 대해 수학적으로 엄밀한 정의를 수립하는 것.
• 연산자 이론을 사용하여 분수 미적분학 연산자의 정의 도메인을 실수에서 복소수 차수로 확장하는 것.
• 복소수 s의 실수부가 양수인 경우에 대해 적분 연산자 J^s를 적분 연산자 형태로 정의하는 것.
• J^1의 좌역인 역함수로서 s차수 미분 연산자 D^s를 정의하여 고전적 미분과의 일관성을 확보하는 것.
• J^s와 D^s의 정의를 J^s = D^(-s)의 이중성 관계를 통해 모든 복소수 s로까지 확장하는 것.

제안 방법

• 초기에는 복소수 s의 실수부가 양수인 경우에 대해 함수 f에 대한 s차수 적분 연산자 J^s를 정의한다.
• D^1이 J^1의 좌역인 역함수임을 고려하여, 실수부가 양수인 경우에 대해 D^s를 J^s의 역함수로 정의한다.
• J^s = D^(-s)의 이중성 관계를 수립하여 J^s와 D^s의 정의를 모든 복소수 s로까지 확장한다.
• 함수 f가 특정 분석적 조건을 만족할 경우 연산자가 잘 정의됨을 보장한다.
• 연산자 대수를 활용하여 복소수 차수 전반에 걸쳐 적분과 미분 연산 간의 일관성을 유지한다.
• 연산자 접근법을 활용하여 고전적 분수 미적분학을 복소수 차수 설정으로 일반화한다.

실험 결과

연구 질문

• RQ1 연산자 이론을 사용하여 복소수 차수의 분수 적분과 분수 미분을 어떻게 엄밀히 정의할 수 있는가?
• RQ2 복소수 차수 적분 연산자 J^s와 복소수 차수 미분 연산자 D^s 사이의 관계는 무엇인가?
• RQ3 J^s와 D^s의 정의 도메인을 실수부가 양수인 경우에서 모든 복소수 s로까지 연산자 이중성 관계를 통해 확장할 수 있는가?
• RQ4 제안된 연산자 기반 프레임워크는 고전적 정수 차수 미적분학과 일관성을 유지하는가?
• RQ5 J^s와 D^s가 잘 정의되기 위해 함수 f가 만족해야 할 조건은 무엇인가?

주요 결과

• 복소수 s의 실수부가 양수인 모든 경우에 대해 적분 연산자 J^s가 적분 연산자 형태로 엄밀히 정의된다.
• 미분 연산자 D^s는 J^1의 좌역으로 정의되어 고전적 미분과의 일관성을 확보한다.
• J^s = D^(-s)의 이중성 관계를 통해 J^s와 D^s의 정의가 실수부가 양수인 경우를 초월해 모든 복소수 s로까지 확장된다.
• 이 프레임워크는 복소수 차수 전반에 걸쳐 적분과 미분 간의 수학적 일관성을 유지한다.
• 함수 f가 특정 분석적 조건을 만족할 경우 연산자가 잘 정의되어 정의의 타당성을 보장한다.
• 이 방법은 분수 미적분학을 복소수 차수 연산으로 체계적이고 분석적으로 탄탄한 방식으로 확장한다.