[논문 리뷰] Null controllability for a degenerate population model in divergence form via Carleman estimates

Genni Fragnelli|arXiv (Cornell University)|2018. 12. 29.

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

한 줄 요약

이 논문은 시공간 및 연령 변수를 포함한 분산형 퇰이어드 인구 모델에 대해, 공간 영역의 양 끝점에서 분산 계수의 특이성이 발생하는 경우를 고려하여 카를레만 추정을 사용하여 영 제어 가능성을 확립한다. 주요 기여는 최종 시간 $ T $가 최대 연령 $ A $ 보다 작을 경우에도, 즉 $ T < A $ 인 경우에도 최소한의 연령 출생률 $ \beta $의 정규성 조건 하에서 영 제어 가능성을 입증한 데 있다. 이는 이전 연구에서 요구했던 $ T \geq A $ 또는 더 강한 매끄러움 조건을 초월한 것이다.

ABSTRACT

In this paper we consider a degenerate population equation in divergence form depending on time, on age and on space and we prove a related null controllability result via Carleman estimates.

연구 동기 및 목표

• 시간, 연령, 공간 변수를 포함한 분산형 퇴화 인구 모델의 영 제어 가능성을 확립하기 위해.
• 이전 결과들이 $ T \geq A $ 를 요구하는 한계를 해결하기 위해, 이는 최대 연령 $ A $ 가 클 경우 비현실적인 조건이다.
• 공간 영역 $[0,1]$ 의 두 끝점에서 분산 계수 $ k(x) $ 가 퇴화되는 경우에도 이전의 영 제어 가능성 결과를 확장하기 위해.
• 이전 연구에서 요구했던 $ C^2 $ 매끄러움 조건 대신 연속성만 요구하는 출생률 $ \beta $ 의 정규성 조건을 완화하기 위해.
• 고정점 정리와 다중값 이론을 피하고 카를레만 추정 및 컷오프 함수를 사용하여 증명을 단순화하고 더 강건하게 만들기 위해.

제안 방법

• 공간 영역의 두 끝점에서 $ k(x) $ 가 퇴화되는 분산형 인구 방정식의 수반 문제에 대해 카를레만 추정을 유도한다.
• 전진 방정식의 제어 가능성과 수반 방정식의 관측 가능성 간의 이중성 원리를 적용한다.
• 제어 영역를 국소화하고 양단에서의 퇴화를 다루기 위해 컷오프 함수 기법을 사용한다.
• 가중 에너지 추정과 부분 적분을 사용하여 카를레만 부등식 내의 퇴화 항을 제어한다.
• 추정의 타당성을 보장하기 위해 $ k(x) $ 에 구조적 조건을 도입한다. 예를 들어 $ xk'(x) \leq M_1 k(x) $ 및 $ (x-1)k'(x) \leq M_2 k(x) $ 를 포함한다.
• 카를레만 추정에서 유도된 관측 불등식에 의존하여 영 제어 가능성을 도출한다.

실험 결과

연구 질문

• RQ1 최종 시간 $ T $ 가 최대 연령 $ A $ 보다 작을 경우, 분산형 퇴화 인구 모델의 영 제어 가능성이 확보될 수 있는가?
• RQ2 카를레만 추정을 통해 영 제어 가능성을 보장하기 위해 퇴화 분산 계수 $ k(x) $ 가 만족해야 할 조건은 무엇인가?
• RQ3 고정점 정리와 강한 정규성 조건을 피함으로써 증명을 어떻게 단순화하고 더 강건하게 만들 수 있는가?
• RQ4 공간 영역의 두 끝점에서 $ k(x) $ 가 퇴화되는 경우에도 영 제어 가능성 결과를 확장할 수 있는가?
• RQ5 양단에서의 퇴화를 다루기 위해 카를레만 추정 내의 가중 함수의 최적 구조는 무엇인가?

주요 결과

• 영 제어 가능성이 분산형 퇴화 인구 모델에 대해 $ T < A $ 인 경우에도 확립되었으며, 이는 이전 연구에서 요구하던 제한 조건을 제거한 것이다.
• 결과는 매우 약한 정규성 조건 하에서도 성립한다: $ \beta $ 는 이전 연구에서 요구했던 $ C^2 $ 매끄러움 조건이 아닌 연속성만 요구된다.
• 레일리-슐라우어 고정점 정리와 다중값 분석을 피하고, 오직 카를레만 추정과 컷오프 함수에 의존하는 증명이 이루어졌다.
• 새로운 가중 에너지 추정이 도출되었으며, $ \int_0^1 \frac{k(x)}{(1-x)^2} w^2(x) dx \leq C \int_0^1 k(x) |w'(x)|^2 dx $ 를 보여주며, 이는 $ \beta = \frac{\theta+1}{2} $ 인 경우 최적이다.
• 이 방법은 비분산형 형태의 경우로 일반화 가능하며, [13, 정리 4.8]을 개선된 정밀도로 확장한다.
• 관측 불등식은 카를레만 추정의 정교한 분석을 통해 입증되었으며, $ k(x)/(1-x)^\theta $ 의 단조성에 의해 퇴화 항을 정밀하게 제어하였다.