## UNIQUENESS SETS FOR FOURIER SERIES

## ASHOT VAGHARSHAKYAN

Abstract. The paper discusses some uniqueness sets for Fourier series.

## 1. Introduction

In this paper the following problem is considered: to find conditions on a set E ∈ -[ π, π ] such that, if a function f ( x , ) -π &lt; x &lt; π, belongs to some space and its fourier series converges to zero at each point of the set E , then f ( x ) is identically zero.

The first nontrivial result, for trigonometric series, was proved by G. Cantor and W. Young, see [1], p. 191.

Theorem 1. Let c k → 0 and for each point x ∈ -[ π, π ] \ F we have

$$\lim _ { n \to \infty } \sum _ { k = - n } ^ { n } c _ { k } e ^ { i k x } = 0, \\ l e \ s e t \ \ T h e n \ c _ { n } = 0 \ \ k \in \mathcal { Z }$$

where F be a countable set. Then c k = 0 , k ∈ Z .

- D. Menshov, see [1], p. 806, construct a nonzero measure µ which has support of zero Lebesgue measure, and its Fourier coefficients tend to zero. The partial summs, of that Fourier series converges to zers out of supp µ ( ).

## 2. Auxliary definitions and results

More information, about the following quantities, related with Hausdorff's measures and capacities, one can find in [3], pp. 13 - 46. For convenient of the reader, we give some definitions.

Definition 2. Let 0 ≤ h x , ( ) 0 ≤ x ≤ 1 be a nonnegative, increasing function and h (0) = 0 . Let the subset E ⊂ { z ; | z | = 1 } be cover by the family of arcs { S k } ∞ k =1 , i.e.

$$E \subseteq \bigcup _ { \substack { k = 1 \\ 1 } } ^ { \infty } S _ { k }.$$

Then we put

$$M _ { h } ( E ) = \inf \left ( \sum _ { k = 1 } ^ { \infty } h ( | S _ { k } | ) \right ), \\ \text{length of the arc $S$ and the infinity} \,.$$

where | S | is the length of the arc S and the infimum is taken over all families of cover.

Definition 3. Let 0 &lt; α &lt; 1 and E be baunded Borel set. The C α ( E ) -capactiy of the set E is defined by formula

$$& \stackrel { \cdot } { C } _ { \alpha } ( E ) = \left ( \inf _ { \mu \prec E } \int _ { E } \int _ { E } \frac { d \mu ( x ) d \mu ( y ) } { | x - y | ^ { \alpha } } \right ) ^ { - 1 }, \\ \prec F \ m e a n s. \ t h a t \ u \ i s \ n r o b a l i t u \ m e a s u r e \ w i t h \ s u m o r t$$

where µ ≺ E means, that µ is probality measure with support in E .

For each 0 &lt; α &lt; 1 from Parseval's equality follows that there is a constant M such that,

