可探测问题不可行性的无滤子逐步二次规划方法

<正>1引言本文考虑如下非线性约束优化问题min f(x)(1.1)s.t.c(x)≤0,其中f:R~n→R,c:R~n→R~m均二阶连续可微.若问题(1.1)不可行,求解以下约束违反度函数的极小值点得到(1.1)的不可行稳定点:min h(x),(1.2)其中h(x)=||[c(x)]~+||1,[c(x)]~+=max{c(x),0}(按分量最大).类似地,[c(x)]~-=max{-c(x),0}.众所周知,逐步二次规划方法(SQP)是求解问题(1.1)的最有效的一类方法,由于它能够很好求解非线性约束优化问题且具有超线性收敛的良好性质,吸引了许多学者对其     

EXISTENCE AND UNIQUENESS OFWEAK SOLUTIONS OF UNIFORMLY DEGENERATE QUASILINEAR PARABOLIC EQUATIONS

In this paper we deal with the quasilinear parabolic equation u/t=/x_i[a_(ij)(x, t, u))u/x_j]+b_i(x, t, u)u/x_i+c(x, t, u) which is uniformly degenerate at u=O. Under some assumptions we prove existence anduniqueness of nonnegative weak solutions to the Cauchy problem and the first boundary valueproblem for this equation. Furthermore, the weak solutions are globally Holder continuous.     

一般非线性扩散方程Cauchy问题广义解的渐近性质

本文研究了比较一般的非线性扩散方程的Cauchy问题广义解的渐近性质.利用试验函数与积分估计的方法,获得了广义解当t→∞时的渐近性质以及其广义整体解u(x,t),推广了该类方程Cauchy问题广义解的性质.     

高阶常微分方程Cauchy问题的直接讨论

本文通过构造一般的n阶常微分方程x~(n)(t)=f(t,x(t),x(t),…,x~(n-1)(t))的Cauchy问题的Picard迭代逼近序列,直接讨论了该方程解的存在唯一性及解的误差估计.     

求解大规模带二次简单约束的二次规划的显式自调比投影收缩算法

1　引　　言我们来考虑如下的带二次简单约束的二次规划问题12 x TH x +c Tx =mins.t.,‖ x‖ 2 ≤ a (1)其中 H∈ Rn× n是一个半正定对称矩阵 ,c∈ Rn,这里 a是一个确定的参数 .求解问题 (1)的最基本的方法是构造 L agrange函数 :L (x,λ) =x TH x +2 c Tx +λ(x Tx - a2 ) (2 )当约束起作用时 ,由 x L (x,λ) =0 ,　　 λL (x,λ) =0 ,得H x +c+λx =0‖ x‖ =a (3)即(H +λI) x +c =0‖ x‖ =a从而有‖ (H +λI) - 1 c‖ =a令φ(λ) =‖ (H +λI) - 1 c‖ ,　　 S(λ) =(H +λI) - 1 c则φ2 (λ) =STS =c T(H +λI) - 2 c=…     

三维可压核废料污染问题的交替方向特征有限元格式的敛速分析

1　引　　言三维可压核废料污染问题的数学模型为[1 ] :(a)　φ1 p t+ .u =-q +R′s(c)(b)　φ c t+u . c- .(Ec c) =g(c)(c)　φKi ci t+u . ci - .(Ec ci) +d3(ci) p t=fi(c,c1 ,c2 ,… ,c Nc) ,(i =1 ,… ,Nc)(d)　 d2 T t+cpu . T - .(EH T) +d1 (p) p t=Q(u,T,c,p) (1 .1 )其中 :u=-a(c) p=-k(x)μ(c) p.(x,t)∈Ω×J,Ω=I×I×I,I=(0 ,1 ) ,J=(0 ,T] .假设问题 (1 .1 )满足周期边界条件 ,p(x,t) .c(x,t) .ci(x,t) .T(x,t)的初始条件分别取为 p0 (x) ,c0 (x) ,c0i(x) ,T0 (x) ,(i=1 ,… ,Nc) .假设 (1 .1 )的系数可关…     

