关于Lax-Milgram定理和Céa定理的一个注记

本文研究抽象变分问题(不必要求具有强制性)的Galerhin方法,利用泛函分析理论证明了:若变分问题的Galerkin逼近问题存在唯一解,那么它本身的解存在唯一且可由Galerhin逼近解无限逼近的充要条件是其Galerkin逼近格式具有某种稳定性.此结果是对Lax-Milgram定理和C啨a定理的补充,可以应用于不必具有强制性的变分问题.     

双曲型方程变网格有限元法

§1.引言 用有限元法解波动方程时,一般对空间区域采用有限元法,对时间轴采用差分方法;而波的峰值随时间而变化,在峰值附近网格剖分要局部加密才能保证精度而不影响计算量.从而产生了用变网格有限元法来解波动方程的问题,本文对线性双曲型方程采用变网格有限元方法计算,得出的结论是:在一定条件下,这种变网格是收敛的,而且当网格变动次数M是同空间剖分参数h和时间剖分参数△t无关的常数时,误差的H~1模最优.     

关于Lax-Milgram定理和Cea定理的一个注记

本文研究抽象变分问题（不必要求具有强制性）的Galerhin方法，利用泛函分析理论证明了：若变分问题的Galerkin逼近问题存在唯一解，那么它本身的解存在唯一且可由Galerhin逼近解无限逼近的充要条件是其Galerkin逼近格式具有某种稳定性．此结果是对Lax-Milgram定理和Cea定理的补充，可以应用于不必具有强制性的变分问题．     

轴对称弹塑性扭转问题的数值解

在很多自由边界问题的研究中,变分不等式是一个有力的工具,它不但可以用来研究解的存在唯一性、正则性等理论问题,而且还提供了有效的数值方法(见[1-3]).对轴对称机轴的弹塑性扭转问题,[4,5]用变分不等式研究了解的存在唯一性和正则性,在此基础上,[6]建议用有限元法求解等价的障碍问题.该法的缺点是,事先要解一个一阶非线性偏微分方程的Cauchy问题以求出障碍函数,并且此Cauchy问题的解一般不唯一.本文的方法是直接将原来的变分不等式问题作有限元离散,再将离散问题化成鞍点问题,然后采用Uzawa型算法求解.这就避免了[6]中方法的上述困难.     

非线性Sobolev方程Galerkin解法的后处理与超收敛

研究非线性Sobolev方程Galerkin解法的后处理与超收敛．对半离散及全离散格式,证明了当有限元空间次数,r≥2时,有限元解经过后处理,H1-模和L2-模误差估计可分别提高一阶．     

变分不等式的近似解法

Falk曾对凸域和非凸域上的变分不等式问题给出有限元近似解法。特别当区域是非凸时,需要计算很多边界项积分。不管区域是否为凸的情形,本文要给出一个统一的计算格式,此格式不必计算边界项积分,因而可以减少工作量。所得误差也是最优的。     

不稳定渗流问题引起的一个抛物拟变分不等式

本文研究抛物拟变分不等式,它是由液体在具铅直侧壁的水坝中的不稳定渗流所引起。我们利用区域的扰动方法证明了此问题的近似解关于t的一致Lipschitz连续性。我们得到了抛物拟变分不等式的解的存在性。     

一般单调变分不等式的近似邻近外梯度算法

近似邻近点算法是求解单调变分不等式的一个有效方法,该算法通过解决一系列强单调子问题,产生近似邻近点序列来逼近变分不等式的解,而外梯度算法则通过每次迭代中增加一个投影来克服一般投影算法限制太强的缺点,但它们均未能改变迭代步骤中不规则闭凸区域上投影难计算的问题.于是,本文结合外梯度算法的迭代格式,构造包含原投影区域的半空间,将投影建立在半空间上,简化了投影的求解过程,并对新的邻近点序列作相应限制,使得改进的算法具有较好的收敛性.     

