Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

On the angle sum of lines

What is the maximum of the sum of the pairwise (non-obtuse) angles formed by n lines in the Euclidean 3-space? This question was posed by Fejes Tóth in (Acta Math Acad Sci Hung 10:13–19, 1959). Fejes Tóth solved the problem for \({n \leq 6}\), and proved the asymptotic upper bound \({n^{2} \pi /5}\) as \({n \to \infty}\). He conjectured that the maximum is asymptotically equal to \({n^{2} \pi /6}\) as \({n \to \infty}\). The main result of this paper is an upper bound on the sum of the angles of n lines in the Euclidean 3-space that is asymptotically equal to \({3n^{2} \pi /16}\) as \({n \to \infty}\).     

A modular-type formula for $$(x;q)_\infty $$

Let \(q=\text {e}^{2\pi i\tau }, \mathfrak {I}\tau >0\), \(x=\text {e}^{2\pi i{z}}\), \({z}\in \mathbb {C}\), and \((x;q)_\infty =\prod _{n\ge 0}(1-xq^n)\). Let \((q,x)\mapsto ({q_1},{x_1})\) be the classical modular substitution given by the relations \({q_1}=\text {e}^{-2\pi i/\tau }\) and \({x_1}=\text {e}^{2\pi i{z}/{\tau }}\). The main goal of this paper is to give a modular-type representation for the infinite product \((x;q)_\infty \), this means, to compare the function defined by \((x;q)_\infty \) with that given by \(({x_1};{q_1})_\infty \). Inspired by the work (Stieltjes in Collected Papers, Springer, New York, 1993) of Stieltjes on semi-convergent series, we are led to a “closed” analytic formula for the ratio \((x;q)_\infty /({x_1};{q_1})_\infty \) by means of the dilogarithm combined with a Laplace type integral, which admits a divergent series as Taylor expansion at \(\log q=0\). Thus, the function \((x;q)_\infty \) is linked with its modular transform \(({x_1};{q_1})_\infty \) in such an explicit manner that one can directly find the modular formulae known for Dedekind’s Eta function, Jacobi Theta function, and also for certain Lambert series. Moreover, one can remark that our results allow Ramanujan’s formula (Berndt in Ramanujan’s notebooks, Springer, New York, 1994, Entry 6’, p. 268) (see also Ramanujan in Notebook 2, Tata Institute of Fundamental Research, Bombay, 1957, p. 284) to be completed as a convergent expression for the infinite product \((x;q)_\infty \).     

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].     

Virtual Bound Levels in a Gap of the Essential Spectrum of the Weakly Perturbed Periodic Schrödinger Operator

In the space \({L_{2}(\mathbf{R}^{d}) (d \le 3)}\) we consider the Schrödinger operator \({H_{\gamma}=-{\Delta}+ V(\mathbf{x})\cdot+\gamma W(\mathbf{x})\cdot}\), where \({V(\mathbf{x})=V(x_{1}, x_{2}, \dots, x_{d})}\) is a periodic function with respect to all the variables, \({\gamma}\) is a small real coupling constant and the perturbation \({W(\mathbf{x})}\) tends to zero sufficiently fast as \({|\mathbf{x}|\rightarrow\infty}\). We study so called virtual bound levels of the operator \({H_\gamma}\), i.e., those eigenvalues of \({H_\gamma}\) which are born at the moment \({\gamma=0}\) in a gap \({(\lambda_-,\,\lambda_+)}\) of the spectrum of the unperturbed operator \({H_0=-\Delta+ V(\mathbf{x})\cdot}\) from an edge of this gap while \({\gamma}\) increases or decreases. We assume that the dispersion function of H₀, branching from an edge of \({(\lambda_-,\lambda_+)}\), is non-degenerate in the Morse sense at its extremal set. For a definite perturbation \({(W(\mathbf{x})\ge 0)}\) we show that if d ≤ 2, then in the gap there exist virtual eigenvalues which are born from this edge. We investigate their number and an asymptotic behavior of them and of the corresponding eigenfunctions as \({\gamma\rightarrow 0}\). For an indefinite perturbation we estimate the multiplicity of virtual bound levels. In particular, we show that if d = 3 and both edges of the gap \({(\lambda_-,\,\lambda_+)}\) are non-degenerate, then under additional conditions there is a threshold for the birth of the impurity spectrum in the gap, i.e., \({\sigma(H_\gamma)\cap(\lambda_-,\,\lambda_+)=\emptyset}\) for a small enough \({|\gamma|}\).     

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}\).     

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.     

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.     

