Generating Hyperbolic Singularities in Semitoric Systems Via Hopf Bifurcations

Let \((M,\Omega )\) be a connected symplectic 4-manifold and let \(F=(J,H) :M\rightarrow \mathbb {R}^2\) be a completely integrable system on M with only non-degenerate singularities. Assume that F does not have singularities with hyperbolic blocks and that \(p_1,\ldots ,p_n\) are the focus–focus singularities of F. For each subset \(S=\{i_1,\ldots ,i_j\}\), we will show how to modify F locally around any \(p_i, i \in S\), in order to create a new integrable system \(\widetilde{F}=(J, \widetilde{H}) :M \rightarrow \mathbb {R}^2\) such that its classical spectrum \(\widetilde{F}(M)\) contains j smooth curves of singular values corresponding to non-degenerate transversally hyperbolic singularities of \(\widetilde{F}\). Moreover the focus–focus singularities of \(\widetilde{F}\) are precisely \(p_i\), \(i \in \{1,\ldots ,n\} \setminus S\). The proof is based on Eliasson’s linearization theorem for non-degenerate singularities, and properties of the Hamiltonian Hopf bifurcation.     

Corona problem with data in ideal spaces of sequences

Let E be a Banach lattice on \({\mathbb {Z}}\) with order continuous norm. We show that for any function \(f = \{f_j\}_{j \in {\mathbb {Z}}}\) from the Hardy space \(\mathrm H_{\infty }\left( E \right) \) such that \(\delta \leqslant \Vert f (z)\Vert _E \leqslant 1\) for all z from the unit disk \({\mathbb {D}}\) there exists some solution \(g = \{g_j\}_{j \in {\mathbb {Z}}} \in \mathrm H_{\infty }\left( E' \right) \), \(\Vert g\Vert _{\mathrm H_{\infty }\left( E' \right) } \leqslant C_\delta \) of the Bézout equation \(\sum _j f_j g_j = 1\), also known as the vector-valued corona problem with data in \(\mathrm H_{\infty }\left( E \right) \).     

Two Novel Characterizations of Self-Decomposability on the Half-Line

Two novel characterizations of self-decomposable Bernstein functions are provided. The first one is purely analytic, stating that a function \(\varPsi \) is the Bernstein function of a self-decomposable probability law \(\pi \) on the positive half-axis if and only if alternating sums of \(\varPsi \) satisfy certain monotonicity conditions. The second characterization is of probabilistic nature, showing that \(\varPsi \) is a self-decomposable Bernstein function if and only if a related d-variate function \(C_{\psi ,d}\), \(\psi :=\exp (-\varPsi )\), is a d-variate copula for each \(d \ge 2\). A canonical stochastic construction is presented, in which \(\pi \) (respectively \(\varPsi \)) determines the probability law of an exchangeable sequence of random variables \(\{U_k\}_{k\in {\mathbb {N}}}\) such that \((U_1,\ldots ,U_d) \sim C_{\psi ,d}\) for each \(d \ge 2\). The random variables \(\{U_k\}_{k\in {\mathbb {N}}},\) are i.i.d. conditioned on an increasing Sato process whose law is characterized by \(\varPsi \). The probability law of \(\{U_k\}_{k \in {\mathbb {N}}}\) is studied in quite some detail.     

Family complexity and cross-correlation measure for families of binary sequences

We study the relationship between two measures of pseudorandomness for families of binary sequences: family complexity and cross-correlation measure introduced by Ahlswede et al. in 2003 and recently by Gyarmati et al., respectively. More precisely, we estimate the family complexity of a family \((e_{i,1},\ldots ,e_{i,N})\in \{-1,+1\}^N\), \(i=1,\ldots ,F\), of binary sequences of length \(N\) in terms of the cross-correlation measure of its dual family \((e_{1,n},\ldots ,e_{F,n})\in \{-1,+1\}^F\), \(n=1,\ldots ,N\). We apply this result to the family of sequences of Legendre symbols with irreducible quadratic polynomials modulo \(p\) with middle coefficient \(0\), that is, \(e_{i,n}=\big (\frac{n^2-bi^2}{p}\big )_{n=1}^{(p-1)/2}\) for \(i=1,\ldots ,(p-1)/2\), where \(b\) is a quadratic nonresidue modulo \(p\), showing that this family as well as its dual family has both a large family complexity and a small cross-correlation measure up to a rather large order.     

