Topological regular variation: I. Slow variation

Motivated by the Category Embedding Theorem, as applied to convergent automorphisms (Bingham and Ostaszewski (in press) [11]), we unify and extend the multivariate regular variation literature by a reformulation in the language of topological dynamics. Here the natural setting are metric groups, seen as normed groups (mimicking normed vector spaces). We briefly study their properties as a preliminary to establishing that the Uniform Convergence Theorem (UCT) for Baire, group-valued slowly-varying functions has two natural metric generalizations linked by the natural duality between a homogenous space and its group of homeomorphisms. Each is derivable from the other by duality. One of these explicitly extends the (topological) group version of UCT due to Bajšanski and Karamata (1969) [4] from groups to flows on a group. A multiplicative representation of the flow derived in Ostaszewski (2010) [45] demonstrates equivalence of the flow with the earlier group formulation. In companion papers we extend the theory to regularly varying functions: we establish the calculus of regular variation in Bingham and Ostaszewski (2010) [13] and we extend to locally compact, σ-compact groups the fundamental theorems on characterization and representation (Bingham and Ostaszewski (2010) [14]). In Bingham and Ostaszewski (2009) [15], working with topological flows on homogeneous spaces, we identify an index of regular variation, which in a normed-vector space context may be specified using the Riesz representation theorem, and in a locally compact group setting may be connected with Haar measure.     

The Index Theorem of topological regular variation and its applications

We develop further the topological theory of regular variation of [N.H. Bingham, A.J. Ostaszewski, Topological regular variation: I. Slow variation, LSE-CDAM-2008-11]. There we established the uniform convergence theorem (UCT) in the setting of topological dynamics (i.e. with a group T acting on a homogenous space X), thereby unifying and extending the multivariate regular variation literature. Here, working with real-time topological flows on homogeneous spaces, we identify an index of regular variation, which in a normed-vector space context may be specified using the Riesz representation theorem, and in a locally compact group setting may be connected with Haar measure.     

The Steinhaus theorem and regular variation: de Bruijn and after

The contributions of N.G. de Bruijn to regular variation, and recent developments in this field, are discussed. A new version of the Uniform Convergence Theorem is given.     

Topological regular variation: III. Regular variation

This paper extends the topological theory of regular variation of the slowly varying case of Bingham and Ostaszewski (2010) [5] to the regularly varying functions between metric groups, viewed as normed groups (see also Bingham and Ostaszewski (2010) [6]). This employs the language of topological dynamics, especially flows and cocycles. In particular we show that regularly varying functions obey the chain rule and in the non-commutative context we characterize pairs of regularly varying functions whose product is regularly varying. The latter requires the use of a ‘differential modulus’ akin to the modulus of Haar integration.     

Towards Lim

The paper contains an elegant extension of the Nadler fixed point theorem for multivalued contractions (see Theorem 21). It is based on a new idea of the α-step mappings (see Definition 17) being more efficient than α-contractions. In the present paper this theorem is a tool in proving some fixed point theorems for “nonexpansive” mappings in the bead spaces (metric spaces that, roughly speaking, are modelled after convex sets in uniformly convex spaces). More precisely the mappings are nonexpansive on a set with respect to only one point - the centre of this set (see condition (4)). The results are pretty general. At first we assume that the value of the mapping under consideration at this central point looks “sharp” (see Definition 6). This idea leads to a group of theorems (based on Theorem 7). Their proofs are compact and the theorems, in particular, are natural extensions of the classical results for (usual) nonexpansive mappings. In the second part we apply the idea of Lim to investigate the regular sequences and here the proofs are based on our extension of Nadler's Theorem. In consequence we obtain some fixed point theorems that generalise the classical Lim Theorem for multivalued nonexpansive mappings (see e.g. Theorem 26).     

Towards computability of elliptic boundary value problems in variational formulation

We present computable versions of the Fréchet–Riesz Representation Theorem and the Lax–Milgram Theorem. The classical versions of these theorems play important roles in various problems of mathematical analysis, including boundary value problems of elliptic equations. We demonstrate how their computable versions yield computable solutions of the Neumann and Dirichlet boundary value problems for a simple non-symmetric elliptic differential equation in the one-dimensional case. For the discussion of these elementary boundary value problems, we also provide a computable version of the Theorem of Schauder, which shows that the adjoint of a computably compact operator on Hilbert spaces is computably compact again.     

