Showing 1–17 of 17 results for author: Zürcher, T

Invariant Probability Measures under $p$-adic Transformations

Authors: Oleksandr V. Maslyuchenko, Janusz Morawiec, Thomas Zürcher

Abstract: It is well-known that the Lebesgue measure is the unique absolutely continuous invariant probability measure under the $p$-adic transformation. The purpose of this paper is to characterize the family of all invariant probability measures under the $p$-adic transformation and to provide some description of them. In particular, we describe the subfamily of all atomic invariant measures under the… ▽ More It is well-known that the Lebesgue measure is the unique absolutely continuous invariant probability measure under the $p$-adic transformation. The purpose of this paper is to characterize the family of all invariant probability measures under the $p$-adic transformation and to provide some description of them. In particular, we describe the subfamily of all atomic invariant measures under the $p$-adic transformation as well as the subfamily of all continuous and singular invariant probability measures under the $p$-adic transformation. Iterative functional equations play the base role in our considerations. △ Less

Submitted 31 May, 2025; v1 submitted 9 December, 2024; originally announced December 2024.

MSC Class: Primary 37E05; 39B12; Secondary 26A30; 28D05

Another look at the Matkowski and Wesołowski problem yielding a new class of solutions

Authors: Janusz Morawiec, Thomas Zürcher

Abstract: The following MW--problem was posed independently by Janusz Matkowski and Jacek Wesołowski in different forms in 1985 and 2009, respectively: Are there increasing and continuous functions $\varphi\colon [0,1]\to [0,1]$, distinct from the identity on $[0,1]$, such that $\varphi(0)=0$, $\varphi(1)=1$ and $\varphi(x)=\varphi(\frac{x}{2})+\varphi(\frac{x+1}{2})-\varphi(\frac{1}{2})$ for every… ▽ More The following MW--problem was posed independently by Janusz Matkowski and Jacek Wesołowski in different forms in 1985 and 2009, respectively: Are there increasing and continuous functions $\varphi\colon [0,1]\to [0,1]$, distinct from the identity on $[0,1]$, such that $\varphi(0)=0$, $\varphi(1)=1$ and $\varphi(x)=\varphi(\frac{x}{2})+\varphi(\frac{x+1}{2})-\varphi(\frac{1}{2})$ for every $x\in[0,1]$? By now, it is known that each of the de Rham functions $R_p$, where $p\in(0,1)$, is a solution of the MW--problem, and for any Borel probability measure $μ$ concentrated on $(0,1)$ the formula $φ_μ(x)=\int_{(0,1)}R_p(x) dμ(p)$ defines a solution $φ_μ\colon[0,1]\to[0,1]$ of this problem as well. In this paper, we give a new family of solutions of the MW--problem consisting of Cantor-type functions. We also prove that there are strictly increasing solutions of the MW--problem that are not of the above integral form with any Borel probability measure $μ$. △ Less

Submitted 20 May, 2024; originally announced May 2024.

MSC Class: 37E05; 39B12; 44A60; 26A30

On sets where lip(f) is infinite for monotone continuous functions

Authors: Martin Rmoutil, Thomas Zürcher

Abstract: Given an F-sigma-delta subset A of the real line R of Lebesgue measure zero, we construct a monotone absolutely continuous function f from R to R such that the little Lipschitz constant of f is equal to infinity exactly at points of A. Given an F-sigma-delta subset A of the real line R of Lebesgue measure zero, we construct a monotone absolutely continuous function f from R to R such that the little Lipschitz constant of f is equal to infinity exactly at points of A. △ Less

Submitted 27 January, 2024; originally announced January 2024.

Linear Functional Equations and their Solutions in Lorentz Spaces

Authors: Janusz Morawiec, Thomas Zürcher

