Generic uniqueness of equilibrium points

Let X be a nonempty, convex and compact subset of normed linear space E (respectively, let X be a nonempty, bounded, closed and convex subset of Banach space E and A be a nonempty, convex and compact subset of X) and f:X×X→R be a given function, the uniqueness of equilibrium point for equilibrium problem which is to find x^∗∈X (respectively, x^∗∈A) such that f(x^∗,y)≥0 for all y∈X (respectively, f(x^∗,y)≥0 for all y∈A) is studied with varying f (respectively, with both varying f and varying A). The results show that most of equilibrium problems (in the sense of Baire category) have unique equilibrium point.     

Stability problem for the Go?a?b-Schinzel type functional equations

Let X be a vector space over a field K of real or complex numbers, n∈N and λ∈K?{0}. We study the stability problem for the Go?a?b-Schinzel type functional equations

f(x+fn(x)y)=λf(x)f(y)     

Classes of orderings of measures and related correlation inequalities. I. Multivariate totally positive distributions

A function f(x) defined on $\text{X}$ = $\text{X}$₁ × $\text{X}$₂ × … × $\text{X}$_n where each $\text{X}$_i is totally ordered satisfying f(x ∨ y) f(x ∧ y) ≥ f(x) f(y), where the lattice operations ∨ and ∧ refer to the usual ordering on $\text{X}$, is said to be multivariate totally positive of order 2 (MTP₂). A random vector Z = (Z₁, Z₂,…, Z_n) of n-real components is MTP₂ if its density is MTP₂. Classes of examples include independent random variables, absolute value multinormal whose covariance matrix Σ satisfies ?DΣ^?1D with nonnegative off-diagonal elements for some diagonal matrix D, characteristic roots of random Wishart matrices, multivariate logistic, gamma and F distributions, and others. Composition and marginal operations preserve the MTP₂ properties. The MTP₂ property facilitate the characterization of bounds for confidence sets, the calculation of coverage probabilities, securing estimates of multivariate ranking, in establishing a hierarchy of correlation inequalities, and in studying monotone Markov processes. Extensions on the theory of MTP₂ kernels are presented and amplified by a wide variety of applications.     

Continuous on rays solutions of an equation of the Go?a?b-Schinzel type

Let X be a real linear space. We characterize continuous on rays solutions f,g:X→R of the equation f(x+g(x)y)=f(x)f(y). Our result refers to papers of J. Chudziak (2006) [14] and J. Brzd?k (2003) [11].     

Optimal Pricing for Optimal Transport

Suppose that c(x, y) is the cost of transporting a unit of mass from x ∈ X to y ∈ Y and suppose that a mass distribution μ on X is transported optimally (so that the total cost of transportation is minimal) to the mass distribution ν on Y. Then, roughly speaking, the Kantorovich duality theorem asserts that there is a price f(x) for a unit of mass sold (say by the producer to the distributor) at x and a price g(y) for a unit of mass sold (say by the distributor to the end consumer) at y such that for any x ∈ X and y ∈ Y, the price difference g(y) ? f(x) is not greater than the cost of transportation c(x, y) and such that there is equality g(y) ? f(x) = c(x, y) if indeed a nonzero mass was transported (via the optimal transportation plan) from x to y. We consider the following optimal pricing problem: suppose that a new pricing policy is to be determined while keeping a part of the optimal transportation plan fixed and, in addition, some prices at the sources of this part are also kept fixed. From the producers’ side, what would then be the highest compatible pricing policy possible? From the consumers’ side, what would then be the lowest compatible pricing policy possible? We have recently introduced and studied settings in c-convexity theory which gave rise to families of c-convex c-antiderivatives, and, in particular, we established the existence of optimal c-convex c-antiderivatives and explicit constructions of these optimizers were presented. In applications, it has turned out that this is a unifying language for phenomena in analysis which used to be considered quite apart. In the present paper we employ optimal c-convex c-antiderivatives and conclude that these are natural solutions to the optimal pricing problems mentioned above. This type of problems drew attention in the past and existence results were previously established in the case where X = Y = ? ⁿ under various specifications. We solve the above problem for general spaces X, Y and real-valued, lower semicontinuous cost functions c. Furthermore, an explicit construction of solutions to the general problem is presented.     

