[논문 리뷰] The porous medium equation with large initial data on negatively curved Riemannian manifolds

Gabriele Grillo, Matteo Muratori외 1명|arXiv (Cornell University)|2016. 09. 21.

Geometric Analysis and Curvature Flows참고 문헌 44인용 수 42

한 줄 요약

이 논문은 비선형성과 비정상성의 영향을 받는 다중 매질 방정식의 매우 약한 해에 대해, 비정상성과 리치 곡률이 아래로 유계인 카르탕-하다마르 다성분에서 존재성, 유일성 및 날카로운 존재 시간 추정을 확립한다. 초기 데이터가 $ (1 + \rho(x))^{\sigma/(m-1)} $ 형태로 증가할 경우, 그 증가율에 따라 최대 존재 시간이 결정되며, 더 빠른 증가율은 해의 존재를 불가능하게 한다. 결과는 최적이며, 모형 다성분에서 임계 증가율 데이터에 대해 점별 폭발이 발생함을 보여 최적성 확인된다.

ABSTRACT

We show existence and uniqueness of very weak solutions of the Cauchy problem for the porous medium equation on Cartan-Hadamard manifolds satisfying suitable lower bounds on Ricci curvature, with initial data that can grow at infinity at a prescribed rate, that depends crucially on the curvature bounds. The curvature conditions we require are sharp for uniqueness in the sense that if they are not satisfied then, in general, there can be infinitely many solutions of the Cauchy problem even for bounded data. Furthermore, under matching upper bounds on sectional curvatures, we give a precise estimate for the maximal existence time, and we show that in general solutions do not exist if the initial data grow at infinity too fast. This proves in particular that the growth rate of the data we consider is optimal for existence. Pointwise blow-up is also shown for a particular class of manifolds and of initial data.

연구 동기 및 목표

• 무한대에서 성장하는 큰 초기 데이터를 가진 카르탕-하다마르 다성분에서 다중 매질 방정식의 매우 약한 해의 존재성과 유일성을 확립하기 위해.
• 해의 존재성에 대해 허용 가능한 초기 데이터의 날카로운 성장률을 곡률 하한 조건에 따라 결정하기 위해.
• 유도된 성장 조건이 최적임을 보이기 위해 더 빠른 성장률을 가진 데이터에 대해 해의 존재하지 않음을 증명하기 위해.
• 모형 다성분에서 임계 성장률을 가진 초기 데이터에 대해 점별 폭발이 발생함을 보여 결과의 날카로움을 확인하기 위해.

제안 방법

• 반대로 시간에 대한 포물선 문제에 대해 초해석을 구성함으로써, 곡률 감쇠에 맞게 조정된 반경 방향 변환을 통해 가중 유계 공간 방정식으로 변환된 장벽 방법의 사용.
• 유일성에 대한 이중성 방법의 적용으로, 가중 유계 공간 설정에서 임계 감쇠 $|x|^{-2}$ 를 갖는 정교하게 구성된 초해석에 의존.
• 지오데식 구의 체적 성장과 리치 곡률 하한을 포함한 초해석 프로파일에 대한 반경 방향 상미분방정식 모델을 통한 사전 추정 유도.
• 초해석 프로파일에 대한 반복적 반복 추정을 사용하여 해의 무한대에서의 성장에 대한 날카로운 하한 및 상한 유도.
• 시간 스케일링과 변수 분리 방법을 통해 포물선 문제를 모형 다성분에서 타원 문제로 환원.
• 임계 $|x|^{-2}$ 가중치를 가진 가중 열 방정식의 알려진 渐近 해석을 활용하여 초해석의 구성에 안내함.

실험 결과

연구 질문

• RQ1 카르탕-하다마르 다성분에서 다중 매질 방정식의 국소 시간 해를 가질 수 있는 초기 데이터의 무한대에서의 최대 성장률은 무엇인가?
• RQ2 리치 곡률 하한 조건이 해 존재성에 대해 허용 가능한 초기 데이터 성장률에 어떻게 영향을 미치는가?
• RQ3 유도된 성장 조건은 최적인가, 아니면 동일한 곡률 조건 하에서 개선 가능할까?
• RQ4 임계 성장률을 가진 초기 데이터에 대해 점별 폭발이 발생하는가? 이는 조건의 최적성을 나타내는가?
• RQ5 초기 데이터와 동일한 성장 bound를 만족하는 해의 클래스에서 유일성이 확립될 수 있는가?

주요 결과

• 초기 데이터가 $ |u_0(x)| \leq C (1 + \rho(x))^{\sigma/(m-1)} $ 를 만족할 경우, $ \sigma = (2 - \gamma)/2 \land 2 $, $ \rho(x) = d(x,o) $ 이며 리치 곡률이 아래로 $ -C_0(1 + \rho(x)^\gamma) $ 로 유계일 때 해가 존재한다.
• 임계 성장률 $ \rho(x)^{\sigma/(m-1)} $ 으로 증가하는 초기 데이터를 가진 해의 최대 존재 시간은 존재 정리에서 구한 시간 $ T $ 의 상수 배 이하이며, 더 빠른 성장률을 가진 데이터에 대해서는 양의 분포 해가 존재하지 않는다.
• 모형 다성분에서 특정 클래스의 임계 성장률 초기 데이터에 대해 점별 폭발이 발생함을 보여 성장 조건의 날카로움을 입증한다.
• 해의 크기가 $ |u(x,t)| \leq C (1 + \rho(x))^{\sigma/(m-1)} $ 를 만족하는 해의 클래스에서 유일성이 성립하며, 이는 리치 곡률 하한 조건을 통해 $ \sigma $ 에 의해 결정된다.
• 곡률에 의존하는 매개변수 $ \sigma $ 는 허용 가능한 성장률과 최대 존재 시간을 모두 결정하며, 이는 조건을 위반할 경우 해의 존재가 불가능해짐으로써 최적임을 의미한다.
• 결과는 최적이다: 주어진 곡률 조건 하에서 초기 데이터의 성장률을 더 개선할 수 없으며, 임계 데이터에서의 폭발과 초임계 데이터에서의 존재 불가로 확인된다.