비정형 비원통 영역에서 이중비선형 시스템의 변분 해 존재성

초록

**
본 논문은 공간‑시간이 시간에 따라 변하는 비원통 영역 E 내에서, 지수 (q>0) 와 (p>\max{1,\frac{n(q+1)}{n+q+1}}) 를 만족하는 이중비선형 시스템
(\partial_t(|u|^{q-1}u)-\operatorname{div}D_\xi f(x,u,Du)=-D_u f(x,u,Du))
의 변분 해 존재를 증명한다. 경계가 측정적으로 무시될 수 있을 때 (u\in L^\infty(0,T;L^{q+1})) 를 얻고, 영역이 너무 급격히 수축하지 않을 경우 (|u|^{q-1}u) 의 분포적 시간 미분을 확보한다. 더 강한 성장 조건과 영역의 수축 속도 제어가 있으면 해는 시간에 대해 연속성을 가진다.

**

상세 분석

**
이 연구는 기존의 원통형(시간에 독립적인) 영역에서의 이중비선형 파라볼릭 방정식 존재론을 비원통, 즉 시간에 따라 공간 영역이 변하는 경우로 일반화한다는 점에서 의미가 크다. 저자들은 먼저 (f(x,u,\xi)) 가 (x) 에 대해 적분가능하고, ((u,\xi)) 에 대해 볼록함수이며, (p)-성장·강제조건을 만족한다는 가정을 두었다. 특히 (p>\max{1,\frac{n(q+1)}{n+q+1}}) 이라는 제한은 Gagliardo‑Nirenberg 불평등을 이용해 비선형 시간 항 (\partial_t(|u|^{q-1}u)) 의 수렴을 확보하기 위해 필요하다.

논문은 먼저 (\mathcal L^{n+1}(\partial E)=0) 이라는 최소한의 정규성을 가정하고, 변분 해의 정의를 변분 부등식 형태(2.7)로 제시한다. 이 부등식은 시험함수 (v) 에 대해 시간 미분이 (L^{q+1}) 에 속하도록 요구함으로써, 전통적인 약해 해와는 달리 에너지적 최소화 구조를 강조한다. 존재 증명은 두 단계로 구성된다. 첫 단계에서는 외부에서 작은 원통들을 합쳐 (E) 를 근사하고, 각 원통에서 기존의 최소화 움직임(minimizing movements) 기법을 적용한다. 두 번째 단계에서는 이 근사해들을 한계 과정으로 보내면서, 비원통 영역 전체에 대한 변분 해를 얻는다.

시간 미분 존재와 연속성에 관한 결과는 영역의 기하학적 제약에 크게 의존한다. 저자들은 보조 가정으로 (2.8) — 시간 슬라이스의 여집합이 일정 비율 이상을 차지한다는 밀도 조건—와 (2.9) — 시간에 따른 영역 수축 속도를 제어하는 연속함수 (\omega) —를 도입한다. 이때 (\omega) 가 (L^r) 노름을 갖는 (\varrho) 함수와 연결되면, (|u|^{q-1}u) 의 분포적 시간 미분이 ((V_{p,0}(E))’)에 속함을 보인다(정리 2.4).

연속성 결과(정리 2.6)는 더욱 강한 조건을 요구한다. (p)가 (\frac{(n+1)(q+1)}{n+q+1}) 이상이고, 수축 속도가 (2.11)‑(2.12)와 같은 Sobolev‑type 제어를 받으면, 변분 해는 (C^0(