[논문 리뷰] Carleman estimates and controllability results for fully-discrete approximations of 1-D parabolic equations

Víctor Hernández-Santamaría, Pedro González‐Casanova|arXiv (Cornell University)|2020. 12. 03.

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

한 줄 요약

이 논문은 1차원 포아송 방정식의 완전 이산화된 근사에 대해 새로운 칼레만 추정을 수립한다. 여기서 이산화 매개변수 $h$와 $Δ t$ 는 큰 칼레만 매개변수와 연결되어 있다. 이 추정을 통해 저자들은 이산화된 공간 및 시간 메쉬에 대해 제어가 가능하도록 보장하는 완화된 관측 가능성 부등식을 도출한다. 이는 선형 및 양성비선형 완전 이산화 시스템에 대한 영 제어 가능성을 보장한다.

ABSTRACT

In this paper, we prove a Carleman estimate for fully-discrete approximations of parabolic operators in which the discrete parameters $h$ and $ riangle t$ are connected to the large Carleman parameter. We use this estimate to obtain relaxed observability inequalities which yield, by duality, controllability results for fully-discrete linear and semilinear parabolic equations.

연구 동기 및 목표

• 1차원 포아송 방정식의 완전 이산화 근사에 대한 이산 칼레만 추정을 개발함으로써, 공간($h$)과 시간($Δ t$) 이산화 매개변수를 모두 고려한다.
• 표준 제어 이론이 수치적 산란이나 불안정성으로 인해 이산화 수치적 방법에서 제어 가능성이 상실될 수 있는 상황에서 연속 제어 이론과 이산 수치적 방법 간 격차를 메운다.
• 새로운 이산 칼레만 추정을 통해 완전 이산화된 선형 및 비선형 포아송 시스템의 관측 가능성과 영 제어 가능성을 수립한다.
• 이산 관측 가능성 상수가 메쉬 매개변수 $h$와 $Δ t$에 어떻게 의존하는지 분석하며, 특히 칼레만 매개변수와의 스케일링 조건 하에서의 의존성을 다룬다.
• 표준 이산 방법이 실패할 경우에도 제어 가능성이 유지됨을 보장하는 엄밀한 프레임워크를 제공한다.

제안 방법

• 공간 및 시간 연산자에 대해 이산 미분학 도구를 적용하고, 변수를 바꾸는 방식으로 새로운 완전 이산 칼레만 추정을 유도한다.
• 이 방법은 이산 도함수 $\partial_h$ 와 $\overline{D}_t$ 를 가중치 노름으로 추정하고, 경계 및 내부 항을 제어하기 위해 이산 부분 적분을 적용한다.
• 핵심 단계는 칼레만 매개변수에 따라 변하는 가중치 함수 $\eta$ 를 도입하여 이산 해의 성장률을 추정에서 제어하는 것이다.
• 이산 코시-슈바르츠 및 얀 불등식을 사용하여 이산 라플라스 연산자 $\Delta_h$ 와 시간 도함수 $\overline{D}_t$ 에서 발생하는 교차 항을 유도하고, 주 에너지 항에 흡수시킨다.
• 공간 이산화 및 시간 이산화 추정을 조합한 후, 큰 칼레만 매개변수를 활용해 저차항을 신중히 흡수함으로써 이산 칼레만 추정을 구성한다.
• 최종 추정은 원래 변수로 변환되어, 메쉬 크기와 시간 간격에 의존하는 이산 관측 가능성 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 이산 매개변수 $h$ 와 $Δ t$ 가 칼레만 매개변수와 연결된 1차원 포아송 방정식의 완전 이산화 근사에 대해 칼레만 추정을 수립할 수 있는가?
• RQ2 유도된 이산 칼레만 추정이 완화된 관측 가능성 부등식을 이끌어내어 완전 이산화된 선형 포아송 시스템의 영 제어 가능성을 보장하는가?
• RQ3 이중성과 고정점 정리에 기반하여 관측 가능성 부등식을 비선형 포아송 방정식으로 확장할 수 있는가?
• RQ4 이산 설정에서 관측 가능성 상수가 메쉬 크기 $h$ 와 시간 간격 $Δ t$ 에 어떻게 의존하는가?
• RQ5 표준 수치적 방법이 불안정성 또는 산란으로 인해 실패할 경우, 완전 이산화 하에서도 영 제어 가능성이 유지될 수 있는가?

주요 결과

• 암시적 오일러 및 중심 차분 방법에 대해 새로운 완전 이산 칼레만 추정이 수립되었으며, 이는 $h$ 와 $Δ t$ 가 칼레만 매개변수와 연결된 경우에 유효하다.
• 이산 칼레만 추정은 $\|q^0\|_{L^2} \leq C_{obs} \left( \int\!\!\!\int_{\omega_h \times (0,T)} |q|^2 \right)^{1/2}$ 형태의 완화된 관측 가능성 부등식을 이끌어내며, $C_{obs}$ 는 적절한 스케일링 하에 $h$ 와 $Δ t$ 에 독립적이다.
• 완전 이산화된 선형 포아송 시스템에 대해 영 제어 가능성이 증명되었으며, $h$ 와 $Δ t$ 가 칼레만 매개변수와 스케일링될 경우 제어 비용은 메쉬 크기와 독립적이다.
• 비선형 케이스에서는 이산 관측 가능성 부등식을 기반으로 한 고정점 정리를 통해 영 제어 가능성이 확립되었으며, 초기 데이터가 작을 경우 제어의 존재를 보장한다.
• 이 방법은 이산 매개변수가 칼레만 매개변수와 연결될 경우 제어 가능성과 수치 이산화를 조화시킬 수 있음을 보여주며, 기존 방법에서 관찰되는 제어 가능성 상실을 피할 수 있다.
• 분석 결과, 이산 관측 가능성 상수가 조건 $h \sim \Delta t^{1/2}$ 하에서 유계로 유지됨을 밝혀내었으며, 이는 이산 설정에서 제어 성질을 유지하는 데 핵심적이다.