15

Télécharger au format pdf
Télécharger au format pdf
Vous êtes sur la page 1sur 8
PUBLICATIONS DE L'INSTITUT MATHEMATIQUE, Nouvelle série, tome 9 (23), 1969. p. 107—14 SUR UN SYSTEME INFINI D'INEGALITES FONCTIONNELLES P.M. Vasié — D. D. Adamovié (Communiqué le 17 Mai 1968) 0. L’inégalité de Hlawka (A) 4 Gs\ + |as + a| +) ay + a5 |<|ay| + |g] + [ay] +)ay +a, +45} (a,, a, ay éléments d’un espace préhilbertien, |a| demi norme de a) a été généralisée en 1963 dans [1] par l’inégalité 2% a Apres, D. Z. Dokovié [2] a généralisé le dernier résultat par Vinégalité (oa) in (a) YT la tajl<(n—2 ¥ jay) + taicjen mt (n=3, 4... @) Slates tay ls teiee ikem (ISk3 et pour tout 20) et soit a©{0, a) (f=1, ..., m) et S a0, a). Alors a dferae("S)rose—2 Sseo+s(Sa) 023 } a iS Les résultats (A) et (V) contiennent les inégalités peu prés de méme forme, mais les conditions sous lesquelles ces inégalités sont valables sont incomparables (on peut dire méme: disparates). En outre, le résultat (A) et le résultat (D) plus général sont déduits des identités correspondantes, et cela pour tout » et k, tandis que (V) est démontré d’abord pour n=3 et étendu ensuite, par induction mathématique, a tout n>3. 107 108 P.M. Vasi¢ — D. D. Adamovié Inspirés par tous les faits précédents, nous avons obtenu le théoréme suivant de caractére assez général, lequel, entre autre, met en évidence (partiel- Jement au moins), la s.ructure logique et fa connexion mutuelle des résultats (H), (A), (D), [3], (V) et rend possible une démonstration de (D) différente de celle exposée dans [2] et {1}. Il faut noter, cependant, que ce théoréme ne contient pas (et ne fournit pas de moyen pour obtenir) les conditions nécessaires et suffisantes pour que Tinégalité en question devienne égalité, lesquelles sont formulges et démontrées pour chacun des cas (A), (D) et (V), dans les travaux correspondants (2}, [1] et [4], d'une maniére particuliére. 1. Théoréme. Soient: D un demi groupe additif et commuatif a Pélément neutre O, ECD un ensemble aux propriétés: 2) 0€ 8) (ace Lo”) ASace)= S$ a,SB (1 atc (Cuz) (2 non (Cyx) (23) Avant de passer & la démonstration, notons que Yon peut considérer 1 (1) comme l’énoncé du fait que la ,,solution générale“ du ,,systéme égalités fonctionnelles“ (3) est donnée (déterminée) par l'inégalité ‘Sur un systéme infini d’inégalités fonctionnelles 109 (Cs), dans le sens que la fonction f (:E->G) est une solution du systtme (3) si et seulement si f satisfait 4 (C3,). Démonstration. On peut supposer que 4 FOM=90. En effet, supposons que l'on ait déja démontré le théorsme sous 'hypo- thse (4) et | appliquons-le A la fonction f(x)—f(0). Etant donné que Vinégalité dans (C,,) devient alors x lmt ray) — (FO (Se) (34) et que l'on a Die He (=) G3) ee ( k-1 k (cya -(y Jen. il en résulte immédiatement le cas général du théoréme. Supposons done, sous hypothése (4), la condition (Cz) remplie. Avant de démontrer, par induction, que l'on a alors (3), nous allons prouver, de la méme maniére, les cas particuliers suivants: (Cys) (”=3) et (Can) (#23), Cest-Aedire que l'on a oy E Searar3). En supposant (7), l'application de (C),2) aux éléments (8), avec 2 <1, donne (aprés multiplication par k—1) (13) OS fae ea) CCD fer) ; NES re : Cl ; Irereelg Slits conde yy tome) See ay i (Ly) UG) Fenn 112 P.M. Vasié — D. D. Adamovié En ajoutant (14) A (13), on obtient i) KS fee ay) teers Laon Sa, + hey vm mel} bays lehees o a+ - + + 4%) the Sy pent in —2 m—2) (net +(k=1 (dy + dy 43) + (KI ( 4): =D (Lf) Fee renid =D (I) (Sa En ajoutant a (15) toutes les inégalités de méme type oi le réle des Eléments a, et dq., est joué par toutes les autres paires des éléments a (i=1,..., +1), on obtient (16) 4n Slay, ++ +44) leche. Sehentt a 4 (34) (2

Vous aimerez peut-être aussi