The finite Fourier transform of a family of orthogonal polynomials is the usual transform of these polynomials extended by $0$ outside their natural domain of orthogonality. Explicit expressions are given for the Legendre, Jacobi, Gegenbauer and Chebyshev families.

For the $(d+1)$-dimensional Lie group $G=\mathbb{Z}_{p}^{\times }\ltimes \mathbb{Z}_{p}^{\oplus d}$, we determine through the use of $p$-power congruences a necessary and sufficient set of conditions whereby a collection of abelian $L$-functions arises from an element in $K_{1}(\mathbb{Z}_{p}\unicode[STIX]{x27E6}G\unicode[STIX]{x27E7})$. If $E$ is a semistable elliptic curve over $\mathbb{Q}$, these abelian $L$-functions already exist; therefore, one can obtain many new families of higher order $p$-adic congruences. The first layer congruences are then verified computationally in a variety of cases.

This paper considers algebraic independence and hypertranscendence of functions satisfying Mahler-type functional equations $af(z^{r})=f(z)+R(z)$, where $a$ is a nonzero complex number, $r$ an integer greater than 1, and $R(z)$ a rational function. Well-known results from the scope of Mahler’s method then imply algebraic independence over the rationals of the values of these functions at algebraic points. As an application, algebraic independence results on reciprocal sums of Fibonacci and Lucas numbers are obtained.

Motivated by a class of nonlinear nonlocal equations of interest for string theory, we introduce Sobolev spaces on arbitrary locally compact abelian groups and we examine some of their properties. Specifically, we focus on analogs of the Sobolev embedding and Rellich–Kondrachov compactness theorems. As an application, we prove the existence of continuous solutions to a generalized bosonic string equation posed on an arbitrary compact abelian group, and we also remark that our approach allows us to solve very general linear equations in a $p$-adic context.

We give an explicit way of writing down a minimal set of generators for the canonical ideal of a nondegenerate curve, or of a more general smooth projective curve in a toric surface, in terms of its defining Laurent polynomial.

A Chebyshev set is a subset of a normed linear space that admits unique best approximations. In the first part of this paper we present some basic results concerning Chebyshev sets. In particular, we investigate properties of the metric projection map, sufficient conditions for a subset of a normed linear space to be a Chebyshev set, and sufficient conditions for a Chebyshev set to be convex. In the second half of the paper we present a construction of a nonconvex Chebyshev subset of an inner product space.

We study the absolute continuity of the convolution ${\it\delta}_{e^{X}}^{\natural }\star {\it\delta}_{e^{Y}}^{\natural }$ of two orbital measures on the symmetric spaces $\mathbf{SO}_{0}(p,p)/\mathbf{SO}(p)\times \mathbf{SO}(p)$, $\mathbf{SU}(p,p)/\mathbf{S}(\mathbf{U}(p)\times \mathbf{U}(p))$ and $\mathbf{Sp}(p,p)/\mathbf{Sp}(p)\times \mathbf{Sp}(p)$. We prove sharp conditions on $X$, $Y\in \mathfrak{a}$ for the existence of the density of the convolution measure. This measure intervenes in the product formula for the spherical functions.

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf{c}(H)$ of $H$ is the smallest integer $N$ with the following property: for each $a\in H$ and each pair of factorizations $z,z^{\prime }$ of $a$, there exist factorizations $z=z_{0},\dots ,z_{k}=z^{\prime }$ of $a$ such that, for each $i\in [1,k]$, $z_{i}$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. To exclude trivial cases, suppose that $|G|\geq 3$. Then the catenary degree depends only on the class group $G$ and we have $\mathsf{c}(H)\in [3,\mathsf{D}(G)]$, where $\mathsf{D}(G)$ denotes the Davenport constant of $G$. The cases when $\mathsf{c}(H)\in \{3,4,\mathsf{D}(G)\}$ have been previously characterized (see Theorem A). Based on a characterization of the catenary degree determined in the paper by Geroldinger et al. [‘The catenary degree of Krull monoids I’, J. Théor. Nombres Bordeaux23 (2011), 137–169], we determine the class groups satisfying $\mathsf{c}(H)=\mathsf{D}(G)-1$. Apart from the extremal cases mentioned, the precise value of $\mathsf{c}(H)$ is known for no further class groups.

We find the potential function whose gradient best approximates an observed square integrable function on a bounded open set subject to prescribed weight factors. With an appropriate choice of topology, we show that the gradient operator is a bounded linear operator and that the desired potential function is obtained by solving a second-order, self-adjoint, linear, elliptic partial differential equation. The main result makes a precise analogy with a standard procedure for the best approximate solution of a system of linear algebraic equations. The use of bounded operators means that the definitive equation is expressed in terms of well-defined functions and that the error in a numerical solution can be calculated by direct substitution into this equation. The proposed method is illustrated with a hypothetical example.

Let ${\rm\Delta}:G\rightarrow \text{GL}(n,K)$ be an absolutely irreducible representation of an arbitrary group $G$ over an arbitrary field $K$; let ${\it\chi}:G\rightarrow K:g\mapsto \text{tr}({\rm\Delta}(g))$ be its character. In this paper, we assume knowledge of ${\it\chi}$ only, and study which properties of ${\rm\Delta}$ can be inferred. We prove criteria to decide whether ${\rm\Delta}$ preserves a form, is realizable over a subfield, or acts imprimitively on $K^{n\times 1}$. If $K$ is finite, we can decide whether the image of ${\rm\Delta}$ belongs to certain Aschbacher classes.

