[논문 리뷰] Existence of Doubly-Weighted Pseudo Almost Periodic Solutions to Some Classes of Nonautonomous Differential Equations

Toka Diagana|arXiv (Cornell University)|2010. 12. 15.

Nonlinear Differential Equations Analysis참고 문헌 23인용 수 4

한 줄 요약

이 논문은 비자명한 추상 미분방정식 $ u'(t) = A(t)u(t) + g(t,u(t)) $ 에 대해, $ A(t) $ 가 생성하는 진화가우수가 지수적 분할성을 가지며 $ g $ 가 이중가중 pseudo-거의정상일 때, 이중가중 pseudo-거의정상 해의 존재성을 확립한다. 핵심 결과는 $ g $ 에 대한 리프시츠 상수가 작을 경우, 유일한 이중가중 pseudo-거의정상 온화해가 존재함을 보여준다.

ABSTRACT

The main objective of this paper is twofold. We first show that if the doubly-weighted Bohr spectrum of an almost periodic function exists, then it is either empty or coincides with the Bohr spectrum of that function. Next, we investigate the problem which consists of the existence of doubly-weighted pseudo-almost periodic solutions to some nonautonomous abstract differential equations.

연구 동기 및 목표

• 비자명한 추상 미분방정식에 대한 이중가중 pseudo-거의정상 해의 존재성을 조사하는 것.
• 거의정상 함수에 대한 이중가중 보어 스펙트럼 이론을 수립하여, 이중가중 보어 스펙트럼이 공집합이거나 표준 보어 스펙트럼과 일치함을 보이는 것.
• 이전의 개념을 일반화하는 새로운 클래스인 이중가중 pseudo-거의정상 함수를 도입함으로써 가중 pseudo-거의정상 함수 이론을 확장하는 것.
• 비선형항과 진화가우수에 적절한 조건이 만족될 경우, 이중가중 pseudo-거의정상 함수 공간 내에서 유일한 온화해가 존재함을 증명하는 것.
• 이중가중 pseudo-거의정상 함수 공간이 이동에 대해 불변이며, 컨볼루션 연산자에 대해 안정됨을 보이는 것.

제안 방법

• 가족 $ A(t) $ 와 관련된 유일한 진화가우수 $ \mathcal{U} = \{U(t,s)\}_{t \geq s} $ 가 존재함을 보장하기 위해 Acquistapace-Terreni 조건을 활용한다.
• 진화가우수가 지수적 분할성을 가지며, 사영 $ P(s) $ 와 $ Q(s) = I - P(s) $ 를 가짐으로써 해 공간을 안정성과 불안정성 성분으로 분해한다.
• 비선형 연산자 $ \mathbb{M} $ 는 적분방정식을 통해 정의되며, $ \mathbb{M}u(t) = \int_{-\infty}^{t} U(t,s)P(s)g(s,u(s))ds - \int_{t}^{\infty} U_Q(t,s)Q(s)g(s,u(s))ds $ 로 표현되며, 이는 온화해를 나타낸다.
• 생성자의 분수거듭제곱과 지수감쇠를 활용한 추정을 통해 중간 공간 $ \mathbb{X}_\alpha $ 에서의 진화연산자의 노름을 유계로 제한한다.
• 르베그 수렴정리와 $ PAP_0(\mathbb{X}, \mu, \nu) $ 의 이동 불변성을 활용하여, 해 연산자가 $ PAP(\mathbb{X}_\alpha, \mu, \nu) $ 를 스스로에 사상함을 증명한다.
• 수축사상 원리에 기반한 고정점 방법을 적용한다: $ g $ 의 리프시츠 상수 $ K $ 가 충분히 작아야 하며, 이 경우 연산자 $ \mathbb{M} $ 는 이중가중 pseudo-거의정상 함수의 바나흐 공간 위에서 수축이 된다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 거의정상 함수의 이중가중 보어 스펙트럼이 그 표준 보어 스펙트럼과 일치하는가?
• RQ2 이중가중 pseudo-거의정상성의 개념을 비자명한 미분방정식의 해 존재성 증명에 활용할 수 있는가?
• RQ3 진화가우수와 비선형항 $ g $ 에 어떤 조건이 만족되어야 유일한 이중가중 pseudo-거의정상 온화해가 존재하는가?
• RQ4 진화가우수의 지수적 분할성과 가중 구조가 해 공간 내 안정성과 수렴성에 어떻게 작용하는가?
• RQ5 이중가중 pseudo-거의정상 함수 공간은 이동에 대해 불변이며, 진화가우수와의 컨볼루션에 대해 안정적인가?

주요 결과

• 거의정상 함수의 이중가중 보어 스펙트럼은 공집합이거나 표준 보어 스펙트럼과 정확히 일치하며, 이는 기본적인 스펙트럼 성질을 확립한다.
• 주어진 조건 하에, 이중가중 pseudo-거의정상 함수 공간은 이동에 대해 불변이며, 진화가우수와의 컨볼루션에 대해 닫혀 있다.
• 진화가우수와 비선형항 $ g $ 를 이용해 정의된 비선형 연산자 $ \mathbb{M} $ 는 $ PAP(\mathbb{X}_\alpha, \mu, \nu) $ 를 스스로에 사상한다.
• 비선형항 $ g $ 의 리프시츠 상수 $ K $ 가 $ K < \frac{1}{C(\alpha,\delta)} $ 를 만족할 경우, 해 연산자 $ \mathbb{M} $ 는 $ PAP(\mathbb{X}_\alpha, \mu, \nu) $ 에서 수축이 된다. 여기서 $ C(\alpha,\delta) = km(\alpha)\delta^{-1} + kc(\alpha)2^{1-\alpha}\Gamma(1-\alpha)\delta^{\alpha-1} $ 이다.
• 결과적으로, $ K $ 가 충분히 작을 조건 하에 식 (1.1) 은 유일한 이중가중 pseudo-거의정상 온화해를 갖는다. 이는 지정된 함수 공간 내에서 이러한 해의 존재성과 유일성을 확인한다.