[논문 리뷰] Superstability and Finite Time Extinction For C_0-Semigroups

Darren Creutz, Jr . M. Mazo외 1명|arXiv (Cornell University)|2009. 07. 28.

Stability and Controllability of Differential Equations참고 문헌 9인용 수 3

한 줄 요약

이 논문은 원점 주변의 수축하는 구에 대한 입구 시간을 사용하여 $C_0$-반군에서 초안정성과 유한 시간 소멸을 분석하는 통합 프레임워크를 제안한다. 이 프레임워크는 이러한 성질을 위한 파지 유형의 적분 조건을 수립하며, 유한 시간 소멸은 초안정성을 함의하지만 그 역은 성립하지 않음을 증명하고, 명시적인 반례를 구성함으로써 발크리슈난의 열린 질문에 답한다. 이는 소멸하지 않는 초안정 시스템을 갖는 미분 연산자 기반 초안정 시스템을 제공한다.

ABSTRACT

A new approach to superstability and finite time extinction of strongly continuous semigroups is presented, unifying known results and providing new criteria for these conditions to hold analogous to the well-known Pazy condition for stability. That finite time extinction implies superstability which is in turn equivalent to several (both known and new) conditions follow from this new approach in a consistent fashion. Examples showing that the converse statements fail are constructed, in particular, an answer to a question of Balakrishnan on superstable systems not exhibiting finite time extinction.

연구 동기 및 목표

• 입구 시간 기반의 새로운 접근을 통해 $C_0$-반군에서의 초안정성과 유한 시간 소멸에 대한 기존 결과를 통합하고 확장하기.
• 지수 안정성의 파지 조건과 유사한 초안정성과 유한 시간 소멸을 위한 새로운 유사 기준 제공.
• 미분 연산자 생성자를 갖는 초안정 시스템이 유한 시간 소멸을 보이지 않는지에 대한 발크리슈난의 열린 질문을 해결하기.
• 유한 시간 소멸 ⇒ 초안정성 ⇒ 안정성이라는 стрict한 계층관계를 명확히 하며, 각 포함관계가 엄격함을 보여주는 반례 제시.

제안 방법

• 상대적 입구 시간 $u_r = \sup\{t_{r+1}(x) - t_r(x) : \|x\| \leq 1\}$을 정의하되, 여기서 $t_r(x)$는 모든 $t' \geq t$에 대해 $\|T(t')x\| \leq e^{-r}$가 되는 최소 시간이다.
• 안정성, 초안정성, 유한 시간 소멸이 각각 $\limsup u_r < \infty$, $\lim u_r = 0$, $\sum u_r < \infty$로 주어지는 $u_r$의 渐近적 행동과 등가임을 증명한다.
• 연산자 노름의 로그를 사용하여 파지 유형의 적분 조건을 유도한다: $\int_a^\infty |\log \|T(t)\||^{-p} dt < \infty$ (다양한 $p$ 값에 대해).
• 유한 시간 소멸이 초안정성보다 엄격히 강함과 초안정성이 안정성보다 엄격히 강함을 보여주는 반례를 $L^2$ 공간에서 가우시안 및 르베그 측도를 사용해 구성한다.
• 이동 및 분수 적분 연산자(예: $J^{it}$)의 반군을 사용하여 스펙트럼이 공집합이지만 초안정적이지 않은 행동을 보이는 예를 생성한다.
• 스펙트럼 이론과 감마 함수의 성질을 포함한 함수해석학적 도구를 활용하여 연산자 노름의 성장 및 감쇠를 분석한다.

실험 결과

연구 질문

• RQ1 입구 시간을 기반으로 하여 $C_0$-반군에서의 초안정성과 유한 시간 소멸을 통합적으로 특성화할 수 있는가?
• RQ2 지수 안정성의 경우와 유사하게 초안정성과 유한 시간 소멸을 위한 파지 유형의 적분 조건이 존재하는가?
• RQ3 미분 연산자 생성자를 갖는 초안정 $C_0$-반군 중에서 유한 시간 소멸을 보이지 않는 것은 존재하는가?
• RQ4 세 안정성 유형인 안정성, 초안정성, 유한 시간 소멸 간의 정확한 관계는 무엇인가?
• RQ5 유한 시간 소멸이 초안정성보다 엄격히 강함과 초안정성이 안정성보다 엄격히 강함을 보여주는 예를 구성할 수 있는가?

주요 결과

• 유한 시간 소멸은 $\sum_{r=0}^\infty u_r < \infty$이 성립할 때이고, 뿐만 아니라 그 때에만 성립한다. 여기서 $u_r$은 수준 $r$에 대한 상대적 입구 시간이다.
• 초안정성은 $\lim_{r \to \infty} u_r = 0$과 동치이며, 이 조건은 안정성보다 엄격히 강하다.
• 이 논문은 $L^2(\mathbb{R}^+, \mu)$ 위에서 생성자 $-\frac{d}{ds}$를 갖는 초안정 $C_0$-반군을 구성하였으며, 이는 유한 시간 소멸을 보이지 않아 발크리슈난의 질문에 긍정적으로 답한다.
• 함수 $T(t)f(s) = f(s+t)$ ($s+t \leq 1$ 인 경우)이고, 그 외에는 0인 반군은 $t=1$에서 유한 시간 소멸을 보이며, $r > 0$에 대해 $u_r = 0$이다.
• 분수 적분 반군 $J^{it}$의 해석적 계속을 사용하여 스펙트럼이 공집합이지만 초안정적이지 않은 반군을 구성하였다.
• 초안정성의 파지 유형 조건은 $1 < p < \infty$에 대해 $\int_a^\infty |\log \|T(t)\||^{-p} dt < \infty$이며, 유한 시간 소멸의 경우 동일한 적분의 $p \downarrow 0$ 극한이 유한해야 한다.