Lipschitz regularity for fully nonlinear elliptic equations with $(p,q)$-growth

기술적 요약: (p, q)-성장 조건을 갖는 완전 비선형 타원형 방정식에 대한 Lipschitz 정칙성

문제 제기
본 논문은 다음과 같은 형태의 완전 비선형 타원형 방정식에 대한 점근적 해의 내부 및 전역 Lipschitz 정칙성을 조사한다:
$$F(D^2u, Du, x) = f(x, Du) \quad \text{in } \Omega,$$
여기서 연산자 $F$는 $(p, q)$-성장 조건을 갖는 비균일 타원성 조건을 만족한다. 구체적으로, 타원성 비율은 기울기 크기 $|Du|$에 따라 다항식적으로 성장할 수 있으며,$1 + |Du|^{q-p}$로 행동한다. 저자들은$q-p$ 간격이 작은 영역에 초점을 맞추어, 계수의 Hölder 정칙성과 해의 사전 정칙성에 대한 특정 제약 조건 하에서 해가 Lipschitz 연속 ($u \in \text{Lip}$) 임을 입증하는 것을 목표로 한다.

본 연구는 $|Du|$가 클 때 방정식이 비균일 타원형이 되어 불규칙한 거동을 초래할 수 있다는 도전에 대응한다. Lipschitz 정칙성을 입증함으로써 기울기를 효과적으로 제한하여 방정식을 다시 균일 타원형 영역으로 되돌린다. 본 연구는 두 가지 주요 구조적 예를 고려한다:

1. 이중 위상 문제 (Double Phase Problems): 변분 이중 위상 범함수 $\int (|Du|^p + a(x)|Du|^q)dx$의 완전 비선형 유사체.
2. 이방성 $(p, q)$-성장 문제 (Anisotropic $(p, q)$-Growth Problems): 서로 다른 좌표 방향에서 서로 다른 성장률을 갖는 방정식.

방법론
핵심 분석 도구는 점근적 해에 대한 기울기 상계를 유도하는 데 사용되는 Ishii-Lions 방법, 즉 변수 중복 기법이다. 증명 전략은 다음과 같은 주요 단계들을 포함한다:

1. $(0, \gamma)$-성장으로의 축소: 저자들은 원래의 $(p, q)$-성장 문제를 $|Du|^p$로 나누어 $(0, \gamma)$-성장 문제 ($\gamma = q-p$) 로 변환한다. 이는 기울기에 의존하는 본질적인 비균일 타원성을 보존하면서 구조적 가정을 단순화한다.
2. 스케일링 논증: 해의 노름을 처리하기 위해 스케일링 기법을 적용하여 해를 정규화한다 (예: $\|u\|_{L^\infty} \leq 1$ 또는 $\|u\|_{C^\beta} \leq 1$을 가정) 고, 동시에 구조 상수 $\Lambda$와 $C_f$를 조정한다.
3. 내부 추정: 내부 정칙성을 위해, 저자들은 다음과 같은 형태의 시험 함수를 사용하여 최대 원리 논증을 구성한다:
   $$\Phi(x, y) = u(x) - u(y) - L_1 \phi(|x-y|) - \frac{L_2}{2}|x-x_0|^2 - \frac{L_2}{2}|y-x_0|^2.$$
   $L_2$와 관련된 국소화 항들은 내부 경우에 두 점에서의 기울기 차이를 제어하는 데 결정적이다. 증명은 모순 법칙에 의해 진행되는데, 최댓값이 양수라고 가정하고 Pucci 연산자와 구조적 가정 (A1)-(A4) 을 사용하여 최댓값 점에서의 점근적 부등식을 분석함으로써 큰 $L_1$과 $L_2$에 대한 모순을 도출한다.
4. 경계 및 전역 추정: 전역 정칙성을 위해, 저자들은 Ishii-Lions 방법을 장벽 구성 (barrier construction) (Birindelli 와 Demengel 에 따름) 과 결합한다. 그들은 경계 데이터 $g \in C^{1,1}$에 대한 해의 거동을 제어하기 위해 경계 근처에 명시적인 장벽 함수를 구성한다.
   • 전역 논증에서의 중요한 차이는 내부 증명에서 사용된 국소화 항 ($L_2$ 항) 이 부재하다는 점이다. 결과적으로, "기울기 차이"항 (가정 A2) 이 전역 추정에는 나타나지 않아 전역 정리에서 구조적 가정을 완화할 수 있게 된다.

