[논문 리뷰] Fractional Sobolev Spaces and Functions of Bounded Variation

Maı̈tine Bergounioux, Antonio Leaci외 2명|arXiv (Cornell University)|2016. 03. 16.

Nonlinear Partial Differential Equations참고 문헌 16인용 수 3

한 줄 요약

이 논문은 1차원에서 리만-리우빌 분수 적분 소볼레프 공간 $W^{s,1}_{RL,0+}(a,b)$와 유한변동함수($BV$) 및 특수유한변동함수($SBV$) 공간 사이의 엄밀한 연결고리를 설정한다. 논문은 $SBV \subset \bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}$임을 증명하며, 동시에 $\bigcap_{sackepsilon(0,1)} W^{s,1}_{RL,0+} \setminus BV \neq \emptyset$임을 보여, 분수 소볼레프 공간이 $SBV$를 엄밀히 포함하고 있으며 $BV$에 포함되지 않음을 입증한다. 이로 인해 $BV$가 $W^{s,1}_{RL,0+}$에 완전히 포함되는지 여부는 여전히 열린 문제로 남아 있다.

ABSTRACT

We investigate the 1D Riemann-Liouville fractional derivative focusing on the connections with fractional Sobolev spaces, the space $BV$ of functions of bounded variation, whose derivatives are not functions but measures and the space $SBV$, say the space of bounded variation functions whose derivative has no Cantor part. We prove that $SBV$ is included in $W^{s,1} $ for every $s \in (0,1)$ while the result remains open for $BV$. We study examples and address open questions.

연구 동기 및 목표

• 리만-리우빌 분수 소볼레프 공간과 $BV$ 및 $SBV$와 같은 고전적 함수 공간 간의 관계를 명확히 하기.
• 이전 문헌에서 열려 있던 질문인 $s\in(0,1)$에 대해 $BV$ 함수가 분수 소볼레프 공간 $W^{s,1}_{RL,0+}$에 속하는지 여부를 조사하기.
• 분수 소볼레프 공간에 대한 엄밀한 포함관계를 보여주는 예와 반례를 제공하여 $SBV$가 $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}$에 엄밀히 포함되며, $BV$ 밖에 있는 함수가 $W^{s,1}_{RL,0+}$에 속할 수 있음을 입증하기.
• 국소적이고 점별적인 리만-리우빌 접근법과 전역적이고 갈리아르도 유형의 분수 소볼레프 프레임워크 사이의 격차를 메우기.
• 특히 캡투 도함수를 사용하는 공 ing 및 영상 응용 분야에서 분수 도함수의 향후 엄밀한 수학적 분석을 위한 기초를 다지기.

제안 방법

• 논문은 $s\in(0,1)$인 왼쪽 리만-리우빌 분수 도함수를 사용하여 $W^{s,1}_{RL,0+}(a,b)$ 공간을 정의한다.
• 분수 도함수의 정의를 위해 리만-리우빌 적분 표현을 활용하고, 이 도함수가 $BV$ 및 $SBV$ 함수에 작용하는 방식을 분석한다.
• 분포도함수 개념과 측도 분해(레베그 및 칸토어 부분)를 사용하여 $SBV$ 함수를 도함수에 칸토어 부분이 없는 $BV$ 함수로 특성화한다.
• 명시적인 예를 구성한다: $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}$에 속하지만 $SBV$에 속하지 않는 단조증가, 연속적이지만 헬더 연속이 아닌 함수; $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}$에 속하지만 $BV$에 속하지 않는 곳 곳에서 미분 불가능한 위어슈트라스 유형의 함수. 이를 통해 엄밀한 포함관계를 입증한다.
• 리만-리우빌 및 갈리아르도 정의의 분수 소볼레프 공간을 비교하여 국소적 대비 전역적 성격의 차이를 강조하고, 보간 및 베소프 공간과의 연결성에 대한 함의를 논의한다.
• 리만-리우빌 도함수와 캡투 도함수 간의 연관성을 논의하며, 두 도함수 간의 알려진 관계를 바탕으로 리만-리우빌 결과를 캡투 도함수로 이행할 수 있음을 보이며, 특히 물리적 해석이 있는 초기값 문제의 맥락에서 중요함을 강조한다.

실험 결과

연구 질문

• RQ1 공간 $SBV(a,b)$는 교차 $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}(a,b)$에 포함되는가? 만약 그렇다면 어떤 조건에서인가?
• RQ2 포함관계 $BV(a,b) \subset \bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}(a,b)$가 성립하는가, 아니면 이 교차에 속하지 않는 $BV$ 함수가 존재하는가?
• RQ3 $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}(a,b)$에 속하지만 $BV(a,b)$에 속하지 않는 함수를 구성할 수 있는가? 이를 통해 분수 소볼레프 공간이 $BV$보다 엄밀히 큰지를 입증할 수 있는가?
• RQ4 리만-리우빌 및 갈리아르도 정의의 분수 소볼레프 공간 간의 관계는 무엇인가? 특히 $L^1$ 기반 공간과 그들이 베소프 공간과 연결되는 방식에서 어떻게 다루어지는가?
• RQ5 리만-리우빌 분수 도함수의 정확한 행동은 $BV \setminus SBV$에 속하는 함수와 같이 특이하거나 미분 불가능한 도함수를 가진 함수에서 어떻게 나타나는가?

주요 결과

• 공간 $SBV(a,b)$는 $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}(a,b)$에 엄밀히 포함된다. 즉, 특수유한변동함수의 모든 함수는 리만-리우빌 정의 하에 $s\in(0,1)$인 모든 분수 소볼레프 공간에 속한다.
• $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}(a,b)$에 속하지만 $BV(a,b)$에 속하지 않는 함수가 존재한다. 이는 $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+} \setminus BV \neq \emptyset$임을 보여주며, 분수 소볼레프 공간이 $BV$보다 엄밀히 크다는 것을 입증한다.
• $\bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}(a,b)$에 속하는 연속적이고 단조증가하는 함수 $u(x) = (\ln(x/2))^{-1}$는 $(0,1)$에서 정의되며, 어떤 $\alpha\in(0,1)$에 대해서도 헬더 연속이 아니지만, 이는 분수 소볼레프 정(regularity)이 헬더 연속성을 보장하지 않는다는 것을 보여준다.
• Weierstrass 유형의 함수 $W(x) = \sum_{n=0}^{\infty} q^{-n}(e^{iq^n x} - e^{iq^n a})$ ($q>1$)는 모든 순서 $s<1$에 대해 유계이고 연속적인 리만-리우빌 분수 도함수를 가지지만, 곳곳에서 미분 불가능하므로 $BV$에 속하지 않는다. 이는 $W^{s,1}_{RL,0+}$가 $BV$에 포함되지 않음을 확인한다.
• $BV(a,b) \subset \bigcap_{s\in(0,1)} W^{s,1}_{RL,0+}(a,b)$의 포함관계는 여전히 열린 문제이며, $BV$와 $W^{s,1}_{RL,0+}$ 간의 관계에 대한 완전한 특성화도 남아 있다. 다만 $SBV$가 교차에 엄밀히 포함됨은 입증된 바 있다.
• 리만-리우빌 도함수에 대한 결과는 그들 간의 알려진 관계를 통해 캡투 도함수로 확장될 수 있다. 특히 캡투 도함수가 초기 조건이 0일 경우 리만-리우빌 도함수로 줄어들기 때문에, 향후 영상 및 제어 이론에서 변분 모델에의 적용이 가능해진다.