Abstract: Assume that $Ω\subset \mathbb{R}^k$ is an open set, $V$ is a separable Banach space over a field $\mathbb K\in\{\mathbb R,\mathbb C\}$ and $f_1,\ldots,f_N \colonΩ\to Ω$, $g_1,\ldots, g_N\colonΩ\to \mathbb{K}$, $h_0\colon Ω\to V$ are given functions. We are interested in the existence and uniqueness of solutions $\varphi\colon Ω\to V$ of the linear functional equation… ▽ More Assume that $Ω\subset \mathbb{R}^k$ is an open set, $V$ is a separable Banach space over a field $\mathbb K\in\{\mathbb R,\mathbb C\}$ and $f_1,\ldots,f_N \colonΩ\to Ω$, $g_1,\ldots, g_N\colonΩ\to \mathbb{K}$, $h_0\colon Ω\to V$ are given functions. We are interested in the existence and uniqueness of solutions $\varphi\colon Ω\to V$ of the linear functional equation $\varphi=\sum_{k=1}^{N}g_k\cdot(\varphi\circ f_k)+h_0$ in Lorentz spaces. △ Less

Submitted 7 January, 2021; originally announced January 2021.

MSC Class: 47A50 (Primary) 26A24; 39B12; 47B38 (Secondary)

Monotone mappings and lines

Authors: Wiesław Kubiś, Janusz Morawiec, Thomas Zürcher

Abstract: We study betweenness preserving mappings (we call them \emph{monotone}) defined on subsets of the plane. Once the domain is a convex set, such a mapping is either the restriction of a homography, or its image is contained in the union of a line and a single point, or its image consists of five points, one of them being between two disjoint pairs of the other four points. We also show that an open… ▽ More We study betweenness preserving mappings (we call them \emph{monotone}) defined on subsets of the plane. Once the domain is a convex set, such a mapping is either the restriction of a homography, or its image is contained in the union of a line and a single point, or its image consists of five points, one of them being between two disjoint pairs of the other four points. We also show that an open planar set cannot be mapped in a one-to-one monotone way into the real line. From this we deduce that a one-to-one monotone mapping from a convex planar set with nonempty interior is necessarily a partial homography. Finally, we prove that a set consisting of three pairwise non-parallel lines does not admit a one-to-one monotone mapping into the real line, while on the other hand a set consisting of three closed line segments intersecting at a single point does admit such a mapping. △ Less

Submitted 16 November, 2022; v1 submitted 29 April, 2020; originally announced April 2020.

Comments: Final version (21 pages, 4 figures)

MSC Class: 52A10; 52C45; 03E05

Some Class of Linear Operators Involved in Functional Equations

Authors: Janusz Morawiec, Thomas Zürcher

Abstract: Fix $N\in\mathbb N$ and assume that for every $n\in\{1,\ldots, N\}$ the functions $f_n\colon[0,1]\to[0,1]$ and $g_n\colon[0,1]\to\mathbb R$ are Lebesgue measurable, $f_n$ is almost everywhere approximately differentiable with $|g_n(x)|<|f'_n(x)|$ for almost all $x\in [0,1]$, there exists $K\in\mathbb N$ such that the set $\{x\in [0,1]:\mathrm{card}{f_n^{-1}(x)}>K\}$ is of Lebesgue measure zero,… ▽ More Fix $N\in\mathbb N$ and assume that for every $n\in\{1,\ldots, N\}$ the functions $f_n\colon[0,1]\to[0,1]$ and $g_n\colon[0,1]\to\mathbb R$ are Lebesgue measurable, $f_n$ is almost everywhere approximately differentiable with $|g_n(x)|<|f'_n(x)|$ for almost all $x\in [0,1]$, there exists $K\in\mathbb N$ such that the set $\{x\in [0,1]:\mathrm{card}{f_n^{-1}(x)}>K\}$ is of Lebesgue measure zero, $f_n$ satisfy Luzin's condition N, and the set $f_n^{-1}(A)$ is of Lebesgue measure zero for every set $A\subset\mathbb R$ of Lebesgue measure zero. We show that the formula $Ph=\sum_{n=1}^{N}g_n\!\cdot\!(h\circ f_n)$ defines a linear and continuous operator $P\colon L^1([0,1])\to L^1([0,1])$, and then we obtain results on the existence and uniqueness of solutions $\varphi\in L^1([0,1])$ of the equation $\varphi=P\varphi+g$ with a given $g\in L^1([0,1])$. △ Less

Submitted 15 November, 2018; originally announced November 2018.

MSC Class: 47A50 (Primary) 26A24; 39B12; 47B38 (Secondary)

An application of functional equations for generating $\varepsilon$-invariant measures

