이중상 성장 연산자를 포함한 고차 타원계의 매우 약해 해의 고차 적분성

초록

본 논문은 고차 도함수와 가변 계수 a(x)를 갖는 이중상 성장(double phase) 연산자를 주된 부분으로 하는 타원계에 대해, “매우 약해 해”(integrability가 표준 약해 해보다 낮은 해)라 하더라도 일정한 δ ∈ (0,1) 존재 시 이를 일반 약해 해로 끌어올릴 수 있음을 증명한다. 핵심 도구는 Lipschitz 절단 기법을 통한 시험함수 구성, 역 Hölder 부등식 도출, 그리고 Gehring 보조정리 적용이며, 이를 위해 가중 평균 다항식과 새로운 Sobolev–Poincaré 부등식을 개발하였다. 결과는 기존 1차 경우와 a∈C^{0,α} 제한을 넘어, 계수 클래스 Z_α와 임의 차수 m에 대해 확장한다.

상세 분석

논문은 먼저 이중상 성장 함수형 F(u)=∫_Ω(|Du|^p + a(x)|Du|^q)dx 에 대한 Euler‑Lagrange 방정식을 고차 도함수 D^m 까지 일반화한다. 여기서 1<p≤q<∞, a(x)≥0이며 a는 측정가능하지만 Z_α(Ω)라는 새로운 클래스에 속한다. Z_α는 a(x)≤C(a(y)+|x−y|^α) 형태의 비균등 연속성을 요구하므로, 기존의 Hölder 연속보다 넓은 함수들을 포함한다. 주요 가정은 q/p<1+α n이며, 이는 Lavrentiev 현상을 방지하기 위한 충분조건이다.

주요 정리(Theorem 1.1)는 “매우 약해 해”라 불리는 u∈W^{m,1}_loc가 (|D^m u|^p + a|D^m u|^q)^δ∈L^1_loc(Ω) (δ∈(0,1))을 만족하면, 동일한 δ에 대해 (|D^m u|^p + a|D^m u|^q)∈L^1_loc(Ω)임을 보인다. 즉, 적분 지수가 1/δ에서 1로 상승한다. 이 결과는 δ가 데이터(차원 n, 차수 m, 성장 지수 p,q, α,