[논문 리뷰] Space-time homogenization problems for porous medium equations with nonnegative initial data

Goro Akagi, Tomoyuki Oka|arXiv (Cornell University)|2021. 11. 10.

Advanced Mathematical Modeling in Engineering참고 문헌 14인용 수 5

한 줄 요약

이 논문은 비음성 초깃값을 가진 다공성 매질 방정식에 대해 시공간 동질화를 수립하며, 세포 문제를 통해 동질화된 확산 행렬을 특성화한다. 국소 균일한 기울기 추정을 개발함으로써 이전 연구에서 비선형성에 대한 제약 조건을 초월하여, 동질화된 확산류가 $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $임을 증명한다. 여기서 $ a_{\text{hom}} $ 는 $ r \neq 2 $ 일 때는 상수이며, $ r = 2 $ 일 때는 $ (x,t) $ 에 따라 달라지며, $ y $ 와 $ s $ 에서의 주기적 세포 문제를 통해 명시적으로 기술된다.

ABSTRACT

This paper concerns a space-time homogenization limit of nonnegative weak solutions to porous medium equations. In particular, the so-called homogenized matrix will be characterized in terms of solutions to cell problems, which drastically vary in a scaling parameter $r > 0$. A similar problem has already been studied in [1], where the growth of the power nonlinearity is strictly restricted due to some substantial obstacles. In the present paper, such obstacles will be overcome by developing local uniform estimates for the gradients of nonnegative weak solutions.

연구 동기 및 목표

• 비음성 초깃값을 가진 다공성 매질 방정식의 시공간 동질화에 대한 격차를 메우며, 특히 비선형성의 거듭제곱 성장에 제약이 없을 경우를 다루기.
• 이전 연구에서 약한 해의 기울기 제어 부족으로 인해 $ m $ 의 범위가 제한되었던 심각한 장애를 극복하기.
• 공간 및 시간 변수 모두에서 주기적 세포 문제의 해를 통해 동질화된 확산 행렬 $ a_{\text{hom}} $ 를 특성화하기.
• 동질화된 확산류를 $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $ 로 설정하며, 여기서 $ a_{\text{hom}} $ 는 스케일링 매개변수 $ r $ 에 따라 달라지며, $ r < 2 $, $ r = 2 $, $ r > 2 $ 의 경우를 구분한다.
• 비음성 약한 해를 위한 엄밀한 이중 척도 수렴 프레임워크를 제공하여, 초깃값의 최소한의 적분 조건 하에서 $ u_\varepsilon^m $ 과 확산류의 수렴을 보장한다.

제안 방법

• 다공성 매질 방정식의 비음성 약한 해에 대한 기울기의 국소 균일 추정을 개발하여, $ \varepsilon \to 0 $ 근처에서의 제어를 가능하게 한다.
• 이중 척도 수렴 기법을 적용하여 $ u_\varepsilon^m $ 과 확산류 $ a(\cdot/\varepsilon, \cdot/\varepsilon^r) \nabla u_\varepsilon^m $ 의 극한을 분석하고, 극한 $ u $ 와 보정자 $ z $ 를 식별한다.
• 공간 및 시간 변수에서의 $ L^2(\Omega \times (0,T) \times \square \times (0,1)) $ 에서의 약한 이중 척도 수렴 개념을 사용하여, $ j_{\text{hom}} $ 를 갖는 동질화된 방정식으로의 전환을 수행한다.
• 주기적 세포 문제의 해를 통해 $ a_{\text{hom}} $ 를 특성화한다: $ r < 2 $ 일 때는 $ a_{\text{hom}} e_k = \int_0^1 \int_\square a(y,s) [\nabla_y \Phi_k(y,s) + e_k] \, dy \, ds $, 여기서 $ \Phi_k $ 는 선형 타원형 문제를 만족한다.
• $ r = 2 $ 일 때는 시간에 의존하는 보정자 $ \Psi_k $ 를 유도하여, $ a_{\text{hom}}(x,t) $ 가 $ (x,t) $ 에 따라 달라지며, $ \Phi_k = m u^{m-1} \Psi_k $ 를 만족한다.
• $ r > 2 $ 일 때는 보정자 $ z $ 가 빠른 시간 변수 $ s $ 에 대해 독립적이며, 세포 문제는 시간에 의존하지 않는 $ y $ 에서의 타원형 방정식으로 단순화되어, 상수인 $ a_{\text{hom}} $ 를 얻는다.

