{"id":93,"date":"2015-11-16T21:19:33","date_gmt":"2015-11-16T13:19:33","guid":{"rendered":"http:\/\/blog.vanabel.info\/?p=93"},"modified":"2016-12-07T03:31:16","modified_gmt":"2016-12-07T03:31:16","slug":"log-xin-bmorrde-yan-zheng","status":"publish","type":"post","link":"https:\/\/blog.vanabel.cn\/?p=93","title":{"rendered":"$\\log x\\in BMO(\\RR^+)$\u7684\u9a8c\u8bc1"},"content":{"rendered":"<p>\u660e\u663e$L^\\infty\\subset BMO$, \u4e3a\u4e86\u8bf4\u660e\u53cd\u4e4b\u4e0d\u4e00\u5b9a\u6210\u7acb, \u6211\u4eec\u9a8c\u8bc1$u(x)=\\log(x)$, $x\\in(0,+\\infty)$\u662f\u5c5e\u4e8eBMO\u7684.<\/p>\n<p>\u6309\u7167BMO\u7a7a\u95f4\u7684\u5b9a\u4e49, \u9700\u8981\u8bc1\u660e<br \/>\n$$<br \/>\n[u]_{x,r}\\eqdef\\frac{1}{2r}\\int_{x-r}^{x+r}|u(y)-u_{x,r}|dy&lt; +\\infty,\\quad\\forall 0 &lt; r &lt; x. $$ \u8fd9\u91cc$u_{x,r}\\eqdef\\frac{1}{2r}\\int_{x-r}^{x+r}\\log ydy$.<br \/>\n<!--more--><\/p>\n<p>\u9996\u5148, \u6ce8\u610f\u5230, \u7531$\\log$\u7684\u6027\u8d28, \u5bf9$\\lambda&gt;0$,<br \/>\n\\begin{align*}<br \/>\nu_{\\lambda x,\\lambda r}&amp;=\\frac{1}{2\\lambda r}\\int_{\\lambda x-\\lambda r}^{\\lambda x+\\lambda r}\\log y dy\\\\<br \/>\n&amp;=\\frac{1}{2r}\\int_{x-r}^{x+r}(\\log y+\\log\\lambda )dy\\\\<br \/>\n&amp;=u_{x,r}+\\log\\lambda.<br \/>\n\\end{align*}<br \/>\n\u56e0\u6b64<br \/>\n\\begin{align*}<br \/>\n[u]_{\\lambda x,\\lambda r}&amp;=\\frac{1}{2\\lambda r}\\int_{\\lambda x-\\lambda r}^{\\lambda x+\\lambda r}|u(y)-u_{\\lambda x,\\lambda r}|dy\\\\<br \/>\n&amp;=\\frac{1}{2r}\\int_{x-r}^{x+r}|u(\\lambda y)-u_{x,r}-\\log\\lambda |dy\\\\<br \/>\n&amp;=[u]_{x,r}.<br \/>\n\\end{align*}<br \/>\n\u53ef\u89c1, \u6211\u4eec\u53ea\u9700\u8ba1\u7b97$\\sup_{x\\in(1,+\\infty)}[u]_{x,1}&lt;+\\infty$\u5373\u53ef.<\/p>\n<p>\u6ce8\u610f\u5230<br \/>\n\\begin{align*}<br \/>\nu_{y,1}&amp;=\\frac{1}{2}\\int_{y-1}^{y+1}\\log ydy<br \/>\n=\\frac{1}{2}(x\\log x-x)|_{y-1}^{y+1}\\\\<br \/>\n&amp;=1+\\frac{1}{2}\\log(y^2-1)+\\frac{1}{2}y\\log\\frac{y+1}{y-1},<br \/>\n\\end{align*}<br \/>\n\u6bd4\u8f83\u590d\u6742. \u6211\u4eec\u9700\u8981\u5982\u4e0b\u5f15\u7406<br \/>\n<div class='latex_lem'><span class='latex_lem_h'>\u5f15\u7406 1<\/span><span class='latex_lem_h'>.<\/span> \u5047\u8bbe$f\\in L^1(\\Omega)$, \u5176\u4e2d$\\Omega\\subset\\RR^n$\u662f\u4e00\u4e2a\u533a\u57df, \u5219$f\\in BMO$\u5f53\u4e14\u4ec5\u5f53\u5b58\u5728\u5e38\u6570$C&gt;0$, \u4f7f\u5f97\u5bf9\u6240\u6709$Q\\subset\\Omega$, \u5b58\u5728\u4f9d\u8d56\u4e8e$Q$\u7684\u5e38\u6570$c_Q$,<br \/>\n$$<br \/>\n\\sup_{Q\\subset\\Omega}\\frac{1}{|Q|}\\int_Q|f(x)-c_Q|dx\\leq C.<br \/>\n$$<br \/>\n<\/div><br \/>\n<div class='latex_proof'><span class='latex_proof_h'>\u8bc1\u660e<\/span><span class='latex_proof_h'>.<\/span> \u56de\u5fc6, \u6309\u5b9a\u4e49$f\\in BMO(\\Omega)$\u5f53\u4e14\u4ec5\u5f53<br \/>\n$$<br \/>\n[f]_{BMO;\\Omega}\\eqdef\\sup_{Q\\subset\\Omega}\\frac{1}{|Q|}\\int_Q|f(x)-f_{Q}|dx,<br \/>\n$$<br \/>\n\u5176\u4e2d<br \/>\n$$<br \/>\nf_Q=\\frac{1}{|Q|}\\int_Qf(x)dx.<br \/>\n$$<br \/>\n\u73b0\u5728, \u53ea\u9700\u6ce8\u610f\u5230<br \/>\n\\begin{align*}<br \/>\n|f(x)-f_{Q}|&amp;\\leq|f(x)-c_Q|+|c_Q-f_Q|\\\\<br \/>\n&amp;\\leq|f(x)-c_Q|+\\frac{1}{|Q|}\\int_Q|f(x)-c_Q|dx\\\\<br \/>\n&amp;\\leq|f(x)-c_Q|+C.<br \/>\n\\end{align*}<br \/>\n\u7531\u6b64, \u5bb9\u6613\u5f97\u5230<br \/>\n$$<br \/>\n[f]_{BMO;\\Omega}\\leq 2C.<br \/>\n$$<br \/>\n\u53e6\u4e00\u65b9\u5411\u662f\u5bb9\u6613\u7684.<br \/>\n<\/div><br \/>\n\u5229\u7528\u4e0a\u8ff0\u5f15\u7406, \u5bf9$Q=(x-1,x+1)$, \u5f53$x\\geq2$\u65f6, \u4ee4$c_Q=\\log x$, \u5219<br \/>\n\\begin{align*}<br \/>\n\\frac{1}{2}\\int_{x-1}^{x+1}|\\log y-\\log x|dy&amp;=\\frac{1}{2}x\\int_{1-1\/x}^{1+1\/x}|\\log z|dz\\\\<br \/>\n&amp;\\leq\\frac{1}{2}x(\\log 2)\\frac{2}{x}=\\log2;<br \/>\n\\end{align*}<br \/>\n\u800c\u5f53$x\\in(1,2)$\u65f6, \u4ee4$c_Q=0$, \u5219<br \/>\n\\begin{align*}<br \/>\n\\frac{1}{2}\\int_{x-1}^{x+1}|\\log y|dy&amp;\\leq\\int_{0}^3|\\log y|dy=3(\\log 3-1).<br \/>\n\\end{align*}<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u660e\u663e$L^\\infty\\subset BMO$, \u4e3a\u4e86\u8bf4\u660e\u53cd\u4e4b\u4e0d\u4e00\u5b9a\u6210\u7acb, \u6211\u4eec\u9a8c\u8bc1$u(x)=\\log(x)&hellip; <a class=\"more-link\" href=\"https:\/\/blog.vanabel.cn\/?p=93\">\u7ee7\u7eed\u9605\u8bfb<span class=\"screen-reader-text\">$\\log x\\in BMO(\\RR^+)$\u7684\u9a8c\u8bc1<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[2],"tags":[5,24],"class_list":["post-93","post","type-post","status-publish","format-standard","hentry","category-math","tag-bmo","tag-24","entry"],"_links":{"self":[{"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/93","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=93"}],"version-history":[{"count":1,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/93\/revisions"}],"predecessor-version":[{"id":269,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/93\/revisions\/269"}],"wp:attachment":[{"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=93"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=93"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=93"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}