[논문 리뷰] New integral inequalities via $(α,m)$-convexity and quasi-convexity

Wenjun Liu|arXiv (Cornell University)|2012. 01. 25.

Mathematical Inequalities and Applications참고 문헌 21인용 수 14

한 줄 요약

이 논문은 헬더 부등식과 베타 함수를 이용하여 $(\alpha,m)$-볼록 및 쿼시-볼록 함수에 대한 새로운 적분 부등식을 수립한다. 이는 이전의 $m$-볼록 및 쿼시-볼록 함수에 대한 결과를 일반화하며, 매개변수화된 볼록성 클래스를 통해 거듭제곱 가중 커널을 포함하는 적분에 대해 더 날카운 bounds를 제공한다.

ABSTRACT

In this paper, we establish some new integral inequalities for $(α, m)-$convex functions and quasi-convex functions, respectively. Our results in special cases recapture known results.

연구 동기 및 목표

• 기존의 $m$-볼록 및 쿼시-볼록 함수에 대한 적분 부등식을 더 넓은 $(\alpha,m)$-볼록 함수의 범주로 확장하기 위해.
• $(\alpha,m)$-볼록성 및 쿼시-볼록성 조건 하에서 형태 $\int_a^b (x-a)^p (b-x)^q f(x)\,dx$를 가진 가중 적분에 대한 새로운 bound를 도출하기 위해.
• 특히 옹데미르 등 [20]의 이전 연구 결과를 일반화하고 통합하기 위해 매개변수 $\alpha$와 $m$을 통합하기 위해.
• 연속성 및 르베그 적분 가능성과 같은 최소한의 정규성 조건 하에서 베타 함수와 헬더 부등식을 이용해 날카운 추정치를 제공하기 위해.

제안 방법

• 대체 $x = ta + (1-t)b$를 통해 가중 적분을 $[0,1]$에서의 표준 형태로 변환하기 위해 보조정리 1.1을 활용한다.
• 함수 $f$의 $L^p$-노름을 제어하기 위해 공액 지수 $k$와 $\frac{k}{k-1}$를 가진 헬더 부등식을 적용한다.
• 거듭제곱 함수의 적분을 평가하기 위해 오일러 베타 함수 $\beta(x,y) = \int_0^1 t^{x-1}(1-t)^{y-1} dt$를 활용한다.
• 함수 $|f|^l$ 또는 $|f|^{k/(k-1)}$의 쿼시-볼록성 또는 $(\alpha,m)$-볼록성을 이용하여 점별 값들을 $\max\{|f(a)|, |f(b)|\}$ 또는 $f(a/m)$, $f(b/m)$를 포함하는 조합으로 상향 근사한다.
• 베타 함수와 끝점 및 스케일된 점에서의 함수 값에 관여하는 표현의 최소화 또는 최대화를 통해 bound를 유도한다.
• 쿼시-볼록 함수의 성질을 적용하여 $f(tx + (1-t)y) \leq \max\{f(x), f(y)\}$를, $(\alpha,m)$-볼록 함수의 성질을 적용하여 $f(tx + m(1-t)y) \leq t^\alpha f(x) + m(1-t^\alpha)f(y)$를 사용한다.

실험 결과

연구 질문

• RQ1 어떻게 $m$-볼록 함수에 대한 적분 부등식을 $(\alpha,m)$-볼록 설정으로 일반화할 수 있는가?
• RQ2 함수 $f$가 $(\alpha,m)$-볼록일 경우, $\int_a^b (x-a)^p (b-x)^q f(x)\,dx$ 형태의 가중 적분에 대한 최적의 bound는 무엇인가?
• RQ3 함수 $f$가 오직 쿼시-볼록일 경우 bound는 어떻게 변화하며, 이는 $m$-볼록 함수의 경우와 어떻게 비교되는가?
• RQ4 결과를 베타 함수와 헬더 부등식을 통해 날카운, 매개변수화된 추정치로 표현할 수 있는가?
• RQ5 $\alpha=1$ 또는 $m=1$일 때의 극한 경우는 무엇이며, 이는 이전 문헌에서 알려진 부등식을 어떻게 복원하는가?

주요 결과

• 정리 2.3은 $f$가 $(\alpha,m)$-볼록일 경우 $\int_a^b (x-a)^p (b-x)^q f(x)\,dx$에 대해 날카운 상한 bound를 제공하며, 이는 베타 함수와 $f(a), f(b), f(a/m), f(b/m)$의 노름을 포함한다.
• 함수 $|f|^l$이 $m$-볼록일 경우(즉, $\alpha=1$), 추론 2.5는 bound를 $\beta(q+2,p+1)|f(a)|^l + m\beta(q+1,p+2)|f(b/m)|^l$ 형태로 줄 수 있으며, 이는 스케일된 함수 값에 대한 의존성을 보여준다.
• 정리 3.1은 $|f|^{k/(k-1)}$가 쿼시-볼록일 경우에 대해 bound를 수립한다: $\int_a^b (x-a)^p (b-x)^q f(x)\,dx \leq (b-a)^{p+q+1} \left[\beta(kq+1,kp+1)\right]^{1/k} \left(\max\{|f(a)|^{k/(k-1)}, |f(b)|^{k/(k-1)}}\right)^{(k-1)/k}$.
• 정리 3.2는 $|f|^l$이 쿼시-볼록일 경우에 대해 bound를 제공한다: $\int_a^b (x-a)^p (b-x)^q f(x)\,dx \leq (b-a)^{p+q+1} \beta(p+1,q+1) \left(\max\{|f(a)|^l, |f(b)|^l\}\right)^{1/l}$, 이는 이전 추정치보다 더 날카롭다.
• 추론 3.1은 단조 증가 또는 감소하는 $f$의 경우 bound가 $f(a)$ 또는 $f(b)$로 단순화됨을 보여주며, 이는 끝점의 지배적 역할을 강조한다.
• 결과들은 $\alpha=1$ 및 $m=1$일 때 옹데미르 등 [20]의 정리 1.4 및 1.5를 특수한 경우로 포함하며, 일관성과 일반화를 확인한다.