Characterisation of homogenisation for nonlocal diffusion by local topologies

기술 요약: 국소적 위상에 의한 비국소적 확산의 균질화 특성 분석

문제 정의
본 논문은 고도로 진동하는 국소적 계수와 비국소적 미분 연산자를 특징으로 하는 분수 차수 발산 형태(fractional divergence form) 문제의 균질화를 다룬다. 저자들은 $-\text{div}_s(A \nabla_s u) = f$ 형태의 방정식을 고려하며, 여기서 $\nabla_s$와 $\text{div}_s$는 차수 $s \in (0, 1)$인 리에스 분수 구배(Riesz fractional gradient) 및 발산을 나타낸다. 이 설정에서의 핵심 과제는 계수 $A$가 국소적(행렬 값 함수)임에도 불구하고, 연산자의 비국소적 성질로 인해 계수가 유계 영역 $\Omega$뿐만 아니라 전체 공간 $\mathbb{R}^d$ 상에 정의되어야 한다는 점이다. 이전 연구[16]는 이러한 문제를 다루기 위해 $H^s$-수렴을 도입했으나, 계수가 영역 $\Omega$ 외부에서 고정되어야 한다($A|_{\mathbb{R}^d \setminus \Omega} = A_0$)는 제한을 두었다. 본 논문은 그러한 제한 없이 $\mathbb{R}^d$ 전체 공간에 정의된 계수 시퀀스에 대한 $H^s$-수렴을 완전히 규명하고, 이 수렴을 고전적인 국소적 위상 및 비국소적 연산자 이론 프레임워크와 연결하고자 한다.

방법론
저자들은 분수 미적분학, 함수 해석학, 그리고 균질화 이론의 결합된 방법론을 사용한다. 주요 방법론적 구성 요소는 다음과 같다:

• 분수 연산자: 분석은 특이 적분 또는 푸리에 승수(Fourier multipliers)를 통해 정의되는 리에스 분수 구배 및 발산, 그리고 이와 관련된 분수 소볼레프 공간 $H^s_0(\Omega)$ 및 $H^{-s}(\Omega)$에 의존한다.
• 보상 압축성(Compensated Compactness): 분수 라이스-르장드르 규칙(fractional Leibniz rule)과 부분 적분을 사용하여 분수 버전의 div-curl 르마(Proposition 2.14)를 확립한다. 이 도구는 비국소적 환경에서 시퀀스 곱의 약수렴을 다루는 데 필수적이다.
• 압축성 및 임베딩: 증명 전략은 영역의 보집합에서의 분수 구배의 압축성(Theorem 2.11)과 $H^s_0(\Omega)$에서 $L^2(\Omega)$로의 컴팩트 임베딩(Theorem 2.10)을 활용한다.
• 슈르 위상(Schur Topologies): 저자들은 $H^s$-수렴을 유계 선형 연산자에 대한 추상적 개념인 비국소적 $H$-수렴과 연결하며, 이를 특정 슈르 위상으로 식별한다.
• 1차원 분석: 저자들은 $d=1$인 경우로 결과를 확장하며, 고전적인 국소적 경우와 크게 다른 분수 미분 연산자의 커널(kernel)과 관련된 구체적인 난제들을 다룬다.

주요 기여 및 결과

1. $H^s$-수렴의 규명 (Theorem 의 1.3):
   주요 결과는 $M(\alpha, \beta; \mathbb{R}^d)$(허용 가능한 행렬 값 계수) 내의 시퀀스 $(A_n)_n$에 대한 $H^s$-수렴의 완전한 규명을 제공한다. 정리에 따르면, $A_n \xrightarrow{H^s} A$인 것은 다음 조건이 충족될 때와 동치이다:

   • 영역 $\Omega$에 대한 시퀀스의 제한은 그 극한의 제한으로 $H$-수렴한다(고전적인 Murat-Tartar 의미에서): $A_n|_\Omega \xrightarrow{H} A|_\Omega$.
   • $\text{Cl}\,\Omega$의 여집합에 대한 시퀀스의 제한은 $L^\infty$에서 약-$\ast$ 수렴한다: $A_n|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega} \xrightarrow{\ast} A|_{\mathbb{R}^d \setminus \text{Cl}\,\Omega}$.
     이 결과는 계수가 $\Omega$ 외부에서 고정되어야 한다는 이전의 요구 사항을 제거함으로써, 균질화 극한이 영역 내부의 국소적 $H$-수렴과 외부의 약-$\ast$ 수렴에 의해 결정됨을 보여준다.

