The Reich–Zaslavski property and fixed points of non-self multivalued mappings

Let (X, d) be a metric space, Y be a nonempty subset of X, and let \(T:Y \rightarrow P(X)\) be a non-self multivalued mapping. In this paper, by a new technique we study the fixed point theory of multivalued mappings under the assumption of the existence of a bounded sequence \((x_n)_n\) in Y such that \(T^nx_n\subseteq Y,\) for each \(n \in \mathbb {N}\). Our main result generalizes fixed point theorems due to Matkowski (Diss. Math. 127, 1975), W?grzyk (Diss. Math. (Rozprawy Mat.) 201, 1982), Reich and Zaslavski (Fixed Point Theory 8:303–307, 2007), Petru?el et al. (Set-Valued Var. Anal. 23:223–237, 2015) and provides a solution to the problems posed in Petru?el et al. (Set-Valued Var. Anal. 23:223–237, 2015) and Rus and ?erban (Miskolc Math. Notes 17:1021–1031, 2016).     

Dirichlet series with functional equations and arithmetical identities

Exploiting the functional equation of Hecke-type associated with a function satisfying a modular relation with a residual function as developed in Bochner (J Indian Math Soc 16:99–102, 1952), Chandrasekharan and Narasimhan (Ann Math 74:1–23, 1961) derived the equivalence of the functional equation to two arithmetical identities. Hawkins and Knopp (Contemp Math 143:451–475, 1993) showed the equivalence of the functional equation to modular integrals with rational period functions of weight 2k, \(k \in \mathbb {Z}^+\) on the theta group \(\Gamma _\vartheta \). The aim of the current work is to show that results analogous to those of Chandrasekharan and Narasimhan can be developed in the Hawkins and Knopp context, but with respect to the full modular group \(\Gamma (1)\), rather than the theta group \(\Gamma _\vartheta \).     

Finite-Codimensional Compressions of Symmetric and Self-Adjoint Linear Relations in Krein Spaces

Theorems due to Stenger (Bull Am Math Soc 74:369–372, 1968) and Nudelman (Int Equ Oper Theory 70:301–305, 2011) in Hilbert spaces and their generalizations to Krein spaces in Azizov and Dijksma (Int Equ Oper Theory 74(2):259–269, 2012) and Azizov et al. (Linear Algebra Appl 439:771–792, 2013) generate additional questions about properties a finite-codimensional compression \({T_0}\) of a symmetric or self-adjoint linear relation \({T}\) may or may not inherit from \({T}\). These questions concern existence of invariant maximal nonnegative subspaces, definitizability, singular critical points and defect indices.     

A normal generating set for the Torelli group of a compact non-orientable surface

For a compact surface S, let \({\mathcal {I}}(S)\) denote the Torelli group of S. For a compact orientable surface \(\Sigma \), \({\mathcal {I}}(\Sigma )\) is generated by two types of mapping classes, called bounding simple closed curve maps (BSCC maps) and bounding pair maps (BP maps) (see Powell in Proc Am Math Soc 68:347–350, 1978; Putman in Geom Topol 11:829–865, 2007). For a non-orientable closed surface N, \({\mathcal {I}}(N)\) is generated by BSCC maps and BP maps (see Hirose and Kobayashi in Fund Math 238:29–51, 2017). In this paper, we give an explicit normal generating set for \({\mathcal {I}}(N_g^b)\), where \(N_g^b\) is a genus-g compact non-orientable surface with b boundary components for \(g\ge 4\) and \(b\ge 1\).     

On a Classification of 4-d Gradient Ricci Solitons with Harmonic Weyl Curvature

We study a characterization of 4-dimensional (not necessarily complete) gradient Ricci solitons (M, g, f) which have harmonic Weyl curvature, i.e., \(\delta W=0\). Roughly speaking, we prove that the soliton metric g is locally isometric to one of the following four types: an Einstein metric, the product \( \mathbb {R}^2 \times N_{\lambda }\) of the Euclidean metric and a 2-d Riemannian manifold of constant curvature \({\lambda } \ne 0\), a certain singular metric and a locally conformally flat metric. The method here is motivated by Cao–Chen’s works (in Trans Am Math Soc 364:2377–2391, 2012; Duke Math J 162:1003–1204, 2013) and Derdziński’s study on Codazzi tensors (in Math Z 172:273–280, 1980). Combined with the previous results on locally conformally flat solitons, our characterization yields a new classification of 4-d complete steady solitons with \(\delta W=0\). For the shrinking case, it re-proves the rigidity result (Fernández-López and García-Río in Math Z 269:461–466, 2011; Munteanu and Sesum in J. Geom Anal 23:539–561, 2013) in 4-d. It also helps to understand the expanding case; we now understand all 4-d non-conformally flat ones with \(\delta W=0\). We also characterize locally 4-d (not necessarily complete) gradient Ricci solitons with harmonic curvature.     

