A generalized mixed type of quartic–cubic–quadratic–additive functional equations

We determine the general solution of the functional equation f(x + ky) + f(x-ky) = g(x + y) + g(x-y) + h(x) + h(y) for fixed integers with k ≠ 0; ±1 without assuming any regularity conditions for the unknown functions f, g, h, and0020[(h)\tilde] \tilde{h} . The method used for solving these functional equations is elementary but it exploits an important result due to Hosszú. The solution of this functional equation can also be obtained in groups of certain type by using two important results due to Székelyhidi.     

Finite-element approximation for singularly perturbed nonlinear elliptic boundary-value problems

Numerical solution of a two-dimensional nonlinear singularly perturbed elliptic partial differential equation ∈ Δu = f(x, u), 0 < x, y < 1, with Dirichlet boundary condition is discussed here. The modified Newton method of third-order convergence is employed to linearize the nonlinear problem in place of the standard Newton method. The finite-element method is used to find the solution of the nonlinear differential equation. Numerical results are provided to demonstrate the usefulness of the method.     

Annihilating power values of co-commutators with generalized derivations

Let R be a prime ring with its Utumi ring of quotient U, H and G be two generalized derivations of R and L a noncentral Lie ideal of R. Suppose that there exists 0 ≠ a ∈ R such that a(H(u)u − uG(u)) ⁿ  = 0 for all u ∈ L, where n ≥ 1 is a fixed integer. Then there exist b′,c′ ∈ U such that H(x) = b′x + xc′, G(x) = c′x for all x ∈ R with ab′ = 0, unless R satisfies s ₄, the standard identity in four variables.     

A Survey on dynamical transport distances

In this paper, we review some transport models based on the continuity equation, starting with the so-called Benamou − Brenier formula, which is nothing but a fluid mechanics reformulation of the Monge − Kantorovich problem with cost c(x, y) = |x − y|². We discuss some of its applications (gradient flows, sharp functional inequalities, etc.), as well as some variants and generalizations to dynamical transport problems, where interaction effects among mass particles are considered. Bibliography: 43 titles.     

Strict Betweennesses Induced by Posets as well as by Graphs

For a finite poset P = (V, ≤ ), let _s(P){\cal B}_s(P) consist of all triples (x,y,z) ∈ V ³ such that either x < y < z or z < y < x. Similarly, for every finite, simple, and undirected graph G = (V,E), let B_s(G){\cal B}_s(G) consist of all triples (x,y,z) ∈ V ³ such that y is an internal vertex on an induced path in G between x and z. The ternary relations B_s(P){\cal B}_s(P) and B_s(G){\cal B}_s(G) are well-known examples of so-called strict betweennesses. We characterize the pairs (P,G) of posets P and graphs G on the same ground set V which induce the same strict betweenness relation B_s(P)=B_s(G){\cal B}_s(P)={\cal B}_s(G).     

Derived Equivalences of Triangular Matrix Rings Arising from Extensions of Tilting Modules

A triangular matrix ring Λ is defined by a triplet (R,S,M) where R and S are rings and _R M _S is an S-R-bimodule. In the main theorem of this paper we show that if T _S is a tilting S-module, then under certain homological conditions on the S-module M _S , one can extend T _S to a tilting complex over Λ inducing a derived equivalence between Λ and another triangular matrix ring specified by (S′, R, M′), where the ring S′ and the R-S′-bimodule M′ depend only on M and T _S , and S′ is derived equivalent to S. Note that no conditions on the ring R are needed. These conditions are satisfied when S is an Artin algebra of finite global dimension and M _S is finitely generated. In this case, (S′,R,M′) = (S, R, DM) where D is the duality on the category of finitely generated S-modules. They are also satisfied when S is arbitrary, M _S has a finite projective resolution and Ext _S ⁿ (M _S , S) = 0 for all n > 0. In this case, (S′,R,M′) = (S, R, Hom _S (M, S)).     

Integral representation of even positive-definite functions of two variables

We obtain an integral representation of even functions of two variables for which the kernel [k ₁(x + y) + k ₂(x − y)], x, y ∈ R ², is positive definite.     

(K, K′)-quasiconformal Harmonic Mappings

