Existence of variational solutions to doubly nonlinear systems in nondecreasing domains

기술 요약: 비감소 영역에서의 이중 비선형 시스템에 대한 변분 해의 존재성

문제 정의
본 논문은 다음과 같은 형태의 이중 비선형 포물선 시스템에 대한 코시-디리클레(Cauchy–Dirichlet) 문제를 다룬다:
$$\partial_t (|u|^{q-1}u) - \text{div}(D_\xi f(x, u, Du)) = -D_u f(x, u, Du)$$
이 식은 유계인 비실린더형 영역 $E \subset \mathbb{R}^{n+1}$ (여기서 $n \ge 2$)에서 정의된다. 영역 $E$는 시간에 대해 비감소(nondecreasing)하는 것으로 가정되며, 이는 시간 슬라이스 $E_t$가 $0 \le s \le t < T$에 대해 $E_s \subset E_t$를 만족함을 의미한다. 매개변수는 $q \in (0, \infty)$ 및 $p \in (1, \infty)$를 만족한다.

적분 함수 $f(x, u, \xi)$는 다음을 만족해야 한다:

1. 고정된 $(u, \xi)$에 대해 $x$에 대해 적분 가능하다.
2. $(u, \xi)$에 대해 볼록(convex)하다.
3. $p$-강성(coercivity) 조건 $\nu|\xi|^p \le f(x, u, \xi)$를 만족한다.
   결정적으로, 저자들은 주요 존재성 결과를 위해 $f$에 대한 특정한 상한 성장 조건(upper growth condition)을 부과하지 않으며, 이를 통해 지수적 또는 비표준적 성장을 허용한다.

방법론
증명은 비선형 버전의 최소 이동 방법(method of minimizing movements)(또는 암시적 오일러 스킴 또는 데 고라(De Giorgi)의 최소 이동법으로도 알려짐)에 의존한다. 이 접근 방식은 실린더형 영역에서의 이중 비선형 방정식(Böglein 등 [17])과 비실린더형 영역에서의 포물선 시스템(Böglein 등 [19])에 관한 이전 연구들의 기법을 결합한다.

절차는 다음과 같다:

1. 시간 이산화(Time Discretization): 시간 간격 $(0, T)$를 크기 $h_\ell = T/\ell$인 단계들로 나눈다.
2. 반복적 최소화(Iterative Minimization): 각 시간 단계에서, 타원형 변분 범함수(elliptic variational functional)를 최소화함으로써 함수 열 $u_{\ell, i}$를 구성한다:
   $$F_\ell[w; u_{\ell, i-1}] = \int_\Omega f(x, w, Dw) \, dx + \frac{1}{h_\ell} \int_\Omega b[u_{\ell, i-1}, w] \, dx$$
   여기서 $b[u, v]$는 거듭제곱 함수 $|v|^{q+1}$의 볼록성과 관련된 특정 경계 항이다.
3. 에너지 추정 및 수렴(Energy Estimates and Convergence): 저자들은 조각별 상수 보간 함수 $u_\ell$에 대해 균등 에너지 추정치를 도출한다. 컴팩트성 논증(특히 $|u_\ell|^{(q+1)/2}$의 수렴과 관련된 Lemma 3.11)을 사용하여 극한 맵 $u$의 존재성을 확립한다.
4. 비실린더형 영역 처리(Handling Noncylindrical Domains): 시간에 따라 변하는 영역을 관리하는 것이 핵심적인 기술적 측면이다. 비감소하는 성질은 저자들이 비교 맵(comparison maps)을 확장하고 $L^{n+1}(\partial E) = 0$ 가정을 활용하여 극한 맵이 올바른 횡방향 경계 조건을 만족하도록 보장할 수 있게 한다.
5. 변분 부등식(Variational Inequality): 극한 맵이 변분 부등식을 만족함을 보인다. 이는 이 문맥에서 변분 해(variational solution)의 정의 역할을 한다.

주요 기여 및 결과

1. 비감소 영역에서의 존재성 (정리 2.3):
   본 논문은 $u \in C^0([0, T]; L^{q+1}(\Omega, \mathbb{R}^N)) \cap V^p_q(E)$인 변분 해의 존재성을 증명한다.

   • 일반성: 실린더형 영역이나 비음해(non-negative) 해로 제한되었던 이전 결과들과 달리, 이 결과는 일반적인 비감소형 비실린더형 영역에 적용되며 부호가 있거나 벡터값인 해를 허용한다.
   • $f$에 대한 약한 가정: 존재성 증명은 $f$의 상한 성장 조건 없이 수행되며, 오직 볼록성과 강성성에만 의존한다.
   • 정칙성(Regularity): 해는 특정 듀얼 공간(dual space) 내에서 $|u|^{q-1}u$에 대한 약한 시간 미분을 가지며, 해는 $L^{q+1}$ 노름에 대해 시간 연속적이다.

2. 듀얼 공간에서의 시간 미분 존재성 (정리 2.5):
   추가적인 가정 하에—구체적으로 영역이 측도 밀도 조건(보집합이 균등하게 $p$-fat한 것과 관련된)을 만족하고 $f$가 표준 $p$-성장 조건을 만족한다는 가정 하에—저자들은 $|u|^{q-1}u$가 $(V^{p,0}(E))'$ 내의 분포적 시간 미분을 갖는다는 것을 증명한다.

3. 시간 연속성:
   저자들은 모든 변분 해가 $L^{q+1}(\Omega, \mathbb{R}^N)$ 값을 갖는 시간 연속성을 가짐을 확립한다. 이는 비실린더형 환경에 적응된 기법인 해의 시간 몰딩(time-mollification)을 변분 부등식에 테스트함으로써 달성된다.

의의 및 주장
본 논문은 기존 이론의 일반화로서 자신을 위치시킨다.

• 범위의 확장: 이 연구는 실린더형 영역에서 비실린더형(특히 비감소형) 영역으로 존재성 이론을 확장하며, 이러한 기하학적 변화가 이중 비선형 시스템에 대해 충분히 다뤄지지 않았던 문헌상의 공백을 메운다.
• 완화된 성장 조건: 적분 함수 $f$에 대한 상한 성장 조건을 제거함으로써, 저자들은 이전에 더 엄격한 제약이나 특정 맥락에서만 다뤄졌던 지수적 성장을 포함한 더 넓은 클래스의 비선형성을 허용한다.
• 방법론적 합성: 본 연구는 이중 비선형 방정식을 위한 "최소 이동" 접근법과 시간 의존적 영역의 기하학적 처리를 성공적으로 합성하였다.
• 유일성: 저자들은 본 연구에서 유일성을 확립하지 않았음을 명시적으로 언급한다. 그들은 이러한 시스템, 특히 비실린더형 영역에서의 유일성이 까다로운 문제이며, 여기서 고려된 일반적인 경우에 대해 여전히 미해결 과제로 남아 있다고 기술한다. 다만 비음해 해를 갖는 다공성 매질 방정식과 같은 특정 사례에서는 유일성이 알려져 있다.

논문은 개발된 방법론이 시간 의존적 경계값에 대해서도 잠재적으로 적용될 수 있다고 결론짓지만, 현재의 연구는 핵심 존재성 이론을 확립하기 위해 시간 독립적인 횡방향 경계값에 집중하고 있다.