Conjugate function and the modulus of continuity of \(k\)-th order (Q2434161)

The estimates of the partial moduli of continuity of \(k\)-th order of the conjugate functions of several variables are obtained in the space \(\mathbb{C}(T^n)\) of all continuous functions \(f \colon \mathbb{R}^n\longrightarrow \mathbb{R}\) that are \(2\pi\)-perodic in each variable. Let \(B\) be an arbitrary nonempty subset of the set \(M=\{1,\dots , n\}\). Denote by \(|B|\) the cardinality of \(B\). Let \(x_{B}\) be such a point in \(\mathbb{R}^n\) whose coordinates with indices in \(M \setminus B\) are zero. We call \[ \tilde{f}_{B}(x)=\biggl(-\frac{1}{2\pi} \biggr)^{|B|}\int_{T^{|B|}}f(x+s_{B})\prod_{i \in B}\cot \frac{s_{i}}{2} ds_{B} \] the conjugate function of \(n\) variables with respect to those variables whose indices form the set \(B\). We define the partial modulus of continuity of \(k\)-th order of the function \(f \in \mathbb{C}(T^n)\) with respect to the variable \(x_{i}\) by \[ \omega_{k,i}(f; \delta)=\sup_{|h| \leq \delta} \left|\left|\triangle_{i}^k(h)f \right|\right| \] where \[ \triangle_{i}^k(h)f(x)=\sum_{j=0}^k(-1)^{k-j}\binom{k}{j} f(x_{1}, \cdots, x_{i-1}, x_{i}+jh, x_{i+1}, \cdots, x_{n}). \] A function \(\varphi\) is almost decreasing in [\(a, b\)] if there exists a positive constant \(A\) such that \(\varphi(t_{1}) \geq A\varphi(t_{2})\) for \(a \leq t_{1} \leq t_{2} \leq b\). A function \(\omega_{k}:[0,\pi] \longrightarrow \mathbb{R}\) which satisfies the conditions (1) \(\omega_{k}(0)=0\) (2) \(\omega_{k}\) is nondecreasing (3) \(\omega_{k}\) is continuous (4) \(\frac{\omega_{k}(t)}{t^k}\) is almost decreasing in \([0,\pi\)] is called the modulus of continuity of \(k\)-th order. We denote by \(H_{i}(\omega_{k}; \mathbb{C}(T^n))\) the set of all functions \(f \in \mathbb{C}(T^n)\) such that \[ \omega_{k,i}(f; \delta)=O(\omega_{k} (\delta)),\;\delta \rightarrow 0+, \quad i=1,\dots, n. \] We set \[ H(\omega_{k}; \mathbb{C}(T^n))=\bigcap_{i=1}^nH_{i} (\omega_{k}; \mathbb{C}(T^n)) \] Theorem. (a) Let \(f \in H(\omega_{k}; \mathbb{C}(T^n))\) and for each \(B \subseteq M\) \[ \int_{[0,\frac{\pi}{2}]^{|B|}} \min_{i\in B}\omega_{k}(s_{i})\prod_{i\in B}\frac{ds_{i}}{s_{i}} < \infty. \] Then (1) \[ \omega_{k,j}(\tilde{f}_{B}; \delta) =O\biggl(\int_{[0,\pi]^{|B|}}\min (\delta^k, s_{j}^k)s_{j}^{-k}\min_{i \in B}\omega_{k}(s_{i})\prod_{i \in B}s_{i}^{-1}ds_{i}\biggr), \] \[ j \in B,\quad\delta \rightarrow 0+ \] and (2) \[ \omega_{k,j}(\tilde{f}_{B}; \delta)=O\biggl(\int_{[0,\pi]^{|B|}}\min \{\min_{i \in B}\omega_{k}(s_{i}), \omega_{k}(\delta)\}\prod_{i \in B}s_{i}^{-1}ds_{i}\biggr), \] \[ j \in M \setminus B,\quad \delta \rightarrow 0+. \] (b) For each \(B \subseteq M\), there exist functions \(F,\;G \in H(\omega_{k}; \mathbb{C}(T^n))\) such that (3) \[ \omega_{k,j}(\tilde{F}_{B}; \delta) \geq C\biggl(\int_{[0,\pi]^{|B|}} \min (\delta^k, s_{j}^k)s_{j}^{-k}\min_{i \in B}\omega_{k}(s_{i}) \prod_{i \in B}s_{i}^{-1}ds_{i}\biggr), \] \[ j \in B,\;\;0 \leq \delta \leq \delta_{0} \] and (4) \[ \omega_{k,j}(\tilde{G}_{B}; \delta) \geq C\biggl(\int_{[0,\pi]^{|B|}} \min \{\min_{i \in B}\omega_{k} (s_{i}), \omega_{k}(\delta)\}\prod_{i \in B}s_{i}^{-1}ds_{i}\biggr), \] \[ j \in M \setminus B,\quad 0 \leq \delta \leq \delta_{0} \] where \(C\) and \(\delta_{0}\) are positive constants.