[논문 리뷰] Periodic Solutions to Dissipative Hyperbolic Systems. I: Fredholm Solvability of Linear Problems

Irina Kmit, Lutz Recke|arXiv (Cornell University)|2011. 08. 14.

Differential Equations and Numerical Methods참고 문헌 12인용 수 6

한 줄 요약

이 논문은 한 개의 공간 차원에서 반사 경계 조건을 가진 선형 일阶 히퍼볼릭 계에 대한 시간 주기적 해에 대해 프레드홀름 가역성과 $C^1$-정칙성을 확립한다. 해의 프레드홀름 대안과 향상된 정칙성을 보장하는 두 가지 비공진 조건을 도입한다. 하나는 $a_j$, $b_{jj}$ 및 경계 계수에 의존하고, 다른 하나는 $ abla_t a_j$를 포함한다. 이러한 조건들은 엄밀히 히퍼볼릭이 아닌 경우에도 성립한다.

ABSTRACT

This paper concerns linear first-order hyperbolic systems in one space dimension of the type $$ \partial_tu_j + a_j(x,t)\partial_xu_j + \sum\limits_{k=1}^nb_{jk}(x,t)u_k = f_j(x,t),\; x \in (0,1),\; j=1,\ldots,n, $$ with periodicity conditions in time and reflection boundary conditions in space. We state a non-resonance condition (depending on the coefficients $a_j$ and $b_{jj}$ and the boundary reflection coefficients), which implies Fredholm solvability of the problem in the space of continuous functions. Further, we state one more non-resonance condition (depending also on $\partial_ta_j$), which implies $C^1$-solution regularity. Moreover, we give examples showing that both non-resonance conditions cannot be dropped, in general. Those conditions are robust under small perturbations of the problem data. Our results work for many non-strictly hyperbolic systems, but they are new even in the case of strict hyperbolicity.

연구 동기 및 목표

• 반사 경계 조건을 가진 선형 일阶 히퍼볼릭 계에 대한 시간 주기적 해에 대한 프레드홀름 대안을 확립하기 위해.
• 연속 함수 공간에서 프레드홀름 가역성을 보장하는 $a_j$, $b_{jj}$ 및 경계 반사 항 $r_{jk}$에 대한 비공진 조건을 규명하기 위해.
• 해의 $C^1$-정칙성을 보장하는 $ abla_t a_j$를 포함하는 두 번째 비공진 조건을 유도하기 위해.
• 반례를 통해 두 조건의 날카로움을 입증하고, 소규모 변화에 대한 안정성을 보여주기 위해.
• 모든 계수들이 $C^∞$-정칙이고 $a_j$가 시간에 독립일 경우, 정규성 결과를 $C^∞$-스무쓰한 해로 확장하기 위해.

제안 방법

• 특성 곡선 $\tau_j(\xi,x,t)$ 및 적분 인자 $c_j(\xi,x,t)$와 $d_j(\xi,x,t)$를 사용하여 PDE 계를 등가의 적분 방정식계로 변환한다.
• 시간에 대해 $2\pi$-주기적 연속 함수와 연속 미분 가능 함수의 공간인 $\mathcal{C}_n$ 및 $\tilde{\mathcal{C}}_n^1$을 정의한다.
• 특성 방법을 적용하여 경계 조건과 주기 조건을 포함하는 적분 표현식 (1.9) 및 (1.10)을 도출한다.
• 연산자 이론적 기법을 사용하여 적분 형태와 관련된 선형 연산자 $I - C - D$의 프레드홀름 성질을 분석하고, 이를 증명한다.
• 시간 도함수 $\partial_t^k u$에 대한 귀납법을 통해, 두 번째 비공진 조건 하에서 $\partial_t^k u \in \tilde{\mathcal{C}}_n^1$임을 보인다.
• PDE와 적분 방정식을 반복적으로 미분함으로써 $C^1$-정칙성과 고차 정칙성을 확보하며, $a_j$의 시간 독립성에 기반한다.

실험 결과

연구 질문

• RQ1 계수 $a_j$, $b_{jj}$ 및 반사 항 $r_{jk}$에 대해 어떤 조건이 연속 함수 공간에서 주기적 히퍼볼릭 계의 프레드홀름 대안을 보장하는가?
• RQ2 $\partial_t a_j$에 대한 추가 조건은 시스템 해의 $C^1$-정칙성을 보장하는가?
• RQ3 비공진 조건을 약화하거나 제거하면 프레드홀름 가역성 또는 정칙성의 손실가능성이 있는가?
• RQ4 특히 반사 경계 조건이 주기적 해의 가역성과 정칙성에 미치는 영향은 무엇인가?
• RQ5 특성 곡선 $\tau_j(\xi,x,t)$와 적분 인자 $c_j$, $d_j$는 PDE 계를 해결 가능한 적분 형태로 감소시키는 데 어떤 역할을 하는가?

주요 결과

• 첫 번째 비공진 조건—$a_j$, $b_{jj}$ 및 $r_{jk}$에 의존하는 조건—은 $\mathcal{C}_n$에서 주기 문제의 프레드홀름 가역성에 필수적이고 충분하다.
• 두 번째 비공진 조건—$\partial_t a_j$를 포함하는 조건—은 해가 $C^1$-스무트함을 보장하며, $a_j$가 시간에 독립이고 모든 자료가 $C^\infty$이면 해는 $C^\infty$-스무트가 된다.
• 첫 번째 비공진 조건은 제거될 수 없으며, 프레드홀름 가역성이 실패하는 반례를 통해 이를 입증한다.
• 두 번째 비공진 조건 역시 필수적이며, 이 조건이 없이 $C^1$-정칙성이 실패하는 예시로 이를 입증한다.
• 비공진 조건은 문제 자료의 소규모 $C^1$-변형에 대해 안정적이다.
• 적분 형태 (1.9)–(1.10)은 고전적 해를 완전히 특징짓며, 연산자 이론적 기법을 사용하여 프레드홀름 성질과 정칙성을 증명하는 데 기여한다.