[논문 리뷰] Continuity of derivatives of a convex solution to a perturbed one-Laplace equation by $p$-Laplacian

Yoshikazu Giga, Shuntaro Tsubouchi|arXiv (Cornell University)|2021. 08. 23.

Advanced Mathematical Modeling in Engineering참고 문헌 34인용 수 7

한 줄 요약

이 논문은 p-Laplacian 정규화를 통한 변형된 one-Laplace 방정식의 볼록 약한 해의 C¹-정규성을 확립한다. 볼록성과 팽창(블로업) 방법을 활용하여, ∇u = 0인 패치(_facet_)까지 기울기가 연속임을 증명함으로써 one-Laplace 연산자의 비가역성(degeneracy)를 극복한다. 핵심 결과는 기울기가 0이 되는 점이 있더라도 볼록 해가 도메인 전체에서 C¹임을 보여준다.

ABSTRACT

We consider a one-Laplace equation perturbed by $p$-Laplacian with $1<p<\infty$. We prove that a weak solution is continuously differentiable ($C^{1}$) if it is convex. Note that similar result fails to hold for the unperturbed one-Laplace equation. The main difficulty is to show $C^{1}$-regularity of the solution at the boundary of a facet where the gradient of the solution vanishes. For this purpose we blow-up the solution and prove that its limit is a constant function by establishing a Liouville-type result, which is proved by showing a strong maximum principle. Our argument is rather elementary since we assume that the solution is convex. A few generalization is also discussed.

연구 동기 및 목표

• p-Laplacian 편향이 가미된 one-Laplace 방정식의 약한 해에 대한 C¹-정규성 문제를 해결하는 것.
• ∇u = 0인 패치의 경계에서조차도 볼록 해가 연속적으로 미분 가능함을 입증하는 것.
• 원래의 one-Laplace 연산자가 C¹-정규성을 보장하지 못하는 비가역성 문제를 극복하는 것.
• De Giorgi–Nash–Moser 이론에 의존하지 않는, 볼록 분석과 블로업 기법에 기반한 간단한 증명 기법을 개발하는 것.
• f ∈ L^q_loc(Ω) 이며 q > n 인 조건에서 최소한의 가정으로도 C¹-정규성이 유지됨을 일반화하는 것.

제안 방법

• 해의 볼록성을 이용하여 C¹-정규성 문제를 각 점 x에서의 부분미분 ∂u(x)가 싱글턴임을 보이는 것으로 환원한다.
• ∇u = 0인 패치 F 내의 점에서 블로업 기법을 적용하여 스케일링된 해의 극한을 분석한다.
• 극한 방정식에 대해 강한 최대원리(Strong maximum principle)를 증명함으로써, 극한 프로파일이 반드시 상수이어야 한다는 리우빌 유형의 결과를 도출한다.
• p-Laplacian 편향을 통해 기울기 공간에서 원점 외부에서는 균일 타원성(uniform ellipticity)을 확보함으로써, 비패치 영역에서 국소적인 W^{2,2}-정규성을 가능하게 한다.
• 볼록 함수의 균일 리프시츠 연속성과 부분미분의 수렴 정리들을 활용하여, 블로업 수열에서의 극한을 취하는 데에 사용한다.
• 에너지 함수럴 E(z) = bE₁(z) + Eₚ(z)의 기울기의 엄격한 단조성(strict monotonicity)을 활용하여, 블로업 분석에서 핵심 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 ∇u = 0인 점에서조차도, p-Laplacian 편향이 가미된 one-Laplace 방정식의 약한 해에 대해 C¹-정규성을 확보할 수 있는가?
• RQ2 패치 근처에서 비가역 타원성(degenerate ellipticity)이 존재하는 상황에서 해의 볼록성이 C¹-정규성을 복원하는 데에 충분한가?
• RQ3 패치 근처에서 해의 블로업 극한에 대해 리우빌 유형의 결과를 증명할 수 있는가? 즉, 그 극한이 상수임을 보일 수 있는가?
• RQ4 균일 타원성이 상실되는 상황에서도 p-Laplacian 편향이 one-Laplace 연산자를 패치에서 정규화하는 데에 충분한가?
• RQ5 비균일 타원성 설정에서 강한 최대원리를 적용하여, 비상수의 조화함수 유형의 극한을 배제할 수 있는가?

주요 결과

• f ∈ L^q_loc(Ω) 이며 q > n 인 조건에서, 변형된 one-Laplace 방정식의 볼록 약한 해 u는 ∇u = 0인 점이 있더라도 Ω 전체에서 C¹(Ω)이다.
• 패치 F의 임의의 점에서 해의 블로업 극한은 상수 함수이며, 이는 리우빌 유형의 결과로 증명된다.
• 블로업 극한에 대해 강한 최대원리를 적용하여, 유계이고 비음수이며 약한 초조화함수인 함수는 상수뿐임을 보였다.
• p-Laplacian 편향 덕분에 ∇u = 0가 아닌 영역에서 Hessian ∇²_z E(∇u)의 타원성 비율이 균일하게 유계임을 확보하여 국소적 W^{2,2}-정규성을 가능하게 한다.
• 모든 x ∈ Ω 에 대해 부분미분 ∂u(x)는 싱글턴이며, 이는 u가 x에서 C¹임과 동치이며, 볼록 분석과 블로업 기법을 통해 증명된다.
• 최소한의 조건에서 결과가 성립한다: f ∈ L^q_loc(Ω) 이며 q > n 이며, 해는 볼록이지만 f의 미분 가능성이나 경계의 정규성 조건은 필요로 하지 않는다.