Few associative triples,isotopisms and groups

Let Q be a quasigroup. For \(\alpha ,\beta \in S_Q\) let \(Q_{\alpha ,\beta }\) be the principal isotope \(x*y = \alpha (x)\beta (y)\). Put \(\mathbf a(Q)= |\{(x,y,z)\in Q^3;\) \(x(yz)) = (xy)z\}|\) and assume that \(|Q|=n\). Then \(\sum _{\alpha ,\beta }\mathbf a(Q_{\alpha ,\beta })/(n!)^2 = n^2(1+(n-1)^{-1})\), and for every \(\alpha \in S_Q\) there is \(\sum _\beta \mathbf a(Q_{\alpha ,\beta })/n! = n(n-1)^{-1}\sum _x(f_x^2-2f_x+n)\ge n^2\), where \(f_x=|\{y\in Q;\) \( y = \alpha (y)x\}|\). If G is a group and \(\alpha \) is an orthomorphism, then \(\mathbf a(G_{\alpha ,\beta })=n^2\) for every \(\beta \in S_Q\). A detailed case study of \(\mathbf a(G_{\alpha ,\beta })\) is made for the situation when \(G = \mathbb Z_{2d}\), and both \(\alpha \) and \(\beta \) are “natural” near-orthomorphisms. Asymptotically, \(\mathbf a(G_{\alpha ,\beta })>3n\) if G is an abelian group of order n. Computational results: \(\mathbf a(7) = 17\) and \(\mathbf a(8) \le 21\), where \(\mathbf a(n) = \min \{\mathbf a(Q);\) \( |Q|=n\}\). There are also determined minimum values for \(\mathbf a(G_{\alpha ,\beta })\), G a group of order \(\le 8\).     

On behavior of Fourier coefficients by Walsh system

The paper proves that for any ε > 0 there exists ameasurable set E ? [0, 1] with measure |E| > 1 ? ε such that for each f ∈ L¹[0, 1] there is a function \(\tilde f \in {L^1}\left[ {0,1} \right]\) coinciding with f on E whose Fourier-Walsh series converges to \(\tilde f\) in L¹[0, 1]-norm, and the sequence \(\left\{ {\left| {{c_k}\left( {\tilde f} \right)} \right|} \right\}_{n = 0}^\infty \) is monotonically decreasing, where \(\left\{ {{c_k}\left( {\tilde f} \right)} \right\}\) is the sequence of Fourier-Walsh coefficients of \(\left\{ {\left| {{c_k}\left( {\tilde f} \right)} \right|} \right\}_{n = 0}^\infty \).     

Spectrality of infinite convolutions with three-element digit sets

Let \(0< \rho <1\) and let \(\{a_n, b_n\}_{n=1}^\infty \) be a sequence of integers with bounded from upper and lower. Associated with them there exists a unique Borel probability measure \(\mu _{\rho , \{0, a_n, b_n\}}\) generated by the following infinite convolution product

$$\begin{aligned} \mu _{\rho , \{0, a_n, b_n\}}=\delta _{\rho \{0, a_1, b_1\}} *\delta _{\rho ^2 \{0, a_2, b_2\}} *\delta _{\rho ^3 \{0, a_3, b_3\}} *\cdots \end{aligned}$$

