arxiv:math/ v1 [math.fa] 1 Feb 1994

Transcription

1 arxiv:mah/944v [mah.fa] Feb 994 ON THE EMBEDDING OF -CONCAVE ORLICZ SPACES INTO L Care Schü Abrac. I [K S ] i wa how ha Ave ( i a π(i) ) π i equivale o a Orlicz orm whoe Orlicz fucio i -cocave. Here we give a formula for he equece a,a,...,a o ha he above epreio i equivale o a give Orlicz orm. 99 Mahemaic Subjec Claificaio. 46B. Suppored by NSF-gra DMS-9356

2 CARSTEN SCHÜTT A cove fucio M: R R wih M() = M( ), M() =, ad M() > if i called a Orlicz fucio. M i aid o be -cocave if M( ) i a cocave fucio o [, ) ad ricly -cocave if M( ) i ricly cocave. M i -cove if M( ) i cove ad ricly -cove if M( ) i ricly cove. If M i iverible o (, ) he he dual fucio i give by M () = M ()d We defie he Orlicz orm of a equece { i } by M = up{ i y i M (y i ) } I [K S, K S ] we have ued a differe epreio for he defiiio of he Orlicz orm: ha orm equal o if ad oly if M( i) =. Bu i ur ou ha he above defiiio give lighly beer eimae. Breagolle ad Dacuha-Caelle [B D] howed ha a Orlicz pace l M i iomorphic o a ubpace of L if ad oly if M i equivale o a -cocave Orlicz fucio. A a corollary we ge he ame reul here. I [K S ] a varia of he followig reul wa obaied. Theorem. Le a a... a > ad le M be he Orlicz wih () M ( l ) = { ( a i ) + l ( i=l+ a i ) } for all l =,,..., ad uch ha M i a affie fucio bewee he give value. The we have for all R () 5 ( ) +( ) M Ave π ( i a π(i) ) c M where c =! + 3!...+( )+!. We pree here hoe argume of he proof of Theorem ha are differe from he argume i [K S, K S ]. There i alway a Orlicz fucio M aifyig he aumpio of Theorem. I order o verify hi we how ha { } ( f()d) + f() d i a cocave fucio of. Moreover, we may aume ha f i differeiable. For

3 ON THE EMBEDDING OF -CONCAVE ORLICZ SPACES INTO L 3 f ()( f()d f()) { ( f()d) + f() d } (f() f()d+ f() d f()) 4 { ( f()d) + }3 f() d The fir ummad i opoiive ice f i decreaig. I follow from Theorem ha a Orlicz fucio M ha o be equivale o a -cocave Orlicz fucio if l M i iomorphic o a ubpace of L [K S, K S ]. We compue here how we have o chooe he equece a,a,...,a o ha we ge () for a give -cocave Orlicz fucio M. From hi i alo follow ha l M i iomorphic o a ubpace of L if M i -cocave. Theorem. Le M be a ricly cove, wice differeiable Orlicz fucio ha i ricly -cocave. Aume ha M () = ad le (3) a l = l l ((M ) ) () d+ (M ) () ((M ) ) () ((M ) ) ()d for l =,,...,. The we have for all R c M Ave ( π i a π(i) ) c M where c i a coa ha doe o deped o ad M. Sice R wih he orm = Ave ( i a π(i) ) π i iomeric o a ubpace of L, we ge he followig corollary. Corollary 3. Le M be a -cocave Orlicz fucio. The l M i iomorphic o a ubpace of L. Lemma 4. [K S ] For all N ad all marice A wih oegaive erie we have c (k) Ave ma a(i,π(i)) (k)

4 4 CARSTEN SCHÜTT where c =! + 3!...+( )+! ad (k),k =,,..., i he oicreaig rearrageme of he umber a(i,j),i,j =,,...,. Lemma 5. [K S ] For all N ad all oegaive umber a(i,j,k),i,j,k =,,..., we have ( ) +( ) k= (k) Ave π,σ ma i a(i,π(i),σ(i)) (k) where he average iake over all permuaio π,σ of {,,...,}ad {(k)} 3 k= i he oicreaig rearrageme of he umber a(i,j,k),i,j,k =,,...,. k= Lemma 6. [K S ] Le b b... b >,, ad b = ma kj = k i ( b j ) i The we have for all Orlicz fucio M wih M ( l j= b j) = l,l =,..., ad all R j= b M b The proof of he righ had iequaliy of Lemma 6 i he ame a i [K S ]. The lef had iequaliy follow from he defiiio of he orm. Proof of Theorem. We chooe he equece b j,j =,,..., wih k b j = k j= k =,,..., The we ge by Lemmaa 4 ad 6 c Ave( i a π(i) ) Ave ma ia π(i) b σ(i) Ave ( i a π(i) ) π π,σ i π Ad by Lemma 5 we ge ( ) (k) ( i a π(i) ) (k)

