[논문 리뷰] Smoothing Properties of Fractional Ornstein-Uhlenbeck Semigroups and Null-Controllability

Paul Alphonse, Joackim Berniér|arXiv (Cornell University)|2018. 10. 05.

Stability and Controllability of Differential Equations참고 문헌 36인용 수 17

한 줄 요약

이 논문은 칼만 랭크 조건 하에서 분수 오르nst하인-울렌베르크 연산자에 의해 생성된 족쇄의 게브레 타입 부드러움 성질을 확립하며, 양의 시간에서 해가 무한 차수의 게브레 정칙성을 획득함을 증명한다. 이러한 정규화 효과는 두 가지 핵심 결과를 이끌어낸다: 두꺼운 제어 부분집합에서의 관련 포물형 방정식에 대한 영 제어 가능성과, 보간 이론을 통한 전역 $L^2$ 하위타원적 추정.

ABSTRACT

We study fractional hypoelliptic Ornstein-Uhlenbeck operators acting on $L^2(\\mathbb{R}^n)$ satisfying the Kalman rank condition. We prove that the semigroups generated by these operators enjoy Gevrey regularizing effects. Two byproducts are derived from this smoothing property. On the one hand, we prove the null-controllability in any positive time from thick control subsets of the associated parabolic equations posed on the whole space. On the other hand, by using interpolation theory, we get global $L^2$ subelliptic estimates for the these operators.

연구 동기 및 목표

• 분수 오르nst하인-울렌베르크 연산자에 의해 생성된 족쇄의 $L^2(\mathbb{R}^n)$에서의 부드러움 성질을 분석하기 위해.
• 두꺼운 제어 부분집합에서의 관련 포물형 방정식에 대한 영 제어 가능성(임의의 양의 시간에서)을 확립하기 위해.
• 보간 이론을 사용하여 연산자에 대한 전역 $L^2$ 하위타원적 추정을 유도하기 위해.
• 기존의 고전적 ($s=1$) 경우에서의 초타원성 및 정칙성 결과를 분수적 ($s>0$) 경우로 확장하기 위해.
• 공통 프레임워크 내에서 분수 콜모고로프 유형 연산자와 안정 레비 소음을 가진 확률적 과정의 분석을 통합하기 위해.

제안 방법

• 저자들은 $s>0$, $Q$가 대칭 정반정의이고 $B$가 행렬일 때, $L^2(\mathbb{R}^n)$에서 분수 오르nst하인-울렌베르크 연산자 $\mathcal{P} = \frac{1}{2}\operatorname{Tr}^s(-Q\nabla_x^2) + \langle Bx, \nabla_x \rangle$를 분석한다.
• 칼만 랭크 조건 $\operatorname{Rank}[B \mid Q^{1/2}] = n$이 성립할 경우, 족쇄 $(e^{-t\mathcal{P}})_{t\geq 0}$가 게브레 정규화 효과를 보임을 증명한다.
• 스펙트럼 분석과 푸리에 승수 기법을 활용하여 족쇄 커널의 푸리에 변환의 감쇠를 제어함으로써 증명한다.
• 영 제어 가능성은 게브레 부드러움과 두꺼운 제어 집합 이론 및 쌍대성 원리를 결합하여 확립한다.
• 하위타원적 추정은 $L^2$와 게브레 공간 간의 보간 이론을 활용하여 도출되며, 정규화 효과를 이용한다.
• 분수 콜모고로프 연산자($\mathcal{P} = v\cdot\nabla_x + (-\Delta_v)^s$)를 특수 케이스로 포함한 철저한 분석을 수행한다.

실험 결과

연구 질문

• RQ1 분수 오르nst하인-울렌베르크 연산자에 의해 생성된 족쇄가 $s>0$일 때 칼만 랭크 조건 하에서 게브레 타입의 부드러움 성질을 보일까?
• RQ2 연도 $\mathcal{P}$와 관련된 포물형 방정식이 두꺼운 제어 부분집합에서 임의의 양의 시간에 대해 영 제어 가능성이 달성될 수 있을까?
• RQ3 $\mathcal{P}$의 $L^2$-공간에서의 하위타원적 정칙성의 정밀한 성격은 무엇인가?
• RQ4 분수 오르nst하인-울렌베르크 연산자 $\mathcal{P}$의 부드러움 성질은 고전적 오르nst하인-울렌베르크 연산자($s=1$)와 비교해 어떻게 다를까?
• RQ5 칼만 랭크 조건은 족쇄의 정규화 및 제어 성질을 보장하기 위해 어떤 역할을 하는가?

주요 결과

• 칼만 랭크 조건이 성립할 경우, 모든 $t>0$에 대해 족쇄 $e^{-t\mathcal{P}}$는 순서 $s$의 게브레 정규화 효과를 유도한다.
• 칼만 조건 하에서, $\mathbb{R}^n$의 임의의 두꺼운 제어 부분집합에서 포물형 방정식 $\partial_t u + \mathcal{P}u = 0$는 임의의 양의 시간에 대해 영 제어 가능성이 확보된다.
• $L^2$와 게브레 공간 간의 보간을 통해 $\mathcal{P}$에 대한 전역 $L^2$ 하위타원적 추정이 도출되었으며, 이는 연산자의 초타원성 성격을 반영한다.
• 분수 콜모고로프 연산자 $v\cdot\nabla_x + (-\Delta_v)^s$는 칼만 조건을 만족하며 동일한 부드러움 및 제어 성질을 상속한다.
• 칼만 랭크 조건과 공분산 행렬 $Q_t$의 비퇴화성 간의 동치성이 확립되었으며, 이는 $\mathcal{P}$의 초타원성의 확인을 뒷받침한다.
• 결과적으로 기존의 고전적 경우($s=1$)에서의 $L^2$-정칙성 및 제어 결과가 분수적 상황($s>0$)으로 확장되었으며, 매개수 $s$에 대한 명시적 의존성이 포함되어 있다.