arxiv: v1 [math.ca] 9 Jul 2018

Transcription

1 On the Sobolev space of functions with derivative of logarithmic order Elia Brué Quoc-Hung Nguyen Scuola Normale Superiore, Piazza dei Cavalieri 7, I-5600 Pisa, Italy. arxiv: v [math.ca] 9 Jul 208 July 0, 208 Abstract Two notions of having a derivative of logarithmic order have been studied. They come from the study of regularity of flows and renormalized solutions for the transport and continuity equation associated to weakly differentiable drifts. Introduction The aim of this note is to study two classes of functions with derivative of logarithmic order in a suitable sense. Such notion comes up naturally in the study of regular Lagrangian flows and renormalized solutions for transport and continuity equation under a Sobolev assumption on the drift [DPL89, A04, CDL08, Nguyen, BrNg8]. In order to give a concrete idea of this fact we present a formal computation. Let us consider a vector field b : R d R d in the Euclidean space of dimension d and assume that b W,p R d ;R d for some p. Consider the problem d Xt, x = bxt, x, dt ODE X0, x = x, x R d. The ODE problem in this setting was studied for a first time by Di Perna, Lions [DPL89] and extended to the BV framework by Ambrosio in [A04]. After these two pioneering works this topic has been received a lot attentions becoming a very thriving research field. Let us now pass to a formal computation. In order to investigate a regularity of the flow map X t this question is central in the theory since every regularity of X, even very mild, allows compactness theorems, see [BJ5] for a beautiful application to the compressible Navier-Stockes equation it is natural to take the space derivate in the equation getting d dt X tx = bx t x X t x. Passing to the modulus and integrating we obtain log X t x t 0 b X s x ds. Observe that, under the assumption that X t is a measure preserving map that is very natural in this context and crucial to the development of the theory at least in a relaxed form exploiting the Sobolev regularity of b we conclude that Scuola Normale Superiore, elia.brue@sns.it, Scuola Normale Superiore, quochung.nguyen@sns.it, log X t x L p R d,

2 with a quantitative estimate log X t L p t b L p. Let us point out that our computation is not rigorous since a priory the gradient of X t does not exist. However from we learn that the reasonable regularity for a flow map associated to b W,p R d ;R d is not the classical Sobolev regularity nor a fractional one but something of logarithmic order. The first rigorous result in this direction has been proved in [CDL08] where a class of functions is very similar to the one we study in section 3 has been introduced. The paper is organized as follow. In section 2 we study the class X γ,p defined by mean of the Gagliardo-type semi-norm [f] X γ,p := B /3 Rd /p fx + h fx p h d dx dh. 2 log/ h pγ This class was considered for a first time by Leger [LF6] in the case p = 2, it was defined in a different but equivalent form using the Fourier transformation, see subsection 2. with the aim to study regularity and mixing properties of solutions of the continuity equation. The authors of the present paper in [BrNg8] considered again the semi-norm 2 to prove new regularity estimates for the continuity equation proving also their sharpness. In this first section we prove the Sobolev embedding for the space X γ,p in a sharp form, approximation results in the sense of Lusin and the interpolation inequality between spaces L p, X γ,p and W s,p. The techniques we introduce to study such topic are, up to the authors knowledge, new even in the fractional Sobolev setting. We give indeed a new and very simple proof of the fractional Sobolev embedding theorem and of the Lusin s approximation result for function in W s,p. In section 3, we introduced a second class of functions defined à la Hajlasz see for instance [He]. We give a characterization in term of a finiteness of a suitable discrete logarithmic Dirichlet energy see 23. We also study weak differentiability properties of functions in this class and we finally establish a link with the first treated space X γ,p. Throughout the present paper we work in the Euclidean space of dimension d endowed with the Lebesgue measure L d and the Euclidean norm. We denote by B r x the ball of radius r > 0 centered at x R d. We often write B r instead of B r 0. Let us set and f dx = E L d E Mfx := sup r>0 E B rx f dx, E R d Borel set, fy dy, x R d, to denote the Hardy-Littlewood maximal function. We often use the expression a c b to mean that there exists a universal constant C depending only on c such that a Cb. The same convention is adopted for c and c. 2 The space X γ,p Let us define the first space. Definition 2.. Let p 0, and γ 0, be fixed. We define the semi-norm [f] X γ,p := B /3 Rd /p fx + h fx p h d dx dh, 3 log/ h pγ and we set X γ,p := { f L p R d : [f] X γ,p < }. 4 2