O $$\varvec{}$$-orm preservers ad the Aleksadrov coservative $$\varvec{}$$-distace problem

The goal of this paper is to point out that the results obtained in the recent papers (Chen and Song in Nonlinear Anal 72:1895–1901, 2010; Chu in J Math Anal Appl 327:1041–1045, 2007; Chu et al. in Nonlinear Anal 59:1001–1011, 2004a, J. Math Anal Appl 289:666–672, 2004b) can be seriously strengthened in the sense that we can significantly relax the assumptions of the main results so that we still get the same conclusions. In order to do this first, we prove that for \(n \ge 3\) any transformation which preserves the n-norm of any n vectors is automatically plus-minus linear. This will give a re-proof of the well-known Mazur–Ulam-type result that every n-isometry is automatically affine (\(n \ge 2\)) which was proven in several papers, e.g. in Chu et al. (Nonlinear Anal 70:1068–1074, 2009). Second, following the work of Rassias and ?emrl (Proc Am Math Soc 118:919–925, 1993), we provide the solution of a natural Aleksandrov-type problem in n-normed spaces, namely, we show that every surjective transformation which preserves the unit n-distance in both directions (\(n\ge 2\)) is automatically an n-isometry.     

Gradient shrinking Ricci solitons of half harmonic Weyl curvature

Gradient Ricci solitons and metrics with half harmonic Weyl curvature are two natural generalizations of Einstein metrics on four-manifolds. In this paper we prove that if a metric has structures of both gradient shrinking Ricci soliton and half harmonic Weyl curvature, then except for three examples, it has to be an Einstein metric with positive scalar curvature. Precisely, we prove that a four-dimensional gradient shrinking Ricci soliton with \(\delta W^{\pm }=0\) is either Einstein, or a finite quotient of \(S^3\times \mathbb {R}\), \(S^2\times \mathbb {R}^2\) or \(\mathbb {R}^4\). We also prove that a four-dimensional gradient Ricci soliton with constant scalar curvature is either Kähler–Einstein, or a finite quotient of \(M\times \mathbb {C}\), where M is a Riemann surface. The method of our proof is to construct a weighted subharmonic function using curvature decompositions and the Weitzenböck formula for half Weyl curvature, and the method was motivated by previous work (Gursky and LeBrun in Ann Glob Anal Geom 17:315–328, 1999; Wu in Einstein four-manifolds of three-nonnegative curvature operator 2013; Trans Am Math Soc 369:1079–1096, 2017; Yang in Invent Math 142:435–450, 2000) on the rigidity of Einstein four-manifolds with positive sectional curvature, and previous work (Cao and Chen in Trans Am Math Soc 364:2377–2391, 2012; Duke Math J 162:1003–1204, 2013; Catino in Math Ann 35:629–635, 2013) on the rigidity of gradient Ricci solitons.     

$$L^{p}(\mu ) \rightarrow L^{q}(\nu )$$ Characterization for Well Localized Operators

We consider a two weight \(L^{p}(\mu ) \rightarrow L^{q}(\nu )\)-inequality for well localized operators as defined and studied by Nazarov et al. (Math Res Lett 15(3):583–597, 2008) when \(p=q=2\). A counterexample of Nazarov shows that the direct analogue of the results in Nazarov et al. (Math Res Lett 15(3):583–597, 2008) fails for \(p=q\not =2\). Here a new square function testing condition is introduced and applied to characterize the two weight norm inequality. The use of the square function testing condition is also demonstrated in connection with certain positive dyadic operators.     

On a functional equation by Baak,Boo and Rassias

In Baak et al. (J Math Anal Appl 314(1):150–161, 2006) the authors considered the functional equation

$$\begin{aligned} r f\left( \frac{1}{r}\,\sum _{j=1}^{d}x_j\right)+ & {} \sum _{i(j)\in \{0,1\} \atop \sum _{1\le j\le d} i(j)=\ell }r f\left( \frac{1}{r}\,\sum _{j=1}^d (-1)^{i(j)}x_j\right) \\= & {} \left( {d-1\atopwithdelims ()\ell }-{d-1\atopwithdelims ()\ell -1} +1\right) \sum _{j=1}^{d} f(x_j) \end{aligned}$$

