Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.

     

Fréchet approach in second-order optimization

We state a certain second-order sufficient optimality condition for functions defined in infinite-dimensional spaces by means of generalized Fréchet’s approach to second-order differentiability. Moreover, we show that this condition generalizes a certain second-order condition obtained in finite-dimensional spaces.     

带干扰的多险种风险模型

由于保险公司风险经营规模不断扩大,用单一险种的模型来描述风险过程存在局限性,本文讨论了带干扰多险种风险模型,应用鞅论方法,得出伦德伯格不等式和最终破产概率公式。     

Browder spectra of upper-triangular operator matrices

Let be a 2×2 upper triangular operator matrix acting on the Hilbert space H⊕K. In this paper, for given operators A and B, we prove that

     

Indirect adaptive fuzzy observer and controller design based on interval type-2 T-S fuzzy model

This paper presents the design scheme of the indirect adaptive fuzzy observer and controller based on the interval type-2 (IT2) T-S fuzzy model. The nonlinear systems can be well approximated by IT2 T-S fuzzy model, in which the fuzzy rules’ antecedents are interval type-2 fuzzy sets and consequents are linear state equations. The proposed IT2 T-S fuzzy model is a combination of IT2 fuzzy system and T-S fuzzy model, and also inherits the benefits of type-2 fuzzy logic systems, which is able to directly handle uncertainties and can minimize the effects of uncertainties in rule-based fuzzy system. These characteristics can improve the accuracy of the system modeling and reduce the number of system rules. The proposed method using feedback control, adaptive laws, and on-line object parameters are adjusted to ensure observation error bounded. In addition, using Lyapunov synthesis approach and Lipschitz condition, the stability analysis is conducted. The simulation results show that the proposed method can handle unpredicted disturbance and data uncertainties very well in advantage of the effectiveness of observation and control.     

Strong solution of backward stochastic partial differential equations in C 2 domains

This paper is concerned with the strong solution to the Cauchy–Dirichlet problem for backward stochastic partial differential equations of parabolic type. Existence and uniqueness theorems are obtained, due to an application of the continuation method under fairly weak conditions on variable coefficients and C ² domains. The problem is also considered in weighted Sobolev spaces which allow the derivatives of the solutions to blow up near the boundary. As applications, a comparison theorem is obtained and the semi-linear equation is discussed in the C ² domain.     

SUPERCONVERGENCE ANALYSIS OF THE POLYNOMIAL PRESERVING RECOVERY FOR ELLIPTIC PROBLEMS WITH ROBIN BOUNDARY CONDITIONS

We analyze the superconvergence property of the linear finite element method based on the polynomial preserving recovery(PPR)for Robin boundary elliptic problems on triangulartions.First,we improve the convergence rate between the finite element solution and the linear interpolation under the H1-norm by introducing a class of meshes satisfying the Condition(α,σ,μ).Then we prove the superconvergence of the recovered gradients post-processed by PPR and define an asymptotically exact a posteriori error estimator.Finally,numerical tests are provided to verify the theoretical findings.     

Theory on single molecule-photon cryocooler

The micro mechanism of anti-Stokes fluorescent cooling was investigated on molecular or ionic scale. A new conception of single molecule-photon cryocooler (SMPC) was given, and the smallest cryocooler in the world was predicted. We described SMPC and its running principle in detail. The quantum transition processes of SMPC and the largest cooling coefficient that SMPC can get in an optical transition were given. Also we studied the random property of SMPC in cooling processes. The thermodynamic behavior of single Yb³⁺ ion as a photon cryocooler was imitated.     

毕竟PI—强rpp半群

定义了毕竟PI-强rpp半群,并刻划了这类半群的结构。     

The Spectrum of Tetrahedral Quadruple Systems

An ordered analogue of quadruple systems is tetrahedral quadruple systems. A tetrahedral quadruple system of order v and index λ, TQS(v, λ), is a pair (S, T){(S, \mathcal{T})} where S is a finite set of v elements and T{\mathcal{T}} is a family of oriented tetrahedrons of elements of S called blocks, such that every directed 3-cycle on S is contained in exactly λ blocks of T{\mathcal{T}} . When λ = 1, the spectrum problem of TQS(v, 1) has been completely determined. It is proved that a TQS(v, λ) exists if and only if λ(v − 1)(v − 2) ≡ 0 (mod 3), λv(v − 1)(v − 2) ≡ 0 (mod 4) and v ≥ 4.