Weighted Algebras of Vector‐Valued Continuous Functions

In this paper we present a systematic study of the algebras CV (X, E) and CV₀(X, E) of continuous functions with weight conditions given by a Nachbin family V and with values in a locally convex algebra E. Some relevant examples (and counterexamples to some assertions in the literature) are provided.     

Convex‐round graphs are circular‐perfect

We show a connection between two concepts that have hitherto been investigated separately, namely convex‐round graphs and circular cliques. The connections are twofold. We prove that the circular cliques are precisely the cores of convex‐round graphs; this implies that convex‐round graphs are circular‐perfect, a concept introduced recently by Zhu [10]. Secondly, we characterize maximal K_r‐free convex‐round graphs and show that they can be obtained from certain circular cliques in a simple fashion. Our proofs rely on several structural properties of convex‐round graphs. © 2002 Wiley Periodicals, Inc. J Graph Theory 40: 182–194, 2002     

On the Boolean algebras of definable sets in weakly o‐minimal theories

We consider the sets definable in the countable models of a weakly o‐minimal theory T of totally ordered structures. We investigate under which conditions their Boolean algebras are isomorphic (hence T is p‐ω‐categorical), in other words when each of these definable sets admits, if infinite, an infinite coinfinite definable subset. We show that this is true if and only if T has no infinite definable discrete (convex) subset. We examine the same problem among arbitrary theories of mere linear orders. Finally we prove that, within expansions of Boolean lattices, every weakly o‐minimal theory is p‐ω‐categorical. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hyper‐Archimedean BL‐algebras are MV‐algebras

Generalizations of Boolean elements of a BL‐algebra L are studied. By utilizing the MV‐center MV(L) of L, it is reproved that an element x ∈ L is Boolean iff x ∨ x * = 1 . L is called semi‐Boolean if for all x ∈ L, x * is Boolean. An MV‐algebra L is semi‐Boolean iff L is a Boolean algebra. A BL‐algebra L is semi‐Boolean iff L is an SBL‐algebra. A BL‐algebra L is called hyper‐Archimedean if for all x ∈ L, xⁿ is Boolean for some finite n ≥ 1. It is proved that hyper‐Archimedean BL‐algebras are MV‐algebras. The study has application in mathematical fuzzy logics whose Lindenbaum algebras are MV‐algebras or BL‐algebras. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On C‐Suslin spaces

We prove a closed graph theorem for Baire locally convex spaces (for Baire linear topological spaces) in the domain and weakly C‐Suslin locally convex spaces (respectively, for C‐Suslin linear topological spaces) in the range which improves some classic closed graph theorems and other, more recent, related results.     

On C*‐Like Locally Convex ∗︁‐Algebras

The main purpose of this paper is to define the notion of C*‐like locally convex∗︁‐algebras and to study the structure of such ∗︁‐algebras.     

A Newton‐type algorithm for solving an extremal constrained interpolation problem

Given convex scattered data in R³ we consider the constrained interpolation problem of finding a smooth, minimal L _p‐norm (1 < p < ∞) interpolation network that is convex along the edges of an associated triangulation. In previous work the problem has been reduced to the solution of a nonlinear system of equations. In this paper we formulate and analyse a Newton‐type algorithm for solving the corresponding type of systems. The correctness of the application of the proposed method is proved and its superlinear (in some cases quadratic) convergence is shown. Copyright © 2000 John Wiley & Sons, Ltd.     

On a boundary value problem for a p‐Dirac equation

The p‐Laplace equation is a nonlinear generalization of the Laplace equation. This generalization is often used as a model problem for special types of nonlinearities. The p‐Laplace equation can be seen as a bridge between very general nonlinear equations and the linear Laplace equation. The aim of this paper is to solve the p‐Laplace equation for 1 < p < 2 and to find strong solutions. The idea is to apply a hypercomplex integral operator and spatial function theoretic methods to transform the p‐Laplace equation into the p‐Dirac equation. This equation will be solved iteratively by using a fixed‐point theorem. Applying operator‐theoretical methods for the p‐Dirac equation and p‐Laplace equation, the existence and uniqueness of solutions in certain Sobolev spaces will be proved. Copyright © 2016 John Wiley & Sons, Ltd.     

Weak‐quasi‐Stone algebras

In this paper we shall introduce the variety WQS of weak‐quasi‐Stone algebras as a generalization of the variety QS of quasi‐Stone algebras introduced in [9]. We shall apply the Priestley duality developed in [4] for the variety N of ¬‐lattices to give a duality for WQS. We prove that a weak‐quasi‐Stone algebra is characterized by a property of the set of its regular elements, as well by mean of some principal lattice congruences. We will also determine the simple and subdirectly irreducible algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Boolean products of R0‐algebras

