[논문 리뷰] Fractional derivative in spaces of continuous functions

Davide Guidetti|arXiv (Cornell University)|2017. 07. 07.

Nonlinear Differential Equations Analysis참고 문헌 4인용 수 3

한 줄 요약

이 논문은 연속 함수 공간에서 분수계 도함수에 대한 기능적 미적분을 정의하기 위해, 복소선적분을 통한 미분연산자 B의 분수거듭제곱을 정의함으로써 이를 달성한다. 분수적분 연산자 B^{-α}가 순수한 리만-리우빌 적분의 순서 α에 해당함을 증명하고, 미트그-레플러 함수를 사용하여 시간 분수계 진화방정식의 해 표현식을 유도하며, 호일더 공간에서 엄밀한 해에 대한 존재성 및 정규성 결과를 제공한다.

ABSTRACT

This is a first version of a paper concerning abstract evolution equation with fractional time derivatives. Maximal regularity results in spaces of continuous and Hoelder continuous functions are described.

연구 동기 및 목표

• 연속 X-값 함수의 바나흐 공간 C([0,T];X)에서 분수도함수에 대한 엄밀한 기능적 미적분을 개발하는 것.
• 분수적분 연산자 B^{-α}를 순수한 리만-리우빌 적분의 순서 α로 특성화하는 것.
• 미트그-레플러 함수를 사용하여 캐프토 유형 도함수를 가진 시간 분수계 진화방정식의 해 이론을 수립하는 것.
• 엄밀한 해의 정규성 조건을 호일더 공간에서 정밀하게 유도하여, 데이터의 정규성과 분수계수 α 및 호일더 지수 γ 간의 관계를 규명하는 것.
• 유계 영역에서 노이만 경계 조건을 가진 타원형 연산자로 이 이론을 확장하여 혼합 문제의 해에 대한 존재성 및 정규성 결과를 증명하는 것.

제안 방법

• 초기 조건이 0인 도함수로 정의된 연산자 B를 C([0,T];X)에서 정의하고, B가 닫혀 있고 그 리졸베이트 노름이 T로 유계임을 보이는 것.
• 섹터 Γ를 따라 복소선적분을 사용하여 덴포르트-타일러 적분을 통해 B^{-α}의 분수거듭제곱을 정의하는 것.
• 잔여물 계산법과 감마함수의 반사공식을 이용하여 B^{-α}f(t)가 순수한 리만-리우빌 분수적분의 순서 α와 일치함을 증명하는 것.
• B^α의 리졸베이트 항등식을 수립하여 (λ - B^α)^{-1}f(t) = -∫₀ᵗ E_{α,α}(λ(t-s)^α)(t-s)^{α-1}f(s)ds 라는 표현을 도출하는 것.
• 문제를 볼테라 적분방정식으로 변환함으로써 캐프토 도함수를 가진 시간 분수계 확산방정식에 이 이론을 적용하는 것.
• 실수 보간 이론과 기존의 타원형 연산자에 대한 정규성 결과를 활용하여, 데이터의 정규성과 α에 따라 해의 호일더 정규성을 유도하는 것.

실험 결과

연구 질문

• RQ1 Banach 공간에 값이 있는 연속 함수 공간에서 분수도함수를 어떻게 엄밀하게 정의할 수 있는가?
• RQ2 연산자 이론적 분수적분 B^{-α}와 고전적 리만-리우빌 적분 사이의 정확한 관계는 무엇인가?
• RQ3 시간 분수계 PDE에 대한 엄밀한 해가 호일더 공간에서 존재하기 위한 초기 데이터 및 외부력의 필요 및 충분 조건은 무엇인가?
• RQ4 해의 정규성은 분수계수 α와 데이터의 호일더 지수 γ에 따라 어떻게 달라지는가?
• RQ5 시간 분수계 방정식의 해 이론은 유계 영역에서 노이만 경계 조건을 가진 타원형 연산자로 확장될 수 있는가?

주요 결과

• 분수적분 연산자 B^{-α}는 리만-리우빌 적분의 순서 α와 동치이며, 즉 B^{-α}f(t) = 1/Γ(α) ∫₀ᵗ (t-s)^{α-1}f(s)ds 이다.
• B^α의 리졸베이트는 (λ - B^α)^{-1}f(t) = -∫₀ᵗ E_{α,α}(λ(t-s)^α)(t-s)^{α-1}f(s)ds 로 명시적으로 주어진다.
• α ∈ (0,2)  \{1} 일 때, 연산자 B^α는 노이만 경계 조건을 가진 시간 분수계 방정식 C^αu - e^{iϕ}Δu = f 의 해를 생성한다.
• 초기 자료와 외부력이 특정 호일더 정규성 조건을 만족할 경우, 엄밀한 해는 C([0,T];D(A)) 에서 존재하며, C^αu 및 Au 는 C^γ(Ω̄) 에 유계이다.
• 정규성 임계값은 날카롭게 설정되어 있다: α ∈ (1,2) 일 때, 초기 속도 u₁은 γ > 1 이면 C^{2−2(1−β)/α}(Ω̄) 에 속하고 법선 도함수는 0이어야 한다.
• 시간 정규성 β 와 공간 정규성 γ 간의 자연스러운 척도 관계는 γ = 2β/α 이며, α=1 인 평행한 경우와 일致한다.