Classical exponential bounds for p-generalized circular and hyperbolic functions

기술 요약: p-일반화된 원형 및 쌍곡선 함수에 대한 고전적 지수 경계

문제 정의
본 논문은 매개변수 $p$ ($1 < p < \infty$)에 의존하는 $p$-일반화된 원형 및 쌍곡선 함수에 대한 날카로운 지수 경계를 설정하는 문제를 다룬다. 표준 삼각 및 쌍곡선 함수($p=2$인 경우)에 대한 지수 경계와 관련된 기존의 고전적 부등식은 기존 문헌에 잘 기록되어 있으나, 이를 $p$-일반화된 맥락으로 확장할 필요가 있다. 저자들은 $\sin_p x$, $\cos_p x$, $\tan_p x$ 및 그 쌍곡선 대응 함수들에 대하여 $e^{\alpha x^p} < f_p(x) < e^{\beta x^p}$ 형태의 부등식을 도출하고, 최적의 상수 $\alpha$와 $\beta$를 결정하는 것을 목표로 한다.

방법론
저자들은 특정 몫 함수의 단조성을 중심으로 하는 엄격한 해석적 접근 방식을 채택한다. 주요 도구로는 함수의 미분값의 비율의 단조성이 원래 함수의 비율의 단조성과 관련이 있다는 로피탈의 단조성 법칙(L'Hôpital's rule of monotonicity, 보조정리 2.1)을 활용한다.

방법론은 다음과 같이 진행된다:

1. 함수의 정의: 논문은 적분 $\int_0^x (1 \mp t^p)^{-1/p} dt$의 역함수를 기반으로 $p$-일반화된 함수들($\sin_p, \cos_p, \tan_p, \sec_p$ 및 그 쌍곡선 유사체)을 정의한다.
2. 보조 정리: 주요 증명을 뒷받침하기 위해 두 가지 핵심 보조 정리를 확립한다:
   • 보조 정리 2.2: $p > 1$일 때 $\xi(x) = x / \tan_p x$가 $(0, \pi_p/2)$에서 엄격히 감소함을 증명한다.
   • 보조 정리 2.3: $p > 1$일 때 $x \ge 0$에 대하여 $\varsigma(x) = x / \tanh_p x$가 엄격히 증가함을 증명한다.
3. 비율 함수의 구성: 각 대상 부등식에 대하여, 저자들은 $F(x) = \ln(f_p(x)/g_p(x)) / x^p$라는 함수를 구성한다.
4. 미분 및 단조성 분석: 미분을 반복적으로 적용하고 보조 정리들을 활용함으로써, 분자와 분모의 미분 비율이 단조(엄격히 증가 또는 감소)함을 입증한다.
5. 보조 정리 2.1의 적용: 이러한 단조성은 원래의 함수 $F(x)$가 엄격한 단조성을 가짐을 의미한다. 경계값은 $x \to 0^+$일 때의 극한값과 구간의 상계에서의 극한값을 평가함으로써 도출된다.

주요 기여 및 결과
본 논문은 다양한 $p$-일반화된 함수들에 대한 지수 경계를 제공하는 여섯 가지 주요 정리를 확립한다. 결과는 최적의 상수를 포함하는 이중 부등식 형태로 제시된다.

• 일반화된 사인 함수 (정리 3.1): $p \ge 2$이고 $x \in (0, \pi_p/2)$일 때, 논문은 다음을 증명한다:
  $$e^{\alpha x^p} < \frac{\sin_p x}{x} < e^{\beta x^p}$$
  여기서 $\alpha = \frac{2^p \ln(2/\pi_p)}{\pi_p^p}$ 이고 $\beta = -\frac{1}{p(p+1)}$ 이다.

• 일반화된 코사인 함수 (정리 3.2): $p \ge 1$이고 $x \in (0, a)$ (단, $a < \pi_p/2$)일 때:
  $$e^{\alpha_1 x^p} < \cos_p x < e^{\beta_1 x^p}$$
  여기서 $\alpha_1 = \frac{\ln(\cos_p a)}{a^p}$ 이고 $\beta_1 = -\frac{1}{p}$ 이다.

• 일반화된 탄젠트 함수 (정리 3.3): $p \ge 2$이고 $x \in (0, b)$ (단, $b < \pi_p/2$)일 때:
  $$e^{\alpha_2 x^p} < \frac{x}{\tan_p x} < e^{\beta_2 x^p}$$
  상수는 $\alpha_2 = \frac{\ln(b/\tan_p b)}{b^p}$ 이고 $\beta_2 = -\frac{1}{p+1}$ 이다.

• 일반화된 쌍곡선 사인 함수 (정리 3.4): $p \ge 2$이고 $x \in (0, c)$일 때:
  $$e^{\lambda x^p} < \frac{x}{\sinh_p x} < e^{\eta x^p}$$
  여기서 $\lambda = -\frac{1}{p(p+1)}$ 이고 $\eta = \frac{\ln(c/\sinh_p c)}{c^p}$ 이다.

• 일반화된 쌍곡선 코사인 함수 (정리 3.5): $p \ge 1$이고 $x \in (0, d)$일 때:
  $$e^{\lambda_1 x^p} < \cosh_p x < e^{\eta_1 x^p}$$
  여기서 $\lambda_1 = \frac{\ln(\cosh_p d)}{d^p}$ 이고 $\eta_1 = \frac{1}{p}$ 이다.

• 일반화된 쌍곡선 탄젠트 함수 (정리 3.6): $p \ge 2$이고 $x \in (0, m)$일 때:
  $$e^{\lambda_2 x^p} < \frac{\tanh_p x}{x} < e^{\eta_2 x^p}$$
  여기서 $\lambda_2 = -\frac{1}{p+1}$ 이고 $\eta_2 = \frac{\ln((\tanh_p m)/m)}{m^p}$ 이다.

또한, 따름정리 3.7은 $x \in (0, \pi_p/2)$ 및 $p \ge 2$에 대하여 $\frac{x}{\tan_p x} < \frac{\tanh_p x}{x}$ 부등식을 확립한다.

의의 및 주장
저자들은 자신들의 결과가 고전적인 원형 및 쌍곡선 함수에 대한 기존 부등식들의 자연스러운 일반화라고 주장한다. $p=2$를 대입하면, 도출된 부등식들은 문헌 [2, 3, 4, 5, 10]에 있는 알려진 고전적 결과들로 정확히 환원된다. 본 논문은 새로운 응용이나 실험적 제안을 제시하는 것이 아니라, $p$-일반화된 함수들의 더 넓은 클래스에 대해 지수 경계를 이론적으로 확장하고, 이러한 일반화된 부등식들에 대한 "최적의" 상수를 제공한다는 점에 그 의의가 있다. 이 연구는 $p$-라플라시안(p-Laplacian)의 고유함수 맥락에서 광범로 연구되어 온 일반화된 함수들을 포함하는 부등식 문헌에 기여한다.