[논문 리뷰] Hermite-Hadamard type inequalities for harmonically (α,m)-convex functions

İmdat Işcan|arXiv (Cornell University)|2013. 07. 20.

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

한 줄 요약

이 논문은 조화적(α,m)-볼록 함수의 새로운 클래스를 도입하며, 이는 조화적 볼록 함수와 (α,m)-볼록 함수를 일반화한 것으로, 이러한 함수에 대한 새로운 헤르무이트-하다마르드 유형 적분 부등식을 수립한다. 초함수 함수와 적분 항등식을 활용하여 함수 값의 평균과 가중치가 부여된 적분 평균 사이의 차이에 대한 날카운 경계를 도출함으로써, 고전 결과를 더 넓은 함수 클래스로 확장하며 특수 평균에의 응용을 가능하게 한다.

ABSTRACT

The author introduces the concept of harmonically (α,m)-convex functions and establishes some Hermite-Hadamard type inequalities of these classes of functions.

연구 동기 및 목표

• 조화적 볼록 함수와 (α,m)-볼록 함수를 일반화하는 새로운 클래스인 조화적(α,m)-볼록 함수를 도입하고 정의한다.
• 조화적(α,m)-볼록 함수에 대한 날카운 헤르무이트-하다마르드 유형 적분 부등식을 수립한다.
• 매개수 α ∈ [0,1]과 m ∈ (0,1]을 통합함으로써 고전적 적분 부등식을 확장하여 더 넓은 적용 가능성을 확보한다.
• 초함수 함수를 사용하여 도함수의 p노름과 q노름을 포함하는 경계를 유도한다.
• 유도된 부등식을 산술 평균, 기하 평균, 로그 평균과 같은 특수 평균에 적용한다.

제안 방법

• x,y ∈ (0,b*], t ∈ [0,1]에 대해 f(mxy/(mty + (1−t)x)) ≤ t^α f(x) + m(1−t^α)f(y)를 만족하는 조화적(α,m)-볼록 함수를 정의한다.
• 평균과 적분 평균 사이의 차이를 표현하기 위해 ab(b−a)/2 ∫₀¹ (1−2t)/(tb + (1−t)a)² f’(ab/(tb + (1−t)a)) dt 형태의 적분 항등식을 사용한다.
• 공액 지수 p와 q를 갖는 헬더 부등식을 적용하여 도함수 항의 L1노름을 경계한다.
• t^α와 (tb + (1−t)a)^{-2q}를 포함하는 적분을 초함수 함수 _2F_1과 베타 함수 β(1, α+1)를 사용하여 평가한다.
• ν(α,q;a,b)와 ν(0,q;a,b)−ν(α,q;a,b)의 명시적 표현을 α, q, a, b에 따라 적분 형태로 도출한다.
• 유도된 경계를 활용하여 |f’(a)|^q와 |f’(b/m)|^q를 포함하는 새로운 부등식을 수립한다.

실험 결과

연구 질문

• RQ1 조화적 볼록성의 개념은 어떻게 α- 및 m-매개수를 포함하도록 일반화될 수 있으며, 이는 적분 부등식에 어떤 영향을 미치는가?
• RQ2 조화적(α,m)-볼록 함수에 대해 f(a)와 f(b)의 산술 평균과 가중치가 부여된 적분 평균 ∫_a^b f(x)/x² dx 사이의 차이에 대한 날카운 경계는 무엇인가?
• RQ3 α = m = 1 또는 m = 1이고 α = 1일 때 새로운 부등식은 기존 결과(예: 헤르무이트-하다마르드 또는 하다마르드 유형 부등식)로 어떻게 축소되는가?
• RQ4 초함수 함수는 적분 잔여항의 경계를 특성화하는 데 어떤 역할을 하는가?
• RQ5 유도된 부등식을 사용하여 p-로그 평균 또는 기하 평균과 같은 특수 평균에 대한 새로운 추정치를 도출할 수 있는가?

주요 결과

• 논문은 조화적(α,m)-볼록 함수에 대해 새로운 헤르무이트-하다마르드 유형 부등식을 수립한다: f(2ab/(a+b)) ≤ (ab/(b−a))∫_a^b f(x)/x² dx ≤ (f(a)+f(b))/2.
• |f’|^q가 조화적(α,m)-볼록인 미분 가능 함수에 대해 날카운 경계를 도출한다: |(f(a)+f(b))/2 − (ab/(b−a))∫_a^b f(x)/x² dx| ≤ (ab(b−a)/2)(1/(p+1))^{1/p} × [ν(α,q;a,b)|f’(a)|^q + m(ν(0,q;a,b)−ν(α,q;a,b))|f’(b/m)|^q]^{1/q}.
• ν(α,q;a,b)와 ν(0,q;a,b)−ν(α,q;a,b)의 적분은 초함수 함수 _2F_1와 베타 함수를 사용하여 명시적으로 표현된다.
• α = m = 1일 경우 주요 부등식은 [7]의 정리 3으로 축소되며, 이는 이전의 조화적 볼록 함수 결과와 일관성을 확인한다.
• 부등식은 특수 평균에 대한 새로운 추정치를 도출한다: 예를 들어, |A(a^{α/q+1},b^{α/q+1}) − G²L_{α/q−1}^{α/q−1}| ≤ (ab(b−a)(α+q)/(2q))(1/(p+1))^{1/p} × [ν(α,q;a,b)a^α + (ν(0,q;a,b)−ν(α,q;a,b))b^α]^{1/q}.
• 경계는 날카롭고, 특정 조건 하에서 함수와 매개수 α, m, q에 따라 등호가 성립한다.