Let ${\mathcal{S}}$ denote the set of all univalent analytic functions $f$ of the form $f(z)=z+\sum _{n=2}^{\infty }a_{n}z^{n}$ on the unit disk $|z|<1$. In 1946, Friedman [‘Two theorems on Schlicht functions’, Duke Math. J.13 (1946), 171–177] found that the set ${\mathcal{S}}_{\mathbb{Z}}$ of those functions in ${\mathcal{S}}$ which have integer coefficients consists of only nine functions. In a recent paper, Hiranuma and Sugawa [‘Univalent functions with half-integer coefficients’, Comput. Methods Funct. Theory13(1) (2013), 133–151] proved that the similar set obtained for functions with half-integer coefficients consists of only 21 functions; that is, 12 more functions in addition to these nine functions of Friedman from the set ${\mathcal{S}}_{\mathbb{Z}}$. In this paper, we determine the class of all normalized sense-preserving univalent harmonic mappings $f$ on the unit disk with half-integer coefficients for the analytic and co-analytic parts of $f$. It is surprising to see that there are only 27 functions out of which only six functions in this class are not conformal. This settles the recent conjecture of the authors. We also prove a general result, which leads to a new conjecture.

We extend results of Andrews and Bressoud [‘Vanishing coefficients in infinite product expansions’, J. Aust. Math. Soc. Ser. A27(2) (1979), 199–202] on the vanishing of coefficients in the series expansions of certain infinite products. These results have the form that if

$$\begin{eqnarray}\frac{(q^{r-tk},q^{mk-(r-tk)};q^{mk})_{\infty }}{(\pm q^{r},\pm q^{mk-r};q^{mk})_{\infty }}=:\mathop{\sum }_{n=0}^{\infty }c_{n}q^{n}\end{eqnarray}$$

$k$

$m$

$s$

$t$

$r=sm+t$

$c_{kn-rs}$

This paper is concerned with the Cauchy problem for a nonlinear Schrödinger equation with a harmonic potential and exponential growth nonlinearity in two space dimensions. In the defocusing case, global well-posedness is obtained. In the focusing case, existence of nonglobal solutions is discussed via potential-well arguments.

We introduce an approximation property (${\mathcal{K}}_{\mathit{up}}$-AP, $1\leq p<\infty$), which is weaker than the classical approximation property, and discover the duality relationship between the ${\mathcal{K}}_{\mathit{up}}$-AP and the ${\mathcal{K}}_{p}$-AP. More precisely, we prove that for every $1<p<\infty$, if the dual space $X^{\ast }$ of a Banach space $X$ has the ${\mathcal{K}}_{\mathit{up}}$-AP, then $X$ has the ${\mathcal{K}}_{p}$-AP, and if $X^{\ast }$ has the ${\mathcal{K}}_{p}$-AP, then $X$ has the ${\mathcal{K}}_{\mathit{up}}$-AP. As a consequence, it follows that every Banach space has the ${\mathcal{K}}_{u2}$-AP and that for every $1<p<\infty$, $p\neq 2$, there exists a separable reflexive Banach space failing to have the ${\mathcal{K}}_{\mathit{up}}$-AP.

Extending the idea of Dabrowski [‘On the proportion of rank 0 twists of elliptic curves’, C. R. Acad. Sci. Paris, Ser. I 346 (2008), 483–486] and using the 2-descent method, we provide three general families of elliptic curves over $\mathbb{Q}$ such that a positive proportion of prime-twists of such elliptic curves have rank zero simultaneously.

We consider the semilinear Schrödinger equation

$$\begin{eqnarray}\left\{\begin{array}{@{}l@{}}-\triangle u+V(x)u=f(x,u),\quad x\in \mathbb{R}^{N},\\ u\in H^{1}(\mathbb{R}^{N}),\end{array}\right.\end{eqnarray}$$

$f(x,u)$

$u$

$V(x)$

$x_{1},x_{2},\dots ,x_{N}$

$\sup [{\it\sigma}(-\triangle +V)\cap (-\infty ,0)]<0<\inf [{\it\sigma}(-\triangle +V)\cap (0,\infty )]$

${\mathcal{N}}^{-}$

Let ${\it\gamma}$ be a hyperbolic closed orbit of a $C^{1}$ vector field $X$ on a compact $C^{\infty }$ manifold $M$ and let $H_{X}({\it\gamma})$ be the homoclinic class of $X$ containing ${\it\gamma}$. In this paper, we prove that if a $C^{1}$-persistently expansive homoclinic class $H_{X}({\it\gamma})$ has the shadowing property, then $H_{X}({\it\gamma})$ is hyperbolic.

The study concerns semistability and stability of probability measures on a convex cone, showing that the set $S(\boldsymbol{{\it\mu}})$ of all positive numbers $t>0$ such that a given probability measure $\boldsymbol{{\it\mu}}$ is $t$-semistable establishes a closed subgroup of the multiplicative group $R^{+}$; semistability and stability exponents of probability measures are positive numbers if and only if the neutral element of the convex cone coincides with the origin; a probability measure is (semi)stable if and only if its domain of (semi-)attraction is not empty; and the domain of attraction of a given stable probability measure coincides with its domain of semi-attraction.