3 It is immediate to verify that X γ,p endowed with f p X γ,p := f p L p + [f] p X γ,p, is a Banach space and the semi-norm [ ] X γ,p is lower semi-continuous with respect to the strong topology of L p. Observe that the kernel K γ h := B/3 h d log/ h pγ, appearing in 3, is singular in R d precisely when γ 0, as a simple computation shows K γ h dh = t pγ dt. R d log3 Therefore, our semi-norm 3 is not trivial only when γ 0. Roughly speaking, it has the aim to measure the L p norm of a derivative of logarithmic order γ. Indeed, in order to have [f] X γ,p < it must be f + h f L p log/ h γ. Let us observe the analogies between our space X γ,p with the classical Sobolev spaces of fractional order W s,p see [Adam75] for a reference on this topic. Let p > 0 and s 0, be fixed, the space W s,p consists of functions f L p such that [f] W s,p := and it is endowed with the norm R d Rd fx + h fx p h d+ps f p W s,p := f p L p + [f]p W p,s. /p dx dh <, 5 Understanding X γ,p as the space of functions in L p with derivative of logarithmic order γ in L p it is natural to expect the continuous inclusions X γ,p X γ,p W s,p when 0 γ γ and s 0,. This is the statement of the following proposition whose proof is a simple exercise. Proposition 2.2. Let p 0, be fixed. For any 0 γ γ and s 0, there holds 2. The case p = 2 [f] X γ,p [f] X γ,p, f X γ,p s,p,γ f W s,p. In this section we characterize the space X γ,2 by mean of the Fourier transform. The precise statement is the following. Theorem 2.3. Let γ > 0 be fixed. For every f L 2 R d it holds + f 2 X γ,2 d,γ f 2 L log ξ 2γ fξ 2 dξ. 2 Proof. Using the Plancherel s formula we get for any h R d, fx + h fx 2 dx = R d e ih ξ 2 fξ 2 dξ = 2 R d cosh ξ fξ 2 dξ. R d Thus, B /2 Rd fx + h fx 2 h d dx dh = 2 log/ h 2γ R d ξ > [ ] cosh ξ B /2 h d dh log/ h fξ 2 dξ. 6 2γ 3

4 It is enough to show that and B /2 cosh ξ h d log/ h 2γ dh d,γ ξ 2, for every ξ 0, 7 B /2 cosh ξ h d log/ h 2γ dh d,γ log ξ 2γ, for every ξ > 0. 8 In order to prove 7 we use the elementary inequality cosa a 2 for any a 2, 2 obtaining cosh ξ h ξ B /2 h d dh log/ h 2γ B/2 2 h d log/ h 2γ dh d,γ ξ 2. Let us now prove 8. First observe that cosh ξ B /2 \B /0 ξ h d dh 2 log/ h 2γ B /2 \B /0 ξ h d log/ h 2γ dh d log ξ 2γ, and cosh ξ B /0 ξ h d dh log/ h 2γ B/0 ξ h ξ 2 ξ 2 h d dh log/ h 2γ B /0 ξ h d 2 dh log0 ξ 2γ d,γ log0 ξ 2γ d log ξ 2γ, where we used again the elementary inequality cosa a 2 for any a R and the assumption ξ > 0. Let us now show the converse inequality. Using the Coarea formula we can write cosh ξ B /2 h d dh = log/ h 2γ /2 0 cos ξ rθ S r logr 2γ dhd θ dr. d It is elementary to see that, there exists a positive constant C d, depending only on d, such that for every ξ R d and every r > 0 with r ξ it holds S d cos ξ rθ dh d θ C d. Thus, cosh ξ B /2 h d dh log/ h 2γ /2 / ξ d /2 / ξ Combining the above inequalities, we get 8. The proof is complete. 2.2 Sobolev and interpolation inequalities cos ξ rθ S r logr 2γ dhd θ dr d r logr 2γ dr d,γ log ξ γ. In this section we present a new estimate, that could be seen as a log-sobolev Embedding, introducing a technique that allow us to get a new simple proof of the well-known fraction-sobolev embedding see Proposition 2.5. The main result of this section is the following. Theorem 2.4. Let p > 0 and γ > 0 fixed. For any f L p R d it holds pγ fx p fx log + 2 p,γ fx p fx + h fx + f L p R d B/3 p h d dh, 9 log/ h pγ 4

