Showing 1–9 of 9 results for author: Maćkowiak, P

A fixed point theorem for map**s in partial metric spaces

Authors: Dariusz Bugajewski, Piotr Maćkowiak

Abstract: In this paper we are going to prove a very general fixed point theorem for map**s acting in partial metric spaces. In that theorem we impose some conditions on behavior of considered map**s on orbits and a condition relating orbits of points of small size. In this paper we are going to prove a very general fixed point theorem for map**s acting in partial metric spaces. In that theorem we impose some conditions on behavior of considered map**s on orbits and a condition relating orbits of points of small size. △ Less

Submitted 23 December, 2023; originally announced December 2023.

MSC Class: 54H25; 47H10

Wellposedness of the cubic Gross-Pitaevskii equation with spatial white noise on $\mathbb{R}^2$

Authors: Pierre Mackowiak

Abstract: In this paper, we prove the global wellposedness of the Gross-Pitaevskii equation with white noise potential, i.e. a cubic nonlinear Schr{ö}dinger equation with harmonic confining potential and spatial white noise multiplicative term. This problem is ill-defined and a Wick renormalization is needed in order to give a meaning to solutions. In order to do this, we introduce a change of variables whi… ▽ More In this paper, we prove the global wellposedness of the Gross-Pitaevskii equation with white noise potential, i.e. a cubic nonlinear Schr{ö}dinger equation with harmonic confining potential and spatial white noise multiplicative term. This problem is ill-defined and a Wick renormalization is needed in order to give a meaning to solutions. In order to do this, we introduce a change of variables which transforms the original equation into one with less irregular terms. We construct a solution as a limit of solutions of the same equation but with a regularized noise. This convergence is shown by interpolating between a diverging bound in a high regularity Hermite-Sobolev space and a Cauchy estimate in $\mathbb{L}^2(\mathbb{R}^2)$. △ Less

Submitted 17 November, 2023; originally announced November 2023.

Integral operators in the spaces of functions of bounded Schramm variation

Authors: Jacek Gulgowski, Piotr Kasprzak, Piotr Maćkowiak

Abstract: In this paper we provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in terms of their generating kernels. In this paper we provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in terms of their generating kernels. △ Less

Submitted 13 October, 2023; originally announced October 2023.

Comments: This paper grew out of the unpublished part of the paper by the same authors, Compactness in normed spaces: a unified approach through semi-norms, arXiv:2111.10547v1

MSC Class: 47G10; 46B50; 26A45

On the recursive and explicit form of the general J.C.P. Miller formula with applications

Authors: Dariusz Bugajewski, Dawid Bugajewski, Xiao-Xiong Gan, Piotr Maćkowiak

Abstract: The famous J.C.P. Miller formula provides a recurrence algorithm for the composition $B_a \circ f$, where $B_a$ is the formal binomial series and $f$ is a formal power series, however it requires that $f$ has to be a nonunit. In this paper we provide the general J.C.P. Miller formula which eliminates the requirement of nonunitness of $f$ and, instead, we establish a necessary and sufficient condit… ▽ More The famous J.C.P. Miller formula provides a recurrence algorithm for the composition $B_a \circ f$, where $B_a$ is the formal binomial series and $f$ is a formal power series, however it requires that $f$ has to be a nonunit. In this paper we provide the general J.C.P. Miller formula which eliminates the requirement of nonunitness of $f$ and, instead, we establish a necessary and sufficient condition for the existence of the composition $B_a \circ f$. We also provide the general J.C.P. Miller recurrence algorithm for computing the coefficients of that composition, if $ B_a\circ f$ is well defined, obviously. Our generalizations cover both the case in which $f$ is a one--variable formal power series and the case in which $f$ is a multivariable formal power series. In the central part of this article we state, using some combinatorial techniques, the explicit form of the general J.C.P. Miller formula for one-variable case. As applications of these results we provide an explicit formula for the inverses of polynomials and formal power series for which the inverses exist, obviously. We also use our results to investigation of approximate solution to a differential equation which cannot be solved in an explicit way. △ Less

Submitted 27 June, 2023; originally announced June 2023.

MSC Class: Primary: 05A10; 13F25; 13J05; Secondary: 40A30

On composition and Right Distributive Law for formal power series of multiple variables

Authors: Dariusz Bugajewski, Alessia Galimberti, Piotr Maćkowiak

