Regularity for monotone Operators and applications to homogenization of $p$-Laplace type equations

기술 요약: 단조 연산자의 정칙성 및 p-라플라스 유형 방정식의 호모지니제이션에 대한 응용

문제 정의
본 원고는 빠르게 진동하는 주기적 계수를 가진 발산형 준선형 타원형 방정식의 정칙성 이론을 다룬다. 구체적으로, 다음과 같은 형태의 방정식을 조사한다:
$$\nabla \cdot a\left(\frac{x}{\varepsilon}, \nabla u\right) = \nabla \cdot F$$
여기서 $\varepsilon \in (0, 1]$는 작은 매개변수이며, 연산자 $a(x, \xi)$는 $p$-라플라스 연산자를 모델로 하는 성장 및 단조성 조건을 만족한다. 주요 초점은 $p \neq 2$일 때 솔루션에 대한 균등한 대규모 정칙성 추정치(구체적으로 그래디언트에 대한 $L^q$ 추정치 및 리프시츠 추정치)를 확립하는 데 있다.

핵심적인 난제로 식별된 것은, 고전적인 호모지니제이션 이론이 진동하는 방정식이 호모지네이즈된 자율 방정식 $\nabla \cdot \bar{a}(\nabla u) = \nabla \cdot F$로 수렴하도록 허용하지만, 호모지네이즈된 연산자 $\bar{a}$의 구조적 특성이 $p \neq 2$일 때 원래의 연산자 $a$와 일치함이 보장되지 않는다는 점이다. 선형 사례($p=2$) 또는 $p=2$인 비선형 설정에서는, 호모지네이즈된 연산자가 강한 단조성과 균등 타원성을 유지하여 고전적인 정칙성 이론의 적용을 가능하게 한다. 그러나 $p \neq 2$인 경우, 호모지네이즈된 연산자 $\bar{a}$는 일반적으로 더 약한 단조성 조건(구체적으로, 강한 단조성 조건 (1.3)이 실패하고 더 약한 조건 (1.7)로 대체됨)을 만족한다. 결과적으로, 고전적인 정칙성 결과들을 호모지네이즈된 방정식에 직접 적용할 수 없게 되어, 원래의 진동하는 문제에 대한 균등한 추정치를 도출하는 데 장벽을 만든다.

방법론
저자들은 섭동 논법, 호모지니제이션 이론, 그리고 비균등 타원형 방정식에 대한 새로운 분석을 결합한 다단계 전략을 사용한다:

1. 퇴화된 연산자에 대한 국소 정칙성: 저자들은 표준적인 강한 단조성(가정 1)보다 더 약한 단조성 가정(가정 2) 하에서 자율 방정식 $\nabla \cdot a(\nabla나 u) = \nabla \cdot F$에 대한 국소 칼데론-지그문트(Calderón-Zygmund) 유형의 추정치를 먼저 확립한다. 이는 비균등 타격형 연산자에 적응된 모어(Moser) 반복법의 변형을 통해 달성되며, 차분 몫(difference quotients)과 분수 소볼레프 임베딩을 활용한다. 이 단계는 호모지네이즈된 방정식의 솔루션이 더 약한 구조적 조건에도 불구하고 필요한 정칙성을 갖추고 있음을 증명한다.
2. 호모지니제이션 및 보정자(Correctors): 논문은 진동하는 문제를 위한 보정자 및 플럭스 보정자를 구성한다. 핵심적인 이론적 기여는 원래의 연산자 $a$가 강한 가정 1을 만족하더라도, 호모지네이즈된 연산자 $\bar{a}$가 더 약한 가정 2(및 비퇴화 케이스의 가정 3)를 만족한다는 것을 증명하는 것이다. 이러한 호모지니제이션 하에서의 안정성은 셀 공식(cell formulas)과 단조 연산자의 성질을 사용하여 확립된다.
3. 대규모 섭동: 호모지네이즈된 방정식으로부터 진동하는 방정식으로 정칙성을 전달하기 위해, 저자들은 2-스케일 전개와 섭동 논법을 활용한다. 그들은 보정자를 포함하는 나머지 항들에 대한 정량적 수렴 속도를 확립함으로써 솔루션 $u$를 호모지네이즈된 방정식의 솔루션 $v$와 비교한다. 이를 통해 호모지네이즈된 솔루션의 정칙성이 대규모 스케일에서 진동하는 솔루션으로 격상됨을 보여준다.
4. 최대 함수 기법: 전역적 $L^q$ 추정치의 도출은 절단된 최대 함수(truncated maximal functions)를 포함한 최대 함수 기법과, Avellaneda와 Lin의 연구 정신을 따르되 비선형, 퇴화 케이스로 확장된 일반화된 칼데론-지그문트 이론에 의존한다.

