arxiv: v1 [math.ap] 11 Nov 2016

Size: px

Start display at page:

Download "arxiv: v1 [math.ap] 11 Nov 2016"

Sandra Chapman
6 years ago
Views:

1 axiv:6.358v [math.ap] Nov 6 Remaks on the Hady type inequalities with emainde tems in the famewok of equalities Abstact. Shuji Machihaa, Tohu Ozawa, and Hidemitsu Wadade Dedicated to Pofesso Nakao Hayashi on the occasion of his sitieth bithday We study the Hady type inequalities in the famewok of equalities. We pesent equalities which immediately imply Hady type inequalities by dopping the emainde tem. Simultaneously we give a chaacteization of the class of functions which makes the emainde tem vanish. A point of ou obsevation is to apply an othogonality popeties in geneal Hilbet space, and which gives a simple and diect undestanding of the Hady type inequalities as well as the noneistence of nontivial etemizes.. Intoduction and the main esults Let Ω be a domain in R n with n 3 and assume Ω. The classical Hady inequality states that the inequality.) ) n Ω f d f d Ω holds fo all f H Ω), whee the constant ) n is best-possible. It is also well-known that the inequality.) admits no nontivial etemizes, and this fact implies a possibility fo.) to be impoved by adding some emainde tems. In fact, the authos in [9] poved that the following impoved Hady inequality.) ) n Ω f d+λ f d f d Ω Ω holdsfo all f H Ω) povidedthat Ω is bounded, whee the constant Λin.) is given by Λ Λn,Ω) z ω n Ω n, and ω n and Ω denote the Lebesgue measues of the unit ball and Ω on R n, espectively, and the absolute constant z denotes the fist zeo of the Bessel function J z). The constant Λ is optimal if Ω is a ball, but still the inequality.) admits no nontivial etemizes. Moe geneally, the authos in [9] obtained the inequality ) n Ω f ) d+ Λ f p p d f d Ω Ω Mathematics Subject Classification. 6D, 46E35. Key wods and phases. Hady type inequalities, logaithmic Hady inequality.

2 S. Machihaa, T. Ozawa, and H. Wadade fo f H n Ω), whee < p < n and Λ is a positive constant independent of u. Simila impovements have been done fo the Hady inequality not only in the L -setting but in L p -setting with some emainde tems, see fo instance [3, 7, 8,, 35]. Hady type inequalities ae known as useful mathematical tools in vaious fields such as eal analysis, functional analysis, pobability and patial diffeential equations. In fact, Hady type inequalities and thei impovements ae applied in many contets. Fo instance, Hady type inequalities wee utilized in investigating the stability of solutions of semi-linea elliptic and paabolic equations in [9, ]. As fo the eistence and asymptotic behavio of solutions of the heat equation involving singula potentials, see [, 35]. Among othes we efe to [, 5, 6, 8, 7, 3] fo the concete applications of Hady type inequalities. We also efe to [3, 33] fo a compehensive undestanding of Hady type inequalities. Based on the histoical emaks on the Hady type inequalities, ou pupose in this pape is to establish the classical Hady inequalities in the fame wok of equalities which immediately imply the Hady inequalities by dopping the emainde tems. At the same time, those equalities chaacteize the fom of the vanishing emainde tems. Ou method on the basis of equalities pesumably povides a simple and diect undestanding of the Hady type inequalities as well as the noneistence of nontivial etemizes. In what follows, we always assume Ω R n and the standad L R n ) nom is denoted by. Then the Hady type inequalities in L -setting that we discuss in this pape ae the following: f n f.3), n 3, f f R sup R> n log R n f.4), n, p.5) d p) p+ f) d, p.6) d p) p+ f) d, ) whee f R ) f R and p >. The inequalities.3),.5), and.6) ae standad see [9] fo instance), while.4) is athe new see [8, 3]). In addition, as we noticed in [3], the logaithmic Hady inequality.4) has a scaling popety. We state ou main theoems. We denote by the adial deivative defined by n j j j. The space D, R n ) denotes the completion of C R n ) unde the Diichlet nom. Also the notation S n denotes the unit sphee in R n endowed with the Lebesgue measue σ. Ou fist theoem now eads: Theoem. Let n 3. Then the equalities ) n f f f + n f.7).8) f n n f)

