Sidon sets and $I^0$-sets

David Grow

Displaying similar documents to “Sidon sets and $I^{0}$ -sets”

The Fourier transform in Lebesgue spaces

Erik Talvila (2025)

Czechoslovak Mathematical Journal

Similarity:

For each $f \in L^{p} (ℝ)$ ( $1 \leq p < \infty$ ) it is shown that the Fourier transform is the distributional derivative of a Hölder continuous function. For each $p$ , a norm is defined so that the space of Fourier transforms is isometrically isomorphic to $L^{p} (ℝ)$ . There is an exchange theorem and inversion in norm.

On the order of magnitude of Walsh-Fourier transform

Bhikha Lila Ghodadra, Vanda Fülöp (2020)

Mathematica Bohemica

Similarity:

For a Lebesgue integrable complex-valued function $f$ defined on $ℝ^{+} : = [0, \infty)$ let $\hat{f}$ be its Walsh-Fourier transform. The Riemann-Lebesgue lemma says that $\hat{f} (y) \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} (ℝ^{+})$ there is a definite rate at which the Walsh-Fourier transform tends...

Restriction theorems for the Fourier transform to homogeneous polynomial surfaces in ℝ³

E. Ferreyra, T. Godoy, M. Urciuolo (2004)

Studia Mathematica

Similarity:

Let φ:ℝ² → ℝ be a homogeneous polynomial function of degree m ≥ 2, let Σ = (x,φ(x)): |x| ≤ 1 and let σ be the Borel measure on Σ defined by $σ (A) = \int_{B} χ_{A} (x, φ (x)) d x$ where B is the unit open ball in ℝ² and dx denotes the Lebesgue measure on ℝ². We show that the composition of the Fourier transform in ℝ³ followed by restriction to Σ defines a bounded operator from $L^{p} (ℝ ³)$ to $L^{q} (Σ, d σ)$ for certain p,q. For m ≥ 6 the results are sharp except for some border points.

Borel classes of uniformizations of sets with large sections

Petr Holický (2010)

Fundamenta Mathematicae

Similarity:

We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to $Σ ⁰_{α}$ , α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $Π ⁰_{α}$ uniformization which is the graph of a $Σ ⁰_{α}$ -measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with $G_{δ}$ sections. ...

Un ensemble remarquable du point de vue de l’analyse de Fourier sur $Q_{p}$

J. P. Schreiber (1971)

Colloquium Mathematicae

Similarity:

Boundedness of Fourier integral operators on Fourier Lebesgue spaces and affine fibrations

Fabio Nicola (2010)

Studia Mathematica

Similarity:

We study Fourier integral operators of Hörmander’s type acting on the spaces $ℱ L^{p} {(ℝ^{d})}_{c o m p}$ , 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} {(ℝ^{d})}_{c o m p}$ if the mapping $x \mapsto \nabla_{x} Φ (x, η)$ is constant on the fibres, of codimension r,...

Solution of a functional equation on compact groups using Fourier analysis

Abdellatif Chahbi, Brahim Fadli, Samir Kabbaj (2015)

Annales Universitatis Mariae Curie-Sklodowska, sectio A – Mathematica

Similarity:

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

Relations between Shy Sets and Sets of $ν_{p}$ -Measure Zero in Solovay’s Model

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a non-zero non-atomic translation-invariant Borel measure $ν_{p}$ on the Banach space $ℓ_{p} (1 \leq p \leq \infty)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition " $ν_{p}$ -almost every element of $ℓ_{p}$ has a property P" implies that “almost every” element of $ℓ_{p}$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Generalized absolute convergence of single and double Vilenkin-Fourier series and related results

Nayna Govindbhai Kalsariya, Bhikha Lila Ghodadra (2024)

Mathematica Bohemica

Similarity:

We consider the Vilenkin orthonormal system on a Vilenkin group $G$ and the Vilenkin-Fourier coefficients $\hat{f} (n)$ , $n \in ℕ$ , of functions $f \in L^{p} (G)$ for some $1 < p \leq 2$ . We obtain certain sufficient conditions for the finiteness of the series $\sum_{n = 1}^{\infty} a_{n} {| \hat{f} (n) |}^{r}$ , where ${a_{n}}$ 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...

Analytical theory of nonlinear oscillations $X$ : some classes of equations $\ddot{x}+g(x)=0$ with no finite Fourier series solution

Chike Obi (1979)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

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.

Best constants for some operators associated with the Fourier and Hilbert transforms

B. Hollenbeck, N. J. Kalton, I. E. Verbitsky (2003)

Studia Mathematica

Similarity:

We determine the norm in $L^{p} (ℝ ₊)$ , 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...

A transplantation theorem for ultraspherical polynomials at critical index

J. J. Guadalupe, V. I. Kolyada (2001)

Studia Mathematica

