[논문 리뷰] Bessel potentials and optimal Hardy and Hardy-Rellich inequalities

Nassif Ghoussouband, Amir Moradifam|ArXiv.org|2007. 09. 12.

Nonlinear Partial Differential Equations참고 문헌 28인용 수 9

한 줄 요약

이 논문은 Bessel 쌍—특정 2계 상미분방정식이 양의 해를 가지는 반경방향 가중치 쌍 (V, W)인 것—을 통해 최적의 하디 및 하디-렐리히 부등식을 완전히 특성화한다. 부등식 ∫V|∇u|²dx ≥ c∫Wu²dx 및 ∫V|Δu|²dx ≥ ∫W|∇u|²dx 가 성립하기 위한 필요 및 충분 조건을 제공하며, 카프레리-코른-니레나르드, 브레지스-바스케스, 필리파스-테르티카스의 고전적 결과들을 통합하고 확장한다. 여기서 최적 상수는 상미분방정식의 진동 이론으로부터 명시적으로 유도된다.

ABSTRACT

We give necessary and sufficient conditions on a pair of positive radial functions V and W on a ball B of radius R in R^n,$n \geq 1$, so that the following inequalities hold for all $u \in C_{0}^{\infty}(B)$: $\int_{B}V(x)| abla u |^{2}dx \geq \int_{B} W(x)u^2dx$, and $\int_{B}V(x)|Δu |^{2}dx \geq \int_{B} W(x)| abla u|^{2}dx+(n-1)\int_{B}(\frac{V(x)}{|x|^2}-\frac{V_r(|x|)}{|x|})| abla u|^2dx$. This characterization makes a very useful connection between Hardy-type inequalities and the oscillatory behaviour of certain ordinary differential equations, and helps in the identification of a large number of such couples (V, W) - that we call Bessel pairs -as well as the best constants in the corresponding inequalities. This allows us to improve, extend, and unify many results -old and new- about Hardy and Hardy-Rellich type inequalities, such as those obtained by Caffarelli-Kohn-Nirenberg, Brezis-Vazquez, Wang-Willem, Adimurthi-Chaudhuri-Ramaswamy, Filippas-Tertikas, Adimurthi-Grossi -Santra, Tertikas-Zographopoulos, and Blanchet-Bonforte-Dolbeault-Grillo-Vasquez.

연구 동기 및 목표

• 공간 Rⁿ의 구 B에서 컴actsupport를 가진 모든 미분 가능 함수 u에 대해 하디 유형 부등식이 성립하도록 하기 위한 반경방향 가중치 V와 W에 대한 필요 및 충분 조건을 제공한다.
• 카프레리-코른-니레나르드, 브레지스-바스케스 및 기타 연구자들의 하디 및 하디-렐리히 부등식에 관한 기존 결과들을 통합하고 확장한다.
• 관련된 상미분방정식의 진동 이론을 활용하여 이러한 부등식의 최적 상수를 Bessel 쌍 이론을 통해 규명한다.
• 고전적 하디 부등식과 그 개선형을 임계 차원(예: n=2, n=4) 및 변수 또는 거듭제곱형 가중치로 일반화한다.

제안 방법

• Bessel 쌍 (V, W)를 (0, R)에서 정의하여, ODE y'' + (n−1)/r + V′(r)/V(r) y′ + cW(r)/V(r) y = 0 이 (0, R)에서 양의 해를 가지는 쌍으로 간주하며, c는 최적 상수이다.
• ODE가 양의 해를 가지는 c의 상한을 β(V, W; R)로 정의하여, 부등식과 상미분방정식의 진동 이론을 연결한다.
• limsup_{r→0} r²ⁿ⁻² V(r)W(r) (∫_r^R dτ/(τⁿ⁻¹V(τ)))² < 1/4 등의 적분 조건을 사용하여 (V, W)가 Bessel 쌍이 되는지를 판단한다.
• 이론을 적용하여 |x|⁻²ᵐ, (a + b|x|ᵃ)ᵇ 및 V(x) = |x|⁻²ᵃ와 같은 가중치를 포함한 부등식에서 최적 상수를 도출한다.
• 구면 조화함수 분해와 각운동량 인덱스 k에 대한 최소화를 통해 4차 하디-렐리히 부등식의 최적 상수를 특성화한다.
• 함수 f(x) = ((n−4−2m)(n+2m)/4 + x)² / ((n−4−2m)/2)² + x 의 임계점 분석을 통해 다양한 m 범위에 대해 최적 상수 aₙ,ₘ를 계산한다.

실험 결과

연구 질문

• RQ1 반경방향 가중치 V와 W가 어떤 조건을 만족할 경우, 모든 u ∈ C₀∞(B)에 대해 ∫_B V|∇u|²dx ≥ c∫_B W u²dx 가 성립하는가?
• RQ2 이러한 부등식에서 최적 상수 c는 무엇이며, 이를 상미분방정식 이론으로 어떻게 특성화할 수 있는가?
• RQ3 고전적 하디 및 하디-렐리히 부등식은 어떻게 변수 또는 거듭제곱형 가중치와 임계 차원을 포함하도록 일반화할 수 있는가?
• RQ4 차원 n=2, 4 및 그 이상에서, 반경방향 또는 비반경방향 함수에 대해 4차 하디-렐리히 부등식의 최적 상수는 무엇인가?
• RQ5 특정 2계 상미분방정식의 진동 행동은 하디 유형 부등식의 타당성과 최적성 결정에 어떻게 기여하는가?

주요 결과

• 모든 u ∈ C₀∞(B)에 대해 ∫_B V|∇u|²dx ≥ c∫_B W u²dx 가 성립하는 것은 ODE (B_{V,cW}) 가 (0, R)에서 양의 해를 가지는 것과 동치이며, 최적 상수 c = β(V, W; R)로 주어진다.
• V(x) ≡ 1 이고 W(x) = |x|⁻² 일 경우, 최적 상수는 ((n−2)/2)² 로, 고전적 하디 부등식을 복원한다.
• V(x) = |x|⁻²ᵃ 이고 W(x) = |x|⁻²ᵃ⁻² 일 경우, 최적 상수는 ((n−2a−2)/2)² 로, 카프레리-코른-니레나르드 부등식을 일반화한다.
• |x|의 거듭제곱형 가중치 (a + b|x|ᵃ)ᵇ 에 대해 αβ > 0 이고 m ≤ (n−2)/2 이면, 최적 상수는 ((n−2m−2)/2)² 으로, 모든 차원 n ≥ 2 에서 유효하다.
• αβ < 0 이고 2m−αβ ≤ n−2 이면, 최적 상수는 ((n−2m+αβ−2)/2)² 으로, 비모노톤 가중치로의 결과 확장을 제공한다.
• 4차 부등식의 경우, 최적 상수 aₙ,ₘ 는 k에 대한 최소화를 통한 조각별 공식으로 주어지며, m과 n에 따라 명시적인 표현을 갖는다. 이는 임계 차원에서도 유효하다.