On approximation of approximately generalized quadratic functional equation via Lipschitz criteria

Abstract

Let G be an Abelian group with a metric d and E ba a normed space. For any f : G → E we define the generalized quadratic di?erence of the function f by the formula

Q_k f (x, y) := f (x + ky) + f (x ? ky) ? f (x + y) ? f (x ? y) ? 2(k² ? 1)f (y)

for all x, y ∈ G and for any integer k with k ≠ 1, ?1. In this paper, we achieve the general solution of equation Q_k f (x, y) = 0, after it, we show that if Q_k f is Lipschitz, then there exists a quadratic function K : G → E such that f ? K is Lipschitz with the same constant. Moreover, some results concerning the stability of the generalized quadratic functional equation in the Lipschitz norms are presented. In the particular case, if k = 0 we obtain the main result that is in [7].     

A comparative study of functional equations characterising sine and cosine

A comparative study of the functional equationsf(x+y)f(x–y)=f ²(x)–f ²(y),f(y){f(x+y)+f(x–y)}=f(x)f(2y) andf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} which characterise the sine function has been carried out. The zeros of the functionf satisfying any one of the above equations play a vital role in the investigations. The relation of the equationf(x+y)+f(x–y)=2f(x){1–2f ²(y/2)} with D'Alembert's equation,f(x+y)+f(x–y)=2f(x)f(y) and the sine-cosine equationg(x–y)=g(x)g(y) +f(x)f(y) has also been investigated.     

Functional equations on abelian groups with involution

Summary We produce complete solution formulas of selected functional equations of the formf(x +y) ±f(x + σ (ν)) = Σ _I ² =₁ g _l (x)h _l (y),x, y∈G, where the functionsf,g ₁,h ₁ to be determined are complex valued functions on an abelian groupG and where σ:G→G is an involution ofG. The special case of σ=−I encompasses classical functional equations like d’Alembert’s, Wilson’s first generalization of it, Jensen’s equation and the quadratic equation. We solve these equations, the equation for symmetric second differences in product form and similar functional equations for a general involution σ.     

On trigonometric functional equations of rectangular type

Summary Letf, G₁ × G₂ C, where G _i (i = 1, 2) denote arbitrary groups and C denotes the set of complex numbers. The general solutions of the following functional equationsf(x ₁ y ₁ ,x ₂ y ₂ ) +f(x ₁ y ₁ ,x ₂ y ₂ ^-1 ) +f(x ₁ y ₁ ^-1 ,x ₂ y ₂ ) +f(x ₁ y ₁ ^-1 ,x ₂ y ₂ ^-1 ) =f(x ₁ ,x ₂ )F(y ₁ ,y ₂ ) +F(x ₁ ,x ₂ )f(y ₁ ,y ₂ ) (1) andf(x ₁ y ₁ ,x ₂ y ₂ ) +f(x ₁ y ₁ ,x ₂ y ₂ ^-1 ) +f(x ₁ y ₁ ^-1 ,x ₂ y ₂ ) +f(x ₁ y ₁ ^-1 ,x ₂ y ₂ ^-1 ) =f(x ₁ ,x ₂ )f(y ₁ ,y ₂ ) +F(x ₁ ,x ₂ )F(y ₁ ,y ₂ ) (2) are determined assuming thatf satisfies the conditionf(x ₁y₁z₁, x₂) = f(x₁z₁y₁, x₂), f(x₁, x₂y₂z₂) = f(x₁, x₂z₂y₂) (C) for allx _i, y_i, x_i G_i (i = 1, 2). The functional equations (1) and (2) are generalizations of the well known rectangular type functional equationf(x ₁ + y₁, x₂ + y₂) + f(x₁ + y₁, x₂ – y₂) + f(x₁ – y₁, x₂ + y₂) + f(x₁ – y₁, x₂ – y₂) = 4f(x₁, x₂) studied by J. Aczel, H. Haruki, M. A. McKiernan and G. N. Sakovic in 1968.     

On quadratic differences that depend on the product of arguments - revisited

Summary. Let be a field of real or complex numbers and denote the set of nonzero elements of . Let be an abelian group. In this paper, we solve the functional equation f ₁ (x + y) + f ₂ (x - y) = f ₃ (x) + f ₄ (y) + g(xy) by modifying the domain of the unknown functions f ₃, f ₄, and g from to and using a method different from [3]. Using this result, we determine all functions f defined on and taking values on such that the difference f(x + y) + f (x - y) - 2 f(x) - 2 f(y) depends only on the product xy for all x and y in      