一类非线性Signorini问题的有限元逼近

本文讨论了一类与非线性单调算子相联系的变分不等式问题——一类非线性Signorini问题。证明了解的存在性和唯一性,给出解的一个表征性质。随后,构造了问题的一个有限元逼近格式;得到了有限元近似解的收敛性结果和误差估计,关键词:非线性单调算子,变分不等式,Signorini问题,有限元逼近,收敛性,误差估计。     

变分不等式的极大熵函数方法

利用极大熵函数方法将不等式组及变分不等式的求解问题转化为近似可微优化问题,给出了不等式组及变分不等式问题近似解的可微优化方法,得到了不等式组和变分不等式问题的解集合的示性函数.     

On farthest points of sets

For a convex closed bounded set in a Banach space, we study the existence and uniqueness problem for a point of this set that is the farthest point from a given point in space. In terms of the existence and uniqueness of the farthest point, as well as the Lipschitzian dependence of this point on a point in space, we obtain necessary and su.cient conditions for the strong convexity of a set in several infinite-dimensional spaces, in particular, in a Hilbert space. A set representable as the intersection of closed balls of a fixed radius is called a strongly convex set. We show that the condition “for each point in space that is sufficiently far from a set, there exists a unique farthest point of the set” is a criterion for the strong convexity of a set in a finite-dimensional normed space, where the norm ball is a strongly convex set and a generating set.     

二次曲面和平面位置关系的判式

在解析几何中有二次曲线与直线位置关系的讨论、二次曲面与直线位置关系的讨论,而二次曲面与平面相关位置关系的探讨较少.本文给出二次曲面a11x2+a22y2+a33z2+2a12xy+2a13xz+2a23yz+2a14x+2a24y+2a34z+a44=0(1)和平面Ax+By+Cz+D=0(2)的相对位置的判别式Δ=a11a12a13a14Aa21a22a23a24Ba31a32a33a34Ca41a42a43a44DA B C D0(aij=aji).(3)并证明了:若Δ>0,则二次曲面(1)与平面(2)相交;若Δ=0,则(1)和(2)相切;若Δ<0,则(1)和(2)相离.     

The KdV soliton crosses a dissipative and dispersive border

We demonstrate the behavior of the soliton which, while moving in non-dissipative and dispersion-constant medium encounters a finite-width barrier with varying dissipation and/or dispersion; beyond the layer dispersion is constant (but not necessarily of the same value) and dissipation is null. The transmitted wave either retains the form of a soliton (though of different parameters) or scatters a into a number of them. And a reflection wave may be negligible or absent. This models a situation similar to a light passing from a humid air to a dry one through the vapor saturation/condensation area. Some rough estimations for a prediction of an output are given using the relative decay (or accumulation) of the KdV conserved quantities in a dissipative area; in particular for a restriction for a number of solitons in the transmitted signal.     

Mean-variance portfolio selection for a non-life insurance company

We consider a collective insurance risk model with a compound Cox claim process, in which the evolution of a claim intensity is described by a stochastic differential equation driven by a Brownian motion. The insurer operates in a financial market consisting of a risk-free asset with a constant force of interest and a risky asset which price is driven by a Lévy noise. We investigate two optimization problems. The first one is the classical mean-variance portfolio selection. In this case the efficient frontier is derived. The second optimization problem, except the mean-variance terminal objective, includes also a running cost penalizing deviations of the insurer’s wealth from a specified profit-solvency target which is a random process. In order to find optimal strategies we apply techniques from the stochastic control theory.     

On a Mathematical Comparison between Hierarchy and Network with a Classification of Coordination Structures

