On L 1-convergence of Fourier series of complex valued functions under the GM7 condition

Let f??L _2?? be a real-valued even function with its Fourier series $\frac {a_{0}}{2}+\sum\limits_{n=1}^{\infty}{a_{n}}\cos nx$ , and let S _n (f,x) be the nth partial sum of the Fourier series, n?R1. The classical result says that if the nonnegative sequence {a _n } is decreasing and $\lim\limits_{n\to\infty} a_{n} =0$ , then $\lim\limits_{n\to\infty} \|{f-S_{n}(f)}\|_{L}=0$ if and only if $\lim\limits_{n\to\infty} a_{n}\log n=0$ . Later, the monotonicity condition set on {a _n } is essentially generalized to MVBV (Mean Value Bounded Variation) condition. Very recently, Kórus further generalized the condition in the classical result to the so-called GM₇ condition in real space. In this paper, we give a complete generalization to the complex space.     

Formal solutions of the generalized Dhombres functional equation with value one at zero

We study formal solutions f of the generalized Dhombres functional equation ${f(zf(z)) = \varphi(f(z))}$ . Unlike in the situation where f(0) =?w ₀ and ${w_0 \in \mathbb{C}{\setminus} \mathbb{E}}$ where ${\mathbb{E}}$ denotes the complex roots of 1, which were already discussed, we investigate solutions f where f(0)?=?1. To obtain solutions in this case we use new methods which differ from the already existing ones.     

The best polynomial approximations of entire transcendental functions with generalized growth order in Banach spaces \mathcal{E}_p^{\prime}(G) and {\mathcal{E}_p}(G) , p ? 1

A theorem of the Hadamard type for entire transcendental functions f, which have a generalized ??-order of growth ?? _?? (f), has been obtained. This theorem connects the values $ \widetilde{M}\left( {f,r} \right)\;\left( {r > 1} \right) $ and the coefficients a _n (f) $ \left( {n \in {\mathbb{Z}_{+} }} \right) $ of the expansion of f in Faber series in a finite domain D whose boundary ?? belongs to the Al??per class. This result is the extension of a result obtained by M. N. Sheremeta onto a simply connected domain. The necessary and sufficient conditions for an analytic function $ f \in \mathcal{E}_p^{\prime}(G) $ or $ f \in {\mathcal{E}_p}(G)\;\left( {1 \leqslant p \leqslant \infty } \right) $ to be entire transcendental with a generalized ??-order of growth ?? _?? (f) are obtained. These conditions include the best polynomial approximations of the function f and determine the rate of their convergence to zero, as the degree of polynomials increases.     

Generalized Splines for Radon Transform on Compact Lie Groups with Applications to Crystallography

The Radon transform $\mathcal{R}f$ of functions f on SO(3) has recently been applied extensively in texture analysis, i.e. the analysis of preferred crystallographic orientation. In practice one has to determine the orientation probability density function f∈L ₂(SO(3)) from $\mathcal{R}f\in L_{2}(S^{2}\times S^{2})$ which is known only on a discrete set of points. Since one has only partial information about $\mathcal{R}f$ the inversion of the Radon transform becomes an ill-posed inverse problem. Motivated by this problem we define a new notion of the Radon transform $\mathcal{R}f$ of functions f on general compact Lie groups and introduce two approximate inversion algorithms which utilize our previously developed generalized variational splines on manifolds. Our new algorithms fit very well to the application of Radon transform on SO(3) to texture analysis.     

Evaluation of the limits of maximal means

It is proved that the limit $$\mathop {\lim }\limits_{\Delta \to \infty } \mathop {\sup }\limits_\gamma \tfrac{1}{\Delta }\int_0^\Delta {f(\gamma (t))dt} $$ , wheref: ? → ? is a locally integrable (in the sense of Lebesgue) function with zero mean and the supremum is taken over all solutions of the generalized differential equation γ ∈ [ω1, ω2], coincides with the limit $$\mathop {\lim }\limits_{T \to \infty } \mathop {\sup }\limits_{c \geqslant 0} \varphi _f (k,{\mathbf{ }}T,{\mathbf{ }}c)$$ , where $$\varphi _f = \frac{{(k - 1)\bar I_f (T,c)}}{{1 + (k - 1)\bar \lambda _f (T,c)}},k = \frac{{\omega _2 }}{{\omega _1 }}$$ . Here ¯λf = λf /T, ¯ I_f =If/T, and λf is the Lebesgue measure of the set $$\{ \gamma \in [\gamma _0 ,\gamma _0 + T]:f(\gamma ) \geqslant c\} = A_f ,I_f = \int_{A_f } {f(\gamma )d\gamma } $$ . It is established that this limit always exists for almost-periodic functionsf.     

