Showing 1–13 of 13 results for author: Maly, L

Non-quasicontinuous Newtonian functions and outer capacities based on Banach function spaces

Authors: Anders Björn, Jana Björn, Lukáš Malý

Abstract: We construct various examples of Sobolev-type functions, defined via upper gradients in metric spaces, that fail to be quasicontinuous or weakly quasicontinuous. This is done with quasi-Banach function lattices $X$ as the function spaces defining the smoothness of the Sobolev-type functions. These results are in contrast to the case $X=L^p$ with $1\le p<\infty$, where all Sobolev-type functions in… ▽ More We construct various examples of Sobolev-type functions, defined via upper gradients in metric spaces, that fail to be quasicontinuous or weakly quasicontinuous. This is done with quasi-Banach function lattices $X$ as the function spaces defining the smoothness of the Sobolev-type functions. These results are in contrast to the case $X=L^p$ with $1\le p<\infty$, where all Sobolev-type functions in $N^p$ are known to be quasicontinuous, provided that the underlying metric space $\mathcal{P}$ is locally complete. In most of our examples, $\mathcal{P}$ is a compact subset of $\mathbf{R}^2$ and $X=L^\infty$. Four particular examples are the damped topologist's sine curve, the von Koch snowflake curve, the Cantor ternary set and the Sierpiński carpet. We also discuss several related properties, such as whether the Sobolev capacity is an outer capacity, and how these properties are related. A fundamental role in these considerations is played by the lack of the Vitali--Carathéodory property. △ Less

Submitted 27 March, 2025; originally announced March 2025.

MSC Class: Primary: 46E36. Secondary: 30L99; 31C15; 31E05; 46B42

A simple proof of reflexivity and separability of $N^{1,p}$ Sobolev spaces

Authors: Ryan Alvarado, Piotr Hajłasz, Lukáš Malý

Abstract: We present an elementary proof of a well-known theorem of Cheeger which states that if a metric-measure space $X$ supports a $p$-Poincaré inequality, then the $N^{1,p}(X)$ Sobolev space is reflexive and separable whenever $p\in (1,\infty)$. We also prove separability of the space when $p=1$. Our proof is based on a straightforward construction of an equivalent norm on $N^{1,p}(X)$,… ▽ More We present an elementary proof of a well-known theorem of Cheeger which states that if a metric-measure space $X$ supports a $p$-Poincaré inequality, then the $N^{1,p}(X)$ Sobolev space is reflexive and separable whenever $p\in (1,\infty)$. We also prove separability of the space when $p=1$. Our proof is based on a straightforward construction of an equivalent norm on $N^{1,p}(X)$, $p\in [1,\infty)$, that is uniformly convex when $p\in (1,\infty)$. Finally, we explicitly construct a functional that is pointwise comparable to the minimal $p$-weak upper gradient, when $p\in (1,\infty)$. △ Less

Submitted 4 February, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

MSC Class: Primary 46E36; 30L99; Secondary 31E05; 43A85

Standalone Neural ODEs with Sensitivity Analysis

Authors: Rym Jaroudi, Lukáš Malý, Gabriel Eilertsen, B. Tomas Johansson, Jonas Unger, George Baravdish

Abstract: This paper presents the Standalone Neural ODE (sNODE), a continuous-depth neural ODE model capable of describing a full deep neural network. This uses a novel nonlinear conjugate gradient (NCG) descent optimization scheme for training, where the Sobolev gradient can be incorporated to improve smoothness of model weights. We also present a general formulation of the neural sensitivity problem and s… ▽ More This paper presents the Standalone Neural ODE (sNODE), a continuous-depth neural ODE model capable of describing a full deep neural network. This uses a novel nonlinear conjugate gradient (NCG) descent optimization scheme for training, where the Sobolev gradient can be incorporated to improve smoothness of model weights. We also present a general formulation of the neural sensitivity problem and show how it is used in the NCG training. The sensitivity analysis provides a reliable measure of uncertainty propagation throughout a network, and can be used to study model robustness and to generate adversarial attacks. Our evaluations demonstrate that our novel formulations lead to increased robustness and performance as compared to ResNet models, and that it opens up for new opportunities for designing and developing machine learning with improved explainability. △ Less

Submitted 8 June, 2022; v1 submitted 27 May, 2022; originally announced May 2022.

Comments: 25 pages, 15 figures; typos corrected