Spaces with normal weights and Hadamard gap series

We give a sufficient and necessary condition for an analytic function f(z) on the unit disc \({\mathbb{D}}\) with Hadamard gaps, that is, for \({f(z)=\sum_{k=1}^{\infty}a_kz^{n_k}}\) where \({n_{k+1}/n_k\geq\lambda >1 }\) for all \({k\in \mathbb{N}}\), to belong to the weighted-type space \({ H_\mu^{\infty}}\), under some condition posed on the weight function μ. We can define the corresponding little weighted-type space \({H_{\mu,0}^{\infty}}\) and give a criterion for functions to belong to it.     

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}\).     

On geometric properties of the generating function for the Ramanujan sequence

The Ramanujan sequence \(\{\theta _{n}\}_{n \ge 0}\), defined as \(\theta _{0}= {1}/{2}\), \({n^{n}} \theta _{n}/{n !} = {e^{n}}/{2} - \sum _{k=0}^{n-1} {n^{k}}/{k !}\, \), \(n \ge 1\), has been studied on many occasions and in many different contexts. Adell and Jodrá (Ramanujan J 16:1–5, 2008) and Koumandos (Ramanujan J 30:447–459, 2013) showed, respectively, that the sequences \(\{\theta _{n}\}_{n \ge 0}\) and \(\{4/135 - n \cdot (\theta _{n}- 1/3 )\}_{n \ge 0}\) are completely monotone. In the present paper, we establish that the sequence \(\{(n+1) (\theta _{n}- 1/3 )\}_{n \ge 0}\) is also completely monotone. Furthermore, we prove that the analytic function \((\theta _{1}- 1/3 )^{-1}\sum _{n=1}^{\infty } (\theta _{n}- 1/3 ) z^{n} / n^{\alpha }\) is universally starlike for every \(\alpha \ge 1\) in the slit domain \(\mathbb {C}\setminus [1,\infty )\). This seems to be the first result putting the Ramanujan sequence into the context of analytic univalent functions and is a step towards a previous stronger conjecture, proposed by Ruscheweyh et al. (Israel J Math 171:285–304, 2009), namely that the function \((\theta _{1}- 1/3 )^{-1}\sum _{n=1}^{\infty } (\theta _{n}- 1/3 ) z^{n} \) is universally convex.     

Symmetry for a general class of overdetermined elliptic problems

