Explicit formulas of strict BV relaxed energies for polyconvex functionals with linear growth

기술 요약: 선형 성장을 갖는 다합성 범함수에 대한 엄격한 BV 완화 에너지의 명시적 공식

문제 정의
본 논문은 선형 성장을 갖는 벡터값 함수 $u: \Omega \to \mathbb{R}^N$ ($\Omega \subseteq \mathbb{R}^n$는 유계 열린 집합, $n, N \ge 2$)에 대해 정의된 다합성(polyconvex) 변분 범함수의 완화를 다룬다. 모델이 되는 경우는 적률(integrand)이 기울기 행렬 $G \in \mathbb{R}^{N \times n}$의 소수(minors)에 의존하는 면적 범함수(area functional)이다.

선형 성장을 갖는 이러한 범함수의 $L^1$ 수렴에 대한 완화($\tilde{F}_{L^1}$)는 잘 연구되어 왔으나, 결과적으로 도출된 완화된 범함수가 적분 표현식을 결여하거나 국소성(locality)을 갖지 못한다(즉, 집합 함수 $A \mapsto \tilde{F}_{L^1}(u, A)$가 부가성을 만족하지 않는다)는 사실은 알려져 있다. 이러한 비국소성은 $L^1$ 수렴이 동일한 근사 수열에 대해 서로 다른 여러 개의 극한 카테시안 전류(limit Cartesian currents)를 생성할 수 있는 농축 효과(concentration effects)를 허용하기 때문에 발생한다.

이러한 단점들을 극복하기 위해, 저자들은 **$BV$에서의 엄격한 수렴(strict convergence in $BV$)**에 대한 완화($\tilde{F}_{BV}$)를 분석한다. 이 설정에서는$L^1$ 수렴과 더불어 미분의 총 변동(total variation)의 수렴이 요구된다. 주요 목표는 이미 완화된 면적 범함수 $\tilde{A}_{BV}(u, \Omega)$가 알려진 경우를 포함하여, 광범위한 클래스의 다합성 적률에 대해 $\tilde{F}_{BV}(u, \Omega)$에 대한 명시적인 적분 표현 공식을 유도하는 것이다.

방법론
저자들은 카테시안 전류(Cartesian currents) 이론을 포함한 기하학적 측도론(geometric measure theory)과 측도에 정의된 범함수에 대한 연속성 결과를 결합하여 활용한다.

1. 카테시안 전류와 유일성: 분석은 매끄러운 근사 함수의 그래프를 적분 전류(integral currents)로 표현하는 것에 의존한다. 핵심적인 관찰은 여유 차원(codimension) $N=2$ (즉, 사상 $u: \mathbb{R}^n \to \mathbb{R}^2$)에서, 엄격한 $BV$수렴이 근사 수열과 연관된 극한 카테시안 전류$T$의 유일성을 보장한다는 것이다. 이는$L^1$의 경우나 더 높은 여유 차원($N \ge 1$)에서 여러 극한 전류가 존재할 수 있는 것과 대조된다.
2. Reshetnyak 연속성 정리: 핵심적인 기술적 도구는 Reshetnyak의 연속성 정리의 확장이다. 저자들은 만약 전류의 수열 $T_h$가 $T$로 약하게 수렴하고 그 질량(mass)이 수렴($M(T_h) \to M(T)$)한다면, 다합성 적률 $f$와 연관된 파라메트릭 변분 적분(parametric variational integral) 또한 $F_f(T_h) \to F_f(T)$로 수렴함을 증명한다.
3. 근사 전략: $\tilde{F}_{BV}$에 대한 명시적 공식을 확립하기 위해, 저자들은 특정 클래스의 사상들에 대해, 연관된 그래프 전류 $G_{u_h}$가 최소 질량을 갖는 유일한 최적 카테시안 전류 $T$로 수렴하는 엄격한 $BV$수렴 근사 수열${u_h}$가 존재함을 검증한다. 완화된 에너지의 하반연속성(lower semicontinuity)과 Reshetnyak 정리로부터 유도된 연속성 결과를 결 결합함으로써, 완화된 에너지를 이 유일한 전류 위에서 평가된 파라메트릭 적분과 동일시한다.
4. 플라토 문제(Plateau Problem) 분석: 특정 사상 클래스(0-동차 사상 및 조각별 리프시츠 사상)에 대해, 저자들은 평면 플라토 문제에 관한 결과들을 활용한다. 저자들은 명시적 공식이 성립하기 위한 조건인, 경계 데이터의 호모토피 클래스의 대수적 구조를 분석하여 최소 곡면의 질량이 연관된 전류의 질량과 일치하는지를 결정한다.