MSC Class: 68T07; 34H05; 49N45

Learning via nonlinear conjugate gradients and depth-varying neural ODEs

Authors: George Baravdish, Gabriel Eilertsen, Rym Jaroudi, B. Tomas Johansson, Lukáš Malý, Jonas Unger

Abstract: The inverse problem of supervised reconstruction of depth-variable (time-dependent) parameters in a neural ordinary differential equation (NODE) is considered, that means finding the weights of a residual network with time continuous layers. The NODE is treated as an isolated entity describing the full network as opposed to earlier research, which embedded it between pre- and post-appended layers… ▽ More The inverse problem of supervised reconstruction of depth-variable (time-dependent) parameters in a neural ordinary differential equation (NODE) is considered, that means finding the weights of a residual network with time continuous layers. The NODE is treated as an isolated entity describing the full network as opposed to earlier research, which embedded it between pre- and post-appended layers trained by conventional methods. The proposed parameter reconstruction is done for a general first order differential equation by minimizing a cost functional covering a variety of loss functions and penalty terms. A nonlinear conjugate gradient method (NCG) is derived for the minimization. Mathematical properties are stated for the differential equation and the cost functional. The adjoint problem needed is derived together with a sensitivity problem. The sensitivity problem can estimate changes in the network output under perturbation of the trained parameters. To preserve smoothness during the iterations the Sobolev gradient is calculated and incorporated. As a proof-of-concept, numerical results are included for a NODE and two synthetic datasets, and compared with standard gradient approaches (not based on NODEs). The results show that the proposed method works well for deep learning with infinite numbers of layers, and has built-in stability and smoothness. △ Less

Submitted 11 February, 2022; originally announced February 2022.

Comments: 26 pages, 3 figures

MSC Class: 68T07; 34H05; 49N45

An Analog of the Neumann Problem for the $1$-Laplace Equation in the Metric Setting: Existence, Boundary Regularity, and Stability

Authors: Panu Lahti, Lukas Maly, Nageswari Shanmugalingam

Abstract: We study an inhomogeneous Neumann boundary value problem for functions of least gradient on bounded domains in metric spaces that are equipped with a doubling measure and support a Poincaré inequality. We show that solutions exist under certain regularity assumptions on the domain, but are generally nonunique. We also show that solutions can be taken to be differences of two characteristic functio… ▽ More We study an inhomogeneous Neumann boundary value problem for functions of least gradient on bounded domains in metric spaces that are equipped with a doubling measure and support a Poincaré inequality. We show that solutions exist under certain regularity assumptions on the domain, but are generally nonunique. We also show that solutions can be taken to be differences of two characteristic functions, and that they are regular up to the boundary when the boundary is of positive mean curvature. By regular up to the boundary we mean that if the boundary data is $1$ in a neighborhood of a point on the boundary of the domain, then the solution is $-1$ in the intersection of the domain with a possibly smaller neighborhood of that point. Finally, we consider the stability of solutions with respect to boundary data. △ Less

Submitted 7 August, 2017; originally announced August 2017.

Comments: 8 figures

Domains in metric measure spaces with boundary of positive mean curvature, and the Dirichlet problem for functions of least gradient

Authors: Panu Lahti, Lukas Maly, Nageswari Shanmugalingam, Gareth Speight

Abstract: We study the geometry of domains in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality. We propose a notion of \emph{domain with boundary of positive mean curvature} and prove that, for such domains, there is always a solution to the Dirichlet problem for least gradients with continuous boundary data. Here \emph{least gradient} is defined as minimi… ▽ More We study the geometry of domains in complete metric measure spaces equipped with a doubling measure supporting a $1$-Poincaré inequality. We propose a notion of \emph{domain with boundary of positive mean curvature} and prove that, for such domains, there is always a solution to the Dirichlet problem for least gradients with continuous boundary data. Here \emph{least gradient} is defined as minimizing total variation (in the sense of BV functions) and boundary conditions are satisfied in the sense that the \emph{boundary trace} of the solution exists and agrees with the given boundary data. This extends the result of Sternberg, Williams and Ziemer to the non-smooth setting. Via counterexamples we also show that uniqueness of solutions and existence of \emph{continuous} solutions can fail, even in the weighted Euclidean setting with Lipschitz weights. △ Less

Submitted 22 June, 2017; originally announced June 2017.

