[논문 리뷰] Lq Harmonic Functions on Graphs

Bobo Hua, Jürgen Jost|arXiv (Cornell University)|2013. 01. 15.

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

한 줄 요약

이 논문은 곡률 또는 차수의 경계 없이도, 유한한 무게가 부여된 그래프 위에서 조화함수 및 음이 아닌 하모닉 함수에 대해 $L^q$ 리우빌 정리를 확립한다. 이는 비상수 $L^q$ 함수($1 \leq q < \infty$)가 어떤 무한, 연결, 국소적으로 유한한 무게가 부여된 그래프에서도 존재할 수 없음을 증명한다. 핵심 기여는 $1 < q < 2$의 경우 이전 연구에서 남아 있던 격차를 메우기 위해 새로운 $L^q$ 캐치옵폴리 유형 부등식을 도입한 것이다. 이 부등식은 정량적 성장 추정을 가능하게 하며, $0 < q < 1$의 경우 반례도 제시한다. 본 결과는 주어진 정리의 반복적 적용을 통해 다항하모닉 함수로까지 확장된다.

ABSTRACT

We prove an analogue of Yau's Caccioppoli-type inequality for nonnegative subharmonic functions on graphs. We then obtain a Liouville theorem for harmonic or non-negative subharmonic functions of class Lq, 1&lt;=q 1. Also, we provide counterexamples for Liouville theorems for 0 &lt; q &lt; 1.

연구 동기 및 목표

• 곡률 또는 차수의 경계 없이 일반적인 가중 그래프에서 $L^q$ 조화함수 및 음이 아닌 하모닉 함수에 대해 리우빌 유형 정리를 확립한다.
• 이전에 리골리-살바토리-비그나티에 의해 해결되지 못한 그래프 설정에서의 열린 케이스인 $1 < q < 2$를 해결한다.
• $q > 1$인 음이 아닌 $L^q$ 하모닉 함수에 대해 성장 조건의 정량적 형태를 제공한다.
• $0 < q < 1$의 경우에 대해 명시적인 반례를 구성함으로써 $L^q$ 리우빌 정리가 성립하지 않음을 보인다. 이는 유한체적 및 무한체적 그래프에서 비상수 조화함수가 $L^q$에 속할 수 있음을 보여준다.
• 무한체적 그래프에서 고차수 다항하모닉 연산자로의 $L^q$ 리우빌 결과를 확장한다.

제안 방법

• 리만 기하학에서 요우의 결과에 유사한, 음이 아닌 하모닉 함수에 대한 새로운 $L^q$ 캐치옵폴리 유형 부등식을 도출한다.
• 캐치옵폴리 부등식을 사용하여 정량적 성장 추정을 증명한다: 비상수 음이 아닌 하모닉 함수 $f$가 $L^q$에 속해 있고 $1 < q < \infty$이면 $\liminf_{R\to\infty} \frac{1}{R^2} \sum_{B_R(p)} f^q(x) \mu_x = \infty$를 만족한다.
• 비상수 성질을 유도하기 위해 잘라내기와 조화성의 성질을 사용하여, 임의의 음이 아닌 $L^1$ 하모닉 함수가 반드시 조화여야 하며, 이를 통해 상수성을 도출한다.
• 유한체적 및 무한체적 그래프를 사용하여 $0 < q < 1$의 경우에 대해 명시적인 반례를 구성한다. 이는 비상수 조화함수가 $L^q$에 속할 수 있음을 보여준다.
• 고차수 연산자에 대해 $L^q$ 리우빌 정리를 적용하기 위해, $\Delta^m f = 0$ 이고 $f \in L^q$ 이면, 무한체적 그래프에서 $1 \leq q < \infty$일 때 $f \equiv 0$임을 보인다.

실험 결과

연구 질문

• RQ1 곡률 또는 차수의 경계 없이 일반적인 가중 그래프에서 $1 \leq q < \infty$에 대해 음이 아닌 하모닉 함수에 대해 $L^q$ 리우빌 정리가 성립하는가?
• RQ2 캐치옵폴리 유형 부등식을 사용하여 그래프 설정에서 $1 < q < 2$의 경우에 대한 $L^q$ 리우빌 정리의 격차를 메울 수 있는가?
• RQ3 $0 < q < 1$일 경우 어떻게 되는가? 그래프에서 비상수 $L^q$ 조화함수가 존재하는가?
• RQ4 $L^q$ 리우빌 정리는 고차수 타원형 연산자에 대해 그래프로 확장될 수 있는가?
• RQ5 $L^1$ 리우빌 정리는 추가적인 곡률 가정 없이 그래프에서 유효한가?

주요 결과

• 논문은 임의의 무한, 연결, 국소적으로 유한한 가중 그래프에서 $1 < q < \infty$에 대해 $L^q$에 속하는 음이 아닌 하모닉 함수가 반드시 $\liminf_{R\to\infty} \frac{1}{R^2} \sum_{B_R(p)} f^q(x) \mu_x = \infty$를 만족함을 증명하여, 정량적 성장 조건을 확립한다.
• 또한 $q = 1$의 경우, 곡률 또는 차수의 경계 없이도 임의의 음이 아닌 $L^1$ 하모닉 함수는 반드시 상수여야 함을 증명한다.
• 저자들은 체적이 유한한 그래프에서 비상수 조화함수가 $L^q$에 속하는 반례를 구성함으로써, $0 < q < 1$의 영역에서 $L^q$ 리우빌 정리가 성립하지 않음을 보였다.
• 또 다른 반례는 체적이 무한한 그래프에서 제시되었으며, 이는 비상수 $L^q$ 조화함수가 존재함을 보여주며, 다시 한 번 리우빌 정리의 실패를 입증한다.
• 다항하모닉 함수로의 $L^q$ 리우빌 정리가 확장된다: $f \in L^q$ 이고 $m \geq 2$에 대해 $\Delta^m f = 0$ 이며, 그래프의 체적이 무한하면 $1 \leq q < \infty$일 때 $f \equiv 0$이 된다.