Chebyshev's inequalities for functions monotone in the mean

LetR be the reals ≥ 0. LetF be the set of mapsf: {1, 2, ?,n} →R. Choosew ∈ F withw _i = w(i) > 0. PutW _i = w₁ + ? + w_i. Givenf ∈ F, define \(\bar f\) ∈F by $$\bar f\left( i \right) = \frac{{\left\{ {w_i f\left( 1 \right) + \ldots + w_i f\left( i \right)} \right\}}}{{W_i }}.$$ Callf mean increasing if \(\bar f\) is increasing. Letf ₁, ?, f_t be mean decreasing andf _t+1,?: f_t+u be mean increasing. Put $$k = W_n^u \min \left\{ {w_i^{u - 1} W_i^{t - u} } \right\}.$$ Then $$k\mathop \sum \limits_{i = 1}^n w_i f_1 \left( i \right) \ldots f_{t + u} \left( i \right) \leqslant \mathop \prod \limits_{j = 1}^{t + u} (\mathop \sum \limits_{i = 1}^n w_i f_1 (i)).$$      

Compact Hankel Operators on Generalized Bergman Spaces of the Polydisc

Let ${\vartheta}$ be a measure on the polydisc ${\mathbb{D}^n}$ which is the product of n regular Borel probability measures so that ${\vartheta([r,1)^n\times\mathbb{T}^n) >0 }$ for all 0 < r < 1. The Bergman space ${A^2_{\vartheta}}$ consists of all holomorphic functions that are square integrable with respect to ${\vartheta}$ . In one dimension, it is well known that if f is continuous on the closed disc ${\overline{\mathbb{D}}}$ , then the Hankel operator H _f is compact on ${A^2_\vartheta}$ . In this paper we show that for n ≥ 2 and f a continuous function on ${{\overline{\mathbb{D}}}^n}$ , H _f is compact on ${A^2_\vartheta}$ if and only if there is a decomposition f = h + g, where h belongs to ${A^2_\vartheta}$ and ${\lim_{z\to\partial\mathbb{D}^n}g(z)=0}$ .     

A weak generalized localization criterion for multiple Walsh-Fourier series with J k -lacunary sequence of rectangular partial sums

We obtain a criterion for the validity of weak generalized localization almost everywhere on an arbitrary set of positive measure \(\mathfrak{A}\) , \(\mathfrak{A} \subset \mathbb{I}^N = \{ x \in \mathbb{R}^N :0 \leqslant x_j < 1,j = 1,2, \ldots ,N\}\) , N ≥ 3 (in terms of the structure and geometry of the set \(\mathfrak{A}\) ), for multiple Walsh-Fourier series (summed over rectangles) of functions f in the classes \(L_p (\mathbb{I}^N )\) , p > 1 (i.e., necessary and sufficient conditions for the convergence almost everywhere of the Fourier series on some subset of positive measure \(\mathfrak{A}_1\) of the set \(\mathfrak{A}\) , when the function expanded in a series equals zero on \(\mathfrak{A}\) ), in the case when the rectangular partial sums S _n (x; f) of this series have indices n = (n ₁, …, n _N ) ∈ ? ^N in which some components are elements of (single) lacunary sequences.     

Limit ultraspherical series and their approximation properties

