[논문 리뷰] A finer singular limit of a single-well Modica--Mortola functional and its applications to the Kobayashi--Warren--Carter energy

Yoshikazu Giga, Jun Okamoto외 1명|arXiv (Cornell University)|2020. 03. 18.

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

한 줄 요약

이 논문은 L¹ 또는 측도 수렴보다 더 미세한 위상인 그래프 수렴을 사용하여 단일 우물 Modica--Mortola 함수와 Kobayashi--Warren--Carter 에너지에 대한 새로운 Γ 수렴 프레임워크를 수립한다. 궤적 길이 매개변수를 이용한 전개 기법을 도입하여 명시적인 Γ 수렴 공식을 유도함으로써, 특히 가중 함수의 점별 페르터베이션과 점프 불연속성에 대한 단일 차원 설정에서 최소화자 수렴의 정밀한 특성화를 가능하게 한다.

ABSTRACT

An explicit representation of the Gamma limit of a single-well Modica--Mortola functional is given for one-dimensional space under the graph convergence which is finer than conventional $L^1$-convergence or convergence in measure. As an application, an explicit representation of a singular limit of the Kobayashi-Warren-Carter energy, which is popular in materials science, is given. Some compactness under the graph convergence is also established. Such formulas, as well as compactness, is useful to characterize the limit of minimizers the Kobayashi-Warren-Carter energy. To characterize the Gamma limit under the graph convergence, a new idea which is especially useful for one-dimensional problem is introduced. It is a change of parameter of the variable by arc-length parameter of its graph, which is called unfolding by the arc-length parameter in this paper.

연구 동기 및 목표

• L¹ 또는 측도 수렴보다 더 미세한 수렴 프레임워크를 개발하여 단계 필드 에너지의 특이한 극한을 분석한다.
• 1차원에서 그래프 수렴 하에서 단일 우물 Modica--Mortola 함수의 Γ 극한을 특성화한다.
• 새로운 프레임워크를 적용하여 재료 과학에서 핵심 모델인 Kobayashi--Warren--Carter 에너지에 대한 명시적인 Γ 극한을 도출한다.
• 최소화자에 대해 그래프 수렴 위상에서 컴팩턴스 및 liminf/limsup 부등식을 확립한다.

제안 방법

• 그래프의 하우스도르프 거리로 정의되는 그래프 수렴을 도입하여 L¹ 또는 측도 수렴보다 더 미세한 위상으로 삼는다.
• 함수의 그래프의 궤적 길이 매개변수를 사용한 새로운 매개변수 변환 기법, 즉 '궤적 길이 매개변수에 의한 전개'를 제안하여 불연속점 근처의 점별 행동을 분석한다.
• Eε_b(v) = Eε(v) + b v(0)² 형태의 변형된 Modica--Mortola 함수의 특이한 극한을 분석하여, Ξ(0) = [1/(1+b), 1] 이고 Ξ(x) = {1} (x ≠ 0) 인 집합 값 함수 Ξ로 수렴함을 보인다.
• 극한 집합 값 함수의 점프 불연속점과 지수점 근처의 행동을 연구하여 Γ 극한의 liminf 및 limsup 부등식을 증명한다.
• Kobayashi--Warren--Carter 에너지에 프레임워크를 적용하여 단일 우물 가중 함수를 가진 비균질 총변동 기능으로 간주한다.
• 전개 기법과 총변동의 하한 연속성으로부터 명시적인 Γ 극한 E0_KWC(u, Ξ, M) = σ ∫|ux| + σ ∑ di |ξ−i|² + E0_sMM(Ξ, M) 를 도출한다.

실험 결과

연구 질문

• RQ1 L¹ 또는 측도 수렴보다 더 미세한 수렴 위상에서 단일 우물 Modica--Mortola 함수의 Γ 극한은 어떻게 특성화할 수 있는가?
• RQ2 가중 함수가 그래프 위상에서 수렴할 때 Kobayashi--Warren--Carter 에너지의 명시적 Γ 극한 형태는 무엇인가?
• RQ3 궤적 길이 매개변수 전개 기법은 1차원 단계 필드 모델에서 특이한 극한을 정밀하게 분석하는 데 어떻게 기여하는가?
• RQ4 이러한 특이한 극한에 대해 그래프 수렴 하에서 컴팩턴스 및 liminf/limsup 부등식을 확립할 수 있는가?
• RQ5 점별 페르터베이션(예: b v(0)²)은 특이한 극한에서 어떤 역할을 하는가? 그리고 그래프 수렴 프레임워크는 이를 어떻게 포괄하는가?

주요 결과

• 변형된 Modica--Mortola 함수 Eε_b 에 대한 그래프 수렴 하에서의 Γ 극한은 E0_b(Ξ, M) = (b/(1+b))² + E0_sMM(Ξ, M) 로 명시적으로 표현되며, Ξ(x) = {1} (x ≠ 0) 이고 Ξ(0) = [1/(1+b), 1] 이다.
• 그래프 수렴 위상은 L¹ 수렴에서 손실되는 점별 정보를 포착한다. 예를 들어, ε → 0 일 때 wε(0) → 1/(1+b) 이라는 비영 극한을 포착한다.
• 궤적 길이 매개변수 전개 기법은 함수의 그래프를 재매개변수화하는 방식으로 1차원 문제에서 특이한 극한을 분석하는 데 새로운 방법을 제공한다.
• Kobayashi--Warren--Carter 에너지의 경우, Γ 극한은 E0_KWC(u, Ξ, M) = σ ∫_{Mackslash(Ju∩Σ)} |ux| + σ ∑_{x∈Σ′} di |ξ−i|² + E0_sMM(Ξ, M) 로 주어지며, 여기서 Σ 는 Ξ 가 싱글턴이 아닌 점들의 집합이다.
• 그래프 수렴 하에서 컴팩턴스가 확립되어 최소화 수열이 Γ 극한 공식을 만족하는 극한으로 수렴함을 보장한다.
• 총변동의 하한 연속성과 극한 집합 값 함수의 점프 불연속점 및 지수점 근처의 행동에 대한 추정을 통해 liminf 부등식이 증명된다.