3 Hady type inequalities 3 hold fo all f D, R n ). Moeove, the second tem in the ight hand side of.7) o.8) vanishes if and only if f takes the fom ).9) f) n ϕ fo some function ϕ : S n C, which makes the left hand side of.7) infinite unless S n ϕω) dσω) :.) f ϕ ) n / L R n ). We emak that as in.), functions of the fom.9) imply the noneistence of nontivial etemizes fo.3). The coesponding integal diveges at both oigin and infinity. A simila esult to Theoem can be found in [6, 5]. Howeve, the essential ideas fo the poofs ae diffeent. Indeed, the poof in [6] is done by diect calculations with espect to the quotient with the optimize of a Hady type inequality. On the othe hand, we shall pove Theoem by applying an othogonality agument in geneal Hilbet space settings. Moe pecisely, an equality.) ) n f f n f + f has been obseved in [6, 5]. We should emak that.7) and.) ae the same fo adially symmetic functions and ae not the same fo nonadial functions. In fact, the Diichlet integal is decomposed into adial and spheical components as n f f + j ) j f. j Net, we state the logaithmic Hady type equalities in the citical weighted Sobolev spaces..).3) Theoem. Let n. Then the equalities 4 f f R n log R n f n f ) n f + f f R log R log R n f f R log R hold fo all R > and all f L loc Rn ) with f L R n ), whee f n R is ) defined by f R ) f R. Moeove, the second tem in the ight hand side of.) o.3) vanishes if and only if f f R takes the fom.4) f) f R ) log R ) ϕ

4 4 S. Machihaa, T. Ozawa, and H. Wadade fo some function ϕ : S n C, which makes the left hand side of.) infinite unless S n ϕω) dσω) :.5) f f R ϕ ) log n R log n R / L R n ). As in.5), functions of the fom.4) imply the noneistence of nontivial etemizes fo.4). The coesponding integal diveges at both oigin and infinity and, in addition, on the sphee of adius R >. The final theoem in this pape is one-dimensional Hady type equalities stated as follows..6).7) Theoem 3. Let n and p >. Then: ) The equalities p ) p+ d p+ f) d p+ f) p d p+ f) d d ) p d d hold fo all f L loc, ) with p+ f L, ). Moeove, the second tem in the ight hand side of.6) vanishes if and only if c p fo some c C, which makes the left hand side of.6) infinite unless c : p+ c / L, ). ) The equalities p ) p+ d p+ f) d p+ f) p d p+ f) d d ) p d d hold fo all f L loc, ) with p+ f L, ). Moeove, the second tem in the ight hand side of.7) vanishes if and only if c p

5 Hady type inequalities 5 fo some c C, which makes the left hand side of.7) infinite unless c : p+ c / L, ). In the ecent pape [6], the authos actually etended the equalities in Theoem with n in L n R n )-settings. Howeve, we shall e-pove Theoem in this pape in ode to compae the sub-citical case, the citical case and the one-dimensional case coesponding to Theoem, Theoem and Theoem 3, espectively. The poofs of all theoems in this pape is essentially based on othogonality in geneal Hilbet space settings. Theefoe, thee would be a possibility to establish othe equalities on the functional spaces equipped with the Hilbet stuctue by applying ou method. Concening elated efeences to Hady type inequalities, we also efe to [9], [], [4], [] and [3]. Indeed, when a function f is adially symmetic on the unit ball at the oigin, the coesponding inequality to.7) o.8) was obtained by [9, p.454]. In [], authos established the Hady inequalities with emainde tems on bounded domains by utilizing the agument used in [9]. The papes [], [4] and [3] poposed simple poofs of classical Hady, Rellich and Caffaelli- Kohn-Nienbeg inequalities. We study the Hady type inequalities in a diffeent pespective fom those papes above in the sense that we deive the inequalities fom equalities. We pove Theoems - 3 in subsequent sections. Fo simplicity, we pove the theoems fo f C Rn ;C). The poofs ae completed by density see [8, 3]). The main idea of the poofs is given by the following othogonality lemma. Lemma.. Let X be a scala poduct space with scala poduct ). Let c >. Then the following statements ae equivalent. ) The equality.8) u creu v) holds fo all u,v X. ) The equality.9) u 4c v u+cv holds fo all u,v X. Poof. The lemma follows by anothe equivalent equality:.) Reu u+cv). The standad poof of Hady inequality is based on the inequality.) u c u v Q.E.D.

