Fixed point theorems for single- and set-valued <Emphasis Type="Italic">F</Emphasis>-contractions in <Emphasis Type="Italic">b</Emphasis>-metric spaces

Very recently, Miculescu and Mihail in (J. Fixed Point Theory Appl 19:2153–2163, 2017) gave a sufficient condition for Cauchyness on sequences in b-metric spaces. In this paper, we give a weaker sufficient condition. Also, to show the new sufficient condition is reasonably weak, we give an example. Using the new sufficient condition, we prove fixed point theorems for set-valued F-contractions in complete b-metric spaces. We also prove a fixed point theorem for single-valued F-contractions in complete b-metric spaces.     

A fixed point theorem of Jungck in $$b_v(s)$$-metric spaces

In this paper, we prove the common fixed point theorem of Jungck in \(b_v(s)\)-metric spaces. As a corollary, a common fixed point theorem in the rectangular b-metric space and the well known common fixed point theorem in b-metric spaces are obtained.     

Global existence of solutions for stochastic impulsive differential equations

In this paper we obtain some results on the global existence of solution to Itô stochastic impulsive differential equations in M([0,∞),? ⁿ ) which denotes the family of ? ⁿ -valued stochastic processes x satisfying sup_t∈[0,∞) \(\mathbb{E}\)|x(t)|² < ∞ under non-Lipschitz coefficients. The Schaefer fixed point theorem is employed to achieve the desired result. An example is provided to illustrate the obtained results.     

Characterization of convex domains in ℂ<Superscript>2</Superscript> with non-compact automorphism group

In the field of several complex variables, the Greene-Krantz Conjecture, whose consequences would be far reaching, has yet to be proven. The conjecture is as follows: Let D be a smoothly bounded domain in ?ⁿ. Suppose there exists {g _j} ? Aut(D) such that {g _j(z)} accumulates at a boundary point p ∈ ?D for some z ∈ D. Then ?D is of finite type at p. In this paper, we prove the following result, yielding further evidence to the probable veracity of this important conjecture: Let D be a bounded convex domain in ?² with C ² boundary. Suppose that there is a sequence {g _j} ? Aut(D) such that {g _j(z)} accumulates at a boundary point for some point z ∈ D. Then if p ∈ ?D is such an orbit accumulation point, ?D contains no non-trivial analytic variety passing through p.     

Grauert’s line bundle convexity,reduction and Riemann domains

We consider a convexity notion for complex spaces X with respect to a holomorphic line bundle L over X. This definition has been introduced by Grauert and, when L is analytically trivial, we recover the standard holomorphic convexity. In this circle of ideas, we prove the counterpart of the classical Remmert’s reduction result for holomorphically convex spaces. In the same vein, we show that if H⁰(X,L) separates each point of X, then X can be realized as a Riemann domain over the complex projective space Pⁿ, where n is the complex dimension of X and L is the pull-back of O(1).     

Density of solutions to quadratic congruences

A classical result in number theory is Dirichlet’s theorem on the density of primes in an arithmetic progression. We prove a similar result for numbers with exactly k prime factors for k > 1. Building upon a proof by E.M. Wright in 1954, we compute the natural density of such numbers where each prime satisfies a congruence condition. As an application, we obtain the density of squarefree n ≤ x with k prime factors such that a fixed quadratic equation has exactly 2 ^k solutions modulo n.     

Omega-Limit Sets of Generic Points of Partially Hyperbolic Diffeomorphisms

We prove that, for any E^u ⊕ E^cs partially hyperbolic C² diffeomorphism, the ω-limit set of a generic (with respect to the Lebesgue measure) point is a union of unstable leaves. As a corollary, we prove a conjecture made by Ilyashenko in his 2011 paper that the Milnor attractor is a union of unstable leaves. In the paper mentioned above, Ilyashenko reduced the local generecity of the existence of a “thick” Milnor attractor in the class of boundary-preserving diffeomorphisms of the product of the interval and the 2-torus to this conjecture.     

On the torus cobordant cohomology spheres

