Fourier analysis of subgroup conjugacy invariant functions on finite groups

Given a finite group $G$ and a subgroup $H\le G$ , we develop a Fourier analysis for $H$ -conjugacy invariant functions on $G$ , without the assumption that $H$ is a multiplicity-free subgroup of $G$ . We also study the Fourier transform for functions in the center of the algebra of $H$ -conjugacy invariant functions on $G$ . We show that a recent calculation of Cesi is indeed a Fourier transform of a function in the center of the algebra of functions on the symmetric group that are conjugacy invariant with respect to a Young subgroup.     

Some Integral Representations and Singular Integral over Plane in Clifford Analysis

In this paper, Cauchy type integral and singular integral over hyper-complex plane \({\prod}\) are considered. By using a special Möbius transform, an equivalent relation between \({\widehat{H}^\mu}\) class functions over \({\prod}\) and \({H^\mu}\) class functions over the unit sphere is shown. For \({\widehat{H}^\mu}\) class functions over \({\prod}\) , we prove the existence of Cauchy type integral and singular integral over \({\prod}\) . Cauchy integral formulas as well as Poisson integral formulas for monogenic functions in upper-half and lower-half space are given respectively. By using Möbius transform again, the relation between the Cauchy type integrals and the singular integrals over \({\prod}\) and unit sphere is built.     

On a Stochastic Fourier Coefficient: Case of Noncausal Functions

Given a random function $f(t,\omega )$ and an orthonormal basis $\{\varphi _n \}$ in $L^2(0,1),$ we are concerned with the basic question whether the function can be reconstructed from the complete set of its stochastic Fourier coefficients $\{{\hat{f}}_n(\omega )\}$ which are defined by the following stochastic integral with respect to the Brownian motion $W.$ : ${\hat{f}}_n(\omega ):=\int _0^1 f(t,\omega ) \overline{\varphi _n(t)}{\text{ d}}_*W_t$ , where the symbol $\int {\text{ d}}_*W_t$ stands for the stochastic integral of noncausal type. In an earlier article (Stochastics, doi: 10.1080/17442508.2011.651621, 2012), Ogawa studied the question in the limited framework of homogeneous chaos and gave some affirmative answers when the random functions are causal and square integrable Wiener functionals for which the Itô integral is used for the definition of the stochastic Fourier coefficient. In this note, we aim to extend those results to the more general case where the functions are free from the causality restriction and the Skorokhod integral is employed instead of the Itô integral.     

The Fourier transform of multiradial functions

We obtain an exact formula for the Fourier transform of multiradial functions, i.e., functions of the form \(\varPhi (x)=\phi (|x_1|, \dots , |x_m|), x_i\in \mathbf R^{n_i}\) , in terms of the Fourier transform of the function \(\phi \) on \(\mathbf R^{r_1}\times \cdots \times \mathbf R^{r_m}\) , where \(r_i\) is either \(1\) or \(2\) .     

Bent functions embedded into the recursive framework of {\mathbb{Z}} -bent functions

Suppose that n is even. Let ${\mathbb{F}_2}$ denote the two-element field and ${\mathbb{Z}}$ the set of integers. Bent functions can be defined as ± 1-valued functions on ${\mathbb{F}_2^n}$ with ± 1-valued Fourier transform. More generally we call a mapping f on ${\mathbb{F}_2^n}$ a ${\mathbb{Z}}$ -bent function if both f and its Fourier transform ${\widehat{f}}$ are integer-valued. ${\mathbb{Z}}$ -bent functions f are separated into different levels, depending on the size of the maximal absolute value attained by f and ${\widehat{f}}$ . It is shown how ${\mathbb{Z}}$ -bent functions of lower level can be built up recursively by gluing together ${\mathbb{Z}}$ -bent functions of higher level. This recursion comes down at level zero, containing the usual bent functions. In the present paper we start to study bent functions in the framework of ${\mathbb{Z}}$ -bent functions and give some guidelines for further research.     

A sharp Blaschke–Santaló inequality for \alpha -concave functions

We define a new transform on \(\alpha \) -concave functions, which we call the \(\sharp \) -transform. Using this new transform, we prove a sharp Blaschke–Santaló inequality for \(\alpha \) -concave functions, and characterize the equality case. This extends the known functional Blaschke–Santaló inequality of Artstein-Avidan, Klartag and Milman, and strengthens a result of Bobkov. Finally, we prove that the \(\sharp \) -transform is a duality transform when restricted to its image. However, this transform is neither surjective nor injective on the entire class of \(\alpha \) -concave functions.     

A Note on Recent Papers by Grafakos and Teschl,and Estrada

