[논문 리뷰] On weighted remainder form of Hardy-type inequalities

Peng Gao|ArXiv.org|2009. 07. 30.

Analytic Number Theory Research참고 문헌 9인용 수 5

한 줄 요약

이 논문은 $0 < p < 1$ 및 $p > 1$에 대해 리만형 부등식의 가중 잔여형을 수립함으로써 레빈과 스테치킨의 부등식을 일반화한다. 적분 및 이산 이중성 원리를 사용하여, 연산자 노름 분석을 통해 날카운 상수를 도출하고, 기존 결과를 로그 및 거듭제곱 가중 평균을 포함한 더 넓은 매개변수 범위로 확장한다.

ABSTRACT

We use different approaches to study a generalization of a result of Levin and Stečkin concerning an inequality analogous to Hardy's inequality. Our results lead naturally to the study of weighted remainder form of Hardy-type inequalities.

연구 동기 및 목표

• 고전적 경우를 초월하여 레빈과 스테치킨의 부등식을 하디형 부등식으로 일반화하기 위해.
• $0 < p < 1$ 및 $p > 1$에 대해 날카운 상수를 갖는 하디형 부등식의 가중 잔여형을 수립하기 위해.
• 기존의 가중 평균 행렬 및 $l^p$ 연산자 노름에 관한 결과들을 통합하고 확장하기 위해.
• $1/p + 1/q = 1$ 조건을 만족하는 $q$-노름 이중성에 기반해 이 inequality의 이산형과 적분형 사이의 이중성 관계를 탐구하기 위해.
• 점근적 분석과 코프슨 및 노프의 부등식과 같은 기존 부등식과의 비교를 통해 최적의 상수를 도출하기 위해.

제안 방법

• $1/p + 1/q = 1$ 조건을 만족하는 $L^p$ 및 $L^q$ 공간 간의 이중성 원리를 사용하여 부등식을 등가의 이중형으로 변환한다.
• 가중 평균 행렬의 $l^p$ 유계성 분석을 위해 연산자 노름 프레임워크를 적용한다.
• $r \neq 0$에 대해 일반화된 가중 함수 $\frac{(k+1)^r - k^r}{r}$를 도입하고, $r \to 0$ 극한으로 $\ln((k+1)/k)$를 정의한다.
• 가중치가 거듭제곱인 부등식을 도출하기 위해 $a_n \to n^{-\beta/p} a_n$의 변수 변경을 시행한다.
• $b_n$ 수열의 구성과 지수적 경계를 사용하여 수렴성과 날카움에 대한 충분 조건을 도출한다.
• $\lim_{n\to\infty} \Lambda_{n+1} G_{n+1}/\lambda_n = 0$ 조건과 차분 몫의 상한을 사용하여 $E = e^M$을 통해 날카운 상수를 확립한다.

실험 결과

연구 질문

• RQ1 $0 < p < 1$ 및 $(2+r)p \leq 1$를 만족하는 $r$에 대해, 하디형 부등식의 가중 잔여형에 대한 최적 상수는 무엇인가요?
• RQ2 레빈과 스테치킨의 부등식은 어떻게 거듭제곱 가중 평균과 로그 가중 평균을 포함하도록 일반화될 수 있나요?
• RQ3 $p > 1$ 또는 $p < 0$일 때 부등식이 역전되는 조건은 무엇이며, 이에 대응하는 날카운 상수는 무엇인가요?
• RQ4 $p$와 $q$ 사이의 이중성 원리를 사용하여 부등식의 등가 이중형을 날카운 상수와 함께 도출할 수 있는가요?
• RQ5 $\lambda_n = n^\alpha - (n+1)^\alpha$ 또는 $\lambda_n = n^\alpha$ ($\alpha < -1$)로 정의된 수열에 대해 결과는 어떻게 확장되나요?

주요 결과

• $0 < p < 1$ 및 $(2+r)p \leq 1$를 만족하는 $r$에 대해, $\sum_{n=1}^\infty \left( \frac{1}{n^r} \sum_{k=n}^\infty \frac{(k+1)^r - k^r}{r} a_k \right)^p \geq \left( \frac{p}{1 - rp} \right)^p \sum_{n=1}^\infty a_n^p$ 부등식이 최적 상수를 갖는다.
• $q = p/(p-1)$인 경우 이중형은 $\sum_{n=1}^\infty \left( \frac{(n+1)^r - n^r}{r} \sum_{k=1}^n \frac{a_k}{k^r} \right)^q \leq \left( \frac{p}{1 - rp} \right)^q \sum_{n=1}^\infty a_n^q$로 주어지며, $p > 1$ 및 $1/p - 2 \leq r < 1/p$ 조건에서 유효하다.
• $r = 0$인 경우 $\sum_{n=1}^\infty \left( \sum_{k=n}^\infty \ln\left(\frac{k+1}{k}\right) a_k \right)^p \geq p^p \sum_{n=1}^\infty a_n^p$가 성립하며, 이는 $0 < p \leq 1/2$일 때 코프슨의 부등식을 함의한다.
• $-1 \leq \alpha < 0$인 $\lambda_n = n^\alpha - (n+1)^\alpha$에 대해 $\sum_{n=1}^\infty \left( \prod_{k=n}^\infty a_k^{(k^\alpha - (k+1)^\alpha)/n^\alpha} \right) \leq e^{1/\alpha} \sum_{n=1}^\infty a_n$이 성립하며, 최적 상수는 $e^{1/\alpha}$이다.
• $\alpha < -1$인 경우 $\sum_{n=1}^\infty \left( \sum_{k=n}^\infty \frac{k^\alpha a_k}{\sum_{i=n}^\infty i^\alpha} \right)^p \geq \left( \frac{(1+\alpha)p}{(1+\alpha)p - 1} \right)^p \sum_{n=1}^\infty a_n^p$가 성립하며, 최적 상수는 $a_n = n^{-1/p - \epsilon}$ ($\epsilon \to 0^+$)를 통해 확인된다.