$$\sum _ { k = - \infty } ^ { \infty } | \hat { f } _ { k } | ^ { 2 } | k | ^ { \alpha } & \leq M \, \int _ { - \pi } ^ { \pi } | f ( x ) | ^ { 2 } d x + M \, \int _ { - \pi } ^ { \pi } \int _ { \pi } ^ { \pi } \frac { | f ( x ) - f ( y ) | ^ { 2 } } { | x - y | ^ { 1 + \alpha } } d x d y. \\ \text{The following statement is a fragment of A. Zvggumd\'s theorem. see}$$

The following statement is a fragment of A. Zygmund's theorem, see [6], p.22. Let g ( -π ) = g π ( ) and g x , ( ) -π ≤ x ≤ π ] have a bounded variation. If

$$| g ( x ) - g ( y ) | \leq M \, \cdot h ( | x - y | ).$$

Then, there is a constant B such that the Fourier coefficients of the function g x ( ) satisfy the inequalities

$$\varphi ^ { \dots } \cdots \psi ^ { \dots } \cdots \psi ^ { \dots } \sum _ { 2 ^ { j } \leq | k | < 2 ^ { j + 1 } } | \hat { g } _ { k } | ^ { 2 } & \leq B \, 2 ^ { - j } h \left ( \frac { \pi } { 3 } 2 ^ { 1 - j } \right ). \\ \tau ^ { \dots } \cdots \psi ^ { \dots } \cdots \psi ^ { \dots } \cdots \psi ^ { \dots } \cdots \psi ^ { \dots } \cdots \psi ^ { \dots }.$$

Definition 4. Let us denote by Λ( n ) the known Mangold's function, equals

$$\Lambda \left ( p ^ { n } \right ) = \ln p,$$

where p is prime number and n is natural number. For other natural numbers m

$$\Lambda \left ( m \right ) = 0.$$

It is known, that for an arbitrary natural number n the equality

$$\ln n = \sum _ { d | n } \Lambda ( d ) \\ \cdot \alpha \text{from over all } \partial \text{$\partial$} \text{$\prime$},$$

holds, where the sum is taken over all positive divisors of n .

In the following theorem A. Broman, see [2], p. 851, gived the characterization of close exeptional sets.

Theorem 5. Let 0 &lt; α &lt; 1 and

Let F be close set and

$$\alpha \succ \iota \ u v o \\ \sum _ { n = - \infty } ^ { \infty } \frac { | c _ { n } | ^ { 2 } } { | n | ^ { \alpha } + 1 } < \infty.$$

$$& \underset { r \rightarrow 1 - 0 } { \ u v o } \\ & \lim _ { r \rightarrow 1 - 0 } \sum _ { k = - \infty } ^ { \infty } r ^ { | k | } c _ { k } e ^ { i k x } = 0, \\ - \pi. \ \pi | \, \bar { \ } F. \ T h e n \ c _ { \bullet } = 0. \ \ k \in Z.$$

for arbitrary x ∈ -[ π, π ] \ F . Then c k = 0 , k ∈ Z, if and only if C 1 -α ( F ) = 0 .

A. Zygmund, see [7], proved the following nontrivial result.

Theorem 6. Let /epsilon1 &gt; 0 and /epsilon1 n &gt; 0 , n = 1 2 , , . . . be an arbitrary decreasing sequence, tending to zero. Let | c n | ≤ /epsilon1 n , n = 1 2 , , . . . . There is a subset E ⊆ -[ π, π ] with measure, i. e. m E ( ) &gt; 2 π -/epsilon1 , such that, if for each point x ∈ -[ π, π ] \ E we have then c k = 0 , k ∈ Z, .

$$\begin{array} { c c c }. & \nu ^ { 2 } \\ & \lim _ { n \to \infty } \sum _ { k = - n } ^ { n } c _ { k } e ^ { i k x } = 0, \end{array}$$

The proof of the following theorem one can find in [5].

Theorem 7. Let 0 ≤ α &lt; 1 and

$$\dots \dots \dots \dots \dots \dots \\ \int _ { - \pi } ^ { \pi } | f ( x ) | d x + \int _ { - \pi } ^ { \pi } \int _ { - \pi } ^ { \pi } \frac { | f ( x ) - f ( y ) | } { | x - y | ^ { 1 + \alpha } } d x < \infty \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \ dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots
\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \cdots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta
\dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots
\int _ { 1 } ^ { \pi } } & \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \Dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \\ \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \\ 0 } & \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \delta \ dots \delta \delta \dots \delta \dots \delta \dots \delta \dots \delta \dots \delta \delta \dots \delta \delta \dots \delta \delta \dots \delta \delta \dots \delta \delta \dots \delta \delta \dots \delta \delta \dots \delta \delta \delta \dots \delta \delta \delta \dots \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \end{ \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \ delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta
 \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \dots \sigma \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \sigma \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \end{ \ delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta \delta$$

Let E ⊂ -[ π, π ] be a subset such that for almost all points x 0 ∈ -[ π, π ] we have where

$$\sum _ { n = 1 } ^ { \infty } & 2 ^ { n ( 1 - \alpha ) } C _ { 1 - \alpha } ( E _ { n } ( x _ { 0 } ) ) = \infty, \\ & \cdot \quad.$$

If

$$E _ { n } ( x _ { 0 } ) = \left \{ x \in E ; \ \frac { 1 } { 2 ^ { n + 1 } } \leq | x - y | < \frac { 1 } { 2 ^ { n } } \right \}.$$

$$\lim _ { n \to \infty } \sum _ { k = - n } ^ { n } \hat { f } _ { k } e ^ { i k x } = 0, \ x \in E \\ \colon & \in [ - \pi, \ \pi ].$$

then f ( x ) = 0 , x ∈ -[ π, π ] .

In this paper we prove a new result of this type for other classes of functions.

## 3. New uniqueness result

The following result, in different form, one can find in the paper, see [4].

Theorem 8. Let f ( -π ) = f ( π ) be differetable function. Then

/negationslash

$$& \frac { 1 } { \pi } \sum _ { p \in P } \ln p \left ( \sum _ { n = 1 } ^ { \infty } \left [ \frac { 1 } { p ^ { n } } \sum _ { k = 1 } ^ { p ^ { n } } f \left ( \frac { 2 \pi k } { p ^ { n } } \right ) - \hat { f } _ { 0 } \right ] \right ) = \sum _ { n \neq 0, n = - \infty } ^ { \infty } \hat { f } _ { n } \ln | n |. \\ & P r o o f. \text{ We have}$$

Proof. We have

$$P r o o f. \text{ We have} \\ \sum _ { n = 1 } ^ { \infty } \Lambda ( n ) \left ( \frac { 1 } { n } \sum _ { k = 1 } ^ { n } \frac { 1 - | z | ^ { 2 } } { \left | 1 - z \exp \{ - \frac { 2 \pi i k } { n } \} \right | ^ { 2 } } - 1 \right ) = \\ = \sum _ { n = 1 } ^ { \infty } \Lambda ( n ) \frac { 1 } { n } \sum _ { k = 1 } ^ { n } \left ( \sum _ { j = - \infty } ^ { \infty } r ^ { | j | } \exp \left \{ i x j - \frac { 2 \pi i k j } { n } \right \} - 1 \right ) = \\ = \sum _ { j = 1 } ^ { \infty } r ^ { j } \left ( \sum _ { j / n } \Lambda ( n ) \right ) \cos ( j x ) = \sum _ { j = 1 } ^ { \infty } r ^ { j } \cos ( j x ) \ln j. \\ \text{where $z = r e ^ { i x }, $ 0 \leq r < 1$.Multiplying by the function $f(x)$ and after} \\ \text{integrating we get} \\ \sim \int _ { k = k } ^ { \infty } \hat { \lambda } \hat { \lambda } \hat { \lambda }$$

where z = re ix , 0 ≤ r &lt; 1.Multiplying by the function f ( x ) and after integrating we get

$$\text{integrating we get} \\ \sum _ { n = 1 } ^ { \infty } \Lambda ( n ) \left ( \frac { 1 } { n } \sum _ { k = 1 } ^ { n } \frac { 1 } { 2 \pi } \int _ { - \pi } ^ { \pi } \frac { 1 - r ^ { 2 } } { \left | 1 - r \exp \{ i x - \frac { 2 \pi i k } { n } \} \right | ^ { 2 } } f ( x ) d x - \hat { f } _ { 0 } \right ) = \\ = \frac { 1 } { 2 } \sum _ { j \neq 0, j = - \infty } ^ { \infty } r ^ { | j | } \hat { f } _ { j } \ln | j |. \\ \text{Passing to the limit if } r \to 1 - 0 \text{ we get the required equality.} \quad \ \Box$$

/negationslash

Passing to the limit if r → -1 0 we get the required equality. /square

$$\sum _ { \begin{subarray} { c } 0, \, j = - \\ - \, 0 \ v \end{subarray} } ^ { \infty }$$

Remark. The getting result we can write in the form

/negationslash

This formula is a geralization of Poisson's well known formula:

$$& \frac { 1 } { \pi } \sum _ { p \in P } \ln p \left ( \sum _ { n = 1 } ^ { \infty } \left [ \frac { 1 } { p ^ { n } } \sum _ { k = 1 } ^ { p ^ { n } } \delta \left ( x - \frac { 2 \pi k } { p ^ { n } } \right ) - 1 \right ] \right ) = \sum _ { n \neq 0, \, n = - \infty } ^ { \infty } e ^ { i n x } \ln n. \\ & \text{This formula is a generalization of Poisson} ^ { s \, \text{well known formula} }.$$

$$\sum _ { n = - \infty } ^ { \infty } \delta ( x - 2 \pi n ) = \frac { 1 } { 2 \pi } \sum _ { n = - \infty } ^ { \infty } e ^ { i n x }, \, - \infty < x < \infty. \\ \text{hero rem} \, & 9. \, \text{ Let } 0 < \alpha < 1 \text{ and } a n o m n e a t i n e \, \text{ function } r < h ( r ) \text{ } 0$$

Theorem 9. Let 0 &lt; α &lt; 1 and a nonnegative function x ≤ h x , ( ) 0 ≤ x &lt; 1 satisfy the condition

$$\int _ { 0 } ^ { 1 } \frac { h ( x ) } { x ^ { 2 - \alpha } } \ln _ { 4 } ^ { 2 } \frac { e } { x } d x < \infty.$$

Let for the function f ( x ) we have

$$\ell _ { - \pi } ^ { \ell } | f ( x ) | ^ { 2 } d x + \int _ { - \pi } ^ { \pi } \int _ { \pi } ^ { \pi } \frac { | f ( x ) - f ( y ) | ^ { 2 } } { | x - y | ^ { 1 + \alpha } } d x d y < \infty. \\ \text{etc. there is a subset $E\subset[-\pi,\pi]$ such that} \colon$$

Let there is a subset E ⊂ -[ π, π ] such that:

$$1. \ M _ { h } ( E ) \underset { - \ \mu } { > } 0,$$

- 2. if x ∈ E then an arbitrary point

$$x + \frac { 2 \pi k } { p ^ { n } },$$

where k ∈ Z, n ∈ N and p is prime number, by mod (2 π ) , belongs to the set E .

If for eavery x ∈ E we have

$$\sum _ { \substack { r \to 1 - 0 \\ r = - \infty } } ^ { \infty } r ^ { | k | } \hat { f } _ { k } e ^ { i k x } = 0, \\ f ( x ) \ i s \ i d e n t i c a l y \ z e r o.$$

then the function f ( x ) is identicaly zero.

Proof. By O. Frostman's theorem, see [3], p. 14, there is a probability measure dµ such that supp dµ ( ) ⊆ E ,

$$M _ { h } ( s u p p ( \mu ) ) > 0.$$

and for each 0 &lt; δ the inequality

$$\overset { \bullet } { \int } _ { [ x, x + \delta ] } d \mu \leq A h ( \delta ) \\ \text{the noints } 0 \text{ and } 2 \pi \text{ the f}$$

hold. Let us assume at the points 0 and 2 π the function µ is continuous and µ (0) + 1 = µ (2 π ). Denote

Then we have

$$- \cdots _ { \prime } - \dots \cdots \\ f ( r e ^ { i x } ) = \sum _ { n = - \infty } ^ { \infty } r ^ { | n | } \hat { f } _ { n } e ^ { i n x }.$$

$$& \text{Then we have} \\ & \frac { 1 } { \pi } \sum _ { p \in P } \ln p \left ( \sum _ { n = 1 } ^ { \infty } \left [ \frac { 1 } { p ^ { n } } \sum _ { k = 1 } ^ { p ^ { n } } \int _ { E } f \left ( r \exp \left \{ \frac { 2 \pi i k } { p ^ { n } } + i x \right \} \right ) d \mu ( x ) - \hat { f } _ { 0 } \right ] \right ) = \\ & \quad = \sum _ { n = 2 } ^ { \infty } r ^ { n } \left [ \hat { f } _ { n } \int _ { E } e ^ { i n x } d \mu ( x ) + \hat { f } _ { - n } \int _ { E } e ^ { - i n x } d \mu ( x ) \right ] \ln n = \\ & \quad = 2 \pi i \sum _ { n = 2 } ^ { \infty } \left ( \hat { f } _ { n } \hat { g } _ { - n } - \hat { f } _ { - n } \hat { g } _ { - n } \right ) r ^ { n } n \ln n. \\ & \text{where} \\ & \quad g ( x ) = \mu ( x ) - \frac { x } { 2 \pi }.$$

$$g ( x ) = \mu _ { \substack { 5 } } ( x ) - \frac { x } { 2 \pi }.$$

Since the function f ( e ix ) vanish on the set E so, we have

$$\intertext { w o v e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a nd e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r a n d e r } \left | \frac { 1 } { \pi } \sum _ { p \in P } \hat { f } _ { 0 } \ln p \right | & \leq 2 2 \sum _ { n = 2 } ^ { \infty } ( | \hat { f } _ { - n } | | \hat { g } _ { n } | + | \hat { f } _ { n } | | \hat { g } _ { - n } | | ) n \ln n n. \\ \intertext { w o t u s n o t e } \in \quad \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ }$$

∣ Let us note

The inequality

$$\left | \frac { 1 } { \pi } \sum _ { p \in P } \hat { f } _ { 0 } \ln p \right | \leq 2 \sum _ { n = 2 } ^ { \infty } ( | \hat { f } _ { - n } | | \hat { g } _ { n } | + | \hat { f } _ { n } | | \hat { g } _ { - n } | ) n \ln n. \\ \text{Let us note} \sum _ { n = 2 } ^ { \infty } | \hat { f } _ { n } | | \hat { g } _ { - n } | n \ln n \leq \left ( \sum _ { n = 1 } ^ { \infty } | \hat { f } _ { n } | ^ { 2 } n ^ { \alpha } \right ) ^ { \frac { 1 } { 2 } } \left ( \sum _ { n = 1 } ^ { \infty } | \hat { g } _ { - n } | ^ { 2 } n ^ { 2 - \alpha } \ln ^ { 2 } n \right ) ^ { \frac { 1 } { 2 } } \leq \\ \leq \left ( \sum _ { n = 1 } ^ { \infty } | \hat { f } _ { n } | ^ { 2 } n ^ { \alpha } \right ) ^ { \frac { 1 } { 2 } } \left ( \sum _ { j = 1 } ^ { \infty } j ^ { 2 } 2 ^ { ( 2 - \alpha ) j } \sum _ { n = 2 ^ { j } } ^ { 2 j + 1 - 1 } | \hat { g } _ { - n } | ^ { 2 } \right ) ^ { \frac { 1 } { 2 } } \leq \\ \leq M \left ( \sum _ { j = 1 } ^ { \infty } j ^ { 2 } 2 ^ { ( 1 - \alpha ) j } h ( 2 ^ { - j } ) \right ) ^ { \frac { 1 } { 2 } } < \infty. \\ \text{The inequality} \quad \left | \frac { 1 } { - } \sum _ { j } \hat { f } _ { 0 } \ln p \right | < \infty$$

valid only if

$$\left | \frac { 1 } { \pi } \sum _ { p \in P } \hat { f } _ { 0 } \ln p \right | < \infty \\ \hat { f } _ { 0 } = 0. \\. \quad \underset { i n v } { i n v } \, e ^ { \prime } \, \cdots \, \cdots \, \cdots \, - \, \varepsilon$$

$$\hat { f } _ { 0 } = 0.$$

Considering the functions e inx f ( x , ) n ∈ Z we prove that ˆ ( f n ) = 0 , n ∈ Z. /square

## References

- [1] A. Bary, Trigonometric series, Moscow, 1961.
- [2] A. Broman, On two classes of trigonometrical series, Thesis, University of Upsala, Upsala, 1947.
- [3] L. Carleson, Selected Problems on Exceptional Sets, Princeton University Press, New Jersey, 1967.
- [4] A. Vagharshakyan, On a representation theorem for harmonic fonctions, Izvestiya National Akademii nauk Armenii, vol.28, no.4, 1993.
- [5] A. Vagharshakyan, On the uniqueness problem for Fourier series, Real Analysis Exchanges vol. 29(2), 2003/2004.
- [6] J.-P.Kahan, Series de Fourier absolutement convergentes, Springer -Verlag Berlin Heidelberg New York, 1970.
- [7] A. Zygmund, Contribution a l'unisite du developpement trigonometrique, MZ, 24 (1926).

Institute of Mathematics NAS of Armenia, Bagramian 24-b,

375019 Yerevan, Armenia
Ashot Vagharshakyan
Uniqueness sets for Fourier series
The paper discusses some uniqueness sets for Fourier series.