[논문 리뷰] Applications of integral transforms composition method (ITCM) to wave-type singular differential equations and index shift transmutations

Ahmed Fitouhi, Inèss Jebabli외 2명|arXiv (Cornell University)|2018. 05. 17.

Mathematical functions and polynomials참고 문헌 29인용 수 9

한 줄 요약

이 논문은 오일러-푸아송-다르부아 및 일반화된 방사선 방정식과 같은 베타 연산자를 포함하는 파동형 특이 미분방정식을 위한 전환 연산자(Transmutation Operators)를 구성하기 위해 적분변환 조합법(ITCM)을 도입한다. 고전적 적분변환(Fourier, Hankel, Laplace 등)을 조합함으로써 ITCM는 특이 PDE, 특히 다변수 베타형 및 초-B-하이퍼볼릭 방정식에 대해 명시적 해 표현식과 연결 공식을 가능하게 하며, 일반화된 이동과 내림 연산자를 통해 닫힌 형태의 해를 도출한다.

ABSTRACT

In the paper we study applications of integral transforms composition method (ITCM) for obtaining transmutations via integral transforms. It is possible to derive wide range of transmutation operators by this method. Classical integral transforms are involved in the integral transforms composition method (ITCM) as basic blocks, among them are Fourier, sine and cosine-Fourier, Hankel, Mellin, Laplace and some generalized transforms. The ITCM and transmutations obtaining by it are applied to deriving connection formulas for solutions of singular differential equations and more simple non-singular ones. We consider well-known classes of singular differential equations with Bessel operators, such as classical and generalized Euler-Poisson-Darboux equation and the generalized radiation problem of A.Weinstein. Methods of this paper are applied to more general linear partial differential equations with Bessel operators, such as multivariate Bessel-type equations, GASPT (Generalized Axially Symmetric Potential Theory) equations of A.Weinstein, Bessel-type generalized wave equations with variable coefficients,ultra B-hyperbolic equations and others. So with many results and examples the main conclusion of this paper is illustrated: the integral transforms composition method (ITCM) of constructing transmutations is very important and effective tool also for obtaining connection formulas and explicit representations of solutions to a wide class of singular differential equations, including ones with Bessel operators.

연구 동기 및 목표

• 특이 미분방정식에 베타 연산자를 포함하는 전환 연산자를 체계적으로 구성하기 위한 방법을 개발하는 것.
• 적분변환의 적용 범위를 변수 계수 및 특이 계수를 가진 파동형 PDE에까지 확장하는 것.
• 전환 기법을 사용하여 일반화된 오일러-푸아송-다르부아 및 GASPT 방정식에 대해 명시적 해 표현식을 도출하는 것.
• 전환 연산자를 통해 특이 및 비특이 미분방정식의 해 사이의 연결 공식을 수립하는 것.
• 클래식 해법(예: 포아송의 공식)을 ITCM를 통해 유도된 연산자를 활용해 고차원 및 변수 계수 특이 PDE에 일반화하는 것.

제안 방법

• 적분변환 조합법(ITCM)은 고전적 적분변환(Fourier, 사인/余弦-Fourier, Hankel, Mellin, Laplace, 일반화된 변환 등)의 조합을 이용하여 전환 연산자를 생성하는 데 사용된다.
• ITCM는 간단한 방정식의 해를 더 복잡한 특이 PDE의 해로 매핑하는 일반화된 이동 연산자와 내림 연산자(일차 및 이차)를 구성한다.
• 전환 연산자는 베타 함수와 감마 함수를 포함하는 적분 표현식을 통해 유도되며, 서로 다른 베타 매개수를 가진 방정식 간의 해 전달을 가능하게 한다.
• 이 방법은 시간(예: EPD) 또는 공간(예: 일반화된 파동 방정식)에 베타 연산자가 포함된 방정식에 적용되며, 매개수 변화를 처리하기 위해 색인 이동 전환을 사용한다.
• 초기 조건이 $ f(x) $ 및 $ g(x) $ 로 주어진 코시 문제에 대해 대칭 핵과 일반화된 초함수함수를 포함하는 적분 공식을 사용하여 해를 구성한다.
• 기존의 알려진 적분변환을 활용하여 명시적 해 공식을 도출하며, 특히 $ j_{\nu}(z) $ 베타 함수와 $ {}^{\mu}T^{y}_{x}f(x) $ 일반화된 이동 연산자를 포함한 공식들이 포함된다.

