For a Lebesgue integrable complex-valued function $f$ defined on ${ℝ}^{+}:=[0,\infty )$ let $\widehat{f}$ be its Walsh-Fourier transform. The Riemann-Lebesgue lemma says that $\widehat{f}\left(y\right)\to 0$ as $y\to \infty$. But in general, there is no definite rate at which the Walsh-Fourier transform tends to zero. In fact, the Walsh-Fourier transform of an integrable function can tend to zero as slowly as we wish. Therefore, it is interesting to know for functions of which subclasses of $L^1\left({ℝ}^{+}\right)$ there is a definite rate at which the Walsh-Fourier transform tends...

We consider the Vilenkin orthonormal system on a Vilenkin group $G$ and the Vilenkin-Fourier coefficients $\widehat{f}\left(n\right)$, $n\in \mathbb{N}$, of functions $f\in L^p\left(G\right)$ for some $1<p\le 2$. We obtain certain sufficient conditions for the finiteness of the series ${\sum }_{n=1}^{\infty }{a}_n{\left|\widehat{f}\left(n\right)\right|}^r$, where $\left\{a_n\right\}$ is a given sequence of positive real numbers satisfying a mild assumption and $0<r<2$. We also find analogous conditions for the double Vilenkin-Fourier series. These sufficient conditions are in terms of (either global or local) moduli of continuity of $f$ and give multiplicative...

Let $G$ be a compact group, let $n\in N\setminus \{0,1\}$ be a fixed element and let $\sigma$ be a continuous automorphism on $G$ such that ${\sigma }^n=I$. Using the non-abelian Fourier transform, we determine the non-zero continuous solutions $f:G\to C$ of the functional equation $$f\left(xy\right)+\sum _{k=1}^{n-1}f\left({\sigma }^k\left(y\right)x\right)=nf\left(x\right)f\left(y\right),x,y\in G,$$ in terms of unitary characters of $G$.

We study Fourier integral operators of Hörmander’s type acting on the spaces $ℱL^p{\left({ℝ}^d\right)}_{comp}$, 1 ≤ p ≤ ∞, of compactly supported distributions whose Fourier transform is in $L^p$. We show that the sharp loss of derivatives for such an operator to be bounded on these spaces is related to the rank r of the Hessian of the phase Φ(x,η) with respect to the space variables x. Indeed, we show that operators of order m = -r|1/2-1/p| are bounded on $ℱL^p{\left({ℝ}^d\right)}_{comp}$ if the mapping $x\mapsto {\nabla }_x\Phi (x,\eta )$ is constant on the fibres, of codimension r,...

Given a distribution $T$ on the sphere we define, in analogy to the work of Łojasiewicz, the value of $T$ at a point $\xi$ of the sphere and we show that if $T$ has the value $\tau$ at $\xi$, then the Fourier-Laplace series of $T$ at $\xi$ is Abel-summable to $\tau$.

We determine the norm in $L^p\left(ℝ₊\right)$, 1 < p < ∞, of the operator $I-{ℱ}_s{ℱ}_c$, where ${ℱ}_c$ and ${ℱ}_s$ are respectively the cosine and sine Fourier transforms on the positive real axis, and I is the identity operator. This solves a problem posed in 1984 by M. S. Birman [Bir] which originated in scattering theory for unbounded obstacles in the plane. We also obtain the $L^p$-norms of the operators aI + bH, where H is the Hilbert transform (conjugate function operator) on the circle or real line, for arbitrary real...

Let be a locally compact abelian group and let 1 < p ≤ 2. ’ is the dual group of , and p’ the conjugate exponent of p. An operator T between Banach spaces X and Y is said to be compatible with the Fourier transform $F^{}$ if $F^{}\otimes T:L_p\left(\right)\otimes X\to L_{p^{\text{'}}}{(}^{\text{'}})\otimes Y$ admits a continuous extension $[F^{},T]:[L_p\left(\right),X]\to [L_{p^{\text{'}}}{(}^{\text{'}}),Y]$. Let $ℱT_p^{}$ denote the collection of such T’s. We show that $ℱT_p^{ℝ\times }=ℱT_p^{\mathbb{Z}\times }=ℱT_p^{\mathbb{Z}ⁿ\times }$ for any and positive integer n. Moreover, if the factor group of by its identity component is a direct sum of a torsion-free group and a finite group with discrete topology then...

