On the Drygas functional equation in restricted domains

Let \({{\mathbb{R}}}\) and Y be the set of real numbers and a Banach space respectively, and \({f, g :{\mathbb{R}} \to Y}\). We prove the Ulam-Hyers stability theorems for the Pexider-quadratic functional equation \({f(x + y) + f(x - y) = 2f(x) + 2g(y)}\) and the Drygas functional equation \({f(x + y) + f(x - y) = 2f(x) + f(y) + f(-y)}\) in the restricted domains of form \({\Gamma_d := \Gamma \cap \{(x, y) \in {\mathbb{R}}^2 : |x| + |y| \ge d\}}\), where \({\Gamma}\) is a rotation of \({B \times B \subset {\mathbb{R}}^2}\) and \({B^c}\) is of the first category. As a consequence we obtain asymptotic behaviors of the equations in a set \({\Gamma_d \subset {\mathbb{R}}^2}\) of Lebesgue measure zero.     

A multiplicity result via Ljusternick-Schnirelmann category and Morse theory for a fractional Schrödinger equation in $${\mathbb R^{N}}$$

In this work we study the following class of problems in \({\mathbb R^{N}, N > 2s}\)

$$\varepsilon^{2s}(-\Delta)^{s}u + V(z)u = f(u), \,\,\,u(z) > 0$$

where \({0 < s < 1}\), \({(-\Delta)^{s}}\) is the fractional Laplacian, \({\varepsilon}\) is a positive parameter, the potential \({V : \mathbb{R}^N \to \mathbb{R}}\) and the nonlinearity \({f : \mathbb R \to \mathbb R}\) satisfy suitable assumptions; in particular it is assumed that \({V}\) achieves its positive minimum on some set \({M.}\) By using variational methods we prove existence and multiplicity of positive solutions when \({\varepsilon \to 0^{+}}\). In particular the multiplicity result is obtained by means of the Ljusternick-Schnirelmann and Morse theory, by exploiting the “topological complexity” of the set \({M}\).

     

Sharp weighted bounds for the Hardy–Littlewood maximal operators on Musielak–Orlicz spaces

Let \({\varphi}\) be a Musielak–Orlicz function satisfying that, for any \({(x,\,t)\in{\mathbb R}^n \times [0, \infty)}\), \({\varphi(\cdot,\,t)}\) belongs to the Muckenhoupt weight class \({A_\infty({\mathbb R}^n)}\) with the critical weight exponent \({q(\varphi) \in [1,\,\infty)}\) and \({\varphi(x,\,\cdot)}\) is an Orlicz function with uniformly lower type \({p^{-}_{\varphi}}\) and uniformly upper type \({p^+_\varphi}\) satisfying \({q(\varphi) < p^{-}_{\varphi}\le p^{+}_{\varphi} < \infty}\). In this paper, the author obtains a sharp weighted bound involving \({A_\infty}\) constant for the Hardy–Littlewood maximal operator on the Musielak–Orlicz space \({L^{\varphi}}\). This result recovers the known sharp weighted estimate established by Hytönen et al. in [J. Funct. Anal. 263:3883–3899, 2012].     

Remarks on the nonexistence of biharmonic maps

In this short note we study a nonexistence result of biharmonic maps from a complete Riemannian manifold into a Riemannian manifold with nonpositive sectional curvature. Assume that \({\phi : (M, g) \to (N, h)}\) is a biharmonic map, where (M, g) is a complete Riemannian manifold and (N, h) a Riemannian manifold with nonpositive sectional curvature, we will prove that \({\phi}\) is a harmonic map if one of the following conditions holds: (i) \({|d\phi|}\) is bounded in L^q(M) and \({\int_{M}|\tau(\phi)|^{p}dv_{g} < \infty}\), for some \({1 \leq q \leq \infty}\), \({1 < p < \infty}\); or (ii) \({Vol(M) = \infty}\) and \({\int_{M}|\tau(\phi)|^{p}dv_{g} < \infty}\), for some \({1 < p < \infty}\). In addition, if N has strictly negative sectional curvature, we assume that \({rank\phi(q) \geq 2}\) for some \({q \in M}\) and \({\int_{M}|\tau(\phi)|^{p}dv_{g} < \infty}\), for some \({1 < p < \infty}\). These results improve the related theorems due to Baird et al. (cf. Ann Golb Anal Geom 34:403–414, 2008), Nakauchi et al. (cf. Geom. Dedicata 164:263–272, 2014), Maeta (cf. Ann Glob Anal Geom 46:75–85, 2014), and Luo (cf. J Geom Anal 25:2436–2449, 2015).     

