Плюригармонические определимые функции в некоторых $o$-минимальных расширениях вещественного поля

In this paper, we first try to solve the following problem: If a pluriharmonic function $f$ is definable in an arbitrary o-minimal expansion of the structure of the real field $\overline{\mathbb{R}}:=(\mathbb{R},+,-,.,0,1,<)$, does this function be locally the real part of a holomorphic function which is definable in the same expansion? In Proposition 2.1 below, we prove that this problem has a positive answer if the Weierstrass division theorem holds true for the system of the rings of real analytic definable germs at the origin of $\mathbb{R}^n$. We obtain the same answer for an o-minimal expansion of the real field which is pfaffian closed (Proposition 2.6) for the harmonic functions. In the last section, we are going to show that the Weierstrass division theorem does not hold true for the rings of germs of real analytic functions at $0\in\mathbb{R}^n$ which are definable in the o-minimal structure $(\overline{\mathbb{R}}, x^{\alpha_1},\ldots,x^{\alpha_p})$, here $\alpha_1,\ldots,\alpha_p$ are irrational real numbers.

Real-Analytic Non-Integrable Functions on the Plane with Equal Iterated Integrals

In this note, a vector space of real-analytic functions on the plane is explicitly constructed such that all its nonzero functions are non-integrable but yet their two iterated integrals exist as real numbers and coincide. Moreover, it is shown that this vector space is dense in the space of all real continuous functions on the plane endowed with the compact-open topology.

Linear logic in normed cones: probabilistic coherence spaces and beyond

Ehrhard et al. (2018. Proceedings of the ACM on Programming Languages, POPL 2, Article 59.) proposed a model of probabilistic functional programming in a category of normed positive cones and stable measurable cone maps, which can be seen as a coordinate-free generalization of probabilistic coherence spaces (PCSs). However, unlike the case of PCSs, it remained unclear if the model could be refined to a model of classical linear logic. In this work, we consider a somewhat similar category which gives indeed a coordinate-free model of full propositional linear logic with nondegenerate interpretation of additives and sound interpretation of exponentials. Objects are dual pairs of normed cones satisfying certain specific completeness properties, such as existence of norm-bounded monotone weak limits, and morphisms are bounded (adjointable) positive maps. Norms allow us a distinct interpretation of dual additive connectives as product and coproduct. Exponential connectives are modeled using real analytic functions and distributions that have representations as power series with positive coefficients. Unlike the familiar case of PCSs, there is no reference or need for a preferred basis; in this sense the model is invariant. PCSs form a full subcategory, whose objects, seen as posets, are lattices. Thus, we get a model fitting in the tradition of interpreting linear logic in a linear algebraic setting, which arguably is free from the drawbacks of its predecessors.

Alternative Cauchy equation in three unknown functions

In this paper we deal with the product of two or three Cauchy differences equaled to zero. We show that in the case of two Cauchy differences, the condition of absolute continuity and differentiability of the two functions involved implies that one of them must be linear, i.e., we have a trivial solution. In the case of the product of three Cauchy differences the situation changes drastically: there exists non trivial $${\mathcal {C}}^{\infty }$$ C ∞ solutions, while in the case of real analytic functions we obtain that at least one of the functions involved must be linear. Some open problems are then presented.

Expansions for distributional solutions of the elliptic equation in two dimensions

Assume [Formula: see text] is a planar domain, and [Formula: see text] is a locally bounded distributional solution to the elliptic equation [Formula: see text] where [Formula: see text] is a constant, [Formula: see text] and [Formula: see text] are real analytic functions defined on [Formula: see text] and the real line [Formula: see text], respectively. We establish asymptotic expansions of [Formula: see text] to arbitrary orders near [Formula: see text], which complements the recent results of Han–Li–Li on the Yamabe equation, Guo–Li–Wanon the weighted Yamabe equation, and partly extends that of Guo–Wan–Yang on the Liouville equation in a punctured disc. Our method is a combination of a priori estimate and mathematical induction.

Error-functions in double-sided Taylor's approximations

In this paper we introduce the error-functions for one-sided and double-sided Taylor's approximations of real analytic functions. We illustrate the application of error-functions in the process of generalization of one trigonometric inequality.