The cancellation of Fourier coefficients of cusp forms over different sparse sequences

Let λ f(n) be the n-th normalized Fourier coefficient of a holomorphic Hecke eigenform f(z)∈Sk(Γ).In this paper,we established nontrivial estimates for ∑n≤xλf(ni)λf(nj),where 1 ≤ i j ≤ 4.     

On approximation of a function and its derivatives by a polynomial and its derivatives

Let g∈C~q[-1, 1] be such that g~((k))(±1)=0 for k=0,…,q. Let P_n be an algebraic polynomialof degree at most n, such that P_n~((k))(±1)=0 for k=0,…,[_2~ (q+1)]. Then P_n and its derivativesP_n~((k)) for k≤q well approximate g and its respective derivatives, provided only that P_n well approxi-mates g itself in the weighted norm ‖g(x)-P_n(x) (1-x~2)~(1/2)~q‖This result is easily extended to an arbitrary f∈C~q[-1, 1], by subtracting from f the polynomial ofminnimal degree which interpolates f~((0))…,f~((q)) at±1. As well as providing easy criteria for judging the simultaneous approximation properties of a givenPolynomial to a given function, our results further explain the similarities and differences betweenalgebraic polynomial approximation in C~q[-1, 1] and trigonometric polynomial approximation in thespace of q times differentiable 2π-periodic functions. Our proofs are elementary and basic in character,permitting the construction of actual error estimates for simultaneous approximation proedures for smallvalues of q.     

Onq-difference equations andZ n decompositions of exp q function

Theq-extended hyperbolic functions ofn-th order {h _q,s(z)}s∈ Z _n which areZ _n-components of expq function form the set fundamental solutions of a simpleq-difference equation. Against the background ofq-deformed hyperbolic functions ofn-th order other natural extensions and related topics are considered. Apart from easy general solution of homogenous ordinaryq-difference equations ofn-th order main trigonometric-like identity known for hyperbolic functions ofn-th order is given itsq-commutative counterpart. Hint how to arrive at other identities is implicit in theq-treatment proposed. The paper constitutes an example of the application of the method of projections presented in Advances in Applied Clifford Algebras publication [19]; see also references to Ben Cheikh’s papers.     

Approximation by antiderivatives

Let Ω ?C be an open set with simply connected components and suppose that the functionφ is holomorphic on Ω. We prove the existence of a sequence {φ ^(?n)} ofn-fold antiderivatives (i.e., we haveφ ⁽⁰⁾(z)∶=φ(z) andφ ^(?n)(z)=dφ ^(?n?1)(z)/dz for alln ∈ N₀ and z ∈ Ω) such that the following properties hold:

1. For any compact setB ?Ω with connected complement and any functionf that is continuous onB and holomorphic in its interior, there exists a sequence {n _k} such that {φ^?nk} converges tof uniformly onB.
2. For any open setU ?Ω with simply connected components and any functionf that is holomorphic onU, there exists a sequence {m _k} such that {φ^?mk} converges tof compactly onU.
3. For any measurable setE ?Ω and any functionf that is measurable onE, there exists a sequence {p _k} such that {φ ^(-Pk)} converges tof almost everywhere onE.

     

Coefficients of symmetric square L-functions

Let λsym2f(n) be the n-th coefficient in the Dirichlet series of the symmetric square L-function associated with a holomorphic primitive cusp form f.We prove Ω± results for λsym2f(n) and evaluate the number of positive(resp.,negative) λsym2f(n) in some intervals.     

The degree of biholomorphic mappings between special domains in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> preserving 0

Let G _i be a closed Lie subgroup of U(n), Ω _i be a bounded G _i -invariant domain in C ⁿ which contains 0, and \(O{\left( {{\mathbb{C}^n}} \right)^{{G_i}}} = \mathbb{C}\), for i = 1; 2. If f: Ω₁ → Ω₂ is a biholomorphism, and f(0) = 0, then f is a polynomial mapping (see Ning et al. (2017)). In this paper, we provide an upper bound for the degree of such polynomial mappings. It is a natural generalization of the well-known Cartan’s theorem.     

