Partial regularity for $\mathbb{A}$-quasiconvex functionals with Orlicz growth

기술적 요약: 오를리츠 성장이 있는 A-준볼록 범함수에 대한 부분 정칙성

문제 제기
본 논문은 다음과 같은 형태의 변분 범함수의 극소점에 대한 부분 정칙성을 다룹니다.
$$\mathcal{F}[u] := \int_{\Omega} F(Au) \, dx,$$
여기서 $\Omega \subset \mathbb{R}^n$은 유계 열린 집합이며, $A$는 상수 계수를 갖는 1 차 동차 선형 미분 연산자이고, $F$는 변분 피적분 함수입니다. 본 연구는 두 가지 특정 성장 영역에 초점을 맞춥니다:

1. $\Delta_2 \cap \nabla_2$-오를리츠 성장: 성장 함수 $\phi$가 doubling 조건을 만족하고 그 켤레도 이를 만족하는 경우.
2. $L \log L$-성장: $\phi(t) = t \log(1+t)$인 극한 사례로, $\Delta_2$ 조건은 만족하지만 $\nabla_2$ 조건은 만족하지 않는 경우.

연산자 $A$는 $u: \Omega \to \mathbb{R}^k$ (또는 일반적인 유한 차원 내적 공간 $V$) 로 가는 사상에 작용하며 $W$ 공간의 값을 가집니다. 피적분 함수 $F$는 $\phi$-강한 $A$-준볼록하다고 가정합니다. 핵심 질문은 그러한 범함수의 국소 극소점이 상대적으로 열린 전체 르베그 측도 집합 위에서 $C^{1,\alpha}$-정칙성을 가지는지 (부분 정칙성), 그리고 연산자 $A$에 대해 어떤 조건 하에서 이것이 성립하는지입니다.

방법론
Conti & Gmeineder [20] 에서 영감을 받은 주요 방법론적 전략은 **축소 논증 (reduction argument)**입니다. 연산자 $A$에 직접적으로 블로우업 기법이나 $A$-조화 근사를 통해 완전한 부분 정칙성 증명을 수행하는 대신, 저자는 문제를 전 기울기 $\nabla$를 포함하는 범함수에 대한 알려진 부분 정칙성 결과로 축소합니다.

이 축소는 두 가지 핵심 요소에 의존합니다:

1. Korn-type 부등식: 저자는 오를리츠 공간에서 연산자 $Au$에 의해 전 기울기$\nabla u$를 제어할 수 있게 해주는 부등식을 활용합니다.
   • $\Delta_2 \cap \nabla_2$ 사례의 경우, 표준적인 Korn-type 부등식 (정리 2.4) 은 $Au \in L^\phi$이면 $\nabla u \in L^\phi$임을 시사합니다.
   • $L \log L$ 사례의 경우, 저자는 Cianchi 의 연구 [19] 에 기반하여 일반화된 Korn-type 부등식 (정리 5.1) 을 확립합니다. 이 부등식은 "로그 한 개의 손실"을 드러냅니다: $\phi(t) = t \log(1+t)$인 $Au \in L^\phi$라면, $\nabla u$는 약간 더 약한 공간, 구체적으로 로그 가중치를 가진 $L^1$에서 제어되므로 준볼록성 프레임워크의 전환이 필요합니다.
2. 전 기울기 범함수로의 변환: $Av = \pi_A(\nabla v)$를 만족하는 선형 사상 $\pi_A$를 사용하여 새로운 피적분 함수 $G(z) = F(\pi_A(z))$를 정의함으로써, 문제를 $\nabla v$에 의존하는 범함수로 매핑합니다. 저자는 $F$의 $\phi$-강한 $A$-준볼록성이 각 성장 영역에서 $G$에 대한 적절한 강한 준볼록성 조건으로 변환됨을 검증합니다.

주요 기여 및 결과