The harmonic Cesàro operator is defined for a function f in $L^p\left(ℝ\right)$ for some 1 ≤ p < ∞ by setting $\left(f\right)\left(x\right):={\int }_x^{\infty }(f\left(u\right)/u)du$ for x > 0 and $\left(f\right)\left(x\right):=-{\int }_{-\infty }^x(f\left(u\right)/u)du$ for x < 0; the harmonic Copson operator ℂ* is defined for a function f in $L{¹}_{loc}\left(ℝ\right)$ by setting $*\left(f\right)\left(x\right):=(1/x){\int }^{x₀}f\left(u\right)du$ for x ≠ 0. The notation indicates that ℂ and ℂ* are adjoint operators in a certain sense. We present rigorous proofs of the following two commuting relations: (i) If $f\in L^p\left(ℝ\right)$ for some 1 ≤ p ≤ 2, then ${\left(\left(f\right)\right)}^{\wedge }\left(t\right)=*\left(f̂\right)\left(t\right)$ a.e., where f̂ denotes the Fourier transform of f. (ii) If $f\in L^p\left(ℝ\right)$ for some 1 < p ≤ 2, then...

We investigate the behaviour of Fourier coefficients with respect to the system of ultraspherical polynomials. This leads us to the study of the “boundary” Lorentz space ${ℒ}_{\lambda }$ corresponding to the left endpoint of the mean convergence interval. The ultraspherical coefficients $c{ₙ}^{\left(\lambda \right)}\left(f\right)$ of ${ℒ}_{\lambda }$-functions turn out to behave like the Fourier coefficients of functions in the real Hardy space ReH¹. Namely, we prove that for any $f\in {ℒ}_{\lambda }$ the series ${\sum }_{n=1}^{\infty }c{ₙ}^{\left(\lambda \right)}\left(f\right)cosn\theta$ is the Fourier series of some function φ ∈ ReH¹ with ${\left|\right|\phi \left|\right|}_{ReH¹}{\le c\left|\right|f\left|\right|}_{{ℒ}_{\lambda }}$. ...

We first give a necessary and sufficient condition for $x^{-\gamma }\varphi \left(x\right)\in L^p$, 1 < p < ∞, 1/p - 1 < γ < 1/p, where ϕ(x) is the sum of either ${\sum }_{k=1}^{\infty }{a}_{k}coskx$ or ${\sum }_{k=1}^{\infty }{b}_{k}sinkx$, under the condition that λₙ (where λₙ is aₙ or bₙ respectively) belongs to the class of so called Mean Value Bounded Variation Sequences (MVBVS). Then we discuss the relations among the Fourier coefficients λₙ and the sum function ϕ(x) under the condition that λₙ ∈ MVBVS, and deduce a sharp estimate for the weighted modulus of continuity of ϕ(x)...

Let G be a semisimple Lie group with Iwasawa decomposition G = KAN. Let X = G/K be the associated symmetric space and assume that X is of rank one. Let M be the centraliser of A in K and consider an orthonormal basis $Y_{\delta ,j}:\delta \in K̂₀,1\le j\le d_{\delta }$ of L²(K/M) consisting of K-finite functions of type δ on K/M. For a function f on X let f̃(λ,b), λ ∈ ℂ, be the Helgason Fourier transform. Let $h_t$ be the heat kernel associated to the Laplace-Beltrami operator and let $Q_{\delta }(i\lambda +\varrho )$ be the Kostant polynomials. We establish the following...

Let $j\ge 2$ be a given integer. Let $H_k^{*}$ be the set of all normalized primitive holomorphic cusp forms of even integral weight $k\ge 2$ for the full modulo group $\mathrm{SL}(2,\mathbb{Z})$. For $f\in H_k^{*}$, denote by ${\lambda }_{{\mathrm{sym}}^{j}f}\left(n\right)$ the $n$th normalized Fourier coefficient of $j$th symmetric power $L$-function ($L(s,{\mathrm{sym}}^{j}f)$) attached to $f$. We are interested in the average behaviour of the sum $$\sum _{\genfrac{}{}{0pt}{}{n=a_1^2+a_2^2+a_3^2+a_4^2+a_5^2+a_6^2\le x}{(a_1,a_2,a_3,a_4,a_5,a_6)\in {\mathbb{Z}}^6}}{\lambda }_{{\mathrm{sym}}^{j}f}^2\left(n\right),$$ where $x$ is sufficiently large, which improves the recent work of A. Sharma and A. Sankaranarayanan (2023).

