Related papers: On Ciesielski's problems

We prove a version of both Jacobi's and Montel's Theorems for the case of continuous functions defined over the field $\mathbb{Q}_p$ of $p$-adic numbers. In particular, we prove that, if \[ \Delta_{h_0}^{m+1}f(x)=0 \ \ \text{for all}…

This dissertation surveys several topics in the general areas of iterated forcing, infinite combinatorics and set theory of the reals. There are two parts. In the first half I consider alternative versions of the Cicho\'n diagram. First I…

We consider families F of sequences converging to +infinity that F satisfies the following condition (C): (C): if an open set U in the real line is unbounded above then there exists a sequence belonging to F, which has an infinite number of…

We consider a dynamic capillarity equation with stochastic forcing on a compact Riemannian manifold $(M,g)$. \begin{equation*}\tag{P} d \left(u_{\varepsilon,\delta}-\delta \Delta u_{\varepsilon,\delta}\right) +\operatorname{div}…

We provide a sharp monotonicity theorem about the distribution of subharmonic functions on manifolds, which can be regarded as a new, measure theoretic form of the uncertainty principle. As an illustration of the scope of this result, we…

Let $\sum a_nx^n\in\bar{\mathbb{Q}}[[x]]$ be the power series representation of a rational function and let $f:\ \{0,1,\ldots\}\rightarrow \bar{\mathbb{Q}}$ be a so-called almost quasi-polynomial. Under a necessary stability condition, we…

We discuss the effect of adding a single real (for various forcing notions adding reals) on cardinal invariants associated with the continuum (like the unbounding or the dominating number or the cardinals related to measure and category on…

A function $f:X\to Y$ between topological spaces is called $\sigma$-$continuous$ (resp. $\bar\sigma$-$continuous$) if there exists a (closed) cover $\{X_n\}_{n\in\omega}$ of $X$ such that for every $n\in\omega$ the restriction…

Let $A$ be a pseudo-differential operator with negative definite symbol $q$. In this paper we establish a sufficient condition such that the well-posedness of the $(A,C_c^{\infty}(\mathbb{R}^d))$-martingale problem implies that the unique…

Using the established $d$-concavity of the $k$-Hessian type functions $F_k(R)=\log(S_k(R)),$ whose variables are nonsymmetric matrices, we prove $ C^{2, \alpha}(\overline{\Omega}) $ estimates for strictly $(\delta, \widetilde{\gamma}_k)…

The Continuous Skolem Problem asks whether a real-valued function satisfying a linear differential equation has a zero in a given interval of real numbers. This is a fundamental reachability problem for continuous linear dynamical systems,…

We introduce a variant of Martin's axiom, called the grounded Martin's axiom, which asserts that the universe is a ccc forcing extension in which Martin's axiom holds for posets in the ground model. This principle already implies several of…

We investigate strongly separately continuous functions on a product of topological spaces and prove that if $X$ is a countable product of real lines, then there exists a strongly separately continuous function $f:X\to\mathbb R$ which is…

We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=\delta_{\alpha_1(x)1}+\sum^{\infty}_{k=2}\left[\delta_{\alpha_k(x)k}\prod^{k-1}_{j=1}g_{\alpha_j…

A function $U:\left[ \omega_{1}\right] ^{2}\longrightarrow\omega$ is called $\left( 1,\omega_{1}\right) $\emph{-weakly universal }if for every function $F:\left[ \omega_{1}\right] ^{2}\longrightarrow\omega$ there is an injective function…

In this note, as a particular case of a more general result, we obtain the following theorem: Let $\Omega\subseteq {\bf R}^n$ be a non-empty bounded open set and let $f:\overline {\Omega}\to {\bf R}^n$ be a continuous function which is…

A function $f:\RR \to \RR$ is called \emph{vertically rigid} if $graph(cf)$ is isometric to $graph (f)$ for all $c \neq 0$. We prove Jankovi\'c's conjecture by showing that a continuous function is vertically rigid if and only if it is of…

We show that it is consistent that for some uncountable cardinal k, all compactifications of the countable discrete space with remainders homeomorphic to $D^k$ are homeomorphic to each other. On the other hand, there are $2^c$ pairwise…

Answering a question asked by K.C. Ciesielski and T. Glatzer in 2013, we construct a $C^1$-smooth function $f$ on $[0,1]$ and a set $M \subset \operatorname{graph} f$ nowhere dense in $\operatorname{graph} f$ such that there does not exist…

We establish a necessary and sufficient condition on a continuous function on $[-1,1]$ under which the family of functions on the unit sphere $\mathbb{S}^{d-1}$ constructed in the described manner is fundamental in $C(\mathbb{S}^{d-1})$. In…