5 for L d -a.e. every x R d. In particular the following log-sobolev inequality holds true for any f X γ,p, pγ fx p fx log + 2 dx p,γ f p Xγ,p. 0 R f d Lp R d Proof. We may assume without loss of generality that f L p =. Clearly it is enough to show fx p log fx pγ p,γ fx p + fx + h fx B/3 p h d dh, log/ h pγ for L d -a.e. x { z R d : fz > C p,γ }, where C p,γ > 0 is a fixed constant depending only on p and γ. For any t 0, /6, using the assumption f L p = we get fx p = fx p dh t /d < h <2t /d p fx + h p dh + fx + h fx p dh t /d < h <2t /d t /d < h <2t /d p t + t t /d < h <2t /d fx + h fx p dh. Here the constant does not depend on dimension d since L d B 2 /d L d B L d B L d [0, ] d =. Let us now fix 0 < λ < /6. We integrate the inequality above against a suitable kernel from λ to /6 obtaining fx p pγ log/λpγ log6 pγ = fx p /6 p /2 λ λ t log/t pγ dt t 2 dt + log/t pγ p λ log/λ pγ + so, rearranging the terms, we end up with /6 fx p C p,γ λ log/λ pγ p,γ fx p + λ t/d< h <2t/d fx + h fx p t logt pγ dh dt t fx + h fx B/3 p h d dh, log/ h pγ fx + h fx B/3 p h d dh, log/ h pγ for any 0 < λ < /6 and for L d a.e. x R d. Eventually we can choose λ = 2C p,γ / fx p when x { z R d : fz p > 2C p,γ } and immediately follows. The proof is complete. The just explained strategy could be applied also to the case of fractional Sobolev spaces obtaining the following result. Proposition 2.5. Let us fix s 0, and p 0, d/s. We set p := the following point-wise inequality holds true fx p p,d,s f p p L p In particular we deduce the well-known Sobolev inequality dp d sp. For any f W s,p R d fx fy p R x y d+ps dy, for L d -a.e. x R d. 2 d f L p p,d,s f W s,p. 3 5

6 Proof. For any x R d and t > 0 we can write fx p = fx p dh p B 2t0\B t0 B 2t0\B t0 By mean of Hölder s inequality we get B 2tx\B tx ending up with fx p t +sp p,d f p L p t d+ + t +sp fx + h fx p dh + fh p dh. B 2tx\B tx fh p dh d f p L p t d sp, B 2t0\B t0 fx + h fx p dh. 4 Let us fix a parameter λ > 0. Integrating 4 with respect to t between λ and we get fx p λ sp C p,d,s f p Rd L p λ d fx fy p p,d,s x y d+ps dy. Choosing λ such that λ d sp f L p p = 2C d,p,s fx we get 2. Integrating 2 with respect x over R d we get 3. Some remarks are in order. Remark 2.6. The estimate 9 could be improved in the following way: for any γ > 0, p > 0 and every f L p, R d it holds pγ fx fx p log + 2 p,γ fx p fx + h fx + f L p, B/3 p h d dh, 5 log/ h pγ for L d -a.e. every x R d. Let us explain how to modify the proof of 9 to get 5. We first assume p > and we use the inequality fx dx p L d E /p f L p,, E Borel subset of R d, obtaining E fx fx + h dh + fx + h fx dh t /d < h <2t /d t /d < h <2t /d /p /p p t f L + fx + h fx p dh. p, t t /d < h <2t /d The proof of 5 is achieved arguing exactly as in the proof of 9. We finally extend 5 to every p 0, ] by mean of the elementary inequality a α b α α a b α, for any a, b > 0 and α 0, ], see [DDN8, Theorem 2.4]. Remark 2.7. It is worth to remark that 0 and 9 are dimension free, namely the constant does not depends on d. 6

