{"id":1588,"date":"2023-06-05T23:31:22","date_gmt":"2023-06-05T15:31:22","guid":{"rendered":"https:\/\/blog.vanabel.cn\/?p=1588"},"modified":"2023-06-06T17:34:27","modified_gmt":"2023-06-06T09:34:27","slug":"diaoheyingshedepohozaevhengdengshi","status":"publish","type":"post","link":"https:\/\/blog.vanabel.cn\/?p=1588","title":{"rendered":"\u8c03\u548c\u6620\u5c04\u7684Pohozaev\u6052\u7b49\u5f0f"},"content":{"rendered":"<p>$\\newcommand{\\div}{\\mathrm{div}\\,}$<br \/>\n\u6211\u4eec\u77e5\u9053\u8c03\u548c\u6620\u5c04\u7684\u65b9\u7a0b\u4e3a<br \/>\n$$<br \/>\n\\Delta u+A(u)(\\nabla u,\\nabla u)=0,<br \/>\n$$<br \/>\n\u5176\u4e2d$u:M^2\\to N$\u662f\u9ece\u66fc\u6d41\u5f62\u95f4\u7684\u6620\u5c04\u800c$A(u)$\u662f$N\\hookrightarrow \\mathbb{R}^n$\u5728$u$\u5904\u7684\u7b2c\u4e8c\u57fa\u672c\u5f62\u5f0f\u3002<\/p>\n<p>\u6211\u4eec\u5c06\u7528\u4e24\u79cd\u529e\u6cd5\u6765\u8bc1\u660e\u5982\u4e0b\u7684Pohozaev\u6052\u7b49\u5f0f\u3002<br \/>\n<div class='latex_thm'><span class='latex_thm_h'>\u5b9a\u7406 1<\/span> (<span class='latex_thm_name'>Pohozaev\u6052\u7b49\u5f0f<\/span>)<span class='latex_thm_h'>.<\/span> \u5047\u8bbe$u:M^2\\to N$\u662f\u5149\u6ed1\u8c03\u548c\u6620\u5c04\uff0c\u5219\u6709<br \/>\n  \\[<br \/>\n    \\int_{\\partial B_\\rho} \\lvert u_r \\rvert^2=\\int_{B_\\rho}r^{-2} \\lvert u_\\theta \\rvert^2.<br \/>\n  \\]<br \/>\n<\/div><br \/>\n<!--more--><br \/>\n<span class=\"latex_section\">1.&#x00A0;\u6781\u5750\u6807\u7cfb\u4e0b\u7684Pohozaev\u6052\u7b49\u5f0f<a id=\"sec:1\"><\/a><\/span>\n\n\u5c40\u90e8\u5730\uff0c\u82e5\u6709\u5750\u6807$(x,y)$, \u5219\u53ef\u4ee5\u8003\u5bdf\u6781\u5750\u6807<br \/>\n$$<br \/>\n\\begin{cases}<br \/>\n  x=r\\cos\\theta,\\\\<br \/>\n  y=r\\sin\\theta.<br \/>\n\\end{cases}<br \/>\n$$<br \/>\n\u5bb9\u6613\u77e5\u9053\uff0c<br \/>\n$$<br \/>\nds^2=dx^2+dy^2=dr^2+r^2d\\theta^2.<br \/>\n$$<br \/>\n\u5355\u4f4d\u5916\u6cd5\u5411\u91cf\u4e3a$\\nu=\\partial_r$. \u68af\u5ea6\u4e3a<br \/>\n\\[<br \/>\n  \\nabla u=\\partial_ru\\partial_r+r^{-2}\\partial_\\theta u\\partial_\\theta=u_r\\partial_r+r^{-1}u_\\theta\\partial_\\theta,<br \/>\n\\]<br \/>\n\u4ece\u800c<br \/>\n\\[<br \/>\n  \\lvert \\nabla u \\rvert^2= \\lvert \\partial_r u \\rvert^2+r^{-2} \\lvert \\partial_\\theta u \\rvert^2:= \\lvert u_r \\rvert^2+r^{-2} \\lvert u_\\theta \\rvert^2.<br \/>\n\\]<\/p>\n<p>\u73b0\u5728, \u6ce8\u610f\u5230$ru_r\\in \\Gamma(u^*TN)$, \u56e0\u6b64\u6211\u4eec\u5f97\u5230<br \/>\n\\begin{align*}<br \/>\n  0&#038;=\\int_{B_\\rho}ru_r\\cdot \\Delta u<br \/>\n  =\\int_{B_\\rho}\\div(ru_r\\cdot \\nabla u)-\\int_{B_\\rho}\\nabla(ru_r)\\cdot \\nabla u\\\\<br \/>\n   &#038;=\\int_{\\partial B_\\rho}ru_r\\cdot \\frac{\\partial u}{\\partial \\nu}-\\int_{B_\\rho}\\nabla(ru_r)\\cdot \\nabla u<br \/>\n   =\\int_{\\partial B_\\rho}r \\lvert u_r \\rvert^2-\\int_{B_\\rho}\\nabla(ru_r)\\cdot \\nabla u.<br \/>\n\\end{align*}<br \/>\n\u6ce8\u610f\u5230<br \/>\n\\begin{align*}<br \/>\n  \\nabla(r u_r)&#038;=\\partial_r(ru_r)\\partial_r+r^{-2}\\partial_\\theta(ru_r)<br \/>\n  =(u_r+r\\partial_r(u_r))\\partial_r+r\\cdot r^{-2}\\partial_\\theta (u_r)\\\\<br \/>\n\t       &#038;=u_r\\partial_r+r\\nabla u_r,\\\\<br \/>\n\t       r \\left\\langle \\nabla u_r,\\nabla u \\right\\rangle<br \/>\n\t       &#038;=r\\left( \\left\\langle u_r, u_{rr} \\right\\rangle+r^{-2} \\left\\langle u_\\theta, u_{r\\theta} \\right\\rangle \\right)\\\\<br \/>\n\t       \\frac{1}{2}r\\partial_r \\lvert \\nabla u \\rvert^2<br \/>\n\t       &#038;= \\frac{1}{2}r\\partial_r\\left( \\lvert u_r \\rvert^2+r^{-2} \\lvert u_\\theta \\rvert^2 \\right)\\\\<br \/>\n\t       &#038;=r\\left( \\left\\langle u_r, u_{rr} \\right\\rangle+r^{-2} \\left\\langle u_\\theta, u_{r\\theta} \\right\\rangle \\right)-r^{-2} \\lvert u_\\theta \\rvert^2\\\\<br \/>\n\t       &#038;=r \\left\\langle \\nabla u_r,\\nabla u \\right\\rangle-r^{-2} \\lvert u_\\theta \\rvert^2.<br \/>\n\\end{align*}<br \/>\n\u6545<br \/>\n\\begin{align*}<br \/>\n  \\nabla(ru_r)\\cdot \\nabla u&#038;= \\left\\langle u_r\\partial_r +r\\nabla u_r,\\nabla u \\right\\rangle<br \/>\n  = \\lvert u_r \\rvert^2+r \\left\\langle \\nabla u_r,\\nabla u \\right\\rangle\\\\<br \/>\n\t\t\t    &#038;= \\lvert u_r \\rvert^2+r^{-2} \\lvert u_\\theta \\rvert^2+ \\frac{1}{2}r\\partial_r \\lvert \\nabla u \\rvert^2\\\\<br \/>\n\t\t\t    &#038;= \\lvert \\nabla u \\rvert^2+ \\frac{1}{2}r\\partial_r \\lvert \\nabla u \\rvert^2,<br \/>\n\\end{align*}<br \/>\n\u4ece\u800c\uff0c\u6211\u4eec\u5f97\u5230<br \/>\n\\[<br \/>\n  \\int_{B_\\rho}\\nabla(ru_r)\\cdot \\nabla u<br \/>\n  =\\int_{B_\\rho} \\lvert \\nabla u \\rvert^2+ \\frac{1}{2}r\\partial_r \\lvert \\nabla u \\rvert^2.<br \/>\n\\]<br \/>\n\u6ce8\u610f\u5230<br \/>\n\\begin{align*}<br \/>\n  \\int_{B_\\rho}r\\partial_r \\lvert \\nabla u \\rvert^2<br \/>\n  &#038;=\\int_0^\\rho\\int_{S^1} r\\partial_r\\lvert \\nabla u \\rvert^2 rd\\theta dr<br \/>\n  =\\int_0^\\rho r^2\\partial_r\\int_{S^1} \\lvert \\nabla u \\rvert^2 d\\theta dr\\\\<br \/>\n  &#038;=\\left. \\left[ r^2\\int_{S^1} \\lvert \\nabla u \\rvert^2d\\theta \\right] \\right|_{0}^\\rho-2\\int_0^\\rho r\\int_{S^1} \\lvert \\nabla u \\rvert^2 d\\theta dr\\\\<br \/>\n  &#038;=\\int_{\\partial B_\\rho}r \\lvert \\nabla u \\rvert^2 d\\sigma-2\\int_{B_\\rho} \\lvert \\nabla u \\rvert^2.<br \/>\n\\end{align*}<br \/>\n\u56e0\u6b64<br \/>\n\\begin{align*}<br \/>\n  \\int_{B_\\rho}\\nabla(r u_r)\\cdot \\nabla u<br \/>\n  &#038;=\\int_{B_\\rho} \\lvert \\nabla u \\rvert^2+ \\frac{1}{2}\\int_{\\partial B_\\rho}r \\lvert \\nabla u \\rvert^2 d\\sigma-\\int_{B_\\rho} \\lvert \\nabla u \\rvert^2\\\\<br \/>\n  &#038;= \\frac{1}{2}\\int_{\\partial B_\\rho}r \\lvert \\nabla u \\rvert^2d\\sigma.<br \/>\n\\end{align*}<br \/>\n\u8fdb\u800c<br \/>\n\\begin{align*}<br \/>\n  0&#038;=\\int_{\\partial B_\\rho}r \\lvert u_r \\rvert^2-\\int_{B_\\rho}\\nabla (r u_r)\\cdot \\nabla u\\\\<br \/>\n   &#038;=\\frac{1}{2}\\int_{\\partial B_\\rho}r\\left( \\lvert u_r \\rvert^2- r^{-2} \\lvert u_\\theta \\rvert^2 \\right),<br \/>\n\\end{align*}<br \/>\n\u5373<br \/>\n\\[<br \/>\n  \\int_{\\partial B_\\rho} \\lvert u_r \\rvert^2=\\int_{\\partial B_\\rho} r^{-2} \\lvert u_\\theta \\rvert^2,<br \/>\n\\]<br \/>\n\u8fd9\u5c31\u662f\u8c03\u548c\u6620\u5c04\u7684Pohozaev\u6052\u7b49\u5f0f\u3002<br \/>\n<span class=\"latex_section\">2.&#x00A0;\u67f1\u5750\u6807\u7cfb\u4e0b\u7684Pohozaev\u6052\u7b49\u5f0f<a id=\"sec:2\"><\/a><\/span>\n\n\u6ce8\u610f\uff0c\u82e5\u4ee4$r=e^{-t}$, \u5219$B_\\rho\\to (-\\infty,-\\ln\\rho]\\times\\theta$, $(r,\\theta)\\mapsto (t,\\theta)$. \u5bb9\u6613\u77e5\u9053$dr=-rdt$, \u4ece\u800c<br \/>\n\\[<br \/>\n  ds^2=dx^2+dy^2=dr^2+r^2d\\theta^2=e^{-2t}\\left( dt^2+d\\theta^2 \\right),<br \/>\n\\]<br \/>\n\u4ee5\u53ca<br \/>\n\\begin{align*}<br \/>\n  ru_r&#038;=r \\frac{\\partial t}{\\partial r}u_t=-u_t,\\\\<br \/>\n  rdr\\wedge d\\theta&#038;=-r^2 dt\\wedge d\\theta=-e^{-2t}dt\\wedge d\\theta,\\\\<br \/>\n  \\Delta u&#038;=u_{xx}+u_{yy}= \\frac{1}{\\sqrt{g}}\\partial_\\alpha\\left( g^{\\alpha\\beta}\\sqrt{g}\\partial_\\beta u \\right)<br \/>\n  =e^{2t}\\left( u_{tt}+u_{\\theta\\theta} \\right).<br \/>\n\\end{align*}<br \/>\n\u56e0\u6b64<br \/>\n\\begin{align*}<br \/>\n  0&#038;=\\int_{B_\\rho}ru_r\\cdot \\Delta u<br \/>\n  =\\int_{-\\infty}^{-\\ln\\rho}\\int_{S^1} u_t\\cdot \\left( u_{tt}+u_{\\theta\\theta} \\right) d\\theta dt\\\\<br \/>\n   &#038;=\\int_{\\ln\\rho}^\\infty\\int_{S^1} u_t\\cdot \\left( u_{tt}+u_{\\theta\\theta} \\right) d\\theta dt\\\\<br \/>\n   &#038;=\\int_{\\ln\\rho}^\\infty\\int_{S^1} \\frac{1}{2}\\partial_t \\lvert u_t \\rvert^2-u_\\theta\\cdot u_{t\\theta}+ \\int_{\\ln\\rho}^\\infty\\left. \\left[ u_t\\cdot u_\\theta \\right] \\right|_{0}^{2\\pi}dt\\\\<br \/>\n   &#038;= \\frac{1}{2}\\int_{\\ln\\rho}^\\infty\\int_0^{2\\pi} \\partial_t\\left( \\lvert u_t \\rvert^2- \\lvert u_\\theta \\rvert^2 \\right).<br \/>\n\\end{align*}<br \/>\n\u7531$\\rho$\u7684\u4efb\u610f\u6027\uff0c\u6211\u4eec\u5f97\u5230<br \/>\n\\[<br \/>\n  \\partial_t\\int_{S^1}\\left( \\lvert u_t \\rvert^2- \\lvert u_\\theta \\rvert^2 \\right) d\\theta=0.<br \/>\n\\]<br \/>\n\u5728$[\\ln\\rho,+\\infty)$\u79ef\u5206\u5f97\u5230<br \/>\n\\[<br \/>\n  \\int_{\\partial B_{\\rho}}\\left( \\lvert u_t \\rvert^2- \\lvert u_\\theta \\rvert^2 \\right) d\\sigma=<br \/>\n  \\int_{S^1}\\left( \\lvert u_t(\\rho,\\cdot) \\rvert^2- \\lvert u_\\theta(\\rho,\\cdot) \\rvert^2 \\right) \\rho d\\theta=0,<br \/>\n\\]<br \/>\n\u8fd9\u91cc\u6211\u4eec\u4f7f\u7528\u4e86$u$\u5149\u6ed1\uff0c\u6545<br \/>\n\\[<br \/>\n  \\lvert \\nabla u \\rvert^2\\leq C\\implies \\lvert u_t \\rvert^2+ \\lvert u_{\\theta} \\rvert^2\\leq C e^{-2t}=C \\rho^2,<br \/>\n\\]<br \/>\n\u5219\u8868\u660e<br \/>\n\\[<br \/>\n  \\lim_{\\rho\\to 0}\\int_{S^1}\\left( \\lvert u_t(\\rho,\\cdot) \\rvert^2- \\lvert u_\\theta(\\rho,\\cdot) \\rvert^2 \\right)=0.<br \/>\n\\]<\/p>\n","protected":false},"excerpt":{"rendered":"<p>$\\newcommand{\\div}{\\mathrm{div}\\,}$ \u6211\u4eec\u77e5\u9053\u8c03\u548c\u6620\u5c04\u7684\u65b9\u7a0b\u4e3a $$ \\De&hellip; <a class=\"more-link\" href=\"https:\/\/blog.vanabel.cn\/?p=1588\">\u7ee7\u7eed\u9605\u8bfb<span class=\"screen-reader-text\">\u8c03\u548c\u6620\u5c04\u7684Pohozaev\u6052\u7b49\u5f0f<\/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":[227,298],"class_list":["post-1588","post","type-post","status-publish","format-standard","hentry","category-math","tag-harmonic-maps","tag-pohozaev","entry"],"_links":{"self":[{"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/1588","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=1588"}],"version-history":[{"count":95,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/1588\/revisions"}],"predecessor-version":[{"id":1683,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=\/wp\/v2\/posts\/1588\/revisions\/1683"}],"wp:attachment":[{"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1588"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1588"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.vanabel.cn\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1588"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}