Characterization of functions with zero traces via the distance function and Lorentz spaces

Aleš Nekvinda,Hana Turčinová

DOI: https://doi.org/10.1016/j.jmaa.2023.127567

IF: 1.417

2024-01-01

Journal of Mathematical Analysis and Applications

Abstract:Consider a regular domain Ω ⊂ R N and let d ( x ) = dist ( x , ∂ Ω ) . Denote L a 1 , ∞ ( Ω ) the space of functions from L 1 , ∞ ( Ω ) having absolutely continuous quasinorms. This set is essentially smaller than L 1 , ∞ ( Ω ) but, at the same time, essentially larger than the union of all L 1 , q ( Ω ) , q ∈ [ 1 , ∞ ) . A classical result of late 1980's states that for p ∈ ( 1 , ∞ ) and m ∈ N , u belongs to the Sobolev space W 0 m , p ( Ω ) if and only if u / d m ∈ L p ( Ω ) and | ∇ m u | ∈ L p ( Ω ) . During the consequent decades, several authors have spent considerable effort in order to relax the characterizing condition. Recently, it was proved that u ∈ W 0 m , p ( Ω ) if and only if u / d m ∈ L 1 ( Ω ) and | ∇ m u | ∈ L p ( Ω ) . In this paper we show that for N ≥ 1 and p ∈ ( 1 , ∞ ) we have u ∈ W 0 1 , p ( Ω ) if and only if u / d ∈ L a 1 , ∞ ( Ω ) and | ∇ u | ∈ L p ( Ω ) . Moreover, we present a counterexample which demonstrates that after relaxing the condition u / d ∈ L a 1 , ∞ ( Ω ) to u / d ∈ L 1 , ∞ ( Ω ) the equivalence no longer holds.

mathematics, applied