Combination of mixed finite element and Dirichlet-to-Neumann methods in nonlinear plane elasticity

We study the solvability and Galerkin approximation of an exterior hyperelastic interface problem arising in plane elasticity. The weak formulation is obtained from an appropriate combination of a mixed finite element approach with a Dirichlet-to-Neumann method. The derivation of our results is based on some tools from nonlinear functional analysis and the Babuska-Brezzi theory for variational problems with constraints.     

映象方程多解问题的某些研究

本文用ｆｐ－同伦方法，在一定的技巧和变换的配合下，在紧性条件支持下，研究了赋范线性空间中一类集值映象方程的多解问题。还给出所得理论结果的一个应用。     

THE EXISTENCE THEOREM OF THE CONE-WEAK SUBDIFFERENTIAL OF SET-VALUED MAPPING

In this paper, the existence theorem of the cone-weak subdiflerential of set-valued mapping in locally convex topological vector space is proved.     

关于多正解问题的某些研究

本文以ｆｐ 同伦方法为工具，借助于一些适当的变换，研究有序的（Ｂ）空间中的集值映象方程的多正解问题；在文中的有关工作中，还使用了集值映象的拟导数的某些性质．     

Browder-Petryshyn 型的严格伪压缩映射的粘滞迭代逼近方法

主要研究Browder-Petryshyn型的严格伪压缩映射的粘滞迭代逼近过程,证明了Browder-Petryshyn型的严格伪压缩映射的不动点集F(T)是闭凸集．在q-一致光滑且一致凸的Banach空间中,对于严格伪压缩映射T,利用徐洪坤在2004年引进的粘滞迭代得到的序列弱收敛于T的某个不动点．同时证明了Hilbert空间中Browder-Petryshyn型的严格伪压缩映射的相应迭代序列强收敛到T的某个不动点,其结果推广与改进了徐洪坤2004年的相应结果．     

关于拟共形映照边界伸缩商的一个注记

本文给出了拟共形映照边界伸缩商与无限小边界伸缩商的一个等式h([μ])=inf_(μ1∈[μ])b([μ1]B)；并给出了一个关于T_0空间的推论．     

Development of a “Built-in” Scanning Near Field Microscope Head for an Atomic Force Microscope System and Stress Mapping of an Al2O3/ZrO2 Eutectic Composite

We constructed a scanning near-field optical microscope (SNOM) on a commercially available atomic force microscopy (AFM) apparatus (SPM-9500J2; Shimadzu Corp.) to measure the stress distribution in ceramic composite materials. Features of our SNOM system are: (1) a compact SNOM head substituted for the original AFM head; (2) a wide scanning range (125 × 125 μm²) inherited from the original scanner; (3) use of conventional shear-force regulation; (4) an optical system for the illumination-collection (I-C) mode; (5) excitation by a 488 nm line of an Ar-ion laser, and (6) light detection by photon counting or a polychromator equipped with an electronically cooled charge coupled device (CCD). This SNOM system was used to measure the surface structure and stress distribution of an Al₂O₃/ZrO₂ eutectic composite. We simultaneously measured topographic images and fluorescence spectra of an Al₂O₃/ZrO₂ eutectic composite. We estimated its peak intensity, peak position, and peak width from the fluorescence spectrum during scanning, which respectively correspond to the abundance of Al₂O₃, stress in the grain, and the anisotropy of that stress. Mapping images showed that the stress and its anisotropy were weaker in the center of the Al₂O₃ grain than its boundary between Al₂O₃ and ZrO₂. That observation suggests that Al₂O₃ underwent intense anisotropic stress induced by volume expansion in the phase transition of ZrO₂ from the cubic phase to the monoclinic phase during preparation.     

Fenchel duality, Fitzpatrick functions and the extension of firmly nonexpansive mappings

Recently, S. Reich and S. Simons provided a novel proof of the Kirszbraun-Valentine extension theorem using Fenchel duality and Fitzpatrick functions. In the same spirit, we provide a new proof of an extension result for firmly nonexpansive mappings with an optimally localized range.

     

A note on the computational complexity of graph vertex partition

A stable set of a graph is a vertex set in which any two vertices are not adjacent. It was proven in [A. Brandstädt, V.B. Le, T. Szymczak, The complexity of some problems related to graph 3-colorability, Discrete Appl. Math. 89 (1998) 59-73] that the following problem is NP-complete: Given a bipartite graph G, check whether G has a stable set S such thatG-Sis a tree. In this paper we prove the following problem is polynomially solvable: Given a graph G with maximum degree 3 and containing no vertices of degree 2, check whether G has a stable set S such thatG-Sis a tree. Thus we partly answer a question posed by the authors in the above paper. Moreover, we give some structural characterizations for a graph G with maximum degree 3 that has a stable set S such that G-S is a tree.     

极大单调算子和m增生映射值域的扰动定理及在非线性微分方程上的应用

利用不动点定理,分别证明了在自反Banach空间中极大单调算子值域扰动的抽象结论和在H ilbert空间中m增生映射值域的扰动结果,这些结论是对以往一些工作的推广;然后,利用文中的新结论讨论了一类微分方程解的存在性.