[논문 리뷰] Input-to-State Stability with Respect to Boundary Disturbances for a Class of Semi-linear Parabolic Equations

Jun Zheng, Guchuan Zhu|arXiv (Cornell University)|2017. 09. 06.

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

한 줄 요약

이 논문은 새로운 림포비안 함수 방법을 사용하여 로빈 또는 뉴먼 경계 외란이 있는 반선형 포아송 편미분방정식(PDE)에 대해 입력-상태 안정성(ISS)을 수립한다. 외란의 시간 도함수를 피하는 데 기여하는 기술적 부등식을 개발함으로써, 이 방법은 직접적으로 경계 조건을 다루며 유계가 아닌 연산자를 피하게 되어, 외란 도함수에 대한 명시적 의존성이 없는 ISS 추정치를 도출한다. 이는 고유함수 또는 유한차분 방법에 비해 계산적으로 효율적인 대안을 제공한다.

ABSTRACT

This paper studies the input-to-state stability (ISS) properties based on the method of Lyapunov functionals for a class of semi-linear parabolic partial differential equations (PDEs) with respect to boundary disturbances. In order to avoid the appearance of time derivatives of the disturbances in ISS estimates, some technical inequalities are first developed, which allow directly dealing with the boundary conditions and establishing the ISS based on the method of Lyapunov functionals. The well-posedness analysis of the considered problem is carried out and the conditions for ISS are derived. Two examples are used to illustrate the application of the developed result.

연구 동기 및 목표

• 로빈 또는 뉴먼 경계 외란을 받는 반선형 포화 편미분방정식(PDE)에 대해 입력-상태 안정성(ISS)을 수립하는 것.
• 림포비안 함수를 사용할 때 외란의 시간 도함수와 유계가 아닌 연산자로 인한 ISS 추정치의 도전 과제를 극복하는 것.
• 경계 조건을 직접 다룰 수 있도록 C¹ 함수의 국소적 값과 그 L² 및 H¹ 노름 사이의 관계를 정의하는 기술적 부등식을 개발하는 것.
• 고유함수 전개나 유한차분 스킴에 비해 계산 비용이 더 적은 ISS 분석을 위한 대안을 제공하는 것.
• 비선형성과 경계 외란을 포함한 두 가지 예시적인 포화 편미분방정식(PDE)에 대해 제안된 방법의 적용 가능성을 보여주는 것.

제안 방법

• C¹ 함수의 점별 값과 L² 및 H¹ 노름 사이의 관계를 정의하는 기술적 부등식인 레마 1과 레마 2를 개발하여, 경계 조건을 직접 다룰 수 있도록 한다.
• 표준 림포비안 함수를 적용하여 해에 대한 사전 추정치를 유도함으로써, 내부 영역 및 경계 외란에 대한 유계성을 확보한다.
• ISS에 필요한 성장 한계를 만족시키기 위해 비선형 항 f(t,x,u,p)에 구조적 조건을 부여하며, M₁ 및 M₂ 상수를 포함한 리프시츠 유형 조건을 포함한다.
• 변환 w(t,x) = e^{mx/(2μ)}u(t,x)를 사용하여 운반 PDE를 분석에 적합한 표준 포화 형태로 변환한다.
• 림포비안 함수가 ISS를 유도할 수 있는 조건을 검증하기 위해 가정 3, 4, 5를 적용하며, 계수 a, b, μ, n에 기반한다.
• 유도된 조건 하에서 PDE 시스템의 잘 정의됨과 해의 유일성을 검증한다.

실험 결과

연구 질문

• RQ1 림포비안 함수를 사용할 때 외란의 시간 도함수를 포함하지 않고도, 경계 외란에 대해 반선형 포화 편미분방정식(PDE)에 대해 입력-상태 안정성(ISS)을 수립할 수 있는가?
• RQ2 경계 조건을 직접 다룰 수 있도록 C¹ 함수의 국소적 값과 L² 및 H¹ 노름 사이의 관계를 정의하는 기술적 부등식을 어떻게 구성할 수 있는가?
• RQ3 비선형 항 f(t,x,u,p)에 대해 어떤 구조적 조건이 림포비안 함수가 ISS 추정치를 유도하도록 보장하는가?
• RQ4 제안된 방법은 고유함수 전개나 유한차분 스킴에 비해 ISS 분석에서 계산 복잡도가 어떻게 다를까?
• RQ5 이 방법은 고려된 두 예시를 초월해 다른 종류의 PDE 클래스로 확장 가능한가?

주요 결과

• 제안된 방법은 레마 1과 레마 2를 활용한 새로운 기술적 부등식을 통해, 외란 도함수의 시간 도함수를 포함하지 않는 ISS 추정치를 성공적으로 회피한다.
• 비선형 항 f(t,x,u,p) = αu − β|u|²u를 가진 반선형 포화 편미분방정식(PDE)은 조건 α < 0 및 b₁/b₂ < 1/3 하에서 ISS가 성립함을 입증하였다.
• 비선형 항 f(t,x,u,p) = αu − β|u|²u − γ|u|⁴u + λp를 가진 PDE는 조건 α + |λ| < 0, |λ| ≤ μ, 및 b₁/b₂ < 1/4 하에서 ISS가 성립함을 입증하였다.
• 1차원 운반 PDE(식 (28))는 조건 a ≥ 4/3, b < 1/3, 및 (m²/(4μ) + n) > 0 하에서 ISS임을 보였으며, 분석을 단순화하기 위해 해당 변환을 적용하였다.
• 이 방법은 고유함수 전개나 유한차분 스킴에 비해 계산 비용이 더 적게 들며, 무거운 스펙트럼 또는 반복 계산을 피하기 때문이다.
• 이 기법은 Dirichlet 경계 외란(즉, b₂ = 0)에는 적용 불가능하며, 별도의 방법이 병행 연구에서 개발되어야 한다.