[논문 리뷰] $p$-Adic multidimensional wavelets and their application to $p$-adic pseudo-differential operators

Andrei Yu. Khrennikov, V. M. Shelkovich|ArXiv.org|2006. 12. 15.

advanced mathematical theories참고 문헌 26인용 수 25

한 줄 요약

이 논문은 코지레브의 일차원 p진 파동함수를 일반화한 n차원 p진 컴팩트 지지 파동함수의 새로운 클래스를 소개한다. 이러한 파동함수는 $ L^2(\mathbb{Q}_p^n) $에서 정규직교 기저를 이루며, 타이블슨 분수적 연산자 및 기타 p진 미분-적분 연산자의 고유함수이기도 하다. 이는 p진 해석학에서 선형 및 양선형 방정식을 해결하는 강력한 도구를 제공한다.

ABSTRACT

In this paper we study some problems related with the theory of multidimensional $p$-adic wavelets in connection with the theory of multidimensional $p$-adic pseudo-differential operators (in the $p$-adic Lizorkin space). We introduce a new class of $n$-dimensional $p$-adic compactly supported wavelets. In one-dimensional case this class includes the Kozyrev $p$-adic wavelets. These wavelets (and their Fourier transforms) form an orthonormal complete basis in ${\cL}^2(\bQ_p^n)$. A criterion for a multidimensional $p$-adic wavelet to be an eigenfunction for a pseudo-differential operator is derived. We prove that these wavelets are eigenfunctions of the Taibleson fractional operator. Since many $p$-adic models use pseudo-differential operators (fractional operator), these results can be intensively used in applications. Moreover, $p$-adic wavelets are used to construct solutions of linear and {\it semi-linear} pseudo-differential equations.

연구 동기 및 목표

• 코지레브의 일차원 p진 파동함수를 고차원으로 확장하고, 새로운 종류의 n차원 p진 컴팩트 지지 파동함수를 구성하는 것.
• 이 파동함수가 $ L^2(\mathbb{Q}_p^n) $에서 정규직교 완비 기저를 이룬다는 것을 확립하는 것.
• 이러한 파동함수가 p진 편미분-적분 연산자의 고유함수일 조건을 도출하는 것.
• 타이블슨 분수적 연산자, p진 모델에서 핵심적인 역할을 하는 연산자일 조건을 증명하는 것.
• 파동함수 프레임워크를 활용하여 선형 및 양선형 p진 편미분-적분 방정식의 해를 구성하는 것.

제안 방법

• 저자들은 n차원 p진 파동함수 $ \Theta_{\gamma sa}^{(m)}(x) $를 일차원 코지레브 파동함수의 곱으로 정의하여, 컴팩트 지지성과 직교성을 확보한다.
• 그들은 $ \mathbb{Q}_p^n $에서의 푸리에 변환을 사용하며, 공식 $ F[\chi_p(x_k s_k)\Omega(|x_k|_p)](\xi) = \Omega(|\xi_k + s_k|_p) $을 적용하여 파동함수와 기호의 성질을 분석한다.
• 파동함수의 푸리에 변환은 $ F[\Theta_{\gamma sa}^{(m)}](\xi) = p^{n\gamma/2} \chi_p(p^{-\gamma}a \cdot \xi) \Omega(|s + p^{-\gamma}\xi|_p) $로 계산되어 파동함수와 주파수 영역 표현 간의 연결을 제공한다.
• 고유함수 성질을 위한 조건을 유도: 기호 $ \mathcal{A}(\xi) $를 가진 편미분-적분 연산자 $ A $가 $ \Theta_{\gamma sa}^{(m)} $를 고유함수로 가지려면 $ \mathcal{A}(-p^\gamma s) = \lambda $여야 하며, 여기서 $ \lambda $는 고유값이다.
• 역 푸리에 변환에 변수 치환 $ \xi = p^\gamma(\eta - s) $를 적용하여 고유값 방정식을 유도한다.
• 이 이론은 타이블슨 연산자 $ D^\beta_x $에 적용되며, 그 기호 $ |\xi|_p^\beta $는 고유함수 조건을 만족하여 $ D^\beta_x \Theta_{\gamma sa}^{(m)} = p^{\beta(\max\{m_k\} - \gamma)} \Theta_{\gamma sa}^{(m)} $임을 확인한다.

실험 결과

연구 질문

• RQ1 일차원 코지레브 파동함수를 일반화한 새로운 종류의 n차원 p진 컴팩트 지지 파동함수를 구성할 수 있는가?
• RQ2 이러한 파동함수들이 $ L^2(\mathbb{Q}_p^n) $에서 정규직교 완비 기저를 이룬다 할 수 있는가?
• RQ3 p진 편미분-적분 연산자가 이러한 파동함수를 고유함수로 가지기 위한 조건은 무엇인가?
• RQ4 타이블슨 분수적 연산자는 이러한 파동함수를 고유함수로 가지는 연산자들의 집합에 속하는가?
• RQ5 이러한 파동함수를 사용하여 선형 및 양선형 p진 편미분-적분 방정식의 해를 구성할 수 있는가?

주요 결과

• n차원 p진 파동함수 $ \Theta_{\gamma sa}^{(m)}(x) $는 $ L^2(\mathbb{Q}_p^n) $에서 정규직교 완비 기저를 이루며, 코지레브의 일차원 파동함수를 일반화한다.
• 기호 $ \mathcal{A}(\xi) $를 가진 편미분-적분 연산자 $ A $가 $ \Theta_{\gamma sa}^{(m)} $를 고유함수로 가지기 위한 필요충분조건은 $ \mathcal{A}(-p^\gamma s) = \lambda $이며, 여기서 $ \lambda $는 고유값이다.
• 기호 $ |\xi|_p^\beta $를 가진 타이블슨 분수적 연산자 $ D^\beta_x $는 $ \Theta_{\gamma sa}^{(m)} $에 대해 스칼라 곱으로 작용하여 $ D^\beta_x \Theta_{\gamma sa}^{(m)} = p^{\beta(\max\{m_1,\dots,m_n\} - \gamma)} \Theta_{\gamma sa}^{(m)} $를 만족한다.
• 고유값은 스케일링 파arameter $ \gamma $, 차원 $ n $, 그리고 $ m_k $들의 최댓값에 따라 달라지며, 파동함수의 자기유사적 구조를 반영한다.
• 파동함수들은 $ \int_{\mathbb{Q}_p^n} \Theta_{\gamma sa}^{(m)}(x) \, dx = 0 $를 만족하여, 분수적 연산자에 대해 불변인 p진 리조르킨 공간 $ \Phi(\mathbb{Q}_p^n) $에 속함을 보장한다.
• 이 프레임워크를 통해 선형 및 양선형 p진 편미분-적분 방정식의 해를 파동함수 기저를 활용하여 구성할 수 있다.