In this paper, the (weak) Boolean representation of R₀‐algebras are investigated. In particular, we show that directly indecomposable R₀‐algebras are equivalent to local R₀‐algebras and any nontrivial R₀‐algebra is representable as a weak Boolean product of local R₀‐algebras (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Representations of MV‐algebras by sheaves

In this paper, inspired by methods of Bigard, Keimel, and Wolfenstein ([2]), we develop an approach to sheaf representations of MV‐algebras which combines two techniques for the representation of MV‐algebras devised by Filipoiu and Georgescu ([18]) and by Dubuc and Poveda ([16]). Following Davey approach ([12]), we use a subdirect representation of MV‐algebras that is based on local MV‐algebras. This allowed us to obtain: (a) a representation of any MV‐algebras as MV‐algebra of all global sections of a sheaf of local MV‐algebras on the spectruum of its prime ideals; (b) a representation of MV‐algebras, having the space of minimal prime ideals compact, as MV‐algebra of all global sections of a Hausdorff sheaf of MV‐chains on the space of minimal prime ideals, which is a Stone space; (c) an adjunction between the category of all MV‐algebras and the category of MV‐algebraic spaces, where an MV‐algebraic space is a pair (X, F), where X is a compact topological space and F is a sheaf of MV‐algebras with stalks that are local (© 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

σ‐short Boolean algebras

We introduce properties of Boolean algebras which are closely related to the existence of winning strategies in the Banach‐Mazur Boolean game. A σ‐short Boolean algebra is a Boolean algebra that has a dense subset in which every strictly descending sequence of length ω does not have a nonzero lower bound. We give a characterization of σ‐short Boolean algebras and study properties of σ‐short Boolean algebras. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Closed convex hulls,contents, and K‐spectral states

Our general result says that the closed convex hull of a set K consists of barycentres of probability contents (i.e., finitely additive set functions) on K. (Here K can be any nonempty subset of any nonempty compact convex set in any real or complex locally convex Hausdorff vector space.) In the equivalent setting of dual spaces, we give a very handy analytic criterion for a linear functional to be in the closed convex hull of a given nonempty point‐wise bounded set K of linear functionals (under some mild additional assumption). This is the notion of a K‐spectral state. Our criterion enhances the Abstract Bochner Theorem for unital commutative Banach *‐algebras (which easily follows from our result), in that it allows us to prescribe the set K on which a representing content should live. The content can be chosen to be a Radon measure if K is weak* compact. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Minimal ‐crystals and isomorphism numbers of isosimple ‐crystals

In this paper we generalize minimal p‐divisible groups defined by Oort to minimal F‐crystals over algebraically closed fields of positive characteristic. We prove a structural theorem of minimal F‐crystals and give an explicit formula of the Frobenius endomorphism of the basic minimal F‐crystals that are the building blocks of the general minimal F‐crystals. We then use minimal F‐crystals to generalize minimal heights of p‐divisible groups and give an upper bound of the isomorphism numbers of F‐crystals, whose isogeny type are determined by simple F‐isocrystals, in terms of their ranks, Hodge slopes and Newton slopes.     

Multiple positive fixed points for the sum of expansive mappings and k‐set contractions

In this work, we are concerned with the existence of multiple positive fixed points for the sum of an expansive mapping with constant h > 1 and a k‐set contraction when 0 ≤ k < h ? 1. In particular, the case of the sum of an expansive mapping with constant h > 1 and an e‐concave operator and an e‐convex operator is considered. Two examples of application illustrate some of the theoretical results.     

Web‐spline‐based finite element approximation of some quasi‐newtonian flows: Existence‐uniqueness and error bound

This article deals with the web‐spline‐based finite element approximation of quasi‐Newtonian flows. First, we consider the scalar elliptic p‐Laplace problem. Then, we consider quasi‐Newtonian flows where viscosity obeys power law or Carreau law. We prove well‐posedness at the continuous as well as the discrete level. We give some error bounds for the solution of quasi‐Newtonian flow problem based on the web‐spline method. Finally, we provide the numerical results for the p‐Laplace problem. © 2014 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq31: 54–77, 2015     

Distributed subgradient method for multi‐agent optimization with quantized communication

This paper focuses on a distributed optimization problem associated with a time‐varying multi‐agent network with quantized communication, where each agent has local access to its convex objective function, and cooperatively minimizes a sum of convex objective functions of the agents over the network. Based on subgradient methods, we propose a distributed algorithm to solve this problem under the additional constraint that agents can only communicate quantized information through the network. We consider two kinds of quantizers and analyze the quantization effects on the convergence of the algorithm. Furthermore, we provide explicit error bounds on the convergence rates that highlight the dependence on the quantization levels. Finally, some simulation results on a l₁‐regression problem are presented to demonstrate the performance of the algorithm. Copyright © 2016 John Wiley & Sons, Ltd.     

P‐moment stability under small Gauss type random excitation of stochastic system

In this paper, the stochastic stability under small Gauss type random excitation is investigated theoretically and numerically. When p is larger than 0, the p‐moment stability theorem of stochastic models is proved by Lyapunov method, Ito isometry formula, matrix theory and so on. Then the application of p‐moment such as k‐order moment of the origin and k‐order moment of the center is introduced and analyzed. Finally, p‐moment stability of the power system is verified through the simulation example of a one machine and infinite bus system. Copyright © 2016 John Wiley & Sons, Ltd.     

On (∈, ∈ ∨ q)‐fuzzy filters of R0‐algebras

In this paper, we introduce the notions of (∈, ∈ ∨ q)‐fuzzy filters and (∈, ∈ ∨ q)‐fuzzy Boolean (implicative) filters in R₀‐algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that a fuzzy set in R₀‐algebras is an (∈, ∈ ∨ q)‐fuzzy Boolean filter if and only if it is an (∈, ∈ ∨ q)‐fuzzy implicative filter. Finally, we consider the concepts of implication‐based fuzzy Boolean (implicative) filters of R₀‐algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the bidual of quasinormable Fréchet algebras

It is known that the bidual of a quasinormable Fréchet space E with local Banach spaces $(E_n)_{n\in {\mathbb N}}$ is topologically isomorphic to the inverse limit of $\big (E_n^{\prime \prime }\big )_{n\in {\mathbb N}}$. With the aid of the Arens product and by homological means, we prove that the previous result is equally valid for quasinormable Fréchet m‐convex algebras. This allows showing that the bidual of a σ‐C*‐algebra equipped with the Arens product is a σ‐C*‐algebra and presenting a new direct proof of a result on acyclic spectra due to Palamodov.