Singular homology groups of fuzzy topological spaces

Let L be a completely distributive lattice with order reversing involution, and (X, τ) an L-fuzzy topological space. The purpose of this paper is to introduce the fundamental concept of fuzzy algebraic topology-the singular homology groups of the L-fuzzy topological space, in such a way that they take the (usual) cubical singular homology groups of a topological space as a special case. Also, we shall prove that they are L-fuzzy homeomorphic invariants.     

On homotopy groups of quandle spaces and the quandle homotopy invariant of links

For a quandle X, the quandle space BX is defined, modifying the rack space of Fenn, Rourke and Sanderson (1995) [13], and the quandle homotopy invariant of links is defined in Z[π₂(BX)], modifying the rack homotopy invariant of Fenn, Rourke and Sanderson (1995) [13]. It is known that the cocycle invariants introduced in Carter et al. (2005) [3], Carter et al. (2003) [5], Carter et al. (2001) [6] can be derived from the quandle homotopy invariant.In this paper, we show that, for a finite quandle X, π₂(BX) is finitely generated, and that, for a connected finite quandle X, π₂(BX) is finite. It follows that the space spanned by cocycle invariants for a finite quandle is finitely generated. Further, we calculate π₂(BX) for some concrete quandles. From the calculation, all cocycle invariants for those quandles are concretely presented. Moreover, we show formulas of the quandle homotopy invariant for connected sum of knots and for the mirror image of links.     

On the first homology of automorphism groups of manifolds with geometric structures

Hermann and Thurston proved that the group of diffeomorphisms with compact support of a smooth manifold M which are isotopic to the identity is a perfect group. We consider the case where M has a geometric structure. In this paper we shall survey on the recent results of the first homology of the diffeomorphism groups which preserve a smooth G-action or a foliated structure on M. We also work in Lipschitz category. This research was partially supported by Grant-in-Aid for Scientific Research (No. 16540058), Japan Society for the Promotion of Science. This research was partially supported by Grant-in-Aid for Scientific Research (No. 14540093), Japan Society for the Promotion of Science.     

Restriction to compact subgroups in the cyclic homology of reductive p-adic groups

Restriction of functions from a reductive p-adic group G to its compact subgroups defines an operator on the Hochschild and cyclic homology of the Hecke algebra of G. We study the commutation relations between this operator and others coming from representation theory: Jacquet functors, idempotents in the Bernstein centre, and characters of admissible representations.     

Commuting involutions with fixed point set of constant codimension

Special generators of the unoriented cobordism ringMO _* are constructed to determine the groupsJ _n,κ ^r ofn-dimensional cobordism classes inMO _n containing a representativeM ⁿ admitting a (Z ₂) ^k -action with fixed point set of constant codimension. This work is supported by HNSF     

A computational model of a transcritical R744 ejector based on a homogeneous real fluid approach

A mathematical model of the compressible transonic single- and two-phase flow of a real fluid is discussed in this paper. The model was originally developed to simulate a refrigerant flow through a heat pump ejector. In the proposed approach, a temperature-based energy equation is replaced with an enthalpy-based formulation, in which the specific enthalpy, instead of the temperature, is an independent variable. A thermodynamic and mechanical equilibrium between gaseous and liquid phases is assumed for the two-phase flow. Consequently, real fluid properties, such as the density, the dynamic viscosity and the diffusion coefficient, are defined as functions of the pressure and the specific enthalpy. The energy equation formulation is implemented in commercial CFD software using subroutines that were developed in-house. The formulations was tested extensively for a single-phase flow of the R141b refrigerant, and for a two-phase flow of the R744 fluid (carbon dioxide) that occurred in a 3-D model of the ejector motive nozzle. In the model validation procedure, a satisfactory comparison between the experimental and computational results of the primary and secondary mass flow rates was obtained for both flow regimes. In addition, in the case of the R744 flow, the pressure distribution along the centre line of the ejector was accurately predicted as well. Furthermore, the results also shows that geometry modelling and measurement accuracy play an important in the final numerical results. As a result of the reasonable computational times, this method can be effectively used for the design of ejectors and also in geometric optimisation computations.     

