Functional inequalities for nonlocal Dirichlet forms with finite range jumps or large jumps

The paper is a continuation of our paper, Wang and Wang (2013) [13], Chen and Wang  [4], and it studies functional inequalities for non-local Dirichlet forms with finite range jumps or large jumps. Let α ∈ ( 0 , 2 ) and μ V ( d x ) = C V e − V ( x ) d x be a probability measure. We present explicit and sharp criteria for the Poincaré inequality and the super Poincaré inequality of the following non-local Dirichlet form with finite range jump E α , V ( f , f ) ≔ 1 2 ∬ { | x − y | ⩽ 1 } ( f ( x ) − f ( y ) ) 2 | x − y | d + α d y μ V ( d x ) ; on the other hand, we give sharp criteria for the Poincaré inequality of the non-local Dirichlet form with large jump as follows D α , V ( f , f ) ≔ 1 2 ∬ { | x − y | > 1 } ( f ( x ) − f ( y ) ) 2 | x − y | d + α d y μ V ( d x ) , and also derive that the super Poincaré inequality does not hold for D α , V . To obtain these results above, some new approaches and ideas completely different from Wang and Wang (2013), Chen and Wang (0000) are required, e.g. the local Poincaré inequality for E α , V and D α , V , and the Lyapunov condition for E α , V . In particular, the results about E α , V show that the probability measure fulfilling the Poincaré inequality and the super Poincaré inequality for non-local Dirichlet form with finite range jump and that for local Dirichlet form enjoy some similar properties; on the other hand, the assertions for D α , V indicate that even if functional inequalities for non-local Dirichlet form heavily depend on the density of large jump in the associated Lévy measure, the corresponding small jump plays an important role for the local super Poincaré inequality, which is inevitable to derive the super Poincaré inequality.