[논문 리뷰] Difference equations and pseudo-differential operators on $\mathbb{Z}^n$

Linda N. A. Botchway, P. Gaël Kibiti외 1명|arXiv (Cornell University)|2017. 05. 22.

Spectral Theory in Mathematical Physics참고 문헌 25인용 수 6

한 줄 요약

이 논문은 정수 격자 ℤⁿ 위에서 푸리에 분석을 통해 원환면 𝕋ⁿ을 주파수 도메인으로 사용하여, 의사미분 연산자(이하 의사차분 연산자라 칭함)의 글로벌 미적분을 개발한다. 기호 미적분, 유계성, 컴팩턴스, 슈atten 클래스 소속 조건을 수립하고, 이를 바탕으로 ℤⁿ 위의 차분 방정식에 대한 해의 존재성, 정칙성 추정, 가르딩 유형 부등식을 도출한다.

ABSTRACT

In this paper we develop the calculus of pseudo-differential operators on the lattice $\mathbb{Z}^n$, which we can call pseudo-difference operators. An interesting feature of this calculus is that the phase space is compact so the symbol classes are defined in terms of the behaviour with respect to the lattice variable. We establish formulae for composition, adjoint, transpose, and for parametrix for the elliptic operators. We also give conditions for the $\ell^2$, weighted $\ell^2$, and $\ell^p$ boundedness of operators and for their compactness on $\ell^p$. We describe a link to the toroidal quantization on the torus $\mathbb{T}^n$, and apply it to give conditions for the membership in Schatten classes on $\ell^2(\mathbb{Z}^n)$. Furthermore, we discuss a version of Fourier integral operators on the lattice and give conditions for their $\ell^2$-boundedness. The results are applied to give estimates for solutions to difference equations on the lattice $\mathbb{Z}^n$. Moreover, we establish Garding and sharp Garding inequalities, with an application to the unique solvability of parabolic equations on the lattice $\mathbb{Z}^n$.

연구 동기 및 목표

• 격자 ℤⁿ 위에서 고전적 의사미분 연산자 이론에 대응하는 체계적인 의사미분 연산자 이론을 구축하는 것.
• 주파수 공간 𝕋ⁿ이 컴팩트하므로 주파수 도함수의 감쇠 조건이 필요 없고, 격자 차분을 이용한 새로운 기호 미적분이 필요하다는 도전 과제를 다루는 것.
• ℓ², 가중치가 있는 ℓ², 그리고 ℓᵖ(1 < p < ∞) 유계성, 컴팩턴스, 슈atten 클래스 소속 조건을 위한 충분조건을 제공하는 것.
• 변수 역할을 바꿔 투명한 이중성 관계를 통해 ℤⁿ 위의 이론을 원환면 위의 의사미분 연산자 이론과 연결하여 기존 결과의 이행을 가능하게 하는 것.
• 이론을 적용하여 차분 방정식의 정칙성 추정과 유일한 해 존재 조건(포물형 및 타원형 포함)을 도출하는 것.

제안 방법