where \(d,\ell \in \mathbb {N}\), \(1<\ell <d/2\) and \(r\in \mathbb {Q}{\setminus }\{0\}\). The authors determined all odd solutions \(f:X\rightarrow Y\) for vector spaces X, Y over \(\mathbb {Q}\). In Oubbi (Can Math Bull 60:173–183, 2017) the author considered the same equation but now for arbitrary real \(r\not =0\) and real vector spaces X, Y. Generalizing similar results from (J Math Anal Appl 314(1):150–161, 2006) he additionally investigates certain stability questions for the equation above, but as for that equation itself for odd approximate solutions only. The present paper deals with the general solution of the equation and the corresponding stability inequality. In particular it is shown that under certain circumstances non-odd solutions of the equation exist.

     

Variational approach for the Stokes and Navier–Stokes systems with nonsmooth coefficients in Lipschitz domains on compact Riemannian manifolds

The purpose of this paper is to show well-posedness results for Dirichlet problems for the Stokes and Navier–Stokes systems with \(L^{\infty }\)-variable coefficients in \(L^2\)-based Sobolev spaces in Lipschitz domains on compact Riemannian manifolds. First, we refer to the Dirichlet problem for the nonsmooth coefficient Stokes system on Lipschitz domains in compact Riemannian manifolds and show its well-posedness by employing a variational approach that reduces the boundary value problem of Dirichlet type to a variational problem defined in terms of two bilinear continuous forms, one of them satisfying a coercivity condition and another one the inf-sup condition. We show also the equivalence between some transmission problems for the nonsmooth coefficient Stokes system in complementary Lipschitz domains on compact Riemannian manifolds and their mixed variational counterparts, and then their well-posedness in \(L^2\)-based Sobolev spaces by using the remarkable Nec?as–Babus?ka–Brezzi technique (see Babus?ka in Numer Math 20:179–192, 1973; Brezzi in RAIRO Anal Numer R2:129–151, 1974; Nec?as in Rev Roum Math Pures Appl 9:47–69, 1964). As a consequence of these well-posedness results we define the layer potential operators for the nonsmooth coefficient Stokes system on Lipschitz surfaces in compact Riemannian manifolds, and provide their main mapping properties. These properties are used to construct explicitly the solution of the Dirichlet problem for the Stokes system. Further, we combine the well-posedness of the Dirichlet problem for the nonsmooth coefficient Stokes system with a fixed point theorem to show the existence of a weak solution to the Dirichlet problem for the nonsmooth variable coefficient Navier–Stokes system in \(L^2\)-based Sobolev spaces in Lipschitz domains on compact Riemannian manifolds. The well developed potential theory for the smooth coefficient Stokes system on compact Riemannian manifolds (cf. Dindos? and Mitrea in Arch Ration Mech Anal 174:1–47, 2004; Mitrea and Taylor in Math Ann 321:955–987, 2001) is also discussed in the context of the potential theory developed in this paper.     

Nonexistence of two classes of generalized bent functions

We obtain some new nonexistence results of generalized bent functions from \({\mathbb {Z}}^n_q\) to \({\mathbb {Z}}_q\) (called type [n, q]) in the case that there exist cyclotomic integers in \( {\mathbb {Z}}[\zeta _{q}]\) with absolute value \(q^{\frac{n}{2}}\). This result generalizes two previous nonexistence results \([n,q]=[1,2\times 7]\) of Pei (Lect Notes Pure Appl Math 141:165–172, 1993) and \([3,2\times 23^e]\) of Jiang and Deng (Des Codes Cryptogr 75:375–385, 2015). We also remark that by using a same method one can get similar nonexistence results of GBFs from \({\mathbb {Z}}^n_2\) to \({\mathbb {Z}}_m\).     

Inverse ambiguous functions on some finite non-abelian groups

In Schmitz (Aequ Math 91:373–389, 2017), the first author defines an “inverse ambiguous function” on a group G to be a bijective function \(f:G \rightarrow G\) satisfying the functional equation \(f^{-1}(x) = (f(x))^{-1}\) for all \(x \in G\). Using a simple criterion involving the number of elements in G not equal to their own inverse, the classification of finite abelian groups admitting inverse ambiguous functions is achieved. In this paper we aim to extend the results from (2017) to determine the existence of inverse ambiguous functions on members of certain families of non-abelian groups, namely the symmetric groups \(S_n\), the alternating groups \(A_n\), and the general linear groups GL(2, q) over a finite field \(\mathbb {F}_q\).     

