[논문 리뷰] On Montel's theorem in several variables

J. M. Almira, Kh. F. Abu-Helaiel|arXiv (Cornell University)|2013. 10. 12.

Functional Equations Stability Results참고 문헌 7인용 수 7

한 줄 요약

이 논문은 이동 연산자의 불변 부분공간을 사용하여 몽텔의 정리를 여러 실수 및 복소변수로 확장한다. 독립적인 주기를 가진 고차수 차분방정식 Δₕ^{m+1}f = 0의 연속적 또는 분포적 해가 다항함수여야 한다는 것을 증명하며, 고전적 결과를 d차원 환경으로 일반화하고, 병리적 반례로 인해 실패하는 가측 함수에 대한 판정을 내린다.

ABSTRACT

Recently, the first author of this paper, used the structure of finite dimensional translation invariant subspaces of C(R,C) to give a new proof of classical Montel's theorem, about continuous solutions of Fréchet's functional equation $Δ_h^mf=0$, for real functions (and complex functions) of one real variable. In this paper we use similar ideas to prove a Montel's type theorem for the case of complex valued functions defined over the discrete group Z^d. Furthermore, we also state and demonstrate an improved version of Montel's Theorem for complex functions of several real variables and complex functions of several complex variables.

연구 동기 및 목표

• 프레셰의 함수방정식의 다항해에 관한 몽텔의 고전적 정리를 실수 및 복소변수 함수로 일반화하기.
• 이동 불변 유한차원 부분공간을 사용하여 ℝᵈ 상의 분포에 대한 몽텔의 정리의 판정을 수립하기.
• 가측 함수에 대해 몽텔의 정리가 성립하는지 조사하여, 구성된 반례를 통해 부정적인 결과를 도출하기.
• 기능방정식 접근법과 조화해석학 및 기능방정식 이론에서의 불변 부분공간 이론을 통합하기.
• 일변수 해의 이전 결과를 지수단항 기저와 조밀성 추론을 사용하여 고차원 환경으로 확장하기.

제안 방법

• C(ℝᵈ, ℂ)와 분포 공간에서의 유한차원 이동 불변 부분공간의 구조를 사용하여 Δₕ^{m+1}f = 0의 해를 특성화한다.
• 아نس레온-코레바르의 이동 불변 부분공간 특성화를 이용하여 지수단항 x^α e^{⟨x,λ⟩}을 통해 해공간의 기저를 구성한다.
• 고차수 차분연산자 Δₕ^{m+1}f(x) = ∑_{k=0}^{m+1} (-1)^{m+1-k} C(m+1,k) f(x + kh)를 사용하여 기능방정식을 정의한다.
• ℝᵈ에서의 군 h₁ℤ + ⋯ + h_ℓℤ의 조밀성을 활용하여 조밀한 이동 집합에 대한 불변성과 그로 인한 완전한 이동 불변성을 유도한다.
• 드조코비치 항등식을 사용하여 혼합 차분연산자 Δ_{h₁⋯h_{m+1}}f와 반복 차분 Δₕ^{m+1}f를 연결한다.
• ℝ²에서의 가측적이지만 다항함수가 아닌 함수를 구성하여 반례를 제시한다. 이 함수는 n ≥ 2일 때 Δₕ₁ⁿf = Δₕ₂ⁿf = 0를 만족하지만, 다항함수가 아니다. 이는 몽텔의 정리가 가측 함수 범주에서 성립하지 않음을 보여준다.

실험 결과

연구 질문

• RQ1 몽텔의 정리인 Δₕ^{m+1}f = 0의 다항해를 실수 변수 여러 개인 경우로 확장할 수 있는가?
• RQ2 복소수값 함수 ℂᵈ에서 동일한 결론이 성립하는가? 그리고 분포로 일반화할 수 있는가?
• RQ3 ℝᵈ 상의 가측 함수에 대해 몽텔의 정리가 성립하는가, 아니면 병리적 해가 존재하는가?
• RQ4 고차수 차분연산자에 대한 C(ℝᵈ, ℂ) 또는 분포 공간의 유한차원 이동 불변 부분공간의 구조는 어떠한가?
• RQ5 이동군이 조밀할 경우, 해의 기저를 지수단항을 사용하여 명시적으로 묘사할 수 있는가?

주요 결과

• f ∈ C(ℝᵈ, ℂ)가 ℓ ≥ d개의 독립적인 벡터 h₁,…,h_ℓ에 대해 Δₕₖ^{m+1}f = 0를 만족하고, h₁ℤ + ⋯ + h_ℓℤ가 ℝᵈ에서 조밀하다면, f는 차수 ≤ m인 다항함수이다.
• 분포 f ∈ X_d (C(ℝᵈ, ℂ) 또는 ℝᵈ 상의 분포)에 대해 동일한 조건이 성립하면, f는 차수 ≤ m인 다항함수이다.
• 해는 f(x) = ∑_{|α|<N} a_α x^α (어떤 N ∈ ℕ 및 복소계수 a_α에 대해)의 형태로 표현된다.
• 반례를 통해 몽텔의 정리가 가측 함수에 대해 실패함을 보여준다: ℝ²에서의 가측 함수 f가 n ≥ 2일 때 Δₕ₁ⁿf = Δₕ₂ⁿf = 0를 만족하지만, f는 다항함수가 아니다.
• 실패의 원인은 f의 스칼라 생성공간이 모든 이동에 대해 불변이 아니며, 조밀한 부분군에 대해서만 불변이기 때문이다.
• 논문은 연속성 또는 분포적 성질이 필수적임을 확인한다. 단지 가측성만으로는 다항해를 강제할 수 없다.