Authors: Janusz Morawiec, Thomas Zürcher

Abstract: Let $(X,{\mathcal A},μ)$ be a probability space and let $S\colon X\to X$ be a measurable transformation. Motivated by the paper of K. Nikodem [Czechoslovak Math. J. 41(116) (4) (1991) 565--569], we concentrate on a functional equation generating measures that are absolutely continuous with respect to $μ$ and $\varepsilon$-invariant under $S$. As a consequence of the investigation, we obtain a resu… ▽ More Let $(X,{\mathcal A},μ)$ be a probability space and let $S\colon X\to X$ be a measurable transformation. Motivated by the paper of K. Nikodem [Czechoslovak Math. J. 41(116) (4) (1991) 565--569], we concentrate on a functional equation generating measures that are absolutely continuous with respect to $μ$ and $\varepsilon$-invariant under $S$. As a consequence of the investigation, we obtain a result on the existence and uniqueness of solutions $\varphi\in L^1([0,1])$ of the functional equation $$ \varphi(x)=\sum_{n=1}^{N}|f_n'(x)|\varphi(f_n(x))+g(x), $$ where $g\in L^1([0,1])$ and $f_1,\ldots,f_N\colon[0,1]\to[0,1]$ are functions satisfying some extra conditions. △ Less

Submitted 10 October, 2018; originally announced October 2018.

MSC Class: Primary 37A30; Secondary 28A80; 39B12; 47A50; 47B38

On a Problem of Janusz Matkowski and Jacek Wesołowski, II

Authors: Janusz Morawiec, Thomas Zürcher

Abstract: We continue our study started in "On a problem of Janusz Matkowski and Jacek Wesołowski" (see arXiv:1703.08459) of the functional equation \begin{equation*} \varphi(x)=\sum_{n=0}^{N}\varphi(f_n(x))-\sum_{n=0}^{N}\varphi(f_n(0)) \end{equation*} and its increasing and continuous solutions $\varphi\colon[0,1]\to[0,1]$ such that $\varphi(0)=0$ and $\varphi(1)=1$. In this paper we assume that… ▽ More We continue our study started in "On a problem of Janusz Matkowski and Jacek Wesołowski" (see arXiv:1703.08459) of the functional equation \begin{equation*} \varphi(x)=\sum_{n=0}^{N}\varphi(f_n(x))-\sum_{n=0}^{N}\varphi(f_n(0)) \end{equation*} and its increasing and continuous solutions $\varphi\colon[0,1]\to[0,1]$ such that $\varphi(0)=0$ and $\varphi(1)=1$. In this paper we assume that $f_0,\ldots,f_N\colon[0,1]\to[0,1]$ are strictly increasing contractions such that \begin{equation*} 0\leq f_0(0)<f_0(1)\leq f_1(0)<\cdots <f_{N-1}(1)\leq f_N(0)<f_N(1)\leq 1 \end{equation*} and at least one of the weak inequalities is strong. △ Less

Submitted 24 January, 2018; originally announced January 2018.

MSC Class: 39B12 (Primary) 37A05 (Secondary)

Attractor of Cantor Type with Positive Measure

Authors: Janusz Morawiec, Thomas Zürcher

Abstract: We construct an iterated function system consisting of strictly increasing contractions $f,g\colon [0,1]\to [0,1]$ with $f([0,1])\cap g([0,1])=\emptyset$ and such that its attractor has positive Lebesgue measure. We construct an iterated function system consisting of strictly increasing contractions $f,g\colon [0,1]\to [0,1]$ with $f([0,1])\cap g([0,1])=\emptyset$ and such that its attractor has positive Lebesgue measure. △ Less

Submitted 13 December, 2017; originally announced December 2017.

MSC Class: 28A80; 26A18

On sets where $\operatorname{lip} f$ is finite

Authors: Zoltán Buczolich, Bruce Hanson, Martin Rmoutil, Thomas Zürcher

