이중 위상 모델과 뭁켄하우프 가중치의 결합

초록

본 논문은 이중 위상 에너지 (J(v)=\int_\Omega\big(|\nabla v|^p+!a(x)|\nabla v|^q\big),dx) 에 대해, 계수 (a(x)) 의 연속성 가정을 완화하고, 일반화된 Orlicz 공간에서 뭁켄하우프‑형 가중치 (A) 조건을 도입한다. 이 조건이 최대 연산자와 Sobolev‑Poincaré 부등식의 유계성을 보장함을 증명하고, De Giorgi 기법을 이용해 약해진 해가 국소적으로 Hölder 연속임을 얻는다. 결과는 기존의 (C^{0,\alpha}) 가정 없이도 정규성을 확보한다는 점에서 의미가 크다.

상세 분석

논문은 먼저 이중 위상 모델 (J(v)=\int_\Omega\big(\frac1p|\nabla v|^p+\frac1q a(x)|\nabla v|^q\big)dx) 을 일반화된 Orlicz‑함수 (\varphi(x,t)=\frac1p t^p+\frac1q a(x)t^q) 으로 표현한다. 여기서 (a(x)\ge0) 는 측정가능하지만 연속성이나 Hölder 연속성을 요구하지 않는다. 기존 연구는 (a\in C^{0,\alpha}) 와 추가적인 성장 제약 (q/p\le1+\alpha n) 을 필요로 했으나, 저자들은 뭁켄하우프‑형 조건 (\varphi\in A) (식 (2.11) 에 정의)를 도입해 이러한 가정을 대체한다.

(A) 조건은 전통적인 가중치 (w\in A_p) 조건을 일반화한 것으로, (\sup_Q|\mathbf{1}Q|{\varphi},|\mathbf{1}Q|{\varphi^}|Q|^{-1}<\infty) 을 만족한다. 이 정의는 일반화된 Orlicz 공간 (L^\varphi) 와 그 쌍대 (L^{\varphi^}) 에서 최대 연산자 (M) 의 유계성을 완전히 특성화한다. 특히, 이중 위상 경우에는 추가적인 “log‑decay” 가정 없이도 (\varphi\in A) ⇔ (M) 가 (L^\varphi) 및 (L^{\varphi^*}) 에서 (모듈러 의미의) 유계성을 갖는다(정리 2.20). 이는 변수 지수 Lebesgue 공간에서 보이는 제한적인 결과와는 대조적이다.

핵심 기술은 일반화된 Jensen 부등식(정리 2.5)이다. 이는 (\varphi)가 비동질적이므로 전통적인 평균값 부등식이 깨지는 상황에서, (\varphi\big(x,\frac{1}{|B|}\int_B|f|\big)) 과 (\frac{1}{|B|}\int_B\varphi(x,|f|)) 사이에 상수비를 제공한다. 이를 이용해 제한된 함수에 대해 Poincaré와 Sobolev‑Poincaré 부등식을 구축하고, Caccioppoli 부등식과 함께 De Giorgi의 차단 기법을 적용한다.

결과적으로, 약해진 해 (u\in W^{1,\varphi}(\Omega)) 는 임의의 작은 볼 (B\subset\Omega) 에 대해
\