[논문 리뷰] Forced periodic solutions for nonresonant parabolic equations on R^N

Aleksander Ćwiszewski, Renata Łukasiak|arXiv (Cornell University)|2014. 04. 01.

Advanced Mathematical Modeling in Engineering참고 문헌 12인용 수 4

한 줄 요약

이 논문은 ℝ^N 위에서 비공진성 편미분방정식에 대해 시간주기 T를 가진 해의 존재를 위한 충분조건을 설정한다. 비선형성은 점 渐近적으로 선형이며, 평균화 기법과 비콤팩트 맵에 대한 고정점 지수 이론을 사용하여, 무한대에서 비선형성의 시간 평균이 라플라스 연산자의 스펙트럼과 공진하지 않는 한 (즉, Ker(Δ + ŷf∞) = {0}), H²(ℝ^N) ∩ C¹(L²) 내에 T-주기 해가 존재함을 증명한다.

ABSTRACT

Criteria for the existence of $T$-periodic solutions of nonautonomous parabolic equation $u_t = Δu + f(t,x,u)$, $x\in\mathbb{R}^N$, $t>0$ with asymptotically linear $f$ will be provided. It is expressed in terms of time average function $\hat f$ of the nonlinear term $f$ and the spectrum of the Laplace operator $Δ$ on $\mathbb{R}^N$. One of them says that if the derivative $\hat f_\infty$ of $\hat f$ at infinity does not interact with the spectrum of $Δ$, i.e. $\mathrm{Ker} (-Δ+ \hat f_\infty)=\{0\}$, then the parabolic equation admits a $T$-periodic solution. Another theorem is derived in the situation, where the linearization at $0$ and infinity differ topologically, i.e. the total multiplicities of negative eigenvalues of the averaged linearizations at $0$ and $\infty$ are different mod $2$.

연구 동기 및 목표

• 비자기성 포물형 편미분방정식의 ℝ^N 위에서 점 渐진적으로 선형인 비선형성을 가지는 T-주기 해 존재 조건을 설정하는 것.
• ℝ^N에서의 콤팩트성 부족 문제를 해결하기 위해 고정점 지수 이론을 비콤팩트 맵에 적응시키는 것.
• 평균화 기법과 스펙트럼 분석을 통해 유한 영역에서의 주기 해 결과를 ℝ^N의 무한 영역으로 확장하는 것.
• 선형화된 문제의 해가 비자명한 주기 해를 가지지 않는 조건를 제공함으로써, 위상수학적 도수를 통해 비선형 문제의 해 존재성을 보장하는 것.
• 비선형성의 시간 평균과 라플라스 연산자의 스펙트럼 간의 상호작용을 분석하여 공진을 피하는 것.

제안 방법

• 비선형성의 시간 평균 함수 f̂(x) = (1/T)∫₀ᵀ f(t,x,u) dt 를 포함하는 한계 문제로 시간에 의존하는 포물형 PDE 를 줄이기 위해 헨리의 평균화 기법을 적용한다.
• 주기 해를 Ψ_T의 고정점으로서 연구하기 위해 H¹(ℝ^N) × [0,1] → H¹(ℝ^N) 에 정의된 궤적 沿한 변환 연산자 Ψₜ 를 사용한다.
• 특히 t → 0+ 일 때의 극한을 고려하여, 비콤팩트 맵에 대한 레라-슐라저 고정점 지수를 활용한다.
• u=0 과 u→∞ 에서 선형화된 문제 Δu + f̂(x,u)/u → 0 의 음의 고유값 수를 통해 위상수학적 도수를 결정한다.
• 고정점 지수의 가법성과 호모토피 불변성을 활용하여, 전체 비선형 문제의 지수와 평균화된 선형화된 연산자의 지수를 비교한다.
• 반류의 적합성 조건을 확립하고, 스펙트럼 조건 (Ker(Δ + f̂∞) = {0}) 를 통해 선형화된 문제의 비자명한 주기 해가 존재하지 않음을 제거함으로써, 비선형 문제의 지수가 0이 아님을 보장한다.

실험 결과

연구 질문

• RQ1 ℝ^N 위에서 T-주기 외력이 작용하는 비공진성 포물형 방정식이 언제 T-주기 해를 갖는가?
• RQ2 무한 영역 위의 포물형 PDE에 대해 비콤팩트 맵에 대해 고정점 지수를 어떻게 적응시킬 수 있는가?
• RQ3 비선형성의 시간 평균이 주기 해 존재성에 어떤 역할을 하는가?
• RQ4 선형화된 문제의 해가 0 또는 무한대에서 비자명한 주기 해를 가지지 않을 경우, 이는 비선형 문제의 해 존재성을 어떻게 유도하는가?
• RQ5 0과 ∞ 에서 선형화된 연산자의 도수 모듈로 2 와 같은 위상적 불변량을 사용하여 비자명한 주기 해의 존재를 유추할 수 있는가?

주요 결과

• f̂∞ 가 f 의 무한대에서의 시간 평균의 도함수이면, Ker(Δ + f̂∞) = {0} 이면, 포물형 방정식은 C([0,∞), H²(ℝ^N)) ∩ C¹([0,∞), L²(ℝ^N)) 내에 T-주기 해를 갖는다.
• 0 과 ∞ 에서 평균화된 선형화의 양의 고유값의 총 다중도가 모듈로 2 로 다를 경우, 비자명한 T-주기 해가 존재한다.
• H¹(ℝ^N) 내의 구 위에서의 전이 연산자 Ψ_T 의 고정점 지수는 (−1)^m(∞) 이며, 여기서 m(∞) 은 무한대에서 평균화된 선형화의 음의 고유값의 수이다.
• 선형화된 문제의 무한대에서 비자명한 T-주기 해가 없고, 평균화된 비선형성 f̂∞ 가 Δ 의 스펙트럼과 공진하지 않으면, T-주기 해의 존재가 보장된다.
• B_R ar{B}_r 의 애너귤라 영역 U 에서 비선형 문제의 지수는 (−1)^m(∞) − (−1)^m(0) 이며, m(∞) 과 m(0) 이 홀짝성에서 다를 경우 이 값은 0이 아니며, 이는 U 내에 고정점이 존재함을 의미한다.
• 증명은 t → 0+ 일 때 평균화된 반류의 고정점 지수의 극한에 기반하며, 이는 선형화된 연산자의 지수와 일치한다. 이는 위상적 추론을 가능하게 한다.