Let \({\Omega}\) a bounded domain in \({\mathbb{R} ^N }\), and let \({u\in C^1 (\overline{\Omega})}\) a weak solution of the following overdetermined BVP: \({-\nabla (g(|\nabla u|)|\nabla u|^{-1}\nabla u)=f(|x|,u)}\), \({ u > 0 }\) in \({\Omega }\) and \({u=0, \ |\nabla u(x)|=\lambda (|x|)}\) on \({\partial \Omega }\), where \({g\in C([0,+\infty)\cap C^1 ((0,+\infty ) ) }\) with \({g(0)=0}\), \({g'(t) > 0}\) for \({t > 0}\), \({f\in C([0,+\infty ) \times [0, +\infty ) )}\), f is nonincreasing in \({|x|}\), \({\lambda \in C([0, +\infty )) }\) and \({\lambda }\) is positive and nondecreasing. We show that \({\Omega }\) is a ball and u satisfies some “local” kind of symmetry. The proof is based on the method of continuous Steiner symmetrization.     

$${G_\delta}$$ covers of compact spaces

We solve a long standing question due to Arhangel’skii by constructing a compact space which has a \({G_\delta}\) cover with no continuum-sized (\({G_\delta}\))-dense subcollection. We also prove that in a countably compact weakly Lindelöf normal space of countable tightness, every \({G_\delta}\) cover has a \({\mathfrak{c}}\)-sized subcollection with a \({G_\delta}\)-dense union and that in a Lindelöf space with a base of multiplicity continuum, every \({G_\delta}\) cover has a continuum sized subcover. We finally apply our results to obtain a bound on the cardinality of homogeneous spaces which refines De la Vega’s celebrated theorem on the cardinality of homogeneous compacta of countable tightness.     

A $${C^\infty}$$ closing lemma for Hamiltonian diffeomorphisms of closed surfaces

We prove a \({C^\infty}\) closing lemma for Hamiltonian diffeomorphisms of closed surfaces. This is a consequence of a \({C^\infty}\) closing lemma for Reeb flows on closed contact three-manifolds, which was recently proved as an application of spectral invariants in embedded contact homology. A key new ingredient of this paper is an analysis of an area-preserving map near its fixed point, which is based on some classical results in Hamiltonian dynamics: existence of KAM invariant circles for elliptic fixed points, and convergence of the Birkhoff normal form for hyperbolic fixed points.     

Embedding of classes of functions with bounded {\Phi}-variation into generalized Lipschitz spaces

In this note, sufficient and necessary conditions for embedding of classes \({\Phi}\)BV of functions with bounded \({\Phi}\)-variation in Schramm’s sense into generalized Lipschitz classes \({H_{q}^{\omega} (1 \leq q < \infty)}\) are obtained.     

Automorphism Group of Representation Ring of the Weak Hopf Algebra $$\widetilde{H_8 }$$

Let H₈ be the unique noncommutative and noncocommutative eight dimensional semi-simple Hopf algebra. We first construct a weak Hopf algebra \(\widetilde{H_8 }\)based on H₈, then we investigate the structure of the representation ring of \(\widetilde{H_8 }\). Finally, we prove that the automorphism group of \(r\left( {\widetilde{H_8 }} \right)\)is just isomorphic to D₆, where D₆ is the dihedral group with order 12.     

On Euler characteristics of Selmer groups for abelian varieties over global function fields

Let F be a global function field of characteristic \({p > 0}\), \({K/F}\) an \({\ell}\)-adic Lie extension (\({ \ell \neq p}\)), and \({A/F}\) an abelian variety. We provide Euler characteristic formulas for the Gal\({(K/F)}\)-module \({Sel_A(K)_\ell}\).     

On $$\mathfrak {F}_{hq}$$-supplemented subgroups of a finite group

A subgroup H of a finite group G is quasinormal in G if it permutes with every subgroup of G. A subgroup H of a finite group G is \(\mathfrak {F}_{hq}\)-supplemented in G if G has a quasinormal subgroup N such that HN is a Hall subgroup of G and \((H\cap N)H_{G}/ H_{G} \le Z_{\mathfrak {F}}(G/H_{G})\), where \(H_{G}\) is the core of H in G and \({Z}_{\mathfrak {F}} (G/H_{G})\) is the \(\mathfrak {F}\)-hypercenter of \({G/H}_{G}\). This paper concerns the structure of a finite group G under the assumption that some subgroups of G are \(\mathfrak {F}_{hq}\)-supplemented in G.     

Weighted $${{L^p}}$$-Liouville theorems for hypoelliptic partial differential operators on Lie groups

We prove weighted \({L^p}\)-Liouville theorems for a class of second-order hypoelliptic partial differential operators \({\mathcal{L}}\) on Lie groups \({\mathbb{G}}\) whose underlying manifold is \({n}\)-dimensional space. We show that a natural weight is the right-invariant measure \(\check{H}\) of \({\mathbb{G}}\). We also prove Liouville-type theorems for \({C^{2}}\) subsolutions in \({L^{p}(\mathbb{G},\check{H})}\). We provide examples of operators to which our results apply, jointly with an application to the uniqueness for the Cauchy problem for the evolution operator \({\mathcal{L}-\partial_{t}}\).