[논문 리뷰] Solving a Dirichlet problem for unbounded domains via a conformal transformation

Ryan Gibara, Riikka Korte외 1명|arXiv (Cornell University)|2022. 09. 20.

Advanced Mathematical Modeling in Engineering인용 수 5

한 줄 요약

이 논문은 경계가 유계인 비유계 균일 도메인에 대해 $p$-디리클레 문제를 해결한다. conformal 변환을 적용하여 도메인을 유계 균일 공간으로 매핑하면서, 이중성 조건과 피카르 부등식 성질을 유지한다. 이 변환은 거리에 의존하는 가중치 함수 $\varphi$를 기반으로 하며, 변환된 메트릭과 측도가 이중성 조건을 만족하고 $p$-피카르 부등식을 지녀, 기존의 유계 도메인에 대한 결과를 비유계 도메인으로 이 trasfer할 수 있도록 한다. 이를 통해 베소프 경계 데이터에 대해 해의 존재성과 유일성을 확립한다.

ABSTRACT

In this paper, we solve the $p$-Dirichlet problem for Besov boundary data on unbounded uniform domains with bounded boundaries when the domain is equipped with a doubling measure satisfying a Poincaré inequality. This is accomplished by studying a class of transformations that have been recently shown to render the domain bounded while maintaining uniformity. These transformations conformally deform the metric and measure in a way that depends on the distance to the boundary of the domain and, for the measure, a parameter $p$. We show that the transformed measure is doubling and the transformed domain supports a Poincaré inequality. This allows us to transfer known results for bounded uniform domains to unbounded ones, including trace results and Adams-type inequalities, culminating in a solution to the Dirichlet problem for boundary data in a Besov class.

연구 동기 및 목표

• 유계 도메인에서의 $p$-디리클레 문제에 대한 존재성과 유일성 결과를 경계가 유계인 비유계 균일 도메인으로 확장한다.
• 비유계 균일 도메인을 유계 도메인으로 매핑하면서 핵심 기하학적 및 분석적 성질을 유지하는 conformal 변환을 개발한다.
• 변환된 메트릭과 측도가 이중성 조건과 $p$-피카르 부등식을 유지하도록 보장하여, 기존의 유계 도메인 결과의 적용을 가능하게 한다.
• 변환된 공간에서 경계 추적과 잠재력 이론 결과를 확립하여, 도메인 내 함수와 그 경계 추적을 베소프 공간에 연결한다.
• 이 변환 프레임워크를 통해 비유계 도메인에서 베소프 경계 데이터를 가진 $p$-디리클레 문제의 해법 가능성과 유일성을 입증한다.

제안 방법

• 거리 함수 $d_{\Omega}$에 대한 감소 함수인 $\varphi$를 사용하여 새로운 메트릭 $d_{\varphi}(x,y) = \inf_{\gamma} \int_{\gamma} \varphi \circ d_{\Omega} \, ds$를 정의함으로써 원래 메트릭을 conformally 변형한다.
• Radon-Nikodym 도함수 $\varphi(d_{\Omega}(x))^{p}$를 갖는 새로운 측도 $\mu_{\varphi}$를 구성하여 $p$-디리클레 에너지와의 호환성을 확보한다.
• 변환된 공간 $(\Omega_{\varphi}, d_{\varphi}, \mu_{\varphi})$가 이중성 조건을 만족하고 $p$-피카르 부등식을 지닌다는 것을 입증하며, 이는 경계 근처에서 국소적 비-리프시츠 등가성에 기반한다.
• $\Omega_{\varphi} \setminus \{\infty\}$가 여전히 균일 도메인임을 보이며, 이는 이전 연구에서의 변환 결과를 연장한다.
• 이 변환에 의해 유도되는 등장사상에 의해, 기존의 경계 연산자와 애담스 유형 부등식의 결과를 유계 도메인에서 비유계 도메인으로 이 trasfer한다.
• 변환된 공간에서 잠재력 이론을 적용하여 디리클레 문제를 해결하며, $\Omega$의 해와 베소프 공간의 경계 데이터를 연결한다.

실험 결과

연구 질문

• RQ1 경계가 유계인 비유계 균일 도메인에서 $p$-디리클레 문제를, 핵심 기하학적 및 분석적 성질을 유지하는 conformal 변환을 통해 해결할 수 있는가?
• RQ2 거리에 의존하는 가중치 함수 $\varphi$를 기반으로 하는 conformal 변환이 변환된 도메인에서 이중성 측도와 $p$-피카르 부등식을 유도하는가?
• RQ3 유계 도메인에서의 경계 정리와 애담스 유형 부등식은 어느 정도까지 이 변환을 통해 비유계 도메인으로 확장될 수 있는가?
• RQ4 경계가 베소프 공간에 속하는 비유계 도메인에서 $p$-디리클레 문제의 해가 유일해지는 조건은 무엇인가?
• RQ5 이 변환은 도메인의 쌍곡성/포물선 성질에 어떤 영향을 미치며, 이는 해법 가능성과 유일성에 어떤 함의를 갖는가?

주요 결과

• 변환된 메트릭 측도 공간 $(\Omega_{\varphi}, d_{\varphi}, \mu_{\varphi})$는 이중성 조건을 만족하고 $p$-피카르 부등식을 지닌다. 이는 정리 4.11과 6.3에서 입증되었다.
• $\Omega_{\varphi} \setminus \{\infty\}$는 여전히 균일 도메인임을 확인하여, 변환이 균일성을 유지함을 입증했다.
• $p > Q_{\mu}^{+}$일 때, 여기서 $Q_{\mu}^{+}$는 상부 동차 차원이며, 디리클레 문제의 해가 존재하고 유일하다. 이는 $p > 1$인 예제 10.1에서 보였다.
• 예제 10.2에서 도메인은 $1 \leq p < 2$일 때 $p$-쌍곡적이며 $p \geq 2$일 때 $p$-포물선적이다. 해의 유일성은 $p \geq 2$일 때만 성립한다.
• 경계에 $\theta$-차원 하우스도르프 측도가 존재하고 $\theta > 1$일 때, 디리클레 문제의 해는 $p > \theta$일 때 존재하며, $p \geq 2$일 때만 유일하다. 캐논터 집합 예제에서는 $\theta = 2 - \frac{\log 2}{\log 3} > 1$이다.
• 이 변환은 디리클레 문제의 해가 경계 및 특정 반직선이나 집합에서 동차 노이만 조건을 만족함을 보장한다. 반직선과 캐논터 집합을 포함한 예제에서 이를 입증하였다.