We prove that a harmonic diffeomorphism between two Jordan domains with C ² boundaries is a (K, K′) quasiconformal mapping for some constants K ≥ 1 and K′ ≥ 0 if and only if it is Lipschitz continuous. In this setting, if the domain is the unit disk and the mapping is normalized by three boundary points condition we give an explicit Lipschitz constant in terms of simple geometric quantities of the Jordan curve which surrounds the codomain and (K, K′). The results in this paper generalize and extend several recently obtained results.     

Joint continuity of <Emphasis Type="Italic">K</Emphasis><Subscript><Emphasis Type="Italic">h</Emphasis></Subscript><Emphasis Type="Italic">C</Emphasis>-functions with values in moore spaces

We introduce the notion of categorical cliquish mapping and show that, for each K _h C-mapping f: X × Y → Z, where X is a topological space, Y is a space with the first axiom of countability, and Z is a Moore space, with categorical-cliquish horizontal y-sections f _y , the sets C _y (f) are residual G _δ-type sets in X for every y ∈ Y. Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 11, pp. 1539–1547, November, 2008.     

Phase portraits of the quadratic vector fields with a polynomial first integral

In this work we classify the phase portraits of all quadratic polynomial differential systems having a polynomial first integral. IfH(x, y) is a polynomial of degreen+1 then the differential systemx′=−∂H/∂y,y′=∂H/∂x is called a Hamiltonian system of degreen. We also prove that all the phase portraits that we obtain in this paper are realizable by Hamiltonian systems of degree 2.     

On the range of the derivative of Gâteaux-smooth functions on separable banach spaces

We prove that there exists a Lipschitz function froml ¹ into ℝ² which is Gateaux-differentiable at every point and such that for everyx, y εl ¹, the norm off′(x) −f′(y) is bigger than 1. On the other hand, for every Lipschitz and Gateaux-differentiable function from an arbitrary Banach spaceX into ℝ and for everyε > 0, there always exist two pointsx, y εX such that ‖f′(x) −f′(y)‖ is less thanε. We also construct, in every infinite dimensional separable Banach space, a real valued functionf onX, which is Gateaux-differentiable at every point, has bounded non-empty support, and with the properties thatf′ is norm to weak* continuous andf′(X) has an isolated pointa, and that necessarilya ε 0. This work has been initiated while the second-named author was visiting the University of Bordeaux. The second-named author is supported by grant AV 1019003, A1 019 205, GA CR 201 01 1198.     

On minimax identification of nonparametric autoregressive models

We consider the problem of nonparametric identification for a multi-dimensional functional autoregression y _t = f(y _{t −1}, …,y _t−d ) + e _t on the basis of N observations of y _t . In the case when the unknown nonlinear function f belongs to the Barron class, we propose an estimation algorithm which provides approximations of f with expected L ₂ accuracy O(N ^1/4ln^1/4 N). We also show that this approximation rate cannot be significantly improved. The proposed algorithms are “computationally efficient”– the total number of elementary computations necessary to complete the estimate grows polynomially with N. Received: 23 September 1997 / Revised version: 28 January 1999     

The Lambert W-functions and some of their integrals: a case study of high-precision computation

The real-valued Lambert W-functions considered here are w ₀(y) and w _− 1(y), solutions of we ^w  = y, − 1/e < y < 0, with values respectively in ( − 1,0) and ( − ∞ , − 1). A study is made of the numerical evaluation to high precision of these functions and of the integrals ò₁^￥ [-w₀(-xe^-x)]^a x^-bx\int_1^\infty [-w_0(-xe^{-x})]^\alpha x^{-\beta}\d x, α > 0, β ∈ ℝ, and ò₀¹ [-w_-1(-x e^-x)]^a x^-bx\int_0^1 [-w_{-1}(-x e^{-x})]^\alpha x^{-\beta}\d x, α > − 1, β < 1. For the latter we use known integral representations and their evaluation by nonstandard Gaussian quadrature, if α ≠ β, and explicit formulae involving the trigamma function, if α = β.     

Probabilities of high excursions of Gaussian fields

