[논문 리뷰] Some Bernstein functions and integral representations concerning harmonic and geometric means

Feng Qi, Xiaojing Zhang외 1명|arXiv (Cornell University)|2013. 01. 28.

Mathematical Inequalities and Applications참고 문헌 25인용 수 12

한 줄 요약

이 논문은 $ H_{x,y}(t) = H(x+t, y+t) $ 및 $ G_{x,y}(t) = G(x+t, y+t) $가 $ t \in (-\min\{x,y\}, \infty) $ 에서 베르슈타인 함수임을 증명하며, 스티엘체스 적분형과 완전히 모노톤 함수의 성질을 이용해 두 평균에 대한 명시적 적분 표현을 유도한다. 주요 기여는 $ \lim_{t \to \infty} (G_{x,y}(t) - t) \geq G(x,y) $ 의 적분 표현을 통해 고전적인 산산평균-기하평균 부등식에 대한 새로운 증명을 제공하는 것이다.

ABSTRACT

It is general knowledge that the harmonic mean $H(x,y)=\frac2{\frac1x+\frac1y}$ and that the geometric mean $G(x,y)=\sqrt{xy}\,$, where $x$ and $y$ are two positive numbers. In the paper, the authors show by several approaches that the harmonic mean $H_{x,y}(t)=H(x+t,y+t)$ and the geometric mean $G_{x,y}(t)=G(x+t,y+t)$ are all Bernstein functions of $t\in(-\min\{x,y\},\infty)$ and establish integral representations of the means $H_{x,y}(t)$ and $G_{x,y}(t)$.

연구 동기 및 목표

• Shifted harmonic and geometric means $ H_{x,y}(t) $ 및 $ G_{x,y}(t) $ 가 $ t \in (-\min\{x,y\}, \infty) $ 에서 베르슈타인 함수 성질을 갖는지 확인한다.
• 스티엘체스 적분과 완전히 모노톤 함수를 이용해 $ H_{x,y}(t) $ 와 $ G_{x,y}(t) $ 에 대한 명시적 적분 표현을 유도한다.
• 극한 $ \lim_{t \to \infty} (G_{x,y}(t) - t) \geq G(x,y) $ 의 적분 표현을 통해 고전적인 산산평균-기하평균 부등식에 대한 새로운 증명을 제공한다.
• $ G_{x,y}(t) $ 의 역수를 로그적으로 완전히 모노톤으로 특성화하며, 알려진 특수함수의 클래스와 연결한다.
• 하이퍼기하급수 유형의 적분을 통해 정의된 새로운 함수 $ \rho $ 를 도입하여 기존의 적분 표현을 일반화한다.

제안 방법

• 항등식 $ H_{x,y}'(t) = \frac{1}{2} \left( \frac{1}{(x+t)^2} + \frac{1}{(y+t)^2} \right) $ 를 이용해 $ H_{x,y}(t) $ 가 $ (-\min\{x,y\}, \infty) $ 에서 도함수가 완전히 모노톤임을 증명함으로써, 이 평균이 베르슈타인 함수임을 보인다.
• 기하평균 $ G_{x,y}(t) = \sqrt{(x+t)(y+t)} $ 를 이용해 분석하며, 그 도함수 $ G_{x,y}'(t) $ 를 상수와 완전히 모노톤 함수의 합으로 표현한다.
• 함수 $ H(u) = \frac{1}{2}\left( h(u) + \frac{1}{h(u)} \right) $ (여기서 $ h(u) = \sqrt{u} $, $ u = \frac{y+z}{x-y} $) 를 사용해 $ G_{x,y}'(z) $ 의 적분 표현을 유도하며, 이는 스티엘체스 유형의 적분을 형성한다.
• 적분 순서를 바꾸고 $ \rho(s) $ 를 하이퍼기하급수 적분을 통해 정의함으로써, $ G_{x,y}'(z) $ 의 적분 표현을 통합하여 $ G_{x,y}(t) $ 의 적분 표현을 도출한다.
• 카우치 적분 공식과 스티엘체스-페르론 역행렬을 사용해 $ G_{x,y}(t) = G(x,y) + t + \frac{x-y}{2\pi} \int_0^\infty \frac{\rho((x-y)s)}{s} e^{-ys} (1 - e^{-ts}) \, ds $ 와 같은 핵심 항등식을 도출한다.
• $ \rho(s) $ 는 명시적으로 $ \rho(s) = \frac{1}{\pi} \int_0^1 \frac{\sin(\pi t)}{t^{1/2}(1-t)^{1/2}} \left( \frac{1}{(1 + t(s/2)^2)^{1/2}} \right) \, dt $ 로 정의되며, 이는 스티엘체스 표현에서 측도의 수렴성과 양성 보장을 가능하게 한다.

실험 결과

연구 질문

• RQ1 Shifted harmonic mean $ H_{x,y}(t) = H(x+t, y+t) $ 는 $ (-\min\{x,y\}, \infty) $ 에서 베르슈타인 함수인가?
• RQ2 Shifted geometric mean $ G_{x,y}(t) = G(x+t, y+t) $ 는 $ (-\min\{x,y\}, \infty) $ 에서 베르슈타인 함수인가?
• RQ3 스티엘체스 유형의 적분을 사용해 $ H_{x,y}(t) $ 와 $ G_{x,y}(t) $ 에 대한 명시적 적분 표현을 도출할 수 있는가?
• RQ4 극한 $ \lim_{t \to \infty} (G_{x,y}(t) - t) $ 는 AM-GM 부등식에 대한 새로운 증명을 제공하는가?
• RQ5 함수 $ G_{x,y}(t) $ 의 역수는 $ (-\min\{x,y\}, \infty) $ 에서 로그적으로 완전히 모노톤인가?

주요 결과

• 조화평균 $ H_{x,y}(t) $ 는 도함수가 완전히 모노톤이므로 $ (-\min\{x,y\}, \infty) $ 에서 베르슈타인 함수이다.
• 기하평균 $ G_{x,y}(t) $ 는 도함수의 완전히 모노톤 성질을 통해 $ (-\min\{x,y\}, \infty) $ 에서 베르슈타인 함수임을 증명하였다.
• 명시적 적분 표현이 다음과 같이 확립되었다: $ G_{x,y}(t) = G(x,y) + t + \frac{x-y}{2\pi} \int_0^\infty \frac{\rho((x-y)s)}{s} e^{-ys} (1 - e^{-ts}) \, ds $, 여기서 $ \rho $ 는 양함수이다.
• 극한 $ \lim_{t \to \infty} (G_{x,y}(t) - t) = A(x,y) $ 는 $ A(x,y) \geq G(x,y) $ 를 만족하며, 등호는 $ x = y $ 일 때에만 성립한다. 이는 AM-GM 부등식에 대한 새로운 증명을 제공한다.
• $ G_{x,y}(t) $ 의 역수는 $ (-\min\{x,y\}, \infty) $ 에서 로그적으로 완전히 모노톤이며, 이는 $ \mathcal{L}[(0,\infty)] $ 클래스에 속한다는 것을 확인한다.
• 적분 표현에 사용된 함수 $ \rho(s) $ 는 하이퍼기하급수 유형의 적분을 통해 정의되며, 스티엘체스 표현에서 측도의 수렴성과 양성을 보장한다.