Weakly Regular Semigroups of Isotone Transformations

Let X be a partially ordered set and O(X) be the semigroup of all mappings X → X that preserve the order, i.e., x ≤ y ? xα ≤ yα for all x, y ∈ X. It is proved that the semigroup O(X) is weakly regular in the wide sense if and only if at least one of the following conditions holds: (1) X is a quasi-complete chain; (2) the elements of X are not comparable pairwise; (3) X = Y ∪ Z, where y < z for y ∈ Y, z ∈ Z; (4) X = Y ∪ Z, where y ₀ ∈ Y, z ₀ ∈ Z, and y ₀ < z for z ∈ Z, y < z0 for y ∈ Y; (5) X = {a, c} ∪ B, where a < b < c for b ∈ B; (6) X = {1, 2, 3, 4, 5, 6}, where 1 < 4, 1 < 5, 2 < 5, 2 < 6, 3 < 4, 3 < 6. Moreover, if X is a quasi-ordered set but not partially ordered, then the semigroup O(X) is weakly regular in the wide sense if and only if x ≤ y for all x, y ∈ X.     

A fourth-order finite difference method based on uniform mesh for singular two-point boundary-value problems

We present a new fourth-order finite difference method based on uniform mesh for the (weakly) singular two-point boundary value problem: (x^αy′)′ = f(x, y), 0 < x ⩽ 1, y(0) = A, y(1) = B, 0 < α < 1. Our method provides O(h⁴)-convergent approximations for all α ∈ (0, 1); for α = 0 it reduces to the well-known fourth-order method of Numerov for $\text{y″ = ƒ(x, y)}$.     

A new off-step high order approximation for the solution of three-space dimensional nonlinear wave equations

In this paper, we propose a new high accuracy numerical method of O(k² + k²h² + h⁴) based on off-step discretization for the solution of 3-space dimensional non-linear wave equation of the form u_tt = A(x,y,z,t)u_xx + B(x,y,z,t)u_yy + C(x,y,z,t)u_zz + g(x,y,z,t,u,u_x,u_y,u_z,u_t), 0 < x,y,z < 1,t > 0 subject to given appropriate initial and Dirichlet boundary conditions, where k > 0 and h > 0 are mesh sizes in time and space directions respectively. We use only seven evaluations of the function g as compared to nine evaluations of the same function discussed in  and . We describe the derivation procedure in details of the algorithm. The proposed numerical algorithm is directly applicable to wave equation in polar coordinates and we do not require any fictitious points to discretize the differential equation. The proposed method when applied to a telegraphic equation is also shown to be unconditionally stable. Comparative numerical results are provided to justify the usefulness of the proposed method.     

Properties of functions with monotone graphs

A metric space (X,d) is monotone if there is a linear order < on X and a constant c>0 such that d(x,y)≦cd(x,z) for all x<y<z∈X. Properties of continuous functions with monotone graph (considered as a planar set) are investigated. It is shown, for example, that such a function can be almost nowhere differentiable, but must be differentiable at a dense set, and that the Hausdorff dimension of the graph of such a function is 1.     

Control problems for parabolic equations on controlled domains

Given the one-dimensional heat equation v_t = v_xx on the controlled domain Q(y) = {(t, x); 0 < x < y(t), 0 < t < T} subject to some initial-boundary conditions, we study the problem of optimally selecting y(·) from some admissible class so as to maximize a given payoff of fixed duration. Q(y) is thus a controlled domain. We also study the problem in which the heat equation holds in Q(y, z) = {z(t) < x < y(t), 0 < t < T}; z minimizing, y maximizing, i.e., the differential game. The principle techniques involved are (i) transforming the controlled domain to an uncontrolled domain and then (ii) using the method of lines for parabolic equations to enable us to use known results for control systems governed by ordinary differential equations. Sufficient conditions for existence in an admissible class is given and the method of lines allows numerical techniques to be applied to determine the optimal control in our class.     

Dictators on blocks: Generalizations of social choice impossibility theorems

