No Arabic abstract
We present sharp conditions on divergence-free drifts in Lebesgue spaces for the passive scalar advection-diffusion equation [ partial_t theta - Delta theta + b cdot abla theta = 0 ] to satisfy local boundedness, a single-scale Harnack inequality, and upper bounds on fundamental solutions. We demonstrate these properties for drifts $b$ belonging to $L^q_t L^p_x$, where $frac{2}{q} + frac{n}{p} < 2$, or $L^p_x L^q_t$, where $frac{3}{q} + frac{n-1}{p} < 2$. For steady drifts, the condition reduces to $b in L^{frac{n-1}{2}+}$. The space $L^1_t L^infty_x$ of drifts with `bounded total speed is a borderline case and plays a special role in the theory. To demonstrate sharpness, we construct counterexamples whose goal is to transport anomalous singularities into the domain `before they can be dissipated.
For any $hin(1,2]$, we give an explicit construction of a compactly supported, uniformly continuous, and (weakly) divergence-free velocity field in $mathbb{R}^2$ that weakly advects a measure whose support is initially the origin but for positive times has Hausdorff dimension $h$. These velocities are uniformly continuous in space-time and compactly supported, locally Lipschitz except at one point and satisfy the conditions for the existence and uniqueness of a Regular Lagrangian Flow in the sense of Di Perna and Lions theory. We then construct active scalar systems in $mathbb{R}^2$ and $mathbb{R}^3$ with measure-valued solutions whose initial support has co-dimension 2 but such that at positive times it only has co-dimension 1. The associated velocities are divergence free, compactly supported, continuous, and sufficiently regular to admit unique Regular Lagrangian Flows. This is in part motivated by the investigation of dimension conservation for the support of measure-valued solutions to active scalar systems. This question occurs in the study of vortex filaments in the three-dimensional Euler equations.
We prove that a probability solution of the stationary Kolmogorov equation generated by a first order perturbation $v$ of the Ornstein--Uhlenbeck operator $L$ possesses a highly integrable density with respect to the Gaussian measure satisfying the non-perturbed equation provided that $v$ is sufficiently integrable. More generally, a similar estimate is proved for solutions to inequalities connected with Markov semigroup generators under the curvature condition $CD(theta,infty)$. For perturbations from $L^p$ an analog of the Log-Sobolev inequality is obtained. It is also proved in the Gaussian case that the gradient of the density is integrable to all powers. We obtain dimension-free bounds on the density and its gradient, which also covers the infinite-dimensional case.
The class of Divergence-free symmetric tensors is ubiquitous in Continuum Mechanics. We show its invariance under projective transformations of the independent variables. This action, which preserves the positiveness, extends Sophus Lies group analysis of Newtonian dynamics.When applied to models of gas dynamics --~such as Euler system or Boltzmann equation,~-- in combination with Compensated Integrability, this yields new dispersive estimates. The most accurate one is obtained for mono-atomic gases. Then the space-time integral of $trho^frac1d p$ is bounded in terms of the total mass and moment of inertia alone.
In this paper, we obtain some regularities of the free boundary in optimal transportation with the quadratic cost. Our first result is about the $C^{1,alpha}$ regularity of the free boundary for optimal partial transport between convex domains for densities $f, g$ bounded from below and above. When $f, g in C^alpha$, and $partialOmega, partialOmega^*in C^{1,1}$ are far apart, by adopting our recent results on boundary regularity of Monge-Amp`ere equations cite{CLW1}, our second result shows that the free boundaries are $C^{2,alpha}$. As an application, in the last we also obtain these regularities of the free boundary in an optimal transport problem with two separate targets.
In this paper, we consider the pointwise boundary Lipschitz regularity of solutions for the semilinear elliptic equations in divergence form mainly under some weaker assumptions on nonhomogeneous term and the boundary. If the domain satisfies C^{1,text{Dini}} condition at a boundary point, and the nonhomogeneous term satisfies Dini continuous condition and Lipschitz Newtonian potential condition, then the solution is Lipschitz continuous at this point. Furthermore, we generalize this result to Reifenberg C^{1,text{Dini}} domains.