具Hardy-Sobolev临界指数的奇异椭圆方程多解的存在性

运用变分方法研究了下面问题-Δpu=μupx(s)s-2u f(x,u),x∈Ω,u=0,x∈Ω,多重解的存在性,其中Ω是一个具有光滑边界的有界区域.     

德摩根一致代数的度量化

我们给出了德摩根一致代数可伪度量化的一个充分必要条件。     

一个强极限定理

设是可列非齐次马氏链，本文通过利用［１］中提出的在Ｗｉｅｎｅｒ概率空间的一种实现，而给出了一个对任意可列非齐次马氏链普遍成立的强极限定理。     

Compactness in fuzzy convergence spaces

Lowen and Lowen [Applications of category theory to fuzzy subsets (Kluwer, 1992) p. 153] and Lowen et al. [Fuzzy Sets and Systems 40 (1991) 347] recently introduced the category FCS of fuzzy convergence spaces, a topological quasitopos which is a supercategory of FTS, the category of fuzzy topological spaces. In this paper, compactness in FCS is examined. Doing so we found that to define compactness as an absolute property we had to generalize the definition of fuzzy convergence space to fuzzy subsets. All basic theorems are proved including the Tychonoff product theorem. Based on the theory developed here, in a following publication, a Richardson compactification for fuzzy convergence spaces will be given.     

ℙmax variations related to slaloms

We prove the iteration lemmata, which are the key lemmata to show that extensions by Pmax variations satisfy absoluteness for Π₂-statements in the structure 〈H (ω ₂), ∈, NS_{ω 1}, R 〉 for some set R of reals in L (ℝ), for the following statements: (1) The cofinality of the null ideal is ℵ₁. (2) There exists a good basis of the strong measure zero ideal. (© 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

An Extension Landau-Lifshitz Model in Studying Soft Ferromagnetic Films

In this paper, we propose a model in studying soft ferromagnetic films, which is readily accessible experimentally. By using penalty approximation and compensated compactness, we prove that the dynamical equation in thin film has a local weak solution. Moreover, the corresponding linear equation is also dealt with in great detail.     

Supercompactness and measurable limits of strong cardinals II: Applications to level by level equivalence

We construct models for the level by level equivalence between strong compactness and supercompactness in which for κ the least supercompact cardinal and δ ≤ κ any cardinal which is either a strong cardinal or a measurable limit of strong cardinals, 2^δ > δ ⁺ and δ is < 2^δ supercompact. In these models, the structure of the class of supercompact cardinals can be arbitrary, and the size of the power set of κ can essentially be made as large as desired. This extends and generalizes [5, Theorem 2] and [4, Theorem 4]. We also sketch how our techniques can be used to establish a weak indestructibility result. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Existence of a solution for a Signorini contact problem for Maxwell-Norton materials

The aim of this article is to study the quasistatic evolutionof a Maxwell–Norton three-dimensional viscoelastic solidwith contact constraints. After introducing the appropiate functionalframework, we will discretize the problem in time using an implicitscheme whose resultant variational inequality is well posed.By using monotonicity arguments together with compensated compactnesstechniques, we will prove that the corresponding discrete solutionconverges to a solution of the continuous problem.     

A theorem on sequentiality and compactness, with its fuzzy extension

An amended proof of a theorem of Franklin's on sequentiality and sequential compactness is presented, and a corresponding fuzzy version formulated using the theory of quasi-coincidence.     

An existence result for a two‐phase Stefan problem arising in metal casting

We present a model arising from the thermal modelling of two metal casting processes. We consider an enthalpy formulation for this two‐phase Stefan problem in a time varying three‐dimensional domain and consider convective heat transfer in the liquid phase. Then, we introduce a weak formulation in a fixed domain, by means of a suitable transformation. Existence of solution is obtained by applying an abstract theorem. The proof of this theorem is done by taking an implicit discretization in time together with a regularization. By passing to the limit in the regularization parameter and in the time step, we obtain the existence of solution of the continuous problem. Copyright © 2005 John Wiley & Sons, Ltd.