[논문 리뷰] On fractional Poincaré inequalities

Ritva Hurri-Syrjänen, Antti V. Vähäkangas|arXiv (Cornell University)|2011. 11. 15.

Advanced Harmonic Analysis Research참고 문헌 5인용 수 12

한 줄 요약

이 논문은 유계 존 도메인과 R^n 내의 s-존 도메인에 대해 날카로운 분수형 포incare 부등식을 수립하며, 최적의 기하학적 및 차원 조건 하에서 (1,p)-포incare 부등식이 성립함을 증명한다. 도메인의 민코프스키 차원이 임계 임계값을 초과할 경우 이러한 부등식이 성립하지 않음을 보이며, 이는 이토록 날카로운 결과를 도출하기 위해 이중 유크스 분해와 진동 추정을 사용한 명시적 반례를 통해 입증된다.

ABSTRACT

We show that fractional (p,p)-Poincaré inequalities and even fractional Sobolev-Poincaré inequalities hold for bounded John domains, and especially for bounded Lipschitz domains. We also prove sharp fractional (1,p)-Poincaré inequalities for s-John domains.

연구 동기 및 목표

• 유계 존 도메인이 분수형 (p,p)-포incare 부등식을 지닐 수 있는 충분한 기하학적 조건을 규명하는 것.
• s>1인 s-존 도메인에 대해 최적 조건 하에서 날카로운 분수형 (1,p)-포incare 부등식을 증명하는 것.
• 경계의 민코프스키 차원을 기반으로 분수형 (q,p)-포incare 부등식의 실패에 대한 날카로운 임계값을 결정하는 것.
• 이중 유크스 분해를 사용하여 명시적 반례를 구성함으로써 부등식의 날카로움을 입증하는 것.

제안 방법

• 저자들은 도메인 G를 이중 유크스 정사각형으로 분해하여 함수의 국소적 및 전역적 행동을 분석한다.
• 고정된 정사각형 Q0에서 모든 다른 유크스 정사각형으로 연결하는 체인 분해를 정의함으로써 연결성과 경계로부터의 거리 제어를 가능하게 한다.
• 분수형 차수 δ를 다루기 위해 스케일링을 신중히 적용한 후, 하올더의 부등식과 민코프스키의 부등식을 사용하여 부분 정사각형 내 진동을 추정한다.
• 핵심 기법으로는 특정 유크스 정사각형의 특성 함수를 사용하여 평균이 0인 함수 시퀀스 vm을 구성함으로써 포incare 부등식을 시험하는 것.
• 경계의 민코프스키 차원을 사용하여 부등식의 실패에 대한 날카로운 임계값을 특성화한다.
• 특정 척도에서 수의 지수적 증가를 보이는 정사각형을 선택함으로써, s-존 도메인의 기하학적 성질을 이용해 포incare 비율의 폭발을 보여주는 반례를 구축한다.

실험 결과

연구 질문

• RQ1 R^n 내의 유계 도메인 G에 대해 분수형 (q,p)-포incare 부등식이 1≤q≤p<∞일 때 어떤 기하학적 조건에서 성립하는가?
• RQ2 경계의 민코프스키 차원을 기반으로 분수형 (1,p)-포incare 부등식의 실패에 대한 날카로운 임계값은 무엇인가?
• RQ3 지정된 경계 차원을 가진 s-존 도메인에서 (1,p)-포incare 부등식의 날카로움을 명시적 반례를 통해 입증할 수 있는가?
• RQ4 s-존 도메인의 매개변수 s가 p>1일 때 분수형 포incare 부등식의 타당성에 어떤 영향을 미치는가?
• RQ5 분수형 차수 δ와 부등식 실패의 차원 임계값 사이의 관계는 무엇인가?

주요 결과

• 모든 유계 존 도메인, 특히 리프시츠 도메인과 균일 도메인을 포함하여 분수형 (p,p)-포incare 부등식이 성립한다.
• 경계의 민코프스키 차원 λ에 대한 최적 조건 하에서 s>1인 s-존 도메인에 대해 날카로운 분수형 (1,p)-포incare 부등식이 수립된다.
• s < (n+1−λ)/(1−δ) 이고 p ≤ (s(n−1)−λ+1)/(n−s(1−δ)−λ+1)일 경우 부등식이 실패함을 보이며, 이는 지수 범위의 날카로움을 입증한다.
• 특정 척도에서 수의 지수적 증가를 보이는 이중 유크스 정사각형을 사용한 명시적 반례가 구성되며, 이는 m→∞일 때 포incare 비율이 발산함을 이끌어낸다.
• 경계 ∂G_s의 민코프스키 차원 λ는 dim_M(∂G_s)=λ를 만족하며, 이 값은 (1,p)-포incare 부등식의 실패에 대한 날카로운 임계값을 결정한다.
• q<p일 때 A_m / B_m → ∞ 로 수렴함을 보이며, 이는 제시된 조건 하에서 G_s에서 (q,p)-포incare 부등식이 성립할 수 없음을 증명한다.