in the weak convergence, where \(\delta _E=\frac{1}{\# E}\sum _{e \in E} \delta _e\) and \(\hbox {gcd}(a_n, b_n)=1\) for all \(n \in {{\mathbb {N}}}\). In this paper, we show that \(L^2(\mu _{\rho , \{0, a_n, b_n\}})\) admits an exponential orthonormal basis if and only if \(\rho ^{-1} \in 3{{\mathbb {N}}}\) and  \(\{a_n, b_n\} \equiv \{1, 2\} \ (\mathrm {mod} \ 3)\) for all \(n \in {{\mathbb {N}}}\).

     

Quadratic properties of least-squares solutions of linear matrix equations with statistical applications

Assume that a quadratic matrix-valued function \(\psi (X) = Q - X^{\prime }PX\) is given and let \(\mathcal{S} = \left\{ X\in {\mathbb R}^{n \times m} \, | \, \mathrm{trace}[\,(AX - B)^{\prime }(AX - B)\,] = \min \right\} \) be the set of all least-squares solutions of the linear matrix equation \(AX = B\). In this paper, we first establish explicit formulas for calculating the maximum and minimum ranks and inertias of \(\psi (X)\) subject to \(X \in {\mathcal S}\), and then derive from the formulas the analytic solutions of the two optimization problems \(\psi (X) =\max \) and \(\psi (X)= \min \) subject to \(X \in \mathcal{S}\) in the Löwner partial ordering. As applications, we present a variety of results on equalities and inequalities of the ordinary least squares estimators of unknown parameter vectors in general linear models.     

Multiple positive solutions of the stationary Keller–Segel system

We consider the stationary Keller–Segel equation

$$\begin{aligned} {\left\{ \begin{array}{ll} -\Delta v+v=\lambda e^v, \quad v>0 \quad &{} \text {in }\Omega ,\\ \partial _\nu v=0 &{}\text {on } \partial \Omega , \end{array}\right. } \end{aligned}$$

where \(\Omega \) is a ball. In the regime \(\lambda \rightarrow 0\), we study the radial bifurcations and we construct radial solutions by a gluing variational method. For any given \(n\in \mathbb {N}_0\), we build a solution having multiple layers at \(r_1,\ldots ,r_n\) by which we mean that the solutions concentrate on the spheres of radii \(r_i\) as \(\lambda \rightarrow 0\) (for all \(i=1,\ldots ,n\)). A remarkable fact is that, in opposition to previous known results, the layers of the solutions do not accumulate to the boundary of \(\Omega \) as \(\lambda \rightarrow 0\). Instead they satisfy an optimal partition problem in the limit.

     

On Weak Invariance Principles for Partial Sums

Given a sequence of random functionals \(\bigl \{X_k(u)\bigr \}_{k \in \mathbb {Z}}\), \(u \in \mathbf{I}^d\), \(d \ge 1\), the normalized partial sums \(\check{S}_{nt}(u) = n^{-1/2}\bigl (X_1(u) + \cdots + X_{\lfloor n t \rfloor }(u)\bigr )\), \(t \in [0,1]\) and its polygonal version \({S}_{nt}(u)\) are considered under a weak dependence assumption and \(p > 2\) moments. Weak invariance principles in the space of continuous functions and càdlàg functions are established. A particular emphasis is put on the process \(\check{S}_{nt}(\widehat{\theta })\), where \(\widehat{\theta } \xrightarrow {\mathbb {P}} \theta \), and weaker moment conditions (\(p = 2\) if \(d = 1\)) are assumed.     

Asymptotic diophantine approximation: the multiplicative case

Let \(\alpha \) and \(\beta \) be irrational real numbers and \(0<\varepsilon <1/30\). We prove a precise estimate for the number of positive integers \(q\le Q\) that satisfy \(\Vert q\alpha \Vert \cdot \Vert q\beta \Vert <\varepsilon \). If we choose \(\varepsilon \) as a function of Q, we get asymptotics as Q gets large, provided \(\varepsilon Q\) grows quickly enough in terms of the (multiplicative) Diophantine type of \((\alpha ,\beta )\), e.g., if \((\alpha ,\beta )\) is a counterexample to Littlewood’s conjecture, then we only need that \(\varepsilon Q\) tends to infinity. Our result yields a new upper bound on sums of reciprocals of products of fractional parts and sheds some light on a recent question of Lê and Vaaler.     

On Summation of Nonharmonic Fourier Series

Let a sequence \(\Lambda \subset {\mathbb {C}}\) be such that the corresponding system of exponential functions \({\mathcal {E}}(\Lambda ):=\left\{ {\text {e}}^{i\lambda t}\right\} _{\lambda \in \Lambda }\) is complete and minimal in \(L^2(-\pi ,\pi )\), and thus each function \(f\in L^2(-\pi ,\pi )\) corresponds to a nonharmonic Fourier series in \({\mathcal {E}}(\Lambda )\). We prove that if the generating function \(G\) of \(\Lambda \) satisfies the Muckenhoupt \((A_2)\) condition on \({\mathbb {R}}\), then this series admits a linear summation method. Recent results show that the \((A_2)\) condition cannot be omitted.     

Existence and uniqueness for a class of multi-term fractional differential equations

In this paper, we consider the initial value problem for the nonlinear fractional differential equations

$$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} D^\alpha u(t)=f(t,u(t),D^{\beta _1}u(t),\ldots ,D^{\beta _N}u(t)), \quad &{}t\in (0,1],\\ D^{\alpha -k}u(0)=0, \quad &{}k=1,2,\ldots ,n, \end{array} \right. \end{aligned}$$

where \(\alpha >\beta _1>\beta _2>\cdots \beta _N>0\), \(n=[\alpha ]+1\) for \(\alpha \notin \mathbb {N}\) and \(\alpha =n\) for \(\alpha \in \mathbb {N}\), \(\beta _j<1\) for any \(j\in \{1,2,\ldots ,N\}\), D is the standard Riemann–Liouville derivative and \(f:[0,1]\times \mathbb {R}^{N+1}\rightarrow \mathbb {R}\) is a given function. By means of Schauder fixed point theorem and Banach contraction principle, an existence result and a unique result for the solution are obtained,respectively. As an application, some examples are presented to illustrate the main results.

     

Compact Composition Operators and Deddens Algebras

We consider the Deddens algebras associated to compact composition operators on the Hardy space \(H^2\) on the unit disk. When the compact composition operator corresponds to a function \(\varphi \) that satisfies \(\varphi (0)=0\) and \(\varphi '(0)\ne 0\), we show that the lattice of invariant subspaces of this algebra is \(\{0\}\cup \{z^n H^2: n=0,1,2,\ldots \}\). As a consequence, for this class of operators the associated Deddens algebra is weakly dense in the algebra of lower triangular matrices.     

Sampling and Cubature on Sparse Grids Based on a B-spline Quasi-Interpolation

Let \(X_n = \{x^j\}_{j=1}^n\) be a set of n points in the d-cube \({\mathbb {I}}^d:=[0,1]^d\), and \(\Phi _n = \{\varphi _j\}_{j =1}^n\) a family of n functions on \({\mathbb {I}}^d\). We consider the approximate recovery of functions f on \({{\mathbb {I}}}^d\) from the sampled values \(f(x^1), \ldots , f(x^n)\), by the linear sampling algorithm \( L_n(X_n,\Phi _n,f) := \sum _{j=1}^n f(x^j)\varphi _j. \) The error of sampling recovery is measured in the norm of the space \(L_q({\mathbb {I}}^d)\)-norm or the energy quasi-norm of the isotropic Sobolev space \(W^\gamma _q({\mathbb {I}}^d)\) for \(1 < q < \infty \) and \(\gamma > 0\). Functions f to be recovered are from the unit ball in Besov-type spaces of an anisotropic smoothness, in particular, spaces \(B^{\alpha ,\beta }_{p,\theta }\) of a “hybrid” of mixed smoothness \(\alpha > 0\) and isotropic smoothness \(\beta \in {\mathbb {R}}\), and spaces \(B^a_{p,\theta }\) of a nonuniform mixed smoothness \(a \in {\mathbb {R}}^d_+\). We constructed asymptotically optimal linear sampling algorithms \(L_n(X_n^*,\Phi _n^*,\cdot )\) on special sparse grids \(X_n^*\) and a family \(\Phi _n^*\) of linear combinations of integer or half integer translated dilations of tensor products of B-splines. We computed the asymptotic order of the error of the optimal recovery. This construction is based on B-spline quasi-interpolation representations of functions in \(B^{\alpha ,\beta }_{p,\theta }\) and \(B^a_{p,\theta }\). As consequences, we obtained the asymptotic order of optimal cubature formulas for numerical integration of functions from the unit ball of these Besov-type spaces.     

On the Meromorphic Functions in the Punctured Plane Without Multiple Values

The study of meromorphic functions without multiple values in the plane started by F. Nevanlinna is extended to meromorphic functions in the punctured plane \({\mathbb {C}}^{{*}}.\) It is a classical result that a meromorphic function \(f\left( z\right) \) can be obtained as quotient of solutions of the second order differential equation \(u^{{\prime \prime }}+\left\{ f\left( z\right) ,z\right\} u=0,\) where \(\left\{ f\left( z\right) ,z\right\} \) is the Schwarzian derivative of \(f\left( z\right) \). In our hypothesis of meromorphic functions of finite order without multiple values in the puntured plane, the Schwarzian derivative \(\left\{ f\left( z\right) , z\right\} \) turns out to be a rational function with only possible poles at 0 and \(\infty \). In these conditions the asymptotic behaviour of \(f\left( z\right) \) can be described by a result of Hille (Lectures on Ordinary Differential Equations in the complex plane, Addison Wesley, Boston, 1969) on ordinary differential equations in the complex plane. The results obtained are framed in the value distribution theory of meromorphic functions, in particular in the punctured plane we shall consider the work of Khrystiyanin and Kondratyuk (Mat Stud 23(1):19–30, 2005; Mat Stud 23(1):57–68, 2005) and Korhonen (Nevanlinna theory on an annulus. Value distribution theory and related topics. Adv. Complex analysis and applications, Kluwer Academic Publishers, Dordrecht, 2004).     

Families of Strictly Pseudoconvex Domains and Peak Functions

We prove that given a family \((G_t)\) of strictly pseudoconvex domains varying in \(\mathcal {C}^2\) topology on domains, there exists a continuously varying family of peak functions \(h_{t,\zeta }\) for all \(G_t\) at every \(\zeta \in \partial G_t\).     

Optimal lower exponent for the higher gradient integrability of solutions to two-phase elliptic equations in two dimensions

We study the higher gradient integrability of distributional solutions u to the equation \({{\mathrm{div}}}(\sigma \nabla u) = 0\) in dimension two, in the case when the essential range of \(\sigma \) consists of only two elliptic matrices, i.e., \(\sigma \in \{\sigma _1, \sigma _2\}\) a.e. in \(\Omega \). In Nesi et al. (Ann Inst H Poincaré Anal Non Linéaire 31(3):615–638, 2014), for every pair of elliptic matrices \(\sigma _1\) and \(\sigma _2\), exponents \(p_{\sigma _1,\sigma _2}\in (2,+\infty )\) and \(q_{\sigma _1,\sigma _2}\in (1,2)\) have been found so that if \(u\in W^{1,q_{\sigma _1,\sigma _2}}(\Omega )\) is solution to the elliptic equation then \(\nabla u\in L^{p_{\sigma _1,\sigma _2}}_{\mathrm{weak}}(\Omega )\) and the optimality of the upper exponent \(p_{\sigma _1,\sigma _2}\) has been proved. In this paper we complement the above result by proving the optimality of the lower exponent \(q_{\sigma _1,\sigma _2}\). Precisely, we show that for every arbitrarily small \(\delta \), one can find a particular microgeometry, i.e., an arrangement of the sets \(\sigma ^{-1}(\sigma _1)\) and \(\sigma ^{-1}(\sigma _2)\), for which there exists a solution u to the corresponding elliptic equation such that \(\nabla u \in L^{q_{\sigma _1,\sigma _2}-\delta }\), but \(\nabla u \notin L^{q_{\sigma _1,\sigma _2}}\). The existence of such optimal microgeometries is achieved by convex integration methods, adapting to the present setting the geometric constructions provided in Astala et al. (Ann Scuola Norm Sup Pisa Cl Sci 5(7):1–50, 2008) for the isotropic case.     

Brownian Paths Homogeneously Distributed in Space: Percolation Phase Transition and Uniqueness of the Unbounded Cluster

We consider a continuum percolation model on \(\mathbb {R}^d\), \(d\ge 1\). For \(t,\lambda \in (0,\infty )\) and \(d\in \{1,2,3\}\), the occupied set is given by the union of independent Brownian paths running up to time t whose initial points form a Poisson point process with intensity \(\lambda >0\). When \(d\ge 4\), the Brownian paths are replaced by Wiener sausages with radius \(r>0\). We establish that, for \(d=1\) and all choices of t, no percolation occurs, whereas for \(d\ge 2\), there is a non-trivial percolation transition in t, provided \(\lambda \) and r are chosen properly. The last statement means that \(\lambda \) has to be chosen to be strictly smaller than the critical percolation parameter for the occupied set at time zero (which is infinite when \(d\in \{2,3\}\), but finite and dependent on r when \(d\ge 4\)). We further show that for all \(d\ge 2\), the unbounded cluster in the supercritical phase is unique. Along the way a finite box criterion for non-percolation in the Boolean model is extended to radius distributions with an exponential tail. This may be of independent interest. The present paper settles the basic properties of the model and should be viewed as a springboard for finer results.