This paper proposes a mathematical model to compare a network organization with a hierarchical organization. In order to formulate the model, we define a three-dimensional framework of the coordination structure of a network and of other typical coordination structures. In the framework, we can define a network structure by contrasting it with a hierarchy, in terms of the distribution of decision making, which is one of the main features of information processing. Based on this definition, we have developed a mathematical model for evaluating coordination structures. Using this model, we can derive two boundary conditions among the coordination structures with respect to the optimal coordination structure. The boundary conditions help us to understand why an organization changes its coordination structure from a hierarchy to a network and what factors cause this change. They enable us, for example, to find points of structural change where the optimal coordination structure shifts from a hierarchy to a hierarchy with delegation or from a hierarchy with delegation to a network, when the nature of the task changes from routine to non-routine. In conclusion, our framework and model may provide a basis for discussing the processes that occur when coordination structures change between a hierarchy and a network.     

A mathematical model for Bingham-like fluids with visco-elastic core

In this paper we present a new mathematical model for Bingham-like materials in which the core behaves as a visco-elastic Maxwell fluid. We deduce the model in a general 3D framework, using a thermodynamical approach based on the theory of natural configurations. We apply the model to the case of a plane Poiseuille flow driven by a time-dependent pressure gradient. The mathematical formulation of the latter case turns out to be a free boundary problem in which a parabolic equation and a dissipative wave equation are coupled together.     

管状曲面在曲线论中的应用

研究了围绕曲线的管状曲面上的曲率线,渐近线与测地线,给出它们的方程,揭示了这些曲线与Bertrand曲线或Mannheim曲线之间的关系,采用新的方法给出一条曲线是Bertrand曲线或Mannheim曲线的充要条件的另一种证明以及Mannheim侣线的曲率与挠率之间的关系．     

Palm calculus for a process with a stationary random measure and its applications to fluid queues

We consider a process associated with a stationary random measure, which may have infinitely many jumps in a finite interval. Such a process is a generalization of a process with a stationary embedded point process, and is applicable to fluid queues. Here, fluid queue means that customers are modeled as a continuous flow. Such models naturally arise in the study of high speed digital communication networks. We first derive the rate conservation law (RCL) for them, and then introduce a process indexed by the level of the accumulated input. This indexed process can be viewed as a continuous version of a customer characteristic of an ordinary queue, e.g., of the sojourn time. It is shown that the indexed process is stationary under a certain kind of Palm probability measure, called detailed Palm. By using this result, we consider the sojourn time processes in fluid queues. We derive the continuous version of Little's formula in our framework. We give a distributional relationship between the buffer content and the sojourn time in a fluid queue with a constant release rate.     

Enumerating bases of self-dual matroids

We define involutively self-dual matroids and prove that an enumerator for their bases is the square of a related enumerator for their self-dual bases. This leads to a new proof of Tutte's theorem that the number of spanning trees of a central reflex is a perfect square, and it solves a problem posed by Kalai about higher dimensional spanning trees in simplicial complexes. We also give a weighted version of the latter result.We give an algebraic analogue relating to the critical group of a graph, a finite abelian group whose order is the number of spanning trees of the graph. We prove that the critical group of a central reflex is a direct sum of two copies of an abelian group, and conclude with an analogous result in Kalai's setting.     

Convergence of Rothe scheme for a class of dynamic variational inequalities involving Clarke subdifferential

In the first part of the paper we deal with a second-order evolution variational inequality involving a multivalued term generated by a Clarke subdifferential of a locally Lipschitz potential. For this problem we construct a time-semidiscrete approximation, known as the Rothe scheme. We study a sequence of solutions of the semidiscrete approximate problems and provide its weak convergence to a limit element that is a solution of the original problem. Next, we show that the solution is unique and the convergence is strong. In the second part of the paper, we consider a dynamic visco-elastic problem of contact mechanics. We assume that the contact process is governed by a normal damped response condition with a unilateral constraint and the body is non-clamped. The mechanical problem in its weak formulation reduces to a variational–hemivariational inequality that can be solved by finding a solution of a corresponding abstract problem related to one studied in the first part of the paper. Hence, we apply obtained existence result to provide the weak solvability of contact problem.