We collect and extend results on the limit of ${\sigma }^{1-k}{(1-\sigma )}^k{\left|v\right|}_{l+\sigma ,p,\Omega }^p$ as σ → 0⁺ or σ → 1¯, where Ω is ℝⁿ or a smooth bounded domain, k ∈ 0,1, l ∈ ℕ, p ∈ [1,∞), and ${\left|·\right|}_{l+\sigma ,p,\Omega }$ is the intrinsic seminorm of order l+σ in the Sobolev space $W^{l+\sigma ,p}\left(\Omega \right)$. In general, the above limit is equal to $c{\left[v\right]}^p$, where c and [·] are, respectively, a constant and a seminorm that we explicitly provide. The particular case p = 2 for Ω = ℝⁿ is also examined and the results are then proved by using the Fourier transform.

A famous theorem of Carleson says that, given any function $f\in L^p\left(𝕋\right)$, $p\in (1,+\infty )$, its Fourier series $\left(S_{n}f\left(x\right)\right)$ converges for almost every $x\in 𝕋$. Beside this property, the series may diverge at some point, without exceeding $O\left(n^{1/p}\right)$. We define the divergence index at $x$ as the infimum of the positive real numbers $\beta$ such that $S_{n}f\left(x\right)=O\left(n^{\beta }\right)$ and we are interested in the size of the exceptional sets $E_{\beta }$, namely the sets of $x\in 𝕋$ with divergence index equal to $\beta$. We show that quasi-all functions in $L^p\left(𝕋\right)$ have a multifractal behavior with respect to...

Let $f={\sum }_{n=1}^{\infty }a\left(n\right)q^n\in S_{k+1/2}(N,{\chi }_0)$ be a nonzero cuspidal Hecke eigenform of weight $k+\frac{1}{2}$ and the trivial nebentypus ${\chi }_0$, where the Fourier coefficients $a\left(n\right)$ are real. Bruinier and Kohnen conjectured that the signs of $a\left(n\right)$ are equidistributed. This conjecture was proved to be true by Inam, Wiese and Arias-de-Reyna for the subfamilies ${\left\{a\left(t{n}^2\right)\right\}}_n$, where $t$ is a squarefree integer such that $a\left(t\right)\ne 0$. Let $q$ and $d$ be natural numbers such that $(d,q)=1$. In this work, we show that ${\left\{a\left(t{n}^2\right)\right\}}_n$ is equidistributed over any arithmetic progression $n\equiv dmodq$.

Let $f$ be a normalized primitive holomorphic cusp form of even integral weight for the full modular group $\Gamma =\mathrm{SL}(2,\mathbb{Z})$. Denote by ${\lambda }_f\left(n\right)$ the $n$th normalized Fourier coefficient of $f$. We are interested in the average behaviour of the sum $$\sum _{a^2+b^2\le x}{\lambda }_f^j(a^2+b^2)$$ for $x\ge 1$, where $a,b\in \mathbb{Z}$ and $j\ge 9$ is any fixed positive integer. In a similar manner, we also establish analogous results for the normalized coefficients of Dirichlet expansions of associated symmetric power $L$-functions and Rankin-Selberg $L$-functions.

Si dimostra che l'equazione considerata nel titolo ammette soluzioni periodiche rappresentabili da una serie di Fourier con un numero finito di termini solo se $g(x)$ è lineare.

For any $\alpha ,\beta >0$ with $\alpha +\beta <1$ we provide a simple construction of an $\alpha$-Hölde function $f:[0,1]\to ℝ$ and a $\beta$-Hölder function $g:[0,1]\to ℝ$ such that the integral ${\int }_0^{1}f\mathrm{d}g$ fails to exist even in the Kurzweil-Stieltjes sense.

