[논문 리뷰] On (h-m)-Convexity and Hadamard-Type Inequalities

M. Emіn Özdemіr, Ahmet Ocak Akdemi̇r외 1명|arXiv (Cornell University)|2011. 03. 31.

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

한 줄 요약

이 논문은 m-볼록 및 h-볼록 함수의 일반화로 (h-m)-볼록 함수를 도입하여 고전적 볼록성 개념을 통합하고 확장한다. 가중치가 부여된 적분 경계를 사용하여 이 클래스에 대한 새로운 하다르드 유형의 적분 부등식을 수립하며, s-볼록, m-볼록 및 P-함수에 대한 기존 결과를 통합된 프레임워크로 일반화한다.

ABSTRACT

In this paper, a new class of convex functions as a generalization of convexity which is called (h-m)-convex functions and some properties of this class is given. We also prove some Hadamard's type inequalities.

연구 동기 및 목표

• m-볼록 및 h-볼록 함수의 일반화로 새로운 볼록 함수의 클래스인 (h-m)-볼록 함수를 정의하기 위해.
• 이 보다 넓은 함수 클래스로 하다르드 유형의 적분 부등식 이론을 확장하기 위해.
• m-볼록, s-볼록, P- 및 고두노바-레빈 함수에 대한 기존의 부등식들을 단일 프레임워크 내에서 통합하고 일반화하기 위해.
• 함수 h와 매개수 m를 활용하여 (h-m)-볼록 함수의 적분 평균에 대한 날카운 경계를 제공하기 위해.
• 기존의 알려진 부등식들(예: s-볼록 및 m-볼록 함수에 대한 것들)을 제안된 프레임워크의 특수한 경우로 회복하고 일반화하기 위해.

제안 방법

• 비음수 함수 h에 대해 $ t \in [0,1] $, $ m \in (0,1] $ 이고, $ f(tx + m(1-t)y) \leq h(t)f(x) + mh(1-t)f(y) $ 를 만족하는 (h-m)-볼록 함수를 정의한다.
• t \in [0,1] 에 대해 (h-m)-볼록성 조건을 적분하여 적분 부등식을 유도하며, [a,b] 및 [ma,b] 위의 적분을 연결하기 위해 치환을 적용한다.
• 변수 치환과 적분의 대칭성을 적용하여 $ \int_0^1 f(ta + m(1-t)b) dt $ 를 $ \frac{1}{mb - a} \int_a^{mb} f(x) dx $ 로 표현한다.
• 대칭적인 조합을 통해 (h-m)-볼록성 조건에서 유도된 다수의 부등식을 조합하여 [a,b] 위에서 f의 평균을 경계한다.
• 함수 h와 매개수 m의 성질을 활용하여 특수한 경우로 알려진 부등식들을 회복한다(예: h(t)=t, h(t)=t^s, h(t)=1).
• $ \int_0^1 h(t) dt $ 와 $ \int_0^1 h(1-t) dt $ 를 포함하는 경계를 수립하며, 이는 고전적 하다르드 부등식을 일반화한다.

실험 결과

연구 질문

• RQ1 m-볼록성과 h-볼록성의 개념을 하나의 일반화된 함수 클래스로 통합할 수 있는가?
• RQ2 이 일반화된 (h-m)-볼록 함수 클래스에 대해 새로운 적분 부등식을 유도할 수 있는가?
• RQ3 새로운 부등식들이 s-볼록, m-볼록, P- 및 고두노바-레빈 함수에 대한 기존 결과들과 어떻게 관련되어 있으며, 이를 어떻게 일반화하는가?
• RQ4 매개수 h와 m에 대해 유도된 경계의 날카움과 최적성 성질은 어떠한가?
• RQ5 고전적 하다르드 부등식은 새로운 (h-m)-볼록 프레임워크의 특수한 경우로 회복될 수 있는가?

주요 결과

• 논문은 $ f(tx + m(1-t)y) \leq h(t)f(x) + mh(1-t)f(y) $ 를 통해 (h-m)-볼록 함수를 정의하며, 이는 m-볼록성과 h-볼록성을 일반화한다.
• 새로운 하다르드 유형의 부등식이 수립된다: $ \frac{1}{b-a} \int_a^b \left[ f(x) + m f\left(\frac{x}{m}\right) \right] dx \leq \frac{1}{2} \left[ f(a) + m f\left(\frac{b}{m}\right) + m f\left(\frac{a}{m}\right) + m^2 f\left(\frac{b}{m^2}\right) \right] $, h와 m에 대한 등호 조건이 함께 제시된다.
• h(t) = t 일 때, 이 부등식은 볼록 함수에 대한 고전적 하다르드 부등식으로 축소된다.
• m=1 이고 h(t) = t^s 일 때, 이 부등식은 s-볼록 함수에 대한 알려진 하다르드 유형 경계를 복원한다: $ 2^{s-1} f\left(\frac{a+b}{2}\right) \leq \frac{1}{b-a} \int_a^b f(x) dx \leq \frac{f(a)+f(b)}{s+1} $.
• h(t) = 1 일 때, 이 부등식은 P-함수에 대한 알려진 경계로 축소된다: $ f\left(\frac{a+b}{2}\right) \leq \frac{2}{b-a} \int_a^b f(x) dx \leq 2[f(a) + f(b)] $.
• 부등식 $ \frac{1}{m+1} \left[ \frac{1}{mb-a} \int_a^{mb} f(x) dx + \frac{1}{b-ma} \int_{ma}^b f(x) dx \right] \leq \left[ f(a) + f(b) \right] \left[ \int_0^1 h(t) dt + \int_0^1 h(1-t) dt \right] $ 는 m-볼록 함수에 대한 정리 3를 일반화한다.