Global Calderon-Zygmund estimates for irregular double-phase evolution problem with non-divergence data

기술 요약: 비발산형 데이터(Non-Divergence Data)를 갖는 불규칙한 이중 위상 진화 문제에 대한 전역 칼데론-지그문트 추정

문제 정식화
본 연구는 비발산형 데이터를 갖는 일련의 불규칙한 이중 위상(double-phase) 포물선 방정식의 강해(strong solution)의 존재성과 전역 정칙성을 조사한다. 문제는 유계 영역 $\Omega \subset \mathbb{R}^N$ ($N \ge 2$)와 시간 간격 $(0, T)$에 대해 $Q_T = \Omega \times (0, T)$로 정의된다:

$$\begin{cases} u_t - \text{div} \left( F(z, \nabla u) \nabla u \right) = f(z), & z = (x, t) \in Q_T, \\ u = 0, & \text{on } \partial\Omega \times (0, T), \\ u(x, 0) = u_0(x), & \text{in } \Omega, \end{cases}$$

여기서 플럭스 함수(flux function)는 $F(z, \xi) = a(z)|\xi|^{p(z)-2} + b(z)|\xi|^{q(z)-2}$로 주어진다. 지수 $p(z)$와 $q(z)$는 가변적이며 립시츠 연속(Lipschitz continuous)이고, 비음의 조절 계수 $a(z)$와 $b(z)$는 $a(z) + b(z) > 0$ 조건을 만족한다. 이 문제는 이질적인 성장 구조를 특징으로 한다: 두 계수가 모두 양수인 영역에서는 플럭스가 두 지수에 의해 제어되는 혼합 성장을 보이며, 한 계수가 0이 되는 영역에서는 단일 위상 모델로 축소된다. 데이터 $f$는 $f \in L^\sigma(Q_T)$ ($\sigma > 2$)로 가정되며, 이는 비발산형 형태의 강제항(forcing term)을 나타낸다.

방법론
저자들은 정칙화 기법을 결-합된 전역 고차 적분 가능성 추정 및 2차 정칙성 분석을 사용하여 접근한다. 방법론은 다음과 같은 단계로 진행된다:

1. 정칙화(Regularization): 원래의 문제는 매끄러운 데이터와 정칙화된 플럭스 $F_\epsilon(z, \nabla u)$를 갖는 일련의 정칙화된 문제들로 근사된다. 여기서 $\nabla u = 0$에서의 특이점은 파라미터 $\epsilon \in (0, 1)$를 도입함으로써 처리된다. 정칙화된 문제들에 대한 고전적 해(classical solutions)가 확립된다.
2. 사전 추정(A Priori Estimates): 분석의 핵심은 정칙화 파라미터 $\epsilon$에 독립적인 균등 추정치를 도출하는 것이다. 이는 다음을 통해 달성된다:
   • 시간 미분과 2차 공간 미분을 포함하는 특정 테스트 함수들을 사용하여 정칙화된 방정식에 곱한다.
   • 경계 적분을 처리하기 위해 그린 공식(Green formula)을 활용하며, 이는 도메인의 기하학적 구조와 계수의 정칙성을 사용하여 추정된다.
   • 헤시안 행렬(Hessian matrix)에 대한 보간 부등식(interpolation inequalities)과 점별 추정치(pointwise estimates)를 활용한다.
   • 가변 지수와 비발산형 항 $f$를 관리하기 위해 횔더(Hölder) 및 영(Young) 부등식을 적용한다.
3. 비발산형 데이터 처리: 비발산형 데이터($f$가 발산형이 아님)의 존재는 중요한 기술적 과제이다. 타원형 방정식과 달리, 포물선 방정식은 보고스키(Bogovskiĭ) 유형의 정칙성을 통해 발산형으로 축소될 수 없다. 저자들은 $f$의 적분 가능성을 구배(gradient) 및 플럭스 항으로 직접 전달하기 위한 특정 추정치를 개발한다.
4. 극한으로의 통과(Passage to the Limit): 균등 추정치, 압축성 논증(Vitali 수렴 정리 및 Musielak-Orlicz-Sobolev 공간의 성질 포함), 그리고 구배의 점별 수렴성을 사용하여, $\epsilon \to 0$ 및 근사 데이터 수열이 원래 데이터로 수렴함에 따라 극한을 취한다.

