Non-equivalence of strong and weak Morrey quasiconvexity

About 17 years old · traced to

Throughout, let QQ be the unit cube in Rn\mathbb R^n. A measurable function f:Rnm→Rf:\mathbb R^{nm}\to\mathbb R is strong Morrey quasiconvex if, for every ϵ>0\epsilon>0, A∈RnmA\in\mathbb R^{nm}, and K>0K>0, there exists δ=δ(ϵ,K,A)>0\delta=\delta(\epsilon,K,A)>0 such that every φ∈W1,∞(Q,Rm)\varphi\in W^{1,\infty}(Q,\mathbb R^m) satisfying

∥Dφ∥L∞≤K,max⁡x∈∂Q∣φ(x)∣≤δ\lVert D\varphi\rVert_{L^{\infty}}\le K,\qquad \max_{x\in\partial Q}|\varphi(x)|\le\delta

also satisfies

f(A)≤ess sup⁡x∈Qf(A+Dφ(x))+ϵ.f(A)\le\operatorname{ess\,sup}_{x\in Q}f(A+D\varphi(x))+\epsilon.

It is weak Morrey quasiconvex if, for every A∈RnmA\in\mathbb R^{nm} and every φ∈W01,∞(Q,Rm)\varphi\in W^{1,\infty}_0(Q,\mathbb R^m),

f(A)≤ess sup⁡x∈Qf(A+Dφ(x)).f(A)\le\operatorname{ess\,sup}_{x\in Q}f(A+D\varphi(x)).

Non-equivalence conjecture. If m,n>1m,n>1 and ff is lower semicontinuous, then strong Morrey quasiconvexity and weak Morrey quasiconvexity are not equivalent.

References

Primary source

Hung Vinh Tran, “On the conjecture about Morrey quasiconvexity in L^”, arXiv:0909.1982 (2009).

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.