[논문 리뷰] An extensive study of the regularity properties of solutions to doubly singular equations

Vincenzo Vesprı, Matias Vestberg|arXiv (Cornell University)|2020. 01. 13.

Nonlinear Partial Differential Equations참고 문헌 12인용 수 5

한 줄 요약

이 논문은 $p \in (1,2)$, $m > 1$, $2 < m+p < 3$ 인 형태의 이중으로 특이한 포물형 방정식 $\partial_t u - \nabla \cdot (u^{m-1}|\nabla u|^{p-2}\nabla u) = 0$의 약한 해의 정칙성에 대해 엄밀하고 간결하며 자가 포함된 이론을 제공한다. 이는 이전 연구에서의 잘못된 근사와 비타당하지 않은 시험 함수를 수정하며, 매개수 $m$과 $p$에 대해 날카로운 조건을 도출한다. 주요 기여는 최적의 가정 하에 완전하고 우아하며 올바른 정칙성 이론을 수립하는 것이다.

ABSTRACT

In recent years, many papers have been devoted to the regularity of doubly nonlinear singular evolution equations. Many of the proofs are unnecessarily complicated, rely on superfluous assumptions or follow an inappropriate approximation procedure. This makes the theory unclear and quite chaotic to a nonspecialist. The aim of this paper is to fix all the misprints, to follow correct procedures, to exhibit, possibly, the shortest and most elegant proofs and to give a complete and self-contained overview of the theory.

연구 동기 및 목표

• 이중 비선형 특이 포물형 방정식에 대한 문헌에서 널리 퍼져 있는 오류를 수정하기 위해, 잘못된 근사와 비타당하지 않은 시험 함수를 포함한다.
• 불필요한 가정을 제거하고 과도하게 복잡한 추론을 피하면서도 정칙성 결과에 대한 통합적이고 간결하며 엄밀한 증명 프레임워크를 제공한다.
• 특히 초임계 범위 $m+p > 3 - \frac{p}{n}$ 에서 국소 유계성과 하올더 연속성에 대한 날카로운 조건을 확립한다.
• $\nabla u$ 가 일반적으로 존재하지 않는 특이한 설정에서 $u$가 약한 기울기를 갖는다고 가정하지 않고도 $L^1$-하르낙 부등식과 긍정성 확장성을 증명한다.
• 전문가가 아닌 사람들도 접근할 수 있도록 이중 특이 방정식에 대한 정칙성 이론의 완전하고 자가 포함된 개요를 제공한다.

제안 방법

• 변수 치환 $\beta = 1 + \frac{m-1}{p-1}$ 을 통해 방정식을 재구성하여 표준 약한 해 이론에 적합한 형태로 변환한다.
• 약한 해의 정의에서 $u^\beta \in L^p(0,T;W^{1,p}(\Omega))$ 및 $u \in L^{\beta+1}(\Omega_T)$ 를 요구함으로써 타당한 시험 함수를 위한 적분 가능성을 확보한다.
• 에너지 추정과 반복적인 커버링 기법을 사용하여 조건 $m+p > 3 - \frac{p}{n-(\frac{n-p}{p})}$ 하에서 국소 유계성을 도출한다.
• 변형된 크기의 실린더에서의 스케일링과 진동 추정을 통한 긍정성 확장 및 하르낙 부등식 기법의 적용.
• $\nabla u$ 가 존재하지 않을 수 있는 경우에 적합한 수정된 [8] 및 [9]의 방법을 활용하여 $L^1$-하르낙 부등식을 증명한다.
• 진동 감쇠와 내재 스케일링을 통한 초임계 범위 $m+p > 3 - \frac{p}{n}$ 에서의 하올더 연속성 확립.

실험 결과

연구 질문

• RQ1 $\nabla u$ 가 존재하지 않을 수 있는 경우 이중 특이 포물형 방정식의 약한 해에 대한 정확한 정의는 무엇인가?
• RQ2 약한 해의 국소 유계성이 보장되는 $m$과 $p$에 대한 날카로운 조건은 무엇인가?
• RQ3 $\nabla u$ 가 약한 기울기를 갖는다고 가정하지 않고도 $L^1$-하르낙 부등식과 긍정성 확장을 증명할 수 있는가?
• RQ4 문헌에서 과도하게 복잡하거나 잘못된 증명을 피하기 위해 정칙성 이론을 어떻게 통합하고 단순화할 수 있는가?
• RQ5 해의 하올더 연속성의 최적 범위는 무엇이며, 이는 초임계 조건 $m+p > 3 - \frac{p}{n}$ 와 어떻게 관련되어 있는가?

주요 결과

• 국소 유계성이 날카로운 조건 $m+p > 3 - \frac{p}{n-(\frac{n-p}{p})}$ 하에서 확립되며, 이는 $m=1$ 일 때 $p > \frac{2n}{n+2}$ 로 줄어들며, $p$-라플라스 방정식의 기존 날카로운 결과와 일치한다.
• $L^1$-하르낙 부등식은 $p \in (1,2)$, $m > 1$, $2 < m+p < 3$ 의 전체 매개수 범위에서 $\nabla u$ 가 존재한다고 가정하지 않고도 성립한다.
• 초임계 범위 $m+p > 3 - \frac{p}{n}$ 에서 해의 하올더 연속성이 증명되며, 이 결과는 [6] 에서 $p$-라플라스 방정식에 대해 날카로운 것으로 나타났다.
• 이 논문은 $H = 4R^p u(\bar{0},0)^{3-m-p}$ 일 때 $\sup_{B_{R/4}(x_0) \times [-H/4,H/4]} u \leq c \cdot u(\bar{0},0)$ 를 증명하여 내재 하르낙 추정을 확인한다.
• 구의 최소값과 최대값이 데이터와 초기값에 따라 정해지는 파라볼릭 실린더에서 하르낙 유형 추정을 통해 제어된다: $\inf u \geq \bar{C}^{-1} \sup u$.
• 증명은 반지름 $r$ 과 시간 $\sim r^p$ 의 파라볼릭 실린더에서 $u(x,t) \geq \bar{c} \cdot v_0 \cdot r^{\bar{\lambda}}$ 를 확보하며, $\bar{c}, \bar{\lambda}$ 는 데이터에만 의존한다. 이는 긍정성 전파를 확인한다.