Showing 1–19 of 19 results for author: Morawiec, J

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

Betweenness isomorphism classes of circles with finitely many points inside

Authors: Martin Doležal, Jan Kolář, Janusz Morawiec

Abstract: We give a necessary and sufficient condition for two circles, each with finitely many points added inside, to be betweenness isomorphic. We fully characterize the betweenness isomorphism classes in the family consisting of all circles with three collinear points inside. We give a necessary and sufficient condition for two circles, each with finitely many points added inside, to be betweenness isomorphic. We fully characterize the betweenness isomorphism classes in the family consisting of all circles with three collinear points inside. △ Less

Submitted 9 January, 2024; v1 submitted 9 October, 2023; originally announced October 2023.

Comments: 20 pages

MSC Class: 52C45 (Primary); 03E20; 51M04; 14L30 (Secondary)

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 map**s and lines

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

Abstract: We study betweenness preserving map**s (we call them \emph{monotone}) defined on subsets of the plane. Once the domain is a convex set, such a map** 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 map**s (we call them \emph{monotone}) defined on subsets of the plane. Once the domain is a convex set, such a map** 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 map** 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 map** 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 map**. △ 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

An application of medial limits to iterative functional equations

Authors: Janusz Morawiec

Abstract: Assume that $(Ω,\mathcal A,P)$ is a probability space, $f\colon[0,1] \times Ω\to[0,1]$ is a function such that $f(0,ω)=0$, $f(1,ω)=1$ for every $ω\inΩ$, $g\colon[0,1]\to\mathbb R$ is a bounded function such that $g(0)=g(1)=0$, and $a,b\in\mathbb R$. Applying medial limits we describe bounded solutions $\varphi\colon[0,1] \to \mathbb R$ of the equation \begin{equation*} \varphi(x) = \int_Ω\varphi(f… ▽ More Assume that $(Ω,\mathcal A,P)$ is a probability space, $f\colon[0,1] \times Ω\to[0,1]$ is a function such that $f(0,ω)=0$, $f(1,ω)=1$ for every $ω\inΩ$, $g\colon[0,1]\to\mathbb R$ is a bounded function such that $g(0)=g(1)=0$, and $a,b\in\mathbb R$. Applying medial limits we describe bounded solutions $\varphi\colon[0,1] \to \mathbb R$ of the equation \begin{equation*} \varphi(x) = \int_Ω\varphi(f(x,ω)) dP(ω)+g(x) \end{equation*} satisfying the boundary conditions $\varphi(0)=a$ and $\varphi(1)=b$. △ Less

Submitted 5 September, 2019; originally announced September 2019.

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)

Means of iterates

Authors: Szyman Draga, Janusz Morawiec

Abstract: We determine continuous bijections $f$, acting on a real interval into itself, whose $k$-fold iterate is the quasi-arithmetic mean of all its subsequent iterates from $f^0$ up to $f^n$ (where $0\le k\le n$). Namely, we prove that if at most one of the numbers $k,n$ is odd, then such functions consist of at most three affine pieces. We determine continuous bijections $f$, acting on a real interval into itself, whose $k$-fold iterate is the quasi-arithmetic mean of all its subsequent iterates from $f^0$ up to $f^n$ (where $0\le k\le n$). Namely, we prove that if at most one of the numbers $k,n$ is odd, then such functions consist of at most three affine pieces. △ Less

Submitted 19 February, 2018; v1 submitted 8 January, 2018; originally announced January 2018.

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 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

Lipschitzian solutions to inhomogeneous linear iterative equations

Authors: Karol Baron, Janusz Morawiec

Abstract: We study the problems of the existence, uniqueness and continuous dependence of Lipschitzian solutions $\varphi$ of equations of the form $$ \varphi(x)=\int_Ωg(ω)\varphi\big(f(x,ω)\big)μ(dω)+F(x), $$ where $μ$ is a measure on a $σ$-algebra of subsets of a set $Ω$. We study the problems of the existence, uniqueness and continuous dependence of Lipschitzian solutions $\varphi$ of equations of the form $$ \varphi(x)=\int_Ωg(ω)\varphi\big(f(x,ω)\big)μ(dω)+F(x), $$ where $μ$ is a measure on a $σ$-algebra of subsets of a set $Ω$. △ Less

Submitted 1 July, 2016; originally announced July 2016.

Integrable solutions of inhomogeneous refinement type equations on intervals

Authors: Rafał Kapica, Janusz Morawiec

Abstract: Given a probability measure $P$ on a $σ$-algebra of subsets of a set $Ω$, an interval $I\subset\mathbb R$, $g\in L^1(I)$, and a function $\varphi\colon I\timesΩ\to I$ fulfilling some conditions we obtain results on the existence of solutions $f\in L^1(I)$ of the inhomogeneous refinement type equation $$ f(x)=\int_Ω\big|\varphi'_x(x,ω)\big|f(\varphi(x,ω))dP(ω)+g(x). $$ Given a probability measure $P$ on a $σ$-algebra of subsets of a set $Ω$, an interval $I\subset\mathbb R$, $g\in L^1(I)$, and a function $\varphi\colon I\timesΩ\to I$ fulfilling some conditions we obtain results on the existence of solutions $f\in L^1(I)$ of the inhomogeneous refinement type equation $$ f(x)=\int_Ω\big|\varphi'_x(x,ω)\big|f(\varphi(x,ω))dP(ω)+g(x). $$ △ Less

