[논문 리뷰] Sharp pointwise estimates for functions in the Sobolev spaces Hs(Rn)

Linéia Schütz, Juliana S. Ziebel외 2명|arXiv (Cornell University)|2016. 02. 05.

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

한 줄 요약

이 논문은 $ s > n/2 $ 인 경우 $ H^s(\mathbb{R}^n) $ 함수에 대한 Gagliardo-Nirenberg 초등급 부등식에서 최적의 상수 $ K(n,s) $ 를 확립한다. 푸리에 분석과 척도 변환을 이용하여 감마 함수와 사인 항을 포함하는 폐쇄형 표현을 유도하며, 극값 함수와 얀의 부등식을 통해 그 최소성도 증명한다.

ABSTRACT

We obtain the optimal value of the constant K(n,s) in the Sobolev-Nirenberg-Gagliardo inequality $ \|\,u\,\|_{L^{\infty}(\mathbb{R}^{n})} \leq K(n,s) \,\|\, u \,\|_{L^{2}(\mathbb{R}^{n})}^{1 - n/(2s)} \|\, u \,\|_{\dot{H}^{s}(\mathbb{R}^{n})}^{n/(2s)} $ where $ s > n/2 $.

연구 동기 및 목표

• Gagliardo-Nirenberg 부등식에서 $ H^m(\mathbb{R}^n) $, $ m > n/2 $ 에 대해 $ L^{\frac{2m}{2m-n}} $-유형의 점별 추정에 대한 최선의(최소의) 상수 $ K(n,s) $ 를 결정하는 것.
• 정수 $ s = m $ 에서만 아니라 임의의 실수 $ s > n/2 $ 에 대해 $ H^s(\mathbb{R}^n) $ 공간으로 최적 상수를 일반화하는 것.
• 등호가 성립하는 극값 함수를 구성함으로써 유도된 상수가 최적임을 증명하는 것.
• 이 기본 부등식에서 최적 상수의 정확한 값을 제공함으로써 오랫동안 존재했던 문헌의 빈도를 메우는 것.

제안 방법

• 푸리에 변환을 사용하여 $ \|u\|_{\dot{H}^s(\mathbb{R}^n)} $ 를 $ \int_{\mathbb{R}^n} |\xi|^{2s} |\hat{u}(\xi)|^2 d\xi $ 로 표현하는 것.
• 변환 $ u_\lambda(x) = u(\lambda x) $ 를 통한 척도 불변성 적용을 통해 $ \lambda > 0 $ 에 따라 매개변수화된 부등식의 가족을 도출하는 것.
• 최적 상수 $ K(n,s) $ 를 $ n $, $ s $, 특수 함수의 형태로 유도하기 위해 $ \lambda $ 에 대해 결과 표현식을 최소화하는 것.
• 얀의 부등식을 사용하여 $ H^s $-노름을 $ L^2 $ 및 $ \dot{H}^s $-노름의 곱으로 bound함으로써 핵심 비교를 확립하는 것.
• 등호가 성립하는 극값 함수 $ \hat{w}(\xi) = c / (1 + |\xi|^{2s}) $ 를 구성하여 부등식에서 등호 성립을 검증함으로써 최적성 증명하는 것.
• 감마 함수 $ \Gamma(n/2) $, 사인 함수 $ \sin(\pi n / (2s)) $, 그리고 $ (n/(2s - n)) $ 및 $ (2s/(2s - n)) $ 의 유리수 거듭제곱을 포함하는 $ K(n,s) $ 의 명시적 공식 유도하는 것.

실험 결과

연구 질문

• RQ1 Gagliardo-Nirenberg 부등식에서 $ H^m(\mathbb{R}^n) $, $ m > n/2 $ 에 대해 오른쪽 항이 $ \|u\|_{L^2}^{1 - n/(2m)} \|D^m u\|_{L^2}^{n/(2m)} $ 를 포함할 때, 최적 상수 $ K(n,m) $ 의 정확한 값은 무엇인가요?
• RQ2 정수 차수의 소볼레프 공간 $ H^m(\mathbb{R}^n) $ 에서 최적 상수를 실수 차수 공간 $ H^s(\mathbb{R}^n) $, $ s > n/2 $ 로 일반화할 수 있는 방법은 무엇인가요?
• RQ3 제안된 상수 $ K(n,s) $ 는 진정으로 최적인가, 아니면 모든 $ u \in H^s(\mathbb{R}^n) $ 에 대해 동일한 부등식을 만족시키기 위해 더 작은 상수를 사용할 수 있는가요?
• RQ4 푸리에 변환은 등호가 성립하는 극값 함수를 특성화하는 데 어떤 역할을 하는가요?
• RQ5 감마 함수와 사인 함수와 같은 알려진 특수 함수를 포함하는 폐쇄형으로 최적 상수를 표현할 수 있는가요?

주요 결과

• Gagliardo-Nirenberg 부등식에서 $ H^m(\mathbb{R}^n) $, $ m > n/2 $ 에 대해 최적 상수는 다음 명시적 공식으로 주어진다: $$ K(n,m) = (4\pi)^{-n/4} \left( \frac{n}{2} \Gamma\left(\frac{n}{2}\right) \right)^{-1/2} \left( \frac{\sin(\pi n / (2m))}{\pi n / (2m)} \right)^{-1/2} \left( \frac{n}{2m - n} \right)^{-n/(4m)} \left( \frac{2m}{2m - n} \right)^{1/2}. $$
• $ s > n/2 $ 인 경우, 일반화된 부등식 $ \|u\|_{L^\infty(\mathbb{R}^n)} \leq K(n,s) \|u\|_{L^2}^{1 - n/(2s)} \|u\|_{\dot{H}^s}^{n/(2s)} $ 에서 최적 상수는 $ m $ 을 $ s $ 로 대체한 동일한 공식으로 주어지며, 이는 결과가 정수 $ s $ 를 초월하여 성립함을 보여준다.
• 극값 함수 $ \hat{w}(\xi) = c / (1 + |\xi|^{2s}) $ 는 부등식에서 등호를 성립시키며, 이로써 상수 $ K(n,s) $ 가 실제로 최적임을 증명한다.
• 등호가 얀의 부등식의 부등식 체인에서 성립함으로써, $ K(n,s) $ 는 모든 $ u \in H^s(\mathbb{R}^n) $ 에 대해 부등식을 만족시키기 위해 더 작은 상수를 사용할 수 없음을 보여 최소성임을 입증한다.
• $ n=1, m=2 $ 인 경우, 최적 상수는 $ \|u\|_{L^\infty(\mathbb{R})} \leq \frac{\sqrt[4]{2}}{\sqrt[8]{27}} \|u\|_{L^2}^{3/4} \|D^2 u\|_{L^2}^{1/4} $ 를 유도하며, 이는 최적이다.
• $ n=2, m=2 $ 인 경우, 최적 상수는 $ \|u\|_{L^\infty(\mathbb{R}^2)} \leq \frac{1}{2} \|u\|_{L^2}^{1/2} \|D^2 u\|_{L^2}^{1/2} $ 를 제공하며, 이 바운드는 최적이다.