[논문 리뷰] Fractional powers of non-negative operators in Banach spaces via the Dirichlet-to-Neumann operator

Jan Meichsner, Christian Seifert|arXiv (Cornell University)|2017. 04. 06.

Differential Equations and Boundary Problems참고 문헌 5인용 수 4

한 줄 요약

이 논문은 베르누이 유형 미분방정식을 통해 바나흐 공간 내 비밀도 정의된 비음수 연산자의 분수거듭제곱과 딜리클레-노이만 연산자 사이의 연결 고리를 설정한다. 비밀도 정의된 비음수 연산자에 대해 $ \beta \in (0,1) $ 이면 분수거듭제곱 $ A^\beta $ 가 미분방정식 $ u''(t) + \frac{1-2\beta}{t}u'(t) = Au(t) $ 의 해와 관련된 딜리클레-노이만 연산자의 닫힘과 정확히 일치함을 증명한다. 이는 연산자와 초기 데이터에 대한 약간의 가정 하에 성립한다.

ABSTRACT

We consider fractional powers of non-densely defined non-negative operators in Banach spaces defined by means of the Balakrishnan operator. Under mild assumptions on the operator we show that the fractional powers can partially be obtained by a generalised Dirichlet-to-Neumann operator for a Bessel-type differential equation.

연구 동기 및 목표

• 비밀도 정의된 비음수 연산자의 분수거듭제곱을 밀도 정의된 생성자에 국한되지 않고 더 일반적인 비밀도 정의된 연산자에 대해 확장하는 것.
• 비밀도 정의된 연산자에 대해 발라크리슈난 분수 미적분학과 딜리클레-노이만 연산자 접근법 사이의 엄밀한 연결 고리를 설정하는 것.
• 딜리클레-노이만 연산자가 베르누이 유형 상미분방정식의 해에 대한 가중치를 가한 법선 도함수의 극한으로 정의될 때, 이 연산자가 상수를 제외하고 분수거듭제곱 $ A^\alpha $ 와 일치함을 증명하는 것.
• 딜리클레-노이만 연산자의 정의역과 복소보간 공간, $ A^\alpha $ 의 정의역 간의 관계를 명확히 하는 것.

제안 방법

• 비음수 연산자에 대한 발라크리슈난의 연산자 미적분학을 활용해 바나흐 공간 내 분수거듭제곱 $ A^\alpha $ 를 수식화한다.
• 바나흐 공간 $ X $ 내에서 초기 조건 $ u(0) = x $ 와 함께 상미분방정식 $ u''(t) + \frac{1-2\alpha}{t}u'(t) = Au(t) $ 를 분수거듭제곱의 조화 확장 모델로 분석한다.
• 딜리클레-노이만 연산자 $ \overline{T_\alpha} $ 는 극한 $ \lim_{t\to 0^+} -t^{1-2\alpha}u'(t) $ 의 닫힘으로 정의되며, 이는 고전적 노이만 경계 조건의 일반화이다.
• 수식적 해를 계산하기 위해 수정된 베르누이 함수 $ K_\alpha $ 의 적분 표현과 성질을 활용한다. 특히 곱셈 연산자에 대해 적용한다.
• 복소보간 이론과 스펙트럼 이론을 적용하여 $ \overline{T_\alpha} $ 의 정의역을 복소보간 공간 $ (X, \mathcal{D}(A))_{\alpha} $ 와 연결한다.
• 베르누이 함수가 $ t = 0 $ 근처에서의 점근적 전개를 분석함으로써 경계 극한의 균일 수렴성을 확보한다.

실험 결과

연구 질문

• RQ1 비밀도 정의된 비음수 연산자에 대해 바나흐 공간 내 분수거듭제곱 $ A^\alpha $ 가 딜리클레-노이만 연산자로 특성화될 수 있는가?
• RQ2 베르누이 유형 상미분방정식의 해 $ u $ 에 대해 극한 $ \lim_{t\to 0^+} -t^{1-2\alpha}u'(t) $ 가 상수를 제외하고 분수거듭제곱 $ A^\alpha $ 와 일치하는가?
• RQ3 딜리클레-노이만 연산자의 정의역은 복소보간 공간 $ (X, \mathcal{D}(A))_{\alpha} $ 와 어떻게 관련되어 있는가?
• RQ4 베르누이 유형 상미분방정식의 해 $ u $ 는 관련 함수 공간 내에서 유일한가? 그리고 이는 경계 극한이 $ A^\alpha $ 로 수렴함을 보장하는가?
• RQ5 정확한 상수 $ c_\alpha $ 는 무엇인가? 이때 $ \overline{T_\alpha} = c_\alpha A^\alpha $ 이다.

주요 결과

• 비밀도 정의된 비음수 연산자 $ A $ 에 대해 약간의 가정 하에 $ \alpha \in (0,1) $ 이면 분수거듭제곱 $ A^\alpha $ 는 딜리클레-노이만 연산자 $ \overline{T_\alpha} $ 와 일치한다. 즉, $ \overline{T_\alpha} = c_\alpha A^\alpha $ 이다.
• 딜리클레-노이만 연산자 $ \overline{T_\alpha} $ 의 정의역은 복소보간 공간 $ (X, \mathcal{D}(A))_{\alpha} $ 에 포함되며, 추가적인 정(regularity) 조건이 있으면 등식이 성립한다.
• 함수 공간 $ C_b(\Omega) $ 내 곱셈 연산자에 대해, 상미분방정식의 해 $ u(t,x) $ 는 수정된 베르누이 함수를 통해 명시적으로 주어지며, 이는 경계 극한의 직접 계산을 가능하게 한다.
• 극한 $ \lim_{t\to 0^+} -t^{1-2\alpha}u'(t) $ 는 점별 수렴하여 $ c_\alpha f(x)^\alpha g(x) $ 를 이루며, $ K_\alpha $ 의 점근적 분석을 통해 균일 수렴성이 입증된다.
• 상수 $ c_\alpha $ 는 명시적으로 $ c_\alpha = \frac{2^{1-2\alpha} \Gamma(1-\alpha)}{\Gamma(\alpha)} $ 로 결정되며, 기존 문헌에서 알려진 값과 일치한다.
• 상수 $ \varepsilon \to 0^+ $ 에 대해 $ (f+\varepsilon)^\alpha g \to f^\alpha g $ 가 $ C_b(\Omega) $ 내에서 수렴함을 확인함으로써 $ g \in \mathcal{D}(A^\alpha) $ 임을 뒷받침하며, 이는 연산자의 닫힘을 지지한다.