A threshold phenomenon for embeddings of $${H^m_0}$$ into Orlicz spaces

Given an open bounded domain \({\Omega\subset\mathbb {R}^{2m}}\) with smooth boundary, we consider a sequence \({(u_k)_{k\in\mathbb{N}}}\) of positive smooth solutions to

$\left\{\begin{array}{ll} (-\Delta)^m u_k=\lambda_k u_k e^{mu_k^2} \quad\quad\quad\quad\quad {\rm in}\,\Omega\\ u_k=\partial_\nu u_k=\cdots =\partial_\nu^{m-1} u_k=0 \quad {\rm on }\, \partial \Omega, \end{array}\right.$

where λ _k → 0⁺. Assuming that the sequence is bounded in \({H^m_0(\Omega)}\) , we study its blow-up behavior. We show that if the sequence is not precompact, then

$\liminf_{k\to\infty}\|u_k\|^2_{H^m_0}:=\liminf_{k\to\infty}\int\limits_\Omega u_k(-\Delta)^m u_k dx\geq \Lambda_1,$

where Λ₁ = (2m ? 1)!vol(S ^2m ) is the total Q-curvature of S ^2m .

     

The sum of digits of primes in $${\mathbb{Z}}$$[i]

We study the distribution of the complex sum-of-digits function s _q with basis q = –a±i, \({a \in \mathbb{Z}^+}\) for Gaussian primes p. Inspired by a recent result of Mauduit and Rivat (http://iml.univ-mrs.fr/~rivat/publications.html) for the real sum-of-digits function, we here get uniform distribution modulo 1 of the sequence (αs _q (p)) provided \({\alpha \in \mathbb{R} \setminus \mathbb{Q}}\) and q is prime with a ≥ 28. We also determine the order of magnitude of the number of Gaussian primes whose sum-of-digits evaluation lies in some fixed residue class mod m.     

On the primitive divisors of the recurrent sequence $$u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}$$ with applications to group theory

Consider the sequence of algebraic integers u_n given by the starting values u₀ = 0, u₁ = 1 and the recurrence \(u_{n+1}=(4\rm{cos}^2(2\pi/7)-1)\it{u}_{n}-u_{n-\rm{1}}\). We prove that for any n ? {1, 2, 3, 5, 8, 12, 18, 28, 30} the n-th term of the sequence has a primitive divisor in \(\mathbb{Z}[2\rm{cos}(2\pi/7)]\). As a consequence we deduce that for any suffciently large n there exists a prime power q such that the group PSL₂(q) can be generated by a pair x, y with \(x^2=y^3=(xy)^7=1\) and the order of the commutator [x, y] is exactly n. The latter result answers in affrmative a question of Holt and Plesken.     

A remark on the ring of algebraic integers in $$\mathbb{Q}(\sqrt { - d} )$$

It is well-known that the rings O_d of algebraic integers in \(\mathbb{Q}(\sqrt { - d} )\) for d = 19, 43, 67, and 163 are principal ideal domains but not Euclidean. In this article we shall provide a method, based on a result of P. M. Cohn, to construct explicitly pairs (b, a) of integers in O_d for d = 19, 43, 67, and 163 such that, in O_d, there exists no terminating division chain of finite length starting from the pairs (b, a). That is, a greatest common divisor of the pairs (b, a) exists in O_d but it can not be obtained by applying a terminating division chain of finite length starting from (b, a). Furthermore, for squarefree positive integer d ? {1, 2, 3, 7, 11, 19, 43, 67, 163}, we shall also construct pairs (b, a) of integers in O_d which generate O_d but have no terminating division chain of finite length. It is of interest to note that our construction provides a short alternative proof of a theorem of Cohn which is related to the concept of GE₂-rings.     

On low discrepancy sequences and low discrepancy ergodic transformations of the multidimensional unit cube

In this paper we describe a third class of low discrepancy sequences. Using a lattice Γ ? ? ^s , we construct Kronecker-like and van der Corput-like ergodic transformations T _1,Γ and T _2,Γ of [0, 1) ^s . We prove that for admissible lattices Γ, (T _ν,Γ ⁿ (x))_n≥0 is a low discrepancy sequence for all x ∈ [0, 1) ^s and ν ∈ {1, 2}. We also prove that for an arbitrary polyhedron P ? [0, 1) ^s , for almost all lattices Γ ∈ L _s = SL(s,?)/SL(s, ?) (in the sense of the invariant measure on L _s ), the following asymptotic formula

$\# \{ 0 \le n < N:T_{v,\Gamma }^n(x) \in P\} = NvolP + O({(\ln N)^{s + \varepsilon }}),N \to \infty$

holds with arbitrary small ? > 0, for all x ∈ [0, 1) ^s , and ν ∈ {1, 2}.

     

Regularized traces of singular differential operators with canonical boundary conditions

A self-adjoint differential operator \(\mathbb{L}\) of order 2m is considered in L ₂[0,∞) with the classic boundary conditions \(y^{(k_1 )} (0) = y^{(k_2 )} (0) = y^{(k_3 )} (0) = \ldots = y^{(k_m )} (0) = 0\), where 0 ≤ k ₁ < k ₂ < ... < k _m ≤ 2m ? 1 and {k _s } _s=1 ^m ∪ {2m ? 1 ? k _s } _s=1 ^m = {0, 1, 2, ..., 2m ? 1}. The operator \(\mathbb{L}\) is perturbed by the operator of multiplication by a real measurable bounded function q(x) with a compact support: \(\mathbb{P}\) f(x) = q(x)f(x), f ∈ L ₂[0,∞). The regularized trace of the operator \(\mathbb{L} + \mathbb{P}\) is calculated.     

A new family of differentially 4-uniform permutations over $$\mathbb{F}_{2^{2k} }$$ for odd k

We study the differential uniformity of a class of permutations over \(\mathbb{F}_{2^n } \) with n even. These permutations are different from the inverse function as the values x^?1 are modified to be (γx)^? on some cosets of a fixed subgroup 〈γ〉 of \(\mathbb{F}_{2^n }^* \). We obtain some sufficient conditions for this kind of permutations to be differentially 4-uniform, which enable us to construct a new family of differentially 4-uniform permutations that contains many new Carlet-Charpin-Zinoviev equivalent (CCZ-equivalent) classes as checked by Magma for small numbers n. Moreover, all of the newly constructed functions are proved to possess optimal algebraic degree and relatively high nonlinearity.     

A note on the illposedness for anisotropic nonlinear Schrödinger equation

In this short note, we show the illposedness of anisotropic Schroedinger equation in L^2 if the growth of nonlinearity is larger than a threshold power pc which is also the critical power for blowup, as Fibich, Ilan and Schochet have pointed out recently. The illposedness in anisotropic Sobolev space Hk,d-d^2s,s where 0 〈 s 〈 sc, sc =d/2-k/4-2/p-1, and the illposedness in Sobolev space of negative order H^s, s 〈 0 are also proved.     

Ck-regularity for the $$\bar \partial $$ -equation with a support condition

Let D be a C ^d q-convex intersection, d ≥ 2, 0 ≤ q ≤ n ? 1, in a complex manifold X of complex dimension n, n ≥ 2, and let E be a holomorphic vector bundle of rank N over X. In this paper, C ^k -estimates, k = 2, 3,...,∞, for solutions to the \(\bar \partial \)-equation with small loss of smoothness are obtained for E-valued (0, s)-forms on D when n ? q ≤ s ≤ n. In addition, we solve the \(\bar \partial \)-equation with a support condition in C ^k -spaces. More precisely, we prove that for a \(\bar \partial \)-closed form f in C _0,q ^k (X D,E), 1 ≤ q ≤ n ? 2, n ≥ 3, with compact support and for ε with 0 < ε < 1 there exists a form u in C _0,q?1 ^k?ε (X D,E) with compact support such that \(\bar \partial u = f\) in \(X\backslash \bar D\). Applications are given for a separation theorem of Andreotti-Vesentini type in C ^k -setting and for the solvability of the \(\bar \partial \)-equation for currents.     

Additive properties of product sets in the field $$ \mathbb{F}_{p^2 } $$

For given positive integer n and ε > 0 we consider an arbitrary nonempty subset A of a field consisting of p ² elements such that its cardinality exceeds p ^2/n?ε . We study the possibility to represent an arbitrary element of the field as a sum of at most N(n, ε) elements from the nth degree of the set A. An upper estimate for the number N(n, ε) is obtained when it is possible.     

Subseries of $$ \mathrm{\mathcal{I}}$$-convergent series

We say that an ideal \( \mathrm{\mathcal{I}}\) has property (T) if for every \( \mathrm{\mathcal{I}}\)-convergent series \( {\sum}_{n=1}^{\infty }{x}_n \), there exists a set A ∈ \( \mathrm{\mathcal{I}}\) such that ∑_n?∈??\Ax _n converges in the usual sense. The main aim of this paper is to focus on several different classes of ideals, such as summable ideals, F _σ ideals, and matrix summability ideals, and to show that they do not have the mentioned property.     

Permutation polynomials of the type $$x^rg(x^{s})$$ over $${\mathbb {F}}_{q^{2n}}$$Fq2n

We provide some new families of permutation polynomials of \({\mathbb {F}}_{q^{2n}}\) of the type \(x^rg(x^{s})\), where the integers r, s and the polynomial \(g \in {\mathbb {F}}_q[x]\) satisfy particular restrictions. Some generalizations of known permutation binomials and trinomials that involve a sort of symmetric polynomials are given. Other constructions are based on the study of algebraic curves associated to certain polynomials. In particular we generalize families of permutation polynomials constructed by Gupta–Sharma, Li–Helleseth, Li–Qu–Li–Fu.     

On the Convergence of Solutions of Variational Problems with Implicit Pointwise Constraints in Variable Domains

Results on the convergence of minimizers and minimum values of integral and more general functionals J_s: W^1,p(Ω_s) → ? on the sets U_s(h_s) = {v ∈ W^1,p(Ω_s): h_s(v) ≤ 0 a.e. in Ω_s}, where p > 1, {Ω_s} is a sequence of domains contained in a bounded domain Ω of ?ⁿ (n > 2), and {h_s} is a sequence of functions on ?, are announced.     

Hyperbolas over two-dimensional Fibonacci quasilattices

For the number n _s (α, β; X) of points (x ₁ , x ₂) in the two-dimensional Fibonacci quasilattices \( \mathcal{F}_m^2 \) of level m?=?0, 1, 2,… lying on the hyperbola x ₁ ² ? ??αx ₂ ² ?=?β and such that 0?≤?x ₁? ≤?X, x ₂? ≥?0, the asymptotic formula

$ {n_s}\left( {\alpha, \beta; X} \right)\sim {c_s}\left( {\alpha, \beta } \right)\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty $

is established, and the coefficient c _s (α, β) is calculated exactly. Using this, we obtain the following result. Let F _m be the Fibonacci numbers, A _i ∈ \( \mathbb{N} \), i?=?1, 2, and let \( \overleftarrow {{A_i}} \) be the shift of A _i in the Fibonacci numeral system. Then the number n _s (X) of all solutions (A ₁ , A ₂) of the Diophantine system

$ \left\{ {\begin{array}{*{20}{c}} {A_1^2 + \overleftarrow {A_1^2} - 2{A_2}{{\overleftarrow A }_2} + \overleftarrow {A_2^2} = {F_{2s}},} \\ {\overleftarrow {A_1^2} - 2{A_1}{{\overleftarrow A }_1} + A_2^2 - 2{A_2}{{\overleftarrow A }_2} + 2\overleftarrow {A_2^2} = {F_{2s - 1}},} \\ \end{array} } \right. $

0?≤?A ₁? ≤?X, A ₂? ≥?0, satisfies the asymptotic formula

$ {n_s}(X)\sim \frac{{{c_s}}}{{{\text{ar}}\cosh \left( {{{1} \left/ {\tau } \right.}} \right)}}\ln X\,\,\,\,{\text{as}}\,\,\,\,X \to \infty . $

Here τ?=?(?1?+?√5)/2 is the golden ratio, and c _s ?=?1/2 or 1 for s?=?0 or s?≥?1, respectively.

     

On some permutation binomials and trinomials over $$\mathbb {F}_{2^n}$$

In this work, we completely characterize (1) permutation binomials of the form \(x^{{{2^n -1}\over {2^t-1}}+1}+ ax \in \mathbb {F}_{2^n}[x], n = 2^st, a \in \mathbb {F}_{2^{2t}}^{*}\), and (2) permutation trinomials of the form \(x^{2^s+1}+x^{2^{s-1}+1}+\alpha x \in \mathbb {F}_{2^t}[x]\), where s, t are positive integers. The first result, which was our primary motivation, is a consequence of the second result. The second result may be of independent interest.     

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 unit power integral bases of $$\mathbb{Z}\left[ {\sqrt[4]{m}} \right]$$

Let m ≠ 0 be an integer which is not a perfect square and consider number fields of the form \(\mathbb{Q}\left[ {\sqrt[4]{m}} \right]\). We characterize all orders of the form \(\mathbb{Z}\left[ {\sqrt[4]{m}} \right]\) which admit a unit power integral basis, i.e., there exists a unit ε such that 1, ε, ε ² and ε ³ is an integral basis of \(\mathbb{Z}\left[ {\sqrt[4]{m}} \right]\).     

Weak convergence of the past and future of Brownian motion given the present

In this paper, we show that for t > 0, the joint distribution of the past {W _t?s : 0 ≤ s ≤ t} and the future {W _{t + s} :s ≥ 0} of a d-dimensional standard Brownian motion (W _s ), conditioned on {W _t ∈ U}, where U is a bounded open set in ? ^d , converges weakly in C[0,∞)×C[0,∞) as t→∞. The limiting distribution is that of a pair of coupled processes Y + B ¹,Y + B ² where Y,B ¹,B ² are independent, Y is uniformly distributed on U and B ¹,B ² are standard d-dimensional Brownian motions. Let σ _t ,d _t be respectively, the last entrance time before time t into the set U and the first exit time after t from U. When the boundary of U is regular, we use the continuous mapping theorem to show that the limiting distribution as t → ∞ of the four dimensional vector with components \((W_{\sigma _{t}},t-\sigma _{t},W_{d_{t}},d_{t}-t)\), conditioned on {W _t ∈U}, is the same as that of the four dimensional vector whose components are the place and time of first exit from U of the processes Y + B ¹ and Y + B ² respectively.     

Multiple solutions for a superlinear and periodic elliptic system on $${\mathbb{R}^N}$$

This paper is concerned with the following periodic Hamiltonian elliptic system

$$\left \{\begin{array}{l}-\Delta u+V(x)u=g(x,v)\, {\rm in }\,\mathbb{R}^N,\\-\Delta v+V(x)v=f(x,u)\, {\rm in }\, \mathbb{R}^N,\\ u(x)\to 0\, {\rm and}\,v(x)\to0\, {\rm as }\,|x|\to\infty,\end{array}\right.$$

where the potential V is periodic and 0 lies in a gap of the spectrum of ?Δ + V, f(x, t) and g(x, t) depend periodically on x and are superlinear but subcritical in t at infinity. By establishing a variational setting, existence of a ground state solution and multiple solution for odd f and g are obtained.

     

Upper bounds of homological invariants of {FI_G}-modules

Given a finite group G, let P_G(s) be the probability that s randomly chosen elements generate G, and let H be a finite group with \({P_{G}(s) = P_{H}(s)}\). We show that if the nonabelian composition factors of G and H are PSL(2, p) for some non-Mersenne prime \({p \geq 5}\), then G and H have the same non-Frattini chief factors.