This paper extends impossibility theorems of Arrow and others to cases in which social comparisons between alternatives in a set X of social alternatives may be made only for each pair {x, y} in a certain subset of distinct pairs taken from X. With E the set of pairs within which social comparisons may be made, G = (X, E) is an undirected graph without loops. The social comparison between x and y for {x, y} ∈ E is to be based on the preferences of individuals in a finite society S. Each individual is presumed to prefer x to y or prefer y to x (not both) for every {x, y} ∈ E and may hold any preference relation that does not cycle in G. A profile is an assignment of one such relation to each individual in S. The paper examines binary social comparison procedures which map each profile into a social preference relation over the pairs in E, subject to x socially preferred to y whenever {x, y} ∈ E and everyone in S prefers x to y. Individual i ∈ S is a dictator [weak dictator] on {x, y} ∈ E iff x is socially preferred to y [x ranks as high as y socially] whenever i prefers x to y, and similarly with x and y interchanged, regardless of the preferences of the other individuals in S. An individual is a dictator [weak dictator] on a subgraph of G iff he is a dictator [weak dictator] on every edge in the subgraph. Under each of three ordering conditions on social preferences, there is a dictator or weak dictator on every block of G which has three or more points, different blocks can have different dictators, and bridges in E need not have dictators.     

A Dini type test on the pointwise convergence of double Fourier integrals

We give sufficient conditions for the convergence of the double Fourier integral of a complex-valued function f ∈ L ¹(?²) with bounded support at a given point (x ₀,y ₀) ∈ ?². It turns out that this convergence essentially depends on the convergence of the single Fourier integrals of the marginal functions f(x,y ₀), x ∈ ?, and f(x ₀,y), y ∈ ?, at the points x:= x ₀ and y:= y ₀, respectively. Our theorem applies to functions in the multiplicative Zygmund classes of functions in two variables.     

An optimal filtering method for stable analytic continuation

In this paper, we consider the problem of numerical analytic continuation of an analytic function f(z)=f(x+iy) on a strip domain Ω⁺={z=x+iy∈C∣x∈R,0<y<y₀}, where the data is given approximately only on the real axis y=0. This problem is severely ill-posed: the solution does not depend continuously on the given data. A novel method (filtering) is used to solve this problem and an optimal error estimate with Hölder type is proved. Numerical examples show that this method works effectively.     

On exact recovery of sparse vectors from linear measurements

Let 1 ≤ k ≤ n < N. We say that a vector x ∈ ? ^N is k-sparse if it has at most k nonzero coordinates. Let Φ be an n × N matrix. We consider the problem of recovery of a k-sparse vector x ∈ ? ^N from the vector y = Φx ∈ ? ⁿ . We obtain almost-sharp necessary conditions for k, n, N for this problem to be reduced to that of minimization of the ?₁-norm of vectors z satisfying the condition y = Φz.     

Positive solutions for mixed problems of singular fractional differential equations

We investigate the existence of positive solutions to the singular fractional boundary value problem: $^c\hspace{-1.0pt}D^{\alpha }u +f(t,u,u^{\prime },^c\hspace{-2.0pt}D^{\mu }u)=0$, u′(0) = 0, u(1) = 0, where 1 < α < 2, 0 < μ < 1, f is a L^q‐Carathéodory function, $q > \frac{1}{\alpha -1}$, and f(t, x, y, z) may be singular at the value 0 of its space variables x, y, z. Here $^c \hspace{-1.0pt}D$ stands for the Caputo fractional derivative. The results are based on combining regularization and sequential techniques with a fixed point theorem on cones.     

Distributive equations of implications based on nilpotent triangular norms