MSC Class: 31E05; 30L99; 51F99; 26A45

Trace and extension theorems for Sobolev-type functions in metric spaces

Authors: Lukáš Malý

Abstract: Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-$θ$ bound are considered. Based on a Poincaré inequality, existence of a Borel measurable trace is proven whenever the power of integrability of the "gradient" exceeds $θ$. The trace $T$ is shown to be a compact operator mapping a Sobolev-t… ▽ More Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-$θ$ bound are considered. Based on a Poincaré inequality, existence of a Borel measurable trace is proven whenever the power of integrability of the "gradient" exceeds $θ$. The trace $T$ is shown to be a compact operator mapping a Sobolev-type space on a domain into a Besov space on the boundary. Sufficient conditions for $T$ to be surjective are found and counterexamples showing that surjectivity may fail are also provided. The case when the exponent of integrability of the "gradient" is equal to $θ$, i.e., the codimension of the boundary, is also discussed. Under some additional assumptions, the trace lies in $L^θ$ on the boundary then. Essential sharpness of these extra assumptions is illustrated by an example. △ Less

Submitted 20 April, 2017; originally announced April 2017.

MSC Class: 46E35 (Primary); 26B30; 26B35; 30L99; 31E05; 46E30 (Secondary)

Neumann problem for p-Laplace equation in metric spaces using a variational approach: existence, boundedness, and boundary regularity

Authors: Lukáš Malý, Nageswari Shanmugalingam

Abstract: We employ a variational approach to study the Neumann boundary value problem for the $p$-Laplacian on bounded smooth-enough domains in the metric setting, and show that solutions exist and are bounded. The boundary data considered are Borel measurable bounded functions. We also study boundary continuity properties of the solutions. One of the key tools utilized is the trace theorem for Newton-Sobo… ▽ More We employ a variational approach to study the Neumann boundary value problem for the $p$-Laplacian on bounded smooth-enough domains in the metric setting, and show that solutions exist and are bounded. The boundary data considered are Borel measurable bounded functions. We also study boundary continuity properties of the solutions. One of the key tools utilized is the trace theorem for Newton-Sobolev functions, and another is an analog of the De Giorgi inequality adapted to the Neumann problem. △ Less

Submitted 21 September, 2016; originally announced September 2016.

MSC Class: 31E05 (Primary); 30L99; 30E25; 46E35 (Secondary)

Trace and extension theorems for functions of bounded variation

Authors: Lukáš Malý, Nageswari Shanmugalingam, Marie Snipes

Abstract: In this paper we show that every $L^1$-integrable function on $\partialΩ$ can be obtained as the trace of a function of bounded variation in $Ω$ whenever $Ω$ is a domain with regular boundary $\partialΩ$ in a doubling metric measure space. In particular, the trace class of $BV(Ω)$ is $L^1(\partialΩ)$ provided that $Ω$ supports a 1-Poincaré inequality. We also construct a bounded linear extension f… ▽ More In this paper we show that every $L^1$-integrable function on $\partialΩ$ can be obtained as the trace of a function of bounded variation in $Ω$ whenever $Ω$ is a domain with regular boundary $\partialΩ$ in a doubling metric measure space. In particular, the trace class of $BV(Ω)$ is $L^1(\partialΩ)$ provided that $Ω$ supports a 1-Poincaré inequality. We also construct a bounded linear extension from a Besov class of functions on $\partialΩ$ to $BV(Ω)$. △ Less

Submitted 11 July, 2016; v1 submitted 13 November, 2015; originally announced November 2015.

MSC Class: 46E35 (Primary); 26A45; 26B30; 30L99; 31E05 (Secondary)

Regularization of Newtonian functions via weak boundedness of maximal operators

Authors: Lukáš Malý

Abstract: Density of Lipschitz functions in Newtonian spaces based on quasi-Banach function lattices is discussed. Newtonian spaces are first-order Sobolev-type spaces on abstract metric measure spaces defined via (weak) upper gradients. Our main focus lies on metric spaces with a doubling measure that support a $p$-Poincaré inequality. Absolute continuity of the function lattice quasi-norm is shown to be c… ▽ More Density of Lipschitz functions in Newtonian spaces based on quasi-Banach function lattices is discussed. Newtonian spaces are first-order Sobolev-type spaces on abstract metric measure spaces defined via (weak) upper gradients. Our main focus lies on metric spaces with a doubling measure that support a $p$-Poincaré inequality. Absolute continuity of the function lattice quasi-norm is shown to be crucial for approximability by (locally) Lipschitz functions. The proof of the density result uses, among others, that a suitable maximal operator is locally weakly bounded. In particular, various sufficient conditions for such boundedness on rearrangement-invariant spaces are established and applied. △ Less

