[논문 리뷰] Regularity for Orlicz phase problems

Sumiya Baasandorj, Sun‐Sig Byun|arXiv (Cornell University)|2021. 06. 29.

Nonlinear Partial Differential Equations참고 문헌 64인용 수 6

한 줄 요약

이 논문은 오르리치 유형의 비표준 성장 조건을 갖는 비자기적이고 비균일 타원성 함수의 최소화자에 대해 최적의 정칙성 조건을 확립한다. 스케일링 불변 조화 근사 기법을 도입하여, 조절 계수의 연속성과 성장 구조에 대해 최적 조건 하에서 기울기의 호일더 연속성을 증명한다. 이는 최소화자 이론을 다중계절성 및 双계절성 설정으로 확장하며, 최적의 적분 가능성과 정칙성 임계값을 제공한다.

ABSTRACT

We provide comprehensive regularity results and optimal conditions for a general class of functionals involving Orlicz multi-phase of the type \begin{align} \label{abst:1} v\mapsto \int_Ω F(x,v,Dv)\,dx, \end{align} exhibiting non-standard growth conditions and non-uniformly elliptic properties. The model functional under consideration is given by the Orlicz multi-phase integral \begin{align} \label{abst:2} v\mapsto \int_Ω f(x,v)\left[ G(|Dv|) + \sum\limits_{k=1}^{N}a_k(x)H_{k}(|Dv|) ight]\,dx,\quad N\geqslant 1, \end{align} where $G,H_{k}$ are $N$-functions and $ 0\leqslant a_{k}(\cdot)\in L^{\infty}(Ω) $ with $0 < ν\leqslant f(\cdot) \leqslant L$. Its ellipticity ratio varies according to the geometry of the level sets $\{a_{k}(x)=0\}$ of the modulating coefficient functions $a_{k}(\cdot)$ for every $k\in \{1,\ldots,N\}$. We give a unified treatment to show various regularity results for such multi-phase problems with the coefficient functions $\{a_{k}(\cdot)\}_{k=1}^{N}$ not necessarily Hölder continuous even for a lower level of the regularity. Moreover, assuming that minima of the functional above belong to better spaces such as $C^{0,γ}(Ω)$ or $L^κ(Ω)$ for some $γ\in (0,1)$ and $κ\in (1,\infty]$, we address optimal conditions on nonlinearity for each variant under which we build comprehensive regularity results. On the other hand, since there is a lack of homogeneity properties in the nonlinearity, we consider an appropriate scaling with keeping the structures of the problems under which we apply Harmonic type approximation in the setting varying on the a priori assumption on minima. We believe that the methods and proofs developed in this paper are suitable to build regularity theorems for a larger class of non-autonomous functionals.

연구 동기 및 목표

• 일반적인 오르리치 다중계절성 함수의 최소화자에 대해 포괄적인 정규성 결과를 확립한다.
• 기울기의 호일더 연속성에 대해 계수 함수와 비선형성에 대한 최적 조건을 규명한다. 이는 계수 함수가 호일더 연속성이 아닐 경우에도 성립한다.
• 비자기적이고 비균일 타원성 함수의 기존 정규성 이론을 (p,q)-이중계절성, 경계선 이중계절성, 다중계절성 문제에 통합하여 단일 프레임워크로 확장한다.
• 비표준 성장 조건이 있는 최소화 문제에서 라브렌티에프 현상이 발생하지 않도록 보장한다.
• 함수의 구조적 가정이 최적으로 설정된 조건 하에서 고차적 적분 가능성과 하르낙 타입 부등식을 증명한다.

제안 방법