• 공간 변수 k ∈ ℤⁿ 과 주파수 변수 x ∈ 𝕋ⁿ를 갖는 기호 σ(k,x) ∈ S^m(ℤⁿ × 𝕋ⁿ 를 사용하여 ℤⁿ 위의 의사차분 연산자를 푸리에 승수를 통해 정의한다.
• k에 대한 다항식 성장과 x에 대한 균일한 미분 가능성 조건을 갖는 기호 클래스를 정의하고, k에서의 도함수 대신 차분을 사용하여 기호 미적분(조합, 수반, 전치)을 수립한다.
• ℤⁿ 위의 푸리에 변환과 그 역을 사용하여 ℓ²(ℤⁿ) 위의 연산자와 𝕋ⁿ 위의 원환면 의사미분 연산자 간의 이중성 변환을 통해 연결한다.
• 진동하는 위상 φ(k,x)를 갖는 푸리에 급수 연산자 T_{ℤⁿ}(φ,σ) 를 도입하고, φ와 σ가 비퇴도성 및 미분 가능성 조건을 만족할 경우 ℓ²-유계성을 증명한다.
• 가르딩 부등식 프레임워크를 적용하여 양의 연산자에 대한 하한을 도출하고, 이로 인해 ℤⁿ 위의 포물형 차분 방정식의 유일한 해 존재성을 확보한다.
• 고브버그 보조정리와 슈atten-폰 노이만 추적 클래스 기준을 사용하여 ℓ²(ℤⁿ) 위의 연산자에 대한 슈atten 클래스 소속 조건을 특성화한다.

실험 결과

연구 질문

• RQ1 주파수 공간 𝕋ⁿ이 컴팩트하므로, 격자 ℤⁿ 위의 의사미분 연산자에 적합한 기호 미적분은 무엇인가?
• RQ2 의사차분 연산자가 ℓ²(ℤⁿ), 가중치가 있는 ℓ²(ℤⁿ), 그리고 ℓᵖ(ℤⁿ) (1 < p < ∞) 에서 어떤 조건에서 유계적인가?
• RQ3 변수 역할을 바꾸는 이중성 관계를 통해 𝕋ⁿ 위의 원환면 의사미분 연산자 이론을 어떻게 ℤⁿ 위의 연산자 정의 및 분석에 적용할 수 있는가?
• RQ4 의사차분 연산자가 ℓ²(ℤⁿ) 위에서 컴팩트하거나 슈atten 클래스에 속하기 위한 조건은 무엇인가?
• RQ5 포물형 차분 방정식의 유일한 해 존재성을 보장하기 위해 ℤⁿ 위에서 가르딩 및 정밀 가르딩 부등식을 어떻게 수립할 수 있는가?

주요 결과

• 논문은 ℤⁿ 위의 의사차분 연산자에 대해 기호 미적분 전체를 구성하였으며, 조합, 수반, 전치 공식이 포함되어 있으며, 기호 클래스 S^m(ℤⁿ × 𝕋ⁿ) 는 k에 대한 다항식 성장과 x에 대한 미분 가능성 조건을 갖는다.
• 식 (6.1)로 정의된 T⁻¹ 는 Re(a) ≠ 0 이거나 Im(a) ∉ [−2n, 2n) 일 때 모든 s ∈ ℝ 에 대해 ℓ²_s(ℤⁿ) 에서 유계이다. 이는 g ∈ ℓ²_s(ℤⁿ) 이면 f ∈ ℓ²_s(ℤⁿ) 임을 보장한다.
• 예제 (3)의 연산자 T 의 역은 T⁻¹g(k) = ∫_{𝕋ⁿ} e^{2πk·x} / (2i∑_{j=1}^n sin(2πx_j) + a) ⋅ ̂g(x) dx 로 명시적으로 주어지며, 이는 식 (6.1)의 차분 방정식의 해 존재성을 증명한다.
• 푸리에 급수 연산자 T_{ℤⁿ}(φ,σ) 는 σ 가 균일하게 유계이고, φ 가 비퇴도성 조건 |∇ₓφ(k,x) − ∇ₓφ(l,x)| ≥ C|k−l| 를 만족하며, φ 와 σ 가 추가로 미분 가능할 경우 ℓ²(ℤⁿ) 에서 유계이다.
• 예제 (2)의 연산자 B_j 는 ν ≥ μ 일 때 순서 ν 의 타원형이다. 방정식 |k|^μ(f(k+v_j)+1) − |k|^ν(f(k−v_j)+2) = g(k) 의 해 f 는 g ∈ ℓ²_s(ℤⁿ) 이면 f ∈ ℓ²_{s+ν}(ℤⁿ) 를 만족한다.
• 가르딩 부등식은 ℤⁿ 위에서도 성립한다: 기호 σ(k,x) 가 실수이자 음이 아닌 경우, 관련된 연산자는 ⟨Tf, f⟩ ≥ −C‖f‖²_{ℓ²} 를 만족하며, 이는 ℤⁿ 위의 포물형 방정식의 유일한 해 존재성을 보장한다.