Orthogonal projections of cubes and regular simplices into a plane

We show that for every \({k\ge 2}\) and \({n\ge k}\), there is an \({n}\)-dimensional unit cube in \({\mathbb{R}^n}\) which is mapped to a regular \({2k}\)-gon by an orthogonal projection in \({\mathbb{R}^n}\) onto a \({2}\)-dimensional subspace. Moreover, by increasing dimension \({n}\), arbitrary large regular \({2k}\)-gon can be obtained in such a way. On the other hand, for every \({m\ge 3}\) and \({n\ge m-1}\), there is an \({n}\)-dimensional regular simplex of unit edge in \({\mathbb{R}^n}\) which is mapped to a regular \({m}\)-gon by an orthogonal projection onto a plane. Moreover, contrary to the cube case, arbitrary small regular \({m}\)-gon can be obtained in such a way, by increasing dimension \({n}\).     

Heat kernel approach for sup-norm bounds for cusp forms of integral and half-integral weight

In this article, using the heat kernel approach from Bouche (Asymptotic results for Hermitian line bundles over complex manifolds: The heat kernel approach, Higher-dimensional complex varieties, pp 67–81, de Gruyter, Berlin, 1996), we derive sup-norm bounds for cusp forms of integral and half-integral weight. Let \({\Gamma\subset \mathrm{PSL}_{2}(\mathbb{R})}\) be a cocompact Fuchsian subgroup of first kind. For \({k \in \frac{1}{2} \mathbb{Z}}\) (or \({k \in 2\mathbb{Z}}\)), let \({S^{k}_{\nu}(\Gamma)}\) denote the complex vector space of cusp forms of weight-k and nebentypus \({\nu^{2k}}\) (\({\nu^{k\slash 2}}\), if \({k \in 2\mathbb{Z}}\)) with respect to \({\Gamma}\), where \({\nu}\) is a unitary character. Let \({\lbrace f_{1},\ldots,f_{j_{k}} \rbrace}\) denote an orthonormal basis of \({S^{k}_{\nu}(\Gamma)}\). In this article, we show that as \({k \rightarrow \infty,}\) the sup-norm for \({\sum_{i=1}^{j_{k}}y^{k}|f_{i}(z)|^{2}}\) is bounded by O(k), where the implied constant is independent of \({\Gamma}\). Furthermore, using results from Berman (Math. Z. 248:325–344, 2004), we extend these results to the case when \({\Gamma}\) is cofinite.     

A remark on hereditarily nonparadoxical sets

Call a set \({A \subseteq \mathbb {R}}\)paradoxical if there are disjoint \({A_0, A_1 \subseteq A}\) such that both \({A_0}\) and \({A_1}\) are equidecomposable with \({A}\) via countabbly many translations. \({X \subseteq \mathbb {R}}\) is hereditarily nonparadoxical if no uncountable subset of \({X}\) is paradoxical. Penconek raised the question if every hereditarily nonparadoxical set \({X \subseteq \mathbb {R}}\) is the union of countably many sets, each omitting nontrivial solutions of \({x - y = z - t}\). Nowik showed that the answer is ‘yes’, as long as \({|X| \leq \aleph_\omega}\). Here we show that consistently there exists a counterexample of cardinality \({\aleph_{\omega+1}}\) and it is also consistent that the continuum is arbitrarily large and Penconek’s statement holds for any \({X}\).     

Weak law of large numbers for linear processes