Let G be a compact Lie group. In 1960, P A Smith asked the following question: “Is it true that for any smooth action of G on a homotopy sphere with exactly two fixed points, the tangent G-modules at these two points are isomorphic?” A result due to Atiyah and Bott proves that the answer is ‘yes’ for ? _p and it is also known to be the same for connected Lie groups. In this work, we prove that two linear torus actions on S ⁿ which are c-cobordant (cobordism in which inclusion of each boundary component induces isomorphisms in ?-cohomology) must be linearly equivalent. As a corollary, for connected case, we prove a variant of Smith’s question.     

Whitney smooth families of invariant tori within the reversible context 2 of KAM theory

We prove a general theorem on the persistence of Whitney C ^∞-smooth families of invariant tori in the reversible context 2 of KAM theory. This context refers to the situation where dim FixG < (codim T)/2, where FixG is the fixed point manifold of the reversing involution G and T is the invariant torus in question. Our result is obtained as a corollary of the theorem by H. W.Broer, M.-C.Ciocci, H.Hanßmann, and A.Vanderbauwhede (2009) concerning quasi-periodic stability of invariant tori with singular “normal” matrices in reversible systems.     

On sets of directions determined by subsets of ℝ<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript>

Given E ? ? ^d , d ≥ 2, define

$D(E) \equiv \left\{ {{{x - y} \over {\left| {x - y} \right|}}:x,y \in E} \right\} \subset {S^{d - 1}}$

to be the set of directions determined by E. We prove that if the Hausdorff dimension of E is greater than d ? 1, then σ(D(E)) > 0, where σ denotes the surface measure on S ^d?1. In the process, we prove some tight upper and lower bounds for the maximal function associated with the Radon-Nikodym derivative of the natural measure on D. This result is sharp, since the conclusion fails to hold if E is a (d ? 1)-dimensional hyper-plane. This result can be viewed as a continuous analog of a recent result of Pach, Pinchasi, and Sharir ([22, 23]) on directions determined by finite subsets of ? ^d . We also discuss the case when the Hausdorff dimension of E is precisely d ? 1, where some interesting counter-examples have been obtained by Simon and Solomyak ([25]) in the planar case. In response to the conjecture stated in this paper, T. Orponen and T. Sahlsten ([20]) have recently proved that if the Hausdorff dimension of E equals d ? 1 and E is rectifiable and is not contained in a hyper-pane, the Lebesgue measure of the set of directions is still positive. Finally, we show that our continuous results can be used to recover and, in some cases, improve the exponents for the corresponding results in the discrete setting for large classes of finite point sets. In particular, we prove that a finite point set P ? ? ^d , d ≥ 3, satisfying a certain discrete energy condition (Definition 3.1) determines ? #P distinct directions.

     

An optimal gap theorem

By solving the Cauchy problem for the Hodge-Laplace heat equation for d-closed, positive (1,1)-forms, we prove an optimal gap theorem for Kähler manifolds with nonnegative bisectional curvature which asserts that the manifold is flat if the average of the scalar curvature over balls of radius r centered at any fixed point o is a function of o(r ^?2). Furthermore via a relative monotonicity estimate we obtain a stronger statement, namely a ‘positive mass’ type result, asserting that if (M,g) is not flat, then \(\liminf_{r\to\infty} \frac {r^{2}}{V_{o}(r)}\int_{B_{o}(r)}\mathcal{S}(y)\, d\mu(y)>0\) for any o∈M.     

Some refined bounds for the perturbation of the orthogonal projection and the generalized inverse

In this paper, we consider the perturbation of the orthogonal projection and the generalized inverse for an n × n matrix A and present some perturbation bounds for the orthogonal projections on the rang spaces of A and A^?, respectively. A combined bound for the orthogonal projection on the rang spaces of A and A^? is also given. The proposed bounds are sharper than the existing ones. From the combined bounds of the orthogonal projection on the rang spaces of A and A^?, we derived new perturbation bounds for the generalized inverse, which always improve the existing ones. The combined perturbation bound for the orthogonal projection and the generalized inverse is also given. Some numerical examples are given to show the advantage of the new bounds.     

Harnack Inequality and Regularity for a Product of Symmetric Stable Process and Brownian Motion

In this paper, we consider a product of a symmetric stable process in ? ^d and a one-dimensional Brownian motion in ?^?+?. Then we define a class of harmonic functions with respect to this product process. We show that bounded non-negative harmonic functions in the upper-half space satisfy Harnack inequality and prove that they are locally Hölder continuous. We also argue a result on Littlewood–Paley functions which are obtained by the α-harmonic extension of an L ^p (? ^d ) function.     

