[논문 리뷰] Fejer-type inequalities

Minculete, N., Mitroi, F. -C.|arXiv (Cornell University)|2011. 05. 29.

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

한 줄 요약

이 논문은 두 번 미분 가능한 볼록 함수의 이阶도 도함수에 대한 경계를 활용하여 새로운 페지에르 유형 부등식을 수립함으로써 헤르미트-하담르 부등식의 추정치를 향상시키고 영의 부등식(산술-기하 평균 부등식)의 개선된 형태를 도출한다. 주요 기여는 두 번째 도함수의 경계 m과 M을 포함한 날카로운 이중 부등식으로, 고전적 결과를 일반화하고 적분 부등식에서 더 날카로운 오차 추정을 가능하게 한다.

ABSTRACT

The aim of this paper is to present some new Fejer-type results for convex functions. Improvements of Young's inequality (the arithmetic-geometric mean inequality) and other applications to special means are pointed as well.

연구 동기 및 목표

• 볼록 함수의 두 번째 도함수에 대한 경계를 통합함으로써 고전적 페지에르 및 헤르미트-하담르 부등식을 확장하는 것.
• 두 번째 도함수 경계 m과 M를 사용하여 적분 부등식의 더 날카로운 오차 추정치를 도출하는 것.
• 볼록성과 두 번째 도함수 제약 조건을 통해 영의 부등식(산술-기하 평균 부등식)을 개선하는 것.
• 대칭 가중 함수를 사용하여 적분 부등식의 가중 일반화를 제공하는 것.
• 특수 평균, 예를 들어 거듭제곱, 로그, 조화, 그리고 식별 평균에 결과를 적용하는 것.

제안 방법

• 두 번째 도함수에 대한 경계 m과 M를 사용하여 볼록 조합과 중점에서의 함수값 사이의 차이에 대한 이중 부등식을 유도한다.
• 얻어진 부등식을 λ ∈ [0,1] 에 대해 적분하여 헤르미트-하담르 오차 경계를 복원하고 개선한다.
• 함수 f(x) = -log x 에 부등식을 적용하여 기하 평균과 영의 부등식에 대한 향상된 경계를 도출한다.
• 함수 f(x) = exp(x) 에 부등식을 적용하여 지수 평균과 산술-기하 평균 부등식에 대한 경계를 도출한다.
• 가중 함수 g(t) 가 (a+b)/2 에 대해 대칭임을 활용하여 가중 페지에르 유형 부등식을 유도한다.
• 가중 평균으로 일반화하기 위해 가중 평균점 A = (pa + qb)/(p + q) 와 대칭 가중 간격을 도입한다.

실험 결과

연구 질문

• RQ1 두 번째 도함수가 상수 m과 M로 아래와 위로 경계가 주어진 볼록 함수에 대해 페지에르 유형 부등식을 어떻게 개선할 수 있는가?
• RQ2 두 번째 도함수 정보를 사용하여 헤르미트-하담르 부등식 오차에 대해 더 날카로운 경계를 유도할 수 있는가?
• RQ3 함수 f(x) = -log x 에 대해 두 번째 도함수 경계를 사용하여 영의 부등식을 어느 정도까지 개선할 수 있는가?
• RQ4 새로운 부등식은 대칭 가중 함수를 갖는 가중 적분으로 어떻게 일반화되는가?
• RQ5 유도된 부등식을 사용하여 고전적 평균(로그, 식별, 거듭제곱)에 대해 어떤 개선을 이룰 수 있는가?

주요 결과

• 모든 λ ∈ [0,1] 에 대해, 두 번째 도함수가 [m, M] 에 속하는 임의의 두 번 미분 가능한 볼록 함수에 대해 다음이 성립한다: mλ(1−λ)(a−b)²/2 ≤ λf(a)+(1−λ)f(b)−f(λa+(1−λ)b) ≤ Mλ(1−λ)(a−b)²/2.
• 부등식 (5)는 λ ∈ [0,1] 에 대해 적분함으로써 고전적 헤르미트-하담르 오차 경계 (3)과 (4)를 함의한다.
• f(x) = -log x 에 대해, 다음 부등식이 성립한다: e^{λ(1−λ)(a−b)²/(2b²)} ≤ (λa + (1−λ)b)/(a^λ b^{1−λ}) ≤ e^{λ(1−λ)(a−b)²/(2a²)}; 이는 명시적인 하한과 상한을 제공하는 영의 부등식의 개선된 형태이다.
• f(x) = exp(x) 에 대해, 다음 부등식이 성립한다: λa + (1−λ)b - a^λ b^{1−λ} ≤ λ(1−λ)b/2 log²(a/b); 이는 산술 평균과 기하 평균의 차이에 대한 개선된 상한을 제공한다.
• 가중 페지에르 부등식 (9)–(12)는 각각 상수 m/2와 M/2를 갖는 ∫(t−a)(b−t)g(t)dt 와 ∫(2t−a−b)²g(t)dt 를 포함한 경계를 제공한다.
• 특수 평균에의 응용으로 새로운 부등식이 도출된다: (b−a){A_p(a,b)^p − L_p(a,b)^p} ≥ (x−a){A_p(a,x)^p − L_p(a,x)^p} (p ∈ (−∞,0) ∪ [1,∞) extbackslash{−1} 에 대해), 그리고 로그 및 식별 평균에 대해 유사한 결과가 도출된다.