We indicate how recent results of Grafakos and Teschl (J Fourier Anal Appl 19:167–179, 2013), and Estrada (J Fourier Anal Appl 20:301–320, 2014), relating the Fourier transform of a radial function in \(\mathbb R^n\) and the Fourier transform of the same function in \(\mathbb R^{n+2}\) and \(\mathbb R^{n+1}\) , respectively, are located within known results on transplantation for Hankel transforms.     

Approximate collocation method for an integral equation with a logarithmic kernel

An integral operator is defined on the set of functions expandable in a Fourier-Chebyshev series. The expansion is used to prove convergence of the proposed method and an error bound is derived.Consider the integral operator L, (1) $$L\varphi = \frac{1}{\pi }\int\limits_{ - 1}^1 {\ln \left| {x - t} \right|\frac{{\varphi (t)}}{{\sqrt {1 - t^2 } }}dt} ,\left| x \right| \leqslant 1.$$      

On Octonionic Regular Functions and the Szegö Projection on the Octonionic Heisenberg Group

We discuss the octonionic regular functions and the octonionic regular operator on the octonionic Heisenberg group. This is the octonionic version of CR function theory in the theory of several complex variables and regular function theory on the quaternionic Heisenberg group. By identifying the octonionic algebra with \(\mathbb{R }^{8}\) , we can write the octonionic regular operator and the associated Laplacian operator as real \((8\times 8)\) -matrix differential operators. Then we use the group Fourier transform on the octonionic Heisenberg group to analyze the associated Laplacian operator and to construct its kernel. This kernel is exactly the Szegö kernel of the orthonormal projection from the space of \(L^{2}\) functions to the space of \(L^{2}\) regular functions on the octonionic Heisenberg group.     

Conditionally oscillatory half-linear differential equations

We consider a nonoscillatory half-linear second order differential equation (*) $$ (r(t)\Phi (x'))' + c(t)\Phi (x) = 0,\Phi (x) = \left| x \right|^{p - 2} x,p > 1, $$ and suppose that we know its solution h. Using this solution we construct a function d such that the equation (**) $$ (r(t)\Phi (x'))' + [c(t) + \lambda d(t)]\Phi (x) = 0 $$ is conditionally oscillatory. Then we study oscillations of the perturbed equation (**). The obtained (non)oscillation criteria extend existing results for perturbed half-linear Euler and Euler-Weber equations.     

Identifying rotational radon transforms

We show classes of test functions so that dilational and rotational invariances of the image $R_{\mathcal{S},\mu } f$ of such a test function f determines dilational and rotational invariances of rotational Radon transform $R_{\mathcal{S},\mu }$ . Then we determine the defining flower S and weight µ of a conformal Radon transform $R_{\mathcal{S},\mu }$ in terms of the image $R_{\mathcal{S},\mu } f$ of an unknown function that is a sum of an L²-function and finitely many Dirac distributions if the flower $\mathcal{S}$ is not selftangent.     

On Radial Functions and Distributions and Their Fourier Transforms

We give formulas relating the Fourier transform of a radial function in $\mathbb{R}^{n}$ and the Fourier transform of the same function in $\mathbb{R}^{n+1}$ , completing the analysis of Grafakos and Teschl (J. Fourier Anal. Appl. 19:167–179, 2013) where the case of $\mathbb{R}^{n}$ and $\mathbb{R}^{n+2}$ was considered.     

On minor forms of Desargues and Pappus

Let Π be a projective plane coordinatized by a ternary ring (R, F). In addition to the two operations + and ·, defined bya+b =F(a,1,b and \(a \cdot b = F(a,b,0)\) , a third operation * is defined by \(a * b = F(1,a,b),\forall a,b \in R\) Several minor forms of the propositions of Desargues and Pappus are introduced in Π and their geometrical properties are developed. Several algebraic results are obtained in connection with these minor forms. For example, the first minor form of DesarguesD ₁ is proved to be equivalent to each of the following algebraic identities in every (R, F): (1) $$a \cdot c = c \cdot a \Rightarrow F(a,c,b) = F(c,a,b),$$ (2) $$a \cdot (1 + b) = a + a \cdot b,$$ (3) $$a * b = a + b$$ (4) $$F(x,m,k) = (x \cdot m) * k,\forall a,b,c,k,m,x \in R.$$ Some more algebraic identities are characterized byD ₂ andD ₃.     

Approximation of \bar \psi - integrals of periodic functions by Fourier sums (small smoothness). Iof periodic functions by Fourier sums (small smoothness). I

We investigate the rate of convergence of Fourier series on the classes $L^{\bar \psi } $ N in the uniform and integral metrics. The results obtained are extended to the case where the classes $L^{\bar \psi } $ N are the classes of convolutions of functions from N with kernels with slowly decreasing coefficients. In particular, we obtain asymptotic equalities for the upper bounds of deviations of the Fourier sums on the sets $L^{\bar \psi } $ N which are solutions of the Kolmogorov-Nikol’skii problem. In addition, we establish an analog of the well-known Lebesgue inequality.     

Rate of convergence of Fourier series on the classes of \bar \Psi -integrals-integrals

We introduce the notion of $\bar \Psi $ -integrals of 2π-periodic summable functions f, f ε L, on the basis of which the space L is decomposed into subsets (classes) $L^{\bar \Psi } $ . We obtain integral representations of deviations of the trigonometric polynomials U _n(f;x;Λ) generated by a given Λ-method for summing the Fourier series of functions $f{\text{ }}\varepsilon {\text{ }}L^{\bar \Psi } $ . On the basis of these representations, the rate of convergence of the Fourier series is studied for functions belonging to the sets $L^{\bar \Psi } $ in uniform and integral metrics. Within the framework of this approach, we find, in particular, asymptotic equalities for upper bounds of deviations of the Fourier sums on the sets $L^{\bar \Psi } $ , which give solutions of the Kolmogorov-Nikol'skii problem. We also obtain an analog of the well-known Lebesgue inequality.     

On the convergence to infinity of Fourier series along dense subsequences of numbers

В статье доказываетс я Теорема.Какова бы ни была возрастающая последовательность натуральных чисел {H _k } _{k = 1} ^∞ c $$\mathop {\lim }\limits_{k \to \infty } \frac{{H_k }}{k} = + \infty$$ , существует функцияf∈L(0, 2π) такая, что для почт и всех x∈(0, 2π) можно найти возраст ающую последовательность номеров {n_k(x)} _k=1 ^∞ ,удовлетворяющую усл овиям 1) $$n_k (x) \leqq H_k , k = 1,2, ...,$$ 2) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t} (x)} (x,f) = + \infty ,$$ 3) $$\mathop {\lim }\limits_{t \to \infty } S_{n_{2t - 1} (x)} (x,f) = - \infty$$ .     

