[논문 리뷰] Lp estimates of solutions to mixed boundary value problems for the Stokes system in polyhedral domains

Vladimir Maz’ya, Juergen Rossmann|ArXiv.org|2004. 12. 21.

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

한 줄 요약

이 논문은 3차원 다면체 영역에서 스토크스 시스템의 혼합 경계값 문제에 대한 약한 해에 대한 Lp 추정과 정칙성 결과를 수립한다. 그린 행렬의 점별 추정과 비동차 노름을 갖는 가중 임베딩 공간을 사용하여, 관련 연산자 펜슬의 스펙트럼 조건과 일치 조건 하에서 해의 존재성, 유일성 및 소볼레프 정칙성을 증명하며, 딜리클레, 뉴먼, 슬립형 조건을 포함한 일반적인 혼합 경계 조건으로 기존 결과를 확장한다.

ABSTRACT

A mixed boundary value problem for the Stokes system in a polyhedral domain is considered. Here different boundary conditions (in particular, Dirichlet, Neumann, free surface conditions) are prescribed on the sides of the polyhedron. The authors prove the existence of solutions in (weighted and non-weighted) $L_p$ Sobolev spaces and obtain regularity assertions for weak solutions. The results are based on point estimates of Green's matrix.

연구 동기 및 목표

• 다면체 영역에서 스토크스 시스템의 혼합 경계값 문제에 대한 약한 해에 대한 Lp 정칙성을 수립하기 위해.
• 존재하는 정칙성 이론을 딜리클레 및 뉴먼 문제를 초월하여 속도와 응력 성분을 포함한 일반적인 혼합 조건으로 확장하기 위해.
• 모서리와 모서리에서의 특이성을 다루기 위해 비동차 노름을 갖는 가중 임베딩 공간을 사용하는 프레임워크를 개발하기 위해.
• 연산자 펜슬 $\mathfrak{A}(\lambda)$의 스펙트럼 조건과 기하학적 일치 조건 하에서 Lp-소볼레프 공간에서 해의 존재성과 유일성을 증명하기 위해.
• 리프쉬츠 영역과 볼록 다면체에서의 결과를 비볼록이고 조각별로 미분 가능한 영역으로 확장하여 복잡한 경계 조건 조합을 포함하기 위해.

제안 방법

• 분석은 이전 연구에서 유도된 다면체 콘에서 스토크스 시스템의 그린 행렬에 대한 점별 추정에 기반한다.
• 가중 임베딩 공간 $W_{\beta,\delta}^{l,s}$ 가 사용되며, 정점과 모서리에서의 거리의 거듭제곱을 가중치로 사용하여 특이성을 제어한다.
• 경계에서의 일치 조건과 연산자 펜슬 $\mathfrak{A}(\lambda)$의 스펙트럼 조건 하에서 가중 $L_p$ 공간에서의 해 존재성이 확립된다.
• 약한 해는 쌍대 공간에서의 변분 형식을 통한 정의되며, 경계 조건은 추적 연산자 $S_j$를 통해 부여된다.
• 이 방법은 연산자 펜슬 $\mathfrak{A}(\lambda)$의 스펙트럼 분석에 의존하며, 고유값은 허용 가능한 가중치 매개변수 $\delta_k$를 결정한다.
• 모델 콘에서의 이론은 단위 분할과 국소화 기법을 통해 일반적인 다면체 영역으로 확장된다.

실험 결과

연구 질문

• RQ1 다면체 영역의 기하학적 조건과 경계 자료 조건이 스토크스 시스템의 혼합 경계값 문제가 $L_p$ 소볼레프 공간에서 해를 갖기 위한 조건는 무엇인가?
• RQ2 약한 해의 정칙성 특성은 모서리에서의 각도와 경계 조건의 유형(딜리클레, 뉴먼, 슬립형)에 따라 어떻게 달라지는가?
• RQ3 연산자 펜슬 $\mathfrak{A}(\lambda)$의 고유값이 허용 가능한 가중치 매개변수 $\delta_k$와 해가 $W^{2,p}$에 속할 수 있는 $p$의 범위를 결정하는 데 어떤 역할을 하는가?
• RQ4 비동차 노름을 갖는 가중 임베딩 공간 이론을 사용하여 비볼록 다면체 영역에서의 정칙성 추정을 향상시킬 수 있는가?
• RQ5 모서리에서의 일치 조건이 $L_p$ 공간에서의 해의 존재성과 정칙성에 어떤 영향을 미치는가?

주요 결과

• 모든 모서리에 대해 $\max(2 - \mu_k, 0) < \delta_k + 2/p < 2$ 이고, $\operatorname{Re} \lambda = 2 - \beta - 3/p$ 인 스트립이 $\mathfrak{A}(\lambda)$의 고유값을 포함하지 않는 한, $1 < p < \infty$ 에 대해 가중 $L_p$ 소볼레프 공간 $W_{\beta,\delta}^{2,p} \times W_{\beta,\delta}^{1,p}$ 에서 해가 존재한다.
• 약한 해가 $W^{1,p} \times L^p$ 에 속할 경우, $f \in (W^{1,p'})^* \times L^p$ 이고 $g \in L^p$ 이며, $2 < p \leq 8/3$ 이고 도메인의 각도 조건을 만족할 경우, 해는 $W^{1,p} \times L^p$ 에 속한다.
• 만약 $f \in (W^{1,2})^* \cap L^p$ 이고 $g \in L^2 \cap W^{1,p}$ 이면, $1 < p \leq 8/7$ 에 대해 $u \in W^{2,p} \times W^{1,p}$ 이며, 더 엄격한 각도 조건 하에서는 범위가 $1 < p \leq 3/2$ 로 향상된다.
• 일부 면에서 딜리클레 조건, 다른 면에서 슬립형 조건 (ii) 또는 (iii) 이 적용된 혼합 문제의 경우, $1 < p \leq 3/2$ 에 대해 해는 $W^{2,p} \times W^{1,p}$ 에 속한다. 이는 딜리클레 조건이 양면에 적용될 경우 $\theta_k < 3 \arccos(1/4)$ 를 만족해야 한다.
• 디리클레 조건이 $\Gamma_1, \dots, \Gamma_{n-1}$ 에서이고 조건 (ii) 가 $\Gamma_n$ 에서 적용되는 경우, $1 < p < 3$ 에 대해 해는 $W^{2,p} \times W^{1,p}$ 에 속한다. 이는 $k \in I$ 에 대해 $\theta_k < 3\pi/8$ 이고 $k \in I'$ 에 대해 $\theta_k < 3\pi/4$ 이어야 한다.
• 결과는 최적임을 입증하며, $p$ 의 범위는 연산자 펜슬 $\mathfrak{A}(\lambda)$ 의 스펙트럼 갭에 의해 제한되며, 임계 스트립에 고유값이 포함되면 추정이 붕괴된다.