Absolutely continuous functions of several variables (Q1283113): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:48, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Absolutely continuous functions of several variables |
scientific article |
Statements
Absolutely continuous functions of several variables (English)
0 references
3 November 1999
0 references
The aim of the paper is to introduce a function space which seems to be the right extension to more than one independent variable of the classical space of absolutely continuous functions introduced by Vitali. A mapping \(\varphi:\Omega\subset{\mathbb R}^n\to {\mathbb R}^d\) is said to be \(n\)-absolutely continuous (in symbols, \(\varphi\in AC_n(\Omega)\)) if for any \(\varepsilon>0\) there exists \(\delta>0\) such that \[ \sum_i {\mathcal L}^n(B_i)<\delta \Longrightarrow \sum_i\bigl(\text{osc}_{B_i} \varphi\bigr)^n<\varepsilon \] whenever \(B_i\subset\Omega\) are pairwise disjoint. The author proves that any mapping in this class belongs to the Sobolev space \(W^{1,n}\) and that any mapping in \(W^{1,p}\) for some \(p>n\) is \(n\)-absolutely continuous. Moreover, many results previously known for \(W^{1,p}\) functions for some \(p>n\), or for functions whose weak gradient is in the Lorentz space \(L^{n,1}\) (differentiability a.e., Lusin property, degree, area and coarea formulas), can be extended to \(AC_n\) functions and proved in a unified way. It is also proved that spherically pseudomonotone functions are \(n\)-absolutely continuous.
0 references
absolute continuity
0 references
differentiability
0 references
monotone mappings
0 references