Related papers: On the Cauchy Integral Theorem and Polish spaces
A new proof is given of the fact that the particle trajectories of the ideal incompressible fluid are analytic curves, though the solutions of the Euler equations may have a finite regularity. This is a consequence of a general fact that…
In this series of studies on Cauchy's function $f(z)$ ($z=x+iy$) and its integral $J[f(z)]\equiv (2\pi i)^{-1}\oint_C f(t)dt/(t-z)$ taken along a Jordan contour $C$, the aim is to investigate their comprehensive properties over the entire…
A subset $X$ of a Polish group $G$ is \emph{Haar null} if there exists a Borel probability measure $\mu$ and a Borel set $B$ containing $X$ such that $\mu(gBh)=0$ for every $g,h \in G$. A set $X$ is \emph{Haar meager} if there exists a…
In this paper, we prove Huang et al.'s conjecture stated that if $f$ is a holomorphic function on $\Delta^+:=\{z\in \mathbb C \colon |z|<1,~\mathrm{Im}(z)>0\}$ with $\mathcal{C}^\infty$-smooth extension up to $(-1,1)$ such that $f$ maps…
Let $\mathrm{R}$ be a real closed field. Given a closed and bounded semi-algebraic set $A \subset \mathrm{R}^n$ and semi-algebraic continuous functions $f,g:A \rightarrow \mathrm{R}$, such that $f^{-1}(0) \subset g^{-1}(0)$, there exist $N$…
In this paper, we study the existence of infinite dimensional closed linear subspaces of a rearrangement invariant space on [0,1] every nonzero element of which does not belong to any included rearrangement invariant space of the same class…
We consider the isometry group of the infinite dimensional separable hyperbolic space with its Polish topology. This topology is given by the pointwise convergence. For non-locally compact Polish groups, some striking phenomena like…
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 consider the space $U(\mathbb T)$ of all continuous functions on the circle $\mathbb T$ with uniformly convergent Fourier series. We show that if $\varphi: \mathbb T\rightarrow\mathbb T$ is a continuous piecewise linear but not linear…
We give necessary and sufficient conditions for a real-valued quasiconvex function f on a Baire topological vector space X (in particular, Banach or Frechet space) to be continuous at the points of a residual subset of X. These conditions…
Suppose that an $n$-dimensional Cauchy problem \frac{dx}{dt}=f(t,x,\mu) (t \in I, \mu \in M), x(t_0)=x^0 satisfies the conditions that guarantee existence, uniqueness and continuous dependence of solution x(t,t_0,\mu) on parameter \mu in an…
In previous work the framework for a hypercomplex function theory in superspace was established and amply investigated. In this paper a Cauchy integral formula is obtained in this new framework by exploiting techniques from orthogonal…
Building on our prior work on axiomatization of exact real computation by formalizing nondeterministic first-order partial computations over real and complex numbers in a constructive dependent type theory, we present a framework for…
We consider the Cauchy problem with smooth data for compressible Euler equations in many dimensions and concentrate on two cases: solutions with finite mass and energy and solutions corresponding to a compact perturbation of a nontrivial…
We are considering typed hierarchies of total, continuous functionals using complete, separable metric spaces at the base types. We pay special attention to the so called Urysohn space constructed by P. Urysohn. One of the properties of the…
We consider the Cauchy problem for one-dimensional dispersive equations with a general nonlinearity in the periodic setting. Our main hypotheses are both that the dispersive operator behaves for high frequencies as a Fourier multiplier by $…
The most important uniform algebra is the family of continuous functions on a compact subset $K$ of the complex plane $\mathbb{C}$ which are analytic on the interior int$(K)$ For compact sets $K$ which are regular (i.e. $K =$int$(K)$ and…
We show that if the graph of a bounded analytic function in the unit disk $\mathbb D$ is not complete pluripolar in $\mathbb C^2$ then the projection of the closure of its pluripolar hull contains a fine neighborhood of a point $p \in…
In this paper, we obtain conditions of Noetherian solvability and the Index formula for a singular integral equation with a Cauchy kernel and a Carleman shift in Besov space, which is embedded into the space of continuous functions on a…
We introduce a model of the set of all Polish (=separable complete metric) spaces: the cone $\cal R$ of distance matrices, and consider geometric and probabilistic problems connected with this object. The notion of the universal distance…