[논문 리뷰] Stabilization and controllability of first-order integro-differential hyperbolic equations

Jean‐Michel Coron, Long Hu외 1명|arXiv (Cornell University)|2015. 11. 03.

Stability and Controllability of Differential Equations참고 문헌 24인용 수 52

한 줄 요약

이 논문은 일阶 선형 적분미분 hyperbolic 방정식의 유한시간 안정화가 정확한 제어 가능성과 동치임을 증명하며, 유한시간 안정화 목표 시스템으로 시스템을 매핑하기 위해 프레드홀름 변환을 사용한다. 변환이 정확한 제어 가능성 가정 하에 가역임을 증명함으로써, 비볼테라 유형이 아닌 비국소 항이 존재하는 경우에도 백스텝핑 유사 방법을 통한 안정화가 가능함을 보여준다.

ABSTRACT

In the present article we study the stabilization of first-order linear integro-differential hyperbolic equations. For such equations we prove that the stabilization in finite time is equivalent to the exact controllability property. The proof relies on a Fredholm transformation that maps the original system into a finite-time stable target system. The controllability assumption is used to prove the invertibility of such a transformation. Finally, using the method of moments, we show in a particular case that the controllability is reduced to the criterion of Fattorini.

연구 동기 및 목표

• 일계 선형 적분미분 초월 방정식에 대한 유한시간 안정화와 정확한 제어 가능성의 등가성을 확립하기.
• 클래식한 백스텝핑 방법의 한계를 극복하기 — 이는 볼테라 유형의 커널에 의존하며, 커널이 삼각형 $0 \leq y \leq x \leq L$ 에서만 정의될 경우에만 작동한다.
• 비볼테라 유형이 아닌 비국소 항이 존재하는 경우에도 안정화가 가능한 프레드홀름 변환 기반 접근법을 개발하기.
• 정확한 제어 가능성 가정 하에 프레드홀름 변환이 가역임을 증명하기.
• 특정 경우에 제어 가능성 기준이 패터니의 조건으로 줄어들며, 추상적 제어 가능성과 구체적 스펙트럼 조건을 연결하기.

제안 방법

• 원래 시스템을 영 동역학을 가진 목표 시스템으로 매핑하기 위해 형태 $ u(t,x) = w(t,x) - \int_0^L k(x,y)w(t,y)\,dy $ 의 프레드홀름 변환을 사용하기.
• 사각형 $ (0,L) \times (0,L) $ 내에서 커널 $k(x,y)$ 를 위한 방정식 유도 — 기존 백스텝핑에서 사용하는 볼테라 유형과 다름.
• 시간 $L$ 에서의 정확한 제어 가능성 가정에 기반해 프레드홀름 변환의 가역성을 증명하며, 제어 가능성 조건을 활용해 변환이 전단사임을 보장하기.
• 모멘트 방법을 적용하여 정확한 제어 가능성의 경우가 특정한 경우에 패터니 기준으로 줄어들며, 제어 가능성에 대한 스펙트럼 조건을 제공하기.
• 약한 해 공식화와 밀도 추론을 사용하여 해 이론을 매끄럽지 않은 초기 자료 및 제어 자료에서 $L^2$ 로 확장하기.
• 뤼머-필리프스 정리를 활용하여 연산자 $A$ 가 $C_0$-군을 생성함을 증명하여 시스템의 잘 정의됨을 보장하기.

실험 결과

연구 질문

• RQ1 일계 적분미분 초월 방정식의 유한시간 안정화가 정확한 제어 가능성과 동치인가?
• RQ2 비국소 항이 볼테라 유형이 아닐 경우에도 프레드홀름 변환을 사용해 이러한 시스템을 안정화할 수 있는가?
• RQ3 백스텝핑 방법에서 사용된 프레드홀름 변환이 어떤 조건에서 가역인가?
• RQ4 시스템의 제어 가능성은 안정화 커널 변환의 존재를 암시하는가?
• RQ5 분리 가능한 커널 $g(x,y) = g(y)$ 의 경우에 패터니 기준을 적용해 제어 가능성을 판단할 수 있는가?

주요 결과

• 시스템 (1.1) 의 유한시간 안정화는 시간 $L$ 에서의 정확한 제어 가능성과 동치이다.
• 유한시간 안정화 목표 시스템으로 시스템을 매핑하기 위해 사용된 프레드홀름 변환은 정확한 제어 가능성 가정이 성립할 때에만 가역이다.
• 모멘트 방법을 통해 정확한 제어 가능성의 경우가 $g(x,y) = g(y)$ 인 경우 패터니 기준으로 줄어들며, 제어 가능성에 대한 스펙트럼 조건을 제공한다.
• 해 연산자는 $L^2(0,L) \times L^2(0,T)$ 에서 잘 정의되고 연속이며, $u(\cdot,0)$ 의 추적은 밀집 부분공간에서 연속적으로 연장 가능하다.
• 제어 가능성 가정 하에 원래 시스템에서 목표 시스템으로의 변환은 연속적이고 가역적이며, 목표 시스템의 유한시간 감쇠를 통해 안정화가 보장된다.
• 이 논문의 증명 기법은 KdV 및 쿠라모토-시바시크스 방정식에 대한 이전 연구들과 근본적으로 다름 — 가역성을 보장하기 위해 작고 또는 스펙트럼 조건이 아닌 제어 가능성에 의존한다.