[논문 리뷰] Boundary Control of Reaction-Diffusion PDEs on Balls in Spaces of Arbitrary Dimensions

Rafael Vázquez, Miroslav Krstić|arXiv (Cornell University)|2015. 11. 20.

Stability and Controllability of Differential Equations참고 문헌 12인용 수 8

한 줄 요약

이 논문은 구형 조화함수를 통해 분해된 n차원 구 위의 불안정한 선형 반응-확산 PDE를 배경 제어 방법을 사용하여 안정화하는 명시적 출력 피드백 경계 제어 법칙을 제시한다. 1차원 배경 제어 핵과 파oisson 핵과 관련된 함수의 곱으로 구성된 제어 및 관측기 핵을 설계함으로써, 닫힌 루프 시스템의 $H^1$ 노름에서 지수 안정성이 증명된다.

ABSTRACT

An explicit output-feedback boundary feedback law is introduced that stabilizes an unstable linear constant-coefficient reaction-diffusion equation on an $n$-ball (which in 2-D reduces to a disk and in 3-D reduces to a sphere) using only measurements from the boundary. The backstepping method is used to design both the control law and a boundary observer. To apply backstepping the system is reduced to an infinite sequence of 1-D systems using spherical harmonics. Well-posedness and stability are proved in the $H^1$ space. The resulting control and output injection gain kernels are the product of the backstepping kernel used in control of one-dimensional reaction-diffusion equations and a function closely related to the Poisson kernel in the $n$-ball.

연구 동기 및 목표

• n차원 구 위의 불안정한 선형 반응-확산 PDE를 안정화하는 명시적 출력 피드백 경계 제어 법칙을 설계하기.
• 기존의 1차원 및 2차원 배경 제어 및 관측기 설계를 임의의 공간 차원으로 확장하기.
• 닫힌 루프 시스템의 잘 정의됨과 $H^1$ 소볼레프 공간에서의 지수 안정성을 증명하기.
• 제어 및 관측기 이득 핵을 1차원 배경 제어 핵과 n-구의 Poisson 핵과 관련된 함수의 곱으로 구성된 구조적 형태로 구성하기.
• 다중 에이전트 네트워크 및 의견 동역학과 같은 고차원 시스템에 PDE 제어 방법을 적용할 수 있도록 하기.

제안 방법

• 구형 조화함수 분해를 통해 n차원 반응-확산 PDE를 무한한 개수의 분리된 1차원 시스템으로 변환하기.
• 각 조화 모드에 대해 배경 제어 방법을 적용하여 $H^1$에서 지수 안정성을 보장하는 상태 피드백 제어 법칙 설계하기.
• 동일한 배경 제어 프레임워크를 활용하여 경계에서의 반경 방향 도함수 측정값만을 사용하는 경계 관측기 同시 설계하기.
• 제어 및 관측기 이득 핵을 반경 방향 1차원 배경 제어 핵과 n-구에서의 Poisson 핵과 관련된 함수의 곱으로 구성하기.
• 에너지 방법, Poincaré 유형 부등식 및 $H^1$ 노름에서의 그로워랄의 부등식을 사용하여 잘 정의됨과 지수 안정성 증명하기.
• 물리적 공간에서 전체 제어 및 관측기 법칙을 재구성하고, 그 구조 및 안정성 특성 검증하기.

실험 결과

연구 질문

• RQ1 배경 제어를 사용하여 n차원 구 위의 반응-확산 PDE에 대해 명시적 출력 피드백 경계 제어 법칙을 설계할 수 있는가?
• RQ2 구형 조화함수 분해는 n차원 PDE를 배경 제어에 적합한 1차원 시스템 집합으로 어떻게 감소시킬 수 있는가?
• RQ3 고차원에서의 제어 및 관측기 핵의 해석적 구조는 무엇이며, Poisson 핵과 같은 알려진 함수와 어떻게 관련되는가?
• RQ4 결과로 도출된 닫힌 루프 시스템은 임의의 $n \geq 1$에서 잘 정의되고 $H^1$ 노름에서 지수 안정적인가?
• RQ5 이 프레임워크는 공간 또는 시간에 따라 변화하는 계수를 가진 시스템이나 더 복잡한 도메인으로 확장될 수 있는가?

주요 결과

• 경계 측정값만을 사용하여 불안정한 반응-확산 PDE를 n-구 위에서 안정화하는 명시적 출력 피드백 경계 제어 법칙이 구성되었다.
• 제어 및 관측기 이득 핵은 1차원 배경 제어 핵과 n-구에서의 Poisson 핵과 밀접하게 관련된 함수의 곱으로 표현된다.
• 에너지 방법과 그로워랄의 부등식을 사용하여 닫힌 루프 시스템의 $H^1$ 노름에서의 지수 안정성이 증명되었다.
• 핵 적분 방정식과 추적 부등식의 철저한 분석을 통해 닫힌 루프 시스템의 잘 정의됨이 확립되었다.
• 안정성 결과는 모든 차원 $n \geq 1$에 대해 균일하게 성립하며, 리아푸노프 함수를 통해 명시적인 감쇠율이 유도되었다.
• 이 방법을 통해 다중 에이전트 배치나 복잡한 네트워크에서의 의견 동역학을 모델링하는 고차원 시스템의 안정화가 가능해졌다.