Non-equivalence of strong and weak Morrey quasiconvexity

Throughout, let QQ be the unit cube in Rn\mathbb R^n. A measurable function f:RnmRf:\mathbb R^{nm}\to\mathbb R is strong Morrey quasiconvex if, for every ϵ>0\epsilon>0, ARnmA\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φLK,maxxQφ(x)δ\lVert D\varphi\rVert_{L^{\infty}}\le K,\qquad \max_{x\in\partial Q}|\varphi(x)|\le\delta

also satisfies

f(A)ess supxQf(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 ARnmA\in\mathbb R^{nm} and every φW01,(Q,Rm)\varphi\in W^{1,\infty}_0(Q,\mathbb R^m),

f(A)ess supxQf(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.

Sources & referencesView supporting material

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.