Submitted 28 April, 2014; originally announced April 2014.

MSC Class: 46E35 (Primary); 30L99; 42B25; 46E30 (Secondary)

Fine properties of Newtonian functions and the Sobolev capacity on metric measure spaces

Authors: Lukáš Malý

Abstract: Newtonian spaces generalize first-order Sobolev spaces to abstract metric measure spaces. In this paper, we study regularity of Newtonian functions based on quasi-Banach function lattices. Their (weak) quasi-continuity is established, assuming density of continuous functions. The corresponding Sobolev capacity is shown to be an outer capacity. Assuming sufficiently high integrability of upper grad… ▽ More Newtonian spaces generalize first-order Sobolev spaces to abstract metric measure spaces. In this paper, we study regularity of Newtonian functions based on quasi-Banach function lattices. Their (weak) quasi-continuity is established, assuming density of continuous functions. The corresponding Sobolev capacity is shown to be an outer capacity. Assuming sufficiently high integrability of upper gradients, Newtonian functions are shown to be (essentially) bounded and (Hölder) continuous. Particular focus is put on the borderline case when the degree of integrability equals the "dimension of the measure". If Lipschitz functions are dense in a Newtonian space on a proper metric space, then locally Lipschitz functions are proven dense in the corresponding Newtonian space on open subsets, where no hypotheses (besides being open) are put on these sets. △ Less

Submitted 28 April, 2014; originally announced April 2014.

MSC Class: 46E35 (Primary); 28A12; 30L99; 46E30 (Secondary)

Journal ref: Rev. Mat. Iberoam. 32 (2016), 219-255

Minimal weak upper gradients in Newtonian spaces based on quasi-Banach function lattices

Authors: Lukáš Malý

Abstract: Properties of first-order Sobolev-type spaces on abstract metric measure spaces, so-called Newtonian spaces, based on quasi-Banach function lattices are investigated. The set of all weak upper gradients of a Newtonian function is of particular interest. Existence of minimal weak upper gradients in this general setting is proven and corresponding representation formulae are given. Furthermore, the… ▽ More Properties of first-order Sobolev-type spaces on abstract metric measure spaces, so-called Newtonian spaces, based on quasi-Banach function lattices are investigated. The set of all weak upper gradients of a Newtonian function is of particular interest. Existence of minimal weak upper gradients in this general setting is proven and corresponding representation formulae are given. Furthermore, the connection between pointwise convergence of a sequence of Newtonian functions and its convergence in norm is studied. △ Less

Submitted 4 October, 2012; originally announced October 2012.

MSC Class: 46E35 (Primary); 30L99; 46E30 (Secondary)

Journal ref: Ann. Acad. Sci. Fenn. Math. 38 (2013), 727-745

Newtonian spaces based on quasi-Banach function lattices

Authors: Lukáš Malý

Abstract: In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach function lattice. This approach gives rise to so-called Newtonian spaces. Tools such as moduli of curve families and Sobolev capacity are developed, which allow… ▽ More In this paper, first-order Sobolev-type spaces on abstract metric measure spaces are defined using the notion of (weak) upper gradients, where the summability of a function and its upper gradient is measured by the "norm" of a quasi-Banach function lattice. This approach gives rise to so-called Newtonian spaces. Tools such as moduli of curve families and Sobolev capacity are developed, which allows us to study basic properties of these spaces. The absolute continuity of Newtonian functions along curves and the completeness of Newtonian spaces in this general setting are established. △ Less

Submitted 28 April, 2014; v1 submitted 4 October, 2012; originally announced October 2012.

Comments: Minor revision: added remarks on equivalent definitions of the Newtonian norm and the Sobolev capacity; updated the reference list; corrected Example 2.1(d); the numbering of theorems etc. is now consistent with the current version of the paper that will appear in Mathematica Scandinavica

MSC Class: 46E35 (Primary); 28A12; 30L99; 46E30 (Secondary)

Journal ref: Math. Scand. 119 (2016), 133--160