[논문 리뷰] Module of continuity for the functions belonging to the Sobolev-Grand Lebesgue Spaces

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|2010. 06. 21.

Advanced Harmonic Analysis Research참고 문헌 22인용 수 8

한 줄 요약

이 논문은 고전적인 소볼레프 연속성 부등식을 소볼레프-그랜드 르베그 공간 $W^{1}G(\psi)$ 내 함수로 일반화하며, 기울기의 $G(\psi)$-노름에 대해 연속성의 모듈러스 $\omega(f,\delta)$에 대한 새로운 경계를 확립한다. 핵심 결과는 $\omega(f,\delta) \leq \lambda^{\psi}(\delta) \cdot \|\nabla f\|_{G\psi}$ 형태의 부등식이며, 여기서 $\lambda^{\psi}(\delta)$는 $p$-도전도와 가중함수 $\psi$를 포함한다. 정확성은 구성된 예시를 통해 입증된다.

ABSTRACT

In this short article we generalize the Sobolev's inequalities for the module of continuity for the functions belonging to the classical Lebesgue space on the (Bilateral) Grand Lebesgue spaces. We construct also some examples in order to show the exactness of obtained results.

연구 동기 및 목표

• 고전적인 소볼레프 연속성 부등식을 소볼레프-그랜드 르베그 공간 $W^{1}G(\psi)$의 더 넓은 프레임워크로 확장하기.
• 기울기의 $G(\psi)$-노름에 대해 연속성의 모듈러스 $\omega(f,\delta)$에 대한 날카롭고 최적의 경계를 확립하기.
• 함수 공간 설정에서 유도된 부등식의 정확성을 명시적인 반례를 통해 입증하기.
• 특히 임계 매개변수 영역에서 이러한 일반화된 함수 공간에서의 통합 연산자의 비컴 pactness를 조사하기.

제안 방법

• $(A,B)$에서 정의된 양의 연속 함수 $\psi$에 대해, 노름 $\|f\|_{G(\psi)} = \sup_{p \in (A,B)} |f|_p / \psi(p)$를 통해 그랜드 르베그 공간 $G(\psi)$를 정의한다.
• 기울기가 $G(\psi)$에 속하는 함수들의 공간으로 소볼레프-그랜드 르베그 공간 $W^{1}G(\psi)$를 정의한다.
• 컴act 집합 $K \subset D$의 $p$-도전도 $c_p(K)$를 이용하여, 함수의 진동을 제어하는 함수 $\gamma_p(x,y) = c_p[(D\setminus x)\setminus y]^{-1/p}$를 정의한다.
• $\Lambda_p(\delta) = \sup_{|x-y| \leq \delta} \gamma_p(x,y)$ 및 $\lambda^{(\psi)}(\delta) = \inf_{p \in \text{supp}(\psi)} \left[ \Lambda_p(\delta) \cdot \psi(p) \right]$를 정의하여 핵심 모듈러스 경계를 형성한다.
• 기존의 $L_p$-경계 $\omega(f,\delta) \leq \Lambda_p(\delta) \cdot |\nabla f|_p$와 $G(\psi)$-노름의 정의를 이용하여 주요 부등식 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$를 증명한다.
• 특정 예시를 구성하여 날카로움과 통합의 비컴 pactness를 검증하기 위해, $|x| \leq 1$일 때 $f(x) = |x| |\log|x||^\beta L(1 + |\log|x||)$ 형태의 함수를 사용한다.

실험 결과

연구 질문

• RQ1 고전적인 소볼레프 연속성 부등식은 그랜드 르베그 공간 $G(\psi)$ 내 함수로 확장될 수 있는가?
• RQ2 기울기가 $L_p$가 아니라 $G(\psi)$에 속할 경우, 연속성의 모듈러스 경계의 최적 형태는 무엇인가?
• RQ3 $p$-도전도와 가중함수 $\psi$를 어떻게 조합하여 날카로운 모듈러스 추정치를 도출할 수 있는가?
• RQ4 소볼레프-그랜드 르베그 공간 $W^{1}G(\psi)$에서 모듈러스 공간 $H(\eta)$로의 통합 연산자가 비컴 pactness가 되는 조건은 무엇인가?
• RQ5 유도된 경계 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$는 날카로운가? 이는 반례를 통해 입증될 수 있는가?

주요 결과

• 주요 결과는 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$ 형태의 부등식이며, 여기서 $\lambda^{(\psi)}(\delta) = \inf_{p \in \text{supp}(\psi)} \left[ \Lambda_p(\delta) \cdot \psi(p) \right]$로 일반화된 고전적 소볼레프 부등식을 포함한다.
• 특수한 경우 $\psi(p) = p^{-\beta}$일 때, 이 부등식은 기존의 모리 타입 경계 $\omega(f,\delta) \leq C \cdot \delta^{1-d/p} \cdot |\nabla f|_p$로 축소되며, $L_p$ 공간에서 알려진 결과를 복원한다.
• 임계 경우 $\psi(p) = (b-p)^{-\beta - 1/b}$ ($b > d$)일 때, 공간 $H(\eta_{b,\beta})$로의 통합 연산자가 비컴 pactness임을 보였다. 여기서 $\|u\|_{H(\eta)} = \sup_{\delta \in (0,1/e)} \omega(u,\delta)/\eta_{b,\beta}(\delta)$이다.
• 비컴 pactness는 $W^{1}G(\psi)$-노름이 유계이지만 $\|g_{h(1)} - g_{h(2)}\|_{H(\eta)} \not\to 0$인 함수의 수열 $\{g_h\}$을 구성하여 증명되었으며, $|h(1) - h(2)| \to 0$일 때 $\zeta(h) \geq 2 - 2^{1-1/b} > 0$이다.
• 함수 $f(x) = |x| |\log|x||^\beta L(1 + |\log|x||)$ ($|x| \leq 1$)는 $\psi(p) = (b-p)^{-\beta - 1/b}$일 때 $G(\psi)$에 속하며, 통합의 날카로움을 입증한다.
• 결과적으로, 경계 $\omega(f,\delta) \leq \lambda^{(\psi)}(\delta) \cdot \|\nabla f\|_{G\psi}$는 상수가 향상될 수 없음을 확인하여 최적임을 확인한다.