以Dirac测度为源的拟线性退化抛物方程

本文讨论拟线性退化抛物方程 ut-△um=δ(x), (A)(x,t)∈Q带有初值条件 u(x,0)=u0(x), (A)x∈Rn 的Cauchy问题,其中δ(x)是Dirac测度,m＞1,Q≡Rn×(0,+∞),u0(x)≥0,u0(x)∈Cβ(Rn),β∈(0,1)且0∈suppu0=-Ω,Ω是Rn中的一个有界开集,证明了弱解的存在性.此外,还讨论了自由边界的Holder连续性.     

Euler-Poisson-Darboux 方程奇型混合问题

<正> 对于 Laplace 双曲型方程Lz≡z_(xy)+a(x,y)z_x+b(x,y)z_y+c(x,y)z=0 (1)考虑一曲线弧 L,假设 L 被任何与 x 轴相平行或与 y 轴相平行的直线仅交于一点,而在L 上给定 Cauchy 数据,则方程(1)的解就唯一确定.若 L 由两根单调弧组成,而在 L 上给定 Cauchy 数据,Picard 指出,由于数据过多,Cauchy 问题一般是不可能的.J.Ha-     

求解一类Helmholtz方程Cauchy问题的中心差分正则化方法

Helmholtz方程Cauchy问题是严重不适定问题,本文我们在一个带形区域上考虑了一类Helmholtz方程Cauchy问题:已知Cauchy数据u(0,y)=g(y),在区间0＜x＜1上求解.我们用半离散的中心差分方法得到了这一问题的正则化解,给出了正则化参数的选取规则,得到了误差估计.     

具有拟周期系数的schrodinger方程的可约化与平衡点的线性稳定性

对Schrodinger方程(A):iut-uxx+c(t)u=0u(t,0)=u(t,2π)=0,u(t,x)=∑∞n=1qn(t)n(x)进行讨论.n(x)是特征方程y″+λy=0y(0)=y(2π)=0中特征值对应的特征函数,c(t)=a+εc1(t),其中a是常数,c1(t)是以ω为频率的拟周期函数.直接判断方程的稳定性十分困难,把方程中的c(t)约化为常数,然后利用约化后的结果来判断方程(A)的平衡点的线性稳定性,方法简单实用.     

Hodograph Transformations and Cauchy Problem to Systems of Nonlinear Parabolic Equations

In this paper, we provide a method to solve the Cauchy problem of systems of quasi‐linear parabolic equations, such systems can be transformed to the systems of linear parabolic equations with variable coefficients via the hodograph transformations. Our approach to solve the linear systems with variable coefficients is to use their fundamental solutions, which are constructed by using the Lie's symmetry method. In consequence, we can derive explicit solutions to the Cauchy problem of the quasi‐linear systems in terms of the solutions of the linear systems and the hodograph transformations relating to the quasi‐linear and the linear systems.     

Study of convergence of the projection-difference method for hyperbolic equations

We consider the Cauchy problem for an abstract quasilinear hyperbolic equation with variable operator coefficients and a nonsmooth but Bochner integrable free term in a Hilbert space. Under study is the scheme for approximate solution of this problem which is a combination of the Galerkin scheme in space variables and the three-layer difference scheme with time weights. We establish an a priori energy error estimate without any special conditions on the projection subspaces. We give a concrete form of this estimate in the case when discretization in the space variables is carried out by the finite element method (for a partial differential equation) and by the Galerkin method in Mikhlin form.     

On error estimates in the Galerkin method for hyperbolic equations