• 형식 $ \int_\Omega F(x, \upsilon, D\upsilon) \,dx $ 의 오르리치 다중계절성 함수를 위한 통합 프레임워크를 도입한다. 여기서 $ F(x, z) = G(|z|) + \sum_{k=1}^N a_k(x) H_k(|z|) $ 이며, $ G, H_k $ 는 N-함수이고 $ a_k \in L^\infty(\Omega) $ 이다.
• 최소화자의 정규성에 대한 사전 가정을 유지하면서 기능의 구조적 특성을 보존하는 새로운 스케일링 절차를 적용하여 조화 근사의 활용을 가능하게 한다.
• 뮤지엘라크-오르리치-소볼레프 공간의 맥락에서 조화형 근사를 사용하여 최소화자를 일정 계수 문제의 해와 비교한다.
• 비균일 성장에 적합한 소볼레프-파인카레 및 카치오페리 타입 부등식을 수립한다. 이들 상수는 조절 계수의 연속성 모듈러스에 의존한다.
• 편차 감쇠와 스케일링된 에너지 추정을 기반으로 한 정교한 반복 추론을 통해 기울기의 호일더 연속성을 도출한다.
• 계수 함수의 연속성 모듈러스 $ \omega_a, \omega_b $ 에 대한 최적 가정 하에서 고차적 적분 가능성과 하르낙 부등식을 증명한다.

실험 결과

연구 질문

• RQ1 최소화자의 기울기가 호일더 연속이 되기 위한 계수 함수 $ a_k(\cdot) $ 와 N-함수 $ G, H_k $ 에 대한 최적 조건는 무엇인가?
• RQ2 계수 함수가 호일더 연속성이 아닐 경우에도 비자기적이고 비균일 타원성 함수의 정규성 이론을 어떻게 비표준 성장 조건 하에서 확장할 수 있는가?
• RQ3 어떤 조건에서 오르리치 다중계절성 문제에서 라브렌티에프 현상이 발생하지 않는가?
• RQ4 최적의 구조적 가정 하에서 최소화자에 대해 고차적 적분 가능성과 하르낙 타입 부등식을 어떻게 확립할 수 있는가?
• RQ5 다중계절성 문제에서 성장 비율 $ q/p $ 또는 $ s/p $ 의 최적 임계값은 무엇이며, 이는 기울기 정규성 보장에 어떤 영향을 미치는가?

주요 결과

• 논문은 기울기의 호일더 연속성에 대한 최적 조건를 확립한다: $ a(\cdot) \in C^{\omega_a}(\Omega) $ 이고 $ \omega_a $ 가 볼록이며 0에서 0으로 수렴하며, $ \limsup_{t \to 0^+} \omega_a(t) \log(1/t) < \infty $ 이면, 최소화자는 호일더 연속 기울기를 갖는다.
• (p,q)-이중계절성의 경우 최적 조건는 $ q/p \leq 1 + \alpha/n $ 이고 $ a(\cdot) \in C^{0,\alpha}(\Omega) $ 이며, 이는 라브렌티에프 갭의 관점에서 최적이며 정확하다.
• 경계선 이중계절성의 경우 $ \Psi(x,t) = |z|^p + a(x)|z|^p \log(1 + |z|) $ 이면, $ \omega_a(t) \lesssim t^\alpha $ 를 만족하는 어떤 $ \alpha \in (0,1) $ 이 존재하면 호일더 연속성이 성립한다.
• 논문은 최소화자 $ u \in L^\kappa(\Omega) $ 이고 어떤 $ \kappa > 1 $ 이면, 최적의 성장 및 연속성 조건 하에서, 모든 $ \Omega_0 \Subset \Omega $ 에 대해 $ u \in C^{0,\gamma}(\Omega_0) $ 를 만족하며, $ \gamma \in (0,1) $ 은 자료에 따라 달라진다.
• 뮤지엘라크-오르리치 설정에서 새로운 소볼레프-파인카레 부등식을 확립하였으며, 이 상수는 계수의 연속성 모듈러스에 의존한다.
• 여러 계수 함수 $ a_k(\cdot) $ 를 갖는 다중계절성 문제로 결과를 확장하였으며, 유사한 연속성 및 성장 조건 하에서 동일한 정규성 임계값이 적용됨을 증명하였다.