Table of Contents
Fetching ...

Stochastic PDEs with correlated, non-stationary Stratonovich noise of Dean--Kawasaki type

Benjamin Fehrman

TL;DR

The article advances the well-posedness theory for conservative SPDEs driven by correlated, non-stationary Stratonovich noise of Dean–Kawasaki type. It develops and employs a stochastic kinetic solution framework to handle square-root nonlinearities and discontinuous coefficients arising in the Itô form, establishing existence, uniqueness, and pathwise stability while revealing a log-regularization mechanism and time-averaged parabolic regularity. The work extends prior results (FG21) to Neumann boundary conditions and non-stationary noise, and demonstrates a robust approach to inhomogeneous diffusion, nonnegativity preservation, and a dichotomy for the zero-set of solutions. These results have implications for fluctuating hydrodynamics and macroscopic fluctuation theory in inhomogeneous media, providing a rigorous basis for density fluctuation models with spatially varying diffusivity and correlated noise.

Abstract

The results of the author and Gess [27] develop a robust well-posedness theory for a broad class of conservative stochastic PDEs, with both probabilistically stationary and non-stationary Stratonovich noise, and with irregular noise coefficients like the square root. However, one case left untreated by [27] is the case of SPDEs that combine conservative, non-stationary Stratonovich noise with square root-like nonlinearities. Such equations arise naturally in the fluctuating hydrodynamics of inhomogenous systems, and a new analysis is required to handle certain discontinuous coefficients appearing in their Itô formulations. We treat the discontinuities by showing that the equation exhibits a novel regularization of the logarithm of the solution, and establish the well-posedness by building on the concept of a stochastic kinetic solution introduced in [27].

Stochastic PDEs with correlated, non-stationary Stratonovich noise of Dean--Kawasaki type

TL;DR

The article advances the well-posedness theory for conservative SPDEs driven by correlated, non-stationary Stratonovich noise of Dean–Kawasaki type. It develops and employs a stochastic kinetic solution framework to handle square-root nonlinearities and discontinuous coefficients arising in the Itô form, establishing existence, uniqueness, and pathwise stability while revealing a log-regularization mechanism and time-averaged parabolic regularity. The work extends prior results (FG21) to Neumann boundary conditions and non-stationary noise, and demonstrates a robust approach to inhomogeneous diffusion, nonnegativity preservation, and a dichotomy for the zero-set of solutions. These results have implications for fluctuating hydrodynamics and macroscopic fluctuation theory in inhomogeneous media, providing a rigorous basis for density fluctuation models with spatially varying diffusivity and correlated noise.

Abstract

The results of the author and Gess [27] develop a robust well-posedness theory for a broad class of conservative stochastic PDEs, with both probabilistically stationary and non-stationary Stratonovich noise, and with irregular noise coefficients like the square root. However, one case left untreated by [27] is the case of SPDEs that combine conservative, non-stationary Stratonovich noise with square root-like nonlinearities. Such equations arise naturally in the fluctuating hydrodynamics of inhomogenous systems, and a new analysis is required to handle certain discontinuous coefficients appearing in their Itô formulations. We treat the discontinuities by showing that the equation exhibits a novel regularization of the logarithm of the solution, and establish the well-posedness by building on the concept of a stochastic kinetic solution introduced in [27].

Paper Structure

This paper contains 11 sections, 12 theorems, 215 equations.

Key Result

Theorem 1.1

Under Assumptions assume_d and assume_n, for every $\rho_0\in L^1(\Omega;L^1(U))$ there exists a unique stochastic kinetic solution of i_eq in the sense of Definition sol_def. Furthermore, any two solutions $\rho_1$ and $\rho_2$ satisfy and the solutions satisfy the estimates of Propositions prop_e, prop_h1, prop_kolm, and prop_kcc.

Theorems & Definitions (29)

  • Theorem 1.1: cf. Theorem \ref{['thm_unique']}, Theorem \ref{['thm_rks_ex']}
  • Definition 2.3
  • Definition 2.4
  • Remark 2.5
  • Proposition 2.6
  • proof
  • Lemma 2.7
  • proof
  • Theorem 2.8
  • proof
  • ...and 19 more