On the problem of uniqueness of the trigonometric moment constants (Q858076): Difference between revisions

Given a real-valued function \(\mu(x,y)\) of bounded variation in the sense of Hardy and Krause on the square \([0,2\pi]\times [0,2\pi]\), the sequence \[ \mu_{m,n} := \int_{0}^{\pi} \int_{0}^{\pi} e^{i (mx+ny)} d_x d_y \mu(x,y), \quad (m,n)\in \mathbb Z^2, \] may be called the sequence of trigonometric moment constants with respect to \(\mu(x,y)\). The authors discuss the uniqueness of the expression of the sequence \(\{\mu_{m,n}\}\) in terms of the function \(\mu(x,y)\). The main result of the paper is: Theorem 2. Assume that \(\mu(x,y) \in BV[0,2\pi]\times [0,2\pi]\) with normal discontinuities and that the condition \(\mu(x,0)=\mu(0,y)=0\), \( x,y\in [0,2\pi]\), is satisfied. Then \(\mu_{m,n} =0\), \((m,n)\in \mathbb Z^2\), if and only if the following three conditions are satisfied: \[ \begin{aligned} \mu(2\pi, 2\pi)&=0,\\ \mu(x,2\pi)=c_1\text{ and }\mu(2\pi,y)&=c_2,\qquad x,y\in (0,2\pi), \end{aligned} \] \[ \mu(x,y)=\alpha(x)+\beta(y), \qquad (x,y)\in (0,2\pi)\times (0,2\pi), \] where \(c_1\) and \(c_2\) are constants, while \(\alpha\) and \(\beta\) are in the class \(BV[0,2\pi]\) with normal discontinuities.