-
Failure of the Flat Chain Conjecture and non-regularity of the prescribed Jacobian equation
Authors:
Jakub Takáč
Abstract:
We show that the Flat Chain Conjecture in Lang's formulation (that is, without requiring finite mass of the underlying currents) fails for metric $k$-currents in $\mathbb{R}^d$ whenever $d\geq 2$ and $k\in\{1, \dots, d\}$. In all other cases, it holds. We first connect the conjecture to a regularity statement concerning the prescribed Jacobian equation near $L^\infty$. We then show that the equati…
▽ More
We show that the Flat Chain Conjecture in Lang's formulation (that is, without requiring finite mass of the underlying currents) fails for metric $k$-currents in $\mathbb{R}^d$ whenever $d\geq 2$ and $k\in\{1, \dots, d\}$. In all other cases, it holds. We first connect the conjecture to a regularity statement concerning the prescribed Jacobian equation near $L^\infty$. We then show that the equation does not have the required regularity. For a Lipschitz vector field $π$, its derivative $\mathrm{D}π$ exists a.e. and is identified with a matrix. Our non-regularity results for the prescribed Jacobian equation quantify how "small" the set
\begin{equation*}
\operatorname{conv}(\{\operatorname{det}\mathrm{D} π: \operatorname{Lip}(π)\leq L\})\subset L^\infty
\end{equation*}
is for every $L>0$. The symbol "$\operatorname{conv}$" stands for the convex hull. The "smallness" is quantified in topological terms and is used to show that the Flat Chain Conjecture fails.
△ Less
Submitted 16 June, 2025;
originally announced June 2025.
-
Almost compact embeddings between Orlicz and Lorentz spaces
Authors:
Vít Musil,
Luboš Pick,
Jakub Takáč
Abstract:
We characterize when an Orlicz space $L^A$ is almost compactly (uniformly absolutely continuously) embedded into a Lorentz space $L^{p,q}$ in terms of a balance condition involving parameters $p,q\in[1,\infty]$, and a Young function $A$. In the course of the proof, we develop a new method based on an inequality of Young type involving the measure of level sets of a given function.
We characterize when an Orlicz space $L^A$ is almost compactly (uniformly absolutely continuously) embedded into a Lorentz space $L^{p,q}$ in terms of a balance condition involving parameters $p,q\in[1,\infty]$, and a Young function $A$. In the course of the proof, we develop a new method based on an inequality of Young type involving the measure of level sets of a given function.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Typical Lipschitz images of rectifiable metric spaces
Authors:
David Bate,
Jakub Takáč
Abstract:
This article studies typical 1-Lipschitz images of $n$-rectifiable metric spaces $E$ into $\mathbb{R}^m$ for $m\geq n$. For example, if $E\subset \mathbb{R}^k$, we show that the Jacobian of such a typical 1-Lipschitz map equals 1 $\mathcal{H}^n$-almost everywhere and, if $m>n$, preserves the Hausdorff measure of $E$. In general, we provide sufficient conditions, in terms of the tangent norms of…
▽ More
This article studies typical 1-Lipschitz images of $n$-rectifiable metric spaces $E$ into $\mathbb{R}^m$ for $m\geq n$. For example, if $E\subset \mathbb{R}^k$, we show that the Jacobian of such a typical 1-Lipschitz map equals 1 $\mathcal{H}^n$-almost everywhere and, if $m>n$, preserves the Hausdorff measure of $E$. In general, we provide sufficient conditions, in terms of the tangent norms of $E$, for when a typical 1-Lipschitz map preserves the Hausdorff measure of $E$, up to some constant multiple. Almost optimal results for strongly $n$-rectifiable metric spaces are obtained.
On the other hand, for any norm $|\cdot|$ on $\mathbb{R}^m$, we show that, in the space of 1-Lipschitz functions from $([-1,1]^n,|\cdot|_\infty)$ to $(\mathbb{R}^m,|\cdot|)$, the $\mathcal{H}^n$-measure of a typical image is not bounded below by any $Δ>0$.
△ Less
Submitted 28 October, 2024; v1 submitted 13 June, 2023;
originally announced June 2023.
-
Optimality problems in Orlicz spaces
Authors:
Vít Musil,
Luboš Pick,
Jakub Takáč
Abstract:
In mathematical modelling, the data and solutions are represented as measurable functions and their quality is oftentimes captured by the membership to a certain function space. One of the core questions for an analysis of a model is the mutual relationship between the data and solution quality. The optimality of the obtained results deserves a special focus. It requires a careful choice of famili…
▽ More
In mathematical modelling, the data and solutions are represented as measurable functions and their quality is oftentimes captured by the membership to a certain function space. One of the core questions for an analysis of a model is the mutual relationship between the data and solution quality. The optimality of the obtained results deserves a special focus. It requires a careful choice of families of function spaces balancing between their expressivity, i.e. the ability to capture fine properties of the model, and their accessibility, i.e. its technical difficulty for practical use. This paper presents a unified and general approach to optimality problems in Orlicz spaces. Orlicz spaces are parametrized by a single convex function and neatly balance the expressivity and accessibility. We prove a general principle that yields an easily verifiable necessary and sufficient condition for the existence or the non-existence of an optimal Orlicz space in various tasks. We demonstrate its use in specific problems, including the continuity of Sobolev embeddings and boundedness of integral operators such as the Hardy--Littlewood maximal operator and the Laplace transform.
△ Less
Submitted 21 November, 2022; v1 submitted 28 September, 2022;
originally announced September 2022.
-
Optimality of function spaces for kernel integral operators
Authors:
Jakub Takáč
Abstract:
We explore boundedness properties of kernel integral operators acting on rearrangement-invariant (r.i.) spaces. In particular, for a given r.i. space $X$ we characterize its optimal range partner, that is, the smallest r.i. space $Y$ such that the operator is bounded from $X$ to $Y$. We apply the general results to Lorentz spaces to illustrate their strength.
We explore boundedness properties of kernel integral operators acting on rearrangement-invariant (r.i.) spaces. In particular, for a given r.i. space $X$ we characterize its optimal range partner, that is, the smallest r.i. space $Y$ such that the operator is bounded from $X$ to $Y$. We apply the general results to Lorentz spaces to illustrate their strength.
△ Less
Submitted 10 November, 2022; v1 submitted 16 October, 2020;
originally announced October 2020.
