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 B2⊂R3B_2\subset\mathbb R^3 with one fixed ellipticity bound I≤Am≤281I, I\leq A_m\leq2^{81}I, common boundary data and ∥um∥L∞(B2)≤1\|u_m\|_{L^\infty(B_2)}\leq1, but ∥Dum∥L1(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 p≥1p\geq1. They further obtain a uniformly convergent limit uu with measurable uniformly elliptic coefficient matrix AA, where u∉BVloc(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 unknown→disproved

The authors construct smooth AmA_m and smooth solutions umu_m in B2⊂R3B_2\subset\mathbb R^3 with one fixed ellipticity bound I≤Am≤281I, I\leq A_m\leq2^{81}I, common boundary data and ∥um∥L∞(B2)≤1\|u_m\|_{L^\infty(B_2)}\leq1, but ∥Dum∥L1(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 p≥1p\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 B2⊂R3B_2\subset\mathbb R^3 with one fixed ellipticity bound I≤Am≤281I, I\leq A_m\leq2^{81}I, common boundary data and ∥um∥L∞(B2)≤1\|u_m\|_{L^\infty(B_2)}\leq1, but ∥Dum∥L1(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 p≥1p\geq1. They further obtain a uniformly convergent limit uu with measurable uniformly elliptic coefficient matrix AA, where u∉BVloc(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 B2⊂R3B_2\subset\mathbb R^3 with one fixed ellipticity bound I≤Am≤281I, I\leq A_m\leq2^{81}I, common boundary data and ∥um∥L∞(B2)≤1\|u_m\|_{L^\infty(B_2)}\leq1, but ∥Dum∥L1(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 p≥1p\geq1. They further obtain a uniformly convergent limit uu with measurable uniformly elliptic coefficient matrix AA, where u∉BVloc(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

Unbounded variation solutions for uniformly elliptic equations in nondivergence form in dimension three — Mathematical Frontier Network