We consider the Cauchy problem in a Hilbert space for a second-order abstract quasilinear hyperbolic equation with variable operator coefficients and nonsmooth (but Bochner integrable) free term. For this problem, we establish an a priori energy error estimate for the semidiscrete Galerkin method with an arbitrary choice of projection subspaces. Also, we establish some results on existence and uniqueness of an exact weak solution. We give an explicit error estimate for the finite element method and the Galerkin method in Mikhlin form.     

On a Variational Inequality Formulation of an Electrochemical Machining Moving Boundary Problem and its Approximation by the Finite Element Method

An electrochemical machining moving boundary problem is formulated,after a change of variable, as an elliptic variational inequality.The unknown anode surface may now be found by solving just oneelliptic free boundary problem. The variational inequality isapproximated by the finite element method and numerical resultsare presented.     

Application of partial averaging for a class of integro-differential equations of fredholm type

The Cauchy problem for a system of integro-differential equations of a standard type is considered. The authors justify a method for partial averaging of the considered problem for asymptotically large interval of variation of the independent variable.     

Evaluation of the local error of fractional-rational multistep methods with variable integration step

To ensure the proper qualitative characteristic of approximate numerical solution of the Cauchy problem for a system of ordinary differential equations, it is necessary to formulate certain conditions that have to be satisfied by numerical methods. The efficiency of a numerical method is determined by constructing the algorithm of integration step changing and the choice of the order of the method. The construction of such a method requires one to determine preliminarily the admissible error of the method in each integration step. A theorem on the evaluation of the local error of multistep numerical p th-order methods with variable integration step without taking into account the round-off error is formulated. This theorem enables one to construct an efficient algorithm for the step change and the choice of the corresponding order of the method.     

Global entropy solutions to a class of quasi-linear wave equations with large time-oscillating sources

This research explores the Cauchy problem for a class of quasi-linear wave equations with time dependent sources. It can be transformed into the Cauchy problem of hyperbolic integro-differential systems of nonlinear balance laws. We introduce the generalized Glimm scheme in new version and study its stability which is proved by Glimm-type interaction estimates in a dissipativity assumption. The generalized solutions to the perturbed Riemann problems, the building blocks of generalized Glimm scheme, are constructed by Riemann problem method modeled on the source free equations. The global existence for the Lipschitz continuous solutions and weak solutions to the systems is established by the consistency of scheme and the weak convergence of source. Finally, the weak solutions are also the entropy solutions which satisfy the entropy inequality.     

Formulas that Represent Cauchy Problem Solution for Momentum and Position Schrödinger Equation

In the paper we derive two formulas representing solutions of Cauchy problem for two Schrödinger equations: one-dimensional momentum space equation with polynomial potential, and multidimensional position space equation with locally square integrable potential. The first equation is a constant coefficients particular case of an evolution equation with derivatives of arbitrary high order and variable coefficients that do not change over time, this general equation is solved in the paper. We construct a family of translation operators in the space of square integrable functions and then use methods of functional analysis based on Chernoff product formula to prove that this family approximates the solution-giving semigroup. This leads us to some formulas that express the solution for Cauchy problem in terms of initial condition and coefficients of the equations studied.

     

The parametrix method for parabolic SPDEs

We consider the Cauchy problem for a linear stochastic partial differential equation. By extending the parametrix method for PDEs whose coefficients are only measurable with respect to the time variable, we prove existence, regularity in Hölder classes and estimates from above and below of the fundamental solution. This result is applied to SPDEs by means of the Itô–Wentzell formula, through a random change of variables which transforms the SPDE into a PDE with random coefficients.     

On an integrable case of perturbed keplerian motion

A general solution of a differential vector equation of perturbed Keplerian motion is derived for the case when the position vector and perturbing acceleration vector are collinear. A variable change is employed, in which the new independent variable is expressed in terms of the initial values of the phase variables and time, using the elliptical Jacobi function. The two-point boundary value problem for the initial equation is reduced to the Cauchy problem, A parametric representation is obtained for the regularized trajectory of motion of a material point under the action of a central force.