Abstract:For the one dimensional Burgers equation with a random and periodic forcing, it is well-known that there exits a family of invariant measures, each corresponding to a different average velocity. In this paper, we consider the coupled invariant measures and study how they change as the velocity parameter varies. We show that the derivative of the invariant measure with respect to the velocity parameter exists, and it can be interpreted as the steady state of a diffusion advected by the Burgers flow.
What problem does this paper attempt to address?
### Problems the paper attempts to solve
The paper "Jointly Stationary Solutions of Periodic Burgers Flow" attempts to solve the following problems:
1. **Research on joint invariant measures**:
- For the one - dimensional Burgers equation, it is known that there exists a set of invariant measures, and each measure corresponds to a different average velocity. This paper studies the behavior of these joint invariant measures when the velocity parameter changes.
2. **Differentiability of invariant measures with respect to the velocity parameter**:
- It is proved that the derivative of the invariant measure with respect to the velocity parameter exists and can be interpreted as the steady state of the diffusion process driven by the Burgers flow.
3. **Properties of coupled stationary solutions**:
- The properties of the coupled stationary solutions \( \{U_\theta(t, x)\}_{\theta \in \mathbb{R}} \) are studied, especially how they change as the parameter \(\theta\) changes.
### Specific problem description
- **Main results**:
- Theorem 1.1: For any \(\theta \in \mathbb{R}\), there exists a unique positive global solution \( \tilde{g}_\theta \) satisfying:
\[
\partial_t \tilde{g}_\theta(t, x) = \frac{1}{2} \Delta \tilde{g}_\theta(t, x) + \nabla (U_\theta \tilde{g}_\theta)(t, x), \quad t \in \mathbb{R}, x \in \mathbb{T},
\]
This solution is stationary in space - time, and satisfies \( \mathbb{E}[\tilde{g}_\theta(0, 0)] = 1 \) and \( \tilde{g}_\theta(0, 0) \in L^p(\Omega) \) for any \( p \in [1, \infty) \), and almost everywhere \( \int_{\mathbb{T}} \tilde{g}_\theta(t, x) dx = 1 \) for each \( t \in \mathbb{R} \).
- Theorem 1.2: \( Q \) is the invariant measure of the Markov process \( \{\omega_t\}_{t\geq0} \), and as \( t\rightarrow\infty \), \( \omega_t \) converges to \( Q \).
- Theorem 1.3: For the case of spatial white noise, there exists a process \( \{\psi_\theta(t, x)\}_{\theta, t, x} \) such that for any \( t, \lambda \in \mathbb{R}, x \in \mathbb{T} \), we have:
\[
B_\lambda(t, x) - B_0(t, x) = \int_0^\lambda [x + \tilde{\psi}_\theta(t, x)] d\theta,
\]
which holds almost everywhere. For fixed \( t \) and \( x \), the process \( \{\tilde{\psi}_\theta(t, x)\}_{\theta \in \mathbb{R}} \) is stationary in \(\theta\); for a fixed \(\theta\), its distribution is:
\[
\{x + \tilde{\psi}_\theta(t, x)\}_{x \in \mathbb{T}} \stackrel{\text{law}}{=} \left\{ \frac{\int