The Relative Brauer Group of an Affine Double Plane

We study algebra classes and divisor classes on a normal affine surface of the form z ² = f(x, y). The affine coordinate ring is T = k[x, y, z]/(z ² ? f), and if R = k[x, y][f ^?1] and S = R[z]/(z ² ? f), then S is a quadratic Galois extension of R. If the Galois group is G, we show that the natural map H¹(G, Cl(T)) → H¹(G, Pic(S)) factors through the relative Brauer group B(S/R) and that all of the maps are onto. Sufficient conditions are given for H¹(G, Cl(T)) to be isomorphic to B(S/R). The groups and maps are computed for several examples.     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

Homogeneous tri-additive forms and derivations

Gleason [A.M. Gleason, The definition of a quadratic form, Amer. Math. Monthly 73 (1966) 1049-1066] determined all functionals Q on K-vector spaces satisfying the parallelogram law Q(x+y)+Q(x-y)=2Q(x)+2Q(y) and the homogeneity Q(λx)=λ²Q(x). Associated with Q is a unique symmetric bi-additive form S such that Q(x)=S(x,x) and 4S(x,y)=Q(x+y)-Q(x-y). Homogeneity of Q corresponds to that of S: S(λx,λy)=λ²S(x,y). The associated S is not necessarily bi-linear.Let V be a vector space over a field K, char(K)≠2,3. A tri-additive form T on V is a map of V³ into K that is additive in each of its three variables. T is homogeneous of degree 3 if T(λx,λy,λz)=λ³T(x,y,z) for all .We determine the structure of tri-additive forms that are homogeneous of degree 3. One of the keys to this investigation is to find the general solution of the functional equation

F(t)+t³G(1/t)=0,     

On the convexity of the multiplicative potential and penalty functions and related topics

It is well known that a function f of the real variable x is convex if and only if (x,y)→yf(y ^-1 x),y>0 is convex. This is used to derive a recursive proof of the convexity of the multiplicative potential function. In this paper, we obtain a conjugacy formula which gives rise, as a corollary, to a new rule for generating new convex functions from old ones. In particular, it allows to extend the aforementioned property to functions of the form (x,y)→g(y)f(g(y)^-1 x) and provides a new tool for the study of the multiplicative potential and penalty functions. Received: June 3, 1999 / Accepted: September 29, 2000?Published online January 17, 2001     

On some functional equations of Goląb-Schinzel type

Summary LetE be a real Hausdorff topological vector space. We consider the following binary law * on ·E:(, ) * (, ) = (, ^k + ) for(, ), (, ) × E where is a nonnegative real number,k andl are integers.In order to find all subgroupoids of ( ·E, *) which depend faithfully on a set of parameters, we have to solve the following functional equation:f(f(y) ^k x +f(x) ^l y) =f(x)f(y) (x, y E). (1)In this paper, all solutionsf: of (1) which are in the Baire class I and have the Darboux property are obtained. We obtain also all continuous solutionsf: E of (1). The subgroupoids of (^* ·E, *) which dapend faithfully and continuously on a set of parameters are then determined in different cases. We also deduce from this that the only subsemigroup ofL _n ¹ of the form {(F(x ₂,x ₃, ,x _n ),x ₂,x ₃, ,x _n ); (x ₂, ,x _n ) ^{n – 1} }, where the mappingF: ^{n – 1 *} has some regularity property, is {1} × ^{n – 1} .We may noitice that the Gob-Schinzel functional equation is a particular case of equation (1)(k = 0, l = 1, = 1). So we can say that (1) is of Gob—Schinzel type. More generally, whenE is a real algebra, we shall say that a functional equation is of Gob—Schinzel type if it is of the form:f(f(y) ^k x +f(x) ^l y) =F(x,y,f(x),f(y),f(xy)) wherek andl are integers andF is a given function in five variables. In this category of functional equations, we study here the equation:f(f(y) ^k x +f(x) ^l y) =f(xy) (x, y f: ). (4)This paper extends the results obtained by N. Brillouët and J. Dhombres in [3] and completes some results obtained by P. Urban in his Ph.D. thesis [11] (this work has not yet been published).Dedicated to the memory of Alexander M. Ostrowski on the occasion of the 100th anniversary of his birth     

Almost orthogonal operators on the bitorus

