[논문 리뷰] Regularity of Solutions of the Parabolic Normalized p-Laplace Equation

Fredrik Arbo Høeg, Peter Lindqvist|arXiv (Cornell University)|2018. 02. 13.

Nonlinear Partial Differential Equations참고 문헌 3인용 수 3

한 줄 요약

이 논문은 포물선 정규화된 p-Laplace 방정식의 점성해에 대해 시간 도함수의 소볼레프 의미에서의 존재성을 확립하며, $ 1 < p < 2 $ 에서 $ u_t ∈ L^2_{\text{loc}}(\Omega_T) $ 임을 증명한다. 또한 $ \frac{6}{5} < p < \frac{14}{5} $ 에서는 제2계 공간 도함수 $ u_{x_i x_j} \in L^2_{\text{loc}} $ 이기도 하다. 증명은 정규화, 부분적 적분을 통한 에너지 추정, 그리고 경계 행동에 대한 가정을 피하는 경계의 기울기에 대한 최대원리에 기반한다.

ABSTRACT

The parabolic normalized p-Laplace equation is studied. We prove that a viscosity solution has a time derivative in the sense of Sobolev belonging locally to $L^2$.

연구 동기 및 목표

• 포물선 정규화된 p-Laplace 방정식의 점성해에 대해 시간 도함수 $ u_t $ 가 소볼레프 의미에서 존재하고, $ L^2_{\text{loc}}(\Omega_T) $ 에 속함을 확립하는 것.
• 제한된 $ p $ 범위에서 제2계 공간 도함수 $ u_{x_i x_j} $ 에 대한 이러한 정규성의 확장.
• 측면 경계 값의 미분 가능성 또는 유계성에 대한 가정 없이 내부 정규성을 중점으로 하는 것.
• 시간 정규성에 대해 경계 제어에 의존하지 않는, 정규화와 에너지 추정에 기반한 방법 개발.

제안 방법

• 작은 매개변수 $ \epsilon > 0 $ 를 도입하여 방정식을 정규화하고, $ |\nabla u|^2 $ 를 $ |\nabla u|^2 + \epsilon^2 $ 로 대체함으로써 균일한 포물선성을 확보한다.
• 정규화된 방정식에 고전적인 포물선 정규성 이론을 적용하여 미세한 해 $ u^\epsilon $ 를 확보한다.
• 정규화된 방정식에 $ \xi^2 u_t^\epsilon (V^\epsilon)^{(p-2)/2} $ 를 곱하고, 부분적 적분을 통해 에너지 추정을 유도하며, 항등식 $ \frac{1}{p}\frac{\partial}{\partial t}(V^\epsilon)^{p/2} = (V^\epsilon)^{(p-2)/2} \langle \nabla u^\epsilon, \nabla u_t^\epsilon \rangle $ 를 활용한다.
• 요운의 부등식과 발산 구조를 이용하여 저차항을 흠집 없이 흡수하고, $ u_t^\epsilon $ 에 대한 $ L^2 $ 추정을 유도한다.
• 균일한 유계성과 컴팩턴스를 이용하여 $ \epsilon \to 0 $ 에서의 극한을 취하며, $ u^\epsilon \to u $ 가 국소적으로 균일하게 수렴한다는 사실에 기반한다.
• 기울기 $ |\nabla u^\epsilon| $ 에 대한 최대원리를 확립하여 $ \epsilon $ 에 대해 균일한 기울기 제어를 확보하고, 이는 에너지 추정에 필수적이다.

실험 결과

연구 질문

• RQ1 포물선 정규화된 p-Laplace 방정식의 점성해에 대해 시간 도함수 $ u_t $ 가 소볼레프 의미에서 존재하고 $ L^2_{\text{loc}} $ 에 속하는가?
• RQ2 $ p \in (1, \infty) $ 에서 어떤 범위에서 $ u_t $ 와 제2계 공간 도함수 $ u_{x_i x_j} $ 가 모두 $ L^2_{\text{loc}} $ 에 속하는가?
• RQ3 이러한 정규성은 미분 가능성 또는 유계성의 측면 경계 데이터를 가정하지 않고도 확립될 수 있는가?
• RQ4 이 정규성 결과는 특히 범위 $ \frac{6}{5} < p < \frac{14}{5} $ 에서의 방법의 한계에 의존하는가?
• RQ5 $ u_t $ 의 $ L^2 $-정규성은 전체 범위 $ 1 < p < \infty $ 에까지 확장될 수 있는가?

주요 결과

• $ 1 < p < 2 $ 에서 시간 도함수 $ u_t $ 가 소볼레프 의미에서 존재하고 $ L^2_{\text{loc}}(\Omega_T) $ 에 속함을 보였다. 이는 경계 조건 없이도 성립한다.
• $ \frac{6}{5} < p < \frac{14}{5} $ 에서 시간 도함수 $ u_t $ 와 제2계 공간 도함수 $ u_{x_i x_j} $ 가 모두 소볼레프 의미에서 존재하고 $ L^2_{\text{loc}}(\Omega_T) $ 에 속함을 보였다.
• $ u_t $ 의 $ L^2 $-정규성은 $ \frac{1}{p}\frac{d}{dt}(V^\epsilon)^{p/2} $ 를 포함하는 시간 도함수 항등식을 사용한 정규화된 방정식에서의 에너지 추정을 통해 확립되었다.
• 이 방법은 $ |\nabla u^\epsilon| $ 에 대한 최대원리에 기반하며, 이는 기울기의 균일한 제어를 보장하고 에너지 추정을 가능하게 한다.
• 유계성은 측면 경계 데이터에 의존하지 않으며, 이는 정규성이 방정식의 내부에서 본질적인 성질임을 시사한다.
• $ \frac{6}{5} $ 와 $ \frac{14}{5} $ 의 극한은 방법의 산물이며, 저자들은 결과가 모든 $ p \in (1, \infty) $ 에서도 성립할 수 있음을 추측하지만, 현재의 방법으로는 그 범위에 도달할 수 없다.