주요 기여 및 결과

• 정리 1.1 (국소 정칙성): 저자들은 더 약한 단조성 조건(가정 2)을 만족하는 자율 방정식의 그래디언트에 대한 국소 $L^q$ 추정치를 증명한다. 이 결과는 강한 단조성(1.3) 요구 사항을 제거한다는 점에서 중요한데, 이는 $p \neq 2$일 때 호모지니제이션 과정에서 흔히 상실되는 특성이다. 이 추정치는 모든 $q \in [p, \infty)$에 대해 성립한다.
• 정리 1.2 (균등 대규모 $L^q$ 추정치): 주기적 계수를 가진 진동 방정식에 대해, 저자들은 균등 칼데론-지그문트 추정치를 확립한다. 결정적으로, 추정치에서의 상수 $C$는 $\varepsilon$에 독립적이다. 이 결과는 $p \neq 2$인 $p$-라플라스 유형 방정식에서 새로운 결과이다.
• 정리 1.3 (균등 리프시츠 추정치): 비퇴화 케이스($\mu = 1$)에서, 저자들은 균질 방정식($F \equiv 0$)에 대한 균등 리프시츠 추정치를 도출한다. 이는 선형 시스템에서 Avellaneda와 Lin의 획기적인 결과를 비선형, 비퇴화 타원형 방정식으로 확장한 것이다.
• 가정의 안정성: 본 논문은 더 약한 가정 2(및 가정 3)를 만족하는 연산자 클래스가 호모지니제이션 하에서 닫혀 있음을 입증한다. 이는 이전 연구들(예: [23])에서 요구되었던 호모지네이즈된 솔루션에 대한 정칙성 가정을 정당화하며, Finsler $p$-라플라시안 및 직교성(orthotropic) $p$-라플라시안을 포함한 더 넓은 범위의 연산자 클래스에 개발된 정칙성 이론을 적용할 수 있게 한다.

의의 및 주장
본 논문은 $p \neq 2$일 때 진동하는 계수를 가진 $p$-라플라스 유형 방정식에 대한 최초의 일반적인 무조건적 균등/대규모 칼데론-지그문트 유형 정칙성 결과를 제공한다고 주장한다. 이 연구 이전에는 이러한 결과들이 선형 케이스($p=2$)로 제한되었거나, 조건부 가정(예: 호모지네이즈된 연산자가 강한 단조성을 유지한다는 가정, 이는 일반적으로 참이 아님)을 필요로 했다.

저자들은 선형화 기법에 의존하지 않는 비균등 타격형 방정식에 대한 정칙성 이론을 개발함으로써, 호모지네이즈된 연산자의 강한 단조성 결여를 극克服함을 강조한다. 이를 통해 이전 연구[59]에서 조건부 가정 하에 얻어졌던 대규모 정칙성 결과를 이제 추가적인 제한 없이 회복할 수 있다. 결과는 표준적인 강한 단조성을 만족하지 않지만 약한 가정을 만족하는 직교성 $p$-라플라시안을 포함하여, 광범위한 퇴화 타원형 연산자에 적용 가능하다.

본 원고는 추가적인 가정 없이 일반적인 $p \neq 2$ 케이스에 대한 무작위 계수의 문제를 해결한다고 주장하지 않으며, 그러한 결과(예: [23])가 현재 특정 모델 제한에 의존하고 있음을 명시한다. 그러나 본 논문은 그러한 확률론적 확장에 필요할 결정론적 프레임워크(호모지네이즈된 연산자의 정칙성)를 구축한다.