On a pexiderized conditional exponential functional equation

We study the exponential functional equation f(x+y) = f(x)f(y) for (x; y) ∈ D ? X × X, where X is the domain of f. Regardless of the solutions of this equation, which in many special cases are already known, we investigate its stability and consider its pexiderized version. The intention of the paper is to give quite general approach to the studies of this subject as well as to describe the properties of D so that the results include those concerning orthogonal and some other conditional exponential equations.     

A functional equation having monomials as solutions

For each n=1,2,3, we obtain the general solution and the stability of the functional equation

f(2x+y)+f(2x-y)=2^n-2[f(x+y)+f(x-y)+6f(x)].     

The complete solution in integers of x3 + 3y3 = 2n

Some general remarks are made concerning the equation f(x, y) = qⁿ in the integral unknowns x, y, n, where f is an integral form and q > 1 is a given integer. It is proved that the only integral triads (x, y, n) satisfying x³ + 3y³ = 2ⁿ are (x, y, n) = (?1, 1, 1), (1, 1, 2), (?7, 5, 5,), (5, 1, 7).     

On the existence of certain measures appearing in distance geometry

Abstract. We prove the following result: Let X be a compact connected Hausdorff space and f be a continuous function on X x X. There exists some regular Borel probability measure m\mu on X such that the value of¶¶ ò\limit _X f(x,y)dm(y)\int\limit _X f(x,y)d\mu (y) is independent of the choice of x in X if and only if the following assertion holds: For each positive integer n and for all (not necessarily distinct) x₁,x₂,...,x_n,y₁,y₂,...,y_n in X, there exists an x in X such that¶¶ ?_i=1ⁿ f(x_i,x)=?_i=1ⁿ f(y_i,x).\sum\limits _{i=1}^n f(x_i,x)=\sum\limits _{i=1}^n f(y_i,x).     

A duality relation for entrance and exit laws for Markov processes

