Multiplication operators in Köthe-Bochner spaces

Let X be a Banach space and E an order continuous Banach function space over a finite measure μ. We prove that an operator T in the Köthe-Bochner space E(X) is a multiplication operator (by a function in L^∞(μ)) if and only if the equality T(g〈f,x^∗〉x)=g〈T(f),x^∗〉x holds for every g∈L^∞(μ), f∈E(X), x∈X and x^∗∈X^∗.     

Coefficient estimates for bi-univalent Ma-Minda starlike and convex functions

Estimates on the initial coefficients are obtained for normalized analytic functions f in the open unit disk with f and its inverse g=f⁻¹ satisfying the conditions that zf^′(z)/f(z) and zg^′(z)/g(z) are both subordinate to a univalent function whose range is symmetric with respect to the real axis. Several related classes of functions are also considered, and connections to earlier known results are made.     

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     

Remarks on some completely monotonic functions

Applying the Euler-Maclaurin summation formula, we obtain upper and lower polynomial bounds for the function , x>0, with coefficients the Bernoulli numbers Bk. This enables us to give simpler proofs of some results of H. Alzer and F. Qi et al., concerning complete monotonicity of certain functions involving the gamma function Γ(x), the psi function ψ(x) and the polygamma functions ψ(n)(x), n=1,2,… .     

Linear transformations of monotone functions on the discrete cube

For a function f:{0,1}ⁿ→R and an invertible linear transformation L∈GL_n(2), we consider the function Lf:{0,1}ⁿ→R defined by Lf(x)=f(Lx). We raise two conjectures: First, we conjecture that if f is Boolean and monotone then I(Lf)≥I(f), where I(f) is the total influence of f. Second, we conjecture that if both f and L(f) are monotone, then f=L(f) (up to a permutation of the coordinates). We prove the second conjecture in the case where L is upper triangular.     

Boundary layer solutions to problems with infinite-dimensional singular and regular perturbations

We prove existence, local uniqueness and asymptotic estimates for boundary layer solutions to singularly perturbed equations of the type (ε²(x)u^′′(x))=f(x,u(x))+g(x,u(x),ε(x)u^′(x)), 0<x<1, with Dirichlet and Neumann boundary conditions. Here the functions ε and g are small and, hence, regarded as singular and regular functional perturbation parameters. The main tool of the proofs is a generalization (to Banach space bundles) of an implicit function theorem of R. Magnus.     

Periodic decomposition of measurable integer valued functions

We study those functions that can be written as a sum of (almost everywhere) integer valued periodic measurable functions with given periods. We show that being (almost everywhere) integer valued measurable function and having a real valued periodic decomposition with the given periods is not enough. We characterize those periods for which this condition is enough. We also get that the class of bounded measurable (almost everywhere) integer valued functions does not have the so-called decomposition property. We characterize those periods a₁,…,ak for which an almost everywhere integer valued bounded measurable function f has an almost everywhere integer valued bounded measurable (a₁,…,ak)-periodic decomposition if and only if Δa₁?Δakf=0, where Δaf(x)=f(x+a)−f(x).     

Uniform boundary Harnack principle and generalized triangle property

Let D be a bounded open subset in R^d, d?2, and let G denote the Green function for D with respect to (-Δ)^α/2, 0<α?2, α<d. If α<2, assume that D satisfies the interior corkscrew condition; if α=2, i.e., if G is the classical Green function on D, assume—more restrictively—that D is a uniform domain. Let g=G(·,y₀)∧1 for some y₀∈D. Based on the uniform boundary Harnack principle, it is shown that G has the generalized triangle property which states that when d(z,x)?d(z,y). An intermediate step is the approximation G(x,y)≈|x-y|^α-dg(x)g(y)/g(A)², where A is an arbitrary point in a certain set B(x,y).This is discussed in a general setting where D is a dense open subset of a compact metric space satisfying the interior corkscrew condition and G is a quasi-symmetric positive numerical function on D×D which has locally polynomial decay and satisfies Harnack's inequality. Under these assumptions, the uniform boundary Harnack principle, the approximation for G, and the generalized triangle property turn out to be equivalent.     

Uniqueness properties in finite-continuous additive measurement