실험 결과

연구 질문

• RQ1 적분변환 조합법(ITCM)을 사용하여 특이 미분방정식에 베타 연산자를 포함하는 전환 연산자를 체계적으로 구성할 수 있는가?
• RQ2 ITCM를 통해 유도된 전환을 사용하여 일반화된 오일러-푸아송-다르부아 및 GASPT 방정식에 대해 어떤 명시적 해 표현식을 도출할 수 있는가?
• RQ3 ITCM를 통해 유도된 내림 연산자는 서로 다른 베타 매개수 $ \mu $ 및 $ \nu $ 를 가진 방정식 간에 해 전달을 어떻게 가능하게 하는가?
• RQ4 ITCM 기반 전환은 어떤 방식으로 클래식 해법(예: 포아송의 공식)을 고차원 및 변수 계수 특이 PDE에 일반화하는가?
• RQ5 특이 계수를 가진 코시 문제에 대해 ITCM가 유효한 해를 도출할 수 있는 조건는 무엇인가, 특히 $ \mu = -1, -3, \dots $ 인 경우에 대해 어떻게 되는가?

주요 결과

• ITCM는 공간 또는 시간에 베타 연산자를 포함하는 일반화된 파동 방정식을 포함한 광범위한 특이 PDE 클래스에 대해 전환 연산자를 성공적으로 생성한다.
• 내림 연산자를 사용하여 $ (B_{\mu})_x u = (B_{\nu})_t u $ 의 코시 문제에 대한 명시적 해가 유도되며, 해는 $ {}^{\mu}T^{y}_{x}f(x) $ 와 베타 함수를 포함하는 적분 형태로 표현된다.
• 만약 $ 0 < \mu < \nu $ 라면, $ u(x,0) = f(x), u_t(x,0) = 0 $ 인 경우의 해는 다음과 같이 주어진다: $ u(x,t;\mu,\nu) = \frac{2\Gamma(\frac{\nu+1}{2})}{\Gamma(\frac{\nu-\mu}{2})\Gamma(\frac{\mu+1}{2})} t^{1-\nu} \int_0^t (t^2 - y^2)^{\frac{\nu-\mu}{2}-1} {}^{\mu}T^{y}_{x}f(x) y^{\mu} dy $.
• 만약 $ 0 < \nu < \mu $ 라면, 해는 $ u(x,t;\mu,\nu) = \frac{2\Gamma(\mu - \nu)}{\Gamma^2(\frac{\mu - \nu}{2})} \int_t^\infty (y^2 - t^2)^{\frac{\mu - \nu}{2}-1} {}^{\mu}T^{y}_{x}f(x) y dy $ 로 주어지며, 이는 색인 이동을 처리하는 데서 메서드의 유연성을 보여준다.
• 이 방법은 파동 방정식에 대한 포아송의 공식을 특이 케이스로 일반화하여, $ 0 < \mu < 1 $ 인 $ (B_{\mu})_x u = (B_{\mu})_t u $ 에 대해 $ p \in [0,1] $ 에서의 적분과 거듭제곱 가중 핵을 포함하는 형태로 해를 도출한다.
• 방정식 $ (B_{\mu})_x u = (B_{\nu})_t u + b^2 u $ 에 스펙트럼 매개수 $ b^2 $ 가 포함되면, 해는 $ j_{\frac{\nu - \mu}{2} - 1}(b\sqrt{t^2 - y^2}) $ 를 포함하게 되며, 이는 메서드가 왜곡된 시스템에 적응 가능함을 보여준다.