A discrete version of Liouville’s theorem on conformal maps

Geometriae Dedicata - Liouville’s theorem says that in dimension greater than two, all conformal maps are Möbius transformations. We prove an analogous statement about simplicial...     

On a sheaf-theoretic version of the Witt’s decomposition theorem. A Lagrangian perspective

The approach to a counterpart, in Abstract Geometric Algebra, that is, Geometric Algebra via sheaves of modules, of the classical Witt’s decomposition theoremis based on the axiomatization of the classical context, which however leads to the formulation of a specific subcategory of the category of sheaves of modules: the full subcategory of convenient sheaves of modules. Convenient sheaves of modules turn out, by the very essence of the matter at hand, to be of further importance as far as the setting of results leading to the sheaf-theoretic aspect of several forms of the Witt’s theorem is concerned. Further versions of the Witt’s theorem are still to be treated elsewhere.      

On a generalization of Hua’s theorem with five squares of primes

We sharpen Hua’s theorem with five squares of primes by proving that every sufficiently large integer N congruent to 5 modulo 24 can be written in the form

On a nonsmooth version of Newton’s method using locally lipschitzian operators

In this study we are concerned with the problem of approximating a locally unique solution of an operator equation in Banach space using Newton’s method. The differentiability of the operator involved is not assumed. We provide a semilocal convergence analysis utilized to solve problems that were not covered before. Numerical examples are also provided to justify our approach.     

Partition properties of the dense local order and a colored version of Milliken’s theorem

We study finite dimensional partition properties of the countable homogeneous dense local order (a directed graph closely related to the order structure of the rationals). Some of our results use ideas borrowed from the partition calculus of the rationals and are obtained thanks to a strengthening of Milliken’s theorem on trees.     

On a nonsmooth version of Newton’s method using locally lipschitzian operators

In this study we are concerned with the problem of approximating a locally unique solution of an operator equation in Banach space using Newton’s method. The differentiability of the operator involved is not assumed. We provide a semilocal convergence analysis utilized to solve problems that were not covered before. Numerical examples are also provided to justify our approach.     

Left and right negatively orderable semigroups and a one-sided version of Simon’s theorem

We study the classes \(\mathrm {LNO}\) and \(\mathrm {RNO}\) of left and right negatively orderable semigroups, arising as natural one-sided generalizations of negatively orderable semigroups (\(\mathrm {NO}\)). Negatively ordered monoids are well-known, for instance, from an equivalent formulation by Straubing and Thérien, of a celebrated theorem by I. Simon on piecewise testable languages. The main aim of this paper is to prove a one-sided version of Simon’s theorem for \(\mathrm {LNO}\) (\(\mathrm {RNO}\)). Analogues of some well-known results about negatively orderable semigroups are established in these cases. A characterisation of right negatively orderable semigroups as semigroups of certain type of decreasing mappings on partially ordered sets is obtained. We present sets of quasi-identities defining the quasivarieties \(\mathrm {LNO}\) and \(\mathrm {RNO}\) and show that these classes cannot be defined by finite sets of quasi-identities. We prove \(\mathrm {NO}=\mathrm {LNO}\cap \mathrm {RNO}\) and describe \(\mathrm {LNO}\vee \mathrm {RNO}\). As a one-sided version of Simon’s theorem, the pseudovariety generated by all finite semigroups in \(\mathrm {LNO}\) (\(\mathrm {RNO}\)) is determined and an Eilenberg-type correspondence between this pseudovariety and a variety of languages is established.     

On the CR analogue of Obata’s theorem in a pseudohermitian 3-manifold

In this paper, we first prove the CR analogue of Obata’s theorem on a closed pseudohermitian 3-manifold with zero pseudohermitian torsion. Secondly, instead of zero torsion, we have the CR analogue of Li-Yau’s eigenvalue estimate on the lower bound estimate of positive first eigenvalue of the sub-Laplacian in a closed pseudohermitian 3-manifold with nonnegative CR Paneitz operator P ₀. Finally, we have a criterion for the positivity of first eigenvalue of the sub-Laplacian on a complete noncompact pseudohermitian 3-manifold with nonnegative CR Paneitz operator. The key step is a discovery of integral CR analogue of Bochner formula which involving the CR Paneitz operator. This research was supported in part by the NSC of Taiwan.     

On functions whose symmetric part of gradient agree and a generalization of Reshetnyak’s compactness theorem