• 정리 1.1 ($\Delta_2 \cap \nabla_2$-성장): 본 논문은 $\phi \in \Delta_2 \cap \nabla_2$인 $\phi$-성장 범함수에 대해, 국소 극소점 $u$가 $C^{1,\alpha}_{loc}$-부분 정칙성을 갖기 위한 필요충분조건이 연산자 $A$가 **타원형 (elliptic)**인 것 (즉, 모든 $\xi \neq 0$에 대해 푸리에 심볼 $A[\xi]$가 단사인 것) 임을 확립합니다.

  • 증명은 타원형 가정 하에서 Korn-type 부등식이 전 기울기 사례로의 축소를 가능하게 하며, 오를리츠 성장에 대한 부분 정칙성이 Diening et al. [28] 과 Breit & Verde [11] 에 의해 이미 확립되어 있음을 보여줍니다.
  • 반대로, $A$가 타원형이 아니면 $A$의 핵 (kernel) 에 존재하는 비정칙 함수들 (보조 2.2) 로 인해 부분 정칙성이 불가능합니다.

• 정리 1.2 ($L \log L$-성장): 본 논문은 축소 전략을 극한 사례 $\phi(t) = t \log(1+t)$로 확장합니다. 부분 정칙성이 성립하기 위한 필요충분조건이 $A$가 타원형임을 증명합니다.

  • Korn 부등식 (정리 5.1) 에서의 정칙성 손실로 인해, 축소는 $L^\phi$ 기울기에 대한 $C^{1,\alpha}$ 결과로 직접 매핑되지 않습니다. 대신 저자는 프레임워크를 유계 변동 (Bounded Variation, BV) 함수 공간에 적응시킵니다.
  • Gmeineder & Kristensen [44] 의 $p=1$ 성장 및 $L \log L$ 성장에 대한 최근 결과를 활용하여, 원래 범함수의 극소점들이 축소된 범함수의 국소 BV-극소점에 해당하며 따라서 부분 정칙성을 계승함을 보여줍니다.

• 강제성과 존재성 (3 절): 본 논문은 오를리츠 - Sobolev 공간 $W^{1,\phi}_A(\Omega)$의 디리클레 클래스에서 범함수의 강제성에 대한 엄밀한 처리를 제공합니다. $\phi$-강한 $A$-준볼록성 가정 하에서 극소점의 존재를 확립하며, 강한 준볼록성의 적분 정의와 보조 $V$-함수를 포함하는 조건 사이의 동등성을 명확히 합니다 (정리 3.6).

의의 및 주장
본 논문은 광범위한 미분 연산자와 성장 조건에 대한 부분 정칙성을 위한 통합된 접근법을 제공한다고 주장합니다.

• 축소의 최적성: 저자는 Conti & Gmeineder [20] 에 의해 $p$-성장 범함수에 적용되었던 축소 전략이 $L \log L$ 사례로 최적적으로 확장됨을 주장합니다. 논문은 $p=1$ (또는 아로그arithmic 성장) 의 끝점에서 축소 전략이 실패한다고 지적합니다. 즉, $Au \in L^\phi$가 $\nabla u \in L^1_{loc}$를 함의하지 않기 때문이며, 따라서 $L \log L$에 대한 결과는 이 특정 방법론의 한계를 나타냅니다.
• 일반화: 본 결과는 표준 기울기 사례 ($A=\nabla$) 와 대칭 기울기 사례 ($A=\varepsilon$) 에서의 기존 부분 정칙성 이론을 임의의 상수 랭크 타원형 연산자로 일반화합니다.
• 범위: 본 논문은 지수 성장 피적분 함수 (스케일의 다른 끝) 에 대한 조사는 향후 연구로 미루며, 축소 전략이 주요 초점임을 명시합니다.

요약하자면, 본 논문은 오를리츠 성장의 맥락에서 극소점의 부분 정칙성을 위한 미분 연산자 $A$의 타원형성이 필요충분조건임을 보여줍니다. 이는 표준 $\Delta_2 \cap \nabla_2$ 영역과 임계적인 $L \log L$ 극한 사례를 모두 포괄하며, 이러한 문제들을 전 기울기 범함수에 대한 확립된 결과로 성공적으로 축소함으로써 입증됩니다.