The strong inclusion, a specific type of subrelation of the order of a lattice with pseudocomplements, has been used in the concrete case of the lattice of open sets in topology for an expedient definition of proximity, and allowed for a natural point-free extension of this concept. A modification of a strong inclusion for biframes then provided a point-free model also for the non-symmetric var...

We investigate the construction of local quasi-interpolation schemes for a family of bivariate spline functions with smoothness r ≥ 1 and polynomial degree 3r−1. These splines are defined on triangulations with Powell-Sabin refinement, and they can be represented in terms of locally supported basis functions which form a convex partition of unity. Using the blossoming technique, we first derive...

In this paper, the authors show the existence of global in time classical solutions to the 3D quasi-geostrophic system with Ekman pumping for any smooth initial value (possibly large). This system couples an inviscid transport equation in R+ with an equation on the boundary satisfied by the trace. The proof combines the De Giorgi regularization effect on the boundary z=0 -similar to the so call...

The purpose of this paper is first to introduce the concept of total quasi-φ-asymptotically nonexpansive mapping which contains many kinds of mappings as its special cases and then to use a hybrid algorithm to introduce a new iterative scheme for finding a common element of the set of solutions for a system of generalized mixed equilibrium problems and the set of common fixed points for a count...

We explore the codimension one strata in the degree-one cohomology jumping loci of a finitely generated group, through the prism of the multivariable Alexander polynomial. As an application, we give new criteria that must be satisfied by fundamental groups of smooth, quasi-projective complex varieties. These criteria establish precisely which fundamental groups of boundary manifolds of complex ...

The purpose of this paper is to introduce a new hybrid projection method based on modified Mann iterative scheme by the generalized f-projection operator for a countable family of relatively quasi-nonexpansive mappings and the solutions of the system of generalized mixed equilibrium problems. Furthermore, we prove the strong convergence theorem for a countable family of relatively quasi-nonexpa...

We consider the dynamics of a lattice of phase oscillators with a nearest-neighbor coupling. The clustering hierarchy is described for the case of linear distribution of natural frequencies. We demonstrate that for small couplings prior to the appearance of the first cluster the dynamics is quasi-Hamiltonian: the phase volume is conserved in average, and the spectrum of the Lyapunov exponents i...

Using the orbital-free density functional theory as a model theory, we present an analysis of the field theoretic approach to quasi-continuum method. In particular, by perturbation method and multiple scale analysis, we provide a formal justification for the validity of numerical coarse-graining of various fields in the quasi-continuum reduction of field theories by taking the homogenization li...

We use the Litvinov-Maslov correspondence principle to reduce and hybridize networks of biochemical reactions. We apply this method to a cell cycle oscillator model. The reduced and hybridized model can be used as a hybrid model for the cell cycle. We also propose a practical recipe for detecting quasi-equilibrium QE reactions and quasi-steady state QSS species in biochemical models with ration...

For self-adjoint operators A,B, a bounded operator J , and a function f : R → C, we obtain bounds in quasi-normed ideals of compact operators for the difference f(A)J − Jf(B) in terms of the operator AJ − JB. The focus is on functions f that are smooth everywhere except for finitely many points. A typical example is the function f(t) = |t|γ with γ ∈ (0, 1). The obtained results are applied to d...