A Remark on The Geometry of Spaces of Functions with Prime Frequencies

For any positive integer r, denote by \({\mathcal{P}_{r}}\) the set of all integers \({\gamma \in \mathbb{Z}}\) having at most r prime divisors. We show that \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) , the space of all continuous functions on the circle \({\mathbb{T}}\) whose Fourier spectrum lies in \({\mathcal{P}_{r}}\) , contains a complemented copy of \({\ell^{1}}\) . In particular, \({C_{\mathcal{P}_{r}}(\mathbb{T})}\) is not isomorphic to \({C(\mathbb{T})}\) , nor to the disc algebra \({A(\mathbb{D})}\) . A similar result holds in the L ¹ setting.     

The Cubic Complex Moment Problem

Let \({s = \{s_{jk}\}_{0 \leq j+k \leq 3}}\) be a given complex-valued sequence. The cubic complex moment problem involves determining necessary and sufficient conditions for the existence of a positive Borel measure \({\sigma}\) on \({\mathbb{C}}\) (called a representing measure for s) such that \({s_{jk} = \int_{\mathbb{C}}\bar{z}^j z^k d\sigma(z)}\) for \({0 \leq j + k \leq 3}\) . Put $$\Phi = \left(\begin{array}{lll} s_{00} & s_{01} & s_{10} \\s_{10} & s_{11} & s_{20} \\s_{01} & s_{02} & s_{11}\end{array}\right), \quad \Phi_z = \left(\begin{array}{lll}s_{01} & s_{02} & s_{11} \\s_{10} & s_{12} & s_{21} \\s_{02} & s_{03} & s_{12}\end{array} \right)\quad {\rm and}\quad\Phi_{\bar{z}} = (\Phi_z)^*.$$ If \({\Phi \succ 0}\) , then the commutativity of \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) is necessary and sufficient for the existence a 3-atomic representing measure for s. If \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) do not commute, then we show that s has a 4-atomic representing measure. The proof is constructive in nature and yields a concrete parametrization of all 4-atomic representing measures of s. Consequently, given a set \({K \subseteq \mathbb{C}}\) necessary and sufficient conditions are obtained for s to have a 4-atomic representing measure \({\sigma}\) which satisfies \({{\rm supp} \sigma \cap K \neq \emptyset}\) or \({{\rm supp} \sigma \subseteq K}\) . The cases when \({K = \overline{\mathbb{D}}}\) and \({K = \mathbb{T}}\) are considered in detail.     

Topological genericity of nowhere differentiable functions in the disc algebra

In this paper we introduce a class of functions contained in the disc algebra \({\mathcal{A}(D)}\) . We study functions \({f \in \mathcal{A}(D)}\) which have the property that the continuous periodic function \({u = {\rm Re}f|_{\mathbb{T}}}\) , where \({\mathbb{T}}\) is the unit circle, is nowhere differentiable. We prove that this class is non-empty and instead, generically, every function \({f \in \mathcal{A}(D)}\) has the above property. Afterwards, we strengthen this result by proving that, generically, for every function \({f \in \mathcal{A}(D)}\) , both continuous periodic functions \({u = {\rm Re}f|_\mathbb{T}}\) and \({\tilde{u} = {\rm Im}f|_\mathbb{T}}\) are nowhere differentiable. We avoid any use of the Weierstrass function and we mainly use Baire’s Category Theorem.     

Anderson’s Orthogonality Catastrophe for One-Dimensional Systems

The overlap, \({\mathcal{D}_N}\) , between the ground state of N free fermions and the ground state of N fermions in an external potential in one spatial dimension is given by a generalized Gram determinant. An upper bound is \({\mathcal{D}_N\leq\exp(-\mathcal{I}_N)}\) with the so-called Anderson integral \({\mathcal{I}_N}\) . We prove, provided the external potential satisfies some conditions, that in the thermodynamic limit \({\mathcal{I}_N = \gamma\ln N + O(1)}\) as \({N\to\infty}\) . The coefficient γ > 0 is given in terms of the transmission coefficient of the one-particle scattering matrix. We obtain a similar lower bound on \({\mathcal{D}_N}\) concluding that \({\tilde{C} N^{-\tilde{\gamma}} \leq \mathcal{D}_N \leq CN^{-\gamma}}\) with constants C, \({\tilde{C}}\) , and \({\tilde{\gamma}}\) . In particular, \({\mathcal{D}_N\to 0}\) as \({N\to\infty}\) which is known as Anderson’s orthogonality catastrophe.     

