全微分方程的不定积分解法及其证明

0　引言一个一阶微分方程写成P( x,y) dx +Q( x,y) dy =0 ( 1 )形式后 ,如果它的左端恰好是某一个函数 u=u( x,y)的全微分 :du( x,y) =P( x,y) dx +Q( x,y) dy那么方程 ( 1 )就叫做全微分方程。这里 u x=P( x,y) ,　　 u y=Q( x,y)方程 ( 1 )就是 du( x,y) =0 ,其通解为 :u( x,y) =C　 ( C为常数 )可见 ,解全微分方程的关键在于求原函数 u( x,y)。因此 ,本文将提供一种求原函数 u( x,y)的简捷方法 ,并给出证明。1　引入记号为了表述方便 ,先引入记号如下 :设 M( x,y)为一个含有变量 x,y项的二元函数 ,定义 :( 1 )“M( x,y)”表示 M(…     

两多项式的最大公式因式性质的另一证明

本文给出了定理“对于给定的两多项式f(x),g(x),存在多项式u(x),v(x),使f(x)u(x) g(x)v(x)=(f(x),g(x))”的另一证明,并给出了求u(x),v(x)的递推公式。     

奇异摄动问题的一类非完全指数拟合差分格式

本文分析奇异摄动问题εu"+a(x)u'-b(x)u=f(x),0a>0,b(x)≥0的一类非完全指数拟合差分格式一致收敛阶的充分条件,由此构造出二阶一致收敛的非完全指数拟合差分格式,最后给出数值结果.     

星扇轮联图的邻点可约边染色

对简单图G(V,E),若存在自然数κ(1≤κ≤Δ(G))和映射f:E(G)→{1,2,…,κ}使得对任意相邻两点u,v∈V(G),uv∈E(G),当d(u)=d(v)时,有C(u)=C(u),则f为G的κ-邻点可约边染色(简记为κ-AVREC of G),而x′_(aur)(G)=max{κ|κ-AVREC of G}称为G的邻点可约边染色数.其中C(u)={f(uv)|uv∈E(G)}.证明了联图在若干情况下的邻点可约边染色定理,得到了S_n+S_n,F_n+F_n,W_n+W_n,S_n+F_n,S_n+W_n和F_n+W_n的邻点可约边色数.     

双曲型方程组差分格式与熵条件

其中u=u(x,t),f=f(u),φ=φ(x)是M维向量函数。拟线性双曲方程存在击波现象,既使初始值无限光滑,也会出现间断解。(1)与(2)的弱解一般而言是不唯一的,满足熵条件的弱解是有物理意义的广义解。 双曲型方程求数值解时,需要考察所得数值解满足熵条件的问题。Lax和Wendroff曾证明,当网格步长△_t,△_x趋于零时,若守恒型差分格式的解几乎处处有界收敛到函数     

一个值得商榷的问题

复合函数是中学数学教学中最常见的一种初等函数 ,对已知复合函数求原函数的定义域问题 ,在书刊中写法不一 ,给中学数学教学带来困惑 ,是一个值得商榷的问题 .1　问题提出若 f [φ(x) ]=g(x) ,那么习惯上称 f (x)为外层函数 (或原函数 ) ,φ(x)为内层函数 (或中间函数 ) ,而 f[     

一种求原函数的方法—待定积分法

如果f(x)是连续函数,我们有 ∫f(x)dx=F(x) c 其中c是积分常数,F(x)是f(x)的一个原函数。 我们将提出一种求原函数的方法,它指出将原函数用一组已知函数线性表出的可能性和计算法,并以此推出许多较一般的积分公式,便于记忆和应用。     

利用定积分求分段表示的函数的不定积分

分段表示的函数的不定积分的求法通常采用逐段求其不定积分 ,但这样得出的结果会有几个积分常数 ,由于不定积分的任意常数只有一个 ,为求出最后结果 ,则要利用原函数必连续的条件 ,找出几个积分常数之间的关系 ,确定出不定积分的任意常数 (见 [1 ]) ,由于求函数 f(x)的不定积分∫f (x) dx =F(x) C,关键是求出它的一个原函数 F(x) .若注意到变上限函数 F(x) =∫xaf (t) dt满足 F′(x) =f (x) ,即 F(x)是 f (x)的一个原函数 ,则有∫f (x) dx =∫xaf (t) dt C于是 ,求函数 f(x)的不定积分问题 ,就可以转化为求定积分∫xaf (t) dt的问题 .…     

求原函数的几个典型例题

原函数是一个重要概念,下面举几个与之有关的典型计算例子,以加深理解.例 1 设 f(x)的一个原函数 F(x)=(1+sinx)Inx 求 integral (xf′(x)dx)     

求不定积分时值得注意的一个问题

求一个函数的不定积分,不论选取怎样的变量代换,均应求出被积函数定义域的每一个连续区间上的原函数族,而不能只求出某些区间上的原函数族.否则,将导致某些积分计算的不正确的结果.例如:在[1]中第255页例11,求integral dx/(x(x~2)~(1/x~2))-1),书中给出了四种解法.其第一种解法是:     

求解第一类积分方程的正则化—小波方法及其数值试验

1 方法的描述 第一类(Fredholm)积分方程是指形如 (1.1)的积分方程,其中核k(x,y)和右端函数f(x)给定,u(x)是未知函数.许多物理、化学、力学和工程应用问题都能导致第一类积分方程.求解第一类积分方程的一个本质性困难是方程的不适定性,即解的存在性、唯一性和稳定性遭到破坏.常用的数值方法有奇异值分解(SVD)方法、Tikhonov正则化方法、投影方法、正则化-样条方法、再生核方法等.本文提出一种新的正则化-小波方法,在第一类积分方程有多个解时,可以求出具有最小范数的数值解;如果原积分方程有唯一解,则所得的数值解收敛于准确解.数值试验表明,该方法是可行的. 我们在L~2[a,b]中考虑第一类(Fredholm)积分方程,即假设方程(1.1)中积分算子K∈L~2([a,b]×[a,b])及右端f(x)∈L~2[a,b]给定.为保证数值求解算法的稳定性,我们先用正则化方法处理该方程,将不适定问题化为泛函极值问题来求解,然后利用多重正交样条小波基构造求解格式.由于我们给出了直接计算低阶的多重正交样条小波基函数的一般公式,使得解法可以在计算机迅速实现.     

The best quadrature based on given Hermite information for the Sobolev class KW~r[a,b]

As usual, denote by KWr[a,b] the Sobolev class consisting of every function whose (r-1)th derivative is absolutely continuous on the interval [a,b] and rth derivative is bounded by K a.e. in [a, b]. For a function f∈KWr[a, b], its values and derivatives up to r -1 order at a set of nodes x are known. These values are said to be the given Hermite information. This work reports the results on the best quadrature based on the given Hermite information for the class KWr[a. b]. Existence and concrete construction issue of the best quadrature are settled down by a perfect spline interpolation. It turns out that the best quadrature depends on a system of algebraic equations satisfied by a set of free nodes of the interpolation perfect spline. From our another new result, it is shown that the system can be converted in a closed form to two single-variable polynomial equations, each being of degree approximately r/2. As a by-product, the best interpolation formula for the class KWr[a, b] is also obtained.     

无正则性条件下的一个信赖域方法的全局收敛性

1.引 言考虑下列等式约束最优化问题:min f(x)x∈Rn (1.1)s.t.C(x)=0其中f:Rn→R,C（x）=（c1（x）,C2（x）,…,Cm（x））T,Ci:Rn→R,（i=1,…,m）.我们假设f（x）,Ci（x）（i=1,2,…,m）是连续可微函数.令g（x）=　f（x）,A（x）=　C（x）T.为了方便,我们通常用 Ck,fk,gk,Ak分别表示 C（xk）,f（xk）,g（xk）A（xk）. SQP方法是一迭代方法.在 xk点,通过解下列子问题来得到搜索方向 dk     

Radial basis function collocation method for the numerical solution of the two-dimensional transient nonlinear coupled Burgers’ equations

This paper examines the numerical solution of the transient nonlinear coupled Burgers’ equations by a Local Radial Basis Functions Collocation Method (LRBFCM) for large values of Reynolds number (Re) up to 10³. The LRBFCM belongs to a class of truly meshless methods which do not need any underlying mesh but works on a set of uniform or random nodes without any a priori node to node connectivity. The time discretization is performed in an explicit way and collocation with the multiquadric radial basis functions (RBFs) are used to interpolate diffusion-convection variable and its spatial derivatives on decomposed domains. Five nodded domains of influence are used in the local support. Adaptive upwind technique [1] and [54] is used for stabilization of the method for large Re in the case of mixed boundary conditions. Accuracy of the method is assessed as a function of time and space discretizations. The method is tested on two benchmark problems having Dirichlet and mixed boundary conditions. The numerical solution obtained from the LRBFCM for different value of Re is compared with analytical solution as well as other numerical methods [15], [47] and [49]. It is shown that the proposed method is efficient, accurate and stable for flow with reasonably high Reynolds numbers.     

解重调和问题混合有限元方程的直接方法

§1.引言 考虑如下重调和方程的齐次边值问题: △~2w=f,在Ω中, w=?w/?v=0,在Ω上.(1.1)其中Ω是平面凸多边形区域,?Ω是Ω的边界,?/?v表示?Ω上的外法向导数.     

On an implicit particle method for simulation of forming processes

Task is the simulation of forming processes using particle methods. We implemented some mesh-free methods (the element free Galerkin method [1] and others) and the finite element method in one programme system which permits a direct comparison. For the mesh-free methods a moving least squares approximation is applied. The shape functions are not zero or one at the nodes, thus essential boundary conditions cannot be imposed directly [2]. We use a penalty method to enforce essential boundary conditions and contact conditions. The contact algorithm (normal contact of nodes to C¹-continuous surfaces) is checked by means of the element free Galerkin method and the FEM on the basis of numerical examples which deal with forming processes. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Diller-Nahm-style functional interpretation of $\hbox{\sf KP} \omega$

The Dialectica-style functional interpretation of Kripke-Platek set theory with infinity () given in [1] uses a choice functional (which is not a definable set function of (). By means of a Diller-Nahm-style interpretation (cf. [4]) it is possible to eliminate the choice functional and give an interpretation by set functionals primitive recursive in . This yields the following characterization: The class of -definable set functions of coincides with the collection of set functionals of type 1 primitive recursive in . Received: 26 August 1998     

弹性力学平面问题的精确元法

本文在阶梯折算法[1]和精确解析法[2]的基础上,提出构造有限元的新方法——精确元法.该方法不用一般变分原理,可适用于任意变系数正定和非正定偏微分方程.利用该方法得到弹性力学平面问题的一个非协调任意四边形单元.它具有八个自由度.由于没有采用雅可比变换,该单元可以蜕化为三角形单元,在工程中使用起来较为方便.文中给出收敛性证明.文末给出算例,位移和应力均给出较好的结果,在单元的节点上有较好的数值精度.     

模糊数值函数的积分原函数是否几乎处处可导

对于模糊数值函数的积分原函数的可导性问题,本文构造性地给出一反例,说明存在(K)可积的模糊数值函数其积分原函数并不是几乎处处可导的。     

求解不可压Navier－Stokes方程的SCGS迭代法的光滑因子

求解不可压Ｎａｖｉｅｒ－Ｓｔｏｋｅｓ方程的ＳＣＧＳ迭代法的光滑因子张林波（中国科学院计算数学与科学工程计算研究所科学与工程计算国家重点实验室）ＥＶＡＬＵＡＴＩＯＮＯＦＳＭＯＯＴＨＩＮＧＦＡＣＴＯＲＯＦＴＨＥＳＣＧＳＩＴＥＲＡＴＩＯＮＦＯＲＩＮＣＯＭＰ...