<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\Omega \)</EquationSource> </InlineEquation> be a bounded domain of <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {R}^{N},\)</EquationSource> </InlineEquation> <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(N\ge 2.\)</EquationSource> </InlineEquation> For <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(p&gt;N\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(1\le q(p)&lt;\infty \)</EquationSource> </InlineEquation> set <Equation ID="Equ46"> <EquationSource Format="TEX">\( \lambda _{p,q(p)}:=\inf \left\{ \int _{\Omega }\left| \nabla u\right| ^{p}\textrm{d}x:u\in W_{0}^{1,p}(\Omega )\text { \ and \ }\int _{\Omega }\left| u\right| ^{q(p)}\textrm{d}x=1\right\} \)</EquationSource> </Equation>and denote by <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(u_{p,q(p)}\)</EquationSource> </InlineEquation> a positive extremal function corresponding to <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\lambda _{p,q(p)}\)</EquationSource> </InlineEquation>. We show that if <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\lim \limits _{p\rightarrow \infty }q(p)=\infty \)</EquationSource> </InlineEquation>, then <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\lim \limits _{p\rightarrow \infty }\lambda _{p,q(p)} ^{1/p}=\left\| d_{\Omega }\right\| _{\infty }^{-1}\)</EquationSource> </InlineEquation>, where <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(d_{\Omega }\)</EquationSource> </InlineEquation> denotes the distance function to the boundary of <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\Omega .\)</EquationSource> </InlineEquation> Moreover, in the hyperdiffusive case: <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\lim \limits _{p\rightarrow \infty }\frac{q(p)}{p}=\infty ,\)</EquationSource> </InlineEquation> we prove that each sequence <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(u_{p_{n},q(p_{n})},\)</EquationSource> </InlineEquation> with <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(p_{n}\rightarrow \infty ,\)</EquationSource> </InlineEquation> admits a subsequence converging uniformly in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\overline{\Omega }\)</EquationSource> </InlineEquation> to a viscosity solution to the problem <Equation ID="Equ47"> <EquationSource Format="TEX">\( \left\{ \begin{array}{lll} -\Delta _{\infty }u=0 &amp; \text {in} &amp; \Omega \setminus M\\ u=0 &amp; \text {on} &amp; \partial \Omega \\ u=1 &amp; \text {in} &amp; M, \end{array} \right. \)</EquationSource> </Equation>where <i>M</i> is a closed subset of the set of all maximum points of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(d_{\Omega }.\)</EquationSource> </InlineEquation></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Asymptotics for Sobolev extremals: the hyperdiffusive case

  • Grey Ercole

摘要

Let \(\Omega \) be a bounded domain of \(\mathbb {R}^{N},\) \(N\ge 2.\) For \(p>N\) and \(1\le q(p)<\infty \) set \( \lambda _{p,q(p)}:=\inf \left\{ \int _{\Omega }\left| \nabla u\right| ^{p}\textrm{d}x:u\in W_{0}^{1,p}(\Omega )\text { \ and \ }\int _{\Omega }\left| u\right| ^{q(p)}\textrm{d}x=1\right\} \) and denote by \(u_{p,q(p)}\) a positive extremal function corresponding to \(\lambda _{p,q(p)}\) . We show that if \(\lim \limits _{p\rightarrow \infty }q(p)=\infty \) , then \(\lim \limits _{p\rightarrow \infty }\lambda _{p,q(p)} ^{1/p}=\left\| d_{\Omega }\right\| _{\infty }^{-1}\) , where \(d_{\Omega }\) denotes the distance function to the boundary of \(\Omega .\) Moreover, in the hyperdiffusive case: \(\lim \limits _{p\rightarrow \infty }\frac{q(p)}{p}=\infty ,\) we prove that each sequence \(u_{p_{n},q(p_{n})},\) with \(p_{n}\rightarrow \infty ,\) admits a subsequence converging uniformly in \(\overline{\Omega }\) to a viscosity solution to the problem \( \left\{ \begin{array}{lll} -\Delta _{\infty }u=0 & \text {in} & \Omega \setminus M\\ u=0 & \text {on} & \partial \Omega \\ u=1 & \text {in} & M, \end{array} \right. \) where M is a closed subset of the set of all maximum points of \(d_{\Omega }.\)