Stability of a functional equation for generalized polynomials

All solutions of the equation \({f(x)+\sum_{i=1}^na_if(x+\rho_iy)+\sum_{j=1}^lb_jf(\sigma_jy)=0}\) are generalized polynomials of degree at most n. The general solution heavily depends on the parameters \({a_i, \rho_i, b_j, \sigma_j}\). Here the stability of this equation is investigated, i. e., for given suitable \({\varphi}\) the inequality \({\Vert f(x)+\sum_{i=1}^na_if(x+\rho_iy)+\sum_{j=1}^lb_jf(\sigma_jy)\Vert\le\varphi(x,y)}\) is considered. The method does not seem to standard: At first it is shown that f is “close” to some generalized polynomial P of degree at most n; and then it is shown that P is a solution of the equation above. In this context it is not necessary to know all solutions of the equation. Even more, there is no need to decide whether the equation has non-trivial solutions or not.     

Reducing Subspaces of Multiplication Operators on the Dirichlet Space

In this paper, we study the reducing subspaces for the multiplication operator by a finite Blaschke product \({\phi}\) on the Dirichlet space D. We prove that any two distinct nontrivial minimal reducing subspaces of \({M_\phi}\) are orthogonal. When the order n of \({\phi}\) is 2 or 3, we show that \({M_\phi}\) is reducible on D if and only if \({\phi}\) is equivalent to \({z^n}\). When the order of \({\phi}\) is 4, we determine the reducing subspaces for \({M_\phi}\), and we see that in this case \({M_\phi}\) can be reducible on D when \({\phi}\) is not equivalent to \({z^4}\). The same phenomenon happens when the order n of \({\phi}\) is not a prime number. Furthermore, we show that \({M_\phi}\) is unitarily equivalent to \({M_{z^n} (n > 1)}\) on D if and only if \({\phi = az^n}\) for some unimodular constant a.     

On the equality and comparison problem of a class of mean values

Let \({I\subset \mathbb {R}}\) be a nonvoid open interval. A function \({K:I^2\to I}\) is called an M-conjugate mean if there exists \({(p,q)\in [0,1]^2}\) and a continuous strictly monotone real valued function \({\varphi}\) on I such that

$K(x,y)=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q)\varphi(M(x,y)))=:M_ \varphi^{(p,q)}(x,y)$

holds for all \({x,y\in I}\). In this paper, we investigate the equality and comparison problem in the class of M-conjugate means, in the case when

$M(x,y):=\min\{x,y\}\quad (x,y\in I)$

.

     

On some set-valued iteration semigroups generated by interval-valued functions

Let X be an arbitrary set. We characterize all interval-valued functions \({A:X\to 2^\mathbb{R}}\) for which a multifunction \({F:(0,\infty)\times X\to 2^X}\) of the form \({F(t,x)=A^{-}\big(A(x)+\min \{t,q-\inf A(x)\}\big)}\), where \({q=\sup A(X)}\), is an iteration semigroup. The multifunction F is the set-valued counterpart of the fundamental form of continuous iteration semigroups of single-valued functions on an interval.     

On the k-free values of the polynomial {xy^k + C}

Consider the polynomial \({f(x, y) = xy^k + C}\) for \({k \geq 2}\) and any nonzero integer constant C. We derive an asymptotic formula for the k-free values of \({f(x, y)}\) when \({x, y \leq H}\). We also prove a similar result for the k-free values of \({f(p, q)}\) when \({p, q \leq H}\) are primes, thus extending Erd?s’ conjecture for our specific polynomial. The strongest tool we use is a recent generalization of the determinant method due to Reuss.     

Solvability near the characteristic set for a special class of complex vector fields

This work deals with the solvability near the characteristic set Σ = {0} × S ¹ of operators of the form \({L=\partial/\partial t + (x^na(x) + ix^mb(x))\partial/\partial x}\), \({b\not\equiv0}\) and a(0) ≠ 0, defined on \({\Omega_\epsilon=(-\epsilon,\epsilon)\times S^1}\), \({\epsilon >0 }\), where a and b are real-valued smooth functions in \({(-\epsilon,\epsilon)}\) and m ≥ 2n. It is shown that given f belonging to a subspace of finite codimension of \({C^\infty(\Omega_\epsilon)}\) there is a solution \({u\in L^\infty}\) of the equation Lu = f in a neighborhood of Σ; moreover, the L ^∞ regularity is sharp.     

Symmetry for a general class of overdetermined elliptic problems

