[논문 리뷰] Sharp Sobolev trace inequalities for higher order derivatives

Qiaohua Yang|arXiv (Cornell University)|2019. 01. 13.

Nonlinear Partial Differential Equations참고 문헌 26인용 수 5

한 줄 요약

이 논문은 유클리드 단위 구와 반공간에서 고차 도함수에 대한 날카운 Sobolev 경계 부등식을 초구형 공간에서의 산란 이론과 일반화된 포아송 핵을 이용하여 수립한다. 극값 함수에 대한 명시적 공식을 유도하고, 케이스와 찬이 도입한 적응 메트릭을 계산하여, 레베데프-밀린 및 베커너 유형의 부등식을 분수 GJMS 연산자와 같은 고차 연산자로 일반화한다.

ABSTRACT

Motivated by a recent work of Ache and Chang concerning the sharp Sobolev trace inequality and Lebedev-Milin inequalities of order four on the Euclidean unit ball, we derive such inequalities on the Euclidean unit ball for higher order derivatives. By using, among other things, the scattering theory on hyperbolic spaces and the generalized Poisson kernel, we obtain the explicit formulas of extremal functions of such inequations. Moreover, we also derive the sharp trace Sobolev inequalities on half spaces for higher order derivatives. Finally, we compute the explicit formulas of adapted metric, introduced by Case and Chang, on the Euclidean unit ball, which is of independent interest.

연구 동기 및 목표

• 유클리드 단위 구와 반공간에서 고차 도함수에 대한 날카운 Sobolev 경계 부등식을 확장한다.
• 산란 이론과 일반화된 포아송 핵을 이용하여 이러한 부등식의 극값 함수에 대한 명시적 공식을 도출한다.
• 케이스와 찬이 도입한 적응 메트릭을 유클리드 단위 구에서 계산하며, 이는 별개의 관심사이다.
• 베커너 유형의 부등식과 레베데프-밀린 부등식을 분수 GJMS 연산자와 같은 고차 연산자로 일반화한다.
• 등각 불변성과 고차 미분 연산자를 통해 구와 반공간에서의 경계 부등식 간의 동치성을 확립한다.

제안 방법

• 고차 미분 연산자의 구조와 경계 행동을 분석하기 위해 초구형 공간에서의 산란 이론을 활용한다.
• 일반화된 포아송 핵을 적용하여 경계에서 내부 단위 구로의 조화 연장 함수를 구성한다.
• Sobolev 유형 부등식의 등각 불변성을 활용하여 구, 구, 반공간에서의 부등식을 연결한다.
• 재귀적 미분과 특수함수 항등식을 이용하여 고차 확장의 노이만 및 딜리클레 경계 조건에 대한 명시적 공식을 유도한다.
• 그린의 정리와 부분 적분을 적용하여 $ L^2 $-노름과 분수 라플라스 연산자를 포함한 경계 적분 간의 관계를 규명한다.
• 스펙트럼 정의를 통해 $ rac{ abla^{m+1}U_m}{ ext{norm}} $ 와 연산자 $ rac{ abla^{m+1}U_m}{ ext{norm}} $ 를 이용하여 $ rac{ abla^{m+1}U_m}{ ext{norm}} $-노름을 통해 날카운 상수를 도출한다.

실험 결과

연구 질문

• RQ1 유클리드 단위 구에서 고차 도함수에 대한 날카운 Sobolev 경계 부등식은 무엇이며, 레베데프-밀린 부등식과 같은 고전적 부등식을 어떻게 일반화하는가?
• RQ2 산란 이론과 포아송 핵을 이용하여 이러한 고차 경계 부등식의 극값 함수를 어떻게 명시적으로 특성화할 수 있는가?
• RQ3 케이스와 찬이 유클리드 단위 구에 도입한 적응 메트릭의 구조는 무엇이며, 고차 등각 불변량과 어떻게 관련되어 있는가?
• RQ4 고차 GJMS 연산자와 분수 라플라스 연산자는 경계 부등식의 날카운 정도와 등호 조건에 어떻게 영향을 미치는가?
• RQ5 등각 불변성을 통해 반공간에서의 경계 부등식과 단위 구에서의 해당 부등식 사이의 정확한 관계는 무엇인가?

주요 결과

• 논문은 유클리드 단위 구와 반공간에서 고차 도함수에 대한 날카운 경계 부등식을 수립하였으며, 베커너의 결과와 레베데프-밀린의 결과를 분수 GJMS 연산자로 일반화한다.
• 극값 함수에 대한 명시적 공식이 $ c( ho^2 + |x - x_0|^2)^{-rac{n - 2 ilde{ u}}{2}} $ 형태로 도출되었으며, 여기서 $ ilde{ u} $ 는 연산자의 차수에 대응한다.
• 유클리드 단위 구에서의 적응 메트릭이 명시적으로 계산되었으며, 경계의 등각 구조와 고차 연산자 이론과 관련이 있음을 보였다.
• 경계 부등식의 날카운 상수는 오직 $ c( ho^2 + |x - x_0|^2)^{-rac{n - 2 ilde{ u}}{2}} $ 형태의 함수에서만 달성되며, 이는 극값의 유일성을 확인한다.
• 감마 함수 항등식을 통해 노이만 경계 조건 $ rac{ abla^{2k}U_m}{ ext{norm}}|_{y=0} $ 가 $ rac{ abla^{2k}f}{ ext{norm}} $ 에 비례하는 것으로 나타났다.
• 논문은 반공간에서 $ (m+1) $-번째 순서의 기울기의 $ L^2 $-노름이 $ (m + 1/2) $-번째 순서의 분수 라플라스 연산자를 포함한 경계 적분과 같음을 증명하였으며, 이는 날카운 상수를 도출한다.