[논문 리뷰] Hermite-Hadamard type inequalities for harmonically convex functions

İmdat Işcan|arXiv (Cornell University)|2013. 03. 25.

Mathematical Inequalities and Applications참고 문헌 2인용 수 5

한 줄 요약

이 논문은 조화 평균을 고전적 부등식에서 산술 평균 대신 사용함으로써 조화볼록 함수를 도입하고, 이에 대한 새로운 헤르무이트-하담르드 유형 적분 부등식을 수립한다. 주요 결과는 함수 값의 조화평균과 가중치 $ x^{-2} $를 갖는 적분 변환 사이의 이중 부등식으로, 고전적 볼록성 결과를 양의 실수의 특수 평균에 응용할 수 있는 새로운 함수 클래스로 일반화한다.

ABSTRACT

The author introduce the concept of harmonically convex functions and establish some Hermite-Hadamard type inequalities of these classes of functions

연구 동기 및 목표

• 영을 제외한 구간에서 조화볼록 함수의 클래스를 정의하고 조사한다.
• 조화볼록 함수에 대한 새로운 헤르무이트-하담르드 유형 적분 부등식을 수립한다.
• 기존의 적분 부등식을 함수 부등식 프레임워크에서 산술 평균을 조화평균으로 대체함으로써 일반화한다.
• 새로운 부등식을 적용하여 산술, 조화, 로그, 지수 평균과 같은 특수 평균에 대한 경계를 유도한다.
• 헤이들러 부등식을 사용하여 조화볼록 함수의 도함수를 포함하는 적분에 대한 날카운 경계를 제공한다.

제안 방법

• 정의를 통해 조화볼록 함수를 도입한다. $ f\left(\frac{xy}{tx + (1-t)y}\right) \leq t f(y) + (1-t) f(x) $ 이며, $ t \in [0,1] $ 이고 $ x,y \in I \subset \mathbb{R} \setminus \{0\} $ 이다.
• 대체와 $ t \in [0,1] $ 에서의 적분을 통해 주요 부등식 $ f\left(\frac{2ab}{a+b}\right) \leq \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx \leq \frac{f(a)+f(b)}{2} $ 를 유도한다.
• 부분 적분을 사용하여 함수 값의 평균과 가중치가 붙은 적분 간의 차이에 대한 표현 레미마를 수립한다.
• 헤이들러 부등식을 적용하여 도함수가 조화볼록인 경우 헤르무이트-하담르드 부등식의 오차 항을 경계한다.
• 대체 $ x = \frac{ab}{tb + (1-t)a} $ 를 사용하여 적분을 변환하고 조화볼록성의 구조를 활용한다.
• 상수 $ \lambda_1, \lambda_2, \lambda_3 $ 와 $ \mu_1, \mu_2 $ 를 포함하는 명시적 경계를 유도한다. 이는 $ a, b, q $, 그리고 $ p $ 에 따라 달라지며, $ q \geq 1 $ 이고 $ \frac{1}{p} + \frac{1}{q} = 1 $ 이다.

실험 결과

연구 질문

• RQ1 조화볼록 함수의 정의와 특성은 무엇이며, 표준 볼록 함수와 어떻게 다를까?
• RQ2 고전적 헤르무이트-하담르드 부등식은 조화볼록 함수에 대해 조화평균을 사용하여 어떻게 재구성될 수 있을까?
• RQ3 함수 $ f $ 가 조화볼록일 경우 적분 $ \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx $ 에 대한 날카운 경계는 무엇인가?
• RQ4 만약 $ |f'|^q $ 가 $[a,b]$ 에서 조화볼록일 경우, $ f(a) $ 와 $ f(b) $ 의 평균과 가중치가 붙은 적분 간의 차이에 대한 경계는 어떻게 도출될 수 있을까?
• RQ5 새로운 헤르무이트-하담르드 유형 부등식으로부터 양의 실수의 특수 평균에 대한 새로운 부등식은 무엇인가?

주요 결과

• 모든 조화볼록 함수 $ f $ 가 $ (0,\infty) $ 에서 정의될 때, 부등식 $ f\left(\frac{2ab}{a+b}\right) \leq \frac{ab}{b-a} \int_a^b \frac{f(x)}{x^2} dx \leq \frac{f(a)+f(b)}{2} $ 가 성립하며, 상수 함수 $ f(x) = 1 $ 을 통해 날카로움이 입증된다.
• 도함수가 존재하는 조화볼록 함수에서 $ |f'|^q $ 가 $[a,b]$ 에서 조화볼록일 경우, 헤르무이트-하담르드 부등식의 오차는 $ \lambda_1^{1-1/q} \left[ \lambda_2 |f'(a)|^q + \lambda_3 |f'(b)|^q \right]^{1/q} $ 를 포함하는 표현으로 경계된다. $ \lambda_1, \lambda_2, \lambda_3 $ 는 명시적인 공식을 갖는다.
• 만약 $ q > 1 $ 이고 $ \frac{1}{p} + \frac{1}{q} = 1 $ 이면, 오차 경계는 $ \left(\frac{1}{p+1}\right)^{1/p} $ 와 상수 $ \mu_1, \mu_2 $ 를 사용하여 더욱 정교화되며, 이는 적분과 헤이들러 부등식을 통해 유도된다.
• 함수 $ f(x) = x $ 를 사용하여 $ H \leq \frac{G^2}{L} \leq A $ 를 증명함으로써, 조화평균가 기하평균의 제곱과 로그평균의 비율에 의해 경계됨을 보였다.
• 함수 $ f(x) = x^2 $ 를 적용하여 $ H^2 \leq G^2 \leq A(a^2, b^2) $ 를 유도함으로써, 이 프레임워크가 거듭제곱 평균에 대해 유용함을 보였다.
• 함수 $ f(x) = x^{p+2} $ 에 대해 $ p \in (-1, \infty) \setminus \{0\} $ 이면, 부등식 $ H^{p+2} \leq G^2 L_p^p \leq A(a^{p+2}, b^{p+2}) $ 가 확립되며, 이는 특수 평균 간의 부등식을 유도하는 데 있어 이 방법의 일반성을 보여준다.