주요 기여 및 결과
본 논문은 이중 위상 문제(특히 [1]에서의 결과)를 전체 적분 가능성 파라미터 $r \ge 0$의 범위로 확장하고 정칙성 결론을 강화한다. 주요 결과는 다음과 같이 요약된다:

• 존재성 및 유일성: 가변 지수 $p(z)$와 $q(z)$ 사이의 적절한 간극 조건(gap conditions)과 계수 $a(z), b(러) b(z)$의 정칙성 가정 하에, 이 문제는 유일한 강해 $u$를 갖는다.
• 전역 적분 가능성 전이 (칼데론-지그문트 이론): 해는 초기 데이터와 강제항의 적분 가능성을 상속받는다. 구체적으로, 초기 데이터가 $r$을 포함하는 가중 적분 가능성 조건을 만족하고 $f \in L^\sigma(Q_T)$이면, 이중 위상 플럭스는 시간 전역에서 이 적분 가능성을 유지한다.
• 구배의 고차 적분 가능성: 해의 구배는 자기 개선(self-improving) 특성을 보인다. 임의의 $s \in (0, \frac{4}{N+2})$에 대하여, 구배는 다음을 만족한다:
  $$|\nabla u|^{2(\min\{p(z), q(z)\}-1)+r+s} \in L^1(Q_T).$$
  이는 구배가 자연스러운 에너지 공간이 시사하는 것보다 더 높은 적분 가능성을 가짐을 나타낸다.
• 2차 정칙성: 해는 향상된 2차 공간 정칙성을 갖는다. 저자들은 다음을 증명한다:
  $$F((\cdot, t), \nabla u(\cdot, t))|\nabla u(\cdot, t)|^{r+2} \in L^1(\Omega) \quad \text{for a.e. } t \in (0, T),$$
  그리고
  $$F(z, \nabla u)|\nabla u|^{\frac{r+2}{2}} \in L^2(0, T; W^{1,2}(\Omega)).$$
  이는 가중 플럭스가 공간 변수에 대해 소볼레프(Sobolev) 공간에 속함을 의미한다.

의의 및 범위
본 논문은 비발산형 데이터를 갖는 이중 위상 포물선 방정식에 관한 문헌의 공백을 메우는 것을 목표로 한다. (Kim, Acerbi, Mingione 등의 연구를 인용하며) 발산형 데이터를 갖는 경우나 타원형 설정에서의 칼데론-지그문트 유형의 추정치는 확립되어 있으나, 가변 지수를 갖는 비발산형 사례에 대한 유사한 결과는 이전에 없었다.

본 연구의 의의는 다음과 같다:

1. 일반화: 적분 가능성 파라미터 $r$의 범위를 기존 연구의 $r \ge \max\{2, p_+, q_+\}$에서 전체 범위 $r \ge 0$로 확장하였다.
2. 비발산형 데이터: 강제항 $f$의 비발산형 형태를 성공적으로 다루었으며, 이는 발산형의 경우와는 구별되는 기술이 필요하다.
3. 불규칙한 계수: 지수 사이의 간극 파라미터 $\beta$에 따라 $L^d$ 적분 가능성 조건을 만족하는, 반드시 매끄럽지는 않은 조절 계수 $a(z)$와 $b(z)$를 수용하였다.

결과는 기존 이론을 개선하고 보완하는 것으로 제시되며, 비선형 탄성학 및 관련 분야에서 발생하는 이질적이고 가변 지수를 갖는 진화 문제의 분석에 필요한 견고한 이론적 토대를 제공한다. 저자들은 새로운 실험적 응용을 제안하기보다는, 이러한 모델의 분석에 필수적인 이론적 기초(존재성 및 정칙성 추정)를 제공하는 데 집중한다.