7 Let us now show the sharpness of 0 and thus of 9. We prove that [ Br0] X γ,p p,γ r d log/r pγ, 6 for any 0 < r < /6. Thus the function Br saturates 0. It is enough to show the inequality in 6, since the converse is guaranteed by 0. Observe that [ Br0] X γ,p =2 x y </3 B r0 R d \B r0 x y d dy dx log/ x y pγ =2 y d dy dx. log/ y pγ B /3 0\B rx B r0 B /3 0\B rx Take x B r 0, exploiting the inclusion B0, r x Bx, r we deduce y d dy log/ y pγ y d dy log/ y pγ thus [ Br0] X γ,p p,γ B r0 B /3 0\B r x 0 p,γ log/r x pγ, r log/r x pγ dx d,p,γ ε d log/ε pγ dε d,p,γ r d log/r pγ. The function Br0 is a very natural candidate to show the sharpness of 0, since in general this class of results are very related to the isoperimetric inequality. However, it is worth to mention that a notion of logarithmic perimeter of order γ > 0 of a set can be obtained writing LP γ E := [ E ] X γ,. We expect that balls are the only minimizers of LP γ as happens in the classical and fractional case see for instance [FMM], but we do not investigate this problem here. The last result we present in this section is an interpolation inequality between spaces L p R d, X γ,p and W s,p. Proposition 2.8. Let p > 0, s 0, and γ > 0 be fixed. For any f L p R d we have [f] X γ,p p,s,γ f L p log 2 + f γ W s,p. 7 f L p Proof. Assume without loss of generality f L p =. Let λ 0, /3 be fixed, we have [f] p Xγ,p = Rd fx + h fx p B λ 0 h d dx dh + log/ h pγ λ ps log/λ pγ [f]p W + s,p 2p f p L p d,p,γ 0 B /3 0\B λ 0 B /3 0\B λ 0 Rd fx + h fx p h d dx dh log/ h pγ h d dh log/ h pγ λ ps log/λ pγ [f]p W + s,p log/λ pγ p,γ log/λ pγ λ ps [f] p W s,p +. When [f] W s,p 3 s we can plug λ = [f] /s W s,p to the previous expression, otherwise we set λ = /3, obtaining [f] L p p,s,γ log 2 + f W s,p γ, that is our thesis. Remark 2.9. In the particular case p = 2 the just stated result 7 could be achieved using the Jensen inequality and the characterization of X γ,2 by mean of Fourier transform see Theorem

8 2.3 Lusin s estimate It is well-known that a quantitative Lusin s approximation property see [Liu], [AFP00] characterizes Sobolev spaces, even in the very abstract setting of measure metric spaces see for instance [ABT7]. In this section we study this approximation property for X γ,p functions. Let us introduce the following notation. For any f X γ,p we define L γ,p fx := /p fx + h fx p B /3 h d dh x R d, log/ h pγ it follows that L γ,p f L p with f L p = [f] X γ,p. The main result of the section is the following. Theorem 2.0. Let p > 0 and γ > 0 be fixed. For any f X γ,p there holds fx fy d,p,γ log/ x y γ L γ,p fx + L γ,p fy, 8 for any x, y R d such that x y < 36. Lemma 2.. Let p > 0, x, y R d be fixed. For any f L p there holds fx fy p d,p fx + h fx p dh + fy + h fy p dh, 9 for any r 2 x y. Proof. Let us estimate fx fy p = B 3r0\B r0 B 5r/2 0\B 3r/2 0 p d B 5r/2 x\b 3r/2 x B 3r0\B r0 fx fy p dz fx fz p dz + fx + h fx p dh + B 3r0\B r0 B 5r/2 x\b 3r/2 x B 5r/2 x\b 3r/2 x Observe that B 5r/2 x \ B 3r/2 x B 3r y \ B r y for any r 2 x y, thus B 5r/2 x\b 3r/2 x the proof is complete. fz fy p dz d fy + h fy p dh, B 3r0\B r0 We are now ready to conclude the proof of Theorem 2.0. fz fy p dz fz fy p dz. Proof. We integrate both sides of 9 with respect to r against a suitable kernel and we get Observe that /3 fx fy p /3 2 x y 2 x y B 3r0\B r0 r log/r d,p /3 pγ dr 2 x y B 3r0\B r0 /3 + 2 x y B 3r0\B r0 fx + h fx p dr dh r log/r pγ fy + h fy p dr dh r log/r pγ. fx + h fx p dr dh r log/r pγ d,p,γ L γ,p fx p, 8