Limit theorems for compact two-point homogeneous spaces of large dimensions

Let be the field , , or of real dimension . For each dimensiond2, we study isotropic random walks(Y ₁)₁0 on the projective space with natural metricD where the random walk starts at some with jumps at each step of a size depending ond. Then the random variablesX ₁ ^d :=cosD(Y ₁ ^d ,x ₀ ^d ) form a Markov chain on [–1, 1] whose transition probabilities are related to Jacobi convolutions on [–1, 1]. We prove that, ford, the random variables (vd/2)(X _l(d) ^d +1) tend in distribution to a noncentral ²-distribution where the noncentrality parameter depends on relations between the numbers of steps and the jump sizes. We also derive another limit theorem for as well as thed-spheresS ^d ford.     

Simulation with system dynamics and fuzzy reasoning of a tax policy to reduce CO2 emissions in the residential sector

This methodological paper presents a planning and control methodology illustrated by a simplified case study on the carbon-tax design in the residential sector. The first objective is to show how to simulate with system dynamics the consumers’ behaviour and the continuous tax-control mechanism depending on few important feedbacks, often ignored in static macroeconomic modelling. A second objective is to show how to aggregate external data driving this model and stemming from different sources with various credibility levels. This is realised by means of fuzzy-reasoning techniques incorporated into the system-dynamics model.     

L p theory for semilinear nonlocal problems with measure of noncompactness in separable Banach spaces

We study the existence of mild solutions for semilinear differential equations with nonlocal initial conditions in a separable Banach space X. We derive conditions in terms of the Hausdorff measure of noncompactness under which mild solutions exist in L^p(0, b; X). For illustration, a partial integral differential system is worked out. Dedicated to Felix Browder on his 80th birthday     

Labeling the -path with a condition at distance two

For integer r≥2, the infinite r-path P_∞(r) is the graph on vertices …v₋₃,v₋₂,v₋₁,v₀,v₁,v₂,v₃… such that v_s is adjacent to v_t if and only if |s−t|≤r−1. The r-path on n vertices is the subgraph of P_∞(r) induced by vertices v₀,v₁,v₂,…,v_n−1. For non-negative reals x₁ and x₂, a λ_x1,x2-labeling of a simple graph G is an assignment of non-negative reals to the vertices of G such that adjacent vertices receive reals that differ by at least x₁, vertices at distance two receive reals that differ by at least x₂, and the absolute difference between the largest and smallest assigned reals is minimized. With λ_x1,x2(G) denoting that minimum difference, we derive λ_x1,x2(P_n(r)) for r≥3, 1≤n≤∞, and . For , we obtain upper bounds on λ_x1,x2(P_∞(r)) and use them to give λ_x1,x2(P_∞(r)) for r≥5 and . We also determine λ_x1,x2(P_∞(3)) and λ_x1,x2(P_∞(4)) for all .     

Common fixed point results for two new classes of hybrid pairs in symmetric spaces

Some common fixed point theorems due to Abbas and Khan [M. Abbas, A.R. Khan, Common fixed points of generalized contractive hybrid pairs in symmetric spaces, Fixed Point Theor. Appl. 2009 (2009) 11, Article ID 869407, doi:10.1155/2009/869407], and Abbas and Rhoades [M. Abbas, B.E. Rhoades, Common fixed point theorems for hybrid pairs of occasionally weakly compatible mappings defined on symmetric spaces, Pan. Amer. Math. J. 18 (1) (2008) 55-62] are proved for two new classes of hybrid pair of mappings which contain occasionally weakly compatible hybrid pairs as a proper subclass. Consequently, some results proved by Hussain et al. [N. Hussain, M.A. Khamsi, A. Latif, Common fixed points for JH-operators and occasionally weakly biased pairs under relaxed conditions, Nonlinear Anal. 74 (2011) 2133-2140], Bhatt et al. [A. Bhatt, et al., Common fixed point theorems for occasionally weakly compatible mappings under relaxed conditions, Nonlinear Anal. 73 (2010) 176-182] and many others are extended to hybrid pair of mappings. Examples are also presented to support the concepts defined in the paper.     

