English

Bourgain-Brezis spaces obtained by real interpolation

Functional Analysis 2026-04-28 v1

Abstract

In 2002, Bourgain and Brezis proved that for the space X=W1,dX=W^{1,d} (on Td\mathbb{T}^{d}, with d2d\geq2) we have the equality of images \begin{equation} \operatorname{div} (L^{\infty}\cap X)=\operatorname{div} X, \tag{\ast} \end{equation} i.e., given a vector field vXv\in X there exists a vector field uLXu\in L^{\infty }\cap X such that \operatorname{div} u=\operatorname{div] v . In this paper we show that if XX is a function space satisfying (\ast) then, any real interpolation space Xθ,q=(L,X)θ,qX_{\theta,q}=(L^{\infty},X)_{\theta,q} (where θ(0,1)\theta\in (0,1) and q[1,)q\in [1,\infty)) also satisfies (\ast). The proof is based on a general method that allows us to interpolate solutions of linear equations.

Cite

@article{arxiv.2604.23158,
  title  = {Bourgain-Brezis spaces obtained by real interpolation},
  author = {Eduard Curcă},
  journal= {arXiv preprint arXiv:2604.23158},
  year   = {2026}
}

Comments

15 pages, 1 figure

R2 v1 2026-07-01T12:34:50.973Z