Let {ξ(t), t ∈ T} be a differentiable (in the mean-square sense) Gaussian random field with E ξ(t) ≡ 0, D ξ(t) ≡ 1, and continuous trajectories defined on the m-dimensional interval T ì \mathbbR^m T \subset {\mathbb{R}^m} . The paper is devoted to the problem of large excursions of the random field ξ. In particular, the asymptotic properties of the probability P = P{−v(t) < ξ(t) < u(t), t ∈ T}, when, for all t ∈ T, u(t), v(t) ⩾ χ, χ → ∞, are investigated. The work is a continuation of Rudzkis research started in [R. Rudzkis, Probabilities of large excursions of empirical processes and fields, Sov. Math., Dokl., 45(1):226–228, 1992]. It is shown that if the random field ξ satisfies certain smoothness and regularity conditions, then P = e^−Q  + Qo(1), where Q is a certain constructive functional depending on u, v, T, and the matrix function R(t) = cov(ξ′(t), ξ′(t)).     

On generalized derivations satisfying certain identities

Let R be a prime ring with char R ≠ 2 and let d be a generalized derivation on R. We study the generalized derivation d satisfying any of the following identities:

Partitioning Posets

Given a poset P = (X, ≺ ), a partition X ₁, ..., X _k of X is called an ordered partition of P if, whenever x ∈ X _i and y ∈ X _j with x ≺ y, then i ≤ j. In this paper, we show that for every poset P = (X, ≺ ) and every integer k ≥ 2, there exists an ordered partition of P into k parts such that the total number of comparable pairs within the parts is at most (m − 1)/k, where m ≥ 1 is the total number of edges in the comparability graph of P. We show that this bound is best possible for k = 2, but we give an improved bound, , for k ≥ 3, where c(k) is a constant depending only on k. We also show that, given a poset P = (X, ≺ ) and an integer 2 ≤ k ≤ |X|, we can find an ordered partition of P into k parts that minimises the total number of comparable pairs within parts in time polynomial in the size of P. We prove more general, weighted versions of these results. Supported by an EPSRC doctoral training grant.     

Measures on the Product of Compact Spaces

 If K is an uncountable metrizable compact space, we prove a “factorization” result for a wide variety of vector valued Borel measures μ defined on K ⁿ . This result essentially says that for every such measure μ there exists a measure μ′ defined on K such that the measure μ of a product A ₁ × ⋯ × A _n of Borel sets of K equals the measure μ′ of the intersection A ₁′∩⋯∩A _n ′, where the A _i ′’s are certain transforms of the A _i ’s. Partially supported by DGICYT grant PB97-0240. Received August 23, 2001; in revised form March 21, 2002     

Binomial Thue equations,ternary equations and power values of polynomials

We explicitly solve the equation Ax ⁿ   − By ⁿ  = ±1 and, along the way, we obtain new results for a collection of equations Ax ⁿ   − By ⁿ  = z ^m with m ∈ {3, n}, where x, y, z, A, B, and n are unknown nonzero integers such that n ≥ 3, AB = p ^α q ^β with nonnegative integers α and β and with primes 2 ≤ p < q < 30. The proofs depend on a combination of several powerful methods, including the modular approach, recent lower bounds for linear forms in logarithms, somewhat involved local considerations, and computational techniques for solving Thue equations of low degree.     

Nonfree actions of countable groups and their characters

The paper studies the region of values of the system {c ₂, c ₃, f(z ₁), f′(z ₁)},where z ₁ is an arbitrary fixed point of the disk |z| < 1; f ∈ T,and the class T consists of all the functions f(z) = z + c ₂ z ² + c ₃z³ + ⋯ regular in the disk |z| < 1 that satisfy the condition Im z · Im f(z) > 0 for Im z ≠ 0. The region of values of f′(z ₁) in the subclass of functions f ∈ T with prescribed values c ₂, c ₃, and f(z ₁) is determined. Bibliography: 10 titles.     

Hill’s potentials in weighted Sobolev spaces and their spectral gaps

We describe a new, short proof of some facts relating the gap lengths of the spectrum of a potential q of Hill’s equation, −y′′ + qy = λy, to its regularity. For example, a real potential is in a weighted Gevrey-Sobolev space if and only if its gap lengths, γ _n , belong to a similarly weighted sequence space. An extension of this result to complex potentials is proven as well. We also recover Trubowitz results about analytic potentials. The proof essentially employs the implicit function theorem.