<p>We study the Dirichlet problem of the following discrete infinity Laplace equation on a subgraph with finite width <Equation ID="Equ42"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2896_Article_Equ42.gif" Format="GIF" Height="31" Rendition="HTML" Resolution="72" Type="Linedraw" Width="337" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned} \Delta _{\infty }u(x):=\inf _{y\sim x}u(y)+\sup _{y\sim x}u(y)-2u(x)=f(x). \end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <msub> <mi mathvariant="normal">Δ</mi> <mi>∞</mi> </msub> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>:</mo> <mo>=</mo> <munder> <mo movablelimits="true">inf</mo> <mrow> <mi>y</mi> <mo>∼</mo> <mi>x</mi> </mrow> </munder> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <munder> <mo movablelimits="true">sup</mo> <mrow> <mi>y</mi> <mo>∼</mo> <mi>x</mi> </mrow> </munder> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>y</mi> <mo stretchy="false">)</mo> </mrow> <mo>-</mo> <mn>2</mn> <mi>u</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mi>f</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>We say that a subgraph has finite width if the distances from all vertices to the boundary are uniformly bounded. Using Perron’s method, we demonstrate the existence of bounded solutions. We also prove the uniqueness if <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2896_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\ge 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>≥</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2896_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(f\le 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>≤</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> by establishing a comparison result, and hence obtain the existence of game values for corresponding tug-of-war games introduced by Peres et al. (J Am Math Soc 22(1):167–210, 2009). As an application we show a strong Liouville property for infinity harmonic functions. By an argument of Arzelà–Ascoli, we prove the convergence of solutions of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2896_Article_IEq3.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ε</mi> </math></EquationSource> </InlineEquation>-tug-of-war games as <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="526_2024_2896_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="44" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon \rightarrow 0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ε</mi> <mo stretchy="false">→</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. Correspondingly, we obtain the existence of bounded solutions to normalized infinity Laplace equations on Euclidean domains with finite width.</p>

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

Discrete infinity Laplace equations on graphs and tug-of-war games

  • Fengwen Han,
  • Tao Wang

摘要

We study the Dirichlet problem of the following discrete infinity Laplace equation on a subgraph with finite width \(\begin{aligned} \Delta _{\infty }u(x):=\inf _{y\sim x}u(y)+\sup _{y\sim x}u(y)-2u(x)=f(x). \end{aligned}\) Δ u ( x ) : = inf y x u ( y ) + sup y x u ( y ) - 2 u ( x ) = f ( x ) . We say that a subgraph has finite width if the distances from all vertices to the boundary are uniformly bounded. Using Perron’s method, we demonstrate the existence of bounded solutions. We also prove the uniqueness if \(f\ge 0\) f 0 or \(f\le 0\) f 0 by establishing a comparison result, and hence obtain the existence of game values for corresponding tug-of-war games introduced by Peres et al. (J Am Math Soc 22(1):167–210, 2009). As an application we show a strong Liouville property for infinity harmonic functions. By an argument of Arzelà–Ascoli, we prove the convergence of solutions of \(\varepsilon \) ε -tug-of-war games as \(\varepsilon \rightarrow 0\) ε 0 . Correspondingly, we obtain the existence of bounded solutions to normalized infinity Laplace equations on Euclidean domains with finite width.