Explicit unobstructed primes for modular deformation problems of squarefree level

Let f be a newform of weight k?3 with Fourier coefficients in a number field K. We give explicit bounds on the set of primes λ of K for which the deformation problem associated to the mod λ Galois representation of f is obstructed. We include some explicit examples.     

Multidimensional pseudo-spectral methods on lattice grids

When multidimensional functions are approximated by a truncated Fourier series, the number of terms typically increases exponentially with the dimension s. However, for functions with more structure than just being L²-integrable, the contributions from many of the Ns terms in the truncated Fourier series may be insignificant. In this paper we suggest a way to reduce the number of terms by omitting the insignificant ones. We then show how lattice rules can be used for approximating the associated Fourier coefficients, allowing a similar reduction in grid points as in expansion terms. We also show that using a lattice grid permits the efficient computation of the Fourier coefficients by the FFT algorithm. Finally we assemble these ideas into a pseudo-spectral algorithm and demonstrate its efficiency on the Poisson equation.     

The Helgason Fourier transform for homogeneous vector bundles over compact Riemannian symmetric spaces—the local theory

The Helgason Fourier transform on noncompact Riemannian symmetric spaces G/K is generalized to the homogeneous vector bundles over the compact dual spaces U/K. The scalar theory on U/K was considered by Sherman (the local theory for U/K of arbitrary rank, and the global theory for U/K of rank one). In this paper we extend the local theory of Sherman to arbitrary homogeneous vector bundles on U/K. For U/K of rank one we also obtain a generalization of the Cartan-Helgason theorem valid for any K-type.     

Theta Functions with Harmonic Coefficients over Number Fields

We investigate theta functions attached to quadratic forms over a number field K. We establish a functional equation by regarding the theta functions as specializations of symplectic theta functions. By applying a differential operator to the functional equation, we show how theta functions with harmonic coefficients over K behave under modular transformations.     

Finite Fourier transform for functions with restricted support

Let G(q) denote the multiplicative group of invertible elements in Z_q, the ring of integers modulo q. Let H be a subgroup of G(q), and let aH be a coset of H in G(q). Suppose ?:Z_q→C is a function with support contained in aH. This paper describes how to find sets K ? Z_q with |K|=|H| such that the function ? can be recovered from the values of its (finite) Fourier transform restricted to K. The proofs involve analyzing the (finite) Fourier transform by means of its associated matrix.     

On the fourier-vilenkin coefficients

In this article, we prove the following statement that is true for both unbounded and bounded Vilenkin systems: for any ε∈(0, 1), there exists a measurable set E [0, 1)of measure bigger than 1-ε such that for any function f ∈ L~1[0, 1), it is possible to find a function g ∈ L~1[0, 1) coinciding with f on E and the absolute values of non zero Fourier coefficients of g with respect to the Vilenkin system are monotonically decreasing.     

On Fourier frame of absolutely continuous measures

Let μ be a compactly supported absolutely continuous probability measure on Rn, we show that L²(K,dμ) admits a Fourier frame if and only if its Radon-Nikodym derivative is bounded above and below almost everywhere on the support K. As a consequence, we prove that if μ is an equal weight absolutely continuous self-similar measure on R¹ and L²(K,dμ) admits a Fourier frame, then the density of μ must be a characteristic function of self-similar tile. In particular, this shows for almost everywhere 1/2<λ<1, the L² space of the λ-Bernoulli convolutions cannot admit a Fourier frame.     

The Fourier coefficients of functions with bounded variation

We consider Fourier coefficients for functions of bounded variation with respect to general orthonormal systems (GONS). We show that in general case the sequence of coefficients may have an arbitrarily prescribed order of vanishing. In this connection we seek for a class of GONS such that Fourier coefficients of a function from V(0, 1) satisfy the same inequality as in the case of classical systems (trigonometric, Walsh, and Haar ones). In the present paper we study this problem and related issues.     

On the divergence of Fourier series of functions in several variables

The paper deals with the problems of divergence of the series from absolute values of the Fourier coefficients of functions in several variables. It is proved that as the dimension of the space increases, the absolute convergence of Fourier series with respect to any complete orthnormal system (ONS) of functions with continuous partial derivatives becomes worse. For instance, for any ? ∈ (0, 2) there exists a function in variables $k > \frac{{2(2 - \varepsilon )}} {\varepsilon }$ having all the continuous partial derivatives, however the series of absolute values of its coefficients with respect to any complete orthnormal system diverges in power 2 ? ?.     

О сходимости в метрике L четных тригонометрических интерполяционных полиномов по равноотстояшим уэлам

Even, 2π-periodic, continuous for all x ≠ 2πn, n = 0, 1, …, functions, represented by Fourier series are considered. The question of convergence in the metric L of the trigonometric interpolation cosine polinomials of such functions with convex, quasiconvex, monotone and quasimonotone Fourier coefficients is investigated.     

The polyharmonic local sine transform: A new tool for local image analysis and synthesis without edge effect

