기술 요약: 비국소 Massari 범함수의 $\Gamma$-수렴과 불균질 Allen-Cahn 방정식에의 적용

1. 문제 제기 및 배경

본 논문은 prescribed 평균 곡률을 갖는 집합과 관련된 비국소 변분 문제, 특히 비국소 Massari 문제의 점근적 거동과 불균질 분수 Allen-Cahn 방정식과의 연관성을 조사한다.

1970 년대 Massari가 제시한 고전적인 Massari 문제는 $H \in L^1(\Omega)$인 평균 곡률을 갖는 집합에 대한 변분적 정의를 제공한다. 여기서 $H$는 합산 가능하지만 반드시 연속일 필요는 없다. 해당 범함수는 다음과 같이 정의된다:
$$J^H_\Omega(E) := \text{Per}(E, \Omega) + \frac{1}{\omega_{n-1}} \int_{\Omega \cap E} H \, dx$$
여기서 $\text{Per}$는 변분적 perimeter 를 나타낸다.

저자들은 이 프레임워크를 분수적 설정 (매개변수 $s \in (0,1)$) 으로 확장하며, 이때 perimeter 는 비국소 상호작용 항인 $s$-perimeter 로 대체된다. 비국소 Massari 범함수는 다음과 같다:
$$J^H_{s,\Omega}(E) := \text{Per}_s(E, \Omega) + \frac{1}{1-2s} \int_{\Omega \cap E} H \, dx$$
주요 목표는 분수 매개변수 $s \to (1/2)^-$일 때 이러한 범함수의 극한을 분석하고, 질량 제약 하에서 섭동된 분수 Allen-Cahn 방정식 해의 점근적 거동을 연구하는 것이다. 다루어진 핵심적인 도전 과제는 질량 제약이 비국소 위상 전이에 부과될 때 발생하는 새로운 기하학적 객체인 **"비국소 하이브리드 평균 곡률"**의 등장이다.

2. 방법론

본 논문은 범함수의 극한 거동과 그 최소화자의 안정성을 확립하기 위해 De Giorgi가 도입한 $\Gamma$-수렴 이론을 활용한다. 방법론은 다음과 같다:

• 재스케일링 및 극한 분석: $s \to (1/2)^-$일 때 비국소 Massari 범함수를 분석한다. 저자들은 고전적인 Massari 범함수를 회복하기 위해 특정 스케일링 인자 $(1-2s)$를 활용한다.
• 섭동된 에너지 범함수: 매우 진동하는 강제항 $g_\varepsilon(x) = g(x/\varepsilon)$을 가진 "강제된" 비국소 Allen-Cahn 에너지 범함수를 도입한다. 에너지는 $s$의 영역에 따라 재스케일링된다:
  • $s \in (0, 1/2)$: $\varepsilon^{-2s}$로 스케일링.
  • $s = 1/2$: $|\varepsilon \log \varepsilon|^{-1}$로 스케일링.
  • $s \in (1/2, 1)$: $\varepsilon^{-1}$로 스케일링.
• 질량 제약: 고정된 질량 제약 $\int_\Omega u \, dx = m$ 하에서의 최소화 문제를 조사한다. 이는 특히 $s \in [1/2, 1)$ 영역에서 Dirichlet 경계 조건의 부재로 인해 기존 문헌 (예: [29]) 이 직접 적용되지 않는 경우, 질량 제약을 만족하면서 극한 범함수로 수렴하는 구체적인 회복 시퀀스를 구성해야 함을 요구한다.
• 외부 거동 분석: $\Omega$ 외부에서의 해의 거동을 유도한다. 전역적으로 해를 특성 함수로 가정하는 고전적 문제와 달리, 비국소 설정에서의 질량 제약은 외부에 특정 비국소 Neumann 조건을 부과하여, $\Omega$ 외부의 해가 반드시 조각상 상수일 필요는 없게 만든다.
• 임계점 수렴의 정교화: 분수 Allen-Cahn 방정식의 임계점 수렴에 관한 [24] 의 결과를 적용한다. 저자들은 질량 제약의 결과로 해가 전역적으로 $C^{0,1}$정칙성을 갖지 않는 경우를 처리하기 위해 이러한 결과를 정교화한다.

3. 주요 기여 및 결과

3.1 비국소 Massari 문제의 $\Gamma$-수렴

정리 2.3은 적절히 재스케일링된 비국소 Massari 범함수가 $s \to (1/2)^-$일 때 고전적 Massari 범함수로 $\Gamma$-수렴함을 확립한다.
정리 2.4는 최소자의 극한 안정성을 증명한다: 비국소 범함수 $J^{H_j}_{s_j, \Omega}$의 국소 최소화자 시퀀스 $\{E_j\}$가 $E$로 수렴하면, $E$는 고전적 범함수 $J^H_\Omega$의 국소 최소화자이다. 또한, 시퀀스의 에너지는 극한 집합의 에너지로 수렴한다.

3.2 불균질 Allen-Cahn 방정식