On purely non-free finite actions of abelian groups on compact surfaces

A finite group of self-homeomorphisms of a closed orientable surface is said to act on it purely non-freely if each of its elements has a fixed point; we also call it a gpnf-action. In this paper we observe that gpnf-actions exist for an arbitrary finite group and we discuss the minimum genus problem for such actions. We solve it for abelian groups. In the cyclic case we prove that the minimal gpnf-action genus coincides with Harvey’s minimal genus.     

Online and Quasi-online Colorings of Wedges and Intervals

We consider proper online colorings of hypergraphs defined by geometric regions. We prove that there is an online coloring algorithm that colors N intervals of the real line using \({\Theta }(\log N/k)\) colors such that for every point p, contained in at least k intervals, not all the intervals containing p have the same color. We also prove the corresponding result about online coloring a family of wedges (quadrants) in the plane that are the translates of a given fixed wedge. These results contrast the results of the first and third author showing that in the quasi-online setting 12 colors are enough to color wedges (independent of N and k). We also consider quasi-online coloring of intervals. In all cases we present efficient coloring algorithms.     

On the Number of Irreducible Points in Polyhedra

An integer point in a polyhedron is called irreducible iff it is not the midpoint of two other integer points in the polyhedron. We prove that the number of irreducible integer points in n-dimensional polytope P is at most \(O(m^{\lfloor \frac{n}{2}\rfloor }\log ^{n-1}\gamma )\), where n is fixed and P is given by a system of m linear inequalities with integer coefficients not exceeding (by absolute value) \(\gamma \). This bound is tight. Using this result we prove the conjecture asserting that the teaching dimension in the class of threshold functions of k-valued logic in n variables is \(\varTheta (\log ^{n-2} k)\) for any fixed \(n\ge 2\).     

On a functional equation related to derivations in prime rings

In this paper we prove the following result. Let m ≥ 1, n ≥ 1 be fixed integers and let R be a prime ring with m + n + 1 ≤ char(R) or char(R) = 0. Suppose there exists an additive nonzero mapping D : R → R satisfying the relation 2D(x ^n+m+1) = (m + n + 1)(x ^m D(x)x ⁿ + x ⁿ D(x)x ^m ) for all \({x\in R}\). In this case R is commutative and D is a derivation.     

On the evolution of continued fractions in a fixed quadratic field

We prove that the statistics of the period of the continued fraction expansion of certain sequences of quadratic irrationals from a fixed quadratic field approach the ‘normal’ statistics given by the Gauss-Kuzmin measure. As a byproduct, the growth rate of the period is analyzed and, for example, it is shown that for a fixed integer k and a quadratic irrational α, the length of the period of the continued fraction expansion of k ⁿ α equals ck ⁿ + o(k^15n/16) for some positive constant c. This improves results of Cohn, Lagarias, and Grisel, and settles a conjecture of Hickerson. The results are derived from the main theorem of the paper, which establishes an equidistribution result regarding single periodic geodesics along certain paths in the Hecke graph. The results are effective and give rates of convergence and the main tools are spectral gap (effective decay of matrix coefficients) and dynamical analysis on S-arithmetic homogeneous spaces.     

On a Fitting length conjecture without the coprimeness condition

Let A be a finite nilpotent group acting fixed point freely by automorphisms on the finite solvable group G. It is conjectured that the Fitting length of G is bounded by the number of primes dividing the order of A, counted with multiplicities. The main result of this paper shows that the conjecture is true in the case where A is cyclic of order p ⁿ q, for prime numbers p and q coprime to 6 and G has abelian Sylow 2-subgroups.     

Generalized <Emphasis Type="Italic">p</Emphasis>-Adic Fourier Transform and Estimates of Integral Modulus of Continuity in Terms of This Transform

We consider a new class of functions on the p-adic linear space ? _p ⁿ for which a Fourier transform can be defined.We prove equalities of Parseval type, an inversion formula and a sufficient condition for a function to be represented as this Fourier transform. Also we give a sharp estimate of the L²(? _p ⁿ ) modulus of continuity in terms of Fourier transform generalizing the result of S. S. Platonov in the case n = 1. Finally we prove a generalization of this result and its converse for L^q(? _p ⁿ ) with appropriate q.