We establish sufficient conditions for the Marcinkiewicz–Zygmund type weak law of large numbers for a linear process \({\{X_k:k\in\mathbb Z\}}\) defined by \({X_k=\sum_{j=0}^\infty\psi_j\varepsilon_{k-j}}\) for \({k\in\mathbb Z}\), where \({\{\psi_j:j\in\mathbb Z\}\subset\mathbb R}\) and \({\{\varepsilon_k:k\in\mathbb Z\}}\) are independent and identically distributed random variables such that \({{x^p\Pr\{|\varepsilon_0| > x\}\to 0}}\) as \({{x\to \infty}}\) with \({1 < p < 2}\) and \({E \varepsilon_0=0}\). We use an abstract norming sequence that does not grow faster than \({n^{1/p}}\) if \({\sum|\psi_j| < \infty}\). If \({\sum|\psi_j|=\infty}\), the abstract norming sequence might grow faster than \({n^{1/p}}\) as we illustrate with an example. Also, we investigate the rate of convergence in the Marcinkiewicz–Zygmund type weak law of large numbers for the linear process.     

A Beurling-Blecher-Labuschagne Theorem for Noncommutative Hardy Spaces Associated with Semifinite von Neumann Algebras

We prove a Beurling-Blecher-Labuschagne theorem for \({H^\infty}\)-invariant spaces of \({L^p(\mathcal{M},\tau)}\) when \({0 < p \leq\infty}\), using Arveson’s non-commutative Hardy space \({H^\infty}\) in relation to a von Neumann algebra \({\mathcal{M}}\) with a semifinite, faithful, normal tracial weight \({\tau}\). Using the main result, we are able to completely characterize all \({H^\infty}\)-invariant subspaces of \({L^p(\mathcal{M} \rtimes_\alpha \mathbb{Z},\tau)}\), where \({\mathcal{M} \rtimes_\alpha \mathbb{Z} }\) is a crossed product of a semifinite von Neumann algebra \({\mathcal{M}}\) by the integer group \({\mathbb{Z}}\), and \({H^\infty}\) is a non-selfadjoint crossed product of \({\mathcal{M}}\) by \({\mathbb{Z}^+}\). As an example, we characterize all \({H^\infty}\)-invariant subspaces of the Schatten p-class \({S^p(\mathcal{H})}\), where \({H^\infty}\) is the lower triangular subalgebra of \({B(\mathcal{H})}\), for each \({0 < p \leq\infty}\).     

Generalizations of an Expansion Formula for Top to Random Shuffles

In the top to random shuffle, the first \({a}\) cards are removed from a deck of \({n}\) cards \({12 \cdots n}\) and then inserted back into the deck. This action can be studied by treating the top to random shuffle as an element \({B_a}\), which we define formally in Section 2, of the algebra \({{\mathbb{Q}[S_n]}}\). For \({a = 1}\), Garsia in “On the powers of top to random shuffling” (2002) derived an expansion formula for \({{B^k_1}}\) for \({{k \leq n}}\), though his proof for the formula was non-bijective. We prove, bijectively, an expansion formula for the arbitrary finite product \({B_{a1} B_{a2} \cdots B_{ak}}\) where \({a_{1}, \cdots , a_{k}}\) are positive integers, from which an improved version of Garsia’s aforementioned formula follows. We show some applications of this formula for \({B_{a1} B_{a2} \cdots B_{ak}}\), which include enumeration and calculating probabilities. Then for an arbitrary group \({G}\) we define the group of \({G}\)-permutations \({{S^G_n} := {G \wr S_n}}\) and further generalize the aforementioned expansion formula to the algebra \({{\mathbb{Q} [ S^G_n ]}}\) for the case of finite \({G}\), and we show how other similar expansion formulae in \({{\mathbb{Q} [S_n]}}\) can be generalized to \({{\mathbb{Q} [S^G_n]}}\).     

Rectifiability of harmonic measure

In the present paper we prove that for any open connected set \({\Omega\subset\mathbb{R}^{n+1}}\), \({n\geq 1}\), and any \({E\subset \partial \Omega}\) with \({\mathcal{H}^n(E)<\infty}\), absolute continuity of the harmonic measure \({\omega}\) with respect to the Hausdorff measure on E implies that \({\omega|_E}\) is rectifiable. This solves an open problem on harmonic measure which turns out to be an old conjecture even in the planar case \({n=1}\).     

On stable Baire classes

