Acerca de la Generalizacién de las Desigualdades de Holder Bernardo Mayorga Profesor Titular, Departamento de Matemdticas Universidad Industrial de Santander, Bucaramanga. Fernando Gamboa Estudiante de Ingenierta de Sistemas Universidad Industrial de Santander, Bucaramanga.Acerca de la Generalizacién de las las Desigualdades de Holder Resumen Se presenta una demostracién analitica de la desigualdad de Young, y se generaliza —para un niimero cualquiera de factores— su conocida consecuencia directa. La relacién ob- tenida se aplica para elaborar una demostracién sencilla de la generalizacién de la desigualdad de Hilder. Como se sabe, las desigualdades de Hélder (Otto Ludwing Hélder, 1859-1937), para sumas y para integrales, desempeiian un importante papel en el andlisis matematico y en sus aplicaciones. En sus formas sencillas tienen el siguiente aspecto: Desigualdad de Holder para sumas finitas Sean p y q dos numeros reales positivos ligados por la relacién 1/p+1/q = 1. Entonces para cualesquiera dos n-plas de ntimeros reales (41,...n); (b1,....bn) € R" se tiene SP Jandel < (S iar)" (Spat) : (1) k=1 k=1 k=1 Esta desigualdad admite ampliaciones naturales para n-plas de nti- meros complejos, y para sumas infinitas cuando las correspondientes series convergen. Un caso particular importante tiene lugar cuando p= q = 2, que da la conocida desigualdad de Cauchy-Schwarz del Célculo Elemental. Desigualdad de Holder para integrales Sean p y q dos ntimeros reales positivos ligados por la relacién 1/p+1/q = 1. Entonces, para cualesquiera dos funciones reales f 3538 B. Mayorga y F. Gamboa o reordenando los términos de la ultima parte, noi SP, £71) = Enff(c) — SO Flee) basi — &) - (o) k=1 Reemplazando (7) en (6) obtenemos |i.) - (cro - [ Heae) n-1 ro Eafe) ~ Heals ~ Ee («ao f i) (Ex — ofl) (= fens —)- f 1)| fen - ont - (8A - [ ‘| ' en donde S(P, f) es una suma de Riemann para la funcién f sobre el intervalo (61.60) con respecto a la particién P = {€,--- ,én} y con puntos intermedios xz € Ex, €+1], 1 < k 0 existe una particién P, tal que para toda particién P més fina que P. se tiene sry - (cto) - [ f(a) de)| <« 6) Sea H = {ne -++ 1} una seleccién de puntos intermedios de los subintervalos I, = [yx—1, yx] donde ny € Ip, 1 < k 0, cada uno de los cuatro sumandos de la ultima expresién puede hacerse menor que ¢/4, con sélo tomar particiones P€ p/0, f(c)] suficientemente finas (en virtud de la integrabilidad de f sobre (6, c] y del hecho de que una afinacién de P implica la afinacion de f~'(P) € g[0,c]). Por consiguiente, se satisface la condicién (6) y, en consecuencia, es valida la igualdad (5). Demostracién de la Desigualdad De Young. Sea ¢ : [0,00) x (0,00) —+ R definida por aaasy~ [5 fr. Demostremos que la gréfica de f (i.e., el conjunto de puntos (2, f(r)) es maximal para ¢. Mas exactamente, demostraremos que ¢ se anula sobre la curva y = f(x) y es negativa en cualquier otro punto de su dominio. La primera de estas dos afirmaciones es consecuencia inmediata del Lema 1: e (2) He, fla) = afte) ~ fi H(6)a6 - [Oo rma=o. Para verificar la segunda, consideremos un punto arbitrario (x9, yo) en f y los segmentos y semirectas siguientes (fig.1): Ly = {(z,y) € R?0 < x < 20, y = yo}; Ln = {(x,y) € R®|x > 20, y = yo}; Ls = {(x,y) € R?|x = 20,0 Sy < yo}; La = {(2,y) € Rx = 20, y > yo}; Revista de la Facultad de Ciencias U.N. - Medellin40 B. Mayorga y F. Gamboa (20, yo) Ls Fig.1. Desigualdad de Young. Derivando parcialmente la funcién ¢ tenemos: $= y— fle), fne- FW), y en virtud de que f es estrictamente creciente, o¢ ne = =0: Bel,, yo — f(x) > yo — f(t0) = 0; |, =m 0) 20 — f*(yo) = 0; x TBF) <0) =0-Desigualdades de Hélder 41 _ Resumiendo: § ¢(z, f(z))=0 y og Ly on >0, <0, ts) Ol, Ovlt, luego: = vy aeneey— [fed [Maan so, de donde se deduce la afirmacién (4) (nétese que la igualdad sdlo tiene lugar sobre los puntos (¢, f(r)). Corolario. La desigualdad (3): sean p y q mimeros reales positi- vos tales que 1/p + 1/q = 1. Entonces, para cualesquiera reales no negativos a y b se tiene abs —+-. (3) P Demostracién. De la positividad de p y q y de la igualdad 1/p + 1/q = 1 se deduce que =p-1, p>1,q>1. Sien is serge de Young tomamos f(x) = 2-1, tendremos fy 1) = y!-!_ Reemplazando estas expresiones para f y po Y (4) obtenemos (a) 4 Resulta que Ia desigualdad (3) permite una interesante generalize cidn para cualquier cantidad finita de factores a,b,....,c . Antes de enunciarla formalmente, demostraremos el siguiente lema, que es con- secuencia natural de (3). Revista de la Facultad de Ciencias U.N. - Medellin42 B. Mayorga y F. Gamboa Lema 2. Para cualesquiera ntimeros reales positivos p, g y cuales- quiera no negativos a, b se tiene (abe a? <— +, (8) a Pog en donde el numero real a esta definido por la igualdad 1,1_1 =+-=-. (9) Red ae (Notese que (3) es a su vez caso particular de (8) haciendo a = 1). Demostracién. De (9) obtenemos directamente i 1 py P q Pp q fe i edge PSS 1, pia q/a p+q 142 14f’a a q P En estas circunstancias, y segtin (3), para cualesquiera reales no ne- gativos A y B tenemos pia Bale ABcn pee pia q/a Ge en esta ultima desigualdad A = a* y B = b* obtenemos 8). oO Proposicién 1. Sean a;,q2,...dm ntimeros reales no negativos cua- Jesquiera y pi, ..-, Pm reales positivos arbitrarios. Entonces Pa Giareesto)E Ty Oe (10) a ~ Pi Pm en donde a se define por medio de Ia igualdadDesigualdades de Hélder 43. Con a = 1 se obtiene Pi gp? Pra 0103 +++Gm $+ 4. 4 (11) Pi P2 Pm Demostracién. Por induccién: ya hemos demostrado que (10) es va- "lida para dos factores a, b y dos potencias p, g. Supongamos ahora que (10) se cumple con cualquier seleccién de una cantidad fija k > 2 de mimeros reales no negativos a},42,+-- ,a, y cualquier seleccion de k reales positivos p1,p2,--- , Pk, y demostremos que eso implica la validez de la misma relacién para cualesquiera otra selecciones de k+1 niimeros reales no negativos b1,b2,--+ ,bx,br41 y de k +1 positivos © My 425+ ++ Qk Qk+1+ En efecto, hagamos eed aes nun DQ 1 161 —+—=- (12) dk Tk+1 7 Entonces ii ao fA yoye. -=5 nun @ asi y B y, asociando los factores by y bu41, by bp ++ bebegi)? — be OE | (bebees)7 (CUES On Dest) er Cee |e cesie eben) (13) B ~ mM kA Puesto que segtin (8) y (12) o (bebeti)™ — be + oe de ae | Revista de la Facultad de Ciencias U.N. - Medellin“4 B. Mayorga y F. Gamboa de (13) obtenemos a (br bo ++ babe 41)% Pe reds eee B n tk Wk+1 Por el principio de induccién matematica podemos decir que la desi- gualdad (10) se cumple cualquiera sea el natural m. La Proposicién 1 permite, a su vez, demostrar de manera muy sen- cilla_generalizaciones de las desigualdades de Hélder para cualquier cantidad de n-plas y para cualquier cantidad de funciones integra- bles, respectivamente. Esas generalizaciones se mencionan sélo en obras de referencia de gran aliento, como [4] (Vol.3), 0 en trabajos al- tamente especializados, como [3], en el cual se propone como ejercicio No. VI.11.2, parte I, pag. 527) la de las funciones integrables segiin ebesgue. Nétese asi mismo que tomando en (10) py = pr = «. = pm = m, y poniendo 2, = a”, k = 1,2,...,m obtenemos como corolario de la Proposicién 1 el Teorema de las Medias Aritméticas y Geométricas: Ty +t2+-++ +m (2122...2m)/™ < Proposicion 2. (Generalizacién De La Desigualdad De Hal- der Para Sumas Finitas). Sean dadas una m-pla (p;,p2, ..., Pm) de mimeros reales positivos tales que 1/py+1/p2+...+1/Ppm = 1, ym n-uplas (aj, a},...,44,),1 0, 1 (fen), < Tl Slur j=1 \ist El caso a = 1 (Proposicién 2) se visualiza c6modamente, como se muestra a continuacién: n - DM] para, am) a Qala j=l x a. pe an 22 cee Gan | CD laa P2) 7 j=l x Pm x = 1 (Xba) j=l ami Amz ae Amn 1 l ‘ t o a 5 T[leal+ [[lezl+ +» +] lainl + = ist at iat El lector interesado podré sin dificultad enunciar y demostrar anélo- gamente, con la ayuda de la Proposicidn 1, las generalizaciones de la desigualdad de Holder para series y para funciones integrables.Desigualdades de Holder 47 ferencias {1] Bachman G., Narici L. Andlisis Funcional. Editorial Tecnos, Madrid, 1981. - [2] Del Castillo F. Andlisis Matematico II. Editorial Alhambra, Ma- drid, 1980. [3] Dunford N., Schwartz J.t. Linear Operators (Parts I, II and III). Interscience Publishers, Inc., New York, 1958-1971. [4] Encyclopedia of Mathematics (10 volumenes). D. Reidel Publis hing Company, Dordrecht, 1987-1990. [5] Kolmogorov A.n., Fomin S.v. Elementos de la Teoria de Fun- ciones y del Andlisis Funcional. Editorial Mir, Moscti, 1978 [6] Shilov G.e. Anélisis Matematico, Funciones de una Variable, Partes 1-2. Editorial Natica, Mosc, 1969. (en ruso). Revista de la Facultad de Ciencias U.N. - Medellin