주요 결과
본 논문은 Lipschitz 정칙성에 필요한 허용 가능한 $q-p$ 간격에 관한 다음 주요 정리들을 확립한다:

• 내부 정칙성 (정리 1.1):

  • $u \in L^\infty$ (또는 단순히 연속) 인 경우, $q - p < \alpha$이면 Lipschitz 연속성이 성립한다. 여기서 $\alpha$는 계수 $x \mapsto F(\cdot, \cdot, x)$의 Hölder 지수이다.
  • $u \in C^\beta$로 사전에 주어지는 경우, 허용 가능한 간격은 다음과 같이 개선된다:
    $$q - p < \min \left\{ 1 + \frac{\beta}{2(1-\beta)}, \frac{\alpha}{1-\beta} \right\}.$$
  • 저자들은 Ishii-Lions 논증에 필요한 국소화 항들 때문에 $C^\beta$ 해에 대한 내부 상한이 최적의 변분 상한보다 약간 더 제한적임을 지적한다.

• 전역 정칙성 (정리 1.2):

  • 경계 데이터 $g \in C^{1,1}$을 갖는 유계 $C^{1,1}$ 영역 $\Omega$에 대해, $u \in L^\infty$이면 $q - p < \alpha$ 조건으로 충분하다.
  • $u \in C^\beta$로 사전에 주어지는 경우, 개선된 상한 하에서 전역 Lipschitz 정칙성이 성립한다:
    $$q - p < \frac{\alpha}{1-\beta}.$$
  • 이 전역 상한은 변분 이중 위상 문제 (특히 [6, 12] 에 있는 것들) 에 대해 알려진 날카로운 간격 조건과 일치한다.

의의 및 주장
저자들은 본 연구를 $(p, q)$-성장 조건을 갖는 완전 비선형 (비발산 형식) 방정식으로의 정칙성 이론을 변분 (발산 형식) 설정에서 확장한 것으로 위치시킨다.

• 변분 이론과의 비교: 본 결과는 변분 설정에서 이중 위상 문제에 대해 알려진 날카로운 간격 조건 (예: $C^\beta$ 해에 대한 $q-p < \alpha/(1-\beta)$) 을 회복한다.
• 곱셈형 모델과의 차이: 본 논문은 De Filippis 가 연구한 곱셈형 모델 (1.11) 과는 근본적으로 다른 모델 (1.3) 을 강조한다. 곱셈형 모델에서는 특정 곱셈 구조로 인해 기울기 항을 제거할 수 있어 $C^{1,\alpha}$ 정칙성이 $q-p$ 간격과 무관하게 달성될 수 있다. 반면, 저자들의 모델은 $F \neq G$일 때 이러한 구조를 갖지 않으므로, 정칙성을 위해 $p$와 $q$에 대한 간격 조건이 필수적이다.
• 비발산 설정에서의 새로움: 저자들은 최적 간격을 벗어난 발산 형식 방정식에 대해서는 불규칙한 반례가 잘 알려져 있지만, $(p, q)$-성장 조건을 갖는 완전 비선형 비발산 방정식에 대해서는 아직 유사한 반례가 제공되지 않았다고 명시한다. 따라서 본 결과는 이러한 클래스의 비발산 방정식에 대한 최초의 체계적인 Lipschitz 정칙성 이론을 제공하며, 변분 경우와 유사한 필요한 간격 조건을 확립한다.
• 구조적 가정: 본 논문은 가정 (A2) (기울기에 대한 $F$의 Lipschitz 연속성) 은 국소화 기법으로 인해 내부 추정에만 필요할 뿐 전역 추정에는 필요하지 않음을 명확히 하여, 비발산 방정식에서의 정칙성 메커니즘에 대한 세밀한 이해를 보여준다.