We introduce and study adhesive spaces. Using this concept we obtain a characterization of stable Baire maps \({f : X\to Y}\) of the class \({\alpha}\) for wide classes of topological spaces. In particular, we prove that for a topological space X and a contractible space Y a map \({f : X \to Y}\) belongs to the nth stable Baire class if and only if there exist a sequence \({(f_k)_{k=1}^\infty}\) of continuous maps \({f_k : {X \to Y}}\) and a sequence \({(F_k)_{k=1}^\infty}\) of functionally ambiguous sets of the nth class in X such that \({f|_{F_k}=f_k|_{F_k}}\) for every k. Moreover, we show that every monotone function \({f : \mathbb{R} \to \mathbb{R}}\) is of the \({\alpha}\) th stable Baire class if and only if it belongs to the first stable Baire class.     

On polynomial congruences

We deal with functions which fulfil the condition \({\Delta_h^{n+1} \varphi(x)\in\mathbb{Z}}\) for all x, h taken from some linear space V. We derive necessary and sufficient conditions for such a function to be decent in the following sense: there exist functions \({f\colon V\rightarrow \mathbb{R},\ g\colon V \rightarrow \mathbb{Z}}\) such that \({\varphi = f + g}\) and \({\Delta_h^{n+1}f(x)=0}\) for all \({x, h\in V}\).     

Complex homomorphisms on self-conjugate algebras of functions

Let X be a non-void set and A be a subalgebra of \({\mathbb{C}^{X}}\) . We call a \({\mathbb{C}}\) -linear functional \({\varphi}\) on A a 1-evaluation if \({\varphi(f) \in f(X) }\) for all \({f\in A}\) . From the classical Gleason–Kahane–?elazko theorem, it follows that if X in addition is a compact Hausdorff space then a mapping \({\varphi}\) of \({C_{\mathbb{C}}(X) }\) into \({\mathbb{C}}\) is a 1-evaluation if and only if \({\varphi}\) is a \({\mathbb{C}}\) -homomorphism. In this paper, we aim to investigate the extent to which this equivalence between 1-evaluations and \({\mathbb{C}}\) -homomorphisms can be generalized to a wider class of self-conjugate subalgebras of \({\mathbb{C}^{X}}\) . In this regards, we prove that a \({\mathbb{C}}\) -linear functional on a self-conjugate subalgebra A of \({\mathbb{C}^{X}}\) is a positive \({\mathbb{C}}\) -homomorphism if and only if \({\varphi}\) is a \({\overline{1}}\) -evaluation, that is, \({\varphi(f) \in\overline{f\left(X\right)}}\) for all \({f\in A}\) . As consequences of our general study, we prove that 1-evaluations and \({\mathbb{C}}\) -homomorphisms on \({C_{\mathbb{C}}\left( X\right)}\) coincide for any topological space X and we get a new characterization of realcompact topological spaces.     

Applications of strongly convergent sequences to Fourier series by means of modulus functions

The aim of this work is to estimate sums involving P(n), the largest prime factor of an integer \({n \geqq 2}\) under digital constraints \({{f(P(n)) \equiv a}{\rm mod} b}\), for every \({a \in \mathbb{Z}}\) and an integer \({b \geqq 2}\) where f is a strongly q-additive function with integer values (i.e. \({f(aq^j + b) = f(a) + f(b)}\), with \({(a, b, j) \in \mathbb{N}^3}\), \({{0 \leqq b} < q^j}\)). We also estimate the cardinality of the set \({\{{n \leqq x, f(P(n) + c)} \equiv {a {\rm mod} b}, P(n) \equiv l {\rm mod} k\}}\), where \({c \in \mathbb{Z}}\), \({k \geqq 2}\).     

The imaginary part of the characteristic function

We consider the conditions under which a continuous function \({\varphi \colon {\mathbb{R}}^n \to \mathbb {R}}\) is the imaginary part \({\Im f}\) of the characteristic function f of a probability measure on \({{\mathbb{R}}^n}\). A similar problem about such an \({\varphi}\) that it is the argument of the characteristic function was solved by Ilinskii [Theory Probab. Appl. 20 (1975), 410–415]. In this paper, a characterization of what \({\varphi}\) might serve as the imaginary part of the characteristic function f is given. As a consequence, we provide an answer to the following question posed by N. G. Ushakov [7]: Is it true that f is never determined by its imaginary part \({\Im f}\) ? In other words, is it true that for any characteristic function f there exists a characteristic function g such that \({\Im f\equiv \Im g}\) but \({ f\not\equiv g}\) ? We prove that the answer to this question is negative. In addition, several examples of characteristic functions which are uniquely determined by their imaginary parts are given.     

