Fractional Integration and Optimal Estimates for Elliptic Systems

TL;DR

This paper proves an optimal Lorentz space estimate for a Div-Curl system in Euclidean space, utilizing a new endpoint Hardy-Littlewood-Sobolev inequality for divergence-free measures.

Contribution

It introduces a novel endpoint inequality for divergence-free measures and applies it to establish optimal Lorentz estimates for elliptic systems.

Findings

Established an optimal Lorentz estimate for the Div-Curl system.

Developed an atomic decomposition for divergence-free measures.

Proved a new endpoint Hardy-Littlewood-Sobolev inequality.

Abstract

In this paper we give an affirmative answer to the Euclidean analogue of a question of Bourgain and Brezis concerning the optimal Lorentz estimate for a Div-Curl system: The function $Z=\operatorname*{curl} (-\Delta)^{-1} F$ satisfies \begin{align*} \operatorname*{curl} Z = F \newline \operatorname*{div} Z = 0 \end{align*} and there exists a constant $C>0$ such that \begin{align*} \| Z\|_{L^{3/2,1}(\mathbb{R}^3;\mathbb{R}^3)} \leq C\| F\|_{L^{1}(\mathbb{R}^3;\mathbb{R}^3)}. \end{align*} Our proof relies on a new endpoint Hardy-Littlewood-Sobolev inequality for divergence free measures which we obtain via a result of independent interest, an atomic decomposition of such objects.