On the solvability of the jump problem in clifford analysis

Let Ω be a bounded open and oriented connected subset of ? ⁿ which has a compact topological boundary Γ, let C be the Dirac operator in ? ⁿ , and let ?_0,n be the Clifford algebra constructed over the quadratic space ? ⁿ . An ?_0,n -valued smooth function f : Ω → ?_0,n in Ω is called monogenic in Ω if Df = 0 in Ω. The aim of this paper is to present the most general condition on Γ obtained so far for which a Hölder continuous function f can be decomposed as F ⁺ ? F ^? = f on Γ, where the components F ^± are extendable to monogenic functions in Ω^± with Ω⁺ := Ω, and Ω^? := ? ⁿ \ (Ω ? Γ), respectively.     

On the class of limits of lacunary trigonometric series

Let (n _k ) _k≧1 be a lacunary sequence of positive integers, i.e. a sequence satisfying n _k+1/n _k > q > 1, k ≧ 1, and let f be a “nice” 1-periodic function with ∝ ₀ ¹ f(x) dx = 0. Then the probabilistic behavior of the system (f(n _k x)) _k≧1 is very similar to the behavior of sequences of i.i.d. random variables. For example, Erd?s and Gál proved in 1955 the following law of the iterated logarithm (LIL) for f(x) = cos 2πx and lacunary $ (n_k )_{k \geqq 1} $ : (1) $$ \mathop {\lim \sup }\limits_{N \to \infty } (2N\log \log N)^{1/2} \sum\limits_{k = 1}^N {f(n_k x)} = \left\| f \right\|_2 $$ for almost all x ∈ (0, 1), where ‖f‖₂ = (∝ ₀ ¹ f(x)² dx)^1/2 is the standard deviation of the random variables f(n _k x). If (n _k ) _k≧1 has certain number-theoretic properties (e.g. n _k+1/n _k → ∞), a similar LIL holds for a large class of functions f, and the constant on the right-hand side is always ‖f‖₂. For general lacunary (n _k ) _k≧1 this is not necessarily true: Erd?s and Fortet constructed an example of a trigonometric polynomial f and a lacunary sequence (n _k ) _k≧1, such that the lim sup in the LIL (1) is not equal to ‖f‖₂ and not even a constant a.e. In this paper we show that the class of possible functions on the right-hand side of (1) can be very large: we give an example of a trigonometric polynomial f such that for any function g(x) with sufficiently small Fourier coefficients there exists a lacunary sequence (n _k ) _k≧1 such that (1) holds with √‖f‖ ₂ ² + g(x) instead of ‖f‖₂ on the right-hand side.     

The derivation equation for C k -functions: stability and localization

For a given integer k ∈ ? we determine the possible forms of operators T: C ^k (?) → C(?) satisfying a generalized Leibniz rule operator equation T(f · g)(x) = Tf(x) · g(x)+f(x) · Tg(x)+S(f, g)(x), f,g ∈ C ^k (?), x ∈ ? for two different types of perturbations S(f, g). In the first case, S is given by a function B in localized form $$S(f,g)(x) = B(x,({f^{(j)}}(x))_{j = 0}^{k - 1},({g^{(j)}}(x))_{j = 0}^{k - 1})$$ involving only derivatives of lower order. We show that, if in addition T annihilates the polynomials of degree ≤ k ? 1, T is a multiple of the k-th derivative. For k = 2 and functions on ? ⁿ , we give a characterization of the Laplacian by a similar equation, orthogonal invariance and annihilation of affine functions. In the second setting, we assume S to have the form S(f, g)(x) = Af(x) · Ag(x) where A: C ^k (?) → C(?) is a general operator. Thus here, S has a product form, but the factor Af(x) is not assumed to depend only on the jet of f at x. We describe the possible forms of T and A satisfying the generalized Leibniz rule; T and A turn out to be closely related. Here, T and A need not to be localized, i.e., Tf(x) and Af(x) may depend on values f(y) for y ≠ x.     