Submitted 27 July, 2015; originally announced July 2015.

Inhomogeneous refinement equations with random affine maps

Authors: Rafał Kapica, Janusz Morawiec

Abstract: Given a probability space $(Ω,{\mathcal A},P)$, random variables $L,M\colonΩ\to\mathbb R$ and $g\in L^1(\mathbb R)$ we obtain two characterizations of these $f\in L^1(\mathbb R)$ which are solutions of the inhomogeneous refinement equation with a random affine map of the form $f(x)=\int_Ω|L(ω)|f(L(ω)x-M(ω))P(dω)+g(x)$. Given a probability space $(Ω,{\mathcal A},P)$, random variables $L,M\colonΩ\to\mathbb R$ and $g\in L^1(\mathbb R)$ we obtain two characterizations of these $f\in L^1(\mathbb R)$ which are solutions of the inhomogeneous refinement equation with a random affine map of the form $f(x)=\int_Ω|L(ω)|f(L(ω)x-M(ω))P(dω)+g(x)$. △ Less

Submitted 24 June, 2015; originally announced June 2015.

Comments: the final version will be published in Journal of Difference Equations and Applications

Reducing the polynomial-like iterative equations order and a generalized Zoltán Boros' problem

Authors: Szymon Draga, Janusz Morawiec

Abstract: We present a technique for reducing the order of polynomial-like iterative equations; in particular, we answer a question asked by Wenmeng Zhang and Weinian Zhang. Our method involves the asymptotic behaviour of the sequence of consecutive iterates of the unknown function at a given point. As an application we solve a problem of Zoltán Boros posed during the 50th ISFE (2012). We present a technique for reducing the order of polynomial-like iterative equations; in particular, we answer a question asked by Wenmeng Zhang and Weinian Zhang. Our method involves the asymptotic behaviour of the sequence of consecutive iterates of the unknown function at a given point. As an application we solve a problem of Zoltán Boros posed during the 50th ISFE (2012). △ Less

Submitted 1 December, 2015; v1 submitted 2 March, 2015; originally announced March 2015.

MSC Class: 39B12; 39A06

On a Zoltán Boros' problem connected with polynomial-like iterative equations

Authors: Szymon Draga, Janusz Morawiec

Abstract: We determine all continuous solutions $g\colon I\to I$ of the polynomial-like iterative equation $g^3(x)=3g(x)-2x$, where $I\subset\mathbb R$ is an interval. In particular, we obtain an answer to a problem posed by Zoltán Boros (during the Fiftieth International Symposium on Functional Equations, 2012) of determining all continuous functions $f\colon (0,+\infty)\to (0,+\infty)$ satisfying… ▽ More We determine all continuous solutions $g\colon I\to I$ of the polynomial-like iterative equation $g^3(x)=3g(x)-2x$, where $I\subset\mathbb R$ is an interval. In particular, we obtain an answer to a problem posed by Zoltán Boros (during the Fiftieth International Symposium on Functional Equations, 2012) of determining all continuous functions $f\colon (0,+\infty)\to (0,+\infty)$ satisfying $f^3(x)=\frac{[f(x)]^3}{x^2}$. △ Less

Submitted 26 January, 2015; originally announced January 2015.

Journal ref: Nonlinear Analysis: Real World Applications 26 (2015), 56-63

An Optical Geometry Perspective on the Emerging Conformal Field Theory Behavior on the Cosmological Event Horizon: Massless Fermions on de Sitter Space

Authors: Pawel O. Mazur, Pawel J. Morawiec

Abstract: We have investigated the emerging conformal field theory behavior on the interior interface of the region near the cosmological event horizon on an example of massless Dirac fermions. Indeed, we have constructed and verified the emerging de Sitter/CFT correspondence for the near cosmological event horizon region. It is in this near horizon region where the infinitely thin shell of matter with th… ▽ More We have investigated the emerging conformal field theory behavior on the interior interface of the region near the cosmological event horizon on an example of massless Dirac fermions. Indeed, we have constructed and verified the emerging de Sitter/CFT correspondence for the near cosmological event horizon region. It is in this near horizon region where the infinitely thin shell of matter with the stiffest equation of state (Zeldovich's matter) is placed in the model for a thermodynamically stable `would be black hole' which is sometimes called a gravastar or a dark energy star. We put forward the hypothesis to the effect that the Zeldovich matter consists of the strongly correlated quanta which are best described by the emerging conformal field theory in the near `would be horizon' region of a gravastar/dark energy star. △ Less

Submitted 3 March, 2011; originally announced March 2011.

Comments: 18 pages

On continuous solutions of a problem of R.Schilling

Authors: Janusz Morawiec

Abstract: The paper deals with continuous solutions of a Schilling's problem. The paper deals with continuous solutions of a Schilling's problem. △ Less

Submitted 5 February, 2008; originally announced February 2008.

Comments: 6 pages

MSC Class: 39B12; 39B22 (Primary)

Journal ref: Results Math. 27 (1995), 381-386

On bounded solutions of a problem of R. Schilling

Authors: Janusz Morawiec

Abstract: The paper deals with locally bounded solutions of a Schilling's problem. The paper deals with locally bounded solutions of a Schilling's problem. △ Less

Submitted 5 February, 2008; v1 submitted 4 February, 2008; originally announced February 2008.

Comments: 6 pages

MSC Class: 39B12; 39B22 (Primary)

Journal ref: Ann. Math. Sil. 8 (1994), 97-101