[논문 리뷰] A coarea-type formula for the relaxation of a generalized elastica functional

Simon Masnou, Giacomo Nardi|arXiv (Cornell University)|2011. 12. 09.

Advanced Mathematical Modeling in Engineering참고 문헌 22인용 수 7

한 줄 요약

이 논문은 일반화된 탄성 에너지 함수의 L¹-하향 연속 폐쇄에 대해 코아레아 유형의 공식을 수립하며, 임의의 BV 함수에 대해 이완된 에너지를 수준집합의 적분으로 표현함을 증명한다. 여기서 각 수준집합의 경계는 제어된 곡률을 가진 W²ᵖ 곡선들로 덮여 있다. 핵심 결과는 수준선을 가로지르는 매끄러운 곡선들의 집합을 통해 총 p-탄성 에너지를 최소화하는 변분적 특성에 기반한 이완의 특성화이다.

ABSTRACT

We consider in R^2 the generalized elastica functional defined, for smooth functions, as the p-elastica energies of the level lines integrated over all levels. Extending the functional to L1, we study its L1-lower semicontinuous envelope and we prove that, for any u in BV, the envelope at u can be represented by a coarea-type formula involving suitable collections of W2,p curves that cover the essential boundaries of the level sets of u.

연구 동기 및 목표

• 정의된 C² 함수 위에서 일반화된 탄성 에너지 함수의 L¹-하향 연속 폐쇄를 특성화하는 것.
• 고전적 코아레아 공식을 BV 함수에서 곡률에 의존하는 에너지를 포함하는 이완된 설정으로 확장하는 것.
• 초수준집합의 경계를 덮는 W²ᵖ 곡선들의 집합을 사용하여 이완된 에너지의 변분적 표현을 제공하는 것.
• L¹에서 원래 함수의 하향 연속성 부족을 해결하기 위해 BV에서의 근사에 의한 잘 정의된 이완을 구성함으로써 문제를 해결하는 것.
• 반드시 하향 연속적이지 않은 원래 함수의 이완을 분석함으로써 BV(Ω)와 BV₀(Ω)에서의 이완의 차이를 명확히 하고, 국소화 성질을 증명하는 것.

제안 방법

• 저자들은 R² 위에서 |∇u|(1 + |div(∇u/|∇u|)|ᵖ)의 적분으로 정의된 일반화된 탄성 에너지 함수 F(u)를 정의하며, p > 1, α = β = 1이다.
• C² 함수로의 근사와 직접 방법을 사용하여 u ∈ BV(R²)에 대해 L¹-하향 연속 폐쇄 F̄(u)를 연구한다.
• 코아레아 유형의 공식이 유도되며, F̄(u)가 t ∈ R 에 대해 수준집합의 p-탄성 에너지 W({u > t})의 적분으로 표현됨을 보여준다.
• p-탄성 에너지 W(E)는 C² 경계에 대해 ∫_{∂E} (1 + |κ|ᵖ) dℋ¹ 으로 정의되며, 그 외의 경우 +∞이다.
• 이완은 초수준집합 {u > t}의 본질적 경계를 덮는 W²ᵖ 곡선들의 집합에 대한 최소화 문제를 통해 특성화된다.
• 증명은 Sard의 보조정리, BV에서의 컴팩턴스, 에너지가 균일하게 유계인 C²_c(Ω)에서의 근사 수열의 구성에 기반한다.

실험 결과

연구 질문

• RQ1 BV 함수에 대해 일반화된 탄성 에너지 함수의 L¹-하향 연속 폐쇄는 어떻게 표현될 수 있는가?
• RQ2 원래 함수가 L¹에서 하향 연속적이지 않은 경우에도 이완된 에너지에 대해 코아레아 유형의 공식을 수립할 수 있는가?
• RQ3 W²ᵖ 곡선은 BV 함수의 수준집합의 이완된 에너지를 특성화하는 데 어떤 역할을 하는가?
• RQ4 콤팩트 지지가 있는 BV 함수를 근사할 때, F̄(u, Ω)과 F̄₀(u, Ω)의 이완은 어떻게 다를 수 있는가?
• RQ5 곡률과 곡선 집합의 관점에서 이완된 에너지의 최소화자의 기하학적 구조는 어떠한가?

주요 결과

• 일반화된 탄성 에너지 함수의 L¹-하향 연속 폐쇄 F̄(u)가 유한한 것은 초수준집합 {u > t}의 본질적 경계가 유한한 p-탄성 에너지를 가진 W²ᵖ 곡선들의 집합으로 덮일 수 있을 때에만 성립한다.
• 모든 u ∈ BV(R²)에 대해 이완된 에너지 F̄(u)는 코아레아 유형의 표현을 갖는다: F̄(u) = ∫_ℝ W({u > t}) dt, 여기서 W(E)는 ∂E의 p-탄성 에너지이다.
• 일반적으로 BV₀(Ω)에서의 이완 F̄₀(u, Ω)는 BV(Ω)에서의 이완 F̄(u, Ω)보다 엄격히 작다. 이는 4.4 예제에서 C²(Ω)에서의 수열이 C²_c(Ω)에서의 수열보다 낮은 에너지를 유도함으로써 보여진다.
• 콤팩트 지지를 가지며 유한한 이완된 에너지를 가지는 함수에 대해 이완은 국소화된다: u의 지지집합을 포함하는 유계 도메인 Ω에 대해 F̄(u) = F̄₀(u|_Ω, Ω)이다.
• 함수 F는 L¹(R²)에서 하향 연속적이지 않다. C² 함수의 수열이 유한한 곡면 둘레의 특성 함수로 L¹ 수렴하나, 에너지는 유계이지만 극한이 C²에 속하지 않는 반례로 보여진다.
• BV(R²)에서 이완된 에너지의 최소화 문제는 잘 정의되어 있으며, 이완 함수의 하향 연속성과 컴팩턴스에 의해 최소화자가 존재함이 보장된다.