Agler-Commutant Lifting on an Annulus

This note presents a commutant lifting theorem (CLT) of Agler type for the annulus \({\mathbb A}\) . Here the relevant set of test functions are the minimal inner functions on \({\mathbb A}\) —those analytic functions on \({\mathbb A}\) which are unimodular on the boundary and have exactly two zeros in \({\mathbb A}\) —and the model space is determined by a distinguished member of the Sarason family of kernels over \({\mathbb A}\) . The ideas and constructions borrow freely from the CLT of Ball et al. (Indiana Univ Math J 48(2):653–675, 1999) and Archer (Unitary dilations of commuting contractions. PhD thesis, University of Newcastle, 2004) for the polydisc, and Ambrozie and Eschmeier (A commutant lifting theorem on analytic polyhedra. Topological algebras, their applications, and related topics, 83108, Banach Center Publications, vol 67. Polish Academy of Sciences, Warsaw, 2005) for the ball in \({\mathbb C^n}\) , as well as generalizations of the de Branges–Rovnyak construction like found in Agler (On the representation of certain holomorphic functions defined on a polydisc. Topics in operator theory: Ernst D. Hellinger memorial volume, operator theory: advances and applications, vol 48. Birkhäuser, Basel, pp 47–66, 1990) and Ambrozie et al. (J Oper Theory 47(2):287–302, 2002). It offers a template for extending the result in McCullough and Sultanic (Complex Anal Oper Theory 1(4):581–620, 2007) to infinitely many test functions. Among the needed new ingredients is the formulation of the factorization implicit in the statement of the results in Ball et al. (Indiana Univ Math J 48(2):653–675, 1999) and Archer (Unitary dilations of commuting contractions. PhD thesis, University of Newcastle, 2004) and McCullough and Sultanic (Complex Anal Oper Theory 1(4):581–620, 2007) in terms of certain functional Hilbert spaces of Hilbert space valued functions.     

On <Emphasis Type="Italic">m</Emphasis>-ovoids of regular near polygons

We generalise the work of Segre (Ann Mat Pura Appl 4(70):1–201, 1965), Cameron et al. (J Algebra 55(2):257–280, 1978), and Vanhove (J Algebr Comb 34(3):357–373, 2011) by showing that nontrivial m-ovoids of the dual polar spaces \(\mathsf {DQ}(2d, q)\), \(\mathsf {DW}(2d-1,q)\) and \(\mathsf {DH}(2d-1,q^2)\) (\(d\geqslant 3\)) are hemisystems. We also provide a more general result that holds for regular near polygons.     

Weakly horospherically convex hypersurfaces in hyperbolic space

In Bonini et al. (Adv Math 280:506–548, 2015), the authors develop a global correspondence between immersed weakly horospherically convex hypersurfaces \(\phi :M^n \rightarrow \mathbb {H}^{n+1}\) and a class of conformal metrics on domains of the round sphere \(\mathbb {S}^n\). Some of the key aspects of the correspondence and its consequences have dimensional restrictions \(n\ge 3\) due to the reliance on an analytic proposition from Chang et al. (Int Math Res Not 2004(4):185–209, 2004) concerning the asymptotic behavior of conformal factors of conformal metrics on domains of \(\mathbb {S}^n\). In this paper, we prove a new lemma about the asymptotic behavior of a functional combining the gradient of the conformal factor and itself, which allows us to extend the global correspondence and embeddedness theorems of Bonini et al. (2015) to all dimensions \(n\ge 2\) in a unified way. In the case of a single point boundary \(\partial _{\infty }\phi (M)=\{x\} \subset \mathbb {S}^n\), we improve these results in one direction. As an immediate consequence of this improvement and the work on elliptic problems in Bonini et al. (2015), we have a new, stronger Bernstein type theorem. Moreover, we are able to extend the Liouville and Delaunay type theorems from Bonini et al. (2015) to the case of surfaces in \(\mathbb {H}^{3}\).     

Finite time blow up for a solution to system of the drift–diffusion equations in higher dimensions

