분수 라플라시안 재현 커널 힐베르트 공간의 라이온스 공식 확장

초록

본 논문은 차수 $a\in(0,1)$ 인 분수 라플라시안 연산자에 대해, Hörmander와 Grubb이 개발한 $a$‑전송 Sobolev 공간을 이용해 비동질 디리클레 문제를 해결하고, 그 결과로 얻은 분수 포아송 공식으로부터 라이온스 유형의 커널 공식을 도출한다. 이 공식은 연산자 차수가 2가 아님에도 불구하고 고전적인 Hadamard 변분 공식과 형태가 유사함을 보이며, 또한 2차계 시스템인 정적 Stokes 문제에 대한 RKHS에서도 유사하지만 차이가 존재함을 논한다.

상세 분석

논문은 먼저 J‑L Lions가 제시한 고전적인 조화함수 RKHS에 대한 커널 공식(경계 적분 형태)을 재정리하고, Engliš·Lukkassen·Peetre·Persson이 이를 일반 2배 짝수 차수 타원 연산자로 확장한 배경을 설명한다. 핵심 질문은 “연산자 차수가 2가 아닐 때도 같은 형태의 커널 공식이 존재하는가?”이며, 이를 답하기 위해 분수 라플라시안 $(-\Delta)^a$ ($0<a<1$) 를 대상으로 한다.

분수 라플라시안은 비국소 의사미분 연산자로, 전통적인 Sobolev 공간만으로는 비동질 디리클레 경계값 문제를 다루기 어렵다. 여기서 Hörmander가 제시한 $\mu$‑전송($\mu=a$) 성질과 Grubb이 체계화한 $a$‑전송 Sobolev 공간 $H_a^{(t)}(\Omega)$ 를 도입한다. 이 공간은 $t>a-\frac12$ 일 때 정의되며, 제한 연산자와 확장 연산자를 적절히 조합해 경계 근처에서 $(-\Delta)^a$ 가 $H^{t}_a$‑정규성을 유지하도록 설계된다. 논문은 이러한 공간 위에서 비동질 디리클레 문제 \