Boundary regularity for parabolic systems with nonstandard $(p,q)$-growth conditions in smooth convex domains

기술 요약: 매끄러운 볼록 도메인 내 비표준 (p, q)-성장 조건을 갖는 포물형 시스템의 경계 정칙성

문제 정의
본 논문은 다음과 같은 형태의 비선형 포물형 시스템의 국소 약해해(local weak solutions)에 대한 경계 정칙성을 조사한다:
$$\partial_t u_i - \text{div}(a(|Du|)Du_i) = f_i, \quad i = 1, \dots, N,$$
여기서 시공간 실린더 $\Omega_T = \Omega \times (0, T)$가 정의된다. 도메인 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$)은 유계인 볼록 $C^2$-집합이다. 계수 $a: \mathbb{R}_{>0} \to \mathbb{R}_{>0}$는 Uhlenbeck 유형이며 비표준 $(p, q)$-성장 조건 $2 \le p \le q < p + \frac{4}{n+2}$를 만족한다. 비동차항(inhomogeneity) $f$는 어떤 $\sigma > 0$에 대하여 $L^{n+2+\sigma}(\Omega_T, \mathbb{R}^N)$에 속한다.

주된 목적은 측면 경계 $(\partial \Omega)_T$에서 0이 되는 약해해 $u$에 대하여 국소 $L^\infty$-기울기 추정치(리프시츠 정칙성)를 확립하는 것이며, 이는 기존의 내부(interior) 결과를 비표준 성장 맥락으로 확장한 것이다.

방법론
증명 전략은 비표준 성장 환경에서 엘립틱 및 표준 포물형 정칙성 이론의 기법을 적응시킨 세 단계 접근 방식을 따른다:

1. 매끄러운 해에 대한 사전 추정(A Priori Estimates):
   저자들은 먼저 매끄러운 계수와 데이터를 가진 매끄러운 고전해($u \in C^3$)에 대한 정량적 $L^\infty$-기울기 추정치를 도출한다. 여기에는 다음 과정이 포함된다:

   • 미분 기하학적 항등식(Grisvard)을 사용하여 불리한 경계 항들을 제거함으로써, 2계 도함수를 포함하는 Caccioppoli 유형의 부등식을 확립한다. 이때 $\Omega$의 볼록성과 동차 디리클레 경계 조건을 활용한다.
   • 역 횔더(reverse Hölder) 유형의 부등식을 도출한다. 이 단계는 특정 파라미터 관계 $q < p + \frac{4}{n+2}$에 의존하며, 이는 포설형 설정에서의 소볼레프 임베딩(적분 가능성을 $p$에서 $p + \frac{4}{n}$으로 개선)이 추정치를 완결하기에 충분함을 보장한다.
   • $L^\infty$ 유계값을 얻기 위해 Moser iteration 절차를 수행한다. 핵심 요소는 $(p, q)$-성장 시스템 특유의 "스케일링 결손(scaling deficit)"을 다루는 것인데, 이는 추정치가 동차(homogeneous)가 되는 것을 방해한다.

2. 근사 절차(Approximation Procedure):
   주요 결과가 비매끄러운 데이터와 계수를 가진 약해해에 적용되므로, 근사 스킴을 구축한다:

   • 계수 $a$와 데이터 $f$를 몰리피케이션(mollification)하여 매끄러운 근사치 $a_\varepsilon$와 $f_\varepsilon$를 얻는다.
   • 계수에 비퇴화(non-degenerate) $q$-Laplacian 유사 항을 추가하여 $b_\varepsilon$를 정의함으로써, 유일하고 정칙적인($C^3$) 약해해 $u_\varepsilon$의 존재를 보장하는 표준 $q$-성장 조건을 확보한다.
   • 근사해 $u_\varepsilon$와 원래의 약해해 $u$ 사이의 비교 추정치를 증명하여, 기울기 $Du_\varepsilon \to Du$가 $L^p$에서 강하게 수렴함을 보여준다.