New integral representations of nth order convex functions

In this paper we give an integral representation of an n-convex function f in general case without additional assumptions on function f. We prove that any n-convex function can be represented as a sum of two (n+1)-times monotone functions and a polynomial of degree at most n. We obtain a decomposition of n-Wright-convex functions which generalizes and complements results of Maksa and Páles (2009) [13]. We define and study relative n-convexity of n-convex functions. We introduce a measure of n-convexity of f. We give a characterization of relative n-convexity in terms of this measure, as well as in terms of nth order distributional derivatives and Radon-Nikodym derivatives. We define, study and give a characterization of strong n-convexity of an n-convex function f in terms of its derivative f(n+1)(x) (which exists a.e.) without additional assumptions on differentiability of f. We prove that for any two n-convex functions f and g, such that f is n-convex with respect to g, the function g is the support for the function f in the sense introduced by W?sowicz (2007) [29], up to polynomial of degree at most n.     

The uniqueness of the element of best mean approximation to a continuous function using splines with fixed nodes

Suppose that on the Interval [a, b] the nodes $$a = x_0< x_1< \ldots< x_m< x_{m + 1} = b$$ are given and the functions u₀(t)=ω₀(t) $$u_i (t) = \omega _0 (t)\smallint _0^t \omega _1 (\varepsilon _1 )d\varepsilon _1 \ldots \smallint _a^{\varepsilon _{\iota - 1} } \omega _1 (\varepsilon _1 )d\varepsilon _\iota ,\varepsilon _0 = t(i = 1,2, \ldots ,n)$$ where the functions ω_i(t)> 0 have continuous (n?i)-th derivatives (i=0, 1, ..., n). S_n,m will designate the subspace of functions that have continuous (n?1)-st derivatives on [a, b] and coincide on each of the intervals [x_j, x_j+1] (j=0, 1, ..., m) with some polynomial from the system {u_i(t)} _i=0 ⁿ .THEOREM. For every continuous function on [a, b] there exists in S_n,m a unique element of best mean approximation.     

Basics of a generalized Wiman–Valiron theory for monogenic Taylor series of finite convergence radius

In this paper, we develop the basic concepts for a generalized Wiman–Valiron theory for Clifford algebra valued functions that satisfy inside an n + 1-dimensional ball the higher dimensional Cauchy-Riemann system ${\frac{\partial f}{\partial x_0} + \sum_{i=1}^n e_i\frac{\partial f}{\partial x_i}=0}In this paper, we develop the basic concepts for a generalized Wiman–Valiron theory for Clifford algebra valued functions that satisfy inside an n + 1-dimensional ball the higher dimensional Cauchy-Riemann system \frac?f?x₀ + ?_i=1ⁿ e_i\frac?f?x_i=0{\frac{\partial f}{\partial x_0} + \sum_{i=1}^n e_i\frac{\partial f}{\partial x_i}=0} . These functions are called monogenic or Clifford holomorphic inside the ball. We introduce growth orders, the maximum term and a generalization of the central index for monogenic Taylor series of finite convergence radius. Our goal is to establish explicit relations between these entities in order to estimate the asymptotic growth behavior of a monogenic function in a ball in terms of its Taylor coefficients. Furthermore, we exhibit a relation between the growth order of such a function f and the growth order of its partial derivatives.     

Lebesgue's inequality in a uniform metric and on a set of full measure

Letf be a continuous periodic function with Fourier sums S_n(f), and let E_n(f)=E_n be the best approximation tof by trigonometric polynomials of order n. The following estimate is proved: $$||f - S_n (f)|| \leqslant c\sum\nolimits_{v = n}^{2u} {\frac{{E_v }}{{v - n + 1}}} .$$ (Here c is an absolute constant.) This estimate sharpens Lebesgue's classical inequality for “fast” decreasing E _v . The sharpness of this estimate is proved for an arbitrary class of functions having a given majorant of best approximations. Also investigated is the sharpness of the corresponding estimate for the rate of convergence of a Fourier series almost everywhere.     

