Sidon sets and $I^0$-sets

David Grow

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

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.

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...

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...

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].

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}$ .

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.

Topological dynamics of unordered Ramsey structures

Moritz Müller, András Pongrácz (2015)

Fundamenta Mathematicae

Similarity:

We investigate the connections between Ramsey properties of Fraïssé classes and the universal minimal flow $M (G_{)}$ of the automorphism group $G$ of their Fraïssé limits. As an extension of a result of Kechris, Pestov and Todorcevic (2005) we show that if the class has finite Ramsey degree for embeddings, then this degree equals the size of $M (G_{)}$ . We give a partial answer to a question of Angel, Kechris and Lyons (2014) showing that if is a relational Ramsey class and $G$ is amenable, then $M (G_{)}$ admits...

Nearstandardness on a finite set

Lyantse V.

Similarity:

AbstractLet T be a finite set for which card T is a natural nonstandard number. The linear space $ℂ^{T}$ of complex-valued functions on T is nonstandard. For the analysis on $ℂ^{T}$ we need a concept of nearstandardness in this space. A version how to introduce such a concept is proposed. Some elementary examples are given. CONTENTSIntroduction.................................................................................................................50. Preliminary notes....................................................................................................7 0.1....

Lacunary series in $Q_{K}$ spaces

Hasi Wulan, Kehe Zhu (2007)

Studia Mathematica

Similarity:

Under mild conditions on the weight function K we characterize lacunary series in the so-called $_{K}$ spaces.

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

$F_{σ}$ -mappings and the invariance of absolute Borel classes

Petr Holický, Jiří Spurný (2004)

Fundamenta Mathematicae

Similarity:

It is proved that $F_{σ}$ -mappings preserve absolute Borel classes, which improves results of R. W. Hansell, J. E. Jayne and C. A. Rogers. The proof is based on the fact that any $F_{σ}$ -mapping f: X → Y of an absolute Suslin metric space X onto an absolute Suslin metric space Y becomes a piecewise perfect mapping when restricted to a suitable $F_{σ}$ -set $X_{\infty} \subset X$ satisfying $f (X_{\infty}) = Y$ .

Approximation properties of β-expansions

Simon Baker (2015)

Acta Arithmetica

Similarity:

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${(ϵ_{i})}_{i = 1}^{\infty} \in {0, 1}^{ℕ}$ a β-expansion for x if $x = \sum_{i = 1}^{\infty} ϵ_{i} β^{- i}$ . We call a finite sequence ${(ϵ_{i})}_{i = 1}^{n} \in {0, 1}^{n}$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $Ψ : ℕ \to ℝ_{\geq 0}$ , we introduce the following subset of ℝ: $W_{β} (Ψ) : = ⋂_{m = 1}^{\infty} ⋃_{n = m}^{\infty} ⋃_{{(ϵ_{i})}_{i = 1}^{n} \in {0, 1}^{n}} [\sum_{i = 1}^{n} (ϵ_{i}) / (β^{i}), \sum_{i = 1}^{n} (ϵ_{i}) / (β^{i}) + Ψ (n)]$ In other words, $W_{β} (Ψ)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0 \leq x - \sum_{i = 1}^{n} (ϵ_{i}) / (β^{i}) \leq Ψ (n)$ . When $\sum_{n = 1}^{\infty} 2^{n} Ψ (n) < \infty$ , the Borel-Cantelli lemma tells us that the Lebesgue measure...

Marcinkiewicz multipliers of higher variation and summability of operator-valued Fourier series

Earl Berkson (2014)

Studia Mathematica

Similarity:

Let $f \in V_{r} () \cup_{r} ()$ , where, for 1 ≤ r < ∞, $V_{r} ()$ (resp., $_{r} ()$ ) denotes the class of functions (resp., bounded functions) g: → ℂ such that g has bounded r-variation (resp., uniformly bounded r-variations) on (resp., on the dyadic arcs of ). In the author’s recent article [New York J. Math. 17 (2011)] it was shown that if is a super-reflexive space, and E(·): ℝ → () is the spectral decomposition of a trigonometrically well-bounded operator U ∈ (), then over a suitable non-void open interval of r-values,...

On Peano derivatives in $L^{p} (E_{n})$

S. Lasher (1968)

Studia Mathematica

Similarity:

On starshapedness of the union of closed sets in $R^{n}$

Krzysztof Kołodziejczyk (1987)

Colloquium Mathematicae

Similarity:

Multifractal analysis of the divergence of Fourier series

Frédéric Bayart, Yanick Heurteaux (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

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

The Hausdorff operators on the real Hardy spaces $H^{p} (ℝ)$

Yuichi Kanjin (2001)

Studia Mathematica

Similarity:

We prove that the Hausdorff operator generated by a function ϕ is bounded on the real Hardy space $H^{p} (ℝ)$ , 0 < p ≤ 1, if the Fourier transform ϕ̂ of ϕ satisfies certain smoothness conditions. As a special case, we obtain the boundedness of the Cesàro operator of order α on $H^{p} (ℝ)$ , 2/(2α+1) < p ≤ 1. Our proof is based on the atomic decomposition and molecular characterization of $H^{p} (ℝ)$ .

Invariant subspaces for operators in a general II1-factor

Uffe Haagerup, Hanne Schultz (2009)

Publications Mathématiques de l'IHÉS

Similarity:

Let ℳ be a von Neumann factor of type II1 with a normalized trace τ. In 1983 L. G. Brown showed that to every operator T∈ℳ one can in a natural way associate a spectral distribution measure μ T (now called the Brown measure of T), which is a probability measure in ℂ with support in the spectrum σ(T) of T. In this paper it is shown that for every T∈ℳ and every Borel set B in ℂ, there is a unique closed T-invariant subspace $𝒦 = 𝒦_{T} (B)$ affiliated with ℳ, such that the Brown measure of ${T |}_{𝒦}$ is concentrated...

A variation norm Carleson theorem

Richard Oberlin, Andreas Seeger, Terence Tao, Christoph Thiele, James Wright (2012)

Journal of the European Mathematical Society

Similarity:

We strengthen the Carleson-Hunt theorem by proving $L^{p}$ estimates for the $r$ -variation of the partial sum operators for Fourier series and integrals, for $r > 𝚖𝚊𝚡 {p^{'}, 2}$ . Four appendices are concerned with transference, a variation norm Menshov-Paley-Zygmund theorem, and applications to nonlinear Fourier transforms and ergodic theory.

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

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