[논문 리뷰] Some new inequalities of Hermite-Hadamard's type

Aziz Sağlam, Mehmet Zeki Sarıkaya외 1명|arXiv (Cornell University)|2010. 05. 04.

Mathematical Inequalities and Applications참고 문헌 3인용 수 3

한 줄 요약

이 논문은 미분 가능 함수의 도함수 절댓값이 볼록일 경우, 헤르마이트-하다마르드 유형의 새로운 적분 부등식을 수립한다. 조각별로 정의된 커널 함수를 포함하는 이중 적분 항등식을 사용하여, 함수의 중점 평균과 적분 평균 사이의 차이에 대한 날카운 경계를 도출하며, 산술, 로그, 지수 평균과 같은 실수의 특수 평균에 응용한다.

ABSTRACT

In this paper, we establish several new inequalities for some differantiable mappings that are connected with the celebrated Hermite-Hadamard integral inequality. Some applications for special means of real numbers are also provided.

연구 동기 및 목표

• 도함수 절댓값이 볼금일 경우, 헤르마이트-하다마르드 적분 부등식과 관련된 새로운 부등식을 유도하기 위해.
• 조각별 커널 함수를 포함하는 이중 적분 표현을 도입하여 기존 결과를 확장하기 위해.
• 함수의 중점 평균과 적분 평균 사이의 이탈에 대한 더 날카운 경계를 제공하기 위해.
• 이론적 결과를 산술, 로그, 지수 평균을 포함한 실수의 특수 평균에 적용하기 위해.
• Lp-노름 추정과 |f′|q에 대한 볼금성 가정을 통합하여 이전의 부등식을 일반화하기 위해.

제안 방법

• 구간 [0,1/2] 및 (1/2,1]에서 조각별로 정의된 커널 함수 m(t)를 사용하여, f((a+b)/2)와 (1/(b−a))∫ₐᵇ f(x)dx 사이의 차이를 표현하는 새로운 이중 적분 항등식(보조정리 2)을 유도한다.
• 이중 적분 표현에 헬더 부등식을 적용하며, [a,b]에서 |f′|q의 볼금성을 활용하여 적분을 |f′(a)|와 |f′(b)|로 경계한다.
• |m(t)−m(s)|의 Lp-노름을 사용하여 최종 부등식에서 상수 계수 (2/((p+1)(p+2)))^(1/p)를 계산한다.
• |f′|q가 볼금일 것이라는 가정 하에, 커널 항등식과 헬더 부등식을 조합하여 정리 2와 정리 3를 수립한다.
• 특정 함수들(예: f(x)=xⁿ, f(x)=−ln x, f(x)=1/x)에 적용하여 산술, 로그, 조화 평균에 대한 구체적인 경계를 도출한다.
• 치환 적분과 대칭성 논리를 활용하여, t=1/2와 s=1/2에서 분할된 단위 정사각형 위에서 이중 적분을 평가한다.

실험 결과

연구 질문

• RQ1 |f′|q가 볼금일 경우, 미분 가능 함수에 대해 헤르마이트-하다마르드 유형의 새로운 부등식을 어떻게 도출할 수 있는가?
• RQ2 |f′|q의 볼금성 하에 |f((a+b)/2) − (1/(b−a))∫ₐᵇ f(x)dx|의 최적 상수 경계는 무엇인가?
• RQ3 유도된 부등식은 산술, 로그, 지수 평균과 같은 고전적 평균 A, L, I, Lp 간의 차이를 추정하는 데 응용될 수 있는가?
• RQ4 Lp-노름 프레임워크에서 매개수 p에 따라 경계는 어떻게 달라지는가?
• RQ5 f(x)=xⁿ, f(x)=−ln x, f(x)=1/x와 같은 특수 함수에 대해 이러한 부등식의 함의는 무엇인가? 평균 부등식의 맥락에서.

주요 결과

• 논문은 날카운 상한 경계를 수립한다: |f((a+b)/2) − (1/(b−a))∫ₐᵇ f(x)dx| ≤ (b−a) × (2/((p+1)(p+2)))^(1/p) × (|f′(a)|^q + |f′(b)|^q)^(1/q) / 2^(1/q), |f′|q의 볼금성 조건 하에.
• 보조정리 2의 이중 적분 항등식은 조각별 커널 함수 m(t)를 사용하여 헤르마이트-하다마르드 잔여항의 새로운 표현을 제공하며, 정밀한 추정을 가능하게 한다.
• f(x) = xⁿ 이면서 |n| ≥ 1일 경우, 부등식은 |Aⁿ(a,b) − Lₙⁿ(a,b)| ≤ |n|(b−a)/√6 × A(a²⁽ⁿ⁻¹⁾, b²⁽ⁿ⁻1⁾)를 유도하며, 이는 거듭제곱 평균과 관련된다.
• f(x) = −ln x일 경우, 부등식은 지수 평균과 산술 평균의 로그 비율에 대한 경계를 이끌어낸다: ln(I/A) ≤ (b−a)/(ab) × (2/((p+1)(p+2)))^(1/p) × A(|b|^q, |a|^q)^(1/q).
• f(x) = 1/x일 경우, 결과는 |A⁻¹(a,b) − L⁻¹(a,b)| ≤ (b−a)/(a²b²) × (2/((p+1)(p+2)))^(1/p) × A(|a|²q, |b|²q)^(1/q)를 제공하며, 조화 평균과 로그 평균과 관련된다.
• 상수 (2/((p+1)(p+2)))^(1/p)는 단위 정사각형에서 커널 함수의 Lp-노름으로 명시적으로 유도되었으며, 추정 프레임워크에서의 날카로움을 보여준다.