6 6 S. Machihaa, T. Ozawa, and H. Wadade by the Cauchy-Schwaz inequality applied to.8). In this pape, we egad.8) as the othogonality elation.) of u and u+cv and then we egad cv as a diffeence: cv u+cv) u. The equality.9) gives an eplicit condition fo the case of equality in.). Thee ae many papes on the Hady type inequalities and elated subjects. We efe the eades to [] [34] and efeences theein.. Poof of Theoem We intoduce pola coodinates,ω), ), ) Sn and we wite the integal on the left hand side of.7) as Rn f) d n 3 S n fω) dσω)d n Re n fω)ω fω)dσω)d S n n Re f) R f)d, n whee we have caied out integation by pats in the adial vaiable. By Lemma. with c n,u f, and v f, in the Hilbet space L R n ), we obtain.7) as.9). By a diect calculation,.8) follows fom.7). The emainde tems vanish if and only if n f), namely, n f is a function on the sphee. This completes the poof of Theoem. 3. Poof of Theoem Let R >. In the same way as in the poof of Theoem, we calculate <R R f) f R ) ) d n log R ) log R fω) frω) S dσω)d n R Re log R fω) frω))ω fω)dσω)d S n f) f R ) f) Re <R n log R n d, whee we have caied out integation by pats in and the contibution on the bounday vanishes since log R R dt t R R R R and 3.) fω) frω) f R ).

7 Hady type inequalities 7 By Lemma. with c,u f fr, and v f, in the Hilbet space n log R n L B;R)), whee B;R) { R n ; < R}, we obtain 3.) f f R n log R n 4 L B;R)) f + f f R log R f n ) L B;R)) L B;R)). Similaly, we obtain >R f) f R ) ) d n log R R ) log R fω) frω) S dσω)d n Re R log R fω) frω))ω fω)dσω)d S n f) f R ) f) Re >R n log R n d, whee the contibution on the bounday vanishes due to 3.) and log R log R R dt t R R R R. In the same way as in the deivation of 3.), we obtain 3.3) f f R n log R n 4 L R n \B;R)) f + f f R log R f n ) L R n \B;R)) L R n \B;R)). Then.) follows by adding both sides of 3.) and 3.3). By a diect calculation,.3) follows fom.), whee we notice that f R. The est of the statements follows in the same way as in the poof of Theoem.

8 8 S. Machihaa, T. Ozawa, and H. Wadade 4. Poof of Theoem 3 as The integal on the left hand side of.6) is ewitten by integation by pats p+ d p d p Re p f) p Re p+ d ) f)d. By Lemma. with c p,u, and v f, in the Hilbet space L, ; p+ d), we obtain.6) as.9). Similaly, the integal on the left hand side of.7) is ewitten as p+ d p d p Re p f) p Re p+ d ) f)d. By Lemma. with c p,u, and v f, in the Hilbet space L, ; p+ d), we obtain.7) as.9). The est of the statements follows by a diect calculation. Acknowledgement We ae gateful to the efeee fo his/he valuable comments. Refeences [] A. Ancona, On stong baies and an inequality of Hady fo domains in R n, J. London Math. Soc., ), [] A. Balinsky, W. D. Evans, D. Hundetmak and R. T. Lewis, On inequalities of Hady- Sobolev type, Banach J. Math. Anal., 8), [3] G. Babatis, S.Filippas and A. Tetikas, A unified appoach to impoved L p Hady inequalities with best constants, Tans. Am. Math. Soc., 356 4), [ 4] W. Beckne, Pitt s inequality and the factional Laplacian: shap eo estimates, Foum Math., 4 ), [5] K. Bogdan and B. Dyda, The best constant in a factional Hady inequality, Math. Nach., 84 ), [6] K. Bogdan, B. Dyda and P. Kim, Hady inequalities and non-eplosion esults fo semigoups, Potential Anal., 44 6), [ 7] H. Bezis and M. Macus, Hady s inequality evisited, Ann. Scuola. Nom. Sup. Pisa, 5 997), [ 8] H. Bezis, M. Macus and I. Shafi, Etemal functions fo Hady s inequality with weight, J. Funct. Anal., 7 ), 77 9.