5 ON THE EMBEDDING OF -CONCAVE ORLICZ SPACES INTO L 5 where (k),k =,,... 3 i he decreaig rearrageme of i a j b k,i,j,k =,,...,. We apply Lemma 6 agai wih = ad he Orlicz fucio N uch ha N ( j= (j)) = l l =,,..., where(j),j =,,..., ihedecreaigrearragemeof a i b k,i,k =,,..., ad uch ha N i a affie fucio bewee he give value. We ge ( ) +( ) N ( i a π(i) ) c N We have for ome ieger k i wih k i ad k i = l N ( l ) = (j) = j= b j = a i ki a i k i Sice a a... a we alo have k k... k. Therefore we ge j= N ( l ) 3 3 ( k a i + ( a i +l ( a i +l i=l+ i=l+ i=l+ a i ki ) a i ) (k + l a i ) i=l+ k i ) We ge immediaely ha = M ( l ) N ( l ) = (j) j= a i ad a i [K S ] Therefore we have N ( l l ) ( a i ) M ( l ) = ( a i +l a i ) 5N ( l ) i=l+

6 6 CARSTEN SCHÜTT N ( l ) M ( l ) 5N ( l ) Sice M ad N are affie fucio for he oher value he above iequaliie eed o arbirary value ad we ge herefore N M 5 N Lemma 7. Le H be a cocave, icreaig fucio o [,] ha i wice coiuouly differeiable o (,], coiuou o [,] ad aifie H() =. Aume ha ( H() ) for all (,]. The (5) f() = H () H() H () d+ H() H() H () i a oegaive, decreaig, differeiable fucio o (,] uch ha f()d i fiie ad uch ha we have for all [,] H() = ( f()d) + f() d Lemma 8. Le H be a cocave, icreaig fucio o [,] ha i wice coiuouly differeiable o (,], coiuou o [,] ad aifie H() =. Moreover, aume ha ( H() ) for all (,]. The we have (i) lim ( d d (H() )) = (ii) The fucio f give by (5) i well defied, oegaive, decreaig, ad differeiable. (iii) lim f() = Proof of Lemma 8. (i) lim ( d d (H() )) = lim ( H() H () ) = lim (H() H ()) We ue ha H () H(). (ii) Becaue of d d (H() ) ad he cocaviy of H we have H() H () >. Agai, by he cocaviy of H he iegrad i a opoiive fucio ad herefore

7 ON THE EMBEDDING OF -CONCAVE ORLICZ SPACES INTO L 7 (iii) We have ha (6) ( d d d d (H() ) ) H () = H() H () Iegraio by par give u f() = [ d d (H() ) ] + d d (H() )d+( H() H() H ()) The fir ummad ed o becaue of (i) ad he hird rivially. The ecod ummad alo ed o : If he iegral i bouded hi i rivial. If he iegral i o bouded we apply l Hôpial rule ad (i). Proof of Lemma 7. I geeral f i ubouded i a eighborhood of. f()d = lim{[f()] ǫ ǫ f ()d} ǫ By Lemma 8(ii), he defiiio (5) of f, ad (6) we ge By Lemma 7(i) we ge f()d = f()+ d d (H() ) limǫ ǫ d dǫ (H(ǫ) ) ǫ (7) or f()d = f()+ d d (H() ) Therefore we have { f()d f()} = d d (H() ) Wih H() H() = d d (H() )d = f()d f() d we ge d d { ( f()d) + f() d} = f()d f() (8) H() H() = ( f()d) + f() d ( f()d)

8 8 CARSTEN SCHÜTT By (7) we have f()d = f()+ H() H () By he defiiio (5) of f we ge f() = H() H() H () ad herefore Thu we obai from(8) f()d = H() Or H() H() = ( f()d) + f() d H() H() = ( f()d) + f() d Proof of Theorem. Sice M i ricly cove M ei ad M () = M (). SiceMiwicediffereiableoiM. SiceM( )iriclycocave(m ()) i alo ricly cocave. Therefore, > ((M ) ) () (M ) () = d ()) d ((M ) We pu H() = (M ()) ad apply Lemma 7. Therefore a,a,...,a give by (3) i a poiive, decreaig equece wih We ge a l = l l f()d M ( l ) = (( l = (( f()d) + l ( f() d)) a j ) + l ( j= Sice f( l ) a l f( l ) we ge M ( l ) (( M ( l ) (( j=l l j+ j f() d) a j ) + l ( a j )) j= a j ) + l ( j= j=l j=l+ a j ))

9 ON THE EMBEDDING OF -CONCAVE ORLICZ SPACES INTO L 9 Referece [B D] J. Breagolle ad D. Dacuha-Caelle, Applicaio de l eude de ceraie forme liéaire aléaoire au plogeme d epace de Baach da le epace L p, A. Sci. Ecole Norm. Sup. (969), [K S ] S. Kwapień ad C. Schü, Some combiaorial ad probabiliic iequaliie ad heir applicaio o Baach pace heory, Sudia Mah. 8 (885), 9 6. [K S ] S. Kwapień ad C. Schü, Some combiaorial ad probabiliic iequaliie ad heir applicaio o Baach pace heory II, Sudia Mah. 95 (989), Oklahoma Sae Uiveriy, Deparme of Mahemaic, Sillwaer, OK 7478 Chriia Albrech Uiveriä, Mahemaiche Semiar, 48 Kiel, Germay