Related papers: Krivine's Function Calculus and Bochner integratio…

We study the question of constructive approximation of the harmonic measure $\omega_x^\Omega$ of a connected bounded domain $\Omega$ with respect to a point $x\in\Omega$. In particular, using a new notion of computable harmonic…

Let $(\Omega, \mu)$, $(\Delta, \nu)$ be measure spaces. Let $(\{f_\alpha\}_{\alpha\in \Omega}, \{\tau_\alpha\}_{\alpha\in \Omega})$ and $(\{g_\beta\}_{\beta\in \Delta}, \{\omega_\beta\}_{\beta\in \Delta})$ be continuous p-Schauder frames…

A remarkable theorem of Besicovitch is that an integrable function $f$ on $\mathbb{R}^2$ is strongly differentiable if and only if its associated strong maximal function $M_S f$ is finite a.e. We provide an analogue of Besicovitch's result…

The purpose of this article is to present the construction and basic properties of the general Bochner integral. The approach presented here is based on the ideas from the book The Bochner Integral by J. Mikusinski where the integral is…

We define integrals for functions on finite-dimensional algebras, adapting methods from Leinster's research. This paper discusses the relationships between the integrals of functions defined on subsets $\mathbb{I}_1 \subseteq…

A Bochner integral formula is derived that represents a function in terms of weights and a parametrized family of functions. Comparison is made to pointwise formulations, norm inequalities relating pointwise and Bochner integrals are…

By using some basic calculus of multiple integration, we provide an alternative expression of the integral $$ \int_{]a,b[^n} f(\mathbf{x},\min x_i,\max x_i) d\mathbf{x}, $$ in which the minimum and the maximum are replaced with two single…

Given sets $X,Y$ and a regular cardinal $\mu$, let $\Phi(X,Y,\mu)$ be the statement that for any function $f : X \times Y \to \mu$, there are functions $g_1 : X \to \mu$ and $g_2 : Y \to \mu$ such that or all $(x,y) \in X \times Y$,…

Integral properties of multifunctions determined by vector valued functions are presented. Such multifunctions quite often serve as examples and counterexamples. In particular it can be observed that the properties of being integrable in…

Given a family of locally Lipschitz vector fields $X(x)=(X_1(x),\dots,X_m(x))$ on $\mathbb{R}^n$, $m\leq n$, we study functionals depending on $X$. We prove an integral representation for local functionals with respect to $X$ and a result…

In this note we describe solutions of the equation: $F(A(z))=G(B(z)),$ where $A,B$ are polynomials and $F,G$ are continuous functions on the Riemann sphere.

Given a probability measure space $(X,\Sigma,\mu)$, it is well known that the Riesz space $L^0(\mu)$ of equivalence classes of measurable functions $f: X \to \mathbf{R}$ is universally complete and the constant function $\mathbf{1}$ is a…

We prove a function-field analogue of Bourgain's $L^2$ pointwise ergodic theorem. Let $q$ be a power of a prime $p$, let $\mathbb{F}_q[t]$ be the ring of polynomials over the finite field $\mathbb{F}_q$, and let $\mathbb{F}_q[t][u]$ be the…

The static kink, sphaleron and kink chain solutions for a single scalar field $\phi$ in one spatial dimension are reconsidered. By integration of the Euler--Lagrange equation, or through the Bogomolny argument, one finds that each of these…

In this paper, we study integral functionals defined on spaces of functions with values on general (non-separable) Banach spaces. We introduce a new class of integrands and multifunctions for which we obtain measurable selection results.…

We investigate multivariate integration for a space of infinitely times differentiable functions $\mathcal{F}_{s, \boldsymbol{u}} := \{f \in C^\infty [0,1]^s \mid \| f \|_{\mathcal{F}_{s, \boldsymbol{u}}} < \infty \}$, where $\| f…

In [22], it was proved that as long as the integrand has certain properties, the corresponding It\^o integral can be written as a (parameterized) Lebesgue integral (or a Bochner integral). In this paper, we show that such a question can be…

Let $\gamma\in\mathbb{R}\setminus\{0\}$ and $X(\mathbb{R}^n)$ be a ball Banach function space satisfying some extra mild assumptions. Assume that $\Omega=\mathbb{R}^n$ or $\Omega\subset\mathbb{R}^n$ is an $(\varepsilon,\infty)$-domain for…

We prove partial regularity of stationary solutions and minimizers $u$ from a set $\Omega\subset \mathbb R^n$ to a Riemannian manifold $N$, for the functional $\int_\Omega F(x,u,|\nabla u|^2) dx$. The integrand $F$ is convex and satisfies…

Let the metric space $\mathbb R^n \setminus \sim$ be the metric space of $n$-sized unordered tuples of real numbers. In the following, it will be shown that if a function $\varphi: \mathbb R^m \to \mathbb R^n \setminus \sim$ is continuous,…