Mixed methods on quadrilaterals and hexahedra

We describe a new family of discrete spaces suitable for use with mixed methods on certain quadrilateral and hexahedral meshes. The new spaces are natural in the sense of differential geometry, so all the usual mixed method theory, including the hybrid formulation, carries over to these new elements with proofs unchanged. Because transforming general quadrilaterals into squares introduces nonlinearity and because mixed methods involve the divergence operator, the new spaces are more complicated than either the corresponding Raviart-Thomas spaces for rectangles or corresponding finite element spaces for quadrilaterals. The new spaces are also limited to meshes obtained from a rectangular mesh through the application of a single global bilinear transformation. Despite this limitation, the new elements may be useful in certain topologically regular problems, where initially rectangular grids are deformed to match features of the physical region. They also illustrate the difficulties introduced into the theory of mixed methods by nonlinear transformations.     

OSCILLATION OF A FORCED SECOND ORDER NONLINEAR EQUATION

ＯＳＣＩＬＬＡＴＩＯＮ ＯＦ Ａ ＦＯＲＣＥＤ ＳＥＣＯＮＤ ＯＲＤＥＲ ＮＯＮＬＩＮＥＡＲ ＥＱＵＡＴＩＯＮ ￥ＫＯＮＧＱＩＮＧＫＡＩ；ＺＨＡＮＧＢＩＮＧＧＥＮＡｂｓｔｒａｃｔ：Ｔｈｉｓｐａｐｅｒｇｉｖｅｓｓｅｖｅｒａｌｃｒｉｔｅｒｉａｏｎｔｈｅｏ...     

FIXED POINTS AND COUPLED FIXED POINTS FOR INCREASING OPERATORS WITH APPLICMIONS TO DIFFERENTIAL INCLUSIONS IN BANACH SPACES

ＦＩＸＥＤＰＯＩＮＴＳＡＮＤＣＯＵＰＬＥＤＦＩＸＥＤＰＯＩＮＴＳＦＯＲＩＮＣＲＥＡＳＩＮＧＯＰＥＲＡＴＯＲＳＷＩＴＨＡＰＰＬＩＣＭＩＯＮＳＴＯＤＩＦＦＥＲＥＮＴＩＡＬＩＮＣＬＵＳＩＯＮＳＩＮＢＡＮＡＣＨＳＰＡＣＥＳＺＨＡＮＧＳＨＩＳＨＥＮＧＡＮＤＨＵ...     

带耗散的一阶非线性偏微分方程组的Cauchy问题

本文采用整体迭代法证明了带小初值的一阶非线性耗散偏微分方程组的Cauchy问题的整体经典解的存在性及指数衰减性质。     

Cyclic reduction and FACR methods for piecewise hermite bicubic orthogonal spline collocation

Cyclic reduction and Fourier analysis-cyclic reduction (FACR) methods are presented for the solution of the linear systems which arise when orthogonal spline collocation with piecewise Hermite bicubics is applied to boundary value problems for certain separable partial differential equations on a rectangle. On anN×N uniform partition, the cyclic reduction and Fourier analysis-cyclic reduction methods requireO(N ²log₂ N) andO(N ²log₂log₂ N) arithmetic operations, respectively.     

A convection/reaction/switching system

We consider a spatially distributed hybrid system consisting of a convection/reaction system in which the reaction switches discontinuously in time between modes, independently at each spatial point on reaching “switching thresholds”. The model involves a novel formulation for evolution of the free boundary between the modal regions.     

Existence of a solution for two phase flow in porous media: The case that the porosity depends on the pressure

In this paper we prove the existence of a solution of a coupled system involving a two phase incompressible flow in the ground and the mechanical deformation of the porous medium where the porosity is a function of the global pressure. The model is strongly coupled and involves a nonlinear degenerate parabolic equation. In order to show the existence of a weak solution, we consider a sequence of related uniformly parabolic problems and apply the Schauder fixed point theorem to show that they possess a classical solution. We then prove the relative compactness of sequences of solutions by means of the Fréchet-Kolmogorov theorem; this yields the convergence of a subsequence to a weak solution of the parabolic system.     

求解P0函数互补问题的一种微分方程方法

本针对P0函数互补问题，给出了一种微方程方法，并且证明了P0函数互补问题的解是微分方程系统的渐进稳定平衡点。在适当的假设条件下，证明了所给出的算法具有二次收敛速度。几个数值例子表明了该算法的有效性。     

等式与界约束非线性优化信赖域算法的全局收敛

§ 1　ＩｎｔｒｏｄｕｃｔｉｏｎＣｏｎｓｉｄｅｒｔｈｅｆｏｌｌｏｗｉｎｇｎｏｎｌｉｎｅａｒｏｐｔｉｍｉｚａｔｉｏｎｐｒｏｂｌｅｍ :ｍｉｎｉｍｉｚｅｆ(ｘ)ｓｕｂｊｅｃｔｔｏＣ(ｘ) =0 ,　ａ≤ｘ≤ｂ ,( 1 .1 )ｗｈｅｒｅｆ(ｘ) :Ｒｎ→Ｒ ,Ｃ(ｘ) =(ｃ1(ｘ) ,ｃ2 (ｘ) ,...,ｃｍ(ｘ) ) Ｔ:Ｒｎ→Ｒｍ ａｒｅｔｗｉｃｅｃｏｎｔｉｎｕｏｕｓｌｙｄｉｆｆｅｒｅｎｔｉａｂｌｅ,ｍ≤ｎ ,ａ ,ｂ∈Ｒｎ.Ｔｒｕｓｔｒｅｇｉｏｎａｌｇｏｒｉｔｈｍｓａｒｅｖｅｒｙｅｆｆｅｃｔｉｖｅｆｏｒｓｏｌｖｉｎｇｎｏｎｌｉｎｅａｒｏｐｔｉｍｉ…