[논문 리뷰] Parabolic equations with rough coefficients and singular forcing

Félix Otto, Jonas Sauer외 2명|arXiv (Cornell University)|2018. 03. 21.

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

한 줄 요약

이 논문은 난류 확산 계수와 특이성 강한 외력이 있는 포물선 방정식에 대해 새로운 개념의 모델링된 분포를 도입함으로써, 음의 포물선 하올더 공간에서 재구성과 적분이 가능하도록 하는 결정론적 이론을 개발한다. 이는 하올더 스케일에서 정규화 정도가 $-\frac{3}{2}$를 초과하는 해에 대해 존재성과 유일성을 확립하며, 계수의 하올더 연속성에 대한 최소한의 가정 하에 정규화 구조 이론을 변수 계수 방정식으로 확장한다.

ABSTRACT

This article focuses on parabolic equations with rough diffusion coefficients which are ill-posed in the classical sense of distributions due to the presence of a singular forcing. Inspired by the philosophy of rough paths and regularity structures, we introduce a notion of modelled distribution which is suitable in this context. We prove two general tools for reconstruction and integration, as well as a product lemma which is tailor made for the reconstruction of the rough diffusion operator. This yields a partially automated deterministic theory, which we apply to obtain an existence and uniqueness theory for parabolic equations with rough diffusion coefficients and a singular forcing in the negative parabolic Hölder space of order larger than $-\frac{3}{2}$.

연구 동기 및 목표

• 클래식한 분포 이론의 관점에서 난류 확산 계수와 특이성 외력이 있는 포물선 방정식의 부적절성 문제를 다루기 위해.
• 새로운 모델링된 분포의 개념을 도입하여, 이러한 방정식을 해결하기 위한 결정론적이고 부분적으로 자동화된 이론을 개발하기 위해.
• 정규화 구조와 관련된 방법론의 적용 범위를 계수의 하올더 연속성 $C^{\alpha}$ 및 외력의 하올더 연속성 $C^{\alpha-2}$를 만족하는 변수 계수 포물선 PDE로 확장하기 위해.
• 특이한 SPDE의 재정규화 절차의 두 번째 단계에 대한 엄밀한 분석적 프레임워크를 수립하기 위해, 특히 해 이론에 초점을 맞추어 스트로스틱적 근사가 아닌 해석적 단계에 중점을 두기 위해.

제안 방법

• 난류 계수와 특이성 외력이 있는 포물선 방정식의 구조에 맞추어 특화된 새로운 모델링된 분포의 개념을 도입한다.
• 분포의 재구성과 비선형 연산의 처리를 가능하게 하는 두 가지 일반적 도구인 재구성 및 적분을 개발한다.
• 낮은 정규화 정도의 상황에서 난류 확산 연산자 $a \partial_1^2 u$를 재구성하기 위해 특별히 설계된 곱셈 보조정리(lemma)를 확립한다.
• 계수 필드와 해의 상호작용을 표현하기 위해 주기적인 $C^{\alpha}$ 함수를 기반으로 한 매개변수 모델을 사용한다.
• 시간 변수를 공간 차원으로 간주하여 타원형 분석이 가능하도록, $[0,1)^2$ 상의 투영된 주기적 설정에 이론을 적용한다.
• 해의 일관성과 유일성을 보장하기 위해 뼈대 기반 함수 공간 프레임워크와 철저히 구성된 모델에 의존한다.

실험 결과

연구 질문

• RQ1 계수 $a \in C^{\alpha}$ 및 해 $u \in C^{\alpha}$ 이면서 $\alpha + (\alpha - 2) < 0$ 인 경우, 전통적으로 정의되지 않는 곱 $a \partial_1^2 u$를 어떻게 정의하고 재구성할 수 있는가?
• RQ2 난류 포물선 PDE에 특이성 외력이 존재하는 맥락에서 재구성과 적분이 가능하도록 하는 적절한 모델링된 분포의 개념은 무엇인가?
• RQ3 스트로스틱적 근사에 의존하지 않고, 재정규화의 해석적 단계에 중점을 두어 이러한 방정식에 대해 결정론적이고 부분적으로 자동화된 이론을 구성할 수 있는가?
• RQ4 계수의 하올더 연속성 $C^{\alpha}$ 및 외력의 하올더 연속성 $C^{\alpha-2}$를 만족하는 변수 계수 포물선 방정식으로 이 이론이 어떻게 확장되는가?
• RQ5 정규화 정도가 $-\frac{3}{2}$를 초과하는 음의 포물선 하올더 공간에서 해의 존재성과 유일성을 보장하는 조건은 무엇인가?

주요 결과

• 논문은 $\alpha \in (\frac{1}{2}, \frac{2}{3})$ 라는 조건 하에, 음의 포물선 하올더 공간에서 정규화 정도가 $-\frac{3}{2}$를 초과하는 해에 대해 포물선 방정식 $\partial_2 u - P(a \partial_1^2 u) = P f$ 의 존재성과 유일성을 확립한다.
• 난류 계수와 특이성 외력이 존재하는 맥락에서 분포 재구성과 적분이 가능한 새로운 모델링된 분포의 개념을 도입한다.
• 재구성 및 적분 도구가 안정적이고 일관되게 작동함을 증명하여, $a \partial_1^2 u$와 같은 비선형 연산의 처리가 특화된 곱셈 보조정리를 통해 가능해진다.
• 해 이론은 평균 자유 함수로의 투영 $P$를 포함한 $[0,1)^2$ 상의 주기적 설정에서 제시되며, 이는 포물선 문제에 대해 타원형 분석이 가능하게 한다.
• 이론은 부분적으로 자동화된 분석적 프레임워크를 달성하여 해 과정에서 명시적 펌정 전개의 필요성을 줄였다.
• 가정 $N \leq \epsilon^2$ 및 $\epsilon \leq 1$ 하에, 모델링된 분포 노름에 대한 정량적 경계를 도출한다: $[V_u^\eta] \lesssim \epsilon^{-2} N^3$ 및 $\|V_u^\eta\| \lesssim 1$ 이며, 이는 안정성과 수렴성을 보장한다.