On a necessary condition for removing singularities of solutions of nonlinear elliptic inequalities

기술 요약: 비선형 타원형 부등식 해의 특이점 제거를 위한 필요 조건에 관하여

문제 정의
본 논문은 $n \geq 2$, $m \geq 2$인 짝수 정수에 대하여, 구멍 뚫린 단위 구 $B_1 \setminus \{0\} \subset \mathbb{R}^n$에서 정의된 다음과 같은 형태의 비선형 타원형 미분 부등식의 특이점 제거 가능성을 조사한다:
$$\Delta^{m/2} u \geq f(x)g(u)$$
여기서 함수 $f$와 $g$는 특정 정칙성 및 성장 조건을 만족한다: $f \in L^\infty_{loc}(B_1 \setminus \{0\})$이며, $g: [0, \infty) \to [0, \infty)$는 $g(0)=0$이고 $\zeta > 0$일 때 $g(\zeta) > 0$인 단조 증가 함수이다.

원점에서의 특이점은 해 $u$와 항 $f(x)g(|u|)$가 $L^1(B_1)$에 속하여, 부등식이 전체 구 $B_1$ 위에서 분포 의미(distributional sense)로 성립할 수 있을 때 *제거 가능하다(removable)*고 정의된다. 본 연구의 핵심 목적은 모든 해가 원점에서 제거 가능한 특이점을 갖도록 하는 비선형성 $g$에 대한 필요 조건을 확립하는 것이다.

방법론
저자들은 특정 적분 조건이 실패할 경우 비제거 가능한 특이점이 존재함을 증명하기 위해 구성적 접근 방식을 채택한다. 방법론은 다음과 같이 진행된다:

1. 방사형 상미분 방정식(Radial ODEs)으로의 환원: 이 문제는 편미분 부등식을 방사형 상미분 부등식으로 환원시킨다. 극좌표계에서의 라플라시안 성질을 활용하여, 저자들은 $w$가 연산자 $\left(\frac{1}{r^{n-1}}\left(r^{n-1}\frac{d}{dr}\right)\right)^{m/2}$를 포함하는 관련 방사형 문제를 만족한다면 $u(x) = w(|x|)$가 부등식을 만족하게 되는 방사형 해를 구성한다.
2. 고정점 및 반복적 구성: 증명은 구간 $(0, 1]$에서 특정 방사형 부등식을 갖는 양의 감소 해의 존재를 단언하는 정리 2.2에 의존한다. 이는 다음을 통해 이루어진다:
   • 연속 함수에 작용하는 일련의 적분 연산자 $A_i$를 정의한다.
   • 연산자의 성장과 붕괴를 제어하기 위해 사전 추정치(a priori estimates) 및 부등식(예: 식 2.4–2.11)을 확립한다.
   • Bohl–Brouwer 고정점 정리를 사용하여 부분 구간 $[r_0, 1]$ 상의 고정점 $w_0$를 찾는다.
   • $g^{-1/m}$의 역수를 포함하는 코시 문제(Cauchy problem)를 해결함으로써 이 해를 $(0, r_0]$로 확장한다.
3. 발산 논증: 논증의 핵심은 적분 $\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta$의 거동에 달려 있다. 만약 이 적분이 발산하면, 구성된 해 $w(r)$은 $r \to 0$일 때 충분히 빠르게 성장하여 $u(x) \notin L^1(B_1)$이 되며, 이로써 특이점이 비제거 가능함을 증명한다.

주요 기여 및 결과
주요 결과는 정리 2.1이며, 내용은 다음과 같다:
만약 $g: (0, \infty) \to (0, \infty)$가 발산 조건
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta = \infty$$
를 만족하는 단조 증가 연속 함수라면, 임의의 $f \in L^\infty_{loc}(B_1 \setminus \{0\})$에 대하여 부등식 $\Delta^{m/2} u \geq f(x)g(u)$는 원점에서 비제거 가능한 특이점을 갖는 양의 해를 갖는다.

결과적으로,
$$\int_1^\infty g^{-1/m}(\zeta)\zeta^{1/m-1} d\zeta < \infty$$
라는 조건은 부등식의 모든 해에 대하여 특이점의 제거 가능성을 위한 필요 조건으로 확립된다.

본 논문은 알려진 조건들과 연관 지어 이 결과를 맥락화한다:

• $m=2$인 경우, 이 조건은 잘 알려진 Keller–Osserman 블로우업(blow-up) 조건과 동치이다.
• 이 결과는 거듭제곱 형태의 비선형성(예: $\Delta u \geq |x|^s u^\lambda$) 및 로그 비선형성에 대한 기존의 연구 결과들을 일반화하며, Brezis–Véron 조건을 정확히 회복한다.

의의 및 주장
저자들은 적분 조건 (1.3)(또는 $m>2$에 대한 일반화된 형태)이 특이점의 제거 가능성을 보장하기 위한 충분조건은 아니라고 주장한다(이는 $f$의 원점 근처에서의 거동이나 선형 사례에서의 잠재적 성장 제한을 고려하지 않기 때문이다). 그러나 이 조건은 엄격한 필요 조건이다.

본 논문은 만약 이 적분 조건이 위배된다면, 계수 함수 $f$가 아무리 "작거나" 양호하더라도(0으로부터 국소적으로 유계되어 있다는 전제하에), 원점에서 폭발(blow up)하여 특이점이 제거되지 않도록 만드는 해를 항상 구성할 수 있다고 단언한다. 이는 고차 비선형 타원형 부등식의 맥락에서 특이점의 제거 가능성을 허용하는 비선형성 $g$의 클래스에 대한 날카로운 경계를 제공한다. 이 연구는 강제 항(forcing term) $f$의 구체적인 선택과 무관하게, 제거 가능한 특이점과 비제거 가능한 특이점 사이의 정확한 임계치를 명확히 한다.