Labeling graphs with two distance constraints

Given a graph G and integers p,q,d₁ and d₂, with p>q, d₂>d₁?1, an L(d₁,d₂;p,q)-labeling of G is a function f:V(G)→{0,1,2,…,n} such that |f(u)−f(v)|?p if d_G(u,v)?d₁ and |f(u)−f(v)|?q if d_G(u,v)?d₂. A k-L(d₁,d₂;p,q)-labeling is an L(d₁,d₂;p,q)-labeling f such that max_v∈V(G)f(v)?k. The L(d₁,d₂;p,q)-labeling number ofG, denoted by , is the smallest number k such that G has a k-L(d₁,d₂;p,q)-labeling. In this paper, we give upper bounds and lower bounds of the L(d₁,d₂;p,q)-labeling number for general graphs and some special graphs. We also discuss the L(d₁,d₂;p,q)-labeling number of G, when G is a path, a power of a path, or Cartesian product of two paths.     

Fourier multipliers and periodic solutions of delay equations in Banach spaces

In this paper we characterize the existence and uniqueness of periodic solutions of inhomogeneous abstract delay equations and establish maximal regularity results for strong solutions. The conditions are obtained in terms of R-boundedness of linear operators determined by the equations and Lp- Fourier multipliers. Periodic mild solutions are also studied and characterized.     

Minimax inequalities and fixed points of expansive set-valued mappings with noncompact and nonconvex domains and ranges in topological spaces

Some minimax inequalities involving two bifunctions with noncompact and nonconvex domains are first proved in finite continuous topological spaces (in short, FC$FC$-spaces) without convexity structure. As applications some new Fan–Browder type fixed point theorems for expansive set-valued maps with noncompact and nonconvex domains and ranges are obtained in general topological spaces. These results generalize some known results in the recent literature.     

Eventual differentiability of functional differential equations in Banach spaces

This paper concerns the regularity of a functional differential equation in the form: , t>0, where A is the generator of an analytic semigroup on a Banach space X, and B₁,B₂ are α(γ−A)-bounded linear operator for 0<α<1. By spectral analysis, it is shown that the associated solution semigroup of this equation is eventually differentiable.     

The P1 and P2 approximations of the spherical harmonic method as applied to radiative heat transfer computations with allowance for strong blowing from the surface of a vehicle moving in the Jovian atmosphere

The spherical harmonics method in the P₁ and P₂ approximations is used to analyze radiative heat transfer for a space vehicle entering a planet’s atmosphere. Strong blowing of ablated materials from the vehicle surface is taken into account by using a two-layer flow model without allowance for the viscosity and thermal conduction of the gas. The heating and ablation of a multilayered thermal protection system are determined simultaneously with the vehicle’s flight trajectory, which is calculated taking into account the mass loss due to the ablation. The approach is illustrated by computing the flight of a space vehicle shaped as a spherical segment or a spherically blunted cone entering the Jovian atmosphere at a speed of 60 km/s and an entry angle of ?5°.     

System of generalized variational inclusions with -accretive operators in uniformly smooth Banach spaces

In this paper, we consider and study a system of generalized variational inclusions with H-accretive operators in uniformly smooth Banach spaces. We prove the convergence of iterative algorithm for this system of generalized variational inclusions. A new definition of H-resolvent operator as a retraction is introduced, and in support of the definition, we have constructed an example and a numerical example through Matlab programming. Some special cases are also discussed.     

Separation for the biharmonic differential operator in the Hilbert space associated with the existence and uniqueness theorem

In this paper, we have studied the separation for the following biharmonic differential operator:

     

Logarithmic reduction of the level of randomness in some probabilistic geometric constructions

Many of the surprising phenomena occurring in high dimensions are proved by use of probabilistic arguments, which show the existence of organized and regular structures but do not hint as to where exactly do these structures lie. It is an intriguing question whether some of them could be realized explicitly. In this paper we show that the amount of randomness used can be reduced significantly in many of these questions from asymptotic convex geometry, and most of the random steps can be substituted by completely explicit algorithmic steps. The main tool we use is random walks on expander graphs.