[논문 리뷰] Maximal monotone operators are selfdual vector fields and vice-versa

Nassif Ghoussoub|ArXiv.org|2006. 10. 16.

Advanced Mathematical Modeling in Engineering참고 문헌 12인용 수 10

한 줄 요약

이 논문은 반사적 바나흐 공간에서 최대 단조 연산자와 자기자기적 벡터장 사이의 이중성을 확립한다: 모든 자기자기적 라그랑지안은 그의 부분미분을 통해 최대 단조 연산자를 생성하며, 반대로 모든 최대 단조 연산자는 어떤 자기자기적 라그랑지안의 부분미분으로 나타난다. 이러한 등가성은 자기자기적 잠재력에서 유도된 함수의 최소화를 통해 이러한 연산자를 포함하는 방정식의 변분적 해를 가능하게 한다.

ABSTRACT

If $L$ is a selfdual Lagrangian $L$ on a reflexive phase space $X imes X^*$, then the vector field $x o \bar\partial L(x):=\{p\in X^*; (p,x)\in \partial L(x,p)\}$ is maximal monotone. Conversely, any maximal monotone operator $T$ on $X$ is derived from such a potential on phase space, that is there exists a selfdual Lagrangian $L$ on $X imes X^*$ (i.e, $L^*(p, x) =L(x, p)$) such that $T=\bar\partial L$. This solution to problems raised by Fitzpatrick can be seen as an extension of a celebrated result of Rockafellar stating that maximal cyclically monotone operators are actually of the form $T=\partial ϕ$ for some convex lower semi-continuous function on $X$. This representation allows for the application of the selfdual variational theory --recently developed by the author-- to the equations driven by maximal monotone vector fields. Consequently, solutions to equations of the form $Λx\in Tx$ for a given map $Λ: D(Λ)\subset X o X^*$, can now be obtained by minimizing functionals of the form $I(x)=L(x,Λx)-< x, Λx>$.

연구 동기 및 목표

• 비선형 해석학에서 최대 단조 연산자의 변분적 표현에 관해 오랫동안 남아있던 질문을 해결하기 위해.
• 순환 단조 연산자에 대한 록파텔의 표현 정리를 더 넓은 최대 단조 연산자 클래스로 확장하기 위해.
• 반사적 바나흐 공간에서 정의된 모든 최대 단조 연산자가 어떤 자기자기적 라그랑지안의 부분미분으로 나타나야 한다는 것을 증명하기 위해.
• 자기자기적 변분 이론을 사용하여 $\Lambda x \in Tx$ 형태의 방정식을 해결하기 위한 변분적 프레임워크를 제공하기 위해.

제안 방법

• 자기자기적 라그랑지안 $L$ 에 대해 $\bar{\partial}L(x) = \{p \in X^* \mid (p,x) \in \partial L(x,p)\}$ 를 정의한다.
• 레전드르-펜클 변환의 성질과 볼록 해석학을 이용하여, 임의의 $\bar{\partial}L$ 가 최대 단조임을 증명한다.
• 중첩된 자기자기적 라그랑지안의 가중 가중치를 사용하여 주어진 최대 단조 연산자 $T$ 에서 자기자기적 라그랑지안 $N_T$ 를 구성하기 위해 초한귀납법을 적용한다.
• 불등식 $L^*(p,x) \geq L(x,p) \geq \langle x,p\rangle$ 를 사용하여, $\bar{\partial}N = T$ 를 만족하는 자기자기적 확장 $N$ 의 존재를 보장한다.
• 자기자기적 변분 이론을 적용하여 $I(x) = L(x, \Lambda x) - \langle x, \Lambda x \rangle$ 형태의 함수를 최소화함으로써 $\Lambda x \in Tx$ 를 해결한다.
• 자기자기적 라그랑지안에 대해 $L^*(p,x) = L(x,p)$ 를 활용하여 대칭성과 변분적 구조를 보장한다.

실험 결과

연구 질문

• RQ1 반사적 바나흐 공간에서 정의된 모든 최대 단조 연산자는 자기자기적 라그랑지안의 부분미분으로 표현될 수 있는가?
• RQ2 고전적 부분미분 최소화를 일반 최대 단조 연산자로 확장하는 변분 원리가 존재하는가?
• RQ3 자기자기적 변분 이론은 최대 단조 벡터장을 포함하는 방정식을 어떻게 해결하는 데 사용할 수 있는가?
• RQ4 자기자기적 라그랑지안과 최대 단조 연산자의 피츠패트릭 표현 간의 관계는 무엇인가?

주요 결과

• 모든 자기자기적 라그랑지안 $L$ 은 $T(x) = \bar{\partial}L(x)$ 를 통해 $X \times X^*$ 에서 최대 단조 벡터장을 생성한다.
• 모든 최대 단조 연산자 $T$ 에 대해 정의역이 비어있으면서, $T = \bar{\partial}N$ 를 만족하는 자기자기적 라그랑지안 $N$ 이 존재한다.
• $N$ 의 구성은 자기자기적 라그랑지안의 중첩된 가중치에 대한 초한귀납법에 기반하며, 자기자기적 극한으로 수렴한다.
• $\Lambda x \in Tx$ 의 해는 $I(x) = N(x, \Lambda x) - \langle x, \Lambda x \rangle$ 를 최소화함으로써 얻어지며, 최소값은 0이다.
• $T$ 와 관련된 자기자기적 라그랑지안 $N_T$ 는 $L_T(x,p) \leq N_T(x,p) \leq L_T^*(p,x)$ 와 $N_T^*(p,x) = N_T(x,p)$ 를 만족한다.
• 이 결과는 록파텔의 정리를 일반화하며, 순환 단조에서 일반 최대 단조 연산자로의 표현을 확장한다.