[논문 리뷰] Uniform estimates for Stokes equations in a domain with a small hole and applications in homogenization problems

Yong Lu|arXiv (Cornell University)|2015. 10. 06.

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

한 줄 요약

이 논문은 구멍이 작아지는 영역에서 스토크스 방정식의 해에 대한 균일한 W^{1,p} 추정을 수립하며, 이러한 추정이 구멍 크기와 무관하게 성립하는 것은 d' < p < d일 때뿐이며, d=2이면 p=2인 경우에 국한된다. 이 결과는 다공성 영역에서 균일한 제약 연산자와 정량적 보고프스키 유형 연산자를 구성하는 데 기여하며, 유체 균질화 문제에 핵심적이다.

ABSTRACT

We consider the Dirichlet problem of the Stokes equations in a domain with a shrinking hole in $\mathbb{R}^d, \ d\geq 2$. A typical observation is that, the Lipschitz norm of the domain goes to infinity as the size of the hole goes to zero. Thus, if $p eq 2$, the classical results indicate that the $W^{1,p}$ estimate of the solution may go to infinity as the size of the hole tends to zero. In this paper, we give a complete description for the uniform $W^{1,p}$ estimates of the solution for all $1

연구 동기 및 목표

• 작은 구멍이 있는 영역에서 스토크스 방정식에 대한 균일한 W^{1,p} 추정을 도출하여 구멍 크기와 무관하게 성립하도록 하는 것.
• 특히 p ≠ 2일 때 구멍이 작아질수록 고전적 W^{1,p} 추정이 붕괴되는 원인을 규명하는 것.
• 균일한 추정을 활용하여 다공성 영역에서 균일한 제약 연산자를 구성하는 것.
• 다공성 영역에서 정량적 추정을 포함한 보고프스키 유형 연산자를 구성하는 것.
• 고대비 또는 미세구조를 가진 매체를 포함한 유체역학의 균질화 문제에 대한 정량적 프레임워크를 제공하는 것.

제안 방법

• 구멍 크기 ε → 0일 때 해의 행동을 분석하여, 작은 구멍이 있는 영역에서 스토크스 방정식에 대한 균일한 W^{1,p} 추정을 유도하는 것.
• 변수 변경을 통해 수축하는 구멍 영역의 문제를 고정된 영역 문제로 변환하여 균일한 추정을 가능하게 하는 것.
• 콤���턴스 추론과 모순 기법을 적용하여 균일한 추정이 성립하는 p의 범위를 특성화하는 것.
• 완전한 영역에서 다공성 영역으로 함수를 사영하는 일반화된 제약 연산자 R_ε를 구성하여, 수렴 자유 조건과 W^{1,p} 제어를 유지하는 것.
• 제로 확장을 포함한 고전적 보고프스키 연산자와 제약 연산자 R_ε의 복합체로 다공성 영역에서의 보고프스키 유형 연산자를 정의하는 것.
• 보고프스키 유형 연산자의 연산자 노름에 대한 정량적 경계를 확립하여, ε과 p에 대한 의존성을 보여주는 것.

실험 결과

연구 질문

• RQ1 스토크스 방정식이 작은 구멍이 있는 영역에서 균일한 W^{1,p} 추정이 성립하는 p ∈ (1, ∞)의 값은 무엇인가?
• RQ2 구멍 크기 ε → 0일 때 고전적 W^{1,p} 추정이 붕괴되는 방식은 무엇이며, 특히 p ≠ 2일 경우 어떻게 되는가?
• RQ3 다공성 영역에서 수렴 자유 조건을 유지하고 ε에 독립적인 균일한 W^{1,p} 유계성을 가지는 제약 연산자를 구성할 수 있는가?
• RQ4 다공성 영역에서 정량적 추정을 포함한 보고프스키 유형 연산자를 구성할 수 있는가?
• RQ5 보고프스키 유형 연산자의 연산자 노름이 구멍 크기 ε과 지수 p에 대해 정확히 어떻게 의존하는가?

주요 결과

• 스토크스 방정식이 작은 구멍이 있는 영역에서 균일한 W^{1,p} 추정이 성립하는 것은 d' < p < d일 때뿐이며, d=2이면 p=2인 경우에 국한된다.
• p ∈ (d', d)일 경우, 도메인의 리프시츠 상수가 발산하더라도 ε → 0일 때 해의 W^{1,p} 노름은 균일하게 유계이다.
• 3차원에서 p ∈ (3/2, 3)일 때 제약 연산자 R_ε는 ‖∇R_ε(u)‖_{L^p(D_ε)} ≤ C(‖∇u‖_{L^p(D)} + ε^{(3−p)α−3}‖u‖_{L^p(D)}) 를 만족한다. 여기서 α ∈ (0,1).
• 구성된 보고프스키 유형 연산자 𝒫_ε는 f ∈ L^p_0(D_ε) 및 p ∈ (3/2, 3)일 때 ‖𝒫_ε(f)‖_{W^{1,p}} ≤ C(1 + ε^{((3−p)α−3)/p})‖f‖_{L^p} 를 만족한다.
• 보고프스키 유형 연산자의 연산자 노름은 ε과 p에 의존하며, p ≤ 3일 때 ε → 0에 따라 발산하지만, p ∈ (3/2, 3)일 경우 유계로 유지된다.
• 이 결과는 다공성 영역에 작은 구멍이 있는 경우 유체역학의 균질화에 대한 정량적 기반을 제공한다.