Local-in-time strong solvability of Navier--Stokes type variational inequalities by Rothe's method

기술 요약: 로스 방법(Rothe's Method)을 이용한 나비에-스토크스 유형 변분 부등식의 국소적 시간 내 강한 해 존재성

문제 정의
본 논문은 힐베르트 공간 설정에서 파라볼릭 변분 부등식 클래스의 국소적 시간 내 강한 해의 존재성과 유일성을 다룬다. 문제는 함수 $u: [0, T] \to V$를 찾는 것으로 정의되며, $u(0) = u_0$이고, 거의 모든 $t \in (0, T)$에 대해 다음 부등식이 모든 $v \in V$에 대하여 성립해야 한다:
$$(\partial_t u(t), v - u(t)) + a(u(t), v - u(t)) + \langle B(u(t), u(t)), v - u(t) \rangle + \varphi(v) - \varphi(u(t)) \geq (f(t), v - u(t))$$
여기서 $V \subset H \subset V'$는 겔판드 트리플(Gelfand triple)이다. 항 $a(\cdot, \cdot)$는 선형 연산자 $A$와 관련된 유계되고 코어시브(coercive)한 이선형 형식(bilinear form)을 나타낸다. 항 $B: V \times V \to V'$는 "나비에-스토크스 유형"의 비선형성(유계된 이선형 연산자)이다. $\varphi: V \to (-\infty, +\infty]$는 단조 비선형성(예: 장애물 제약 조건 또는 마찰 경계 조건)을 나타내는 볼록하고 적절하며 하반연속(lower-semicontinuous)인 범함수이다.

주요 과제는 에너지 추정치를 도출하기 위해 통상적으로 요구되는 표준적인 "상쇄 성질(cancellation property)" $\langle B(u, v), v \rangle = 0$의 결여를 해결하는 것이다. 이러한 상쇄 성질의 부재는 불투과성(impermeability)이 엄격하게 강제되지 않거나 압력이 규정되지 않는 마찰 유형의 누설 경계 조건(LBCF)과 같이 더 넓은 경계 조건을 포함하는 응용 분야에서 발생한다.

방법론
저자는 갈레르킨 방법(공간 이산화) 대신 **로스 방법(Rothe's method, 시간 이산화)**을 채택한다. 접근 방식은 다음과 같다:

1. 준암묵적 이산화(Semi-implicit Discretization): 대류 항 $B$가 준암묵적으로 처리되는 시간 단계 스킴을 구성한다. 구체적으로, 대류 속도는 이전 시간 단계($u_{n-1}$)에서 취해지는 반면, 해 $u_n$은 $B$의 두 번째 인자와 $\varphi$에 암묵적으로 나타난다. 이는 완전 암묵적 스킴이나 비선형성 절단(truncation)을 요구하는 스킴과 대조된다.
2. 정적 오센 유형 분석(Stationary Oseen-Type Analysis): 각 시간 단계에서 문제는 오센 유형의 정적 변분 부등식을 푸는 문제로 축소된다. 이러한 정적 문제의 해 존재성과 정칙성(regularity)은 의사 단조 연산자 이론(pseudo-monotone operator theory)과 특정 정칙성 가설을 사용하여 확립된다.
3. 사전 추정치(A Priori Estimates): 이산 해에 대한 균등 추정치가 도출된다. 결정적으로, 이 추정치의 도출은 상쇄 성질 없이 비선형 항의 성장을 제어하기 위해 시간 간격을 국소적 존재 시간 $T^* < T$로 제한하는 것을 필요로 한다.
4. 극한 통과(Limit Passage): 시간 단계 $\Delta t \to 0$에 따라, 아우빈-리옹 정리(Aubin–Lions theorem)와 약 수렴 기법을 사용하여 극한을 통과함으로써 연속 문제의 강한 해를 회복한다.

주요 가정 및 가설
본 논문은 다섯 가지 특정 가설(H1–H5) 하에 결과를 확립한다:

• (H1) $B$에 대한 완화된 성장 조건으로, $V$와 $H$의 노름을 이용한 유계성을 허용한다 (구체적으로 $|\langle B(u, v), v \rangle| \leq C \|u\|_V \|v\|_V \|v\|_H^\beta \|v\|_V^{1-\beta}$). 이는 엄격한 상쇄 성질을 대체한다.
• (H2) 약 수렴에 대한 $B$의 의사 단조성(Pseudo-monotonicity).
• (H3) & (H4) 한 인자가 더 높은 정칙성 공간 $W$(통상적으로 $H^2$)에 있을 때 $H$로 매핑되는 $B$의 정칙성 성질.
• (H5) 정적 문제에 대한 타원형 정칙성 가설: 만약 $f \in H$가 연산자 $A + \partial\varphi$에 대해 변분 부등식을 만족한다면, 해 $u$는 더 높은 정칙성 공간 $W$에 속한다. 이는 대응하는 정적 스토크스 문제가 $V$보다 더 나은 정칙성 구조를 갖는 정칙성을 가진다고 가정한다.

주主要 결과
본 논문은 국소적 시간 내 강한 해 존재성에 관한 두 가지 주요 정리를 증명한다:

1. 정리 2.1: $f \in L^2(0, T; H)$이고 $u_0 \in D(\varphi)$일 때, $T^* \in (0, T]$인 시간 $T^*$가 존재하여 유일한 해 $u$가 존재한다:
   $$u \in H^1(0, T^*; H) \cap L^\infty(0, T^*; V) \cap L^2(0, T^*; W)$$
   이 클래스는 최대 $L^2$-정칙성 설정을 의미한다.
2. 정리 2.2: 더 강한 가정($f \in W^{1,1}(0, T; H)$ 및 호환 조건이 있는 $u_0 \in W \cap D(\partial\varphi)$) 하에서, 유일한 해 $u$가 존재하며 다음을 만족한다:
   $$u \in W^{1,\infty}(0, T^*; H) \cap H^1(0, T^*; V) \cap L^\infty(0, T^*; W)$$
   이 클래스는 키셀레프-라데니카(Kiselev–Ladyzhenskaya) 정칙성에 해당한다. 해는 시간 미분 대신 우미분(right-derivative)을 사용하여 모든 $t \in [0, T^*)$에 대해 변분 부등식을 만족한다.

응용 및 예시
이 프레임워크는 상쇄 성질이 결여되거나 가정되지 않는 몇 가지 구체적인 문제에 적용된다:

• 대류-확산 장애물 문제: 주어진 속도장이 있는 경우를 포함한다.
• 비선형 뉴먼 문제: 부값(subdifferential) 경계 조건을 포함한다 (예: 시뇨리니(Signorini) 또는 마찰 문제).
• 마찰 유형 경계 조건을 갖는 나비에-스토크스 방정식: 특히 불투과성 조건이 완화된 마찰 유형의 누설 경계 조건(LBCF) 및 미끄럼(slip) 조건을 포함한다.
• 빙햄 유체(Bingham Fluids): 완전 미끄럼 경계 조건을 갖는 경우.

의의 및 주장
저자는 본 연구가 세 가지 측면에서 나비에-스토크스 유형 변분 부등식 이론을 확장한다고 주장한다:

1. 차원성: 기존의 강한 해 존재성 결과들이 종종 2D 상쇄 성질에 의존했던 것과 달리, 3차원($d=3$) 케이스를 포함한다.
2. 경계 조건: 상쇄 성질 $\langle B(u, v), v \rangle = 0$의 요구 사항을 완화하여, 이 성질을 만족하지 않는 경계 조건(LBCF 등)을 허용한다.
3. 정칙성: 기초적인 정적 스토크스 문제가 그러한 정칙성을 갖는다면, 해에 대해 더 높은 공간 정칙성($H^2$-유형, 즉 $W$)을 확립한다.

저자는 갈레르킨 방법을 통해 이러한 결과를 얻는 것이 상쇄 성질의 부재로 인해 매우 까짐(non-trivial)함을 언급한다. 준암묵적 스킴을 사용하는 로스 방법의 사용은 이 특정 문제에 대한 새로운 접근 방식으로 제시되며, 특히 이로부터 도출된 국소적 시간 내 논증이 핵심이다. 본 연구는 작은 데이터(small data)나 특정 구조적 가정(2D 상쇄 성질 등) 없이는 일반적인 3D 케이스에 대한 전역적 존재성을 주장하지 않으며, 전역적 존재성이 별개의 문제임을 인정한다.