[논문 리뷰] Variational approximation of size-mass energies for k-dimensional currents

Antonin Chambolle, Luca Alberto Davide Ferrari외 1명|arXiv (Cornell University)|2017. 10. 24.

Advanced Mathematical Modeling in Engineering참고 문헌 11인용 수 3

한 줄 요약

이 논문은 k차원 전류와 관련된 크기-질량 에너지를 위한 변분 단계장 근사법을 제안하며, Ambrosio-Tortorelli 기능을 고차원에서의 고차원에 일반화한다. k=1인 경우는 브랑치드 운반 에너지로, 일반적인 k<n인 경우는 플라우트 에너지로 Γ수렴을 증명하며, a↓0의 극한에서 스테이너 문제와 플라우트 문제를 복원한다.

ABSTRACT

In this paper we produce a $$Γ$$-convergence result for a class of energies $F k $ε$,a$ modeled on the Ambrosio-Tortorelli functional. For the choice k = 1 we show that $F 1 $ε$,a $Γ$$-converges to a branched transportation energy whose cost per unit length is a function $f n--1 a$ depending on a parameter $a &gt; 0$ and on the codimension n -- 1. The limit cost f a (m) is bounded from below by 1 + m so that the limit functional controls the mass and the length of the limit object. In the limit a $\downarrow$ 0 we recover the Steiner energy. We then generalize the approach to any dimension and codimension. The limit objects are now k-currents with prescribed boundary, the limit functional controls both their masses and sizes. In the limit $a $\downarrow$ 0$, we recover the Plateau energy defined on k-currents, $k &lt; n$. The energies $F k $ε$,a$ then can be used for the numerical treatment of the k-Plateau problem.

연구 동기 및 목표

• R^n 내 k차원 전류에 대한 크기-질량 에너지의 변분 근사 방법을 개발하여 이전의 1-전류 연구를 일반화한다.
• 정규화 매개수 a↓0의 극한에서, 질량과 크기를 모두 통제하는 한계 에너지로 수렴하는 단계장 기능 F^k_ε,a의 Γ수렴을 확립한다.
• 특히 k=1인 경우 브랑치드 운반 문제, k<n인 경우 플라우트 문제와 같은 알려진 기하학적 변분 문제를 a↓0의 극한에서 복원한다.
• 특이 전류의 확산 근사를 통해 k-플라우트 문제를 수치적으로 해결할 수 있는 실용적인 프레임워크를 제공한다.

제안 방법

• 벡터장 σ_ε ∈ L²(Ω,R^n)과 단계장 u ∈ W¹,p(Ω,[η,1])에 정의된 확산 기능 F^k_ε,a를 제안하며, 여기서 η = aε^n이다.
• Ambrosio-Tortorelli 단계장 접근법에 기반하여, u의 기울기, (1−u)², 그리고 u|σ|² 항을 ε로 스케일링하여 페널티를 부과한다.
• 모든 D’(R^n)에서 ∇·σ_ε = (∑c_j δ_{x_j}) * ρ_ε를 만족시키는 발산 제약 조건을 도입하여, 부드러운 점원천을 통한 통량 보존을 보장한다.
• Γ수렴 이론을 사용하여 ε↓0일 때 근사 기능이 질량과 크기를 모두 통제하는 한계 에너지로 수렴함을 보인다.
• 블로업 방법과 구 위에서의 최적 구성 분석을 통해 Γ-하한 및 Γ-상한 추정을 이용하여 효과적 비용 함수 f^d_a(m)를 계산한다.
• f^d_a(m) = min_r T(m,r)임을 증명하며, 여기서 T(m,r)는 a, m, r 및 기하학적 상수를 포함하는 항들을 조합한 식이며, f^d_a의 연속성, 단조성, 부분加법성을 보인다.

실험 결과

연구 질문

• RQ1 Ambrosio-Tortorelli 단계장 접근법은 임의의 고차원에서의 k차원 전류에 대한 크기-질량 에너지를 근사하는 데 일반화될 수 있는가?
• RQ2 ε↓0일 때 제안된 단계장 기능 F^k_ε,a의 Γ한계는 무엇이며, 이는 한계 전류의 질량과 크기를 어떻게 통제하는가?
• RQ3 매개수 a↓0일 때 한계 에너지는 어떻게 행동하며, 스테이너 또는 플라우트 에너지와 같은 알려진 기하학적 함수를 복원하는가?
• RQ4 효과적 비용 함수 f^d_a(m)는 연속적이고 단조적이며 부분加법적인가? 그리고 a↓0일 때의 渐近 행동은 어떠한가?
• RQ5 단계장 근사는 k < n인 k-플라우트 문제를 수치적으로 해결하는 데 사용될 수 있는가?

주요 결과

• k=1인 경우, F^1_ε,a의 Γ한계는 비용 함수 f^1_a(m) = min_r T(m,r)를 갖는 브랑치드 운반 에너지이며, 하한이 1+m로 유계이다.
• a↓0일 때, f^1_a(m) → ∞ (m>0이면)이며, 이는 전체 네트워크 길이에 따라 분기 비용을 부과하는 스테이너 에너지를 복원한다.
• 일반적인 k<n인 경우, F^k_ε,a의 Γ한계는 k-전류의 질량과 크기를 모두 통제하는 기능이며, 1차원 경우를 고차원으로 일반화한다.
• a↓0의 극한에서, 기능은 플라우트 에너지로 수렴하며, 이는 주어진 경계를 가진 k-전류 중 질량을 최소화하는 기능이다.
• 효과적 비용 함수 f^d_a(m)는 (0,∞)에서 연속적이며, 비감소적이며 부분加법적이다. m>0이면 f^d_a(m) ≥ κ이며, 여기서 κ는 질량 단위당 에너지의 하한이다.
• a↓0일 때, f^d_a(m) → κ·1_{(0,∞)} 점별 수렴을 보이며, 이는 극한에서 최소 질량 기능으로의 수렴을 확인한다.