A generalized preimage theorem in global analysis

The concept of locally fine point and generalized regular value of a C¹ map between Banach spaces were carried over C¹ map between Banach manifolds. Hence the preimage theorem, a principle constructing Banach manifolds in global analysis, is generalized.     

二阶积分微分方程周期边值问题的解的存在性

通过对比结果,用单调迭代方法证明了Banach空间中二阶积分微分方程的周期边值问题的最大最小解的存在性定理。     

Homogeneous Isotropic Turbulence: Geometric and Isometry Properties of the 2-point Velocity Correlation Tensor

The emphasis of this review is both the geometric realization of the 2-point velocity correlation tensor field B_ij (x,x′,t) and isometries of the correlation space K³ equipped with a (pseudo-) Riemannian metrics ds²(t) generated by the tensor field. The special form of this tensor field for homogeneous isotropic turbulence specifies ds²(t) as the semi-reducible pseudo-Riemannian metric. This construction presents the template for the application of methods of Riemannian geometry in turbulence to observe, in particular, the deformation of length scales of turbulent motion localized within a singled out fluid volume of the flow in time. This also allows to use common concepts and technics of Lagrangian mechanics for a Lagrangian system (M^t, ds²(t)), M^t ? K³. Here the metric ds²(t), whose components are the correlation functions, evolves due to the von Kármán-Howarth equation. We review the explicit geometric realization of ds²(t) in K³ and present symmetries (or isometric motions in K³) of the metric ds²(t) which coincide with the sliding deformation of a surface arising under the geometric realization of ds²(t). We expose the fine structure of a Lie algebra associated with this symmetry transformation and construct the basis of differential invariants. Minimal generating set of differential invariants is derived. We demonstrate that the well-known Taylor microscale λ_g is a second-order differential invariant and show how λ_g can be obtained by the minimal generating set of differential invariants and the operators of invariant differentiation. Finally, we establish that there exists a nontrivial central extension of the infinite-dimensional Lie algebra constructed wherein the central charge is defined by the same bilinear skew-symmetric form c as for the Witt algebra which measures the number of internal degrees of freedom of the system. For turbulence, we give the asymptotic expansion of the transversal correlation function for the geometry generated by a quadratic form.     

Optimality for set functions with values in ordered vector spaces

Let (X, , ) be a finite atomless measure space,L a convex subfamily of , andY andZ locally convex Hausdorff topological vector spaces which are ordered by the conesC andD, respectively. LetF:LY beC-convex andG:LZ beD-convex set functions. Consider the following optimization problem (P): minimizeF(), subject to L andG() _D . The paper generalizes the Moreau-Rockafellar theorem with set functions. By applying this theorem, a Kuhn-Tucker type optimality condition and a Fritz John type optimality condition for problem (P) are established. The duality theorem for problem (P) is also studied.This work was partially supported by National Science Council, Taipei, Taiwan. This paper was written while the first author was visiting at the University of Iowa, 1987-88.The authors would like to express their gratitude to the two anonymous referees for their valuable comments. Also, they would like to thank Professor P. L. Yu for his encouragement and suggestions which improved the material presented here considerably.     

Nonlinear fourth-order elliptic equations with nonlocal boundary conditions

This paper is concerned with a class of fourth-order nonlinear elliptic equations with nonlocal boundary conditions, including a multi-point boundary condition in a bounded domain of Rn. Also considered is a second-order elliptic equation with nonlocal boundary condition, and the usual multi-point boundary problem in ordinary differential equations. The aim of the paper is to show the existence of maximal and minimal solutions, the uniqueness of a positive solution, and the method of construction for these solutions. Our approach to the above problems is by the method of upper and lower solutions and its associated monotone iterations. The monotone iterative schemes can be developed into computational algorithms for numerical solutions of the problem by either the finite difference method or the finite element method.     

Massive and massless neutrinos on unbalanced seesaws

The observation of neutrino oscillations requires new physics beyond the standard model (SM).A SM-like gauge theory with p lepton families can be extended by introducing q heavy right-handed Majorana neutrinos but preserving its SU(2)L x U(1)y gauge symmetry.The overall neutrino mass matrix M turns out to be a symmetric (p+q) x (p+q) matrix.Given p＞q,the rank of M is in general equal to 2q,corresponding to 2q non-zero mass eigenvalues.The existence of (p-q) massless left-handed Majorana neutrinos is an exact consequence of the model,independent of the usual approximation made in deriving the Type-I seesaw relation between the effective p x p light Majorana neutrino mass matrix M,and the q x q heavy Majorana neutrino mass matrix MR.In other words,the numbers of massive left- and right-handed neutrinos are fairly matched.A good example to illustrate this "seesaw fair play rule"is the minimal seesaw model with p ＝ 3 and q ＝ 2,in which one masslese neutrino sits on the unbalanced seesaw.     

Mean curvature flow with free boundary – Type 2 singularities

In this paper we give sufficient conditions that guarantee the mean curvature flow with free boundary on a pinched cylinder develops a Type 2 curvature singularity. We additionally prove that Type 0 singularities may only occur at infinity.     

Cuccia定理的一个推广

For a finite group G,let S(G)be the set of minimal subgroups of odd order of G which are complemented in G.It is proved that if every minimal subgroup X of odd order of G which does not belong to S(G),C_G(X)is either subnormal or abnormal in G.Then G solvable.     

Lemniscates and inequalities for the logarithmic capacities of continua

It is shown that if P(z) = z ⁿ + ? is a polynomial with connected lemniscate E(P) = {z: ¦P(z)¦ ≤ 1} and m critical points, then, for any n? m+1 points on the lemniscate E(P), there exists a continuum γ ? E(P) of logarithmic capacity cap γ ≤ 2^?1/n which contains these points and all zeros and critical points of the polynomial. As corollaries, estimates for continua of minimum capacity containing given points are obtained.