VMO 계수를 갖는 준선형 파라볼릭 방정식의 해 근사와 안정성

초록

본 논문은 공간 변수에 대해 VMO(소멸 평균 진동) 특성을 갖는 계수를 가진 준선형 비발산형 파라볼릭 방정식의 Cauchy‑Dirichlet 문제를 다룬다. 강한 해 (u_{0}) 가 존재한다는 가정 하에, 해와 데이터 사이의 작은 (L^{\infty})‑섭동이 해의 Sobolev (W^{2,1}{p}) 노름에서도 작은 변화를 일으킴을 Implicit Function Theorem 로 증명한다. 또한 Newton 반복을 이용해 (u{0})에 수렴하는 근사열을 구성하고, 수렴 속도와 존재 조건을 제시한다.

상세 분석

이 연구는 두 가지 핵심 기법을 결합한다. 첫 번째는 VMO(x) 계수를 가진 선형 파라볼릭 연산자의 최대 정규성 이론을 활용한 후, 비선형 연산자를 해당 선형 연산자의 작은 변형으로 보는 접근이다. Krylov와 Dong‑Kim이 구축한 (L^{p})‑이론에 따르면, 공간 변수에 대해 VMO 조건을 만족하면 계수의 불연속성에도 불구하고 강한 해가 (W^{2,1}{p}(Q))에 존재하고, 연산자는 Fredholm 지수 0의 동형사상으로 작용한다. 논문은 이를 바탕으로 비선형 연산자 (P(u)=\partial_{t}u-a_{ij}(x,t,u,Du)D_{ij}u-f(x,t,u,Du)) 를 정의하고, 강한 해 (u_{0}) 주변에서 Fréchet 미분 (P’(u_{0})) 가 위의 선형 연산자와 동일함을 확인한다.

두 번째 핵심은 Implicit Function Theorem (IFT)의 적용이다. IFT는 Banach 공간에서 연산자 (P) 가 (C^{1})이고 미분 (P’(u_{0})) 가 전단사이면, 작은 데이터 섭동 ((\tilde a,\tilde f)) 에 대해 고유한 해 (\tilde u) 가 존재하고 (|\tilde u-u_{0}|{W^{2,1}{p}}\le C|(\tilde a-a,f-!f_{0})|{L^{\infty}}) 를 만족한다는 강력한 연속 의존성을 제공한다. 논문은 가정 (H1)–(H5)를 통해 (P) 가 (C^{1})이며, 특히 (H5) 가 선형화 문제의 고유해가 없음을 보장함으로써 (P’(u{0})) 가 전단사임을 확인한다. 여기서 VMO(_x) 모듈러스가 0으로 수렴한다는 점은 평균 진동이 충분히 작아야 함을 의미하며, 이는 미분 연산자의 연속성에 필수적이다.

또한 저자는 Newton 반복을 구체화한다. 초기값을 (u^{(0)}=u_{0}) 로 두고,
\