[논문 리뷰] Weak Solutions of the Stochastic Landau-Lifshitz-Gilbert Equation

Zdzisław Brzeźniak, Beniamin Gołdys|ArXiv.org|2008. 12. 31.

Stochastic processes and financial applications참고 문헌 16인용 수 24

한 줄 요약

이 논문은 유계 3차원 도메인에서 다중 공간에 의존하는 소음에 의한 스트라토노비치 의미의 확률적 랑다우-리프시츠-기르버 방정식에 대해 약한 마르팅일 해가 존재함을 확립한다. 갈레르킨 근사와 컴팩트니스 방법을 사용하여, 구면 $\mathbb{S}^2$ 에 값을 갖는 해의 존재성을 증명하며, 결정론적 경우조차도 새로운 정규성 결과를 도출한다.

ABSTRACT

The Landau-Lifshitz-Gilbert equation perturbed by a multiplicative space-dependent noise is considered for a ferromagnet filling a bounded three-dimensional domain. We show the existence of weak martingale solutions taking values in a sphere $\mathbb S^2$. The regularity of weak solutions is also discussed. Some of the regularity results are new even for the deterministic Landau-Lifshitz-Gilbert equation.

연구 동기 및 목표

• 유계 3차원 도메인에서 확률적 랑다우-리프시츠-기르버 방정식에 대한 약한 마르팅일 해의 존재성을 확립한다.
• 열린 자석체에서의 열적 불안정성을 모델링하기 위해 스트라토노비치 의미의 다중성, 공간에 의존하는 소음을 포함한다.
• 결정론적 경우를 초월하여, 특히 $\mathbb{S}^2$ 에 제약을 받는 해에 대한 존재성과 정규성 결과를 확장한다.
• 균일하지 않은 자화를 갖는 3차원 자성체로 얇은 필름 결과를 확장하는 열린 문제를 다룬다.

제안 방법

• 스트라토노비치 소음을 갖는 $L^2(D, \mathbb{R}^3)$ 에서의 진화 방정식으로서 확률적 LLG 방정식을 수립한다.
• 페아에도-갈레르킨 근사를 사용하여 유한 차원 해의 수열을 구성한다.
• 근사 해들에 대한 $L^p$ 및 소볼레프 노름에서의 일관된 사전 경계를 확립한다.
• 컴팩트니스 방법, 특히 반바른-알라오글루 정리와 리오니-오비에르 렘마를 적용하여 수렴하는 부분수열을 추출한다.
• 컴팩트 임bedding $W^{\alpha,q}(0,T;B_1) \cap L^p(0,T;B_0)$ 에서 $L^p(0,T;B)$ 로의 전환을 이용하여 극한을 취한다.
• 이토-스트라토노비치 보정과 확률적 적분의 성질을 활용하여 약한 공식화에서 소음 항을 다룬다.

실험 결과

연구 질문

• RQ1 3차원에서 다중 공간에 의존하는 소음을 갖는 확률적 랑다우-리프시츠-기르버 방정식에 대해 약한 마르팅일 해가 존재하는가?
• RQ2 해가 거의 확실히 모든 $t,x$ 에 대해 $\mathbb{S}^2$ 에 값을 갖는다 할 수 있는가, 즉 단위 길이 제약 조건을 유지하는가?
• RQ3 이러한 약한 해에 대해 어떤 정규성 성질을 확립할 수 있는가, 특히 결정론적 경우와 비교하여 어떻게 되는가?
• RQ4 이러한 유형의 확률적 PDE에 대해 컴팩트니스 방법이 적용 가능한가, 특히 비선형성과 구면 값 제약 조건을 포함하는 경우에 대해 어떻게 되는가?

주요 결과

• 논문은 다중 공간에 의존하는 스트라토노비치 소음을 갖는 유계 3차원 도메인에서의 확률적 LLG 방정식에 대해 약한 마르팅일 해의 존재성을 증명한다.
• 해들은 거의 확실히 모든 $t,x$ 에 대해 $|u(t,x)| = 1$ 을 만족한다.
• 해의 존재성 증명은 갈레르킨 근사와 컴팩트니스 추론에 기반하며, 베소프-스로베츠키 공간과 임베딩 정리의 사용을 포함한다.
• 약한 해에 대해 새로운 정규성 결과를 도출하였으며, 이는 결정론적 설정에서도 신규한 것이다.
• 컴팩트 임베딩 결과 $L^p(0,T;B_0) \cap W^{\alpha,q}(0,T;B_1) \hookrightarrow L^p(0,T;B)$ 는 근사 수열의 타이트니스를 증명하는 데 핵심적인 역할을 한다.
• 이 방법은 1차원 소음에 적용 가능하며, $d$-차원 소음으로의 일반화는 소수의 수정만 필요하다.