We study the following nonlinear method of approximation by trigonometric polynomials. For a periodic function f we take as an approximant a trigonometric polynomial of the form $Gₘ\left(f\right):={\sum }_{k\in \Lambda }f̂\left(k\right)e^{i(k,x)}$, where $\Lambda \subset {\mathbb{Z}}^d$ is a set of cardinality m containing the indices of the m largest (in absolute value) Fourier coefficients f̂(k) of the function f. Note that Gₘ(f) gives the best m-term approximant in the L₂-norm, and therefore, for each f ∈ L₂, ||f-Gₘ(f)||₂ → 0 as m → ∞. It is known from previous results that in...

Abstract We develop an almost orthogonal wavelet-type expansion in ℝ² which is adapted to polar coordinates. We start by defining a product Fourier-Hankel transform f̂ and proving a sampling formula for f such that f̂ is compactly supported. For general f, the sampling formula and a partition of unity lead to an identity of the form $f={\sum }_{\mu ,k,m}⟨f,{\phi }_{\mu km}⟩{\psi }_{\mu km}$, in which each function ${\phi }_{\mu km}$ and ${\psi }_{\mu km}$ is concentrated near a certain annular sector, has compactly supported product Fourier-Hankel transform, and is smooth...

We study the statistical properties of the solutions of the Kadomstev-Petviashvili equations (KP-I and KP-II) on the torus when the initial datum is a random variable. We give ourselves a random variable $u_0$ with values in the Sobolev space $H^s$ with $s$ big enough such that its Fourier coefficients are independent from each other. We assume that the laws of these Fourier coefficients are invariant under multiplication by $e^{i\theta }$ for all $\theta \in ℝ$. We investigate about the persistence of the decorrelation...

Let $f$, $g$ and $h$ be three distinct primitive holomorphic cusp forms of even integral weights $k_1$, $k_2$ and $k_3$ for the full modular group $\Gamma =\mathrm{SL}(2,\mathbb{Z})$, respectively, and let ${\lambda }_f\left(n\right)$, ${\lambda }_g\left(n\right)$ and ${\lambda }_h\left(n\right)$ denote the $n$th normalized Fourier coefficients of $f$, $g$ and $h$, respectively. We consider the cancellations of sums related to arithmetic functions ${\lambda }_g\left(n\right)$, ${\lambda }_h\left(n\right)$ twisted by ${\lambda }_f\left(n\right)$ and establish the following results: $$\sum _{n\le x}{\lambda }_f\left(n\right){\lambda }_g{\left(n\right)}^i{\lambda }_h{\left(n\right)}^j{\ll }_{f,g,h,\epsilon }{x}^{1-1/2^{i+j}+\epsilon }$$ for any $\epsilon >0$, where $1\le i\le 2$, $j\ge 5$ are any fixed positive integers.

CONTENTSIntroduction............................................................................................................ 51. Preliminaries............................................................................................................. 82. Embedding into $W^{m,p}\left(\Omega \right)$ into $L^S\left(\Omega \right)$ (n>1).......................................... 103. The case n = 1.......................................................................................................... 284. Embedding $W^{m,p}\left(\Omega \right)$ into $L^{\phi }\left(\Omega \right)$...............................................................

We study a conditional Fourier-Feynman transform (CFFT) of functionals on an abstract Wiener space $(H,B,\nu )$. An infinite dimensional conditioning function is used to define the CFFT. To do this, we first present a short survey of the conditional Wiener integral concerning the topic of this paper. We then establish evaluation formulas for the conditional Wiener integral on the abstract Wiener space $B$. Using the evaluation formula, we next provide explicit formulas for CFFTs of functionals in...

For a smooth curve $\Gamma$ and a set $\Lambda$ in the plane ${ℝ}^2$, let $AC(\Gamma ;\Lambda )$ be the space of finite Borel measures in the plane supported on $\Gamma$, absolutely continuous with respect to the arc length and whose Fourier transform vanishes on $\Lambda$. Following [12], we say that $(\Gamma ,\Lambda )$ is a Heisenberg uniqueness pair if $AC(\Gamma ;\Lambda )=\left\{0\right\}$. In the context of a hyperbola $\Gamma$, the study of Heisenberg uniqueness pairs is the same as looking for uniqueness sets $\Lambda$ of a collection of solutions to the Klein-Gordon equation. In this work, we mainly...