[논문 리뷰] Stable phase interfaces in the van der Waals--Cahn--Hilliard theory

Yoshihiro Tonegawa, Neshan Wickramasekera|arXiv (Cornell University)|2010. 07. 13.

nanoparticles nucleation surface interactions참고 문헌 14인용 수 7

한 줄 요약

이 논문은 van der Waals–Cahn–Hilliard 에너지 함수의 균일하게 유계이면서 안정적인 임계점의 극한-경계가 $ n \leq 7 $ 차원에서는 매장된 매끄럽고 안정적인 최소 초곡면이며, 높은 차원에서는 하우스도르프 차원이 $ n-8 $ 이하인 특이점 집합을 제외하고는 매끄럽고 안정적인 최소 초곡면임을 입증한다. 이 결과는 변동형 이론과 최근의 고다중도 변동형에 대한 정규성 정리들을 활용하여 에너지 최소화자에서 더 넓은 범주인 안정적인 임계점으로까지 정규성 이론을 확장한다.

ABSTRACT

We prove that any limit-interface corresponding to a locally uniformly bounded, locally energy-bounded sequence of stable critical points of the van der Waals--Cahn--Hilliard energy functionals with perturbation parameter tending to 0 is supported by an embedded smooth stable minimal hypersurface in low dimensions and an embedded smooth stable minimal hypersurface away from a closed singular set of co-dimension at least 7 in general dimensions. This result was previously known in case the critical points are local minimizers of energy, in which case the limit-hypersurface is locally area minimizing and its (normalized) multiplicity is 1 a.e. Our theorem uses earlier work of the first author establishing stability of the limit-interface as an integral varifold, and relies on a recent general theorem of the second author for its regularity conclusions in the presence of higher multiplicity.

연구 동기 및 목표

• van der Waals–Cahn–Hilliard 모델에서 에너지 최소화자보다 더 넓은 범주인 안정적인 임계점으로까지 극한-경계의 정규성 이론을 확장하기 위해.
• 균일하게 유계인 에너지와 $ L^\infty $-노름을 갖는 안정적인 임계점이 낮은 차원에서 매끄럽고 안정적인 최소 초곡면으로 이르는 극한-경계를 갖는다는 것을 입증하기 위해.
• 차원 수 $ n \geq 8 $ 에서는 극한-경계가 하우스도르프 차원이 $ n-8 $ 이하인 특이점 집합을 제외하고는 매끄럽고 안정적인 최소 초곡면이며, 이는 알려진 면적 최소화 전류에 대한 결과를 일반화하기 위해.
• 확산 경계 모델에서 극한-경계의 매끄러움을 확보하기 위해 에너지 최소화가 아니라 안정성 자체가 충분한지 정규성 이론의 격차를 메우기 위해.

제안 방법

• Cahn–Hilliard 에너지 함수의 안정적인 임계점의 극한을 분석하기 위해 $ \Gamma $-수렴과 변동형 이론의 프레임워크를 사용한다. $ \varepsilon \to 0^+ $ 일 때.
• 첫 번째 저자의 이전 결과를 적용하여 극한-경계가 안정적인 정수 변동형임을 보이며, 일반화된 제2 기본형이 안정성 부등식을 만족함을 보장한다.
• 두 번째 저자의 최근에 발표한 안정적인 정수 변동형에 대한 일반 정규성 정리(고다중도)를 활용하여, 코드미네이션 최소 7 이상의 특이점 집합을 제외한 매끄러움을 유도한다.
• 좌표 차트 내에서 수준집합의 총 곡률을 제어하기 위해 블로업 방법과 공식의 적분 및 코시–슈와르츠 부등식을 활용한다.
• 최소 세 개의 성분을 갖는 곡선은 총 곡률이 양의 상한으로 유계임을 이용한 모순 증명을 적용한다. 이는 극한에서 곡률이 0으로 수렴하는 것과 모순된다.
• 곡률 추정치를 국소적으로 전역화하기 위해 단위 분할과 국소 좌표 차트를 사용하여 경계의 총 곡률에 대한 균일한 추정치를 유도한다.

실험 결과

연구 질문

• RQ1 van der Waals–Cahn–Hilliard 모델에서 극한-경계의 정규성을 에너지 최소화가 아니라 안정성이라는 더 약한 조건 하에서 확립할 수 있는가?
• RQ2 임계점이 안정적이지만 반드시 에너지 함수의 최소화자가 아니면 극한-경계의 구조는 어떻게 되는가?
• RQ3 임계점이 안정적이라면 높은 차원($ n \geq 8 $)에서도 극한-경계가 여전히 매끄럽거나 특이점 집합이 나타나는가?
• RQ4 면적 최소화 전류에 대한 정규성 이론을 Cahn–Hilliard 함수의 안정적인 임계점으로 확장할 수 있는가?
• RQ5 차원 수 $ n \geq 8 $ 일 때 특이점 집합의 정확한 성격은 무엇이며, 이는 차원에 어떻게 의존하는가?

주요 결과

• $ n \leq 7 $ 차원에서, 균일하게 유계이면서 안정적인 임계점 수열의 극한-경계는 매장된 매끄럽고 안정적인 최소 초곡면이다.
• $ n \geq 8 $ 일 때, 극한-경계는 하우스도르프 차원이 $ n-8 $ 이하인 닫힌 특이점 집합을 제외하고는 매끄럽고 안정적인 최소 초곡면이며, $ n = 8 $ 일 경우 특이점 집합은 이산적이다.
• 하나의 하위수열을 거쳐서, 임의의 $ s \in (0,1) $ 에 대해 $ \{ |u_{\varepsilon_i}| < s \} $ 의 경계 영역이 국소 하우스도르프 거리에서 극한-경계로 수렴한다.
• 블로업 분석에서 수준집합 $ \{ u_{\varepsilon_i} = t \} $ 의 곡률은 총 변동에서 0으로 수렴하며, 비영인 총 곡률를 갖는 다중 성분 곡선의 존재와 모순된다.
• 이 증명은 최소 세 개의 성분을 갖는 곡선은 $ \varepsilon_i $ 와 무관하게 양의 상한으로 유계인 총 곡률를 가져야 하며, 이는 곡률 추정치가 0으로 수렴하는 것과 모순됨을 바탕으로 한 모순 증명에 의존한다.
• 이 결과는 이전의 면적 최소화 전류에 대한 정규성 결과를 안정적인 임계점의 경우로 일반화하며, 낮은 차원에서는 안정성 자체가 매끄러움을 보장하고, 높은 차원에서는 부분 정규성을 보여준다.