[논문 리뷰] p-th Kazdan-Warner equation on graph

Huabin Ge|arXiv (Cornell University)|2016. 11. 15.

Spectral Theory in Mathematical Physics참고 문헌 1인용 수 6

한 줄 요약

이 논문은 임의의 $p > 1$에 대해 유한 그래프 위에서 $p$-번째 Kazdan-Warner 방정식 $\Delta_p u = c - h e^u$의 해가 존재하는 조건을 확립한다. 이는 $p=2$인 경우 Grigor'yan, Lin, Yang의 결과를 일반화한 것이다. 변분 방법과 상하해 기법을 사용하여, $c$와 $h$에 대한 명시적인 조건, 특히 $h$의 부호와 평균 조건을 포함하여 상수를 제외한 존재성과 유일성을 증명한다.

ABSTRACT

Let $G=(V,E)$ be a connected finite graph and $C(V)$ be the set of functions defined on $V$. Let $Δ_p$ be the discrete $p$-Laplacian on $G$ with $p>1$ and $L=Δ_p-k$, where $k\in C(V)$ is positive everywhere. Consider the operator $L:C(V) ightarrow C(V)$. We prove that $-L$ is one to one, onto and preserves order. So it implies that there exists a unique solution to the equation $Lu=f$ for any given $f\in C(V)$. We also prove that the equation $Δ_pu=\overline{f}-f$ has a solution which is unique up to a constant, where $\overline{f}$ is the average of $f$. With the help of these results, we finally give various conditions such that the $p$-th Kazdan-Warner equation $Δ_pu=c-he^u$ has a solution on $V$ for given $h\in C(V)$ and $c\in \mathds{R}$. Thus we generalize Grigor'yan, Lin and Yang's work \cite{GLY} for $p=2$ to any $p>1$.

연구 동기 및 목표

• 유한 그래프 위에서 $p=2$인 Kazdan-Warner 방정식에 대한 Grigor'yan, Lin, Yang의 결과를 임의의 $p>1$로 일반화하기.
• 비선형성으로 인해 $p \neq 2$일 때 이산 $p$-라플라스 연산자 $\Delta_p$에서 발생하는 도전 과제를 다루기.
• 해 $\Delta_p u = c - h e^u$가 유한 그래프 위에 존재할 조건을 $c$와 $h$에 대한 명시적 조건으로 특성화하기.
• $k > 0$인 경우 연산자 $L = \Delta_p - k$가 전단사이자 순서를 유지하는 것으로 증명하여 해를 구성할 수 있도록 하기.
• 비선형성의 영향을 고려한 상하해 기법과 변분 원리를 활용해 존재성을 입증함으로써, $p \neq 2$인 비선형 설정에서도 해의 존재성을 확보하기.

제안 방법

• $k > 0$일 때 $L = \Delta_p - k$가 전단사이자 순서를 유지하는 것으로 증명하여, $Lu = f$에 대한 가역성과 해의 유일성을 보장하기.
• Liouville 유형 정리와 $p$-라플라스 연산자의 성질을 이용해, $\Delta_p u = \overline{f} - f$의 해가 상수를 제외하고 존재하고 유일함을 입증하기.
• 상하해 기법을 적용하여 $\Delta_p u = c - h e^u$의 해를 구성하기 위해 수렴하는 중첩된 수열을 생성하기.
• 중간값 정리와 비교 추정을 사용하여 반복적 해 구축 과정에서 $L$의 순서 유지 성질을 검증하기.
• 이산 설정에서 Trudinger-Moser 및 Sobolev 포함 부등식을 활용하여 성장률을 통제하고 수렴성을 보장하기.
• $c < 0$인 경우 해가 존재하지 않는 임계 임계값 $c_-(h)$를 정의하고, $\overline{h} < 0$이면 $c \in (c_-(h), 0)$에서 존재함을 증명하기.

실험 결과

연구 질문

• RQ1 유한 그래프에서 $p > 1$일 때, $c \in \mathbb{R}$와 함수 $h \in C(V)$에 대해 방정식 $\Delta_p u = c - h e^u$가 해를 가지는 조건은 무엇인가?
• RQ2 해의 존재성은 $h$의 부호와 평균에 따라 어떻게 달라지는가?
• RQ3 $\overline{h} < 0$이면 $c < 0$인 경우에도 해가 존재할 수 있는가? 임계 임계값 $c_-(h)$는 무엇인가?
• RQ4 $p \neq 2$일 때 $\Delta_p$의 비선형성과 비동차성은 $p=2$인 경우와 비교해 해의 구조에 어떤 영향을 미치는가?
• RQ5 반복적 구축 과정에서 해를 둘러싸는 상하해의 존재를 보장하기 위한 조건은 무엇인가?

주요 결과

• $k > 0$인 경우 연산자 $L = \Delta_p - k$는 전단사이자 순서를 유지하므로, 임의의 $f \in C(V)$에 대해 $Lu = f$의 해가 유일하게 존재한다.
• $\Delta_p u = \overline{f} - f$의 해는 존재하며 상수를 제외하고 유일하다. 이는 해를 구성하는 데 핵심적인 도구가 된다.
• $c = 0$일 때, 방정식 $\Delta_p u = -h e^u$는 $h$가 부호를 변화시키고 $\overline{h} < 0$일 때에만 해를 가진다.
• $c > 0$일 때, 해가 존재하는 것은 $h$가 어느 곳이든 양수일 때에 한하여 성립하며, 평균과는 무관하다.
• $c < 0$일 때, 해가 존재하는 것은 $\overline{h} < 0$이면서 $c > c_-(h)$일 때에만 성립한다. 여기서 $c_-(h) \in [-\infty, 0)$는 $h$에만 의존하는 임계 임계값이다.
• $h \leq 0$이면서 식별적으로 0이 아닐 때, 모든 $c \in (c_-(h), 0)$에서 해가 존재하며, $c < c_-(h)$일 땐 해가 존재하지 않는다.