ScalingStacks

Definition 6.1 . [05BK]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Definition 6.1.

Let Ω⊆ℝn\Omega\subseteq\mathbb{R}^{n} be an open subset and k∈ℕk\in\mathbb{N}. We write Ck​(Ω)C^{k}(\Omega) for the space of real valued, kk times continuously differentiable functions on Ω\Omega. Furthermore we denote by Ll​o​c1​(Ω)L_{loc}^{1}(\Omega) the space of locally integrable functions on Ω\Omega i.e. functions f:Ω→ℝf:\Omega\rightarrow\mathbb{R} such that the restriction of ff to any compact subset of Ω\Omega is integrable. Let f,g∈Ll​o​c1​(Ω)f,g\in L_{loc}^{1}(\Omega) and β∈ℕn\beta\in\mathbb{N}^{n}. We say that gg is the β\beta-th weak derivative of ff if for any test function φ∈C∞​(Ω)\varphi\in C^{\infty}(\Omega) with compact support we have

∫Ωf​Dβ​φ​𝑑𝒙=(−1)|β|​∫Ωg​φ​𝑑𝒙\int_{\Omega}fD^{\beta}\varphi\;\boldsymbol{dx}=(-1)^{|\beta|}\int_{\Omega}g\varphi\;\boldsymbol{dx}

where 𝒅​𝒙\boldsymbol{dx} denotes the Lebesgue measure on ℝn\mathbb{R}^{n}. We denote by Wl​o​ck,1​(Ω)W^{k,1}_{loc}(\Omega) the space of locally integrable functions on Ω\Omega whose weak derivatives exist up to order kk.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.