[논문 리뷰] Anti-selfdual Lagrangians: Variational resolutions of non self-adjoint equations and dissipative evolutions

Nassif Ghoussoub|ArXiv.org|2005. 03. 24.

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

한 줄 요약

이 논문은 고전적 오일러-라그랑주 이론으로는 해결할 수 없는 비자기대칭 및 소산성 진화 방정식(예: 운반 및 포물형 PDE)을 다루기 위한 변분 프레임워크로 반자기대칭(ASD) 라그랑주를 도입한다. 함수형식 $ I(u) = \int L(t, u, \dot{u} + \Lambda_t u)\,dt $ 로 구성된 기능을 정의하며, 여기서 $ L $ 은 ASD 이고 $ \Lambda_t $ 는 경계항을 제외한 채로 반대칭이다. 이 경우 해는 기능값이 0이 되는 최소화자로서 나타나며, 이는 이전에 잠재력이 없는 시스템에 대한 변분 분석을 가능하게 한다.

ABSTRACT

We develop the concept and the calculus of anti-self dual (ASD) Lagrangians which seems inherent to many questions in mathematical physics, geometry, and differential equations. They are natural extensions of gradients of convex functions --hence of self-adjoint positive operators-- which usually drive dissipative systems, but also rich enough to provide representations for the superposition of such gradients with skew-symmetric operators which normally generate unitary flows. They yield variational formulations and resolutions for large classes of non-potential boundary value problems and initial-value parabolic equations. Solutions are minima of functionals of the form $I(u)=L(u, Λu)$ (resp. $I(u)=\int_{0}^{T}L(t, u(t), \dot u (t)+Λ_{t}u(t))dt$) where $L$ is an anti-self dual Lagrangian and where $Λ_{t}$ are essentially skew-adjoint operators. However, and just like the self (and antiself) dual equations of quantum field theory (e.g. Yang-Mills) the equations associated to such minima are not derived from the fact they are critical points of the functional $I$, but because they are also zeroes of the Lagrangian $L$ itself.

연구 동기 및 목표

• 고전적 오일러-라그랑주 공식이 존재하지 않는 비임계 및 비자기대칭 미분방정식을 위한 변분 프레임워크를 개발하는 것.
• 열 방정식이나 운반 방정식과 같은 소산성 시스템을 해결하는 데 있어 고전적 변분법의 한계를 해결하는 것.
• ASD 라그랑주를 사용하여 경계값 문제 및 초기값 포물형 방정식을 체계적으로 변분적으로 해결하는 방법을 제공하는 것.
• 해가 임계점이 아니라 라그랑주가 0이 되는 점으로서 나타나며, 이는 최소값이 항상 0이 되도록 보장하는 것.

제안 방법

• 공간 $ X \times X^* $ 에서 반자기대칭(ASD) 라그랑주 $ L $ 을 정의하여 $ L(x,p) = -L^*(x,-p) $ 를 만족시키며, 이는 볼록 기울기의 일반화이다.
• 기능 $ I(u) = \int_0^T L(t, u(t), \dot{u}(t) + \Lambda_t u(t))\,dt $ 를 구성하며, 여기서 $ \Lambda_t $ 는 경계항을 제외한 채로 반대칭이다.
• 레전드르-펜켈 쌍대성과 경계항을 포함한 이중성 기반 프레임워크를 사용하여 기능이 0 최소값을 갖도록 보장한다.
• 경로 공간 위에서 $ \Lambda_t $ 를 반대칭 연산자로 통합하여 시간에 의존하는 문제에 이론을 적용한다.
• 이러한 기능의 최소화자가 오일러-라그랑주 방정식을 통해 아니라, 라그랑주가 해에서 0이 되기 때문에 원래 PDE를 만족함을 검증한다.
• 강성 조건과 경계 적분 항(예: $ \frac{1}{2}\int_{\partial\Omega} \langle Ju, u \rangle \,d\mu $) 을 활용하여 경계 조건을 강제하고 존재성을 보장한다.

실험 결과

연구 질문

• RQ1 비자기대칭 및 비임계 미분방정식은 새로운 유형의 라그랑주를 사용하여 변분화할 수 있는가?
• RQ2 열 방정식이나 운반 방정식과 같은 소산성 시스템은 오일러-라그랑주 방정식이 아닌 변분 원리로 어떻게 해결할 수 있는가?
• RQ3 ASD 라그랑주로 구성된 기능의 최소값이 0이 되고, 이는 PDE의 해와 대응하기 위한 조건은 무엇인가?
• RQ4 경계항이 반대칭성을 유지하는 조건 하에 ASD 라그랑주를 사용하여 경계값 문제를 해결할 수 있는가?
• RQ5 기능이 임계점이 아니라 라그랑주가 해에서 0이 되는 것이 가지는 역할은 무엇인가?

주요 결과

• 비자기대칭 방정식의 해, 예를 들어 $ \Omega \subset \mathbb{R}^n $ 에서의 운반 방정식 $ -\sum a_i \partial_i u + a_0 u = \beta(u) + f $ 이며 $ u = 0 $ 이 $ \Sigma_- $ 에서 성립하는 경우, 기능 $ I(u) $ 의 최소화자로서 얻어지며 이 기능값은 0이 된다.
• 암시적 운반 방정식 $ \frac{1}{2}u^2 + u + \frac{1}{2}(-\mathbf{a} \cdot \nabla u - 1)^2 - (\mathbf{a} \cdot \nabla u)u = 0 $ 에 대해서는 최소화자 $ \bar{u} $ 가 존재하며 $ I(\bar{u}) = 0 $ 이고, 피적분함수의 음이 아닌 성질 덕분에 해는 점별로 방정식을 만족한다.
• 기능 $ I(u) $ 는 $ \int_\Omega \left( \frac{1}{2}u^2 + u + \frac{1}{2}(-\mathbf{a} \cdot \nabla u - 1)^2 \right) dx + \frac{1}{2}\int_{\Sigma_+} |u|^2 \mathbf{n} \cdot \mathbf{a} \, d\sigma - \frac{1}{2}\int_{\Sigma_-} |u|^2 \mathbf{n} \cdot \mathbf{a} \, d\sigma $ 로 구성되며, 그 최소값은 0이다.
• 핵심 통찰은 라그랑주 $ L $ 이 반자기대칭이고 연산자 $ \Lambda u = \mathbf{a} \cdot \nabla u $ 가 경계를 제외한 채로 반대칭이기 때문에 변분적 해법이 가능하다는 것이다.
• 이 방법은 $ \partial_t u = \Delta u^m + f $ 와 같은 포물형 방정식에도 적용되며, 시간에 의존하는 ASD 기능의 최소화자로서 해를 얻을 수 있다.
• 이론은 최소값이 항상 0임을 보장하며, 해는 기능의 임계점이 아니라 라그랑주가 점별로 0이 되는 것으로 특징지어진다.