Similarity:

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 $ℒ_{λ}$ corresponding to the left endpoint of the mean convergence interval. The ultraspherical coefficients $c ₙ^{(λ)} (f)$ of $ℒ_{λ}$ -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 ℒ_{λ}$ the series $\sum_{n = 1}^{\infty} c ₙ^{(λ)} (f) c o s n θ$ is the Fourier series of some function φ ∈ ReH¹ with ${| | φ | |}_{R e H ¹} {\leq c | | f | |}_{ℒ_{λ}}$ . ...

A further note on a class of $I_{0}$ -sets

David Grow (1987)

Colloquium Mathematicae

Similarity:

On $L^{p}$ integrability and convergence of trigonometric series

Dansheng Yu, Ping Zhou, Songping Zhou (2007)

Studia Mathematica

Similarity:

We first give a necessary and sufficient condition for $x^{- γ} ϕ (x) \in L^{p}$ , 1 < p < ∞, 1/p - 1 < γ < 1/p, where ϕ(x) is the sum of either $\sum_{k = 1}^{\infty} a_{k} c o s k x$ or $\sum_{k = 1}^{\infty} b_{k} s i n k x$ , 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)...

Hardy's theorem for the helgason Fourier transform on noncompact rank one symmetric spaces

S. Thangavelu (2002)

Colloquium Mathematicae

Similarity:

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_{δ, j} : δ \in K ̂ ₀, 1 \leq j \leq d_{δ}$ 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_{δ} (i λ + ϱ)$ be the Kostant polynomials. We establish the following...

Conditional Fourier-Feynman transform given infinite dimensional conditioning function on abstract Wiener space

Jae Gil Choi, Sang Kil Shim (2023)

Czechoslovak Mathematical Journal

Similarity:

We study a conditional Fourier-Feynman transform (CFFT) of functionals on an abstract Wiener space $(H, B, ν)$ . 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...

Failure of the Factor Theorem for Borel pre-Hilbert spaces

Tadeusz Dobrowolski, Witold Marciszewski (2002)

Fundamenta Mathematicae

Similarity:

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{σ δ σ}$ -subset of X and contains a retract R so that $R \times E^{ω}$ is not homeomorphic to $E^{ω}$ . This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

The harmonic Cesáro and Copson operators on the spaces $L^{p} (ℝ)$ , 1 ≤ p ≤ 2

Ferenc Móricz (2002)

Studia Mathematica

Similarity:

The harmonic Cesàro operator is defined for a function f in $L^{p} (ℝ)$ for some 1 ≤ p < ∞ by setting $(f) (x) : = \int_{x}^{\infty} (f (u) / u) d u$ for x > 0 and $(f) (x) : = - \int_{- \infty}^{x} (f (u) / u) d u$ for x < 0; the harmonic Copson operator ℂ* is defined for a function f in $L ¹_{l o c} (ℝ)$ by setting $* (f) (x) : = (1 / x) \int^{x ₀} f (u) d u$ 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} (ℝ)$ for some 1 ≤ p ≤ 2, then ${((f))}^{\land} (t) = * (f ̂) (t)$ a.e., where f̂ denotes the Fourier transform of f. (ii) If $f \in L^{p} (ℝ)$ for some 1 < p ≤ 2, then...

Effective decomposition of σ-continuous Borel functions

Gabriel Debs (2014)

Fundamenta Mathematicae

Similarity:

We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering ${(A ₙ)}_{n \in ω}$ of X such that $f_{| A ₙ}$ is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.

On the vector-valued Fourier transform and compatibility of operators

In Sook Park (2005)

Studia Mathematica