The operators S _p f (x, y), for the sum of which we prove an L ²-estimate, act as a kind of Fourier coefficients on one variable and a kind of truncated Hilbert transforms with a phase N(x, y) on the other variable. This result is an extension to two-dimensions of an argument of almost orthogonality in Fefferman’s proof of a.e. convergence of Fourier series, under the basic assumption N(x, y) “mainly” a function of y and the additional assumption N(x, y) non-decreasing in x, for every y fixed.     

The sum of squared logarithms inequality in arbitrary dimensions

We prove the sum of squared logarithms inequality (SSLI) which states that for nonnegative vectors x, y ∈ ℝⁿ whose elementary symmetric polynomials satisfy e_k(x) ≤ e_k(y) (for 1 ≤ k < n) and e_n(x) = e_n(y) , the inequality ∑_i(log x_i)² ≤ ∑_i(log y_i)² holds. Our proof of this inequality follows by a suitable extension to the complex plane. In particular, we show that the function f : M ⊆ ℂⁿ → ℝ with f(z) = ∑_i(log z_i)² has nonnegative partial derivatives with respect to the elementary symmetric polynomials of z. We conclude by providing applications and wider connections of the SSLI. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Endomorphisms of superelliptic jacobians

Let K be a field of characteristic zero, n ≥ 5 an integer, f(x) an irreducible polynomial over K of degree n, whose Galois group contains a doubly transitive simple non-abelian group. Let p be an odd prime, the ring of integers in the pth cyclotomic field, C _{f, p} : y ^p  =  f(x) the corresponding superelliptic curve and J(C _{f, p} ) its jacobian. Assuming that either n  =  p + 1 or p does not divide n(n  −  1), we prove that the ring of all endomorphisms of J(C _{f, p} ) coincides with . The same is true if n  =  4, the Galois group of f(x) is the full symmetric group S ₄ and K contains a primitive pth root of unity. An erratum to this article can be found at     

On an alternative functional equation related to the Cauchy equation

We consider the following problem: Let (G, +) be an abelian group,B a complex Banach space,a, bB,b0,M a positive integer; find all functionsf:G B such that for every (x, y) G ×G the Cauchy differencef(x+y)–f(x)–f(y) belongs to the set {a, a+b, a+2b, ...,a+Mb}. We prove that all solutions of the above problem can be obtained by means of the injective homomorphisms fromG/H intoR/Z, whereH is a suitable proper subgroup ofG.     

On factorizing meromorphic functions

Summary The paper determines all cases when a meromorphic functionF can be expressed both asf ⊗p andf ⊗q with the same meromorphicf and different polynomialsp andq. In all cases there are constantsk, β, a positive integerm, a root λ of unity of orderS and a polynomialr such thatp=(Lr) ^m+k,q=r ^m+k, whereLz=λz+β. We have eitherm=1,S arbitrary orm=2,S=2, which can occur even ifF andf are entire, or, in the remaining casesS=2, 3, 4 or 6,m dividesS andf(k+t ^m) is a doubly-periodic function.     

Equations fonctionnelles et estimations de normes de matrices

We solve independently the equations 1/θ(x)θ(y)=ψ(x)−ψ(y)+φ(x−y)/θ(x−y) and 1/θ(x)θ(y)=σ(x)−σ(y)/θ(x−y)+τ(x)τ(y), τ(0)=0. In both cases we find θ²=aθ⁴+bθ²+c. We deduce estimates for the spectral radius of a matrix of type(1/θ(x _r −x _s )) (the accent meaning that the coefficients of the main diagonal are zero) and we study the case where thex _r are equidistant.

Dédié to à Monsieur le Professeur Otto Haupt à l'occasion de son cententiare avec les meilleurs voeux     

Efficient Filon-type methods for $$\int_a^bf(x)\,{\rm e}^{{\rm i}\omega g(x)}\,{\rm d}x$$

Based on the transformation y = g(x), some new efficient Filon-type methods for integration of highly oscillatory function ò_a^bf(x) e^iwg(x) dx\int_a^bf(x)\,{\rm e}^{{\rm i}\omega g(x)}\,{\rm d}x with an irregular oscillator are presented. One is a moment-free Filon-type method for the case that g(x) has no stationary points in [a,b]. The others are based on the Filon-type method or the asymptotic method together with Filon-type method for the case that g(x) has stationary points. The effectiveness and accuracy are tested by numerical examples.     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.