We introduce a new local sine transform that can completely localize image information both in the space domain and in the spatial frequency domain. This transform, which we shall call the polyharmonic local sine transform (PHLST), first segments an image into local pieces using the characteristic functions, then decomposes each piece into two components: the polyharmonic component and the residual. The polyharmonic component is obtained by solving the elliptic boundary value problem associated with the so-called polyharmonic equation (e.g., Laplace's equation, biharmonic equation, etc.) given the boundary values (the pixel values along the boundary created by the characteristic function). Subsequently this component is subtracted from the original local piece to obtain the residual. Since the boundary values of the residual vanish, its Fourier sine series expansion has quickly decaying coefficients. Consequently, PHLST can distinguish intrinsic singularities in the data from the artificial discontinuities created by the local windowing. Combining this ability with the quickly decaying coefficients of the residuals, PHLST is also effective for image approximation, which we demonstrate using both synthetic and real images. In addition, we introduce the polyharmonic local Fourier transform (PHLFT) by replacing the Fourier sine series above by the complex Fourier series. With a slight sacrifice of the decay rate of the expansion coefficients, PHLFT allows one to compute local Fourier magnitudes and phases without revealing the edge effect (or Gibbs phenomenon), yet is invertible and useful for various filtering, analysis, and approximation purposes.     

Maharam-type kernel representation for operators with a trigonometric domination

Consider a linear and continuous operator T between Banach function spaces. We prove that under certain requirements an integral inequality for T is equivalent to a factorization of T through a specific kernel operator: in other words, the operator T has what we call a Maharam-type kernel representation. In the case that the inequality provides a domination involving trigonometric functions, a special factorization through the Fourier operator is given. We apply this result to study the problem that motivates the paper: the approximation of functions in \(L^{2}[0,1]\) by means of trigonometric series whose Fourier coefficients are given by weighted trigonometric integrals.     

IFS attractors and Cantor sets

We build a metric space which is homeomorphic to a Cantor set but cannot be realized as the attractor of an iterated function system. We give also an example of a Cantor set K in R³ such that every homeomorphism f of R³ which preserves K coincides with the identity on K.     

Absolutely convergent Fourier series and function classes

We study the smoothness property of a function f with absolutely convergent Fourier series, and give best possible sufficient conditions in terms of its Fourier coefficients to ensure that f belongs either to one of the Lipschitz classes Lip(α) and lip(α) for some 0<α?1, or to one of the Zygmund classes Λ_∗(1) and λ_∗(1). Our theorems generalize some of those by Boas [R.P. Boas Jr., Fourier series with positive coefficients, J. Math. Anal. Appl. 17 (1967) 463-483] and one by Németh [J. Németh, Fourier series with positive coefficients and generalized Lipschitz classes, Acta Sci. Math. (Szeged) 54 (1990) 291-304]. We also prove a localized version of a theorem by Paley [R.E.A.C. Paley, On Fourier series with positive coefficients, J. London Math. Soc. 7 (1932) 205-208] on the existence and continuity of the derivative of f.     

Existence of equilibria of set-valued maps on bounded epi-Lipschitz domains in Hilbert spaces without invariance conditions

In this paper, we provide a new result of the existence of equilibria for set-valued maps on bounded closed subsets K of Hilbert spaces. We do not impose either convexity or compactness assumptions on K but we assume that K has epi-Lipschitz sections, i.e. its intersection with suitable finite dimensional spaces is locally the epigraph of Lipschitz functions. In finite dimensional spaces, the famous Brouwer theorem asserts the existence of a fixed point for a continuous function from a compact convex set K to itself. Our result could be viewed as a kind of generalization of this classical result in the context of Hilbert spaces and when the function (or the set-valued map) does not necessarily map K into itself (K is not invariant under the map). Our approach is based firstly on degree theory for compact and for condensing set-valued maps and secondly on flows generated by trajectories of differential inclusions.     

Lévy white noise measures on infinite-dimensional spaces: Existence and characterization of the measurable support

It is shown that a Lévy white noise measure Λ always exists as a Borel measure on the dual K^′ of the space K of C^∞ functions on R with compact support. Then a characterization theorem that ensures that the measurable support of Λ is contained in S^′ is proved. In the course of the proofs, a representation of the Lévy process as a function on K^′ is obtained and stochastic Lévy integrals are studied.     

Some results on separate and joint continuity

Let f:X×K→R be a separately continuous function and C a countable collection of subsets of K. Following a result of Calbrix and Troallic, there is a residual set of points x∈X such that f is jointly continuous at each point of {x}×Q, where Q is the set of y∈K for which the collection C includes a basis of neighborhoods in K. The particular case when the factor K is second countable was recently extended by Moors and Kenderov to any ?ech-complete Lindelöf space K and Lindelöf α-favorable X, improving a generalization of Namioka's theorem obtained by Talagrand. Moors proved the same result when K is a Lindelöf p-space and X is conditionally σ-α-favorable space. Here we add new results of this sort when the factor X is σC(X)-β-defavorable and when the assumption “base of neighborhoods” in Calbrix-Troallic's result is replaced by a type of countable completeness. The paper also provides further information about the class of Namioka spaces.     

On metaplectic forms over function fields

We propose a concept of half integral weight in the global function field context, and construct natural families of functions with given weight. An analogue of Shimura correspondence (between weight 2 functions and weight ${\frac{3}{2}}$ functions) via theta series from “definite” quaternion algebras over function fields is then established. From the study of Fourier coefficients of these theta series, we arrive at a Waldspurger-type formula. This formula is then applied to L-series coming from elliptic curves over function fields.