[논문 리뷰] Multi-dimensional almost periodic type functions and applications

Alan Chávez, Kamal Khalil외 2명|arXiv (Cornell University)|2020. 11. 27.

Nonlinear Differential Equations Analysis참고 문헌 149인용 수 7

한 줄 요약

이 논문은 바나흐 공간에서 다차원 $({\rm R}_X, {\rm \bf B})$-거의 폴리노미얼 유형 함수와 보어 ${\rm \bf B}$-거의 폴리노미얼 유형 함수를 소개하고 체계적으로 분석하며, 복합 원리와 구조적 특성화를 수립한다. 주요 기여는 이러한 유형에 대한 강력한 이론적 프레임워크를 개발한 것으로, 비선형 및 비자기적 PDE 시스템에의 응용과 함께 초월적 적분미분방정식 및 삼각다항식에 의한 다변량 근사에의 적용을 포함한다.

ABSTRACT

In this paper, we analyze multi-dimensional $({\mathrm R}_{X},{\mathcal B})$-almost periodic type functions and multi-dimensional Bohr ${\mathcal B}$-almost periodic type functions. The main structural characterizations and composition principles for the introduced classes of almost periodic functions are established. Several applications of our abstract theoretical results to the abstract Volterra integro-differential equations in Banach spaces are provided, as well.

연구 동기 및 목표

• 다차원 바나흐 공간에서의 다차원 거의 폴리노미얼 유형 함수에 대한 종합적인 이론을 개발하여, 고전적 보어 거의 폴리노미얼성 개념을 고차원으로 확장한다.
• 벡터값 함수의 새로운 유형으로 $({\rm R}_X, {\rm \bf B})$-다중거의 폴리노미얼 유형 함수와 보어 ${\rm \bf B}$-거의 폴리노미얼 유형 함수를 도입하고 분석한다.
• 이러한 함수 유형에 대한 복합 원리와 구조적 특성화를 수립하여, 비선형 및 비자기적 PDE 시스템에서의 활용을 가능하게 한다.
• 이론적 결과를 바나흐 공간 내의 추상적 볼테라 적분미분방정식에 적용하며, 특히 비자기적 및 지연 기간이 있는 기능적 진화 설정에서의 적용을 다룬다.
• 다변량 삼각다항식과 특이 적분에 의한 근사 이론과 연결하여, 발레-푸생 및 바이어슈트라스 유형 정리의 고차원 확장과 관련된 결과를 포함한다.

제안 방법

• 다차원 영역에 정의된 함수의 $\varepsilon$-주기들의 상대적 조밀도를 이용하여 $({\rm R}_X, {\rm \bf B})$-다중거의 폴리노미얼 유형 함수를 정의함으로써 보어의 거의 폴리노미얼성 개념을 다차원 영역으로 일반화한다.
• 함수의 $\mathbb{R}^n$에서의 이동에 대한 행동을 이용하여 강한 ${\rm \bf B}$-거의 폴리노미얼성 및 점점 감소하는 형태를 정의한다.
• 비선형 연산 하에서 $({\rm R}, {\rm \bf B})$-다중거의 폴리노미얼 함수의 복합 정리를 수립하여, 적절한 조건 하에서 거의 폴리노미얼성이 유지됨을 보장한다.
• 복합곱과 $n$-파라미터 강한 연속 세미군을 이용하여 거의 폴리노미얼 해의 불변성과 안정성 분석을 수행한다.
• 다변량 삼각다항식과 그 근사 성질에 대한 결과를 적용하며, 이는 이산 최댓값 $\|P\|_{N^n,\infty}$ 에 기반한 $\|P\|_\infty$ 의 bound 를 포함한다.
• 데라 발리에-푸생 커널과 일차원 커널의 텐서곱을 활용하여 다변량 설정에서의 근사 오차 추정치를 도출한다.

실험 결과

연구 질문

• RQ1 고전적 보어 거의 폴리노미얼성 개념은 $\mathbb{R}^n$ 에 값이 있는 함수로 어떻게 다차원 영역으로 일반화될 수 있는가?
• RQ2 $({\rm R}_X, {\rm \bf B})$-다중거의 폴리노미얼 유형 함수의 다차원 설정에서의 구조적 및 복합 성질은 무엇인가?
• RQ3 $({\rm R}, {\rm \bf B})$-다중거의 폴리노미얼 함수와 비선형 연산자와의 복합이 거의 폴리노미얼이 되기 위한 조건은 무엇인가?
• RQ4 복합곱과 세미군 작용은 추상 적분미분방정식에서의 다중거의 폴리노미얼성을 어떻게 유지하는가?
• RQ5 다변량 삼각다항식의 근사 성질은 무엇이며, 다차원에서 발레-푸생 커널과 같은 특이 적분의 수렴과 어떻게 관련되는가?

주요 결과

• $({\rm R}_X, {\rm \bf B})$-다중거의 폴리노미얼 유형 함수가 적분 가능 커널과의 복합에서 불변임이 수립되었으며, 이는 고전적 결과를 다차원 설정으로 확장한다.
• 복합 정리가 증명되어, 만약 $f$ 가 $({\rm R}, {\rm \bf B})$-다중거의 폴리노미얼이고 $g$ 가 균일 연속적이며 유계이면, $g \circ f$ 도 $({\rm R}, {\rm \bf B})$-다중거의 폴리노미얼임을 보였다.
• 다변량 삼각다항식 $P \in T_l^n$ 에 대해 부등식 $\|P\|_\infty \leq C_{N,l}^n \|P\|_{N^n,\infty}$ 가 성립하며, 여기서 $C_{N,l}^n \leq (1 - \alpha)^{-n/2}$ 이고 $\alpha = 2l/N$ 이며 오차는 $O(\ln N / N)$ 이다.
• 이차원 발레-푸생 특이 적분 $V_{k,m}(x,y)$ 는 $k,m \to \infty$ 일 때 $f(x,y)$ 로 균일 수렴하며, 이는 $x$ 와 $y$ 에 대한 삼각다항식이다.
• 이 이론은 비자기적 지연 기간이 있는 기능적 진화 방정식의 분석을 가능하게 하여, 적절한 조건 하에서 거의 폴리노미얼 해의 존재를 증명한다.
• 결과는 고전적 근사 정리(예: 바이어슈트라스 및 발레-푸생)를 다변량 경우로 일반화하며, 샘플링과 다항식 차수에 기반한 명시적 오차 bound 를 포함한다.