[논문 리뷰] Non linear elliptic theory and the Monge-Ampere equation

Luis Caffarelli|ArXiv.org|2002. 12. 01.

Geometry and complex manifolds인용 수 11

한 줄 요약

이 논문은 비선형 타원형 PDE 이론의 기초 결과를 수립하며, 중심 모델로 몽주-암페르 방정식을 다룬다. 디지오르기 유형 정리들을 통해 해의 호일더 연속성을 증명하고, 이를 통해 변분, 타원형, 기하학적 관점들을 통합한다. 이는 국소 리우빌 정리, 동질화, 최적 운반 이론에 응용되며 분석학, 기하학, 수학적 물리학 간 깊은 연결 고리를 드러낸다.

ABSTRACT

The Monge-Ampere equation, plays a central role in the theory of fully non linear equations. In fact we will like to show how the Monge-Ampere equation, links in some way the ideas comming from the calculus of variations and those of the theory of fully non linear equations.

연구 동기 및 목표

• 몽주-암페르 방정식을 통해 완전 비선형 타원형 방정식 이론을 변분법과 기하학적 분석 이론과 통합한다.
• 비발산형 방정식에 대한 디지오르기 유형 정리들을 적용하여 몽주-암페르 방정식의 해에 대한 호일더 연속성을 확립한다.
• 주기적 및 무작위 매질에서 몽주-암페르 방정식의 전역 해를 조사하여 동질화 및 리우빌 유형 정리에 이를 이르는 바를 밝힌다.
• 몽주-암페르 방정식과 최적 운반 이론 간의 연결 고리를 탐색하며, 특히 비선형성의 동역학과 차원에 의존하지 않는 농도 불등식의 맥락을 다룬다.
• 제곱형 비용의 경우를 초월하여 최적 운반 사상의 기하학적 및 분석적 이해를 확장한다. 이는 오일러-라그랑주 방정식의 라그랑주 표현을 포함한다.

제안 방법

• 유계 가측 계수를 가진 비발산형 방정식 $ A_{ij}(x) = F_{ij}(D^2u) $ 에 대해 디지오르기 정리를 적용하여, 첫 번째 도함수의 호일더 연속성을 증명한다.
• 비교 원리와 $ M $ 이 양의 정부호일 때 $ F(M) = \text{trace}(M) $ 또는 $ \text{det}(M) $ 의 단조성 을 이용하여 몽주-암페르 방정식의 정규성을 확립한다.
• 스케일링과 이차형 변환 $ u_\varepsilon = \varepsilon^2 u(x/\varepsilon) $ 을 사용하여 渐近적 행동을 분석하고 리우빌 유형 정리를 도출한다.
• 주기적 또는 무작위 오른쪽 항 $ f(x) $ 에 대해 동질화 기법을 적용하여, $ \det D^2(P + w) = f(x) $ 를 만족하는 보정자 $ w $ 가 존재함을 증명한다.
• 2차원에서의 비선형성 운반을 방정식 $ \det(I + D^2\psi) = \rho $ 을 통해 분석하여 스트림 함수를 속도장과 보존 법칙에 연결한다.
• 비용 함수를 제곱형이 아닌 엄격한 볼록 함수로 일반화하여 $ \det(I + D(F_j(\nabla\psi))) $ 를 연구하고, 선형화 한 근사에서 라플라스 연산자를 회복한다.

실험 결과

연구 질문

• RQ1 평균이 $ a $ 인 주기적 함수 $ f $ 를 가진 $ \det D^2u = f(x) $ 의 전역 볼록 해 $ u $ 는 어떤 조건에서 이차 다항식과 주기적 보정자로 분해될 수 있는가?
• RQ2 유계 가측 계수 $ A_{ij}(x) $ 를 가진 비발산형 몽주-암페르 방정식의 해도, 디지오르기 정리와 마찬가지로 호일더 연속성을 갖는가?
• RQ3 $ \rho_t + \text{div}(v\rho) = 0 $ 에 의해 지배되는 비선형성 패치의 장기적 행동은 어떻게 되는가? 여기서 $ v = -(\psi_y, \psi_x) $ 이고 $ \det(I + D^2\psi) = \rho $ 이다.
• RQ4 엄격한 볼록 비용 $ C(X-Y) $ 을 가진 최적 운반 이론은 고전적인 제곱형 비용의 경우를 어떻게 일반화하는가? 이에 대응하는 오일러-라그랑주 방정식은 무엇인가?
• RQ5 몽주-암페르 방정식은 고차원 확률론에서 측도의 농도와 차원에 의존하지 않는 불등식에 어떤 영향을 미치는가?

주요 결과

• 평균이 $ a $ 인 주기적 함수 $ f $ 를 가진 $ \det D^2u = f(x) $ 의 전역 볼록 해 $ u $ 는 반드시 $ u = P + w $ 의 형태여야 하며, 여기서 $ P $ 는 $ \det D^2P = a $ 를 만족하는 이차 다항식이고, $ w $ 는 주기적 보정자이다.
• 주기적 $ f $ 에 대해, $ \det D^2(P + w) = f(x) $ 를 만족하는 유일한 주기적 함수 $ w $ 가 존재함을 보여, 몽주-암페르 방정식의 동질화 결과를 확립한다.
• 유계 가측 계수 $ A_{ij}(x) $ 를 가진 $ D_i A_{ij}(x) D_j w = 0 $ 의 해는 호일더 연속성을 갖는다. 이는 디지오르기 정리를 비발산형 방정식으로 일반화한 것이다.
• 주기적 $ \rho $ 를 가진 비선형성 방정식 $ \det(I + D^2\psi) = \rho $ 는 속도장 $ v = -(\psi_y, \psi_x) $ 를 생성하며, 이는 $ \rho $ 를 보존한다. $ \rho = F(\psi) $ 일 때 정적 해가 존재한다.
• 비용 함수 $ C(X-Y) $ 를 가진 몽주-암페르 방정식을 선형화하면 $ \det(I + \varepsilon D(F_j(\nabla\psi))) = 1 + \varepsilon \text{div}(F_j(\nabla\psi)) + O(\varepsilon^2) $ 가 되며, 이는 극한에서 라플라스 연산자를 회복한다.
• 엄격한 볼록 비용을 가진 최적 운반 이론은 오일러-라그랑주 방정식의 라그랑주 표현을 도출하며, 고전적인 제곱형 비용의 경우를 일반화하고 무한차원 변수변환 공식을 가능하게 한다.