We consider the following question: Given a connected open domain ${\Omega \subset \mathbb{R}^n}$ , suppose ${u, v : \Omega \rightarrow \mathbb{R}^n}$ with det ${(\nabla u) > 0}$ , det ${(\nabla v) > 0}$ a.e. are such that ${\nabla u^T(x)\nabla u(x) = \nabla v(x)^T \nabla v(x)}$ a.e. , does this imply a global relation of the form ${\nabla v(x) = R\nabla u(x)}$ a.e. in Ω where ${R \in SO(n)}$ ? If u, v are C ¹ it is an exercise to see this true, if ${u, v\in W^{1,1}}$ we show this is false. In Theorem 1 we prove this question has a positive answer if ${v \in W^{1,1}}$ and ${u \in W^{1,n}}$ is a mapping of L ^p integrable dilatation for p > n ? 1. These conditions are sharp in two dimensions and this result represents a generalization of the corollary to Liouville’s theorem that states that the differential inclusion ${\nabla u \in SO(n)}$ can only be satisfied by an affine mapping. Liouville’s corollary for rotations has been generalized by Reshetnyak who proved convergence of gradients to a fixed rotation for any weakly converging sequence ${v_k \in W^{1,1}}$ for which $$\int \limits_{\Omega} {\rm dist}(\nabla v_k, SO(n))dz \rightarrow 0 \, {\rm as} \, k \rightarrow \infty.$$ Let S(·) denote the (multiplicative) symmetric part of a matrix. In Theorem 3 we prove an analogous result to Theorem 1 for any pair of weakly converging sequences ${v_k \in W^{1,p}}$ and ${u_k \in W^{1,\frac{p(n-1)}{p-1}}}$ (where ${p \in [1, n]}$ and the sequence (u _k ) has its dilatation pointwise bounded above by an L ^r integrable function, r > n ? 1) that satisfy ${\int_{\Omega} |S(\nabla u_k) - S(\nabla v_k)|^p dz \rightarrow 0}$ as k → ∞ and for which the sign of the det ${(\nabla v_k)}$ tends to 1 in L ¹. This result contains Reshetnyak’s theorem as the special case (u _k ) ≡ Id, p = 1.     

An analogue of Beurling’s theorem for the Jacobi transform

In this paper, we prove Beurling＇s theorem for the Jacobi transform, from which we derive some other versions of uncertainty principles.     

On the projections of convex lattice sets

As a discrete analogue of Aleksandrov＇s projection theorem, it is natural to ask the following question： Can an o-symmetric convex lattice set of the integer lattice Z n be uniquely determined by its lattice projection counts？ In 2005, Gardner, Gronchi and Zong discovered a counterexample with cardinality 11 in the plane. In this paper, we will show that it is the only counterexample in Z2, up to unimodular transformations and with cardinality not larger than 17.     

An application of Chen’s theorem to convergence of Fourier multiplier transforms

Let V be a star shaped region. In 2006, Colzani, Meaney and Prestini proved that if function f satisfies some condition, then the multiplier transform with the characteristic function of tV as the multiplier tends to f almost everywhere, when t goes to∞. In this paper we use a Theorem established by K.K.Chen to show that if we change their multiplier, then the condition on f can be weakened.     

Implicit function theorem and its application to a Ulam’s problem for exact differential equations

We prove a global version of the implicit function theorem under a special condition and apply this result to the proof of a modified Hyers-Ulam-Rassias stability of exact differential equations of the form, g（x, y） ＋ h（x, y）y＇ =0.     

On a variant of Rado’s selection lemma and its equivalence with the Boolean prime ideal theorem

We establish that, in ZF (i.e., Zermelo–Fraenkel set theory minus the Axiom of Choice AC), the statement RLT: Given a set I and a non-empty set \({\mathcal{F}}\) of non-empty elementary closed subsets of 2 ^I satisfying the fip, if \({\mathcal{F}}\) has a choice function, then \({\bigcap\mathcal{F} \ne \emptyset}\) , which was introduced in Morillon (Arch Math Logic 51(7–8):739–749, 2012), is equivalent to the Boolean Prime Ideal Theorem (see Sect. 1 for terminology). The result provides, on one hand, an affirmative answer to Morillon’s corresponding question in Morillon (2012) and, on the other hand, a negative answer—in the setting of ZFA (i.e., ZF with the axiom of extensionality weakened to permit the existence of atoms)—to the question in Morillon (2012) of whether RLT is equivalent to Rado’s selection lemma.