Gerardo Barrera,Jonas M. Tölle
Abstract:We establish general conditions for stochastic evolution equations with locally monotone drift and degenerate additive Lévy noise in variational formulation resulting in the existence of a unique invariant measure for the associated weakly ergodic Markovian Feller semigroup. We prove improved moment estimates for the solutions and the so-called $e$-property of the semigroup. Examples include the stochastic incompressible 2D Navier-Stokes equations, shear thickening stochastic power-law fluid equations, the stochastic heat equation, as well as, stochastic semilinear equations such as the 1D stochastic Burgers equation.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the ergodicity of locally monotone stochastic evolution equations (SPDEs) with degenerate Lévy noise. Specifically, the author aims to establish general conditions for this type of equations to ensure the existence and uniqueness of the invariant measure for the associated weakly ergodic Markov Feller semigroup. In addition, the author also proves the improved moment estimates of these solutions and the so - called e - property of the semigroup.
### Problem Analysis
1. **Research Object**: Locally monotone stochastic evolution equations with degenerate Lévy noise.
2. **Main Objectives**:
- Establish general conditions to ensure the existence and uniqueness of the invariant measure for the weakly ergodic Markov Feller semigroup.
- Prove the improved moment estimates of the solutions.
- Prove the e - property of the semigroup.
### Mathematical Description
Consider the following stochastic evolution equation:
\[
dX_t = A(X_t)dt + B dW_t+\int_{D_c}G(z)\tilde{N}(dt, dz),\quad X_0 = x\in H,
\]
where:
- \(A: V\rightarrow V^*\) is a locally monotone nonlinear drift operator.
- \(B: H\rightarrow H\) is a bounded linear operator and satisfies the finite Hilbert - Schmidt norm \(\|B\|_2\).
- \(W_t\) is an \(H\)-valued cylindrical Wiener process.
- \(\tilde{N}(dt, dz)\) is a compensated Poisson random measure, representing the independent Poisson part of small jumps.
### Main Assumptions
To ensure the ergodicity of the above equation, the author makes several assumptions, including but not limited to:
- **Assumption (A)** (Semi - continuity): For all \(x, y, z\in V\), the mapping \(\lambda\mapsto\langle A(x + \lambda y), z\rangle\) is continuous.
- **Assumption (B)** (Coercivity): There exist constants \(\delta_1>0\) and \(\alpha\geq2\) such that \(2\langle A(x), x\rangle\leq-\delta_1\|x\|_V^{\alpha}\) for all \(x\in V\).
- **Assumption (C)** (Local Monotonicity): There exist constants \(\delta_2>0\), \(C_2\geq0\) and \(\beta\geq0\) such that \(2\langle A(x)-A(y), x - y\rangle\leq[-\delta_2+\rho(y)]\|x - y\|_H^2\) for all \(x, y\in V\), where \(\rho(y)\) is a locally bounded measurable function on \(V\).
- **Assumption (D)** (Growth Condition): There exists a constant \(K > 0\) such that \(\|A(x)\|_{V^*}^{\frac{\alpha}{\alpha - 1}}\leq K(1+\|x\|_V^{\alpha})(1+\|x\|_H^{\beta})\) for all \(x\in V\).
- **Assumption (E)** (Cone Condition): There exist constants \(\delta_4>0\) and \(C_4\in\mathbb{R}\) such that \(2\langle A(x), x\rangle\leq C_4-\delta_4\|A(x)\|_{V^*}\) for all \(x\in V\).
Through these assumptions, the author is able to prove that the solutions of the considered stochastic evolution equations have the desired ergodic properties and establish the existence and uniqueness of the corresponding invariant measures.