In this paper, we explore the distributive equations of implications, both independently and along with other equations. In detail, we consider three classes of equations. (1) By means of the section of I, we give out the sufficient and necessary conditions of solutions for the distributive equation of implication I(x, T(y, z)) = T(I(x, y), (x, z)) based on a nilpotent triangular norm T and an unknown function I, which indicates that there are no continuous solutions satisfying the boundary conditions of implications. Under the assumptions that I is continuous except the vertical section I(0, y), y ∈ [0, 1), we get its complete characterizations. (2) We prove that there are no solutions for the functional equations I(x, T(y, z)) = T(I(x, y), I(x, z)), I(x, I(y, z)) = I(T(x, y), z). (3) We obtain the sufficient and necessary conditions on T and I to be solutions of the functional equations I(x, T(y, z)) = T(I(x, y), I(x, z)), I(x, y) = I(N(y), N(x)).     

The generalised Fermat equation x 2 + y 3 = z 15

We determine the set of primitive integral solutions to the generalised Fermat equation x ² + y ³ = z ¹⁵. As expected, the only solutions are the trivial ones with xyz = 0 and the non-trivial one (x, y, z) = (± 3, ?2, 1).     

Numerical solution of a class of random boundary value problems

This paper deals with the nonlinear two point boundary value problem y″ = f(x, y, y′, R₁,…, R_n), x₀ < x < x_fS₁y(x₀) + S₂y′(x₀) = S₃, S₄y(x_f) + S₅y′(x_f) = S₆ where R₁,…, R_n, S₁,…, S₆ are bounded continuous random variables. An approximate probability distribution function for y(x) is constructed by numerical integration of a set of related deterministic problems. Two distinct methods are described, and in each case convergence of the approximate distribution function to the actual distribution function is established. Primary attention is placed on problems with two random variables, but various generalizations are noted. As an example, a nonlinear one-dimensional heat conduction problem containing one or two random variables is studied in some detail.     

The method of lower and upper solutions for third order singular four point boundary value problems

We mainly study the existence of positive solutions for the following third order singular four point boundary value problem $$\begin{cases}x^{(3)}(t)+f(t,x,x',-x'')=0,\quad 0<t<1,\\x(0)-\alpha x(\xi)=0,\quad x'(1)-\beta x'(\eta)=0,\quad x''(0)=0.\end{cases}$$ where 0≤α<1, 0≤β<1, 0<ξ<1,0<η<1. And we obtain some necessary and sufficient conditions for the existence of C ²[0,1] positive solutions by means of the lower and upper solution method. Our nonlinearity f(t,x,y,z) may be singular at x,y,z,t=0 and/or t=1.     

Generalized Jordan algebras

We study commutative algebras which are generalizations of Jordan algebras. The associator is defined as usual by (x, y, z) = (x y)z − x(y z). The Jordan identity is (x², y, x) = 0. In the three generalizations given below, t, β, and γare scalars. ((x x)y)x + t((x x)x)y = 0, ((x x)x)(y x) − (((x x)x)y)x = 0, β((x x)y)x + γ((x x)x)y − (β + γ)((y x)x)x = 0. We show that with the exception of a few values of the parameters, the first implies both the second and the third. The first is equivalent to the combination of ((x x)x)x = 0 and the third. We give examples to show that our results are in some reasonable sense, the best possible.     

Pringsheim type tests on the pointwise convergence of integrals conjugate to double fourier integrals

We prove sufficient conditions for the convergence of the integrals conjugate to the double Fourier integral of a complex-valued function f ∈ L ¹ (?²) with bounded support at a given point (x ₀, g ₀) ∈ ?². It turns out that this convergence essentially depends on the convergence of the integral conjugate to the single Fourier integral of the marginal functions f(x, y ₀), x ∈ ?, and f(x ₀, y), y ∈ ?, at x:= x ₀ and y:= y ₀, respectively. Our theorems apply to functions in the multiplicative Lipschitz and Zygmund classes introduced in this paper.     

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,     

Isometries of some F-algebras of holomorphic functions on the upper half plane

Linear isometries of N ^p (D) onto N ^p (D) are described, where N ^p (D), p > 1, is the set of all holomorphic functions f on the upper half plane D = {z ∈ ?: Im z > 0} such that sup _y >0 ∫_? ln ^p (1 + |(x + iy)|) dx < +∞. Our result is an improvement of the results by D.A. Efimov.     

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.