Athanase Cotsiolis

Nikolaos K. Tavoularis

Comptes Rendus Mathématique

1/lC. R. Acad. Sci. Paris, Ser. I 340 (2005) 205–208http://france.elsevier.com/direct/CRASSPartial Differential EquationsOn logarithmic Sobolev inequalities for higher order fractionaderivativesAthanase Cotsiolis, Nikolaos K. Tavoularis1Department of Mathematics, University of Patras, Patras 26110, GreeceReceived 18 October 2004; accepted 16 November 2004Available online 11 January 2005Presented by Thierry AubinAbstractOnRn, we prove the existence of sharp logarithmic Sobolev inequalities with higher fractional derivatives. Lets be a positivereal number. Any functionf ∈ Hs(Rn) satisfies∫Rn∣∣f (x)∣∣2 ln( |f (x)|2‖f ‖22)dx +(n + nslnα + ln s(n2)( n2s ))‖f ‖22 α2πs∥∥(−)s/2f ∥∥22with α > 0 be any number and where the operators(−)s/2 in Fourier spaces are defined bŷ(−)s/2f (k) := (2π |k|)s f̂ (k).To cite this article: A. Cotsiolis, N.K. Tavoularis, C. R. Acad. Sci. Paris, Ser. I 340 (2005). 2004 Académie des sciences. Published by Elsevier SAS. All rights reserved.RésuméSur les inégalités de Sobolev logarithmiques pour les dérivées fractionnelles d’ordre supérieur.Sur Rn, on établil’existence d’inégalités de Sobolev logarithmiques optimales pour les dérivées fractionnelles d’ordre supérieur. Soits etα deuxréels positifs. Pour toute fonctionf ∈ Hs(Rn), on établit l’inégalité suivante :∫Rn∣∣f (x)∣∣2 ln( |f (x)|2‖f ‖22)dx +(n + nslnα + ln s(n2)( n2s ))‖f ‖22 α2πs∥∥(−)s/2f ∥∥22.L’opérateur(−)s/2 est defini dans les espaces de Fourier par̂(−)s/2f (k) := (2π |k|)s f̂ (k). Pour citer cet article : A. Cot-siolis, N.K. Tavoularis, C. R. Acad. Sci. Paris, Ser. I 340 (2005). 2004 Académie des sciences. Published by Elsevier SAS. All rights reserved.E-mail addresses: cotsioli@math.upatras.gr (A. Cotsiolis), niktav@master.math.upatras.gr (N.K. Tavoularis).1 Supported by the Greek State Scholarship’s Foundation.1631-073X/$ – see front matter 2004 Académie des sciences. Published by Elsevier SAS. All rights reserved.doi:10.1016/j.crma.2004.11.030206 A. Cotsiolis, N.K. Tavoularis / C. R. Acad. Sci. Paris, Ser. I 340 (2005) 205–208ormables1. IntroductionLogarithmic Sobolev inequalities have awide range of applications and have ben extensively studied (see, fexample, [9,4,5,8,1,11] and the references therein).Let  be the Laplacian inRn and letf̂ (k) denote the Fourier transform off ∈ L1(Rn):f̂ (k) =∫Rne−2π ikxf (x)dx.The operators(−)s/2 are defined in Fourier spaces (i.e. in spaces with functions which have Fourier transforsuch asLp(Rn) for 1  p  2) as multiplication by(2π |k|)s , i.e.̂(−)s/2f (k) := (2π |k|)s f̂ (k).The spaceHs(Rn) is endowed with the inner product(f, g)Hs(Rn) =∫Rn¯̂f (k)ĝ(k)(1+ (2π |k|)2s)dkand‖f ‖2Hs(Rn) :=∫Rn∣∣f̂ (k)∣∣2(1+ (2π |k|)2s)dk.The original form of thelogarithmic Sobolev inequality (cf. [12]) is∫Rn∣∣g(x)∣∣2 ln( |g(x)|2‖g‖22)dm  1π∫Rn∣∣∇g(x)∣∣2 dm,where dm = e−π |x|2 dx is the Gauss measure and‖g‖2 is, of course, the norm inL2(Rn,dm).Choosingg(x) = eπ |x|2/2f (x) in the above inequality, and considering an homothetic change of vari(α > 0), we find ([10], Th. 8.14, p. 223):∫Rn∣∣f (x)∣∣2 ln( |f (x)|2‖f ‖22)dx + n(1+ lnα)‖f ‖22 α2π∫Rn∣∣∇f (x)∣∣2 dx, (1)where theL2 norm is with respect to Lebesgue measure.The purpose of this Note is to give a generalization of inequality (1) with the operators(−)s/2, s > 0.Definition 1.1 [6]. We consider the operator semigroups e−t (−)s , t > 0, defined by its Fourier transform:(e−t (−)sf )∧(k) = e−t (2π |k|)2s f̂ (k).2. Logarithmic Sobolev inequalitiesTheorem 2.1.Let f be any function in Hs(Rn) and let α > 0 be any real number. Then∫Rn∣∣f (x)∣∣2 ln( |f (x)|2‖f ‖22)dx +(n + nslnα + ln s(n2)( n2s ))‖f ‖22 α2πs∥∥(−)s/2f ∥∥22 (2)A. Cotsiolis, N.K. Tavoularis / C. R. Acad. Sci. Paris, Ser. I 340 (2005) 205–208 207e.Proof. Let Fs(x) be the function with Fourier transform̂Fs(k) = e−t (2π |k|)2s . Then e−t (−)sf = Fs ∗ f . However,F̂s (x) = F̂s (−x) = Fs(x) becauseFs ∈ L2(Rn).By Young’s inequality [3,10] we see that e−t (−)s mapsLp(Rn) into Lq(Rn) providedp < q . Indeed,∥∥e−t (−)sf ∥∥q= ‖Fs ∗ f ‖q = ‖F̂s ∗ f ‖q (CrCpCq)n‖F̂s‖r‖f ‖p (3)with 1+ 1q= 1r+ 1pandC2p = p1/p/p′1/p′ (p′ denotes the dual index ofp).‖F̂s‖r  Cnr ′ ‖F̂s‖r ′ (4)according to Hausdorff–Young’s inequality withr ′ = 11/p−1/q = pqq−p . Also‖F̂s‖r ′r ′ =∫Rne−t (2π |k|)2s r ′ dk = 2πn/2(n/2)∞∫0e−t (2πρ)2s r ′ρn−1 dρ= 2πn/2(n2)(n+2s2s )n(2π)−n(t1/p − 1/q)−n/2s. (5)So,∥∥e−t (−)sf ∥∥q(CpCq)n(tKs1/p − 1/q)− n2s ( 1p − 1q )‖f ‖p (6)whereKs = (2π)2s[ 2πn/2(n/2) (n+2s/2s)n ]−2s/n.We setq = 2 and lett = α2(1p− 12)/πs → 0. (7)From (6) and (7) we obtain the inequality:‖f ‖22 − ‖f ‖2p +(1−((CpC2)n(Ksπsα2)−ntπs/2sα2)2)‖f ‖2p  ‖f ‖22 −∥∥e−t (−)sf ∥∥22 (8)Note that the right-hand side of (8), when divided by 2t , tends to‖(−)s/2f ‖22 (Theorem announced in [6], thproof is in the Appendix below).If f ∈ C∞c (Rn) we haveddp‖f ‖2p|p=2 =12∫Rn∣∣f (x)∣∣2 ln( |f (x)|2‖f ‖2)dx.A straightforward computation leads tolimp→21− ((Cp/C2)n(Ks/πsα2)n(p−2)/4π)22− p =12(n + nslnα + ln s(n2)( n2s )). (9)Eqs. (8) and (9) prove inequality (2) forf ∈ Hs(Rn) by density [6,13]. Indeedf 2(x)(ln |f (x)|)+ is in-tegrable according to the Sobolev theorem [2]. Let{fi} ⊂ C∞c (Rn) such thatfi → f in Hs(Rn) and a.e.∫f 2i (x)(ln(fi(x))+ →∫f 2(x)(ln(f (x))+ according to the Lebesgue theorem.Remark 1. The constants in inequality (2) are the best one because we use sharp inequalities in the proof208 A. Cotsiolis, N.K. Tavoularis / C. R. Acad. Sci. Paris, Ser. I 340 (2005) 205–208s,98)02)9599.,Remark 2. We have equality in (2) only fors = 1. Since fors = 1 H–Y inequality (4) is strict.Remark 3. For ∈ N, we have seen (cf. [7]) that‖∇f ‖2 = C‖(−)/2f ‖2 whereC = 2−−1∏h=−(n + 2h)1/2[((n − 2)/2)((n + 2)/2)]1/2.Thus we can have the following logarithmic inequality:∫Rn∣∣f (x)∣∣2 ln( |f (x)|2‖f ‖22)dx +(n + nlnα + ln (n2)( n2 ))‖f ‖22 α2C2π‖∇f ‖22with  ∈ N andC as given above.Appendix. Proof of Theorem 1.2 announced in [6]A function f is in Hs(Rn) if and only if it is in L2(Rn) andI ts (f ) = 1t [(f,f ) − (f,e−t (−)sf )] is uniformlybounded and we have in which case supt>0 Its (f ) = limt→0 I ts (f ) = (f, (−)sf ).Proof.I ts (f ) =1t[(f,f ) − (f,e−t (−)sf )] = 1t[ ∫Rn∣∣f̂ (k)∣∣2(1− e−t (2π |k|)2s )dk].When we pass to the limitlimt→0Its (f ) =∫Rn(2π |k|)2s∣∣f̂ (k)∣∣2 dk = ∥∥(−)s/2f ∥∥22 (10)so if f ∈ Hs(Rn), the limit exists and (10) holds. If the limit exists for somef ∈ L2(Rn), thenf ∈ Hs(Rn).Moreover, supt>0 Its (f ) = limt→0 I ts (f ). References[1] C. Ané, S. Blachère, D. Chafaï, P. Fougères, I. Gentil, F. Malrieu,C. Roberto, G. Scheffer, Sur les inégalités de Sobolev logarithmique10, Société Mathématique de France, Paris, 2000.[2] Th. Aubin, Some Nonlinear Problems in Riemannian Geometry, Springer, 1998.[3] W. Beckner, Inequalities in Fourier analysis, Ann. Math. 102 (1975) 159–182.[4] W. Beckner, Sharp Sobolev inequalities on the sphere and the Moser–Trudinger inequality, Ann. Math. 138 (2) (1993) 213–243.[5] W. Beckner, M. Pearson, On sharp Sobolev embedding and thelogarithmic Sobolev inequalities, Bull. London Math. Soc. 30 (1980–84.[6] A. Cotsiolis, N.K. Tavoularis, Sharp Sobolev type inequalities forhigher fractional derivatives, C. R. Acad. Sci. Paris, Ser. I 335 (20801–804.[7] A. Cotsiolis, N.K. Tavoularis, Best constants for Sobolev inequalities for higher order fractional derivatives, J. Math. Anal. Appl. 2(2004) 225–236.[8] R. Gilles, Une initiation aux inégalités de Sobolev logarithmiques,Cours Spécialisés, 5, Société Mathématique de France, Paris, 19[9] L. Gross, Logarithmic Sobolev inequalities, Am. J. Math. 97 (761) (1975) 1061–1083.[10] E. Lieb, M. Loss, Analysis, second ed., Amer. Math. Soc., 2001.[11] M. Del Pino, J. Dolbeault, I. Gentil, Nonlinear diffusions, hypercontractivity and the optimalLp -Euclidean logarithmic Sobolev inequalityJ. Math. Anal. Appl. 293 (2) (2004) 375–388.[12] A.J. Stam, Some inequalities satisfied by the quantities of inf rmation of Fisher and Shannon, Inform. Control 2 (1959) 255–269.[13] N.K. Tavoularis, Thèse de Doctorat de l’Université de Patras, Spécialité Mathématiques, 2004.

On logarithmic Sobolev inequalities for higher order fractional derivatives

Cotsiolis, Athanase

Tavoularis, Nikolaos K.

Numérisation de Documents Anciens Mathématiques

http://www.numdam.org/item/10.1016/j.crma.2004.11.030.pdf

On logarithmic Sobolev inequalities for higher order fractional derivatives

Abstract

Similar works

Full text

Available Versions

Comptes Rendus Mathématique

Numérisation de Documents Anciens Mathématiques