2025-11-25T14:07:18.238453

The local regularity theory for the Stokes and Navier--Stokes equations near the curved boundary

Chen, Liang, Tsai

In this paper, we study local regularity of the solutions to the Stokes equations near a curved boundary under no-slip or Navier boundary conditions. We extend previous boundary estimates near a flat boundary to that near a curved boundary, under very low starting regularity assumptions. Compared with the flat case, the proof for the curved case is more complicated and we adapt new techniques such as the ``normal form" after the mollification with even-even-odd extension, recovering vertical derivative estimates from horizontal derivative estimates, and transferring temporal derivatives to spatial derivatives, to deal with the higher order perturbation terms generated by boundary straightening. As an application, we propose a new definition of boundary regular points for the incompressible Navier--Stokes equations that guarantees higher spatial regularity.

academic

곡선 경계 근처의 Stokes 및 Navier-Stokes 방정식에 대한 국소 정칙성 이론

기본 정보

논문 ID: 2510.13028
제목: The local regularity theory for the Stokes and Navier--Stokes equations near the curved boundary
저자: Hui Chen, Su Liang, Tai-Peng Tsai
분류: math.AP (편미분방정식 분석)
발표 시간: 2025년 10월 14일 (arXiv 제출)
논문 링크: https://arxiv.org/abs/2510.13028

초록

본 논문은 곡선 경계 근처에서 Stokes 방정식의 국소 정칙성 문제를 연구하며, 미끄럼 없음(no-slip) 또는 Navier 경계 조건을 고려한다. 저자들은 평면 경계에 관한 이전 추정을 곡선 경계 경우로 일반화하고, 극히 낮은 초기 정칙성 가정 하에서 해당 이론을 수립했다. 평면 경계의 경우와 비교하여, 곡선 경계의 증명은 더욱 복잡하며, 매끄럽게 처리된 "표준형(normal form)", 수평 도함수 추정으로부터 수직 도함수 추정 복구, 시간 도함수를 공간 도함수로 변환하는 등의 새로운 기법이 필요하다. 이는 경계 직선화로 인한 고차 섭동항을 처리하기 위함이다. 응용으로서, 저자들은 비압축성 Navier-Stokes 방정식 경계 정칙점의 새로운 정의를 제시하여 더 높은 공간 정칙성을 보장한다.

연구 배경 및 동기

문제의 중요성: Stokes 및 Navier-Stokes 방정식은 비압축성 점성 유체의 운동을 기술하며, 유체역학의 기본 방정식이다. 경계 근처에서 해의 정칙성을 이해하는 것은 유체역학 이론과 응용 모두에 매우 중요하다.
기존 연구의 한계:
- 기존의 경계 정칙성 이론은 주로 평면 경계 경우에 집중되어 있다
- Seregin-Shilkin 등의 연구는 미끄럼 없음 경계 조건 하에서, 외력이 0이더라도 Stokes 방정식의 약해가 경계 근처에서 매끄럽지 않을 수 있음을 보여준다
- Chang-Kang 등이 구성한 반례는 유계인 매우 약한 해가 무한한 기울기를 가질 수 있음을 보여준다
곡선 경계의 도전: 곡선 경계의 경우 기하학적 복잡성으로 인해 경계 직선화로 인한 추가 섭동항을 처리해야 하므로, 분석이 더욱 어렵다.
연구 동기: 곡선 경계 경우의 완전한 정칙성 이론을 수립하여, 실제 응용에서의 복잡한 기하학에 이론적 기초를 제공한다.

핵심 기여

경계 추정의 일반화: 평면 경계 경우의 Stokes 방정식 정칙성 추정을 곡선 경계로 일반화하고, $C^{1,1}$ 경계에서 기울기 추정을, $C^{2,1}$ 경계에서 이계 도함수 추정을 수립한다.
기술적 혁신: 곡선 경계를 처리하기 위한 새로운 기법 개발:
- 매끄럽게 처리된 "표준형(normal form)"
- 수평 도함수 추정으로부터 수직 도함수 추정 복구
- 시간 도함수에서 공간 도함수로의 변환
완전한 정칙성 이론: 미끄럼 없음 및 Navier 경계 조건에 대해 각각 완전한 국소 정칙성 이론을 수립한다.
새로운 경계 정칙점 정의: 고차 공간 정칙성을 보장하는 Navier-Stokes 방정식 경계 정칙점의 새로운 정의를 제시한다.

방법론 상세 설명

문제 정의

영역 $\Omega \subset \mathbb{R}^d$ ( $d \geq 2$ )에서의 비정상 Stokes 방정식을 고려한다:

\begin{cases} \partial_t u - \Delta u + \nabla p = f + \text{div} F \\ \text{div} u = 0 \end{cases}

경계 조건:

미끄럼 없음 조건: $u = 0$ on $\Sigma$
Navier 조건: $[(2Du + F)n]_{\tan} + \alpha u_{\tan} = 0$ and $u \cdot n = 0$ on $\Sigma$

목표는 곡선 경계 $\partial\Omega \in C^{1,1}$ 또는 $C^{2,1}$ 근처에서 해의 정칙성 추정을 수립하는 것이다.

핵심 기술 프레임워크

1. 경계 직선화 기법