3. 극한 통과(Limit Passage):
   매끄러운 근사해에 대해 도출된 정량적 $L^\infty$-기울기 추정치를 $u_\varepsilon$에 적용한다. $\varepsilon \to 0$으로 극한을 취하고 $L^\infty$-노름의 하반연속성과 데이터의 수렴성을 활용하여, 해당 추정치를 원래의 약해해 $u$로 전이시킨다.

주요 기여 및 결과
주요 결과는 정리 1.3으로, 측면 경계에서 0이 되는 임의의 국소 약해해 $u$에 대하여 기울기 $Du$가 경계 근방에서 본질적으로 유계임을 확립한다. 구체적으로, 경계점$x_0 \in \partial \Omega$를 중심으로 하는 임의의 포설 실린더$Q_\rho(z_0)$에 대하여:
$$Du \in L^\infty(\Omega_T \cap Q_\rho(z_0), \mathbb{R}^{Nn}).$$
논문은 다음과 같은 정밀한 정량적 추정식(식 1.6)을 제공한다:
$$\sup_{\Omega_T \cap Q_\rho(z_0)} |Du| \le C \left( \left( 1 + \|f\|_{L^{n+2+\sigma}}^{(n+2)(n+2+\sigma)/\sigma} \rho^{n+2} \right) \fint_{\Omega_T \cap Q_{2\rho}(z_0)} (1 + |Du|^p) \, dxdt \right)^{\frac{2p}{4+(p-q)(n+2)}}.$$

이 결과의 주요 기술적 특징은 다음과 같다:

• 파라미터 범위: 결과는 $2 \le p \le q < p + \frac{4}{n+2}$ 범위에서 성립한다. 이 범위는 최근의 비표준 $(p, q)$-성장 내부 결과와 일치하지만, 경계 설정에 맞게 조정되었다.
• 스케일링 결손: 지수 $\frac{2p}{4+(p-q)(n+2)}$는 비표준 성장 포설 시스템의 특징인 스케일링 결손을 나타낸다. 논문은 $q$가 상한선인 $p + \frac{4}{n+2}$에 접근함에 따라 이 지수가 발산한다는 점을 언급하며, 이는 조건의 날카로움(sharpness)을 강조한다.
• 도메인 정칙성: 증명에는 $\Omega$가 $C^2$-도메인이어야 한다는 조건이 필요하다. 이 정칙성은 Caccioppoli 추정에서 경계 적분을 처리하기 위해 사용되는 미분 기하학적 항식을 적용하는 데 필수적이다.
• 데이터 정칙성: 비동차항 $f$는 $L^{n+2+\sigma}$에 속한다고 가정되며, 이는 $f$의 약미분 가능성을 요구하지 않고도 추정치를 도출하기에 충분하다.

의의 및 주장
본 논문은 자신의 연구를 비표준 $(p, q)$-성장 포설 시스템에 대한 기존의 내부 정칙성 결과([6, 42])에 대한 경계 대응물로 위치시키며, 표준 $p$-성장 포설 시스템([5])에 대해 알려진 경계 정칙성 이론을 비표준 사례로 확장한다.

저자들은 이 연구가 비표한 $(p, q)$-성장 포설 시스템에 관한 전역적(경계까지의) 정칙성에 관한 문헌의 공백을 메운다고 주장하며, 이는 엘립틱 설정보다 결과가 훨씬 드문 분야이다. 제공된 추정치는 이전의 엘립틱 $(p, q)$-설정([7]) 및 포설 $(p, p)$-경우([5])의 경계 결과와 일치한다. 본 논문은 퇴화된 경우($\mu=0$)나 일반적인 비-Uhlenbeck 구조에 대한 문제를 해결한다고 주장하지 않으며, 후자의 경우 일반적으로 부분 정칙성(partial regularity)만을 허용한다는 점을 명시한다. 초점은 지정된 구조적 및 기하학적 가정 하에서 국소 리프시츠 유계성을 확립하는 데 엄격히 맞춰져 있다.