[논문 리뷰] Fully nonlinear parabolic equations in two space variables

Ben Andrews|ArXiv.org|2004. 02. 14.

Advanced Mathematical Modeling in Engineering참고 문헌 6인용 수 40

한 줄 요약

이 논문은 두 개의 공간 변수를 가진 완전 비선형 포물형 방정식의 해에 대한 두 번째 공간 도함수와 시간 도함수의 허더 연속성 추정을 구축한다. 이는 이차원 타원형 정규성 이론에 영감을 받은 기법을 사용하며, 주요 기여는 $ F $ 에 대한 오목성 조건을 요구하지 않고도 전체 $ C^{2,\beta} $ 정규성 결과를 도출함으로써, 두 차원에서 더 넓은 범주로의 이론 확장을 이루고, 허세인의 수준 집합이 볼록임을 조건으로 하여 고차원으로의 일반화를 수행한다.

ABSTRACT

Hölder estimates for second derivatives are proved for solutions of fully nonlinear parabolic equations in two space variables. Related techniques extend the regularity theory for fully nonlinear parabolic equations in higher dimensions.

연구 동기 및 목표

• 두 개의 공간 변수를 가진 완전 비선형 포물형 방정식의 해에 대한 두 번째 공간 도함수와 시간 도함수의 허더 추정을 수립한다.
• 해당 방정식의 정규성 이론을 오목성 조건을 제거함으로써 오목이 아닌 경우로 확장한다.
• 이차원 타원형 기법을 포물형 설정으로 적응시켜, 낮은 차원에서의 해의 구조를 활용한다.
• 허세인의 수준 집합이 볼록함을 조건으로 하여, 허세인의 수준 집합의 오목성 조건을 대체함으로써 결과를 고차원으로 일반화한다.
• 최소한의 $ F $ 에 대한 구조적 가정 하에 해에 대한 완전한 $ C^{2,\beta} $ 정규성 추정을 제공한다.

제안 방법

• F에 대한 볼록 수준 집합 조건을 오목 연산자 $ \tilde{G} $ 로 변환하기 위해 지수 변환 $ \tilde{G} = -\exp(-KG) $ 을 기반으로 한 변형 기법을 사용하여, 알려진 오목 정규성 이론의 적용을 가능하게 한다.
• 차분 몫 $ \delta_h u $ 에 대해 포물형 최대원리 적용을 통해 초과해를 $ \Psi_+ $ 와 비교함으로써, 첫 번째 도함수의 시간에 대한 허더 연속성을 도출한다.
• 방정식의 구조와 타원성 한계를 활용하여, 포물형 실린더 내에서 하위해와 초과해를 비교함으로써, 두 번째 도함수의 공간적 허더 연속성을 확립한다.
• 두 번째 도함수 차이를 공간적 및 시간적 성분으로 분해하고, 첫 번째 도함수의 시간 정규성과 두 번째 도함수의 공간 정규성을 활용하여, $ D^2u $ 의 시간 허더 연속성을 도출한다.
• 두 차원에서는 허세인의 구조와 $ \dot{F}^{ij} $ 의 균일 타원성 덕분에 고차원보다 더 강력한 정규성 추정이 가능하다는 사실에 의존한다.
• 포물형 실린더 $ Q_1 $ 에서의 스케일링 및 국소화 기법을 사용하여, 컴actness와 불확장 기법을 통해 문제를 국소화된 $ C^{2,\beta} $ 추정으로 환원한다.

실험 결과

연구 질문

• RQ1 두 개의 공간 변수를 가진 완전 비선형 포물형 방정식에 대해, $ D^2u $ 에 대한 오목성 조건 없이도 두 번째 도함수의 허더 추정을 확립할 수 있는가?
• RQ2 모리 및 니레버그의 이차원 타원형 정규성 기법은 어떻게 포물형 설정으로 적응시킬 수 있는가?
• RQ3 고차원에서 오목성이 없이도 $ C^{2,\beta} $ 정규성을 보장하기 위한 $ F $ 에 대한 구조적 조건은 무엇인가?
• RQ4 첫 번째 및 두 번째 공간 도함수의 시간 정규성은 공간-시간 허더 노름으로 어떻게 정량화할 수 있는가?
• RQ5 허더 상수의 최적의 의존성은 타원성 상수 $ \lambda, \Lambda $, $ u $ 와 $ F $ 의 노름에 대해 어떻게 되는가?

주요 결과

• 균일 타원성 조건을 만족하는 두 개의 공간 변수를 가진 완전 비선형 포물형 방정식에서, $ D^2u $ 는 오목성 조건 없이도 $ \lambda/\Lambda $ 에 따라 결정되는 지수 $ \alpha $ 를 가진 공간 및 시간에 대해 허더 연속적이다.
• 시간-공간에서의 시간 도함수 $ u_t $ 는 지수 $ \alpha/2 $ 에 대해 허더 연속적임을 보였으며, 첫 번째 도함수 $ Du $ 는 시간에 대해 지수 $ (1+\alpha)/2 $ 에 대해 허더 연속적이다.
• 추정은 컴act 부분집합 $ \Omega' \subset\subset \Omega $ 과 $ t \geq \tau > 0 $ 에서 균일하게 성립하며, 상수는 $ \lambda, \Lambda $, $ \sup(|D^2u| + |Du|) $, $ \sup|u_t| $, 및 경계로부터의 거리에 따라 달라진다.
• 고차원에서는 $ F $ 에 대한 오목성 조건이, $ F $ 가 $ D^2u $ 에서 수준 집합이 볼록임을 조건으로 하는 더 약한 조건으로 대체된다. 이 조건은 동일한 $ C^{2,\beta} $ 추정을 가능하게 한다.
• $ \tilde{G} = -\exp(-KG) $ 변환은 동일한 타원성 한계를 가진 오목 연산자를 생성하여, 알려진 오목 정규성 이론을 적용함으로써 $ D^2u $ 의 공간적 허더 연속성을 도출할 수 있다.
• 공간적 정규성, $ Du $ 의 시간 정규성, 그리고 분해 기법을 통합함으로써 전체 포물형 $ C^{2,\beta} $ 추정이 확립되며, 이는 $ |D^2u(x,t) - D^2u(x,s)| \leq C|t-s|^{\alpha/2} $ 를 유도한다.