Fujita type exponent for fully nonlinear parabolic equations and existence results

In this paper, we prove that a class of parabolic equations involving a second order fully nonlinear uniformly elliptic operator has a Fujita type exponent. These exponents are related with an eigenvalue problem in all RN and play the same role in blow-up theorems as the classical p^?=1+2/N introduced by Fujita for the Laplacian. We also obtain some associated existence results.     

Singularities of slice regular functions

Beginning in 2006, G. Gentili and D. C. Struppa developed a theory of regular quaternionic functions with properties that recall classical results in complex analysis. For instance, in each Euclidean ball B(0, R) centered at 0 the set of regular functions coincides with that of quaternionic power series $\sum _{n \in {\mathbb {N}}} q^n a_n$ converging in B(0, R). In 2009 the author proposed a classification of singularities of regular functions as removable, essential or as poles and studied poles by constructing the ring of quotients. In that article, not only the statements, but also the proving techniques were confined to the special case of balls B(0, R). Quite recently, F. Colombo, G. Gentili and I. Sabadini (2010) and the same authors in collaboration with D. C. Struppa (2009) identified a larger class of domains, on which the theory of regular functions is natural and not limited to quaternionic power series. The present article studies singularities in this new context, beginning with the construction of the ring of quotients and of Laurent‐type expansions at points p other than the origin. These expansions, which differ significantly from their complex analogs, allow a classification of singularities that is consistent with the one given in 2009. Poles are studied, as well as essential singularities, for which a version of the Casorati‐Weierstrass Theorem is proven.     

Triple Representation Theorem for orthocomplete homogeneous effect algebras

The aim of our paper is twofold. First, we thoroughly study the set of meager elements M(E), the set of sharp elements S(E), and the center C(E) in the setting of meager-orthocomplete homogeneous effect algebras E. Second, we prove the Triple Representation Theorem for sharply dominating meager-orthocomplete homogeneous effect algebras, in particular orthocomplete homogeneous effect algebras.     

Restricted versions of the Tukey-Teichmüller theorem that are equivalent to the Boolean prime ideal theorem

We formulate a restricted version of the Tukey-Teichmüller Theorem that we denote by (rTT). We then prove that (rTT) and (BPI) are equivalent in ZF and that (rTT) applies rather naturally to several equivalent forms of (BPI): Alexander Subbase Theorem, Stone Representation Theorem, Model Existence and Compactness Theorems for propositional and first-order logic. We also give two variations of (rTT) that we denote by (rTT)⁺ and (rTT)⁺⁺; each is equivalent to (rTT) in ZF. The variation (rTT)⁺⁺ applies rather naturally to various Selection Lemmas due to Cowen, Engeler, and Rado.Dedicated to W.W. Comfort on the occasion of his seventieth birthday.     

Multivariate Jackson Inequality

By known multivariate versions of the classical Jackson theorem, every compact cube P in R^N admits Jackson’s inequality. The purpose of this note is to deliver other examples of Jackson sets in R^N. We shall show that a finite union of disjoint Jackson compact sets in R^N is also a Jackson set and that this in general fails to hold for an infinite union of Jackson sets. We also give a characterization of Jackson sets in the family of Markov compact sets in R^N which together with a Bierstone result permits one to show that Whitney regular compact subsets of R^N are Jackson.     

Gradient estimates for Dirichlet parabolic problems in unbounded domains

We consider autonomous parabolic Dirichlet problems in a regular unbounded open set Ω⊂R^N involving second-order operator A with (possibly) unbounded coefficients. We determine new conditions on the coefficients of A yielding global gradient estimates for the bounded classical solution.     

Another Rigidity Theorem for Affine Immersions

The theorem of Beez-Killing in Euclidean differential geometry states as follows [KN, p.46]. Let f: M ⁿ → Rⁿ⁺¹ be an isometric immersion of an n-dimensional Riemannian manifold into a Euclidean (n + l)-space. If the rank of the second fundamental form of f is greater than 2 at every point, then any isometric immersion of M ⁿ into R ^{n +} 1 is congruent to f. A generalization of this classical theorem to affine differential geometry has been given in [O] (see Theorem 1.5). We shall give in this paper another version of rigidity theorem for affine immersions.     