Abstract: In the first part of the paper we prove a necessary and sufficient condition for the existence of the composition of formal power series in the case when the outer series is a series of one variable while the inner one is a series of multiple variables. The aim of the second part is to remove ambiguities connected with the Right Distributive Law for formal power series of one variable as well as t… ▽ More In the first part of the paper we prove a necessary and sufficient condition for the existence of the composition of formal power series in the case when the outer series is a series of one variable while the inner one is a series of multiple variables. The aim of the second part is to remove ambiguities connected with the Right Distributive Law for formal power series of one variable as well as to provide analogues of that law in the multivariable case. △ Less

Submitted 18 November, 2022; v1 submitted 13 November, 2022; originally announced November 2022.

Comments: An error in data of reference [4] was corrected

MSC Class: 13F25; 13J05

Compactness in Lipschitz spaces and around

Authors: Jacek Gulgowski, Piotr Kasprzak, Piotr Maćkowiak

Abstract: The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/Hölder continuous map**s acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing compactness criteria for the spaces of bounded and continuous map**s with values in normed spaces needed to be established. Those auxiliary results, which are intere… ▽ More The aim of the paper is to characterize (pre)compactness in the spaces of Lipschitz/Hölder continuous map**s acting from a compact metric space to a normed space. To this end some extensions and generalizations of already existing compactness criteria for the spaces of bounded and continuous map**s with values in normed spaces needed to be established. Those auxiliary results, which are interesting on their own since they use a concept of equicontinuity not seen in the literature, are based on an abstract compactness criterion related to the recently introduced notion of an equinormed set. △ Less

Submitted 19 June, 2023; v1 submitted 9 May, 2022; originally announced May 2022.

Comments: This version has been accepted for publication in Studia Mathematica

MSC Class: Primary: 46B50; Secondary: 26A16; 46E15; 46E99

Compactness in normed spaces: a unified approach through semi-norms

Authors: Jacek Gulgowski, Piotr Kasprzak, Piotr Maćkowiak

Abstract: In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural conditions. Those conditions, roughly speaking, state that the norm can be approximated (on the equinormed sets even uniformly) by the elements of this family. As we are… ▽ More In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural conditions. Those conditions, roughly speaking, state that the norm can be approximated (on the equinormed sets even uniformly) by the elements of this family. As we are given some freedom of choice of the underlying semi-normed structure that is used to define equinormed sets, our approach opens a new perspective for building compactness criteria in specific normed spaces. As an example we show that natural selections of families of semi-norms in spaces $C(X,\mathbb{R})$ and $l^p$ for $p\in[1,+\infty)$ lead to the well-known compactness criteria (including the Arzelà-Ascoli theorem). In the second part of the paper, applying the abstract theorems, we construct a simple compactness criterion in the space of functions of bounded Schramm variation and provide a full characterization of linear integral operators acting from the space of functions of bounded Jordan variation to the space of functions of bounded Schramm variation in therms of their generating kernels. △ Less

Submitted 22 June, 2023; v1 submitted 20 November, 2021; originally announced November 2021.

Comments: Th version accepted for publication in Topological Methods in Nonlinear Analysis

MSC Class: 46B50; 26A45; 47G10

A converse of the Banach contraction principle for partial metric spaces and the continuum hypothesis

Authors: Piotr Maćkowiak

Abstract: A version of the Bessaga inverse of the Banach contraction principle for partial metric spaces is presented. Equivalence of that version and the continuum hypothesis is shown as well. A version of the Bessaga inverse of the Banach contraction principle for partial metric spaces is presented. Equivalence of that version and the continuum hypothesis is shown as well. △ Less

Submitted 16 July, 2023; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: Corrected formulation of Theorem 5; wording of Theorems 6 and 7 was slightly modified

MSC Class: 47H09; 47H10; 54E50

On compactness and fixed point theorems in partial metric spaces

Authors: Dariusz Bugajewski, Piotr Maćkowiak, Ruidong Wang

Abstract: In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that Hausdorff compact partial metric spaces are metrizable. In the second part of this article we discuss the significance of bottom sets of partial metric spaces in fi… ▽ More In this paper we examine two basic topological properties of partial metric spaces, namely compactness and completeness. Our main result claims that in these spaces compactness is equivalent to sequential compactness. We also show that Hausdorff compact partial metric spaces are metrizable. In the second part of this article we discuss the significance of bottom sets of partial metric spaces in fixed point theorems for map**s acting in these spaces. △ Less

Submitted 15 June, 2020; v1 submitted 13 May, 2020; originally announced May 2020.

Comments: minor corrections, 16 pages, initially submitted to a journal on November 6, 2019

MSC Class: 54D30; 54E35; 54E50; 54H25

Journal ref: Fixed Point Theory, Volume 23, No. 1, 2022, 163-178, February 1st, 2022