Existence and stability of solutions of the Dirichlet problem for the $p$-Poisson equation in metric measure spaces

기술 요약: 메트릭 측도 공간에서의 p-푸아송 방정식에 대한 디리클레 문제의 존재성 및 안정성

문제 정의
본 논문은 메트릭 측도 공간 $(X, d, \mu)$의 틀 안에서 $p$-푸아송 방정식에 대한 디리클레 문제를 조사한다. 방정식은 도메인 $\Omega \subset X$ 내에서 $-\Delta_p u = f$이며, 경계 조건은 $\partial \Omega$에서 $u = g$이다. 고전적인 유클리드 설정에서 $p$-라플라시안은 $\Delta_p u := \text{div}(|\nabla u|^{p-2}\nabla u)$로 정의된다. 저자들은 이 문제를 더블링 측도(doubling measure)를 가지고 $(p, p)$-푸앵카레 부등식(Poincaré inequality)을 만족하는 비매끄러운 메트릭 측도 공간으로 확장하는 것을 목표로 한다.

이 설정에서의 주요 과제는 표준적인 미분 구조(즉, 벡터 값의 그래디언트 $\nabla u$)의 부재이다. 그래디언트의 크기는 상부 그래디언트(upper gradient)를 통해 일반화될 수 있지만, 표준적인 약형(weak formulation)에 필요한 벡터적 성질은 더 까다롭다. 본 논문은 체커(Cheeger)의 미분 구조를 활용하여 이 문제를 해결하는데, 이는 측지 공간(geodesic spaces)에서 선형 그래디언트 연산자를 허용하며, 대안적으로, 측지 구조를 요구하지 않는 최소 $p$-약 상부 그래디언트(minimal $p$-weak upper gradient)를 이용한 에너지 최소화 방식으로 해를 정의한다.

방법론
저자들은 단순히 벡터 그래디언트를 포함하는 약형에만 의존하기보다 특정 에너지 범함수의 최소화 데이타로서 해를 정의하는 변분적 접근 방식을 채택한다.

1. 프레임워크 및 정의:

   • 공간은 더블링 측도와 $(p, p)$-푸앵카레 부등식을 갖는 완비 메트릭 측도 공간으로 가정된다.
   • 해는 뉴턴 공간(Newtonian space) $N^{1,p}(\Omega)$ 내에서 탐색되며, 경계 조건은 부분 공간 $N^{1,p}_0(\Omega)$를 통해 처리된다.
   • 두 가지 해의 정의가 제안된다:
     • 체커의 설정 (측지 공간): 체커의 그래디언트 $\nabla u$를 사용하여, 해는 $\int_\Omega |\nabla u|_x^{p-2} \langle \nabla u, \nabla \phi \rangle_x d\mu = \int_\Omega f \phi d\mu$를 만족한다.
     • 일반적 설정 (최소화 데이타): 해는 범함수 $J(u) = \int_\Omega g_u^p d\mu - p \int_\Omega f u d\mu$를 최소화하는 함수 $u \in N^{1,p}(\Omega)$로 정의된다. 여기서 $g_u$는 최소 $p$-약 상부 그래디언트이다. 이 정의는 공간이 측지 공간일 때 체커의 약형과 동등함이 입증된다.

2. 존재성 증명:

   • 최소화 데이타의 존재는 변분법의 직접법(direct method)을 사용하여 확립된다.
   • 범함수 $J$는 횔더 부등식(Hölder's inequality)과 푸앵카레 유형의 부등식(보조정리 2.8)을 사용하여 하한이 있음이 보여진다.
   • 최소화 수열이 $N^{1,p}$ 노름(norm)에서 유계임이 나타난다. $L^p$ 공간의 반사성(reflexivity)과 마주르의 정리(Mazur's lemma)에 의해, 볼록 결합(convex combinations)의 수열은 극한 $u_0$로 수렴한다.
   • 노름의 하반연속성(lower semicontinuity)과 선형 항의 수렴성은 $u_0$가 최솟값을 달성함을 보장하며, 이를 통해 공간이 측지 공간일 필요 없이 존재성을 증명한다.

3. 안정성 및 유일성:

   • 안정성은 특히 체커의 설정(공간이 측지 공간임을 요구)에서 분석된다.
   • 저자들은 소스 항 $f$와 경계 데이터 $g$의 섭동(perturbation)에 대한 안정성을 증명한다.
   • 이 증명의 핵심은 해의 $p$-에너기에 대한 균등한 상한을 설정하는 보조정리 5.1이다.
   • 안정성 추정치는 $p$의 값에 따라 달라진다:
     • $p \ge 2$인 경우, $p$-라플라시안 연산자의 단조성(monotonicity) 성질을 사용하여 안정성을 도출한다.
     • $1 < p < 2$인 경우, 그래디언트의 합과 지수 $2/p$ 및 $2/(2-p)$를 갖는 횔더 부등식을 활용한 특정 부등식을 사용한다.
   • 유일성은 안정성 결과의 직접적인 따름정리로 도출된다.

주요 기여 및 결과

• 존재성: 본 논문은 (최소화 데이타로서) 에너지 범함수 $J$를 정의함으로써 일반적인 메트릭 측도 공간(더블링 + 푸앵카레)에서 $p$-푸아송 방정식의 디리클레 문제에 대한 해의 존재성을 증명한다. 이 접근 방식은 존재성 증명을 위해 체커의 미분 구조를 필요로 하지 않는다.
• 동등성: 측지 공간에서는 변분적 정의(최소화 데이타)가 체커의 그래디언트를 사용하는 약형과 동등함이 입증된다.
• 안정성 추정치: 저자들은 소스 항 $f$와 경계 데이터 $g$의 변화에 따른 $N^{1,p}$ 노름에서의 해에 대한 명시적인 안정성 추정치를 제공한다. 이러한 추정치는 상수 $p$와 공간의 기하학적 구조(상수 $c_1$ 및 $N$을 통해)에 의존한다.
• 유일성: 본 논문은 안정성 분석의 결과로서 체커의 설정에서 해의 유일성을 확립한다.

의의 및 주장
본 논문은 $p$-푸아송 방정식의 이론을 유클리드 및 RCD 공간에서 더 넓은 범위인 더블링 측도와 푸앵카레 부등식을 갖는 메트릭 측도 공간으로 확장한다고 주장한다. 체커의 미분 구조를 활용함으로써, 저자들은 측지 공간에서만 보장되는 체커의 구조에 의존하지 않고도 존재성을 위한 견고한 이론을 제공한다.

그 의의는 $p$-조화 함수(p-harmonic functions)의 추상적 포텐셜 이론과 소스 항이 있는 특정 $p$-푸아송 방정식 사이의 간극을 메움으로써, 비매끄러운 설정에서의 디리클레 문제를 엄밀하게 다루는 데 있다. 저자들은 자신들의 연구가 소스 항이 $f \in L^{p'}(\Omega)$인 특정 사례에 집중하고 있음을 명시하며, 이는 다른 문헌에서 다루는 더 일반적인 측도 값 소스 항(measure-valued source terms)과 구별된다. 안정성 결과는 해가 데이터에 의존하는 정도에 대한 정량적 제어를 제공하며, 이는 수치 해석 및 추가적인 비매끄러운 해석의 발전에 필수적인 속성이다.