An axiomatic analysis of the Droz-Farny Line Theorem

We analyze an elementary theorem of Euclidean geometry, the Droz-Farny Line Theorem, from the point of view of the foundations of geometry. We start with an elementary synthetic proof which is based on simple properties of the group of motions. The proof reveals that the Droz-Farny Line Theorem is a special case of the Theorem of Goormatigh which is, in turn, a special case of the Counterpairing Theorem of Hessenberg. An axiomatic analysis in the sense of Hilbert [14] and Bachmann [2] leads to a study of different versions of the theorems (e.g., of a dual version or of an absolute version, which is valid in absolute geometry) and to a new axiom system for the associated very general plane absolute geometry (the geometry of pencils and lines). In the last section the role of the theorems in the foundations of geometry is discussed.     

Multiple solutions for some nonlinear Schrödinger equations with indefinite linear part

We consider a class of nonlinear Schrödinger equation with indefinite linear part in RN. We prove that the problem has at least three nontrivial solutions by means of Linking Theorem and (∇)-Theorem.     

О скорсти сходимости рядов фурье двумерных функций ограниченной вариации

S. A. Telyakovskii [12] generalized a theorem of Bojani? [2] on the quantitative version of the Dirichlet-Jordan test, well-known in the classical Fourier analysis. Our goal is to extend Telyakovskii’s theorem from single to double Fourier series of functions in two variables that are of bounded variation in the sense of Hardy and Krause. The related theorems of Hardy [5] and Móricz [7] for such functions are corollaries of our Theorem proved in this paper.     

The Sharkovski? Theorem for spaces of measurable functions

We formulate a generalization of the so-called Random Sharkovski? Theorem from paper by Jan Andres, which is the randomized version of the classical Sharkovski? Theorem. We use the method of transformation to deterministic case involving the Kuratowski-Ryll-Nardzewski selection theorem, which allows us to omit the assumption of completeness of the incorporated measurable space. Moreover, we formulate an analogue of the Sharkovski? Theorem for spaces of measurable functions and for Lp-spaces.     

Essential and inessential points of local nonconvexity

LetS be a closed connected subset of a Hausdorff linear topological space,Q the points of local nonconvexity ofS, E the essential members ofQ, N the inessential. IfS～Q is connected, then the following are true: Theorem 1.If Q ?Øis countable, then S is planar. Theorem 2.If Q is finite and nonempty, then cardE≧cardN+1. Theorem 3.If SυR ² and N is infinite, then E is infinite.     

Analytically heavy spaces: Analytic Cantor and Analytic Baire Theorems

Motivated by recent work, we establish the Baire Theorem in the broad context afforded by weak forms of completeness implied by analyticity and K-analyticity, thereby adding to the ‘Baire space recognition literature’ (cf. Aarts and Lutzer (1974) [1], Haworth and McCoy (1977) [43]). We extend a metric result of van Mill, obtaining a generalization of Oxtoby's weak α-favourability conditions (and therefrom variants of the Baire Theorem), in a form in which the principal role is played by K-analytic (in particular analytic) sets that are ‘heavy’ (everywhere large in the sense of some σ-ideal). From this perspective fine-topology versions are derived, allowing a unified view of the Baire Theorem which embraces classical as well as generalized Gandy-Harrington topologies (including the Ellentuck topology), and also various separation theorems. A multiple-target form of the Choquet Banach-Mazur game is a primary tool, the key to which is a restatement of the Cantor Theorem, again in K-analytic form.     

The fundamental theorem of asset pricing under default and collateral in finite discrete time

We consider a financial market where time and uncertainty are modeled by a finite event-tree. The event-tree has a length of N, a unique initial node at the initial date, and a continuum of branches at each node of the tree. Prices and returns of J assets are modeled, respectively, by a R2J×R2J-valued stochastic process . In this framework we prove a version of the Fundamental Theorem of Asset Pricing which applies to defaultable securities backed by exogenous collateral suffering a contingent linear depreciation.