9 and that /3 2 x y dr = log r log/r pγ pγ 2 x y pγ log 6 x y pγ log3 pγ pγ 2 pγ log pγ, x y where in the last passage we have used x y 36. The proof is complete. The just described strategy could be used also to prove the standard Lusin s approximation result for W s,p functions with Hölder functions. Proposition 2.2. Let p and s 0, be fixed. For any f W s,p there holds fx fy d,s,p x y s D s,p fx + D s,p fy, x, y R d, where Rd fx + h fx p /p D s,p fx := L p R d. h d+ps Proof. As in the proof of Theorem 2.0, we integrate both sides of 9 with respect to r against a suitable kernel Kr, in this case we should consider Kr = r>2 x y r d+ps. Let us finaly state and prove a simple partial convers implication of Theorem 2.0. Proposition 2.3. Let p > 0 and γ > 0 be fixed. Let f L p R d satisfy fx fy log/ x y γ gx + gy, x, y R d, 20 for some g L p R d. Then f X α,p for any α < γ with estimate [f] p X α,p d pγ α g p L p. Proof. Let us fix 0 < α < γ, we estimate [f] p Xα,p = B /3 h d log/ h pα pλ p L d { x : fx + h fx > λ } dλ dh 0 B /3 h d log/ h pα pλ p L d { x : gx + gx + h > λ log/ h γ } dλ dh, 0 changing variables according to λ log/ h γ = t we get [f] X α,p pt p L d { x : gx + gx + h > t } dt dh B /3 h d log/ h pα γ 0 B /3 h d log/ h dh pα γ g p L p d pγ α g p L. p The proof is complete. In order to get a complete characterization of X γ,p in term of the Lusin s inequality 8 we need to assume something more than the integrability condition g L p. We do not porsue here this point. 9

10 3 The space N s,p The aim of this section is to present and study another class of functions with a derivative of logarithmic order. This class comes up naturally in the study of regularity of Lagrangian flows associated to Sobolev vector fields, see [CDL08]. Definition 3.. Let p and s 0, ] be fixed. We say that a function f L p loc Rd belongs to N s,p if there exists a positive function g L p R d such that fx fy x y s exp {gx + gy}, x, y R d. 2 We set [f] N p := inf{ g L p} where the infimum runs over all possible g satisfying 2. The [ ] N,p in general is not a semi-norm. It satisfies the triangle inequality and [λf] N s,p λ [f] N s,p, 22 as it can be seen using the elementary identity e t = n tn n!, t R. But in general in 22 the inequality is strict. For any f L p loc Rd let us define the functional Φ sfx := sup r>0 B rx log + fx fy r s dy. 23 Roughly speaking it can be seen as a discrete fractional logarithmic Dirichlet s energy. The aim of the next proposition is to link the condition 2 to integrability properties of the function Φ s f. Proposition 3.2. Let p > and f L p loc Rd be fixed. Then, f N s,p if and only if Φ s f Lp R d and it holds [f] N s,p d,p Φ s f L p. 24 Proof. For any f N s,p it is immediate to see that Φ sf 2Mg, where M is the Hardy-Littlewood maximal function. Thus we get Φ sf L p d,p g L p, 25 thanks to the boundedness of M in L p see [ST]. In order to achieve the proof of 24 it remain to show the converse of 25. For any x, y R d let us set r = x y, we get log + fx fy r s = B rx B rx log + log + Φ sfx + log B rx log B rx fx fy r s fx fz r s + dz dz + fz fy r s B rx dz, log + to estimate the last term it is enough to observe that Bx, r By, 2r, obtaining + dz d Φ sfy. Thus we end up with log + fz fy r s fx fy x y s d Φ s fx + Φ s fy, that implies [f] N s,p d Φ s fy L p, and thus 24. The proof is complete. fz fy r s dz Let us point out that the implication Φ s f Lp R d = f N s,p in the case s = was used in [CDL08] to prove a regularity result for Lagrangian flows. Two remarks are in order. 0

