[논문 리뷰] Inequalities of Hermite-Hadamard type for extended $s$-convex functions and applications to means

Bo-Yan Xi, Feng Qi|arXiv (Cornell University)|2014. 06. 19.

Mathematical Inequalities and Applications참고 문헌 11인용 수 44

한 줄 요약

이 논문은 고전적 볼록성과 $ s $-볼록성을 일반화하는 확장된 $ s $-볼록 함수의 개념을 도입하고, 이러한 함수에 대한 새로운 헤르무이트-하담르 타입 적분 부등식을 수립한다. 주요 기여는 함수의 평균값과 적분 평균 사이의 차이에 대해 날카운 경계를 도출하는 것으로, 이를 통해 산술 평균, 로그 평균, 거듭제곱 평균과 같은 특수 평균에 대한 새로운 부등식을 유도한다. 이는 이전 문헌의 결과를 확장하고 통합한다.

ABSTRACT

In the paper, the authors introduce a new concept "extended $s$-convex functions", establish some new integral inequalities of Hermite-Hadamard type for this kind of functions, and apply these inequalities to derive some inequalities of special means.

연구 동기 및 목표

• 확장된 $ s $-볼록 함수의 개념을 $ s \in [-1,1] $ 에서 정의하고 체계화한다.
• 기존의 $ s $-볼록 함수 및 기타 볼록 함수에 대한 헤르무이트-하담르 타입 부등식을 일반화한다.
• 함수의 적분 평균과 평균값 사이의 차이를 포함하는 새로운 적분 부등식을 도출한다.
• 이러한 부등식을 응용하여 산술 평균, 로그 평균, 거듭제곱 평균과 같은 특수 평균에 대한 경계를 구한다.
• 기존 문헌에서 헤르무이트-하담르 부등식에 대한 결과들을 더 넓은 볼록성 프레임워크 안에서 통합하고 확장한다.

제안 방법

• 고전적 볼록성의 일반화로, $ s \in [-1,1] $ 에 대해 부등식 $ f(\lambda x + (1-\lambda)y) \leq \lambda^s f(x) + (1-\lambda)^s f(y) $ 를 통해 확장된 $ s $-볼록 함수를 정의한다.
• 구간 $[a,b]$ 의 부분구간에서 도함수 $ f' $ 의 가중 평균을 포함하는 새로운 적분 항등식을 유도한다.
• 횔더 부등식과 쥰센 부등식을 적용하여 $ |f'|^q $ 가 $ s $-볼록일 경우 도함수의 $ L^1 $-노름을 $ s $-볼록성에 따라 경계한다.
• 적분 항등식과 볼록성 가정을 이용하여 헤르무이트-하담르 오차 항에 대한 명시적 상한을 도출한다.
• 일반 부등식을 함수 $ f(x) = x^s $ ($ x > 0 $, $ s > 0 $) 에 특화하여 평균에 대한 경계를 얻는다.
• 유도된 부등식을 산술 평균 $ A(a,b) $, 로그 평균 $ L_s(a,b) $, 거듭제곱 평균 $ A^s(a,b) $ 에 적용하여 새로운 평균 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 표준 $ s $-볼록성 이외의 더 넓은 함수 클래스로 고전적 헤르무이트-하담르 부등식을 어떻게 일반화할 수 있는가?
• RQ2 특히 $ s = -1, 0, 1 $ 에서 $ s \in [-1,1] $ 을 포함하도록 $ s $-볼록성을 확장할 경우, 어떤 새로운 적분 부등식이 도출되는가?
• RQ3 새로운 확장된 $ s $-볼록 함수 클래스를 사용하여 함수의 적분 평균과 평균값 사이의 차이에 대해 더 날카로운 경계를 도출할 수 있는가?
• RQ4 확장된 $ s $-볼록 함수에 대한 유도된 부등식은 산술 평균과 로그 평균과 같은 알려진 특수 평균 부등식으로 어떻게 특수화되는가?
• RQ5 헤르무이트-하담르 오차와 $ s $-볼록성 매개변수 $ s $ 사이의 정량적 관계는 무엇이며, 특히 $ |f'|^q $ 가 $ s $-볼록일 경우 어떻게 되는가?

주요 결과

• 함수 $ f(x) = x^s $ ($ s > 0 $) 에 대해, $ 0 < s \leq 2 $, $ q \geq 1 $, $ \lambda \in [0,1] $ 인 조건 하에 $ \left| \lambda A(a^s,b^s) + (1-\lambda)A^s(a,b) - L_s^s(a,b) \right| $ 의 날카로운 상한이 $ a^{(s-1)q} $, $ b^{(s-1)q} $, $ A^{(s-1)q}(a,b) $ 를 통해 유도된다.
• 일 때, 경계는 $ \frac{(b-a)s}{2s(s+1)} \left\{ (2-\lambda)^{s+1} + \lambda^{s+1} + [(s+1)\lambda - 2]2^{s-1} - 1 \right\} A(a^{s-1}, b^{s-1}) $ 로 단순화되며, 이는 평균에 대한 깔끔한 부등식을 제공한다.
• 정리 4.1의 부등식은 파라미터 $ \lambda $ 를 포함함으로써 끝점과 중점 값 사이의 가중치를 조정함으로써 헤르무이트-하담르 오차를 더 엄밀하게 제어한다.
• $ q > 1 $ 인 경우, 경계는 $ \left( \frac{q-1}{2q-1} \right)^{1-1/q} $ 형태의 횔더 유형 항을 포함하며, 이는 도함수의 매끄러움과 적분 가능성 사이의 상충 관계를 반영한다.
• 유도된 부등식은 이전 결과들인 정리 1.1–1.4를 통합하고 일반화하며, 더 넓은 확장된 $ s $-볼록 함수 클래스로 확장된다.
• 결과들은 확장된 $ s $-볼록성 프레임워크가 $ s \in (0,1] $ 일 때 특히 더 정교한 평균형 부등식 분석을 가능하게 하며, 헤르무이트-하담르 타입 적분에서의 근사 오차에 대한 명시적 정량적 추정치를 제공한다.