본 논문은 거시적 강제항 $H$를 포함하도록 [29] 의 $\Gamma$-수렴 결과를 일반화한다.
정리 2.7은 섭동된 분수 Allen-Cahn 에너지 범함수가 ( $s$에 따라 비국소 또는 고전적) perimeter 와 강제항을 포함하는 극한 범함수로 $\Gamma$-수렴함을 증명한다.
정리 2.8은 이 섭동된 에너지에 대한 최소화자의 안정성을 확립한다.

• $s \in (0, 1/2)$의 경우, 극한 최소화자는 $\Omega$ 외부의 시퀀스의 약* 극한에 의해 결정되는 외부 데이터를 갖는 비국소 Massari 문제를 만족한다.
• $s \in [1/2, 1)$의 경우, 극한 최소화자는 평균 곡률 $H/c_\star$를 갖는 집합에 해당한다.

3.3 prescribed-mass 문제와 비국소 하이브리드 평균 곡률

작업의 상당 부분이 prescribed-mass Allen-Cahn 문제를 다룬다.

• 정리 2.10 및 2.11: 질량 제약 하에서 최소화자에 대한 $\Gamma$-수렴과 균일 에너지 경계를 증명한다. $s \in [1/2, 1)$에 대한 회복 시퀀스 구성은 에너지 경계를 위반하지 않으면서 질량 조건을 만족하도록 표준 시퀀스를 섭동해야 하므로 새로운 기여이다.
• 정리 2.12: 질량 제약 문제의 해가 비국소 Neumann 외부 조건 (식 2.19) 을 만족함을 보인다. 이는 $\Omega$ 외부의 해가 $\Omega$ 내부 해의 적분 평균에 의해 결정됨을 의미하며, 결정적으로 $\Omega$ 외부에서 해는 부호 있는 특성 함수 ($|u| \neq 1$) 가 아니다.
• 정리 2.14 및 2.15: 질량 제약과 관련된 라그랑주 승수의 수렴과 총 에너지의 수렴을 분석한다.
• 정리 2.18 및 2.20: 비국소 하이브리드 평균 곡률을 도입하고 특징짓는다.
  • 정의 2.17: $\Omega$ 내부의 집합 $E$와 $\Omega$ 외부의 함수 $g$인 쌍 $(E, g)$의 비국소 하이브리드 평균 곡률을 정의한다.
  • 결과: 질량 제약 문제의 극한 구성은 $\Omega$ 내부의 집합 $E$와 $\Omega$ 외부의 함수 $u|_{\Omega^c}$로 구성된다. 인터페이스는 비국소 하이브리드 평균 곡률의 상수성으로 특징지어진다.
  • 정칙성: 논문은 극한 해가 $\partial \Omega$를 가로질러 연속 ($C^0$) 이지만, 일반적으로 경계를 가로질러 $C^1$이 아니라고 지적한다. 이는 불연속이거나 $C^1$인 $s$-최소 그래프와 구별된다.

3.4 기술적 정교화

• 부록 A: Dirichlet 경계 조건과 질량 제약을 모두 부과하는 것이 해가 없는 과도결정 문제가 됨을 보여, 비국소 Neumann 조건의 사용을 정당화한다.
• 부록 B: 1 로 제한된 함수 공간에서 $X_M$ ( $M$으로 제한된 함수) 공간으로 $\Gamma$-수렴 결과를 확장하여, 주요 정리에서 고려된 더 넓은 함수 클래스에 대해 결과가 성립하도록 한다.

4. 중요성 및 주장

본 논문은 prescribed 평균 곡률과 질량 제약을 갖는 비국소 위상 전이에 대한 엄밀한 점근적 분석을 제공한다. 그 중요성은 다음과 같다:

1. 비국소 및 고전적 기하학적 문제 간의 연결: $s \to 1/2$일 때 분수 Massari 문제를 고전적 문제와 공식적으로 연결하여 최소화자와 에너지 경계를 보존한다.
2. 새로운 기하학적 객체: **"비국소 하이브리드 평균 곡률"**의 식별은 새로운 기하학적 객체로 제시된다. 고전적 질량 제약 위상 전이가 일정한 평균 곡률을 갖는 집합으로 수렴하는 것과 달리, 비국소 설정은 (내부 집합, 외부 함수) 쌍으로 정의된 일정한 하이브리드 평균 곡률을 갖는 극한 구성을 산출한다.
3. 비국소 설정에서의 질량 제약 처리: 비국소 기여가 국소화되는 $s \in [1/2, 1)$ 영역에서 질량 제약 문제에 대한 회복 시퀀스 구성과 관련된 문헌의 공백을 다룬다.
4. 경계 거동: 질량 제약이 있는 비국소 인터페이스에 대한 독특한 경계 거동 ($C^0$이지만 $C^1$이 아님) 을 강조하여, 알려진 $s$-최소 그래프 결과와 대비시킨다.

저자들은 임계점에 대한 수렴 결과의 개선 (정리 2.18) 이 독립적인 관심을 끈다고 주장하며, 이는 이전 유사 맥락 (예: [24]) 에서 요구되었던 전역 정칙성에 대한 가정을 완화한다. 이 작업은 비국소 상호작용, 질량 제약, 기하학적 변분 문제 간의 상호작용을 이해하는 데 있어 기초적인 단계로 제시된다.