We study new series of the form $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ in which the general term $f_k^{ - 1} \hat P_k^{ - 1} (x)$ , k = 0, 1, …, is obtained by passing to the limit as α→?1 from the general term $\hat f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)$ of the Fourier series $\sum\nolimits_{k = 0}^\infty {f_k^\alpha \hat P_k^{\alpha ,\alpha } (x)} $ in Jacobi ultraspherical polynomials $\hat P_k^{\alpha ,\alpha } (x)$ generating, for α> ?1, an orthonormal system with weight (1 ? x ₂)α on [?1, 1]. We study the properties of the partial sums $S_n^{ - 1} (f,x) = \sum\nolimits_{k = 0}^n {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ of the limit ultraspherical series $\sum\nolimits_{k = 0}^\infty {f_k^{ - 1} \hat P_k^{ - 1} (x)} $ . In particular, it is shown that the operator S _n ^?1 (f) = S _n ^?1 (f, x) is the projection onto the subspace of algebraic polynomials p _n = p _n (x) of degree at most n, i.e., S _n (p _n ) = p _n ; in addition, S _n ^?1 (f, x) coincides with f(x) at the endpoints ±1, i.e., S _n ^?1 (f,±1) = f(±1). It is proved that the Lebesgue function Λ _n (x) of the partial sums S _n ^?1 (f, x) is of the order of growth equal to O(ln n), and, more precisely, it is proved that $\Lambda _n (x) \leqslant c(1 + \ln (1 + n\sqrt {1 - x^2 } )), - 1 \leqslant x \leqslant 1$ .     

Some Remarks to the Formal and Local Theory of the Generalized Dhombres Functional Equation

We are looking for local analytic respectively formal solutions of the generalized Dhombres functional equation ${f(zf(z))=\varphi(f(z))}$ in the complex domain. First we give two proofs of the existence theorem about solutions f with f(0) = w ₀ and ${w_0 \in \mathbb{C}^\star {\setminus}\mathbb{E}}$ where ${\mathbb{E}}$ denotes the group of complex roots of 1. Afterwards we represent solutions f by means of infinite products where we use on the one hand the canonical convergence of complex analysis, on the other hand we show how solutions converge with respect to the weak topology. In this section we also study solutions where the initial value z ₀ is different from zero.     

Some class of analytic functions related to conic domains

For q ∈ (0, 1) let the q-difference operator be defined as follows $$\partial _q f(z) = \frac{{f(qz) - f(z)}} {{z(q - 1)}} (z \in \mathbb{U}),$$ where \(\mathbb{U}\) denotes the open unit disk in a complex plane. Making use of the above operator the extended Ruscheweyh differential operator R _q ^λ f is defined. Applying R _q ^λ f a subfamily of analytic functions is defined. Several interesting properties of a defined family of functions are investigated.     

Necessary and Sufficient Conditions for Associated Differential Operators in Quaternionic Analysis and Applications to Initial Value Problems

This paper deals with the initial value problem of type $$\begin{array}{ll} \qquad \frac{\partial u}{\partial t} = \mathcal{L} u := \sum \limits^3_{i=0} A^{(i)} (t, x) \frac{\partial u}{\partial x_{i}} + B(t, x)u + C(t, x)\\ u (0, x) = u_{0}(x)\end{array}$$ in the space of generalized regular functions in the sense of Quaternionic Analysis satisfying the differential equation $$\mathcal{D}_{\lambda}u := \mathcal{D} u + \lambda u = 0,$$ where ${t \in [0, T]}$ is the time variable, x runs in a bounded and simply connected domain in ${\mathbb{R}^{4}, \lambda}$ is a real number, and ${\mathcal{D}}$ is the Cauchy-Fueter operator. We prove necessary and sufficient conditions on the coefficients of the operator ${\mathcal{L}}$ under which ${\mathcal{L}}$ is associated with the operator ${\mathcal{D}_{\lambda}}$ , i.e. ${\mathcal{L}}$ transforms the set of all solutions of the differential equation ${\mathcal{D}_{\lambda}u = 0}$ into solutions of the same equation for fixedly chosen t. This criterion makes it possible to construct operators ${\mathcal{L}}$ for which the initial value problem is uniquely soluble for an arbitrary initial generalized regular function u ₀ by the method of associated spaces constructed by W. Tutschke (Teubner Leipzig and Springer Verlag, 1989) and the solution is also generalized regular for each t.     

О РАцИОНАльНых сОстА ВльУЩИх МЕРОМОРФНых ФУНкцИИ И Их пРОИжВОД Ных

LetG be an arbitrary domain in \(\bar C\) ,f a function meromorphic inG, $$M_f \mathop = \limits^{def} \mathop {\lim \sup }\limits_{G \mathrel\backepsilon z \to \partial G} \left| {f(z)} \right|< \infty ,$$ andR the sum of the principal parts in the Laurent expansions off with respect to all its poles inG. We set $$f_G (z) = R(z) - \alpha ,{\mathbf{ }}where{\mathbf{ }}\alpha = \mathop {\lim }\limits_{z \to \infty } (f(z) - R(z))$$ in case ∞?G, andα=0 in case ∞?G. It is proved that $$\left\| {f_G } \right\|_{C(\partial G)} \leqq 50(\deg f_G )M_f ,{\mathbf{ }}\left\| {f'_G } \right\|_{L_1 (\partial G)} \leqq 50(\deg f_G )V(\partial G)M_f ,$$ where $$V(\partial G) = \sup \left\{ {\left\| {r'} \right\|_{L_1 (\partial G)} :r(z) = a/(z - b),{\mathbf{ }}\left\| r \right\|_{G(\partial G)} \leqq 1} \right\}.$$      

On Rationality of W-algebras

We study the problem of classification of triples ( $ \mathfrak{g} $ ; f; k), where g is a simple Lie algebra, f its nilpotent element and k ∈ $ \mathbb{C} $ , for which the simple W-algebra W _k ( $ \mathfrak{g} $ ; f) is rational.     

On locally bounded above solutions of an equation of the Goła̧b–Schinzel type

