[논문 리뷰] Fredholm Transform and Local Rapid Stabilization for a Kuramoto-Sivashinsky Equation

Jean‐Michel Coron, Qi Lü|arXiv (Cornell University)|2015. 01. 09.

Stability and Controllability of Differential Equations참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유한 구간에서 쿠라모토-시바시크스 방정식의 국소적 빠른 지수 안정화를 달성하기 위해 프레드홀름 적분 변환 기반 피드백 제어 법칙을 제안한다. 적절한 적분 변환을 구성하고 스펙트럼 분석을 활용함으로써, 초기 자료가 충분히 작고, 매개수 λ가 특정 집합 N의 임계값을 피할 경우, 해가 임의의 지정된 지수 속도로 0으로 감쇠됨을 보장한다.

ABSTRACT

This paper is devoted to the study of the local rapid exponential stabilization problem for a controlled Kuramoto-Sivashinsky equation on a bounded interval. We build a feedback control law to force the solution of the closed-loop system to decay exponentially to zero with arbitrarily prescribed decay rates, provided that the initial datum is small enough. Our approach uses a method we introduced for the rapid stabilization of a Korteweg-de Vries equation. It relies on the construction of a suitable integral transform and can be applied to many other equations.

연구 동기 및 목표

• 경계 제어를 통한 쿠라모토-시바시크스 방정식에 대한 국소적 빠른 지수 안정화 문제를 다루는 것.
• 해가 0으로 향하는 임의의 빠른 감쇠 속도를 보장하는 피드백 제어 법칙을 개발하는 것.
• 이전에 코르테웨그-데 브리즈 방정식에 사용된 방법을 더 복잡한 쿠라모토-시바시크스 방정식으로 확장하는 것.
• 제어 가능성을 해치는 임계값을 피하기 위해 λ 매개수에 대한 안정화 조건을 규명하는 것.
• 제안된 피드백 법칙 하에서 닫힌 루프 시스템의 잘 정의됨과 안정성 결과를 확립하는 것.

제안 방법

• 델타 함수 소스를 가진 네 차수의 PDE를 푸는 커널 k(x,y)를 갖는 프레드홀름 적분 변환을 도입한다.
• 이 변환을 통해 원래의 비선형 PDE를 원하는 안정성 특성을 갖는 목표 시스템으로 변환한다.
• 변환 기반으로 피드백 제어 법칙을 구성하며, 제어 입력 f(t)는 상태에 대한 선형 함수로 유도된다.
• 스펙트럼 분석을 적용하여 선형화된 시스템이 λ ∉ N일 때에만 근사 제어 가능하다는 것을 보인다. 여기서 N은 임계값의 집합이다.
• 적절한 함수 공간 X_T에서 고정점 정리를 사용하여 닫힌 루프 시스템의 국소적 잘 정의됨을 증명한다.
• 변환과 제어 법칙에서 적절한 매개수를 선택함으로써 해의 임의의 지정된 감쇠 속도에 대한 지수 감쇠를 확립한다.

실험 결과

연구 질문

• RQ1 유한 구간에서 쿠라모토-시바시크스 방정식에 대해 임의의 빠른 안정화를 달성할 수 있는 피드백 제어 법칙을 설계할 수 있는가?
• RQ2 선형화된 시스템이 근사 제어 가능해지기 위한 λ 매개수에 대한 필수 및 충분 조건은 무엇인가?
• RQ3 원래 시스템을 원하는 안정성 특성을 갖는 목표 시스템으로 변환하기 위해 어떤 적분 변환을 구성할 수 있는가?
• RQ4 이 방법은 쿠라모토-시바시크스 방정식을 초월한 다른 비선형 PDE에 얼마나 일반화될 수 있는가?
• RQ5 임계 집합 N은 안정화 가능성의 결정에 어떤 역할을 하는가?

주요 결과

• 저자들은 초기 자료가 충분히 작을 경우, 임의의 지정된 감쇠 속도로 해가 0으로 지수 감쇠됨을 보장하는 피드백 제어 법칙을 구성한다.
• 이 방법은 델타 함수를 갖는 네 차수의 PDE를 푸는 커널을 갖는 프레드홀름 적분 변환에 의존하며, 이를 통해 목표 시스템으로의 변환을 가능하게 한다.
• 선형화된 시스템은 λ ∉ N일 때에만 근사 제어 가능하며, 여기서 N = {j²π² + k²π² : j,k ∈ ℤ⁺, j ≠ k}로, 안정화를 방해하는 임계값을 정의한다.
• 작은 초기 자료 조건 하에서 닫힌 루프 시스템의 잘 정의됨이 공간 X_T = C⁰([0,T];L²(0,1)) ∩ L²(0,T;H²(0,1) ∩ H₀¹(0,1))에서 확립된다.
• 해는 추정식 |v|_X_T ≤ C₀|v⁰|_L²(0,1)를 만족하며, 초기 자료에 대한 안정성과 연속성을 확인한다.
• 이 방법은 코르테웨그-데 브리즈 방정식에서의 이전 성공 사례를 통해 다른 PDE로의 일반화 가능성을 보여준다.