We discuss the existence of a blow-up solution for a multi-component parabolic–elliptic drift–diffusion model in higher space dimensions. We show that the local existence, uniqueness and well-posedness of a solution in the weighted \(L^2\) spaces. Moreover we prove that if the initial data satisfies certain conditions, then the corresponding solution blows up in a finite time. This is a system case for the blow up result of the chemotactic and drift–diffusion equation proved by Nagai (J Inequal Appl 6:37–55, 2001) and Nagai et al. (Hiroshima J Math 30:463–497, 2000) and gravitational interaction of particles by Biler (Colloq Math 68:229–239, 1995), Biler and Nadzieja (Colloq Math 66:319–334, 1994, Adv Differ Equ 3:177–197, 1998). We generalize the result in Kurokiba and Ogawa (Differ Integral Equ 16:427–452, 2003, Differ Integral Equ 28:441–472, 2015) and Kurokiba (Differ Integral Equ 27(5–6):425–446, 2014) for the multi-component problem and give a sufficient condition for the finite time blow up of the solution. The condition is different from the one obtained by Corrias et al. (Milan J Math 72:1–28, 2004).     

Absolute Cesàro Series Spaces and Matrix Operators

In this paper we derive a series space \(\vert C_{\lambda,\mu} \vert _{k}\) using the well known absolute Cesàro summability \(\vert C_{\lambda,\mu} \vert _{k}\) of Das (Proc. Camb. Philol. Soc. 67:321–326, 1970), compute its \(\beta\)-dual, give some algebraic and topological properties, and characterize some matrix operators defined on that space. So we generalize some results of Bosanquet (J. Lond. Math. Soc. 20:39–48, 1945), Flett (Proc. Lond. Math. Soc. 7:113–141, 1957), Mehdi (Proc. Lond. Math. Soc. (3)10:180–199, 1960), Mazhar (Tohoku Math. J. 23:433–451, 1971), Orhan and Sar?göl (Rocky Mt. J. Math. 23(3):1091–1097, 1993) and Sar?göl (Commun. Math. Appl. 7(1):11–22, 2016; Math. Comput. Model. 55:1763–1769, 2012).     

Embedding of Möbius Invariant Function Spaces into Tent Spaces

On the unit disk we introduce a new class of tent spaces \(T^q_{s,t}(\mu )\) for any positive Borel measure \(\mu \), consider a class of Möbius invariant spaces \(Z_p\) of analytic functions, and show that \(Z_p\) is contained in \(T^1_{p,1}\) if and only if \(\mu \) is a p-Carleson measure. This could be considered a continuation or variation of the work initiated by Xiao (Adv Math 217:2075–2088, 2008).     

Asymptotic Delsarte cliques in distance-regular graphs

We give a new bound on the parameter \(\lambda \) (number of common neighbors of a pair of adjacent vertices) in a distance-regular graph G, improving and generalizing bounds for strongly regular graphs by Spielman (1996) and Pyber (2014. arXiv:1409.3041). The new bound is one of the ingredients of recent progress on the complexity of testing isomorphism of strongly regular graphs (Babai et al. 2013). The proof is based on a clique geometry found by Metsch (Des Codes Cryptogr 1(2):99–116, 1991) under certain constraints on the parameters. We also give a simplified proof of the following asymptotic consequence of Metsch’s result: If \(k\mu = o(\lambda ^2)\), then each edge of G belongs to a unique maximal clique of size asymptotically equal to \(\lambda \), and all other cliques have size \(o(\lambda )\). Here k denotes the degree and \(\mu \) the number of common neighbors of a pair of vertices at distance 2. We point out that Metsch’s cliques are “asymptotically Delsarte” when \(k\mu = o(\lambda ^2)\), so families of distance-regular graphs with parameters satisfying \(k\mu = o(\lambda ^2)\) are “asymptotically Delsarte-geometric.”     

Free Jacobi Process Associated with One Projection: Local Inverse of the Flow

We pursue the study started in Demni and Hmidi (Colloq Math 137(2):271–296, 2014) of the dynamics of the spectral distribution of the free Jacobi process associated with one orthogonal projection. More precisely, we use Lagrange inversion formula in order to compute the Taylor coefficients of the local inverse around \(z=0\) of the flow determined in Demni and Hmidi (Colloq Math 137(2):271–296, 2014). When the rank of the projection equals 1/2, the obtained sequence reduces to the moment sequence of the free unitary Brownian motion. For general ranks in (0, 1), we derive a contour integral representation for the first derivative of the Taylor series.