<p>For the Riesz kernel <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\kappa _\alpha (x,y):=|x-y|^{\alpha -n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>κ</mi> <mi>α</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <msup> <mrow> <mo stretchy="false">|</mo> <mi>x</mi> <mo>-</mo> <mi>y</mi> <mo stretchy="false">|</mo> </mrow> <mrow> <mi>α</mi> <mo>-</mo> <mi>n</mi> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(n\geqslant 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>⩾</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\alpha \in (0,2]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>∈</mo> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mn>2</mn> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\alpha &lt;n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>α</mi> <mo>&lt;</mo> <mi>n</mi> </mrow> </math></EquationSource> </InlineEquation>, we consider the problem of minimizing the Gauss functional <Equation ID="Equ90"> <EquationSource Format="TEX">\(\begin{aligned} \int \kappa _\alpha (x,y)\,d(\mu \otimes \mu )(x,y)+2\int f\,d\mu ,\quad \,{\text {where }}\,f:=-\int \kappa _\alpha (\cdot ,y)\,d\omega (y), \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>∫</mo> <msub> <mi>κ</mi> <mi>α</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mrow> <mo stretchy="false">(</mo> <mi>μ</mi> <mo>⊗</mo> <mi>μ</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mn>2</mn> <mo>∫</mo> <mi>f</mi> <mspace width="0.166667em" /> <mi>d</mi> <mi>μ</mi> <mo>,</mo> <mspace width="1em" /> <mspace width="0.166667em" /> <mrow> <mtext>where</mtext> <mspace width="0.333333em" /> </mrow> <mspace width="0.166667em" /> <mi>f</mi> <mo>:</mo> <mo>=</mo> <mo>-</mo> <mo>∫</mo> <msub> <mi>κ</mi> <mi>α</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mo>·</mo> <mo>,</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mspace width="0.166667em" /> <mi>d</mi> <mi>ω</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation><InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> being a given positive (Radon) measure on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>, and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mu \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>μ</mi> </math></EquationSource> </InlineEquation> ranging over all positive measures of finite energy, concentrated on <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(A\subset {\mathbb {R}}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>⊂</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and having unit total mass. We prove that if <i>A</i> is a quasiclosed set of nonzero inner capacity <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(c_*(A)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and if the inner balayage <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\omega ^A\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>ω</mi> <mi>A</mi> </msup> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\omega \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ω</mi> </math></EquationSource> </InlineEquation> onto <i>A</i> is of finite energy, then the solution <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\lambda _{A,f}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi>f</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> to the problem in question exists if and only if either <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(c_*(A)&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, or <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\omega ^A({\mathbb {R}}^n)\geqslant 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>ω</mi> <mi>A</mi> </msup> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>⩾</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Despite its simple form, this result improves substantially some of the latest ones, e.g. those by Dragnev et al. (Constr. Approx., 2023) as well as those by the author (J. Math. Anal. Appl., 2023). We also provide alternative characterizations of <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\lambda _{A,f}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi>f</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, and analyze its support. As an application, we show that if <i>A</i> is not inner <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation>-thin at infinity, and is "very thin" at <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(z\in \partial _{{\mathbb {R}}^n}A\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>z</mi> <mo>∈</mo> <msub> <mi>∂</mi> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </msub> <mi>A</mi> </mrow> </math></EquationSource> </InlineEquation> (to be precise, if <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(c_*(A^*_z)&lt;\infty \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>c</mi> <mrow> <mrow /> <mo>∗</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msubsup> <mi>A</mi> <mi>z</mi> <mo>∗</mo> </msubsup> <mo stretchy="false">)</mo> </mrow> <mo>&lt;</mo> <mi>∞</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(A^*_z\)</EquationSource> <EquationSource Format="MATHML"><math> <msubsup> <mi>A</mi> <mi>z</mi> <mo>∗</mo> </msubsup> </math></EquationSource> </InlineEquation> being the inverse of <i>A</i> with respect to the unit sphere centered at <i>z</i>), then the above problem with <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\omega :=q\varepsilon _z\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ω</mi> <mo>:</mo> <mo>=</mo> <mi>q</mi> <msub> <mi>ε</mi> <mi>z</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(q\in [1,\infty )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>∈</mo> <mo stretchy="false">[</mo> <mn>1</mn> <mo>,</mo> <mi>∞</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq23"> <EquationSource Format="TEX">\(\varepsilon _z\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>ε</mi> <mi>z</mi> </msub> </math></EquationSource> </InlineEquation> denotes the unit Dirac measure at <i>z</i>, is still solvable. Thus no compensation effect occurs between the two oppositely signed charges, <InlineEquation ID="IEq24"> <EquationSource Format="TEX">\(-q\varepsilon _z\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mi>q</mi> <msub> <mi>ε</mi> <mi>z</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq25"> <EquationSource Format="TEX">\(\lambda _{A,f}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>λ</mi> <mrow> <mi>A</mi> <mo>,</mo> <mi>f</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>, carried by the same conductor <i>A</i>, which seems to contradict our physical intuition.</p>

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

Inner Riesz Balayage in Minimum Energy Problems with External Fields

  • Natalia Zorii

摘要

For the Riesz kernel \(\kappa _\alpha (x,y):=|x-y|^{\alpha -n}\) κ α ( x , y ) : = | x - y | α - n on \({\mathbb {R}}^n\) R n , where \(n\geqslant 2\) n 2 , \(\alpha \in (0,2]\) α ( 0 , 2 ] , and \(\alpha <n\) α < n , we consider the problem of minimizing the Gauss functional \(\begin{aligned} \int \kappa _\alpha (x,y)\,d(\mu \otimes \mu )(x,y)+2\int f\,d\mu ,\quad \,{\text {where }}\,f:=-\int \kappa _\alpha (\cdot ,y)\,d\omega (y), \end{aligned}\) κ α ( x , y ) d ( μ μ ) ( x , y ) + 2 f d μ , where f : = - κ α ( · , y ) d ω ( y ) , \(\omega \) ω being a given positive (Radon) measure on \({\mathbb {R}}^n\) R n , and \(\mu \) μ ranging over all positive measures of finite energy, concentrated on \(A\subset {\mathbb {R}}^n\) A R n and having unit total mass. We prove that if A is a quasiclosed set of nonzero inner capacity \(c_*(A)\) c ( A ) , and if the inner balayage \(\omega ^A\) ω A of \(\omega \) ω onto A is of finite energy, then the solution \(\lambda _{A,f}\) λ A , f to the problem in question exists if and only if either \(c_*(A)<\infty \) c ( A ) < , or \(\omega ^A({\mathbb {R}}^n)\geqslant 1\) ω A ( R n ) 1 . Despite its simple form, this result improves substantially some of the latest ones, e.g. those by Dragnev et al. (Constr. Approx., 2023) as well as those by the author (J. Math. Anal. Appl., 2023). We also provide alternative characterizations of \(\lambda _{A,f}\) λ A , f , and analyze its support. As an application, we show that if A is not inner \(\alpha \) α -thin at infinity, and is "very thin" at \(z\in \partial _{{\mathbb {R}}^n}A\) z R n A (to be precise, if \(c_*(A^*_z)<\infty \) c ( A z ) < , \(A^*_z\) A z being the inverse of A with respect to the unit sphere centered at z), then the above problem with \(\omega :=q\varepsilon _z\) ω : = q ε z , where \(q\in [1,\infty )\) q [ 1 , ) and \(\varepsilon _z\) ε z denotes the unit Dirac measure at z, is still solvable. Thus no compensation effect occurs between the two oppositely signed charges, \(-q\varepsilon _z\) - q ε z and \(\lambda _{A,f}\) λ A , f , carried by the same conductor A, which seems to contradict our physical intuition.