[논문 리뷰] Exponential Stability and Initial Value Problems for Evolutionary Equations

Sascha Trostorff|arXiv (Cornell University)|2017. 07. 03.

Stability and Controllability of Differential Equations참고 문헌 56인용 수 6

한 줄 요약

이 논문은 지수적으로 가중된 시간 공간을 갖는 힐버트 공간 설정을 통해 비선형 진동 방정식의 지수 안정성과 초기값 문제를 분석하기 위한 통합 프레임워크를 수립한다. 연산자 합 ∂tM + A 를 H̺(R; H)에서 닫힘되고 밀도가 있는 연산자로 간주함으로써, 시간 미분 ∂0,̺의 스펙트럼 이론을 통해 연속적 역행렬 존재성(즉, 잘 정의됨)을 증명함으로써, 포아송형 및 쌍곡형 방정식에 대한 지수 안정성 기준을 도출한다.

ABSTRACT

In this thesis we consider so-called linear evolutionary problems, a class of linear partial differential equations covering classical elliptic, parabolic and hyperbolic equations from mathematical physics as well as classes of integro-differenital equations, fractional differential equations and delay equations. We address the well-posedness of the problems in a pure Hilbert space setting. Moreover, the exponential stability and the regularity of the problems are studied. In particular, a Hille-Yosida type result is proved, to obtain a strongly continuous semigroup on a suitable state space consisting of admissible initial values and pre-histories. The results are illustrated by various examples.

연구 동기 및 목표

• 지수적으로 가중된 L2 공간에서 형태 (∂tM + A)u = f 를 갖는 선형 진동 방정식의 잘 정의됨을 위한 일반적 프레임워크를 개발하는 것.
• H̺(R; H)에서 연산자 ∂tM + A 의 연속적 역행렬 존재성을 통해 해의 지수 안정성을 특성화하는 것.
• 외삽 공간과 수용 가능한 초기값을 통한 진동 문제의 초기 조건 다루기.
• 지연 및 적분미분 방정식(포함하여 미분대수계)을 포함한 이론의 확장.
• 반군 이론에 의존하지 않는 최대 정규성과 안정성에 대한 스펙트럼론적 접근 제공.

제안 방법

• 지수적으로 가중된 L2 함수 공간 H̺(R; H)에서 진동 문제를 수립한다.
• C∞c(R; H) 위에서 미분의 닫힘을 정의한 시간 미분 ∂t 를 ∂0,̺ 로 표기하며, 이는 푸리에-라플라스 변환에 의한 스펙트럼 표현을 갖는 정규 연산자이다.
• 재료 법칙 M 을 연산자 값 함수 M(∂0,̺) 로 표현함으로써 방정식을 (∂0,̺M(∂0,̺) + A)u = f 로 재기본화한다.
• H̺(R; H)에서 ∂0,̺M(∂0,̺) + A 의 전사성과 유계 역행렬 존재성을 증명함으로써 잘 정의됨을 확립한다.
• 스펙트럼 정리와 푸리에-라플라스 변환을 이용해 해석적 역행렬과 안정성 성질을 분석한다.
• 이론을 두 번째 차수 문제에 적용하고, 강제성 추정과 스펙트럼 국소화를 통해 지수 안정성 조건을 도출한다.

실험 결과

연구 질문

• RQ1 연산자 ∂0,̺M(∂0,̺) + A 가 H̺(R; H)에서 연속적으로 역행렬을 갖는 조건은 무엇이며, 이는 잘 정의됨을 보장하는가?
• RQ2 진동 방정식 해의 지수 안정성은 연산자 ∂0,̺M(∂0,̺) + A 의 스펙트럼 성질을 통해 어떻게 특성화될 수 있는가?
• RQ3 외삽 공간은 진동 문제의 수용 가능한 초기값을 정의하는 데 어떤 역할을 하는가?
• RQ4 이 프레임워크는 지연 및 적분미분 항을 포함하는 방정식으로 어떻게 확장될 수 있는가?
• RQ5 이 이론은 미분대수계 및 두 번째 차수 문제에 적용될 수 있으며, 어떤 안정성 조건이 도출되는가?

주요 결과

• 연산자 ∂0,̺ 는 H̺(R; H)에서 정규적이며, 밀도가 있고, ̺ ≠ 0 이면 연속적으로 역행렬을 갖는다.
• 진동 문제 (∂tM + A)u = f 의 잘 정의됨은 H̺(R; H)에서 ∂0,̺M(∂0,̺) + A 의 연속적 역행렬 존재성과 동치이다.
• 두 번째 차수 문제에 대해서는 강제성 추정과 스펙트럼 국소화를 통해 지수 안정성이 확립되며, 균일한 감쇠율이 도출된다.
• 포아송형 방정식의 경우, 재료 법칙 M 에 대한 엄격한 정부호 조건이 성립할 경우 지수 안정성이 성립한다.
• 쌍곡형 방정식의 경우, A 와 M 의 스펙트럼 성질을 포함하는 더 강력한 강제성 조건이 성립할 경우 지수 안정성이 확보된다.
• 수용 가능한 초기값은 외삽 공간을 통해 특성화되며, 이는 비연속적인 초기 자료를 진동 방정식의 맥락에서 엄밀하게 다룰 수 있도록 한다.