Weak Harnack inequalities for nonlocal double phase problems

Abstract This paper is devoted to the study of weak Harnack inequalities for minimizers of nonlocal double phase functionals, whose prototype is given by $$ \iint _{\mathbb {R}^n\times \mathbb {R}^n} \left( \frac{|u(x)-u(y)|^p}{|x-y|^{n+sp}}+a(x,y)\frac{|u(x)-u(y)|^q}{|x-y|^{n+tq}}\right) \,dx\,dy, $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:msub> <mml:mo>∬</mml:mo> <mml:mrow> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> <mml:mo>×</mml:mo> <mml:msup> <mml:mrow> <mml:mi>R</mml:mi> </mml:mrow> <mml:mi>n</mml:mi> </mml:msup> </mml:mrow> </mml:msub> <mml:mfenced> <mml:mfrac> <mml:msup> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>u</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>-</mml:mo> <mml:mi>u</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>y</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>|</mml:mo> </mml:mrow> <mml:mi>p</mml:mi> </mml:msup> <mml:msup> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>x</mml:mi> <mml:mo>-</mml:mo> <mml:mi>y</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mi>s</mml:mi> <mml:mi>p</mml:mi> </mml:mrow> </mml:msup> </mml:mfrac> <mml:mo>+</mml:mo> <mml:mi>a</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>,</mml:mo> <mml:mi>y</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mfrac> <mml:msup> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>u</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>x</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>-</mml:mo> <mml:mi>u</mml:mi> <mml:mrow> <mml:mo>(</mml:mo> <mml:mi>y</mml:mi> <mml:mo>)</mml:mo> </mml:mrow> <mml:mo>|</mml:mo> </mml:mrow> <mml:mi>q</mml:mi> </mml:msup> <mml:msup> <mml:mrow> <mml:mo>|</mml:mo> <mml:mi>x</mml:mi> <mml:mo>-</mml:mo> <mml:mi>y</mml:mi> <mml:mo>|</mml:mo> </mml:mrow> <mml:mrow> <mml:mi>n</mml:mi> <mml:mo>+</mml:mo> <mml:mi>t</mml:mi> <mml:mi>q</mml:mi> </mml:mrow> </mml:msup> </mml:mfrac> </mml:mfenced> <mml:mspace/> <mml:mi>d</mml:mi> <mml:mi>x</mml:mi> <mml:mspace/> <mml:mi>d</mml:mi> <mml:mi>y</mml:mi> <mml:mo>,</mml:mo> </mml:mrow> </mml:math> with $$a\ge 0$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>a</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>0</mml:mn> </mml:mrow> </mml:math> and $$0&lt;s,t&lt;1&lt;p\le q&lt;\infty $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mn>0</mml:mn> <mml:mo>&lt;</mml:mo> <mml:mi>s</mml:mi> <mml:mo>,</mml:mo> <mml:mi>t</mml:mi> <mml:mo>&lt;</mml:mo> <mml:mn>1</mml:mn> <mml:mo>&lt;</mml:mo> <mml:mi>p</mml:mi> <mml:mo>≤</mml:mo> <mml:mi>q</mml:mi> <mml:mo>&lt;</mml:mo> <mml:mi>∞</mml:mi> </mml:mrow> </mml:math> . The core of our approach is based on expansion of positivity and several measure theoretic estimates stemming from a nonlocal Caccioppoli-type inequality. The main challenge lies in controlling the subtle interaction between the pointwise behaviour of the modulating coefficient $$a(\cdot ,\cdot )$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>a</mml:mi> <mml:mo>(</mml:mo> <mml:mo>·</mml:mo> <mml:mo>,</mml:mo> <mml:mo>·</mml:mo> <mml:mo>)</mml:mo> </mml:mrow> </mml:math> and the structural exponents. In addition, we discuss a quantitative boundedness result for minimizers of such functionals.