주요 기여 및 결과

• 주요 정리 (Theorem 1.1 / Theorem 3.7): 본 논문은 만약 $u \in BV(\Omega; \mathbb{R}^2)$가 $u$를 기저 사상으로 갖는 모든 전류들 중 질량을 최소화하는 유일한 카테시안 전류 $T$를 가진다면(이는 $N=2$인 여유 차원에서 엄격한 $BV$수렴 하에 충족되는 조건이다), 임의의 연속 다합성 적률$f$에 대한 완화된 에너지는 다음과 같이 명시적으로 주어진다는 것을 입증한다:
  $$\tilde{F}_{BV}(u, \Omega) = F_f(T)$$
  여기서 $F_f(T)$는 $T$ 위에서 $f$와 연관된 파라메트릭 변분 적분이다.

• 특정 클래스에 대한 명시적 공식: 저자들은 기존의 완화된 면적 범함수 표현식을 활용하여, 최적 전류 $T$의 구조가 알려진 세 가지 특정 사상 클래스에 이 주요 결과를 적용한다:

  1. $S^1$으로의 소볼레프 사상: $u \in W^{1,1}(\Omega; S^1)$에 대하여, 완화된 에너지는 분포 결정항(distributional determinant, 또는 특이점을 탐지하는 $(n-2)$-전류 $P(u)$)을 통해 표현된다. 에너지 갭은 수직 전류 $P(u) \times [[D^2]]$ 상의 적분으로 명시적으로 계산된다.
  2. 0-동차 사상: $u_\gamma(x) = \gamma(x/|x|)$ 형태의 사상에 대하여, 완화된 에너지는 평면 특이 플라토 문제를 포함한다. 저자들은 $\gamma$의 호모토피 클래스에 대한 성질 (H)를 통해, 에너지 갭이 경계 곡선을 가로지르는 특정 전류의 질량에 의해 명시적으로 계산될 수 있는 충분 조건을 제공한다.
  3. 조각별 리프시츠 사상: 인터페이스 네트워크를 갖는 도메인의 분할 위에 정의된 사상에 대하여, 저자들은 경계 데이터가 성질 (H)를 만족할 때 점프 표면 상의 적분과 접합점(junction points)으로부터의 기여를 포함하는 공식을 유도한다.

• 보텍스 사상의 $L^1$ 완화: 본 논문은 보텍스 사상 $u_V(x) = x/|x|$의 $L^1$ 완화에 관한 부분적인 결과를 제공한다. 충분히 큰 도메인에 대해서는 에너지 갭이 타겟 공간의 디스크 상에 지지된 수직 전류의 질량에 의해 결정되는 반면, 작은 도메인에 대해서는 갭이 카테노이드(catenoidal) 곡면에 의해 결정됨을 보여준다. 저자들은 이러한 경우에도 $L^1$ 완화의 비국소성이 지속됨을 언급한다.

의의 및 주장
본 논문은 선형 성장을 갖는 일반적인 다합성 범함수의 엄격한 $BV$ 완화 에너지에 대한 명시적인 적분 표현식을 제공하며, 면적 범률에 대해 알려진 결과를 더 넓은 클래스의 적률로 확장한다.

• 국소성: 저자들은 여유 차원 $N=2$에서 엄격한 $BV$위상이$L^1$ 위상과 달리 국소성을 회복한다(완화된 범함수가 보렐 측도의 제한이 된다)는 점을 강조한다. 이는 일반적인 적률에 대해 이전에 불가능했던 명시적 공식의 도출을 가능하게 한다.
• 연속성 확장: 본 연구는 Acerbi와 Dal Maso가 소볼레프 설정에서 관찰한 다합성 에너지의 연속성 성질을, $N=2$에서의 극한 전류의 유일성을 활용하여 $BV$ 설정으로 확장한다.
• 범위: 결과는 광범위한 클래스의 적률(다합성, 선형 성장)에 대해 유효하지만, 유일한 최적 카테시안 전류의 존재 여부에 따라 달라진다. 저자들은 $N \ge 3$이거나 특정 대수적 조건(예: "double-eight" 예시)을 만족하지 않는 사상의 경우, 극한 전류의 유일성이 실패할 수 있으며, 따라서 명시적 공식이 성립하지 않거나 추가적인 조사가 필요할 수 있음을 명시적으로 인정한다.

논문은 특히 유일한 최소 삽입(minimal injection)의 존재가 실패하는 경우(예: double-eight 곡선)에 대한 결과의 확장과, 작은 도메인에서의 보텍스 사상에 대한 $L^1$ 완화의 정확한 특성화와 관련된 미해결 과제들을 식별하며 마무리된다.