Let ? be a binary relation on A×X, and suppose that there are real valued functions f on A and g on X such that, for all ax, by ∈ A×X, ax ? by if and only if f (a)+g(x) ? f(b)+g(y). This paper establishes uniqueness properties for f and g when A is a finite set, X is a real interval with g increasing on X, and for any a, b and x there is a y for which f(a)+g(x)=f(b)+g(y). The resultant uniqueness properties occupy an intermediate position among uniqueness properties for other structural cases of two-factor additive measurement.It is shown that f is unique up to a positive affine transformation (αf+β₁ with α > 0), but that g is unique up to a similar positive affine transformation (αg+β₂) if and only if the ratio [f(a)?f(b)]/[f(a)?f(c)] is irrational for some a, b, c ∈ A. When the f ratios are rational for all cases where they are defined, there will be a half-open interval (x₀, x₁) in X such that the restriction of g on (x₀, x₁) can be any increasing function for which sup {g(x)?g(x₀): x₀ ? x < x₁} does not exceed a specified bound, and, when g is thus defines on (x₀, x₁), it will be uniquely determined on the rest of X. In general, g must be continuous only in the ‘irrational’ case.     

Finite metrics in switching classes

Let g:D×D→R be a symmetric function on a finite set D satisfying g(x,x)=0 for all x∈D. A switch g^σ of g w.r.t. a local valuation σ:D→R is defined by g^σ(x,y)=σ(x)+g(x,y)+σ(y) for x≠y and g^σ(x,x)=0 for all x. We show that every symmetric function g has a unique minimal semimetric switch, and, moreover, there is a switch of g that is isometric to a finite Manhattan metric. Also, for each metric on D, we associate an extension metric on the set of all nonempty subsets of D, and we show that this extended metric inherits the switching classes on D.     

Log-convexity and log-concavity of hypergeometric-like functions

We find sufficient conditions for log-convexity and log-concavity for the functions of the forms a?∑fkk(a)xk, a?∑fkΓ(a+k)xk and a?∑fkxk/k(a). The most useful examples of such functions are generalized hypergeometric functions. In particular, we generalize the Turán inequality for the confluent hypergeometric function recently proved by Barnard, Gordy and Richards and log-convexity results for the same function recently proved by Baricz. Besides, we establish a reverse inequality which complements naturally the inequality of Barnard, Gordy and Richards. Similar results are established for the Gauss and the generalized hypergeometric functions. A conjecture about monotonicity of a quotient of products of confluent hypergeometric functions is made.     

Asymptotic coefficients for Gaussian radial basis function interpolants

Gaussian radial basis functions (RBFs) on an infinite interval with uniform grid pacing h are defined by ?(x;α,h)≡exp(-[α²/h²]x²). The only significant numerical parameter is α, the inverse width of the RBF functions relative to h. In the limit α→0, we demonstrate that the coefficients of the interpolant of a typical function f(x) grow proportionally to exp(π²/[4α²]). However, we also show that the approximation to the constant f(x)≡1 is a Jacobian theta function whose coefficients do not blow up as α→0. The subtle interplay between the complex-plane singularities of f(x) (the function being approximated) and the RBF inverse width parameter α are analyzed. For α≈1/2, the size of the RBF coefficients and the condition number of the interpolation matrix are both no larger than O(10⁴) and the error saturation is smaller than machine epsilon, so this α is the center of a “safe operating range” for Gaussian RBFs.     

Approximation by smooth functions with no critical points on separable Banach spaces

We characterize the class of separable Banach spaces X such that for every continuous function and for every continuous function there exists a C¹ smooth function for which |f(x)−g(x)|?ε(x) and g^′(x)≠0 for all x∈X (that is, g has no critical points), as those infinite-dimensional Banach spaces X with separable dual X^∗. We also state sufficient conditions on a separable Banach space so that the function g can be taken to be of class Cp, for p=1,2,…,+∞. In particular, we obtain the optimal order of smoothness of the approximating functions with no critical points on the classical spaces ?p(N) and Lp(Rn). Some important consequences of the above results are (1) the existence of a non-linear Hahn-Banach theorem and the smooth approximation of closed sets, on the classes of spaces considered above; and (2) versions of all these results for a wide class of infinite-dimensional Banach manifolds.     

