[논문 리뷰] Regularity of weak supersolutions to elliptic and parabolic equations: lower semicontinuity and pointwise behavior

Naian Liao|arXiv (Cornell University)|2020. 11. 08.

Nonlinear Partial Differential Equations참고 문헌 24인용 수 4

한 줄 요약

이 논문은 디지오페르기 유사 보조정리에 기반한 측도 이론적 접근을 도입하여, 발산형 꼴의 일반적인 타원형 및 포아송형 미분방정식에 대한 약한 상위해의 하부 연속성에 대해 정립한다. 약한 상위해는 영집합에서 재정의함으로써 하부연속적인 대표해를 갖게 되며, 포아송형 문제의 경우, 확장된 긍정성에 의해 과거 시간의 본질적 하한극한 또는 적분 평균값을 통해 특정 시점에서의 점별 값을 복원할 수 있다.

ABSTRACT

We demonstrate a measure theoretical approach to the local regularity of weak supersolutions to elliptic and parabolic equations in divergence form. In the first part, we show that weak supersolutions become lower semicontinuous after redefinition on a set of measure zero. The proof relies on a general principle, i.e. the De Giorgi type lemma, which offers a unified approach for a wide class of elliptic and parabolic equations, including an anisotropic elliptic equation, the parabolic $p$-Laplace equation, and the porous medium equation. In the second part, we shall show that for parabolic problems the lower semicontinuous representative at an instant can be recovered pointwise from the "essliminf" of past times. We also show that it can be recovered by the limit of certain integral average of past times. The proof hinges on the expansion of positivity for weak supersolutions. Our results are structural properties of partial differential equations, independent of any kind of comparison principle.

연구 동기 및 목표

• 비선형성과 특이성을 가진 포아송형 방정식에 대한 약한 상위해에 대해 하부연속적인 대표해의 존재를 확립하기 위해.
• 주어진 시간에서 포아송형 상위해의 점별 값을 과거 행동을 통해 본질적 하한극한 또는 적분 평균값으로 복원할 수 있음을 보여주기 위해.
• 비교 원리에 의존하지 않는 상위해의 정칙성에 대한 통합적 프레임워크를 제공하기 위해.
• p-라플라스 방정식 및 다공성 매체 방정식과 같은 방정식에 대한 구조적 정칙성 결과를 확장하여 부호가 변화하는 해를 포함하여 적용하기 위해.

제안 방법

• 초수준 집합의 측도 조밀도를 제어하기 위해 디지오페르기 유사 보조정리를 사용함으로써, 상위해가 코니쿠스를 형성할 수 없고, 구의 경계 근처에서 최소값을 도달해야 한다는 것을 보장한다.
• 만약 어떤 상위해가 공집합이 아닌 수준 이상의 충분한 측도 조밀도를 가지면, 그 수준의 절반 이상을 더 작은 동심 구에서 반드시 초월해야 한다는 일반 원리를 이용한다.
• 포아송형 문제의 경우, 공간-시간 내 점 주변의 수축하는 실린더에서 해에 대한 정량적 하한을 도출하기 위해 긍정성의 확장을 사용한다.
• 약한 하르낙 부등식을 피하기 위해 L^r – L^∞ 추정과 상수의 덧셈에 대한 불변성과 같은 구조적 성질을 활용한다.
• 다공성 매체 방정식에 대해 변환을 적용하여 De Giorgi 프레임워크에 적합한 형태로 변환함으로써, 부호가 변화하는 해에 대해서도 분석이 가능하도록 한다.
• 모순 증명을 통해, 점별 최소값이 본질적 최소값보다 엄격히 작다고 가정하면, 긍정성의 확장에 의해 측도 조밀도 조건 위반이 발생함을 도출한다.

실험 결과

연구 질문

• RQ1 일반적인 타원형 및 포아송형 미분방정식의 약한 상위해는 영집합에서 재정의함으로써 하부연속적인 대표해를 갖는가?
• RQ2 포아송형 상위해의 점별 값은 과거 행동으로부터 어떻게 복원할 수 있는가?
• RQ3 약한 상위해의 하부연속적 대표해는 비교 원리에 의존하지 않는 구조적 성질인가?
• RQ4 이 방법은 상수의 덧셈이 해를 보존하지 않는 방정식, 예를 들어 다공성 매체 방정식에까지 확장 가능한가?
• RQ5 긍정성의 확장은 공간-시간 내 특정 점 근처에서 상위해의 진동에 대해 정량적 제어를 가능하게 하는가?

주요 결과

• p-라플라스 방정식 및 다공성 매체 방정식을 포함한 광범위한 타원형 및 포아송형 방정식의 약한 상위해는 측도가 0인 집합에서 재정의함으로써 하부연속적인 대표해를 갖는다.
• 해의 과거 시간에 대한 본질적 하한극한으로 점별 값이 하부연속적 대표해로 복원될 수 있다.
• 동일한 조건 하에서 적분 평균값의 극한으로도 하부연속적 대표해를 복원할 수 있다.
• 이 증명은 초수준 집합의 코니쿠스를 방지함으로써 측도적으로 급격히 감소하는 것을 방지하는 디지오페르기 유사 보조정리에 기반한다.
• 다공성 매체 방정식의 경우, 상수의 덧셈 기반 기존 접근의 한계를 넘어 부호가 변화하는 해에 대해서도 이 방법이 성립한다.
• 모순 증명을 통해 본질적 최소값이 점별 최소값보다 엄격히 작다고 가정하면, 긍정성의 확장에 의해 측도 조밀도 조건 위반이 발생함을 보여, 원하는 하부연속성의 성립을 증명한다.