Iwaniec's continuous right-inverse conjecture for the Jacobian

About 7 years old · traced to

For p in [1,infinity)p\text{ in }[1,\text{infinity}), consider the Jacobian operator

J⁡ ⁣:W˙1,np(Rn,Rn)→Hp(Rn),\operatorname{J}\colon \dot{W}^{1,np}(\mathbb{R}^n,\mathbb{R}^n)\to \mathscr{H}^p(\mathbb{R}^n),

where Hp(Rn)\mathscr{H}^p(\mathbb{R}^n) is the real Hardy space and W˙1,np(Rn,Rn)\dot{W}^{1,np}(\mathbb{R}^n,\mathbb{R}^n) is the homogeneous Sobolev space. Iwaniec's conjecture. For each p∈[1,∞)p\in[1,\infty), there is a continuous map

E ⁣:Hp(Rn)→W˙1,np(Rn,Rn)E\colon \mathscr{H}^p(\mathbb{R}^n)\to \dot{W}^{1,np}(\mathbb{R}^n,\mathbb{R}^n)

such that

J⁡∘E=Id⁡.\operatorname{J}\circ E=\operatorname{Id}.

Thus the Jacobian has a continuous right inverse. The conjecture strengthens the outstanding surjectivity problem for the Jacobian; for p>1p>1, the Hardy space agrees with Lp(Rn),L^p(\mathbb{R}^n), but the supplied text gives no resolution of the conjecture.

References

Primary source

André Guerra, Lukas Koch and Sauli Lindberg, “Energy minimisers with prescribed Jacobian”, arXiv:2012.10132 (2020).

Additional references

3 papers in this index state this conjecture (2019–2020). The statement above is taken from the most recent of them; the others are arXiv:2010.10497, arXiv:1905.00814.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.