11 Remark 3.3. The assumption p > in Proposition 3.2 plays a role only in the implication f N s,p = Φ s f Lp R d. Indeed in the case p = only the weaker implication f N s, = Φ sf L, R d is available. Remark 3.4. For any f L p R d and q let us consider the functional Φ s,qfx := sup r>0 B rx log + It is immediate to see that Φ s,q f L p/q d,p g q Lp, when q < p, and Φ s,p f L, d,p g p L p. Let us recall the definition of weak differentiability. q fx fy r s dy. 26 Definition 3.5. We say that a function f L 0 R d is weakly differentiable at a point x R d if there exists a linear map L : R d R such that the sequence of functions for r 0, locally in measure. More precisely lim r 0 B R fx + ry fx Lry r y fx + ry fx Lry r y for any 0 < R <. We shall denote Ly := fx y. 0, dy = 0, It is well-known that a function f L 0 R d is weakly differentiable al L d -a.e. x R d if and only if it can be approximate with a Lipschitz function in the Lusin s sense. That is to say for any ε > 0 there exists a Lipschitz function g : R d R such that L d { f g } < ε. See [Fe] for a good reference on this topic. The aim of our next proposition is to study the weakly differentiability property of a function f N,p in a quantitative manner. Precisely we have the following. Proposition 3.6. Every f N,p is weakly differentiable at L d -a.e. point. Denoting by f its weak differential we have the following i R d log + f p dx [f] p N,p ; ii for L d -a.e. x R d there holds lim r 0 B log + r0 p fx + y fx fx y dy = 0. y Proof. It is straightforward to see that f is weakly differentiable see discussion below. For any constant M > 0 we have fx + ry fx log + M dy Φ r y fx, B 0 recalling that y fx+ry fx r y we deduce log+ fx y/ y M dy = lim B 0 converges locally in measure to fx y/ y for L d -a.e. y R d r 0 B 0 fx + ry fx log + M dy Φ r y fx, 27

12 for L d -a.e. x R d. It is immediate to deduce i from 27 and Proposition 3.2. Let us pass to the proof of ii. First of all let us consider an increasing convex function Ψ such that and Ψt lim =, t t R d Ψgx p dx <, it exists thanks to the well-known Dunford-Pettis lemma, see [AFP00]. We can also assume that t Ψt t is increasing. Setting sup r>0 B 0 f r y = fx + ry fx fx ry, r y and using the very definition of N,p we get Ψlog + f r y p dy Ψ Ψgx + ry + gx p dy + Ψlog + fx p B 0 Ψ M Ψg p x + Ψlog + fx p, thus it is finite for L d -a.e. x R d thanks to the, weak estimate for the maximal function. thus it is enough to prove that ii holds for every x R d such that Ψlog + f r y p dy =: T <. 28 sup r>0 B 0 Let us fix a parameter 0 < λ < /2, using the Jensen inequality we get B r0 = d + d log + B 0 p fx + y fx fx y dy y log + f r y p dy B { f r>λ } B { f r λ } log + f r y p dy + log + f r y p dy B { λ<f r<λ } log + f r y p dy log + λ p Ψ log + λ p T + log + λ p L d B {f r > λ} + log + λ p. Taking first the limit for r 0 and after λ 0 we get the sought conclusion since f r 0 locally in measure. Remark 3.7. It is natural to wonder if the statement of Proposition 3.6 has a converse, or if some quantitative version of the weakly differentiability at L d -a.e. almost every point could guaranteed the property 2. The answer is negative, indeed for any p [, it is possible to built a function f L p R d that is weakly differentiable almost everywhere with f = 0 but does not belong in N,q for any q. Let us illustrate how to built such example. Let us fix an integer M > 0. It is enough to built a function f supported on the set [0, ] R d that is weakly differentiable with f = 0 L -a.e., f L = and [f] N, cm, where c does not depend on f. Let us define fx = k K/M,K+/M] x x [0, ]. M k=0 2

