A counterexample for pointwise upper bounds on Green's function with a singular drift at boundary

기술적 요약: 경계에서의 특이 드리프트(Singular Drift)를 갖는 그린 함수(Green's Function)의 점별 상한(Pointwise Upper Bounds)에 대한 반례

문제 정의
본 논문은 유닛 볼 $\Omega = B(0, 1) \subset \mathbb{R}^n$ ($n \geq 3$)에서 정의된 타원형 연산자 $L_m = -\nabla \cdot (\nabla u) + B_m \cdot \nabla u$의 연쇄(sequence)와 관련된 그린 함수의 거동을 다룬다. 연구의 초점은 드리프트 항 $B_m$이 경계까지의 역거리(inverse distance)에 비례하여, 즉 경계 근처에서 $C/(1-|x|)$와 같이 거동하며 발산하는 연산자에 맞춰져 있다.

유계인 드리프트 또는 $\epsilon/\delta(x)$로 유계인 드리프트($\epsilon$이 충분히 작은 경우)를 가진 연산자에 대해서는 그린 함수의 점별 상한 및 하한에 대한 정립이 잘 이루어져 있으나, 더 큰 상수 $C$를 가진 드리프트에 대한 거동은 여전히 논쟁의 여지가 남아 있다. 본 논문은 이러한 특이 드리프트에 대해 균등 상한 추정치(uniform upper estimates)가 존재한다는 Hofmann와 Lewis의 주장을 구체적으로 겨냥한다.

방법론
저자는 다음과 같이 정의된 방사형 드리프트 필드 $B_m$을 사용하여 구체적인 반례 연쇄를 구성한다:
$$B_m = \begin{cases} -\frac{C}{1-|r|} \hat{r} & \text{if } |r| \leq 1 - \frac{1}{m} \\ -C_m \hat{r} & \text{if } 1 - \frac{1}{m} < |r| < 1 \end{cases}$$
여기서 $C \geq 1$은 임의의 상수이며, $C_m$은 연속성 또는 특정 경계층 거동을 보장하도록 선택된다. $m \to \infty$일 때, 이 연쇄는 드리프트 $B(x)$가 $|B(x)| \leq C/\delta(x)$를 만족하는 상황을 근사한다.

방법론은 크게 세 단계로 진행된다:

1. 대칭성 축소(Symmetry Reduction): 저자는 원점에서의 특정 극(pole)에 대하여, 그린 함수 $G_m(x, 0)$가 오직 반지름 변수 $r = |x|$에만 의존함을 증명한다. 이는 편미분 방정식을 반지름 좌표에 대한 상미분 방정식(ODE)으로 축소시킨다.
2. 하한 설정(Establishment of Lower Bounds): 기존 문헌(특히 [2] 참조)과 유사한 논증을 사용하여, 내부 영역에서의 그린 함수에 대한 균등 하한을 설정한다. 경계에서 충분히 떨어진 환상(annuli) 내에서 드리프트 항의 영향을 고려할 때, $G_m(y, z) \geq c_0 |z-y|^{-(n-2)}$가 성립함을 보인다. 여기서 상수 $c_0$는 $m$과 무관하다. 이는 하르낙 부등식(Harnack inequality)과 경계에서 떨어진 영역 내에서의 세심한 추정에 기초한다.
3. 명시적 적분 및 발산 분석(Explicit Integration and Divergence Analysis): 적분 인자(integrating factor)를 사용하여 반지름 방향의 상미분 방정식을 명시적으로 풀음으로써, 그린 함수의 도함수에 대한 식을 유도한다. 이 해는 경계 근처에서 드리프트가 역거리 법칙을 따르는 영역과 드리프트가 $C_m$에서 절단(truncated)되는 경계층 영역을 구분하여 경계로부터 내부로 적분된다(구체적으로 $x = (1/2, 0, \dots, 0)$에서 평가함).

주요 결과
핵심 결과인 정리 2는 $C=1$인 경우 정의된 연산자에 대하여, 원점에 극이 있을 때 점 $(1/2, 0, \dots, 0)$에서의 그린 함수 값이 $m \to \infty$임에 따라 무한대로 발산함을 보여준다:
$$\lim_{m \to \infty} G_m\left(\frac{1}{2}, 0, \dots, 0; 0\right) = \infty$$
이 증명은 하한은 균등하게 유지되지만 상한은 실패한다는 사실에 기초한다. 명시적 적분을 통해, 드리프트 적분의 지수 항이 $m$이 증가함에 따라, 특히 드리프트가 $C_m$에서 절단되는 경계층의 기여로 인해 무한히 커짐을 보여준다.

결과적으로, 본 논문은 드리프트의 상수 $C$가 충분히 작지 않을 때, 이 클래스의 드리프트에 대해 그린 함수의 균등 점별 상한 추정치가 존재하지 않음을 입증한다.

의의 및 주장
본 논문은 Hofmann와 Lewis의 이전 주장(그들의 저작 [4]의 제III장 정리 4.3(a))에 대한 결정적인 반례를 제공한다고 주장한다. 저자는 인용된 저작의 증명이 구하고자 하는 바로 그 그린 함수의 상한을 가정하지 않고서는 증명될 수 없는 타원형 버전의 보조정리에 의존하고 있기 때문에 실패했다고 주장한다. 해당 증명은 포물선형(parabolic) 사례의 결과를 타원형(elliptic) 사례로 일반화하려고 시도하였으나, 저자는 이러한 정도의 드리프트에 대해 그 단계가 유효하지 않음을 보여준다.

또한, 본 논문은 만약 드리프트의 상수 $C$가 충분히 작게(구체적으로 구성된 예시의 맥락에서 $C < 1$, 또는 [9]에 따른 일반적인 $\epsilon(\Omega)$) 선택된다면, 기대했던 점별 상한이 회복된다는 점을 언급한다. 이는 생성된 드리프트의 크기에 따른 해의 거동에 존재하는 날카로운 임계값(sharp threshold)을 강조한다.

마지막으로, 저자는 $m \to \infty$인 극한에서, 유계 데이터(예: $f = \mathbf{1}_{B(1/2, \epsilon)}$)를 갖는 푸아송-디리클레 문제(Poisson-Dirichlet problem)의 해가 $W^{1,2}(B(0, 1))$에서 정의되지 않는 상태가 됨을 관찰한다. 즉, 해의 값들이 원점 근처의 모든 곳에서 무한대로 발산한다.

결론
본 논문은 경계까지의 역거리에 비례하여 발산하는 드리프트를 갖는 타원형 연산자에 대하여, 드리프트 계수가 특정 임계값을 초과할 경우 그린 함수의 균등 상한을 보장할 수 없다고 결론짓는다. 이 결과는 이러한 특이 계수를 가진 경우에 대해 타원형 추정치를 포괄하려는 기존 문헌의 타당성을 바로잡는다.