Similarity:

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} () \otimes X \to L_{p^{'}} (^{'}) \otimes Y$ admits a continuous extension $[F^{}, T] : [L_{p} (), X] \to [L_{p^{'}} (^{'}), Y]$ . Let $ℱ T_{p}^{}$ denote the collection of such T’s. We show that $ℱ T_{p}^{ℝ \times} = ℱ T_{p}^{ℤ \times} = ℱ T_{p}^{ℤ ⁿ \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...

Pointwise Fourier inversion of distributions on spheres

Francisco Javier González Vieli (2017)

Czechoslovak Mathematical Journal

Similarity:

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

On an Invariant Borel Measure in Hilbert Space

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a nonzero σ-finite Borel measure μ with everywhere dense linear manifold $_{μ}$ of admissible (in the sense of invariance) translation vectors is constructed in the Hilbert space ℓ₂ such that μ and any shift $μ^{(a)}$ of μ by a vector $a \in ℓ ₂ ∖_{μ}$ are neither equivalent nor orthogonal. This extends a result established in [7].

A note on average behaviour of the Fourier coefficients of $j$ th symmetric power $L$ -function over certain sparse sequence of positive integers

Youjun Wang (2024)

Czechoslovak Mathematical Journal

Similarity:

Let $j \geq 2$ be a given integer. Let $H_{k}^{*}$ be the set of all normalized primitive holomorphic cusp forms of even integral weight $k \geq 2$ for the full modulo group $SL (2, ℤ)$ . For $f \in H_{k}^{*}$ , denote by $λ_{{sym}^{j} f} (n)$ the $n$ th normalized Fourier coefficient of $j$ th symmetric power $L$ -function ( $L (s, {sym}^{j} f)$ ) attached to $f$ . We are interested in the average behaviour of the sum $\sum_{\binom{n = a_{1}^{2} + a_{2}^{2} + a_{3}^{2} + a_{4}^{2} + a_{5}^{2} + a_{6}^{2} \leq x}{(a_{1}, a_{2}, a_{3}, a_{4}, a_{5}, a_{6}) \in ℤ^{6}}} λ_{{sym}^{j} f}^{2} (n),$ where $x$ is sufficiently large, which improves the recent work of A. Sharma and A. Sankaranarayanan (2023).

On strong measure zero subsets of $^{κ} 2$

Aapo Halko, Saharon Shelah (2001)

Fundamenta Mathematicae

Similarity:

We study the generalized Cantor space $^{κ} 2$ and the generalized Baire space $^{κ} κ$ as analogues of the classical Cantor and Baire spaces. We equip $^{κ} κ$ with the topology where a basic neighborhood of a point η is the set ν: (∀j < i)(ν(j) = η(j)), where i < κ. We define the concept of a strong measure zero set of $^{κ} 2$ . We prove for successor $κ = κ^{< κ}$ that the ideal of strong measure zero sets of $^{κ} 2$ is $_{κ}$ -additive, where $_{κ}$ is the size of the smallest unbounded family in $^{κ} κ$ , and that the generalized Borel...

On the complexity of subspaces of $S_{ω}$

Carlos Uzcátegui (2003)

Fundamenta Mathematicae

Similarity:

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^{X}$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{ω}$ is $F_{σ δ}$ . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{ω}$ . We show that $S_{ω}$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

Rearrangement of coefficients of Fourier series on $S U_{2}$

Giancarlo Travaglini (1987)

Colloquium Mathematicae

Similarity:

Convergence of greedy approximation II. The trigonometric system

S. V. Konyagin, V. N. Temlyakov (2003)

Studia Mathematica

Similarity:

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 ₘ (f) : = \sum_{k \in Λ} f ̂ (k) e^{i (k, x)}$ , where $Λ \subset ℤ^{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...

$L^{p} - L^{q}$ estimates for some convolution operators with singular measures on the Heisenberg group

T. Godoy, P. Rocha (2013)

Colloquium Mathematicae

Similarity:

We consider the Heisenberg group ℍⁿ = ℂⁿ × ℝ. Let ν be the Borel measure on ℍⁿ defined by $ν (E) = \int_{ℂ ⁿ} χ_{E} (w, φ (w)) η (w) d w$ , where $φ (w) = \sum_{j = 1}^{n} a_{j} | w_{j} | ²$ , w = (w₁,...,wₙ) ∈ ℂⁿ, $a_{j} \in ℝ$ , and η(w) = η₀(|w|²) with $η ₀ \in C_{c}^{\infty} (ℝ)$ . We characterize the set of pairs (p,q) such that the convolution operator with ν is $L^{p} (ℍ ⁿ) - L^{q} (ℍ ⁿ)$ bounded. We also obtain $L^{p}$ -improving properties of measures supported on the graph of the function $φ (w) = {| w |}^{2 m}$ .

Remarks on WDC sets

Dušan Pokorný, Luděk Zajíček (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A \subset ℝ^{2}$ . We prove that, for such $A$ , the distance function $d_{A} = dist (\cdot, A)$ is a “DC aura” for $A$ , which implies that each closed locally WDC set in $ℝ^{2}$ is a WDC set. Another consequence is that compact WDC subsets of $ℝ^{2}$ form a Borel subset of the space of all compact sets.

Limiting behaviour of intrinsic seminorms in fractional order Sobolev spaces

Rémi Arcangéli, Juan José Torrens (2013)

Studia Mathematica

Similarity:

We collect and extend results on the limit of $σ^{1 - k} {(1 - σ)}^{k} {| v |}_{l + σ, p, Ω}^{p}$ as σ → 0⁺ or σ → 1¯, where Ω is ℝⁿ or a smooth bounded domain, k ∈ 0,1, l ∈ ℕ, p ∈ [1,∞), and ${| \cdot |}_{l + σ, p, Ω}$ is the intrinsic seminorm of order l+σ in the Sobolev space $W^{l + σ, p} (Ω)$ . In general, the above limit is equal to $c {[v]}^{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.

Necessary and sufficient conditions for the $L^{1}$ -convergence of double Fourier series

Péter Kórus (2018)

Czechoslovak Mathematical Journal

Similarity:

We extend the results of paper of F. Móricz (2010), where necessary conditions were given for the $L^{1}$ -convergence of double Fourier series. We also give necessary and sufficient conditions for the $L^{1}$ -convergence under appropriate assumptions.

Displaying similar documents to “Sidon sets and I 0 -sets”

Displaying similar documents to “Sidon sets and $I^{0}$ -sets”