[논문 리뷰] The general form of the Euler--Poisson--Darboux equation and application of transmutation method

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

Differential Equations and Boundary Problems참고 문헌 18인용 수 19

한 줄 요약

이 논문은 헝켈 변환과 일반화된 이동 연산자를 통해 일반화된 오일러–파oisson–다르부 방정식에 대한 통합된 해 표현을 제시하며, 모든 실수 값의 매개수 $k$에 대해 유효하며 이전에 연구되지 않은 홀수 음수 값까지 포함한다. 이 방법은 초기값 문제에 대한 압축된 적분 공식을 도출하고, 분포해가 고전해가 되는 조건을 설정하며, 베셀 함수와 기하급수 함수를 사용하여 특정 경우에 대해 명시적인 해를 유도한다.

ABSTRACT

In the paper we find solution representations in the compact integral form to the Cauchy problem for a general form of the Euler--Poisson--Darboux equation with Bessel operators via generalized translation and spherical mean operators for all values of the parameter $k$, including also not studying before exceptional odd negative values. We use a Hankel transform method to prove results in a unified way. Under additional conditions we prove that a distributional solution is a classical one too. A transmutation property for connected generalized spherical mean is proved and importance of applying transmutation methods for differential equations with Bessel operators is emphasized. The paper also contains a short historical introduction on differential equations with Bessel operators and a rather detailed reference list of monographs and papers on mathematical theory and applications of this class of differential equations.

연구 동기 및 목표

• 모든 실수 $k$에 대해 일반화된 오일러–파oisson–다르부 방정식에 대한 통합된 해 표현을 제공하며, 이전에 연구되지 않은 예외적인 홀수 음수 값까지 포함한다.
• 초기값 문제에 대해 일반화된 이동 연산자와 구면 평균 연산자를 사용하여 압축된 적분 공식을 수립한다.
• 추가적인 정규성 조건 하에서 분포해가 고전해임을 증명한다.
• 변환 이론과 헝켈 변환 기법이 특성 특이 초월 방정식에 대한 해를 구하는 데 어떻게 유용한지 보여준다.

제안 방법

• 모든 $k\in\mathbb{R}$에 대해, 특히 $k = -1, -3, -5, \dots$에 대해 통합적으로 해 표현을 유도하기 위해 헝켈 변환을 활용한다.
• 해를 압축된 적분 형태로 표현하기 위해 일반화된 이동 연산자 $^\gamma T^{ty}$와 구면 평균 연산자를 사용한다.
• 해의 해를 단순한 방정식의 해와 연결하기 위해 변환 이론을 적용한다.
• 베셀 유형의 타원형 연산자로 $ (\triangle_\gamma)_x = \sum_{i=1}^n \frac{1}{x_i^{\gamma_i}} \frac{\partial}{\partial x_i} \left( x_i^{\gamma_i} \frac{\partial}{\partial x_i} \right) $를 사용한다.
• $(1 - y^2)^{\frac{k - \gamma - 2}{2}}$와 베셀 함수 $ J_{\nu}(\cdot) $를 포함하는 적분 표현을 통해 해 공식을 도출한다.
• Handbook of Mathematical Functions의 공식 2.12.4.6과 같은 알려진 적분 항등식을 사용하여 해를 검증한다.

실험 결과

연구 질문

• RQ1 모든 실수 값의 $k$에 대해, 특히 홀수 음수 정수를 포함하여 일반화된 오일러–파oisson–다르부 방정식의 초기값 문제를 어떻게 통합적으로 해결할 수 있는가?
• RQ2 일반화된 이동 연산자와 구면 평균 연산자가 일반화된 EPD 방정식의 압축된 적분 해를 구성하는 데 어떤 역할을 하는가?
• RQ3 일반화된 EPD 방정식의 분포해가 고전해가 되는 조건은 무엇인가?
• RQ4 어떻게 변환 방법을 베셀 연산자를 가진 미분 방정식에 체계적으로 적용하여 해 표현을 도출할 수 있는가?
• RQ5 특정 초기 데이터, 예를 들어 $ f(x) = j_{\frac{\gamma-1}{2}}(x) $에 대해 어떤 명시적인 해 형태가 유도되며, 이는 베셀 함수와 기하급수 함수와 어떻게 관련되는가?

주요 결과

• 논문은 모든 $k \in \mathbb{R}$에 대해 유효한 압축된 적분 해 공식을 도출하였으며, 이는 이전에 제외되었던 $k = -1, -3, -5, \dots$까지 포함한다.
• $k > \gamma > 0$일 경우, 해는 $ u(x,t;k) = \frac{2\Gamma\left(\frac{k+1}{2}\right)}{\Gamma\left(\frac{k-\gamma}{2}\right)\Gamma\left(\frac{\gamma+1}{2}\right)} \int_0^1 (1-y^2)^{\frac{k-\gamma-2}{2}} \,^\gamma T^{ty}f(x) y^\gamma dy $로 주어지며, 짝수 초기 데이터에 대해 유효하다.
• $f(x) = j_{\frac{\gamma-1}{2}}(x)$일 경우, 해는 $ u(x,t;k) = j_{\frac{\gamma-1}{2}}(x) j_{\frac{k-1}{2}}(t) $로 단순화되며, 베셀 함수의 곱의 구조를 보여준다.
• $k < \gamma$일 경우, 해는 $ t^k $와 $ t^{k+1} $의 도함수를 포함하는 재귀적 변환을 통해 표현되며, 이는 $ {}_0F_1 $ 기하급수 함수의 형태로 나타난다.
• $k = \frac{1}{3}, \gamma = \frac{3}{2}$일 경우, 해 $ u(x,t;k) = {}_0F_1\left(;\frac{\gamma+1}{2}; -\frac{x^2}{4}\right) {}_0F_1\left(;\frac{k+1}{2}; -\frac{t^2}{4}\right) $가 명시적으로 도출되었으며, 알려진 특수 함수와의 일致성을 확인하였다.
• 논문은 일반화된 이동 연산자 $ ^{k,\gamma}T^t_x $ 가 $ ^{k,\gamma}T^t_x j_{\frac{\gamma-1}{2}}(x) = j_{\frac{\gamma-1}{2}}(x) j_{\frac{k-1}{2}}(t) $ 를 만족함을 증명하여 핵심적인 변환 성질을 확립하였다.