[논문 리뷰] Power mean inequality of generalized trigonometric functions

Barkat Ali Bhayo, Матти Вуоринен|arXiv (Cornell University)|2012. 09. 05.

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

한 줄 요약

이 논문은 p-Laplacian과 관련된 일반화된 삼각함수 및 쌍곡함수에 대한 멱평균 부등식을 수립하며, arcsinₚ, artanhₚ, arctanₚ, arsinhₚ와 같은 역함수들이 Mₜ-볼록성임을 증명한다. 반면 sinₚ, cosₚ, tanₚ, tanhₚ는 p와 t에 따라 Mₜ-볼록성 또는 Mₜ-오목성임을 보인다. 주요 기여는 멱평균을 이용한 일반화된 삼각함수의 체계적 분석으로, 초함수와 단조성 논증을 통해 고전적 부등식을 p-Laplacian 프레임워크로 확장한다.

ABSTRACT

We study the convexity/concavity properties of the generalized $p$-trigonometric functions in the sense of P. Lindqvist with respect to the power means.

연구 동기 및 목표

• 일반화된 삼각함수의 멱평균에 대한 볼록성 및 오목성 성질을 조사한다.
• 초함수를 통해 정의된 일반화된 함수를 이용해 고전적 삼각부등식을 p-Laplacian 설정으로 확장한다.
• arcsinₚ, sinₚ, tanhₚ 및 그 쌍곡함수 형태의 역함수 및 직접함수에 대한 Mₜ-볼록성 및 Mₜ-오목성 결과를 수립한다.
• 이전 결과를 t=0 및 t=2에 대해 일반화하여 임의의 t≥0 및 t≥1에 대해 단조성과 미분 기법을 사용해 일반화한다.
• p-삼각함수의 맥락에서 멱평균에 대한 일반화된 볼록성/오목성의 통합 프레임워크를 제공한다.

제안 방법

• 저자는 일반화된 삼각함수 sinₚ, cosₚ, tanₚ, sinhₚ, tanhₚ 및 그 역함수를 가우스 초함수 F(a,b;c;z)와 (1−xᵖ)⁻¹/ᵖ, (1+xᵖ)⁻¹/ᵖ를 포함하는 적분을 통해 정의한다.
• 비율의 도함수 단조성 분석을 위해 필수적인 볼록성 및 오목성 성질을 증명하기 위해 단조 l’Hôpital 법칙(보조정리 2.1)을 활용한다.
• 핵심 부등식은 g(x) = gᵢ(Mₜ(x,y))ᵗ − (gᵢ(x)ᵗ + gᵢ(y)ᵗ)/2 를 정의하고, fᵢ(x) = (gᵢ(x)/x)ᵗ⁻¹ · d/dx(gᵢ(x))의 행동에 따라 도함수의 부호 변화를 연구함으로써 분석된다.
• πₚ 함수에 대해 πₚ가 감소함을 증명하고, πₚ에 대한 p의 도함수를 사용하여 t<1일 때 (πₚ/p)ᵗ⁻¹ · dπₚ/dp 가 증가함을 보여 Mₜ-부등식에 대한 πₚ의 증명을 가능하게 한다.
• 증명은 Lemma 2.8에 기반하며, 이는 (sinₚx/x)ᵐ⁻¹ · d/dx(sinₚx)와 같은 비율이 감소함을 보여주며, cosₚ, tanₚ, sinhₚ, tanhₚ에 대한 유사한 비율들이 필요에 따라 증가 또는 감소함을 보여준다.
• 최종 보조정리에서는 두 매개변수 일반화 함수 (p,q)로 확장하여 t<1일 때 π_{Mₜ(p,q)} ≤ Mₜ(πₚ, π_q) 를 증명한다.

실험 결과

연구 질문

• RQ1 t≥0 및 t≥1일 때, 일반화된 삼각함수는 멱평균 Mₜ에서 어떻게 행동하는가?
• RQ2 p>1 및 t≥0일 때, 역함수 arcsinₚ, artanhₚ, arctanₚ, arsinhₚ는 Mₜ-오목성 또는 Mₜ-볼록성인가?
• RQ3 t≥1일 때, 직접함수 sinₚ, cosₚ, tanₚ, tanhₚ, sinhₚ는 Mₜ-볼록성 또는 Mₜ-오목성을 만족하는가?
• RQ4 t<1일 때, πₚ에 대한 Mₜ-부등식은 두 매개변수 가족 (p,q)로 일반화될 수 있는가?
• RQ5 도함수 비율의 단조성이 일반화된 볼록성/오목성의 수립에 어떤 역할을 하는가?

주요 결과

• t≥0 및 p>1일 때, arcsinₚ(Mₜ(r,s)) ≤ Mₜ(arcsinₚ(r), arcsinₚ(s)) 가 성립하여 arcsinₚ의 Mₜ-오목성을 나타낸다.
• t≥0일 때, artanhₚ(Mₜ(r,s)) ≤ Mₜ(artanhₚ(r), artanhₚ(s)) 는 artanhₚ의 Mₜ-오목성을 보여준다.
• t≥0일 때, arctanₚ(Mₜ(r,s)) ≥ Mₜ(arctanₚ(r), arctanₚ(s)) 및 arsinhₚ(Mₜ(r,s)) ≥ Mₜ(arsinhₚ(r), arsinhₚ(s)) 는 arctanₚ 및 arsinhₚ의 Mₜ-오목성을 확인한다.
• t≥1일 때, sinₚ(Mₜ(r,s)) ≥ Mₜ(sinₚ(r), sinₚ(s)) 는 sinₚ의 Mₜ-볼록성을 나타낸다.
• t≥1일 때, cosₚ(Mₜ(r,s)) ≤ Mₜ(cosₚ(r), cosₚ(s)) 는 cosₚ의 Mₜ-오목성을 확인한다.
• t≥1일 때, tanₚ(Mₜ(r,s)) ≤ Mₜ(tanₚ(r), tanₚ(s)) 및 tanhₚ(Mₜ(r,s)) ≥ Mₜ(tanhₚ(r), tanhₚ(s)) 는 각각 Mₜ-오목성 및 Mₜ-볼록성을 보여주며, sinhₚ(Mₜ(r,s)) ≤ Mₜ(sinhₚ(r), arsinhₚ(s)) 는 잘못된 것으로 보이며, 아마도 오타일 가능하다. 그러나 원래 의도한 부등식은 sinhₚ(Mₜ(r,s)) ≤ Mₜ(sinhₚ(r), sinhₚ(s)) 이며, 이는 Mₜ-오목성을 확인한다.