Markov processes X_t on (X, F_X) and Y_t on (Y, F_Y) are said to be dual with respect to the function f(x, y) if E_xf(X_t, y) = E_yf(x, Y_t for all x ? X, y ? Y, t ? 0. It is shown that this duality reverses the role of entrance and exit laws for the processes, and that two previously published results of the authors are dual in precisely this sense. The duality relation for the function f(x, y) = 1_{x<y} is established for one-dimensional diffusions, and several new results on entrance and exit laws for diffusions, birth-death processes, and discrete time birth-death chains are obtained.     

The pexiderized Go?a?b-Schinzel functional equation

Let X be a linear space over a commutative field K. We characterize a general solution f,g,h,k:X→K of the pexiderized Go?a?b-Schinzel equation f(x+g(x)y)=h(x)k(y), as well as real continuous solutions of the equation.     

Christensen measurable solutions of some functional equation

Let X be a separable F-space over the field K of reals or complex numbers. We characterize solutions of the equation

f(x+M(f(x))y)=f(x)f(y)     

Singular (k,n − k) boundary value problems between conjugate and right focal

For 1 ⩽k⩽n − 1 and 0 ⩽q⩽k − 1, solutions are obtained for the boundary value problem, (−1)^n−k = f(x,y), y⁽ⁱ⁾=0, 0⩽i⩽k − 1, and y⁽ⁱ⁾ = 0, q⩽j⩽n − k + q − 1, where f(x,y) is singular at y = 0. An application is made of a fixed point theorem for operators that are decreasing with respect to a cone.     

Identifying variable points on a smooth curve

LetX be a compact Riemann surface,n ≥ 2 an integer andx = [x ₁, …,x _n ] an unorderedn-tuple of not necessarily distinct points onX. Byf _x :X →Y _x we denote the normalization which identifies thex ₁, …,x _n and maps them to the only and universal singularity of a complex curveY _x . Thenf _x depends holomorphically onx and is uniquely determined by this parameter. In this context we consider the fine moduli spaceQ _X of all complex-analytic quotients ofX and construct a morphismS ⁿ (X) →Q _X such that each and everyf _x corresponds to the image of the pointx on then-fold symmetric powerS ⁿ (X). For everyn ≥ 2 the mappingS ⁿ (X) →Q _X is a closed embedding; the points of its image have embedding dimensionn(n ? 1) inQ _X . HenceS ²(X) is a smooth connected component ofQ _X . On the other hand, a deformation argument yields thatS ⁿ (X) is part of the singular locus of the complex spaceQ _X provided thatn ≥ 3.     

An alternative-conditional functional equation and the orthogonally additive functionals

Let X be a real inner product space of dimension greater than 2 and f be a real functional defined on X. Applying some ideas from the recent studies made on the alternative-conditional functional equation

Closed subsets of the domain whose image has the dimension of the range

It is shown that if dim Y < ∞ and if f(X) = Y is a mapping between compact metric spaces such that 1 ? m ? dim f^-1(y)?n for all y ? Y, then there exists a closed set K ? X such that dim K ? n ? m and dim f(K) = dim Y. This answers a question posed by J. Keesling and D. Wilson.     

Some generalizations of the first Fredholm theorem to multivalued A-proper mappings with applications to nonlinear elliptic equations

Let X and Y be real normed spaces with an admissible scheme Γ = {E_n, V_n; F_n, W_n} and T: X → 2^YA-proper with respect to Γ such that dist(y, A(x)) < kc(∥ x ∥) for all y in T(x) with ∥ x ∥ ? R for some R > 0 and k > 0, where c: R⁺ → R⁺ is a given function and A: X → 2^Y a suitable possibly not A-proper mapping. Under the assumption that either T or A is odd or that (u, Kx) ? 0 for all u in T(x) with $\text{∥ x ∥ ? r > 0}\text{and some}\text{K: X → Y}{}^1$, we obtain (in a constructive way) various generalizations of the first Fredholm theorem. The unique approximation-solvability results for the equation T(x) = f with T such that T(x) ? T(y) ?A(x ? y) for x, y in X or T is Fréchet differentiable are also established. The abstract results for A-proper mappings are then applied to the (constructive) solvability of some boundary value problems for quasilinear elliptic equations. Some of our results include the results of Lasota, Lasota-Opial, Hess, Ne?as, Petryshyn, and Babu?ka.     

On Osgood theorem in Banach spaces

Let X be a real Banach space, ω : [0, +∞) → ? be an increasing continuous function such that ω(0) = 0 and ω(t + s) ≤ ω(t) + ω(s) for all t, s ∈ [0, +∞). According to the infinite dimensional analog of the Osgood theorem if ∫¹₀ (ω(t))^?1 dt = ∞, then for any (t₀, x₀) ∈ ?×X and any continuous map f : ?×X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all t ∈ ?, x, y ∈ X, the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has a unique solution in a neighborhood of t₀. We prove that if X has a complemented subspace with an unconditional Schauder basis and ∫¹₀ (ω(t))^?1 dt < ∞ then there exists a continuous map f : ? × X → X such that ∥f(t, x) – f(t, y)∥ ≤ ω(∥x – y∥) for all (t, x, y) ∈ ? × X × X and the Cauchy problem (t) = f(t, x(t)), x(t₀) = x₀ has no solutions in any interval of the real line.     

Cone superadditivity of discrete convex functions

A function f is said to be cone superadditive if there exists a partition of R ⁿ into a family of polyhedral convex cones such that f(z?+?x) + f(z?+?y) ≤ f(z) + f(z?+?x?+?y) holds whenever x and y belong to the same cone in the family. This concept is useful in nonlinear integer programming in that, if the objective function is cone superadditive, the global minimality can be characterized by local optimality criterion involving Hilbert bases. This paper shows cone superadditivity of L-convex and M-convex functions with respect to conic partitions that are independent of particular functions. L-convex and M-convex functions in discrete variables (integer vectors) as well as in continuous variables (real vectors) are considered.