Non-local Dirichlet forms and symmetric jump processes 论文
摘要
We consider the non-local symmetric Dirichlet form <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="left-parenthesis script upper E comma script upper F right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">E</mml:mi> </mml:mrow> <mml:mo>,</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">F</mml:mi> </mml:mrow> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">(\mathcal {E}, \mathcal {F})</mml:annotation> </mml:semantics> </mml:math> </inline-formula> given by <disp-formula content-type="math/mathml"> \[ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper E left-parenthesis f comma f right-parenthesis equals integral Underscript double-struck upper R Superscript d Baseline Endscripts integral Underscript double-struck upper R Superscript d Baseline Endscripts left-parenthesis f left-parenthesis y right-parenthesis minus f left-parenthesis x right-parenthesis right-parenthesis squared upper J left-parenthesis x comma y right-parenthesis d x d y"> <mml:semantics> <mml:mrow> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">E</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>f</mml:mi> <mml:mo>,</mml:mo> <mml:mi>f</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo>=</mml:mo> <mml:munder> <mml:mo> ∫ </mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">R</mml:mi> </mml:mrow> <mml:mi>d</mml:mi> </mml:msup> </mml:mrow> </mml:munder> <mml:munder> <mml:mo> ∫ </mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">R</mml:mi> </mml:mrow> <mml:mi>d</mml:mi> </mml:msup> </mml:mrow> </mml:munder> <mml:mo stretchy="false">(</mml:mo> <mml:mi>f</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>y</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo> − </mml:mo> <mml:mi>f</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>x</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:msup> <mml:mo stretchy="false">)</mml:mo> <mml:mn>2</mml:mn> </mml:msup> <mml:mi>J</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:mi>y</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mspace width="thinmathspace"/> <mml:mi>d</mml:mi> <mml:mi>x</mml:mi> <mml:mspace width="thinmathspace"/> <mml:mi>d</mml:mi> <mml:mi>y</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {E} (f,f)=\int \limits _{\mathbb {R}^d} \int \limits _{\mathbb {R}^d} (f(y)-f(x))^2 J(x,y) \, dx\, dy</mml:annotation> </mml:semantics> </mml:math> \] </disp-formula> with <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper F"> <mml:semantics> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">F</mml:mi> </mml:mrow> <mml:annotation encoding="application/x-tex">\mathcal {F}</mml:annotation> </mml:semantics> </mml:math> </inline-formula> the closure with respect to <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper E 1"> <mml:semantics> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">E</mml:mi> </mml:mrow> <mml:mn>1</mml:mn> </mml:msub> <mml:annotation encoding="application/x-tex">\mathcal {E}_1</mml:annotation> </mml:semantics> </mml:math> </inline-formula> of the set of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper C Superscript 1"> <mml:semantics> <mml:msup> <mml:mi>C</mml:mi> <mml:mn>1</mml:mn> </mml:msup> <mml:annotation encoding="application/x-tex">C^1</mml:annotation> </mml:semantics> </mml:math> </inline-formula> functions on <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="double-struck upper R Superscript d"> <mml:semantics> <mml:msup> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi mathvariant="double-struck">R</mml:mi> </mml:mrow> <mml:mi>d</mml:mi> </mml:msup> <mml:annotation encoding="application/x-tex">\mathbb {R}^d</mml:annotation> </mml:semantics> </mml:math> </inline-formula> with compact support, where <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="script upper E 1 left-parenthesis f comma f right-parenthesis colon equals script upper E left-parenthesis f comma f right-parenthesis plus integral Underscript double-struck upper R Superscript d Endscripts f left-parenthesis x right-parenthesis squared d x"> <mml:semantics> <mml:mrow> <mml:msub> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">E</mml:mi> </mml:mrow> <mml:mn>1</mml:mn> </mml:msub> <mml:mo stretchy="false">(</mml:mo> <mml:mi>f</mml:mi> <mml:mo>,</mml:mo> <mml:mi>f</mml:mi> <mml:mo stretchy="false">)</mml:mo> <mml:mo>:=</mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:mi class="MJX-tex-caligraphic" mathvariant="script">E</mml:mi> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>f</mml:mi> <