We characterize solutions ${f, g : \mathbb{R} \to \mathbb{R}}$ of the functional equation f(x + g(x)y) = f(x)f(y) under the assumption that f is locally bounded above at each point ${x \in \mathbb{R}}$ . Our result refers to Go?a?b and Schinzel (Publ Math Debr 6:113–125, 1959) and Wo?od?ko (Aequationes Math 2:12–29, 1968).     

Singular Solutions of the Generalized Dhombres Functional Equation

We consider singular solutions of the functional equation ${f(xf(x)) = \varphi (f(x))}$ where ${\varphi}$ is a given and f an unknown continuous map ${\mathbb R_{+} \rightarrow \mathbb R_{+}}$ . A solution f is regular if the sets ${R_f \cap (0, 1]}$ and ${R_f \cap [1, \infty)}$ , where R _f is the range of f, are ${\varphi}$ -invariant; otherwise f is singular. We show that for singular solutions the associated dynamical system ${({R_f}, \varphi|_{R_f})}$ can have strange properties unknown for the regular solutions. In particular, we show that ${\varphi |_{R_f}}$ can have a periodic point of period 3 and hence can be chaotic in a strong sense. We also provide an effective method of construction of singular solutions.     

Analytische Fortsetzbarkeit von zufälligen Potenzreihen bezüglich abhängiger Zufallsvariabler

Рассматриваются слу чайная величина \(\mathfrak{X} = (X_n (\omega ))\) , удовлетворяющая усл овиюE(X _n ⁴ )≦M, и соответствующ ий случайный степенн ой ряд \(f_x (z;\omega ) = \mathop \sum \limits_{n = 0}^\infty a_n X_n (\omega )z^n\) . Устанавливаются тео ремы непродолжимост и почти наверное:

1. дляf _x при условиях с лабой мультипликати вности на \(\mathfrak{X}\) ,
2. для \(f_{\tilde x}\) , где \(\mathop \mathfrak{X}\limits^ \sim = (\mathop X\limits^ \sim _n )\) есть подп оследовательность в \(\mathfrak{X}\) ,
3. для по крайней мере од ного из рядовf _x′ илиf _x″ , где \(\mathfrak{X}'\) и \(\mathfrak{X}''\) — некоторые п ерестановки \(\mathfrak{X}\) , выбираемые универс ально, т. е. независимо от коэффициентовa _n .

     

Greedy expansions in Hilbert spaces

We study the rate of convergence of expansions of elements in a Hilbert space H into series with regard to a given dictionary D. The primary goal of this paper is to study representations of an element f ∈ H by a series f ～ ∑ _j=1 ^∞ c _j (f)g _j (f), $g_j \left( f \right) \in \mathcal{D}$ . Such a representation involves two sequences: {g _j (f)} _j=1 ^∞ and {c _j (f) _j=1 ^∞ . In this paper the construction of {g _j (f)} _j=1 ^∞ is based on ideas used in greedy-type nonlinear approximation, hence the use of the term greedy expansion. An interesting open problem questions, “What is the best possible rate of convergence of greedy expansions for f ∈ A ₁(D)?” Previously it was believed that the rate of convergence was slower than $m^{ - \tfrac{1} {4}}$ . The qualitative result of this paper is that the best possible rate of convergence of greedy expansions for $f \in A_1 \left( \mathcal{D} \right)$ is faster than $m^{ - \tfrac{1} {4}}$ . In fact, we prove it is faster than $m^{ - \tfrac{2} {7}}$ .     

Global analytic hypoellipticity of the\bar \partial-Neumann problem on circular domains

In this paper we show that if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded pseudoconvex circular domain with real analytic defining functionr(z) such that \(\sum\limits_{k = 1}^n {z_k \frac{{\partial r}}{{\partial z_k }}} \ne 0\) for allz near the boundary, then the solutionu to the \(\bar \partial\) -Neumann problem, $$square u = (\bar \partial \bar \partial * + \bar \partial *\bar \partial )u = f,$$ is real analytic up to the boundary, if the given formf is real analytic up to the boundary. In particular, if \(D \subseteq \mathbb{C}^n ,n \geqq 2\) , is a smooth bounded complete Reinhardt pseudoconvex domain with real analytic boundary. Then ? is analytic hypoelliptic.     

Vekua Integral Operators on Riemann Surfaces

On an arbitrary (in general, noncompact) Riemann surface R, we study integral operators T and ∏ analogous to the operators introduced by Vekua in his theory of generalized analytic functions. By way of application, we obtain necessary and sufficient conditions for the solvability of the nonhomogeneous Cauchy--Riemann equation $\bar \partial f = F$ in the class of functions f exhibiting Λ₀-behavior in the vicinity of the ideal boundary of R.