Higher-dimensional subharmonic gradient inequality

Let ΩRd\Omega\subset\mathbb{R}^d be an open subset with smooth boundary. For λC(Ω)\lambda\in C^\infty(\overline{\Omega}) with λ>0\lambda>0 on Ω\overline{\Omega}, and ϕ,ψC2(Ω)\phi,\psi\in C^2(\overline{\Omega}) vanishing on Ω\partial\Omega and both subharmonic with respect to (λ)-\nabla(\lambda\nabla), the higher-dimensional gradient inequality conjecture. There exists a constant Cd,ΩC_{d,\Omega} depending only on dd and Ω\Omega such that

Ωλ(x)ϕ(x).ψ(x)dxCd,ΩΩλ(x)ϕ(x).ψ(x)dx.\int_{\Omega}\lambda(x)|\nabla\phi(x)\mathbin{.}\nabla\psi(x)|\,dx\leq C_{d,\Omega}\int_{\Omega}\lambda(x)\nabla\phi(x)\mathbin{.}\nabla\psi(x)\,dx.

The source proves the corresponding one-dimensional inequality with optimal constant 33 and proposes this extension to higher dimensions; no resolution is given in the supplied text.

Sources & referencesView supporting material

Primary source

Houman Owhadi, “Anomalous Slow Diffusion from Perpetual Homogenization”, arXiv:math/0105165 (2004).

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.