2025/09/24 by Ilmari Kangasniemi, Kangasniemi, Ilmari, Jani Onninen +1
Computer Science · Mathematics · #Analytic and geometric function theory #Class (philosophy) #Contact Mechanics and Variational Inequalities #Distortion (music) #Inequality #Lagrangian #Nonlinear Partial Differential Equations #Sobolev inequality #Sobolev space
paper · pdf · doi:10.48550/arxiv.2509.20326
published in arXiv (Cornell University) (Cornell University)
openalex publication_date 2025/09/24 · openalex created_date 2025/10/10 · openalex updated_date 2026/08/06
We prove the continuity of Sobolev functions φ∈ W1,nloc(Ω), Ω⊂ ℝn, that satisfy |∇ φ(x)|n ≤ K(x)(⟨ ∇ φ(x), ξ(x)⟩ + A(x)), where ξ∈ Llocn/(n-1)(Ω, ℝn) is weakly divergence-free, and K ∈ Lploc (Ω), A ∈ Lqloc (Ω) are non-negative with p-1+q-1<1. The result is applicable to a broad class of differential inequalities of null Lagrangian type. As our principal application, we obtain a sharp continuity theorem for f ∈ W1,nloc (Ω, ℝn) satisfying the distortion inequality with defect | Df(x)|n ≤ K(x)det Df(x) + Σ(x); this result is new even in the planar case, and closes a significant gap between existing methods and known counterexamples. The proof relies on an overlooked Sobolev-type inequality formulated in terms of measures of superlevel sets.