differential-equations / Partial differential equations

Unbounded variation solutions for uniformly elliptic equations in nondivergence form in dimension three

The authors construct smooth AmA_m and smooth solutions umu_m in B2R3B_2\subset\mathbb R^3 with one fixed ellipticity bound IAm281I, I\leq A_m\leq2^{81}I, common boundary data and umL(B2)1\|u_m\|_{L^\infty(B_2)}\leq1, but DumL1(B1). \|Du_m\|_{L^1(B_1)}\to\infty. Thus no interior W1,1W^{1,1} estimate can depend only on dimension and ellipticity. Consequently, no such W1,pW^{1,p} estimate exists for any p1p\geq1. They further obtain a uniformly convergent limit uu with measurable uniformly elliptic coefficient matrix AA, where uBVloc(B1). u\notin BV_{\rm loc}(B_1). The construction even rules out coefficient-independent weak-L1L^1 gradient estimates.

25Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

differential-equationsAug 13, 2026Significance 25/100Registry: unreviewed

Unbounded variation solutions for uniformly elliptic equations in nondivergence form in dimension three

Prior state unknowndisproved

The authors construct smooth AmA_m and smooth solutions umu_m in B2R3B_2\subset\mathbb R^3 with one fixed ellipticity bound IAm281I, I\leq A_m\leq2^{81}I, common boundary data and umL(B2)1\|u_m\|_{L^\infty(B_2)}\leq1, but DumL1(B1). \|Du_m\|_{L^1(B_1)}\to\infty. Thus no interior W1,1W^{1,1} estimate can depend only on dimension and ellipticity. Consequently, no such W1,pW^{1,p} estimate exists for any p1p\geq1. They further obtain a u…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

The authors construct smooth AmA_m and smooth solutions umu_m in B2R3B_2\subset\mathbb R^3 with one fixed ellipticity bound IAm281I, I\leq A_m\leq2^{81}I, common boundary data and umL(B2)1\|u_m\|_{L^\infty(B_2)}\leq1, but DumL1(B1). \|Du_m\|_{L^1(B_1)}\to\infty. Thus no interior W1,1W^{1,1} estimate can depend only on dimension and ellipticity. Consequently, no such W1,pW^{1,p} estimate exists for any p1p\geq1. They further obtain a uniformly convergent limit uu with measurable uniformly elliptic coefficient matrix AA, where uBVloc(B1). u\notin BV_{\rm loc}(B_1). The construction even rules out coefficient-independent weak-L1L^1 gradient estimates.

The authors construct smooth AmA_m and smooth solutions umu_m in B2R3B_2\subset\mathbb R^3 with one fixed ellipticity bound IAm281I, I\leq A_m\leq2^{81}I, common boundary data and umL(B2)1\|u_m\|_{L^\infty(B_2)}\leq1, but DumL1(B1). \|Du_m\|_{L^1(B_1)}\to\infty. Thus no interior W1,1W^{1,1} estimate can depend only on dimension and ellipticity. Consequently, no such W1,pW^{1,p} estimate exists for any p1p\geq1. They further obtain a uniformly convergent limit uu with measurable uniformly elliptic coefficient matrix AA, where uBVloc(B1). u\notin BV_{\rm loc}(B_1). The construction even rules out coefficient-independent weak-L1L^1 gradient estimates.

Recorded attempts

Evidence graph

Connected research record