Abstract: Given a function $f\colon \mathbb{R}\to \mathbb{R}$, the so-called "little lip" function $\operatorname{lip} f$ is defined as follows: \begin{equation*} \operatorname{lip} f(x)=\liminf_{r{\scriptscriptstyle \searrow} 0}\sup_{|x-y|\le r} \frac{|f(y)-f(x)|}{r}. \end{equation*} We show that if $f$ is continuous on $\mathbb{R}$, then the set where $\operatorname{lip} f$ is infinite is a countable un… ▽ More Given a function $f\colon \mathbb{R}\to \mathbb{R}$, the so-called "little lip" function $\operatorname{lip} f$ is defined as follows: \begin{equation*} \operatorname{lip} f(x)=\liminf_{r{\scriptscriptstyle \searrow} 0}\sup_{|x-y|\le r} \frac{|f(y)-f(x)|}{r}. \end{equation*} We show that if $f$ is continuous on $\mathbb{R}$, then the set where $\operatorname{lip} f$ is infinite is a countable union of a countable intersection of closed sets (that is an $F_{σδ}$ set). On the other hand, given a countable union of closed sets $E$, we construct a continuous function $f$ such that $\operatorname{lip} f$ is infinite exactly on $E$. A further result is that for the typical continuous function $f$ on the real line $\operatorname{lip} f$ vanishes almost everywhere. △ Less

Submitted 27 May, 2018; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: 27 pages, 3 figures. We updated affiliations and the acknowledgements section and reformatted the paper. It is accepted for publication in Studia Mathematica

MSC Class: 26A21; 26A99

On a problem of Janusz Matkowski and Jacek Wesołowski

Authors: Janusz Morawiec, Thomas Zürcher

Abstract: We study the problem of the existence of increasing and continuous solutions $\varphi\colon[0,1]\to[0,1]$ such that $\varphi(0)=0$ and $\varphi(1)=1$ of the functional equation \begin{equation*} \varphi(x)=\sum_{n=0}^{N}\varphi(f_n(x))-\sum_{n=1}^{N}\varphi(f_n(0)), \end{equation*} where $N\in\mathbb N$ and $f_0,\ldots,f_N\colon[0,1]\to[0,1]$ are strictly increasing contractions satisfying the fol… ▽ More We study the problem of the existence of increasing and continuous solutions $\varphi\colon[0,1]\to[0,1]$ such that $\varphi(0)=0$ and $\varphi(1)=1$ of the functional equation \begin{equation*} \varphi(x)=\sum_{n=0}^{N}\varphi(f_n(x))-\sum_{n=1}^{N}\varphi(f_n(0)), \end{equation*} where $N\in\mathbb N$ and $f_0,\ldots,f_N\colon[0,1]\to[0,1]$ are strictly increasing contractions satisfying the following condition $0=f_0(0)<f_0(1)=f_1(0)<\cdots<f_{N-1}(1)=f_N(0)<f_N(1)=1$. In particular, we give an answer to the problem posed in the article Remark on BV-solutions of a functional equation connected with invariant measures by Janusz Matkowski concerning a very special case of that equation. △ Less

Submitted 24 March, 2017; originally announced March 2017.

MSC Class: Primary 39B12; Secondary 26A30; 26A46; 28A80

Space-Filling vs. Luzin's Condition (N)

Authors: Thomas Zürcher

Abstract: Let us assume that we are given two metric spaces, where the Hausdorff dimension of the first space is strictly smaller than the one of the second space. Suppose further that the first space has sigma-finite measure with respect to the Hausdorff measure of the corresponding dimension. We show for quite general metric spaces that for any measurable surjection from the first onto the second space, t… ▽ More Let us assume that we are given two metric spaces, where the Hausdorff dimension of the first space is strictly smaller than the one of the second space. Suppose further that the first space has sigma-finite measure with respect to the Hausdorff measure of the corresponding dimension. We show for quite general metric spaces that for any measurable surjection from the first onto the second space, there is a set of measure zero that is mapped to a set of positive measure (both measures are the Hausdorff measures corresponding to the Hausdorff dimension of the first space). We also study more general situations where the measures on the two metric spaces are not necessarily the same and not necessarily Hausdorff measures. △ Less

Submitted 25 October, 2013; originally announced October 2013.

MSC Class: 28A75 (Primary) 54C10; 26B35; 28A12; 28A20 (Secondary)

Luzin's Condition (N) and Modulus of Continuity

Authors: Pekka Koskela, Jan Malý, Thomas Zürcher

