[논문 리뷰] Higher Order Convergence Rates in Theory of Homogenization II: Oscillatory Initial Data

Sunghan Kim, Ki-Ahm Lee|arXiv (Cornell University)|2017. 01. 12.

Advanced Mathematical Modeling in Engineering참고 문헌 29인용 수 3

한 줄 요약

이 논문은 급격히 진동하는 초기 데이터를 가진 완전 비선형 균일 타원성 포물형 초기값 문제의 주기적 균질화에서 고차수 수렴 속도를 확립한다. 매크로스코픽 정규성 이론과 지수 감쇠 추정을 이용해 고차수의 초기층 및 내부 보정자(contributor)를 구성함으로써, 저자들은 초기 시간 근처 및 내부에서의 진동 행동을 포괄하는 점근 전개를 도출한다. 이는 보정자가 시간이 지남에 따라 주기성을 잃는 완전 비선형 연산자에 대해서조차 성립한다.

ABSTRACT

We establish higher order convergence rates in periodic homogenization of fully nonlinear uniformly parabolic Cauchy problems accompanied with rapidly oscillating initial data. Such result is new even for linear problems. Here we construct higher order initial layer and interior correctors, which describe the oscillatory behavior near the initial and interior time zone of the domain. To construct higher order correctors, we develop a regularity theory in macroscopic scales, and prove an exponential decay estimate for initial layer correctors. The higher order expansion requires an iteration process: successively correcting the initial layer, then the interior. This leads to a more complicated asymptotic expansion, as compared to the non-oscillating data case, and this complexity is present even in the linear case. A notable observation for fully nonlinear operators is that even if the given operator is space-time periodic, the interior correctors become aperiodic in the time variable as we proceed with the iteration process. Moreover, each interior corrector of higher order is paired with a space-time periodic version, and the difference between the two decays exponentially fast with time.

연구 동기 및 목표

• 급격히 진동하는 초기 데이터를 가진 완전 비선형 균일 포물형 방정식에 대한 주기적 균질화에서 고차수 수렴 속도를 확립하기.
• 초기 데이터가 진동할 경우 발생하는 초기층과 내부 보정자 간의 복잡한 결합을 고려해 고차수 보정자를 체계적으로 구성하는 데 도전하기.
• 비선형성과 진동 구조를 다룰 수 있도록 매크로스코픽 척도에서 정규성 이론을 개발하기.
• 초기층 보정자의 지수 감쇠를 증명하고, 비주기적인 시간 구조를 가지나 주기적 보정자와의 차이가 지수적으로 감쇠되는 고차수 내부 보정자가 존재함을 보여주기.
• 선형 문제를 초월해 이론을 확장함으로써, 선형 방정식의 경우조차 진동하는 초기 조건으로 인해 기존에 알려지지 않은 비트리비얼한 결과를 도출함을 보여주기.

제안 방법

• 비선형 해의 복소해법 프레임워크와 지수 감쇠 추정을 활용해 초기 시간 근처의 급격한 진동을 포괄하는 초기층 보정자를 구성하기.
• 균질화 극한에서 도함수의 성장을 제어하기 위해 느린 변수에서의 해에 대한 매크로스코픽 정규성 이론을 개발하기.
• 초기층과 내부 효과를 순차적으로 보정하기 위한 반복적 체계를 도입하여 보정자 간의 비선형 결합을 고려하기.
• 원래 연산자가 주기적이라도 비선형적 구조로 인해 공간-시간 주기성이 유지되지 않는 고차수 내부 보정자를 정의하기.
• 각 고차수 내부 보정자와 주기적 형태를 짝지어 정의하고, 그 차이가 시간에 따라 지수적으로 감쇠됨을 증명하기.
• 빠른(ε⁻¹x, ε⁻²t) 및 느린(x,t) 변수를 포함하는 다중 척도 점근 전개 방법을 사용하여 오차 추정을 유도하기.

실험 결과

연구 질문

• RQ1 완전 비선형 포물형 방정식의 균질화에서 진동하는 초기 데이터를 가진 경우 최적의 수렴 속도는 무엇인가?
• RQ2 초기 데이터가 급격히 진동할 경우, 초기층과 내부층 간의 복잡한 결합을 고려해 고차수 보정자를 어떻게 체계적으로 구성할 수 있는가?
• RQ3 원래 연산자가 공간-시간 주기적이지만 방정식이 완전 비선형인 경우, 내부 보정자의 주기성은 어떻게 변화하는가?
• RQ4 완전 비선형 방정식의 맥락에서 초기층 보정자에 대한 지수 감쇠 추정을 확립할 수 있는가?
• RQ5 비선형 연산자의 비선형성은 선형 경우와 비교해 고차수 보정자의 구조 및 감쇠 성질에 어떻게 영향을 미치는가?

주요 결과

• 논문은 진동하는 초기 데이터를 가진 완전 비선형 포물형 초기값 문제의 해에 대해 고차수 점근 전개를 확립하였으며, 임의의 m ≥ 2에 대해 수렴 속도가 ε^m임을 보였다.
• 초기층 보정자가 구성되었고, 시간에 따라 지수적으로 감쇠됨을 입증하였으며, 이는 t = 0 근처에서 오차를 제어하는 데 핵심적이다.
• 고차수 내부 보정자는 원래 연산자가 공간-시간 주기적이라도 비선형적 구조로 인해 시간 변수에서 비주기적이 된다.
• 각 고차수 내부 보정자와 주기적 형태를 짝지어 정의하고, 그 차이가 시간에 따라 지수적으로 감쇠됨을 보였다. 이는 효과적인 오차 제어를 가능하게 한다.
• 해법은 m차수 전개에 대해 ε의 오차 추정을 제공하며, ε ≤ 1/2 이면 x ∈ ℝⁿ 및 t ∈ [0,T] 전역에서 균일하게 성립한다.
• 이 구성은 선형 및 완전 비선형 방정식 모두에 유효하며, 진동하는 초기 데이터로 인해 선형 경우조차도 새로운 비트리비얼한 결과를 도출한다.