Representations of positive polynomials on noncompact semialgebraic sets via KKT ideals

This paper studies the representation of a positive polynomial f(x) on a noncompact semialgebraic set S={x∈Rⁿ:g₁(x)≥0,…,g_s(x)≥0} modulo its KKT (Karush-Kuhn-Tucker) ideal. Under the assumption that the minimum value of f(x) on S is attained at some KKT point, we show that f(x) can be represented as sum of squares (SOS) of polynomials modulo the KKT ideal if f(x)>0 on S; furthermore, when the KKT ideal is radical, we argue that f(x) can be represented as a sum of squares (SOS) of polynomials modulo the KKT ideal if f(x)≥0 on S. This is a generalization of results in [J. Nie, J. Demmel, B. Sturmfels, Minimizing polynomials via sum of squares over the gradient ideal, Mathematical Programming (in press)], which discusses the SOS representations of nonnegative polynomials over gradient ideals.     

On a generalization of Minkowski's convex body theorem

Given a lattice $\text{Λ ? R}{}^{\mathrm{n}}$ and a bounded function g(x), x ∈ Rⁿ, vanishing outside of a bounded set, the functions ?(x)$\text{g}\text{?}\text{(x)?}$max_u∈Λg(u +x), ?(x)?Σ_{u∈Λ g(u +x)}, and ?₊(x)?Σ_u∈Λ max_{v∈Λ min {g(v + x); g(u + v + x)}} are defined and periodic mod Λ on Rⁿ. In the paper we prove that ?(x) + ?₊(x) ? 2?(x) ≥ ?(x) + h?₊(x) ? 2?(x) holds for all x ∈ Rⁿ, where h(x) is any “truncation” of g by a constant c ≥ 0, i.e., any function of the form h(x)?g(x) if g(x) ≤ c and h(x)?c if g(x) > c. This inequality easily implies some known estimations in the geometry of numbers due to Rado [1] and Cassels [2]. Moreover, some sharper and more general results are also derived from it. In the paper another inequality of a similar type is also proved.     

Non-monotonic solutions and continuously differentiable solutions of conjugacy equations

In this paper solutions of conjugacy equation φ(f(x))=g(φ(x)) for a strictly decreasing continuous given function f and a continuous given function g (maybe non-monotonic) are constructed by piecewise defining. We determine the conditions for piecewise continuously differentiable solutions of conjugacy equations with a strictly decreasing continuously differentiable given function f and a continuously differentiable given function g. Finally, the recursive algorithm is implemented in MATLAB software and two examples are respectively presented for a non-monotonic solution and a continuously differentiable one.     

Stability of a simple Levi–Civitá functional equation on non-unital commutative semigroups

In this paper, we study the Hyers–Ulam stability of a simple Levi–Civitá functional equation f(x+y)=f(x)h(y)+f(y) and its pexiderization f(x+y)= g(x) h(y)+k(y) on non-unital commutative semigroups by investigating the functional inequalities |f(x+y)?f(x)h(y)?f(y)|≤?? and |f(x+y)?g(x)h(y)?k(y)|≤??, respectively. We also study the bounded solutions of the simple Levi–Civitá functional inequality.     

Crooked binomials

A function f : GF(2 ^r ) → GF(2 ^r ) is called crooked if the sets {f(x) + f(x + a)|x ∈ GF(2 ^r )} is an affine hyperplane for any nonzero a ∈ GF(2 ^r ). We prove that a crooked binomial function f(x) = x ^d + ux ^e defined on GF(2 ^r ) satisfies that both exponents d, e have 2-weights at most 2.      

Nondegeneracy and uniqueness for boundary blow-up elliptic problems

In this paper, we use for the first time linearization techniques to deal with boundary blow-up elliptic problems. After introducing a convenient functional setting, we show that the problem Δu=λa(x)u^p+g(x,u) in Ω, with u=+∞ on ∂Ω, has a unique positive solution for large enough λ, and determine its asymptotic behavior as λ→+∞. Here p>1, a(x) is a continuous function which can be singular near ∂Ω and g(x,u) is a perturbation term with potential growth near zero and infinity. We also consider more general problems, obtained by replacing u^p by e^u or a “logistic type” function f(u).