[논문 리뷰] On some integral inequalities for s-logarithmically convex functions and their applications

Ahmet Ocak Akdemi̇r, Mevlüt Tunç|arXiv (Cornell University)|2012. 12. 07.

Mathematical Inequalities and Applications참고 문헌 10인용 수 4

한 줄 요약

이 논문은 로그-볼록 함수의 일반화인 s-로그-볼록 함수를 도입하고, 헬더 부등식 및 특수 적분 커널을 사용하여 이러한 함수를 포함하는 새로운 적분 부등식을 수립한다. 주요 기여는 s-로그-볼록 함수의 곱에 대한 개선된 헤르mite-하다마르드 유형 부등식으로, 로그 평균과 멱-중량 적분을 포함하는 명시적 경계를 제공한다.

ABSTRACT

In this paper, we describe s-logarithmically convex functions in the first and second sense which are connected with the ordinary logatihmic convex and s-convex in the first and second sense. Afterwards, some new inequalities related to above new definitions are given.

연구 동기 및 목표

• 첫 번째 및 두 번째 의미에서 고전적 로그-볼록성의 일반화인 s-로그-볼록 함수를 정의하고 조사하는 것.
• 특히 헤르mite-하다마르드 유형 부등식을 포함한 고전적 적분 부등식을 s-로그-볼록 함수의 맥락으로 확장하는 것.
• 헬더 부등식과 특수 적분 커널을 사용하여 두 s-로그-볼록 함수의 곱의 적분에 대한 새로운 경계를 수립하는 것.
• 로그 평균과 멱-중량 적분을 포함하는 명시적 부등식을 통한 이러한 부등식의 응용을 제공하는 것.
• 매개수 s ∈ (0,1]을 포함하여 이전의 로그-볼록 함수 결과를 일반화하여, s = 1일 때 고전적 결과를 회복하는 것.

제안 방법

• t ∈ [0,1]에 대해 f(tx + (1−t)y) ≤ [f(x)]^{t^s} [f(y)]^{(1−t)^s} 조건을 통해 s-로그-볼록 함수를 정의함으로써 로그-볼록성의 일반화를 수행한다.
• 구간 [a,b] 위에서의 적분을 추정하기 위해 t ∈ [0,1]을 사용하여 f(ta + (1−t)b) ≤ [f(a)]^{t^s} [f(b)]^{(1−t)^s} 의 적분 표현을 사용한다.
• 곱 f(x)g(x)에 헬더 부등식을 적용하여, 공액 지수 p, q (1/p + 1/q = 1) 를 사용해 적분을 두 부분으로 분할한다.
• 닫힌 형태의 추정을 가능하게 하기 위해 ∫₀¹ [f(a)]^{p t^s} [f(b)]^{p (1−t)^s} dt 형태의 적분을 나타내는 보조 함수 k(ω), k(ℓ) 를 도입한다.
• p ≠ q 일 때 L(p,q) = (p−q)/(ln p − ln q) 로 정의되는 로그 평균을 사용하여 f(x)g(x)의 적분에 대한 경계를 표현한다.
• f(a), g(a), f(b), g(b) ≤ 1 조건을 가정하여 커널 추정에서 수렴성과 단조성을 확보한다.

실험 결과

연구 질문

• RQ1 로그-볼록성의 개념은 어떻게 s ∈ (0,1] 매개수를 포함하여 일반화될 수 있으며, 이는 s-로그-볼록 함수로 이어지는가?
• RQ2 s-로그-볼록성 적용 시 헤르mite-하다마르드 프레임워크에 새로운 적분 부등식이 어떻게 도출되는가?
• RQ3 s = 1일 때 두 s-로그-볼록 함수의 곱의 적분에 대한 경계는 고전적 결과와 어떻게 비교되는가?
• RQ4 헬더 부등식은 s-로그-볼록성과 효과적으로 조합되어 가중치가 부여된 적분의 더 날카운 경계를 유도할 수 있는가?
• RQ5 특수 적분 커널 k(ω), k(ℓ) 는 멱-지수 함수의 적분 추정에서 어떤 역할을 하는가?

주요 결과

• 논문은 두 s-로그-볼록 함수의 곱의 적분에 대한 새로운 부등식을 수립한다: (1/(b−a))∫ₐᵇ f(x)g(x)dx ≤ K(s,p,q;k(ω),k(ℓ)), 여기서 K는 로그 평균과 멱-중량 적분을 포함한다.
• s = 1일 때, 이 부등식은 알려진 로그 평균을 포함하는 결과로 축소된다: (1/(b−a))∫ₐᵇ f(x)g(x)dx ≤ L([f(a)]^p, [f(b)]^p)^{1/p} L([g(a)]^q, [g(b)]^q)^{1/q}.
• f, g ≤ 1 인 경우, 적분 ∫₀¹ [f(a)]^{p t^s} [f(b)]^{p (1−t)^s} dt 는 [f(b)]^{sp} k(ω(sp,sp)) 이하로 위계가 된다. 여기서 k(ω) 는 커널 함수에 의해 정의된다.
• 부등식 (4.9) 는 f와 g가 s-로그-볼록일 조건 하에 성립하며, 경계는 매개수 s, p, q 및 로그 평균에 따라 달라진다.
• 커널 함수 k(ω(u,v)) 는 ∫₀¹ [f(a)]^{t^s} [f(b)]^{(1−t)^s} dt 형태의 적분을 추정하는 데 사용되며, f(a), f(b), s 를 포함한 명시적 경계를 가능하게 한다.
• 유도된 부등식은 고전적 헤르mite-하다마르드 및 하다마르드 유형 부등식을 로그-볼록 함수에 대해 일반화하여, s 매개수로 매개수화된 더 넓은 함수 클래스로의 적용 가능성을 확장한다.