Weighted Function Spaces and Dunkl Transform

We introduce first weighted function spaces on ${\mathbb{R}^d}$ using the Dunkl convolution that we call Besov-Dunkl spaces. We provide characterizations of these spaces by decomposition of functions. Next we obtain in the real line and in radial case on ${\mathbb{R}^d}$ weighted L ^p -estimates of the Dunkl transform of a function in terms of an integral modulus of continuity which gives a quantitative form of the Riemann-Lebesgue lemma. Finally, we show in both cases that the Dunkl transform of a function is in L ¹ when this function belongs to a suitable Besov-Dunkl space.     

A unifying approach to the regularization of Fourier polynomials

In a previous paper [4] the following problem was considered:find, in the class of Fourier polynomials of degree n, the one which minimizes the functional: (0.1) $$J^* [F_n ,\sigma ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\frac{{\sigma ^r }}{{r!}}} \left\| {F_n^{(r)} } \right\|^2$$ , where ∥·∥ is theL ² norm,F _n ^(r) is therth derivative of the Fourier polynomialF _n (x), andf(x) is a given function with Fourier coefficientsc _k . It was proved that the optimal polynomial has coefficientsc _k ^* given by (0.2) $$c_k^* = c_k e^{ - \sigma k^2 } ; k = 0, \pm ,..., \pm n$$ . In this paper we consider the more general functional (0.3) $$\hat J[F_n ,\sigma _r ] = \left\| {f - F_n } \right\|^2 + \sum\limits_{r = 1}^\infty {\sigma _r \left\| {F_n^{(r)} } \right\|^2 }$$ , which reduces to (0.1) forσ _r =σ ^r /r!. We will prove that the classical sigma-factor method for the regularization of Fourier polynomials may be obtained by minimizing the functional (0.3) for a particular choice of the weightsσ _r . This result will be used to propose a motivated numerical choice of the parameterσ in (0.1).     

Approximation of \bar \psi - Integrals of periodic functions by Fourier sums (small smoothness). IIof periodic functions by Fourier sums (small smoothness). II

We investigate the rate of convergence of Fourier series on the classes $L^{\bar \psi } $ N in the uniform and integral metrics. The results obtained are extended to the case where the classes $L^{\bar \psi } $ N are the classes of convolutions of functions from ? with kernels with slowly decreasing coefficients. In particular, we obtain asymptotic equalities for the upper bounds of deviations of the Fourier sums on the sets $L^{\bar \psi } $ N, which are solutions of the Kolmogorov-Nikol’skii problem. In addition, we establish an analog of the well-known Lebesgue inequality.