$C^{1,1}$ 경계에 대해, 좌표 변환 $T$ 를 통해 곡선 경계를 국소적으로 직선화한다: $T x = (x', x_d - \gamma(x'))$ 여기서 $\gamma \in C^{1,1}(\mathbb{R}^{d-1})$ 는 $\gamma|_{x'=0} = 0$ , $\nabla\gamma|_{x'=0} = 0$ 을 만족한다.

2. 매끄럼 처리 및 확장 기법

짝-짝-홀 확장의 매끄럼 처리 연산자를 사용한다: $E^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(g)(x,t) = \int_{\mathbb{R}^d_+ \times \mathbb{R}} g(y,s) \cdot \eta^{\pm}_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(x,y,t-s) dy ds$

3. 표준형 기법

고차 섭동항을 처리하기 위해 "표준형"을 도입한다:

속도에 대해: $\hat{v}_k = (1 + |\nabla\gamma|^2)v_k$
와도에 대해: $\hat{\omega}_{id} = (1 + |\nabla\gamma|^2) \cdot \omega_{id} + \sum_{k=1}^{d-1}(1 + |\nabla\gamma|^2) \cdot \gamma'_k \cdot \gamma'_i \cdot \omega_{kd}$

주요 정리

정리 1.1 (미끄럼 없음 경계 조건의 도함수 추정)

$\Gamma \in C^{1,1}$ 이고 $(u,p)$ 가 매우 약한 해 쌍이라고 가정하면: $\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}$

정리 1.2 (Navier 경계 조건의 기울기 추정)

$\Gamma \in C^{1,1}$ 이고 $u$ 가 약해라고 가정하면: $\|\nabla u\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q^*,r}(Q^+_1)} + \|F\|_{L^{q,r}(Q^+_1)}$

정리 1.3 (Navier 경계 조건의 고차 도함수 추정)

$\Gamma \in C^{2,1}$ 이고 $(u,p)$ 가 약해 쌍이며 $F = 0$ 이라고 가정하면: $\|\partial_t u, \nabla^2 u, \nabla p\|_{L^{q,r}(Q^+_{1/2})} \lesssim \|u\|_{L^{q,r}(Q^+_1)} + \|p\|_{L^{q,r}(Q^+_1)} + \|f\|_{L^{q,r}(Q^+_1)}$

기술적 혁신점

1. 표준형 방법

표준형 $\hat{v}_k$ 와 $\hat{\omega}_{id}$ 를 도입함으로써, 경계 직선화로 인한 고차항을 방정식의 좌변으로 이동시켜 추정에서의 폭발항을 피한다.

2. 도함수 복구 기법

발산 자유 조건을 이용하여 수평 도함수 추정으로부터 수직 도함수 추정을 복구한다: $\partial^2_d E_{\varepsilon_3}(T^{-1}\tilde{u}_d \cdot \zeta) = \partial_d E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) - \sum_{i=1}^{d-1} \partial_d \partial_i E_{\varepsilon_3}(v_i)$

3. 시공간 도함수 변환

저차항을 처리하기 위해 시간 도함수를 공간 도함수로 변환한다: $\partial_t E_{\varepsilon_3}(T^{-1}\tilde{u} \cdot \nabla\zeta) = \sum_{k=1}^d (\Delta E_{\varepsilon_3}\hat{v}_k - \partial_k E_{\varepsilon_3}\pi_k + \text{l.o.t.})$

증명 전략

미끄럼 없음 경계 조건 (제3절)

속도 근사 구성: $v_k(x,t) = T^{-1}u_k(x,t) \cdot \zeta(x,t)$ 정의
열 방정식 유도: 적절한 시험 함수를 선택하여 $E^-_{\varepsilon_1,\varepsilon_2,\varepsilon_3}(v_k)$ 의 열 방정식 획득
기울기 추정: 표준형 기법을 사용하여 고차항을 처리하고 기울기의 $L^{q,r}$ 추정 수립
이계 도함수 추정: 타원 이론과 반복 기법을 통해 고차 도함수 추정 수립

Navier 경계 조건 (제4-5절)

와도 방정식: 와도의 근사를 구성하고 그 열 방정식 유도
단계적 추정: 먼저 추가 항을 포함한 추정을 수립한 후, 정밀한 분석을 통해 추가 항 제거
고차 추정: $C^{2,1}$ 경계에 대해 삼계 도함수 추정 수립

응용: 경계 정칙점의 새로운 정의

정의 1.4 (경계 정칙점)

$z_0 = (x_0, t_0)$ 를 Navier-Stokes 방정식 해 쌍 $(u,p)$ 의 경계 정칙점이라 하자. 만약 $R > 0$ 이 존재하여 어떤 $1 < q_0, r_0 < \infty$ 에 대해 $u \in L^{\infty}(Q^+_R(z_0))$ 이고 $p \in L^{q_0,r_0}(Q^+_R(z_0))$ 이면 그렇게 부른다.

정칙성 향상 정리

정리 1.5: 미끄럼 없음 경계 조건 하에서, 경계 정칙점 근처에서 임의의 $q_1 < \infty$ 에 대해 $\partial_t u, \nabla^2 u, \nabla p \in L^{q_1,r_0}$
정리 1.6: Navier 경계 조건 하에서, 경계 정칙점 근처에서 임의의 $q_1 < \infty$ 에 대해 $\nabla\partial_t u, \nabla^3 u, \nabla^2 p \in L^{q_1,r_0}$