The error term in the Sato–Tate conjecture

Let \({f(z) = \sum_{n=1}^\infty a(n)e^{2\pi i nz} \in S_k^{\mathrm{new}}(\Gamma_0(N))}\) be a newform of even weight \({k \geq 2}\) that does not have complex multiplication. Then \({a(n) \in \mathbb{R}}\) for all n; so for any prime p, there exists \({\theta_p \in [0, \pi]}\) such that \({a(p) = 2p^{(k-1)/2} {\rm cos} (\theta_p)}\) . Let \({\pi(x) = \#\{p \leq x\}}\) . For a given subinterval \({[\alpha, \beta]\subset[0, \pi]}\) , the now-proven Sato–Tate conjecture tells us that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} \sim \mu_{ST} ([\alpha, \beta])\pi(x),\quad \mu_{ST} ([\alpha, \beta]) = \int\limits_{\alpha}^\beta \frac{2}{\pi}{\rm sin}^2(\theta) d\theta. $$ Let \({\epsilon > 0}\) . Assuming that the symmetric power L-functions of f are automorphic, we prove that as \({x \to \infty}\) , $$ \#\{p \leq x: \theta_p \in I\} = \mu_{ST} ([\alpha, \beta])\pi(x) + O\left(\frac{x}{(\log x)^{9/8-\epsilon}} \right), $$ where the implied constant is effectively computable and depends only on k,N, and \({\epsilon}\) .     

Stability of a conditional Cauchy equation on a set of measure zero

In this paper, we prove the Hyers–Ulam stability theorem when \({f, g, h : \mathbb{R} \to \mathbb{R}}\) satisfy $$|f(x + y) - g(x) - h(y)| \leq \epsilon$$ in a set \({\Gamma \subset \mathbb{R}^{2}}\) of measure \({m(\Gamma) = 0}\) , which refines a previous result in Chung (Aequat Math 83:313–320, 2012) and gives an affirmative answer to the question in the paper. As a direct consequence we obtain that if \({f, g, h : \mathbb{R} \to \mathbb{R}}\) satisfy the Pexider equation $$f(x + y) - g(x) - h(y) = 0$$ in \({\Gamma}\) , then the equation holds for all \({x, y \in \mathbb{R}}\) . Using our method of construction of the set, we can find a set \({\Gamma \subset \mathbb{R}^{2n}}\) of 2n-dimensional measure 0 and obtain the above result for the functions \({f, g, h : \mathbb{R}^{n} \to \mathbb{C}}\) .     

Heavy tail phenomenon and convergence to stable laws for iterated Lipschitz maps

We consider the Markov chain ${\{X_n^x\}_{n=0}^\infty}$ on ${\mathbb{R}^d}$ defined by the stochastic recursion ${X_{n}^{x}= \psi_{\theta_{n}} (X_{n-1}^{x})}$ , starting at ${x\in\mathbb{R}^d}$ , where ?? ₁, ?? ₂, . . . are i.i.d. random variables taking their values in a metric space ${(\Theta, \mathfrak{r})}$ , and ${\psi_{\theta_{n}} :\mathbb{R}^d\mapsto\mathbb{R}^d}$ are Lipschitz maps. Assume that the Markov chain has a unique stationary measure ??. Under appropriate assumptions on ${\psi_{\theta_n}}$ , we will show that the measure ?? has a heavy tail with the exponent ???>?0 i.e. ${\nu(\{x\in\mathbb{R}^d: |x| > t\})\asymp t^{-\alpha}}$ . Using this result we show that properly normalized Birkhoff sums ${S_n^x=\sum_{k=1}^n X_k^x}$ , converge in law to an ??-stable law for ${\alpha\in(0, 2]}$ .     

On the Fučik spectrum of non-local elliptic operators

In this article, we study the Fu?ik spectrum of the fractional Laplace operator which is defined as the set of all \({(\alpha, \beta)\in \mathbb{R}^2}\) such that $$\quad \left.\begin{array}{ll}\quad (-\Delta)^s u = \alpha u^{+} - \beta u^{-} \quad {\rm in}\;\Omega \\ \quad \quad \quad u = 0 \quad \quad \quad \qquad {\rm in}\; \mathbb{R}^n{\setminus}\Omega.\end{array}\right\}$$ has a non-trivial solution u, where \({\Omega}\) is a bounded domain in \({\mathbb{R}^n}\) with Lipschitz boundary, n > 2s, \({s \in (0, 1)}\) . The existence of a first nontrivial curve \({\mathcal{C}}\) of this spectrum, some properties of this curve \({\mathcal{C}}\) , e.g. Lipschitz continuous, strictly decreasing and asymptotic behavior are studied in this article. A variational characterization of second eigenvalue of the fractional eigenvalue problem is also obtained. At the end, we study a nonresonance problem with respect to the Fu?ik spectrum.     

On the solutions of a singular elliptic equation concentrating on two orthogonal spheres

Let \({A=\{x\in \mathbb{R}^{2m}: 0 < a < |x| < b\}}\) be an annulus. We consider the following singularly perturbed elliptic problem on A $$\left\{\begin{array}{lll}-\varepsilon ^2{\Delta u} + |x|^{\eta}u =|x|^{\eta}u^p, \quad {\rm in} A,\\ u > 0, \quad \quad \quad \quad \quad \quad \quad {\rm in} A, \\ u=0, \quad \quad \quad \quad \quad \quad \quad {\rm on}\partial A,\end{array}\right. $$ where \({1 < p < \frac{m+3}{m-1}}\) . We shall prove the existence of a positive solution \({u_\epsilon }\) which concentrates on two different orthogonal spheres of dimension (m?1) as \({\varepsilon \to 0}\) . We achieve this by studying a reduced problem on an annular domain in \({\mathbb{R}^{m+1}}\) and analysing the profile of a two point concentrating solution in this domain.     

Badly approximable points on planar curves and a problem of Davenport

Let \({\mathcal {C}}\) be two times continuously differentiable curve in \({\mathbb {R}}^2\) with at least one point at which the curvature is non-zero. For any \(i,j \geqslant 0\) with \(i+j =1\) , let \({\mathbf {Bad}}(i,j)\) denote the set of points \((x,y) \in {\mathbb {R}}^2\) for which \( \max \{ \Vert qx\Vert ^{1/i}, \, \Vert qy\Vert ^{1/j} \} > c/q \) for all \( q \in {\mathbb {N}}\) . Here \(c = c(x,y)\) is a positive constant. Our main result implies that any finite intersection of such sets with \({\mathcal {C}}\) has full Hausdorff dimension. This provides a solution to a problem of Davenport dating back to the sixties.     

On Suborbital Graphs for the Extended Modular Group {\hat{\Gamma}}

In this paper, we show that the extended modular group ${\hat{\Gamma}}$ acts on ${\hat{\mathbb{Q}}}$ transitively and imprimitively. Then the number of orbits of ${\hat{\Gamma} _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ is calculated and compared with the number of orbits of ${\Gamma _{0}(N)}$ on ${\hat{\mathbb{Q}}}$ . Especially, we obtain the graphs ${\hat{G}_{u, N}}$ of ${\hat{\Gamma}_{0}(N)}$ on ${\hat{\mathbb{Q}}}$ , for each ${N\in\mathbb{N}}$ and each unit ${u \in U_{N} }$ , then we determine the suborbital graph ${\hat{F}_{u,N}}$ . We also give the edge conditions in ${\hat{G}_{u, N}}$ and the necessary and sufficient conditions for a circuit to be triangle in ${\hat{F}_{u, N}.}$      

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

Mather Measures Associated with a Class of Bloch Wave Functions

In this paper we study the Wigner transform for a class of smooth Bloch wave functions on the flat torus ${\mathbb{T}^n = \mathbb{R}^n /2\pi \mathbb{Z}^n}$ : $$\psi_{\hbar,P} (x) = a (\hbar,P,x) {\rm e}^{ \frac{i}{\hbar} ( P\cdot x + \hat{v}(\hbar,P,x) )}.$$ On requiring that ${P \in \mathbb{Z}^n}$ and ${\hbar = 1/N}$ with ${N \in \mathbb{N}}$ , we select amplitudes and phase functions through a variational approach in the quantum states space based on a semiclassical version of the classical effective Hamiltonian ${{\bar H}(P)}$ which is the central object of the weak KAM theory. Our main result is that the semiclassical limit of the Wigner transform of ${\psi_{\hbar,P}}$ admits subsequences converging in the weak* sense to Mather probability measures on the phase space. These measures are invariant for the classical dynamics and Action minimizing.     

Approximate dual Gabor atoms via the adjoint lattice method

Regular Gabor frames for \({\boldsymbol {L}{^{2}}(\mathbb {R}^d)}\) are obtained by applying time-frequency shifts from a lattice in \(\boldsymbol {\Lambda } \vartriangleleft {\mathbb {R}^{d} \times \mathbb {\widehat {R}}}\) to some decent so-called Gabor atom g, which typically is something like a summability kernel in classical analysis, or a Schwartz function, or more generally some \(g \in {\boldsymbol {S}_{0}(\mathbb {R}^{d})}\) . There is always a canonical dual frame, generated by the dual Gabor atom \({\widetilde g}\) . The paper promotes a numerical approach for the efficient calculation of good approximations to the dual Gabor atom for general lattices, including the non-separable ones (different from \({a\mathbb {Z}^{d}\,{\times }\,b\mathbb {Z}^{d}}\) ). The theoretical foundation for the approach is the well-known Wexler-Raz biorthogonality relation and the more recent theory of localized frames. The combination of these principles guarantees that the dual Gabor atom can be approximated by a linear combination of a few time-frequency shifted atoms from the adjoint lattice \(\boldsymbol {\Lambda }\circ\) . The effectiveness of this approach is justified by a new theoretical argument and demonstrated by numerical examples.     

On Some Quasilinear Elliptic Systems with Singular and Sign-Changing Potentials

Using variational methods, we study the existence and nonexistence of nontrivial weak solutions for the quasilinear elliptic system $$\left\{\begin{array}{ll}- {\rm div}(h_1(|\nabla u|^2)\nabla u) = \frac{\mu}{|x|^2}u + \lambda F_u(x, u, \upsilon)\quad {\rm in}\,\Omega,\\- {\rm div}(h_2(|\nabla \upsilon|^2)\nabla \upsilon) = \frac{\mu}{|x|^2}\upsilon + \lambda F_\upsilon(x,u,\upsilon)\quad {\rm in}\,\Omega,\\u = \upsilon = 0 \qquad \qquad \qquad \qquad \qquad \qquad {\rm in}\, \partial\Omega, \end{array}\right.$$ where \({\Omega \subset \mathbb{R}^N,N \geq 3}\) , is a bounded domain containing the origin with smooth boundary \({\partial \Omega ; h_i, i = 1, 2}\) , are nonhomogeneous potentials; \({(F_u, F_v) = \nabla F}\) stands for the gradient of a sign-changing C ¹-function \({F : \Omega \times \mathbb{R}^2 \to \mathbb{R}}\) in the variable \({{w = (u, v) \in \mathbb{R}^2}}\) ; and λ and μ are parameters.     

Behaviour at infinity of solutions of some linear functional equations in normed spaces

Let \({\mathbb{K} \in \{\mathbb{R}, \mathbb{C}\}, I = (d, \infty), \phi : I \to I}\) be unbounded continuous and increasing, X be a normed space over \({\mathbb{K}, \mathcal{F} : = \{f \in X^I : {\rm lim}_{t \to \infty} f(t) {\rm exists} \, {\rm in} X\},\hat{a} \in \mathbb{K}, \mathcal{A}(\hat{a}) : = \{\alpha \in \mathbb{K}^I : {\rm lim}_{t \to \infty} \alpha(t) = \hat{a}\},}\) and \({\mathcal{X} : = \{x \in X^I : {\rm lim} \, {\rm sup}_{t \to \infty} \|x(t)\| < \infty\}}\) . We prove that the limit lim _{t → ∞} x(t) exists for every \({f \in \mathcal{F}, \alpha \in \mathcal{A}(\hat{a})}\) and every solution \({x \in \mathcal{X}}\) of the functional equation $$x(\phi(t)) = \alpha(t) x(t) + f(t)$$ if and only if \({|\hat{a}| \neq 1}\) . Using this result we study behaviour of bounded at infinity solutions of the functional equation $$x(\phi^{[k]}(t)) = \sum_{j=0}^{k-1} \alpha_j(t) x (\phi^{[j]}(t)) + f(t),$$ under some conditions posed on functions \({\alpha_j(t), j = 0, 1,\ldots, k - 1,\phi}\) and f.     

Sign-definiteness of q-eigenfunctions for a super-linear p-Laplacian eigenvalue problem

We consider the following q-eigenvalue problem for the p-Laplacian $$\left\{\begin{array}{ll}-{\rm div}\big( |\nabla u|^{p-2}\nabla u\big) = \lambda \|u\|_{L^{q}(\Omega)}^{p-q}|u|^{q-2}u \quad \quad\, {\rm in} \,\,\,\, \Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,\,{\rm on } \,\,\,\, \partial\Omega,\end{array}\right.$$ where \({\lambda\in\mathbb{R},}\) p > 1, Ω is a bounded and smooth domain of \({\mathbb{R}^{N},}\) N > 1, \({1\leq q < p^{\star}}\) , \({p^{\star}=\frac{Np}{N-p}}\) if p < N and \({p^{\star}=\infty}\) if \({p\geq N.}\) Let λ _q denote the first q-eigenvalue. We prove that in the super-linear case, \({p < q < p^{\star},}\) there exists \({\epsilon_{q}>0}\) such that if \({\lambda\in(\lambda_{q},\lambda _{q}+\epsilon_{q})}\) is a q-eigenvalue, then any corresponding q-eigenfunction does not change sign in Ω. As a consequence of this result we obtain, in the super-linear case, the isolatedness of λ _q for those Ω such that the Lane–Emden problem $$\left\{\begin{array}{ll}-{\rm div}\big(|\nabla u|^{p-2}\nabla u\big) = |u|^{q-2}u \qquad\quad\quad\quad \,\,{\rm in}\,\,\,\Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,{\rm on } \,\,\, \partial\Omega,\end{array}\right.$$ has exactly one positive solution.     

Wandering Subspaces of the Bergman Space and the Dirichlet Space Over {{\mathbb{D}^{n}}}

Doubly commuting invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc \({\mathbb{D}^n}\) (with \({n \geq 2}\) ) are investigated. We show that for any non-empty subset \({\alpha=\{\alpha_1,\ldots,\alpha_k\}}\) of \({\{1,\ldots,n\}}\) and doubly commuting invariant subspace \({\mathcal{S}}\) of the Bergman space or the Dirichlet space over \({\mathbb{D}^n}\) , restriction of the multiplication operator tuple on \({\mathcal{S}, M_{\alpha}|_\mathcal{S}:=(M_{z_{\alpha_1}}|_\mathcal{S},\ldots, M_{z_{\alpha_k}}|_\mathcal{S})}\) , always possesses generating wandering subspace of the form $$\bigcap_{i=1}^k(\mathcal{S}\ominus z_{\alpha_i}\mathcal{S})$$ .     

On a functional equation related to competition

The functional equation $$f \left(\frac{x + y}{1 - xy}\right) = \frac{f\left(x\right) + f\left(y\right)} {1 + f\left(x\right) f\left(y\right)}, \quad xy < 1,$$ (introduced by the first author in a competition model) is considered. The main result says that a function \({f : \mathbb{R} \rightarrow \mathbb{R}}\) satisfies this equation if, and only if, \({f = {\rm tanh} \circ \, \alpha \circ {\rm tan}^{-1}}\) , where \({\alpha : \mathbb{R} \rightarrow \mathbb{R}}\) is an additive function.