Let \({\Omega}\) a bounded domain in \({\mathbb{R} ^N }\), and let \({u\in C^1 (\overline{\Omega})}\) a weak solution of the following overdetermined BVP: \({-\nabla (g(|\nabla u|)|\nabla u|^{-1}\nabla u)=f(|x|,u)}\), \({ u > 0 }\) in \({\Omega }\) and \({u=0, \ |\nabla u(x)|=\lambda (|x|)}\) on \({\partial \Omega }\), where \({g\in C([0,+\infty)\cap C^1 ((0,+\infty ) ) }\) with \({g(0)=0}\), \({g'(t) > 0}\) for \({t > 0}\), \({f\in C([0,+\infty ) \times [0, +\infty ) )}\), f is nonincreasing in \({|x|}\), \({\lambda \in C([0, +\infty )) }\) and \({\lambda }\) is positive and nondecreasing. We show that \({\Omega }\) is a ball and u satisfies some “local” kind of symmetry. The proof is based on the method of continuous Steiner symmetrization.     

On the Drygas functional equation in restricted domains

Let \({{\mathbb{R}}}\) and Y be the set of real numbers and a Banach space respectively, and \({f, g :{\mathbb{R}} \to Y}\). We prove the Ulam-Hyers stability theorems for the Pexider-quadratic functional equation \({f(x + y) + f(x - y) = 2f(x) + 2g(y)}\) and the Drygas functional equation \({f(x + y) + f(x - y) = 2f(x) + f(y) + f(-y)}\) in the restricted domains of form \({\Gamma_d := \Gamma \cap \{(x, y) \in {\mathbb{R}}^2 : |x| + |y| \ge d\}}\), where \({\Gamma}\) is a rotation of \({B \times B \subset {\mathbb{R}}^2}\) and \({B^c}\) is of the first category. As a consequence we obtain asymptotic behaviors of the equations in a set \({\Gamma_d \subset {\mathbb{R}}^2}\) of Lebesgue measure zero.     

A functional equation with involution related to the cosine function

Let G be an abelian group, \({\mathbb{C}}\) be the field of complex numbers, \({\alpha \in G}\) be any fixed element and \({\sigma : G \to G}\) be an involution. In this paper, we determine the general solution \({f, g : G \to \mathbb{C}}\) of the functional equation \({f(x + \sigma y + \alpha) + g(x + y + \alpha) = 2f(x)f(y)}\) for all \({x, y \in G}\).     

A remark on hereditarily nonparadoxical sets

Call a set \({A \subseteq \mathbb {R}}\)paradoxical if there are disjoint \({A_0, A_1 \subseteq A}\) such that both \({A_0}\) and \({A_1}\) are equidecomposable with \({A}\) via countabbly many translations. \({X \subseteq \mathbb {R}}\) is hereditarily nonparadoxical if no uncountable subset of \({X}\) is paradoxical. Penconek raised the question if every hereditarily nonparadoxical set \({X \subseteq \mathbb {R}}\) is the union of countably many sets, each omitting nontrivial solutions of \({x - y = z - t}\). Nowik showed that the answer is ‘yes’, as long as \({|X| \leq \aleph_\omega}\). Here we show that consistently there exists a counterexample of cardinality \({\aleph_{\omega+1}}\) and it is also consistent that the continuum is arbitrarily large and Penconek’s statement holds for any \({X}\).     

On polynomial congruences

We deal with functions which fulfil the condition \({\Delta_h^{n+1} \varphi(x)\in\mathbb{Z}}\) for all x, h taken from some linear space V. We derive necessary and sufficient conditions for such a function to be decent in the following sense: there exist functions \({f\colon V\rightarrow \mathbb{R},\ g\colon V \rightarrow \mathbb{Z}}\) such that \({\varphi = f + g}\) and \({\Delta_h^{n+1}f(x)=0}\) for all \({x, h\in V}\).     

Theta characteristics of hyperelliptic graphs

We study theta characteristics of hyperelliptic metric graphs of genus g with no bridge edges. These graphs have a harmonic morphism of degree two to a metric tree that can be lifted to a morphism of degree two of a hyperelliptic curve X over K to the projective line, with K an algebraically closed field of char\({(K) \not =2}\), complete with respect to a non-Archimedean valuation, with residue field k of char\({(k)\not=2}\). The hyperelliptic curve has \({2^{2g}}\) theta characteristics. We show that for each effective theta characteristic on the graph, \({2^{g-1}}\) even and \({2^{g-1}}\) odd theta characteristics on the curve specialize to it; and \({2^g}\) even theta characteristics on the curve specialize to the unique not effective theta characteristics on the graph.     

Lifting Fixed Points of Completely Positive Semigroups

Let \({\{\phi_s\}_{s\in S}}\) be a commutative semigroup of completely positive, contractive, and weak*-continuous linear maps acting on a von Neumann algebra N. Assume there exists a semigroup \({\{\alpha_s\}_{s\in S}}\) of weak*-continuous *-endomorphisms of some larger von Neumann algebra \({M\supset N}\) and a projection \({p\in M}\) with N = pMp such that α _s (1 ? p) ≤ 1 ? p for every \({s\in S}\) and \({\phi_s(y)=p\alpha_s(y)p}\) for all \({y\in N}\). If \({\inf_{s \in S}\alpha_s(1-p)=0}\) then we show that the map \({E:M\to N}\) defined by E(x) = pxp for \({x\in M}\) induces a complete isometry between the fixed point spaces of \({\{\alpha_s\}_{s\in S}}\) and \({\{\phi_s\}_{s\in S}}\).     

Some homological properties of {T}-Lau product algebras

Let \({T}\) be a homomorphism from a Banach algebra \({B}\) to a Banach algebra \({A}\). The Cartesian product space \({A\times B}\) with \({T}\)-Lau multiplication and \({\ell^1}\)-norm becomes a new Banach algebra \({A\times _T B}\). We investigate the notions such as approximate amenability, pseudo amenability, \({\phi}\)-pseudo amenability, \({\phi}\)-biflatness and \({\phi}\)-biprojectivity for Banach algebra \({A\times_T B}\). We also present an example to show that approximate amenability of \({A}\) and \({B}\) is not stable for \({A\times _TB}\). Finally we characterize the double centralizer algebra of \({A\times _T B}\) and present an application of this characterization.     

Generalized commutativity of lattice-ordered groups II

Commutative \({\ell}\)-groups G (in which for all \({x, y \in G, xy = yx}\)) were studied long ago. This was then generalized to the study of \({\ell}\)-groups G in which for a given integer n and for all \({x, y \in G, x^{n}y^{n} = y^{n}x^{n}}\). It was then discovered that if for all \({x, y \in G}\), both \({x^{n}y^{n} = y^{n}x^{n}}\) and \({x^{m}y^{m} = y^{m}x^{m}}\) for two different integers m, n, then also \({x^{d}y^{d} = y^{d}x^{d}}\), where d is the greatest common divisor of m, n.     

Min-max and robust polynomial optimization

We consider the robust (or min-max) optimization problem

$J^*:=\max_{\mathbf{y}\in{\Omega}}\min_{\mathbf{x}}\{f(\mathbf{x},\mathbf{y}): (\mathbf{x},\mathbf{y})\in\mathbf{\Delta}\}$

where f is a polynomial and \({\mathbf{\Delta}\subset\mathbb{R}^n\times\mathbb{R}^p}\) as well as \({{\Omega}\subset\mathbb{R}^p}\) are compact basic semi-algebraic sets. We first provide a sequence of polynomial lower approximations \({(J_i)\subset\mathbb{R}[\mathbf{y}]}\) of the optimal value function \({J(\mathbf{y}):=\min_\mathbf{x}\{f(\mathbf{x},\mathbf{y}): (\mathbf{x},\mathbf{y})\in \mathbf{\Delta}\}}\). The polynomial \({J_i\in\mathbb{R}[\mathbf{y}]}\) is obtained from an optimal (or nearly optimal) solution of a semidefinite program, the ith in the “joint + marginal” hierarchy of semidefinite relaxations associated with the parametric optimization problem \({\mathbf{y}\mapsto J(\mathbf{y})}\), recently proposed in Lasserre (SIAM J Optim 20, 1995-2022, 2010). Then for fixed i, we consider the polynomial optimization problem \({J^*_i:=\max\nolimits_{\mathbf{y}}\{J_i(\mathbf{y}):\mathbf{y}\in{\Omega}\}}\) and prove that \({\hat{J}^*_i(:=\displaystyle\max\nolimits_{\ell=1,\ldots,i}J^*_\ell)}\) converges to J* as i → ∞. Finally, for fixed ? ≤ i, each \({J^*_\ell}\) (and hence \({\hat{J}^*_i}\)) can be approximated by solving a hierarchy of semidefinite relaxations as already described in Lasserre (SIAM J Optim 11, 796–817, 2001; Moments, Positive Polynomials and Their Applications. Imperial College Press, London 2009).

     

{\mathbb{Z}_2}-bordism and the Borsuk–Ulam Theorem

The purpose of this work is to classify, for given integers \({m,\, n\geq 1}\), the bordism class of a closed smooth \({m}\)-manifold \({X^m}\) with a free smooth involution \({\tau}\) with respect to the validity of the Borsuk–Ulam property that for every continuous map \({\phi : X^m \to \mathbb{R}^n}\) there exists a point \({x\in X^m}\) such that \({\phi (x)=\phi (\tau (x))}\). We will classify a given free \({\mathbb{Z}_2}\)-bordism class \({\alpha}\) according to the three possible cases that (a) all representatives \({(X^m, \tau)}\) of \({\alpha}\) satisfy the Borsuk–Ulam property; (b) there are representatives \({({X_{1}^{m}}, \tau_1)}\) and \({({X_{2}^{m}}, \tau_2)}\) of \({\alpha}\) such that \({({X_{1}^{m}}, \tau_1)}\) satisfies the Borsuk–Ulam property but \({({X_{2}^{m}}, \tau_2)}\) does not; (c) no representative \({(X^m, \tau)}\) of \({\alpha}\) satisfies the Borsuk–Ulam property.     

Remarks on the nonexistence of biharmonic maps

In this short note we study a nonexistence result of biharmonic maps from a complete Riemannian manifold into a Riemannian manifold with nonpositive sectional curvature. Assume that \({\phi : (M, g) \to (N, h)}\) is a biharmonic map, where (M, g) is a complete Riemannian manifold and (N, h) a Riemannian manifold with nonpositive sectional curvature, we will prove that \({\phi}\) is a harmonic map if one of the following conditions holds: (i) \({|d\phi|}\) is bounded in L^q(M) and \({\int_{M}|\tau(\phi)|^{p}dv_{g} < \infty}\), for some \({1 \leq q \leq \infty}\), \({1 < p < \infty}\); or (ii) \({Vol(M) = \infty}\) and \({\int_{M}|\tau(\phi)|^{p}dv_{g} < \infty}\), for some \({1 < p < \infty}\). In addition, if N has strictly negative sectional curvature, we assume that \({rank\phi(q) \geq 2}\) for some \({q \in M}\) and \({\int_{M}|\tau(\phi)|^{p}dv_{g} < \infty}\), for some \({1 < p < \infty}\). These results improve the related theorems due to Baird et al. (cf. Ann Golb Anal Geom 34:403–414, 2008), Nakauchi et al. (cf. Geom. Dedicata 164:263–272, 2014), Maeta (cf. Ann Glob Anal Geom 46:75–85, 2014), and Luo (cf. J Geom Anal 25:2436–2449, 2015).     

Linear Maps Preserving Numerical Radius on Nest Algebras

A linear map \({\phi}\) of operator algebras is said to preserve numerical radius (or to be a numerical radius isometry) if \({w(\phi(A))=w(A)}\) for all A in its domain algebra, where w(A) stands for the numerical radius of A. In this paper, we prove that a surjective linear map \({\phi}\) of the nest algebra \({{\rm Alg}\mathcal N}\) onto itself preserves numerical radius if and only if there exist a unitary U and a complex number ξ of modulus one such that \({\phi(A)= \xi UAU^*}\) for all \({A\in{\rm Alg}\mathcal N}\), or there exist a unitary U, a conjugation J and a complex number ξ of modulus one such that \({\phi(A)=\xi UJA^*JU^*}\) for all \({A\in{\rm Alg}\mathcal N}\).     

Homoclinic Solutions for <Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)-Laplacian–Hamiltonian Systems Without Coercive Conditions

In this paper, we study the existence and multiplicity of homoclinic solutions for the following second-order p(t)-Laplacian–Hamiltonian systems

$$\frac{{\rm d}}{{\rm d}t}(|\dot{u}(t)|^{p(t)-2}\dot{u}(t))-a(t)|u(t)|^{p(t)-2}u(t)+\nabla W(t,u(t))=0,$$

where \({t \in \mathbb{R}}\), \({u \in \mathbb{R}^n}\), \({p \in C(\mathbb{R},\mathbb{R})}\) with p(t) > 1, \({a \in C(\mathbb{R},\mathbb{R})}\), \({W\in C^1(\mathbb{R}\times\mathbb{R}^n,\mathbb{R})}\) and \({\nabla W(t,u)}\) is the gradient of W(t, u) in u. The point is that, assuming that a(t) is bounded in the sense that there are constants \({0<\tau_1<\tau_2<\infty}\) such that \({\tau_1\leq a(t)\leq \tau_2 }\) for all \({t \in \mathbb{R}}\) and W(t, u) is of super-p(t) growth or sub-p(t) growth as \({|u|\rightarrow \infty}\), we provide two new criteria to ensure the existence and multiplicity of homoclinic solutions, respectively. Recent results in the literature are extended and significantly improved.