9 Hady type inequalities 9 [ 9] H. Bezis and J. L. Vázquez, Blow-up solutions of some nonlinea elliptic poblems, Rev. Mat. Univ. Complut. Madid., 997), [] X. Cabé and Y. Matel, Eistence vesus eplosion instantanée pou des équations de la chaleu linéaies avec potential singulie, C. R. Acad. Sci. Pais Sé. I, ), [] X. Cabé and Y. Matel, Weak eigenfunctions fo the lineaization of etemal elliptic poblems, J. Funct. Anal., ), [] D. G. Costa, Some new and shot poofs fo a class of Caffaelli-Kohn-Nienbeg type inequalities, J. Math. Anal. Appl., 337 8), [3] E. B. Davies, A eview of Hady inequalities, Ope. Theoy Adv. Appl., 999), [4] Y. Di, L. Jiang, S. Shen and Y. Jin, A note on a class of Hady-Rellich type inequalities, J. Inequal. Appl., 3), 3:84. [5] J. Dolbeault and B. Volzone, Impoved Poincaé inequalities, Nonlinea Anal., 75 ), [6] B. Dyda, Factional calculus fo powe functions and eigenvalues of the factional Laplacian, Fact. Calc. Appl. Anal., 5 ), [7] S. Filippas and A. Tetikas, Optimizing impoved Hady inequalities, J. Funct. Anal., 9 ), [8] P. J. Fitzsimmons, Hady s inequality fo Diichlet foms, J. Math. Anal. Appl., 5 ), [9] G. B. Folland, Real analysis, Second edition, Pue and Applied Mathematics New Yok), John Wiley & Sons, Inc., New Yok, 999). [] R. Fank and R. Seiinge, Non-linea gound state epesentations and shap Hady inequalities, J. Funct. Anal., 55 8), [] F. Gazzola, H. C. Gunau and E. Mitidiei, Hady inequalities with optimal constants and emainde tems, Tans. Ame. Math. Soc., 356 3), [] N. Ghoussoub and A. Moadifam, Bessel pais and optimal Hady and Hady-Rellich inequalities, Math. Ann., 349 ), 57. [3] N. Ghoussoub and A. Moadifam, On the best possible emaining tem in the Hady inequality, Poc. Natl. Acad. Sci. USA, 35 8), [4] G. H. Hady, J. E. Littlewood and G. Pólya, Inequalities, Cambidge Univesity Pess, 95). [5] N. Ioku and M. Ishiwata, A scale invaiant fom of a citical Hady inequality, Int. Math. Res. Not. IMRN, 8 5), [6] N. Ioku, M. Ishiwata and T. Ozawa, Shap emainde of a citical Hady inequality, Ach. Math. Basel), 6 6), [7] A. Kalamajska and K. Pietuska-Paluba, On a vaiant of the Gagliado-Nienbeg inequality deduced fom the Hady inequality, Bull. Pol. Acad. Sci. Math., 59 ), [8] S. Machihaa, T. Ozawa and H. Wadade, Hady type inequalities on balls, Tohoku Math. J. ), 65 3), [9] S. Machihaa, T. Ozawa and H. Wadade, Genealizations of the logaithmic Hady inequality in citical Sobolev-Loentz spaces, J. Inequal. Appl., 3), 3:38. [3] S. Machihaa, T. Ozawa and H. Wadade, Scaling invaiant Hady inequalities of multiple logaithmic type on the whole space, J. Inequal. Appl., 5), 5:8. [3] V. Maz ya, Sobolev spaces with applications to elliptic patial diffeential equations, Spinge, Heidelbeg, ). [3] E. Mitidiei, A simple appoach to Hady inequalities, Mathematical notes, 67 ), [33] B. Opic and A. Kufne, Hady-type inequalities, Longman Scientific & Technical, 99).

10 S. Machihaa, T. Ozawa, and H. Wadade [34] F. Takahashi, A simple poof of Hady s inequality in a limiting case, Ach. Math. Basel)., 4 5), [35] J. L. Vazquez and E. Zuazua, The Hady inequality and the asymptotic behavio of the heat equation with and invese-squae potential, J. Funct. Anal., 73 ), S. Machihaa: Depatment of Mathematics, Faculty of Science, Saitama Univesity, Saitama , Japan addess: machiha@mail.saitama-u.ac.jp T. Ozawa: Depatment of Applied Physics, Waseda Univesity, Tokyo , Japan addess: tozawa@waseda.jp H. Wadade: Faculty of Mechanical Engineeing, Institute of Science and Engineeing, Kanazawa Univesity, Kanazawa, 9-9, Japan addess: wadade@se.kanazawa-u.ac.jp

SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF 2 2 OPERATOR MATRICES

italian jounal of pue and applied mathematics n. 35 015 (433 44) 433 SOME GENERAL NUMERICAL RADIUS INEQUALITIES FOR THE OFF-DIAGONAL PARTS OF OPERATOR MATRICES Watheq Bani-Domi Depatment of Mathematics