Weyl Type Asymptotics and Bounds for the Eigenvalues of Functional-Difference Operators for Mirror Curves

We investigate Weyl type asymptotics of functional-difference operators associated to mirror curves of special del Pezzo Calabi-Yau threefolds. These operators are \({H(\zeta) = U + U^{-1} + V + \zeta V^{-1}}\) and \({H_{m,n} = U + V + q^{-mn}U^{-m}V^{-n}}\), where \({U}\) and \({V}\) are self-adjoint Weyl operators satisfying \({UV = q^{2}VU}\) with \({q = {\rm e}^{{\rm i}\pi b^{2}}}\), \({b > 0}\) and \({\zeta > 0}\), \({m, n \in \mathbb{N}}\). We prove that \({H(\zeta)}\) and \({H_{m,n}}\) are self-adjoint operators with purely discrete spectrum on \({L^{2}(\mathbb{R})}\). Using the coherent state transform we find the asymptotical behaviour for the Riesz mean \({\sum_{j\ge 1}(\lambda - \lambda_{j})_{+}}\) as \({\lambda \to \infty}\) and prove the Weyl law for the eigenvalue counting function \({N(\lambda)}\) for these operators, which imply that their inverses are of trace class.     

The Eight Cayley–Dickson Doubling Products

The purpose of this paper is to identify all eight of the basic Cayley–Dickson doubling products. A Cayley–Dickson algebra \({\mathbb{A}_{N+1}}\) of dimension \({2^{N+1}}\) consists of all ordered pairs of elements of a Cayley–Dickson algebra \({\mathbb{A}_{N}}\) of dimension \({2^N}\) where the product \({(a, b)(c, d)}\) of elements of \({\mathbb{A}_{N+1}}\) is defined in terms of a pair of second degree binomials \({(f(a, b, c, d), g(a, b, c,d))}\) satisfying certain properties. The polynomial pair\({(f, g)}\) is called a ‘doubling product.’ While \({\mathbb{A}_{0}}\) may denote any ring, here it is taken to be the set \({\mathbb{R}}\) of real numbers. The binomials \({f}\) and \({g}\) should be devised such that \({\mathbb{A}_{1} = \mathbb{C}}\) the complex numbers, \({\mathbb{A}_{2} = \mathbb{H}}\) the quaternions, and \({\mathbb{A}_{3} = \mathbb{O}}\) the octonions. Historically, various researchers have used different yet equivalent doubling products.     

Endomorphism rings of some Young modules

Let \({\Sigma_r}\) be the symmetric group acting on \({r}\) letters, \({K}\) be a field of characteristic 2, and \({\lambda}\) and \({\mu}\) be partitions of \({r}\) in at most two parts. Denote the permutation module corresponding to the Young subgroup \({\Sigma_\lambda}\), in \({\Sigma_r}\), by \({M^\lambda}\), and the indecomposable Young module by \({Y^\mu}\). We give an explicit presentation of the endomorphism algebra \({{\rm End}_{k[\Sigma_r]}(Y^\mu)}\) using the idempotents found by Doty et al. (J Algebra 307(1):377–396, 2007).     

On the differentiability of Lipschitz functions with respect to measures in the Euclidean space

For every finite measure \({\mu}\) on \({{\mathbb{R}}^n}\) we define a decomposability bundle \({V(\mu,\,\cdot)}\) related to the decompositions of \({\mu}\) in terms of rectifiable one-dimensional measures. We then show that every Lipschitz function on \({{\mathbb{R}}^n}\) is differentiable at \({\mu}\)-a.e. \({x}\) with respect to the subspace \({V(\mu,\,x)}\), and prove that this differentiability result is optimal, in the sense that, following (Alberti et al., Structure of null sets, differentiability of Lipschitz functions, and other problems, 2016), we can construct Lipschitz functions which are not differentiable at \({\mu}\)-a.e. \({x}\) in any direction which is not in \({V(\mu,\,x)}\). As a consequence we obtain a differentiability result for Lipschitz functions with respect to (measures associated to) \({k}\)-dimensional normal currents, which we use to extend certain basic formulas involving normal currents and maps of class \({C^1}\) to Lipschitz maps.