2. 1차원으로의 확장:
   저자들은 [16]의 압축성 및 유일성 결과를 $d=1$인 경우로 일반화한다. 그들은 1차원에서 $H$-극한이 조화 평균(harmonic mean)에 해당하지만, 분수 미분의 비국소적 성질이 고전적인 경우를 특징짓는 플럭스(flux)의 강한 $L^2$ 수렴을 방해한다는 것을 입증한다. 저자들은 1차원 분수 미분 연산자의 커널이 무한 차원임을 증명하며, 이는 강한 플럭스 수렴의 도출을 복잡하게 만든다.

3. 메트릭 및 위상적 성질:
   본 논문은 $H^s$-수렴을 갖춘 허용 가능한 계수의 공간이 메트릭화 가능(metrisable)하며 컴팩트함을 확립한다. $\Omega$ 상의 고전적 $H$-메트릭과 여집합 상의 약-$\ast$ 메트릭을 결합한 특정 메트릭이 구축된다.

4. 슈르 위상과의 연결 (Theorem 7.4):
   저자들은 $H^s$-수렴이 유계 선형 연산자 공간 상의 슈르 위상으로 해석될 수 있음을 보여준다. 그들은 분수 구배의 치역으로부터 유도된 것과 $L^2(\mathbb{R}^d)$의 분해로부터 유도된 두 가지 구별된 슈르 위상을 식별하며, 이들이 계수 집합 위에 동일한 메트릭 공간 구조를 유도함을 밝힌다. 이는 분수 균질화 문제를 [45, 46]에서 소개된 비국소적 $H$-수렴의 더 넓은 프레임워크 내에 위치시킨다.

5. 대칭 계수 및 $G^s$-수렴 (Section 8):
   대칭 계수의 경우, 논문은 에너지 수렴에 기반한 $G^s$-수렴을 도입하고 이것이 $H^s$-수렴과 동치임을 증명한다. 이는 고전적인 $G$- 및 $H$-수렴 간의 관계를 분수 환경으로 확장한다.

6. 분수 열방정식에의 적용 (Theorem 1.4):
   확립된 수렴 결과와 진화 방정식 이론을 사용하여, 저자들은 분수 열 유형 방정식 $\partial_t u - \text{div}_s(A \nabla_s u) = f$에 대한 균질화 문제를 해결한다. 그들은 계수 $A_n$이 $H^s$-수렴하면, 해 $u_n$이 균질화된 방정식의 해 $u$로 $L^2(0, T; L^2(\Omega))$에서 강하게 수렴함을 증명한다.

의의 및 주장
본 논문은 국소적이지만 고도로 진동하는 계수를 가진 비국소적 확산 문제에 대한 균질화의 엄밀하고 완전한 규명을 제공한다고 주장한다. $H^s$-수렴을 고전적인 국소적 $H$-수렴 및 약-$\ast$ 수렴과 연결함으로써, 저자들은 복잡한 비국소적 문제를 계수의 보집합에서의 거동을 고려할 경우 잘 확립된 국소적 위상을 통해 이해할 수 있음을 입증한다.

본 연구는 다음과 같은 점에서 중요하다:

• 일반화: 계수를 $\Omega$ 외부에서 고정해야 한다는 인위적인 제약을 제거하여, $\mathbb{R}^d$ 전체에 걸친 진동을 허용한다.
• 차원적 완결성: 기술적 가정으로 인해 기존 문헌에서 제한되었던 1차원 사례를 해결한다.
• 이론적 통합: 슈르 위상을 통해 분수 균질화와 비국소적 $H$-수렴의 추상적 이론 사이의 간극을 메운다.
• 시간 의존적 응용: 이러한 정적 균질화 결과를 시간 의존적 분수 열 방정식에 성공적으로 적용하여, 이 맥맥락에서의 해의 수렴에 관한 구체적인 미해결 문제를 해결한다.

저자들은 결과가 정의된 연산자 클래스에 대해서는 견고하지만, 일반적인 비국소적 계수(Elements of $L(L^2)$이지 $L^\infty$가 아닌 경우)에 대한 이러한 위상들의 거동은 여전히 미해결 과제로 남아 있다고 언급한다.