실험 결과

연구 질문

• RQ1 스케일링 매개변수 $ r $ 가 변화할 때, 비음성 초깃값을 가진 다공성 매질 방정식에 대해 동질화된 확산 행렬 $ a_{\text{hom}} $ 의 구조는 어떻게 되는가?
• RQ2 이전의 동질화 결과에서 제한되었던 $ m $ 의 범위를 초월하기 위해, 비음성 약한 해에 대한 균일한 기울기 추정을 어떻게 확립할 수 있는가?
• RQ3 $ a_{\text{hom}} $ 이 스케일링 매개변수 $ r $ 에 따라 어떻게 달라지는가? 특히 $ r < 2 $, $ r = 2 $, $ r > 2 $ 의 경우를 어떻게 구분하는가?
• RQ4 동질화된 확산류 $ j_{\text{hom}} $ 는 해 $ u $ 와 보정자 $ z $ 와 어떻게 관련되어 있으며, $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $ 로 표현될 수 있는가?
• RQ5 초깃값의 적분 조건(예: $ m=3 $ 일 때 $ \log u_0 \in L^1_{\text{loc}} $) 이 동질화 극한의 타당성을 보장하는 데 어떤 역할을 하는가?

주요 결과

• 동질화된 확산류는 $ j_{\text{hom}} = a_{\text{hom}} \nabla u^m $ 로 주어지며, 여기서 $ a_{\text{hom}} $ 는 $ r \neq 2 $ 일 때는 상수 행렬이며, $ r = 2 $ 일 때는 $ (x,t) $ 에 따라 달라지며, 시공간 동질화의 핵심적인 구조적 질문을 해결한다.
• $ 0 < r < 2 $ 일 때, 동질화된 행렬 $ a_{\text{hom}} $ 는 $ a_{\text{hom}} e_k = \int_0^1 \int_\square a(y,s) [\nabla_y \Phi_k(y,s) + e_k] \, dy \, ds $ 로 특성화되며, $ \Phi_k $ 는 주기적 타원형 세포 문제를 만족한다.
• $ r = 2 $ 일 때, $ a_{\text{hom}}(x,t) $ 는 $ (x,t) $ 에 따라 달라지며, $ \Psi_k $ 를 포함하는 포아송형 세포 문제를 풀어 결정되며, $ \Phi_k = m u^{m-1} \Psi_k $ 를 만족한다. 또한 보정자 $ w $ 는 $ y $ 와 $ s $ 의 함수로 된다.
• $ r > 2 $ 일 때, 보정자 $ z $ 는 빠른 시간 변수 $ s $ 에 대해 독립적이며, $ a_{\text{hom}} $ 는 상수이며, 세포 문제는 $ y $ 에서의 시간에 의존하지 않는 타원형 방정식으로 단순화된다.
• 비음성 약한 해에 대한 국소 균일 기울기 추정은 주요 기술적 도구로서, 이전에 제한되었던 $ m $ 의 범위를 초월한 동질화 결과의 확장을 가능하게 한다.
• 수렴 결과는 최소한의 가정 하에서도 성립한다: $ u_0 \in L^{m+1}(\Omega) $, $ u_0 \geq 0 $, 그리고 $ m=3 $ 또는 $ m>3 $ 일 경우에 대해 추가적인 국소 적분 가능 조건이 있으며, 이는 동질화 극한의 타당성을 보장한다.