二维稳态各向异性介质渗透率的反演问题

1.引 言由多孔介质的渗流理论,二维稳态各向异性介质的渗流问题满足下列偏微分方程 -div(u(x,y)(?)u(x,y))=f(x,y),(x,y)∈Ω(?)R2, (1.1)     

基于样条的高阶矩阵微分方程近似解

矩阵微分方程经常出现在许多物理模型和工程技术模型中.利用矩阵样条构造形如{y(p)(x)=Ap-1(x)y(p-1)(x)+Ap-2(x)y(p-2)(x)+…+A1(x)y(1)(x)+A0(x)y(x)+B0(x),y(a)=ya,…,y(p-1)(a)=y(p-1)a,x∈[a,b];Ai(x),B0(x)∈C4[a,b],0≤i≤p-烅烄烆1的高阶矩阵线性微分方程初值问题的数值解.给出实现算法和数值解的近似误差估计以及数值实例.先将高阶矩阵微分方程转化为一阶矩阵微分方程,然后利用三次矩阵样条求出一阶矩阵线性微分方程的数值解,从而解决高阶微分方程问题.     

在共振点附近的一类二阶泛函微分方程的解析解

在复域C内研究一类包含未知函数迭代的二阶微分方程x″(z)=G(z,x(z),x~2(z),…,x~m(z))解析解的存在性.通过Schr(?)der变换,即x(z)=y(αy~(-1)(z)),把这类方程转化为一种不含未知函数迭代的泛函微分方程α~2y″(αz)y″(z)-αy′(αz)y″(z)= (y′(z))~3G(y(z),y(αz),…,y(α~mz)),并给出它的局部可逆解析解.本文不仅讨论了双曲型情形0<|α|<1和共振的情形(α是一个单位根),而且还在Brjuno条件下讨论了共振点附近的情形(即单位根附近).     

关于一类一阶非线性微分方程封闭可积条件的一个注记

给出了一类一阶非线性微分方程y′=p( x) y +q( x) yμ +r( x) +∑ni =2fi( x) yi较为广泛的一个封闭可积条件 ,它推广和统一了文献 [1]中的定理 1和定理 2 ,特别指出近年来关于著名Riccati方程和 Abei方程可积性的一批最新结果都是它的特例     

右端非增非连续微分方程组一对伪最小最大解的存在性

设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

极限方程为退缩椭圆型的一类三阶偏微分方程边值问题的奇摄动

本文研究极限方程在部分边界上为椭圆—抛物的一类三阶偏微分方程第一边值问题ε[(?)~3u]/[(?)y~3]-[y(?)~2u]/[(?)x~2]-[(?)~2u]/[(?)y~2]-a(x,y)[(?)u]/[(?)x]-b(x,y)[(?)u]/[(?)y]-c(x,y)u=f(x,y),u|_Γ=0,[(?)u]/[(?)y]|_(y=β)=0的奇摄动,在适当的假设下,证得解的存在并给出任意阶的一致有效的渐近展开式.     

极限方程为退缩椭圆型的一类三阶偏微分方程边值问题的奇摄动

本文研究极限方程在部分边界上为椭圆—抛物的一类三阶偏微分方程第一边值问题ε[(?)~3u]/[(?)y~3]-[y(?)~2u]/[(?)x~2]-[(?)~2u]/[(?)y~2]-a(x,y)[(?)u]/[(?)x]-b(x,y)[(?)u]/[(?)y]-c(x,y)u=f(x,y),u|_Γ=0,[(?)u]/[(?)y]|_(y=β)=0的奇摄动,在适当的假设下,证得解的存在并给出任意阶的一致有效的渐近展开式.     

两类一阶线性偏微分方程的解

利用二元复合函数求导的链式法则,推导一阶线性齐次偏微分方程P(x)f1x+Q(y)f1y=0的解,由此得出一阶线性非齐次偏微分方程P(x)f1x+Q(x)f1y=R(x)f和P(x) f1zx+Q(y)f1y=R(x)f的通解.     

右端非增非连续微分方程组一对伪最小最大解的存在性

<正> 设 E 是 Banach 空间,P 是 E 中正规锥,E 中半序由 P 导出.设 u_0,v_0∈E,u_0(?)v_0,D=[u_0,v_0],A(·,·):D×D→E.若存在 x,y ∈D,使得 x(?)A(x,y),A(y,x)(?)y,则称x,y 是 A 的一对伪上下不动点;若 x,y∈D 满足 x=A(x,y),A(y,x)=y,则称 x,y 是 A的一对伪不动点;如果 x_*,x~*∈D 是 A 的一对伪不动点,并且对 A 在 D 中的任一对伪不动点 x,y,x(?)y,都有 x_*(?)x(?)y(?)x~*,则称 x_*和 x~*是 A 的一对伪最小最大不动点;若x∈D 满足 A(x,x)=x,则称 x 是 A 的不动点.如果对任给固定的 v∈D,A(·,v):D→E是增算子,并且对任给固定的 u∈D,A(u,·):D→E 是减算子,则称 A 是 D 上的混合增减算子.     

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

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(…     

一类变系数微分方程通解公式的求法

已知微分方程y″+a(x)y′+b(x)y=f(x)相对应的Riccati方程z′+z2-a(x)z+b(x)一个特解,可以导得原二阶线性常系数微分方程的通解公式。     

变量分离型积分因子存在定理及应用

给出了变量分离型积分因子μ(x,y)=p(x)q(y)的定义,得到了微分方程M(x,y)dx+N(x,y)dy=0存在变量分离型积分因子μ(x,y)=p(x)q(y)的充要条件和计算积分因子的公式.     

关于常系数线性微分方程的特解表达式

常系数非齐次线性微分方程(?)αiy~(n-i)=cx~se~(αx)(αo≠0,s为非负整数)具有形如(y|-)=cx~(s y)e-(αx)/C~r-(s r)F~(r)(α)的特解,若它满足(i)s=O,且k相似文献   

关于 Poincaré 型方程解的渐近性态的若干注记

<正> Ⅰ.引言假若 n 阶线性微分方程y~(n)+α_1(x)y~((n-1))+…+α_n(x)y=α_0(x) (**)的系数α_v(x),当 x 无限增长时渐近于常数α_v:(?)α_v(x)=α_v (v=1,2,…,n)则称方程(**)为 Poincaré 型微分方程(简称为 P 型方程).θ(λ)=λ~n+α_1λ~(n-1)+…+α_n=0称为它的特征方程.     

Fuzzy蕴涵代数与有界BCK—代数等价

在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I_1) x→(y→z)=y→(x→z), (I_2) (x→y)→[(y→z)→(x→2)]=1, (I_3) (x→z)=1, (I_4) 若x→y=y→x=1,则x=y, (I_5) 0→x=1,其中 1=0→0. 在[2]中Iseki K引入了BCK-代数,参见[3,4]. 定义2 一个(2,0)型代数(X;*,0)称为BCK-代数,如果(?) x,y,z∈X,有 (Ⅰ) ((x*y)*(x*z))*(z*y)=0, (Ⅱ) (x*(x*y))*y=0, (Ⅲ) x*x=0.     

Bernoulli方程解法的启迪

众所周知 ,Bernoulli方程dydx=P( x) y +Q( x) yn( n≠ 0 ,1 ) ( 1 )是可用初等积分法求解的一类非线性方程 ,其解法是用函数变换 z=y1- n,则方程 ( 1 )就化为关于未知函数 z的一阶性方程dzdx=( 1 -n) P( x) z +( 1 -n) Q( x)上述解法启迪我们提出一般的问题 :非线性微分方程dydx=P( x) f ( y) +Q( x) g( y) ( 2 )经函数变换化的一阶线性微分方程的充要条件是什么 ?又方程 ( 2 )经函数变换化为 Bernoulli方程的充要条件是什么 ?其中 P( x) ,Q( x)和 f( y) ,g( y)都分别是 x和 y的连续函数 ,且它们都不为零。定理 1　方程 ( 2 )经未知函…     

一种求解二阶常微分方程初值问题的四阶方法

我们考虑用线性多步方法与样条函数方法联合求解具有下述初值条件的二阶线性微分方程:(?)本文在理论上证明了用此方法所求得的微分方程近似解 S(x)与微分方程准确解 y(x)之间的误差阶为0(h~4);所举例子的数值结果也进一步证示了理论上估计的正确性;同时也将该方法与标准四阶 Runge—Kutta 方法就所举例子进行了比较,发现本方法较好。     

闭轨线的一些性质及其周长之估计

(一) 考察常微分方程组这里F(x,y)。Q(x,y)在域G中对于变量x,y有我们所要用到的各阶偏导数,s是弧长参数。     

一类二阶变系数常微分方程的初等解法

给出了一类二阶变系数常微分方程y″+pu(x)y′+[qu2(x)-ru′(x)]y=f(x)及y″+pu(x)y′+[qu2(x)-ru′(x)]y=f(x)[y-′ru(x)y]n可积的充分条件及其通解表达式,并举例说明它的一些简单应用.     

三阶线性非齐次微分方程的Hyers-Ulam稳定性

讨论了三阶线性非齐次微分方程y′′′+p(x)y″+q(x)y′+r(x)y+f(x)=0的Hyers-Ulam稳定性,即若函数f是它的一个近似解,则该方程一定存在与f是任意接近的精确解,并给出了简单实例.