Desigualtat de Gautschi
En anàlisi real, una branca de les matemàtiques, la desigualtat de Gautschi és una desigualtat per a ràtios de funcions gamma. Va ser descrita per Walter Gautschi.
Definició
Sigui x un nombre real positiu, i sigui s ∈ (0, 1). Llavors[1]
Història
El 1948, Wendel va demostrar les desigualtats
per a x > 0 i s ∈ (0, 1).[2] Ho va utilitzar per determinar el comportament asimptòtic d'un ràtio de funcions gamma. El límit superior d'aquesta desigualtat és més fort que el que s'ha donat anteriorment.
El 1959, Gautschi va demostrar de forma independent dues desigualtats per a ràtios de funcions gamma. Els seus límits inferiors eren idèntics als de Wendel. Un dels seus límits superiors era el que figura a la declaració anterior, mentre que l'altre de vegades era més fort i de vegades més feble que el de Wendel.
Conseqüències
Una conseqüència immediata és la següent descripció del comportament asintòtic dels ràtios de funcions gamma:
Demostració
Hi ha diverses demostracions conegudes de la desigualtat de Gautschi. Una simple demostració es basa en l'estricta convexitat logarítmica de la funció gamma d'Euler. Per definició, això significa que per a tots u i v i tots t ∈ (0, 1), tenim
Si s'aplica aquesta desigualtat u = x, v = x + 1, i t = 1 − s, i si també s'aplica amb u = x + s, v = x + s + 1, i t = s, els resultats de les desigualtats són:
Reorganitzant el primer d'ells dona el límit inferior, mentre que reorganitzant el segon i aplicant l'estimació trivial dona el límit superior.
Desigualtats relacionades
Qi va escriure sobre desigualtats per a ràtios de funcions gamma.[3]
La prova per convexitat logarítmica proporciona el límit superior més fort
El document original de Gautschi va demostrar un límit superior fort diferent,
on és la funció digamma. Cap dels dos límits superiors és sempre més fort que l'altre.[4]
Kershaw va demostrar dues desigualtats més dures. Torna a assumir que x > 0 i s ∈ (0, 1),[5]
La desigualtat de Gautschi és específica per a un quocient de funcions gamma avaluades a dos nombres reals amb una petita diferència. Tot i això, hi ha extensions a altres situacions. Si x i y són nombres reals positius, llavors la convexitat de condueix a la desigualtat:[6]
Per a s ∈ (0, 1), això condueix a les estimacions
Una desigualtat relacionada però més dèbil es pot derivar fàcilment del teorema del valor mitjà i de la monotonicitat de .[7]
Una desigualtat més explícita vàlida per a una classe més àmplia d'arguments és deguda a Kečkić i Vasić, que van demostrar que si y > x > 1, llavors:[8]
En particular, si s ∈ (0, 1), llavors tenim:
Guo, Qi, i Srivastava van demostrar una desigualtat semblant, vàlida per a tots y > x > 0:[9]
Per a s ∈ (0, 1), obtenim:
Referències
- ↑ NIST Digital Library of Mathematical Functions, 5.6.4.
- ↑ J.G. Wendel, Note on the Gamma function, Amer. Math. Monthly 55 (9) (1948) 563–564.
- ↑ Feng Qi, Bounds for the Ratio of Two Gamma Functions, Journal of Inequalities and Applications, Volume 2010, doi:10.1155/2010/493058.
- ↑ Feng Qi, Bounds for the ratio of two Gamma functions, J. Inequal. Appl. (2010) 1–84.
- ↑ D. Kershaw, Some extensions of W. Gautschi’s inequalities for the gamma function, Math. Comp. 41 (1983) 607–611.
- ↑ M. Merkle, Conditions for convexity of a derivative and applications to the Gamma and Digamma function, Facta Universitatis (Niš), Ser. Math. Inform. 16 (2001), 13-20.
- ↑ A. Laforgia, P. Natalini, Exponential, gamma and polygamma functions: Simple proofs of classical and new inequalities, J. Math. Anal. Appl. 407 (2013), 495–504.
- ↑ J. D. Kečkić and P. M. Vasić, Some inequalities for the gamma function, Publications de l'Institut Mathématique, vol. 11 (25), pp. 107–114, 1971.
- ↑ S. Guo, F. Qi, and H. M. Srivastava, Necessary and sufficient conditions for two classes of functions to be logarithmically completely monotonic, Integral Transforms and Special Functions, vol. 18, no. 11-12, pp. 819–826, 2007, https://dx.doi.org/10.1080/10652460701528933.
Bibliografia
- Gautschi, Walter (en anglès) Journal of Mathematics and Physics, 38, 1959. DOI: 10.1002/sapm195938177.