13 It is trivial to see that f L = and f is differentiable at every point out side a finite set with derivative equal to zero. Let us show that [f] N, cm. Take any g realizing the identity in 2, we have gx i/m,i+/m] x + gy j/m,j+/m] y log + 2/ x y, 29 for any i even and j odd. Summing up in 29 we get the inequality gx + gy M 2 log + 2/ x y, that integrated over [0, ] [0, ] trivially implies our thesis. The last result of this section concerns with a link between the spaces X γ,p and N s,p. A version of this result was crucial in our previous paper [BrNg8] to study a sharp regularity for the continuity equation associated to a divergence-free Sobolev drift. Theorem 3.8. Let p and s 0, ] be fixed. For any f satisfying 2 the following estimate holds true Rd fx + h fx q h d log/ h p dx dh s,p,d g p L + g q p L. 30 q B /3 In particular we have the continuous immersion for any s 0, ] and p. N s,p L R d X,p, Proof. By 2, we can write Rd fx + h fx q B /e h d log/ h p dx dh qλ q L d {x : h s exp {gx + h + gx} > λ} dλ B /e 0 h d log/ h / h s = qλ q L d {x : exp {gx + h + gx} > λ} dλ h d sq log/ h B /e 0 Note that for 0 < λ < 2, one has Thus, B /e + L d {x : exp {gx + h + gx} > λ} L d {x : 4gx + h + gx > λ} Rd fx + h fx q h d log/ h p dx dh 2 B /e 0 / h s B /e 2 p,d,s,q 0 p,d,s,q g q L q + 2qλ q L d {x : 8gx > λ} dλ h d sq log/ h 2L d {x : 8gx > λ}. p dh qλ q L d {x : exp {gx + h + gx} > λ} dλ h d sq log/ h / h s qλ q L d {g > λ} dλ + 2 [ h s </λ B /e 2 h d sq dh log/ h p p dh p dh p dh. λ q L d {g > 2 logλ} dλ h d sq log/ h ] λ q L q {g > logλ} dλ. 2 p dh Since for λ > 2, h s </λ h d sq log/ h p dh p,d,s λ q logλ p, 3

14 we deduce B /e fx + h fx R h d dx dh log/ h p d p,d,s,q g q L q + λ logλ p L d {g > logλ} dλ 2 + p,d,s,q g q L λ p L d {g > λ} dλ, q which implies 30. The proof is complete. Let us finally remark that 30 could not be improved in the following way Rd fx + h fx q h d log/ h p dx dh p,q,d g p L + g q p L f β q L, 3 α B /3 for some α, β > 0. Indeed, using 22 and applying a scaling argument we get β < β+min{p, q} q. Moreover, exploiting the elementary inequality λe a e λε C εa, for any a 0 and λ > we obtain that [λf] q N C ελ qε [f] q s,q Xs,q for any s 0, ] when λ >. Plugging λf and the just mentioned estimate in 3 we deduce β q. References [Adam75] Adams, R. A: Sobolev Spaces, Academic Press, New York, 975. [ABT7] L. Ambrosio, E. Brué, D. Trevisan: Lusin-type approximation of Sobolev by Lipschitz functions, in Gaussian and RCDK, spaces, ArXiv preprint: [AFP00] L. Ambrosio, N. Fusco, D. Pallara: Functions of bounded variation and free discontinuity problems, The Clarendon Press, Oxford University Press, New York, [A04] [BJ5] L. Ambrosio: Transport equation and Cauchy problem for BV vector fields, Invent. Mat., 58, 2004, D. Bresch and P.-E. Jabin: Global Existence of Weak Solutions for Compresssible Navier-Stokes equations: Thermodynamically unstable pressure and anisotropic viscous stress tensor, to appear in Annals of Math. [BrNg8] E. Brué, Q.H. Nguyen: Sharp regularity estimates for solutions of the continuity equation drifted by Sobolev vector fields, arxiv: , submitted [CDL08] G. Crippa, C. De Lellis: Estimates and regularity results for the Di Perna-Lions flow, J. Reine Angew. Math., 66, 2008, [DDN8] N.A Dao, J.I Diaz, Q.H. Nguyen: Generalized Gagliardo-Nirenberg inequalities using Lorentz spaces and BMO, Nonlinear Analysis: Theory, Methods, Applications., 73, 208, [DPL89] R.J. DiPerna, P.L. Lions: Ordinary differential equations, transport theory and Sobolev spaces, Invent. Math., 98, 989, [Fe] H. Federer: Geometric Measure Theory. Springer, 969. [FMM] N. Fusco, V. Millot, M. Morini:, A quantitative isoperimetric inequality for fractional perimeters, J. Funct. Anal. 26, 20, 3, [He] J. Heinonen: Nonsmooth calculus. Bull. Amer. Math. Soc., ,

15 [LF6] L. Flavien: A new approach to bounds on mixing, Mathematical Models and Methods in Applied Sciences, 04, 206 [Liu] F.C. Liu: A Lusin type property of Sobolev functions. Indiana Univ. Math. J., , [Nguyen] Q.H. Nguyen: Quantitative estimates for regular Lagrangian flows with BV vector fields, ArXiv: , submitted. [ST] E. Stein: Singular integrals and differentiability properties of functions, Princeton University Press,