Abstract: In this paper, we establish Luzin's condition (N) for mappings in certain Sobolev-Orlicz spaces with certain moduli of continuity. Further, given a mapping in these Sobolev-Orlicz spaces, we give bounds on the size of the exceptional set where Luzin's condition (N) may fail. If a mapping violates Luzin's condition (N), we show that there is a Cantor set of measure zero that is mapped to a set of p… ▽ More In this paper, we establish Luzin's condition (N) for mappings in certain Sobolev-Orlicz spaces with certain moduli of continuity. Further, given a mapping in these Sobolev-Orlicz spaces, we give bounds on the size of the exceptional set where Luzin's condition (N) may fail. If a mapping violates Luzin's condition (N), we show that there is a Cantor set of measure zero that is mapped to a set of positive measure. △ Less

Submitted 12 September, 2013; originally announced September 2013.

MSC Class: 26B15; 26B35; 46E35

Sharp differentiability results for lip

Authors: Kevin Wildrick, Thomas Zürcher

Abstract: We give a sharp condition on the lower local Lipschitz constant of a mapping from a metric space supporting a Poincaré inequality to a Banach space with the Radon-Nikodym property that guarantees differentiability at almost every point. We apply these results to obtain a non-embedding theorem for a corresponding class of mappings. We give a sharp condition on the lower local Lipschitz constant of a mapping from a metric space supporting a Poincaré inequality to a Banach space with the Radon-Nikodym property that guarantees differentiability at almost every point. We apply these results to obtain a non-embedding theorem for a corresponding class of mappings. △ Less

Submitted 30 May, 2013; v1 submitted 10 August, 2012; originally announced August 2012.

Comments: 24 pages, 1 figure. Version 3 includes applications to non-embedding

Generalized Hausdorff dimension distortion in Euclidean spaces under Sobolev mappings

Authors: Tapio Rajala, Aleksandra Zapadinskaya, Thomas Zürcher

Abstract: We investigate how the integrability of the derivatives of Orlicz-Sobolev mappings defined on open subsets of $\mathbb{R}^n$ affect the sizes of the images of sets of Hausdorff dimension less than $n$. We measure the sizes of the image sets in terms of generalized Hausdorff measures. We investigate how the integrability of the derivatives of Orlicz-Sobolev mappings defined on open subsets of $\mathbb{R}^n$ affect the sizes of the images of sets of Hausdorff dimension less than $n$. We measure the sizes of the image sets in terms of generalized Hausdorff measures. △ Less

Submitted 13 July, 2010; originally announced July 2010.

MSC Class: 30C62

Generalized Dimension Distortion under Mappings of Sub-Exponentially Integrable Distortion

Authors: Tapio Rajala, Aleksandra Zapadinskaya, Thomas Zürcher

Abstract: We prove a dimension distortion estimate for mappings of sub-exponentially integrable distortion in Euclidean spaces, which is essentially sharp in the plane. We prove a dimension distortion estimate for mappings of sub-exponentially integrable distortion in Euclidean spaces, which is essentially sharp in the plane. △ Less

Submitted 3 June, 2010; originally announced June 2010.

MSC Class: 30C62

On Guichard's nets and Cyclic systems

Authors: U. Hertrich-Jeromin, E. -H. Tjaden, M. T. Zuercher

Abstract: In the first part, we give a self contained introduction to the theory of cyclic systems in n-dimensional space which can be considered as immersions into certain Grassmannians. We show how the (metric) geometries on spaces of constant curvature arise as subgeometries of Moebius geometry which provides a slightly new viewpoint. In the second part we characterize Guichard nets which are given by… ▽ More In the first part, we give a self contained introduction to the theory of cyclic systems in n-dimensional space which can be considered as immersions into certain Grassmannians. We show how the (metric) geometries on spaces of constant curvature arise as subgeometries of Moebius geometry which provides a slightly new viewpoint. In the second part we characterize Guichard nets which are given by cyclic systems as being Moebius equivalent to 1-parameter families of linear Weingarten surfaces. This provides a new method to study families of parallel Weingarten surfaces in space forms. In particular, analogs of Bonnet's theorem on parallel constant mean curvature surfaces can be easily obtained in this setting. △ Less

Submitted 3 April, 1997; originally announced April 1997.

Comments: 25 pages, plain TeX