Extremal Problems in Some Classes of Holomorphic Functions

Let PRΛ_n be the class of holomorphic functions with positive real part and real Taylor coefficients the first m + 1 of which are common for all these functions. We find: a) The extreme points of the class PRΛ_n. b) The extrema of {f(r): f ∈ PRΛ_n}, {f′(r): f ∈ PRΛ_n} and {f′(r): f ∈ PRΛ_n}. We also solve respective problems for typical real functions.     

Jackson-Stechkin type inequalities for special moduli of continuity and widths of function classes in the space L 2

We obtain sharp Jackson-Stechkin type inequalities for moduli of continuity of kth order Ω _k in which, instead of the shift operator T _h f, the Steklov operator S _h (f) is used. Similar smoothness characteristic of functions were studied earlier in papers of Abilov, Abilova, Kokilashvili, and others. For classes of functions defined by these characteristics, we calculate the exact values of certain n-widths.     

Sequences of composition operators in spaces of functions of bounded Φ-variation

The main results of the paper are contained in Theorems 1 and 2. Theorem 1 presents necessary and sufficient conditions for a sequence of functions h _n : 〈c, d〉 → 〈a, b〉, n = 1, 2, ..., to have bounded sequences of Ψ-variations {V _Ψ (〈c, d〉; f ? h _n )} _n=1 ^∞ evaluated for the compositions of an arbitrary function f: 〈a, b〉 → ? with finite Φ-variation and the functions h _n . In Theorem 2, the same is done for a sequence of functions h _n : ? → ?, n = 1, 2, ..., and the sequence of Ψ-variations {V _Ψ(〈a, b〉; h _n ? f)} _n=1 ^∞ .     

The structure of the solutions of polynomial Dirac equations in real Clifford analysis

In this paper, the solutionsf of polynomial Dirac equations (D ⁿ + Σ _j=0 ^n?1 b _j D ^j )f = 0 are studied, whereb _j ∈R,D ⁰=I is the identity operator,D is the Dirac operator inR ^m+1,f isA-valuedC _n function defined on a domain Ω?R ^m+1. The results reveal that they are closely connected with monogenic function (i.e., the kernel of operatorD) and with the solutions of the ordinary differential equation $(\frac{{d^n }}{{dx_0^n }} + \sum\nolimits_{j = 0}^{n - 1} { b_j \frac{{d^j }}{{dx_0^j }}} ) g = 0, \frac{{d^0 }}{{dx_0^0 }} = I$ , whereg is a real scalar function ofx ₀. Also, the results in the simpler casesD+λ andD _k are given out. As an application, the solutions of inhomogeneous equationsp(D)f=g on Ω∈R ^m+1 are discussed, whereg is aA-valued continuous function defined on Ω.     

Optimally uniform approximation by meromorphic functions in the strip

The paper studies the uniform approximation problem of functions f, which are continuous in a closed strip S _h and holomorphic in its interior. Such functions are approximated on S _h by meromorphic functions g, the growth of which is estimated in the terms of the Nevanlinna characteristic T (r, g) and depends on the growth of f in the strip and the differential properties of f on the boundary of the strip. Also, the possible location of the poles of g in the complex plane is studied.     

On Laplace derivative

If f: ? → ? is integrable in a right neighbourhood of x ∈ ? and if there are real numbers α ₀, α ₁, ..., α _n?1 such that the limit lim $$ \mathop {\lim }\limits_{s \to \infty } s^{n + 1} \int_0^\delta {e^{ - st} } \left[ {f(x + t) - \sum\limits_{i = 0}^{n - 1} {\frac{{t^i }} {{i!}}\alpha _i } } \right]dt $$ exists, then this limit is called the right-hand Laplace derivative of f at x of order n and is denoted by LD _n ⁺ f(x). There is a corresponding definition for the left-hand derivative and if they are equal the common value is the Laplace derivative LD _n f(x). In this paper, it is shown that the basic properties of the Peano derivatives are also possessed by this derivative (cf. [5]).