退缩椭圆型方程的边值问题

<正> 在 R~n 的有界凸区域Ω上考虑椭圆型方程Lu≡sum from i,j=1 to n (a_(ij)(x)u_(xi)_(xj)+sum from i=1 to n b_i(x)u_i+c(x)u=f(x),(1)设对 x∈(?)及所有的实数组(ξ_1,ξ_2,…,ξ_n)sum from i,j=1 to n a_(ij)(x)ξ_iξ_j≥λ(x)sum from i=1 to n ξ_i~2≥0,a_(ji)(x)∈C(?),即算子 L(u)可能退缩而为退缩椭圆型算子。记(?)的边界为∑,∑上满足 sum from ij=1 to n a_(ij)n_in_j=0的点集为∑_0,(n_1,…,n_n)表示∑上的内单位法向量,∑_3=∑\∑_0,设其 n-1维测度非零,则对方程(1)可提如下的边值问题:     

Uniqueness and least energy property for solutions to a strongly coupled elliptic system

For the strongly coupled system of M ≥ 3 competing species:-Δ[(d_i +Σ_(j=1)~Mβ(_i_j)u_j)u_i]=(a_i-b_i)u_i-ku_iΣ_(j≠i)u_j, i=1,..., M,we prove the uniqueness of the limiting configuration as k →∞ under suitable conditions. Moreover,we prove that the limiting configuration minimizes a variational problem associated to the strongly coupled system among the segregated states with the same boundary conditions.     

代数特征值反问题之解的稳定性分析

考虑如下代数特征值反问题: 问题 G(A;{A_k}_1~n;λ).设 A=(a_(ij)),A_k=(a_(ij)~((k))),k=1,…,n是n+1个n×n的实对称矩阵,λ=(λ_1,…,λ_n)是n维实向量且λ_i≠λ_j,i≠j.求n维实向量c=(c_1,…,c_n)~T,使矩阵A(c)=A+sum from k=1 to n (c_kA_k)的特征值是λ_1,…,λ_n. 这一问题是经典加法问题的推广.当A_k-e_ke_k~~T(e_k是n阶单位阵的第k列)时,     

由谱数据数值稳定地构造实对称带状矩阵

§1.引言 设r,n是正整数并且0r有a_(ij)=0.     

关于Kahan定理的一个注记

设A∈C~(n×n),B∈C~(k×k)均为Hermite矩阵,它们的特征值分别为{λ_j}_(j=1)~n和{μ_j}_(j=1)~k(k≤n);Q∈~(n×k)为列满秩矩阵.令 (1) 则存在A的k个特征值λ_(j_2),λ_(j_2),…,λ_(j_k),使得 (2) 其中σ_k为Q的最小奇异值,||·||_2表示矩阵的谱范数.这是著名的Kahan定理·1996年曹志浩等在[2]中将(2)加强为 (3) 这是Kahan的猜想.在本文中,我们讨论将Kahan定理中“B为k阶Hermite矩阵”改为B为k阶(任意)方阵后,特征值的扰动估计,有以下结果. 定理 设A∈C~(n×n)为Hermite矩阵,其特征值为{λ_j}_(j=1)~n,B∈C~(k×k)的特征值为{μ_j}_(j=1)~k,而Q∈C~(n×k)为列满秩矩阵.则存在A的k个特征值λ_(j_1),λ_(j_2),…,λ_(j_k),使得     

带有位势的Schrdinger-Poisson系统解的存在性与多解性

该文讨论以下带有位势V的薛定谔-泊松(Schrdinger-Poisson)系统-△u+λVu+φu=f(x,u),x∈R~3,-△φ=u~2,x∈R~3,其中λ≥1是一个参数,位势函数V∈C(R~3,R+)满足比较一般的假设.当非线性项f在无穷远点是超四次的,并且空间嵌入缺乏紧性时,该文讨论了参数λ≥1充分大时问题解的存在性与多解性.也考虑了非线性性项f满足一般的次线性假设时问题无穷多个解的存在性.     

一类无穷阶退化抛物方程解的存在性

设X=(X_1,...,X_m)是一组无穷阶退化向量场,Δ_X=Σ_(j=1)~m X_j~*X_j,其中X_j~*是X_j的形式自伴算子.运用不动点理论得到抛物方程u_t=Δ_Xu+u log|u|解的存在性.     

在Banach空间中推广的Roper-Suffridge算子(Ⅲ)

假定X是具有范数‖·‖的复Banach空间,n是一个满足dim X≥n≥2的正整数.本文考虑由下式定义的推广的Roper-Suffridge算子Φ_(n,β_22γ_2,…,β_(n+1),γ_(n+1))(f):(?)其中x∈Ω_(p1,p2,…,pn+1),β_1=1,γ_1=0和(?)这里p_j1(j=1,2,…,n+1),线性无关族{x_1,x_2,…,x_n}(?)X与{x_1~*,x_2~*,…,x_n~*}(?) X~*满足x_j~*(x_j)=‖x_j‖=1(j=1,2,…,n)和x_j~*(x_k)=0(j≠k),我们选取幂函数的单值分支满足(f(ξ)/ξ)~(β_j)|ξ=0=1和(f′(ξ))~(γ_j)|ξ=0=1,j=2,…,n+1.本文将证明:对某些合适的常数β_j,γ_j,算子Φ_(n,β_2,γ_2,…,β_(n+1),γ_(n+1))(f)在Ω_(p_1,p_2,…,p_(n+1))上保持α阶的殆β型螺形映照和α阶的β型螺形映照.     

具有多项式增长的散度型拟线性弱椭圆方程组

本文讨论散度型拟线性弱椭圆方程组D_β[a_(ij)~(αβ)(x,u,▽u)D_αu~i+b_j~β(x,u,▽u)]+f_j(x,u,▽u)=0 1≤j≤N.在b_j~β(x,z,p),f_j(x,z,p)关于P,z具有任意多项式增长的假设下,利用拟线性Hlder不等式和迭代技巧,得到了弱椭圆方程组Dirichlet问题解的最大模一致估计。     

Levi族的Lax组非线性化

文[1]研究Levi族的Lax表示.今进一步讨论其Lax组的非线性化.设λ_1…,λ_N是Levi特征值问题的N个不同的特征值,那么φ_j(?)(φ_(1j),φ_(2j))~T是相应于特征值λ_j的特征函数,j=1,…,N.(?)=(?)/(?)x,q、r为势函数,x在所论区间Ω内变化. 浓缩(1)为向量形式:     

三维拟线性波方程的小初值光滑解

对三维小初值拟线性波方程3∑(i,j=0)g~(ij)(u)■_(ij)u=0,H.Lindblad证明了它有整体光滑解.本文考虑如下带有小初值的拟线性波方程3∑(i,j=0)g~(ij)(u)■_(ij)u=(■u)~3,通过得到低阶导数的衰减估计和高阶导数的能量估计,由连续论证法证明了这个方程也存在整体光滑解.     

幂次为2,3和4的整变量非线性型的整数部分

假设λ_1,λ_2,λ_2,λ_4是正实数,λ_i/λ_j(1≤ij≤4)至少有一个是无理数.那穇,对于正整数x_1,x_2,x_3,x_4,λ_1x_1~2+λ_2x_2~3+λ_3x_3~4+λ_4x_4~4的整数部分可表示无穷多素数.这个证明极大改进了以前的结果.     

具有大稳定域的线性多步方法

§1.引言 解常微分方程初值问题:的线性k步方法为 sum from j=0 to k (α_jy_(n j)=h sum from j=0 to k (β_jf_(n j),(2)其中α_0~2 β_0~2≠0,α_k≠0.当β_k≠0时,(2)为隐式k步法;当β_k=0时,(2)为显式k步法. 若将(2)应用于单个方程 y′=λy,Reλ<0,则得差分方程 ρ(E)y_n=μσ(E)y_(?),μ=λh,     

一类线性约束极大极小问题的算法及其收敛性

§1 引言考虑非线性规划问题 (P) (?)f(x)其中R是n维欧氏空间E~n中的非空多面体,f(x)=sum from j=1 to l f_j(x),而 f_j(x)=(?){β_(ij)(x)},j=1,2,…,l I_j为有限指标集,β_(ij)(·)是E~n上的连续可微函数,x∈E~n。通常(P)是一个不可微规划。最近,文[1]提出了形如f(x)的函数的伪方向导数的概念,并给出了一个解问题(P)的算法,在β_(ij)(·)为上一致可微的条件下证明了算法的收敛性。     

非线性高阶广义 Schrdinger型方程组的周期边界问题

本文考虑系数矩阵为非负定与非奇异的高阶抛物型方程组周期边界问题:=(-1)~(m 1)α_(Ij)(t) f\-1(u\-1,…u\-1),×∈R,t∈R,(Ⅰ)u\-1(x,t)|_(t=0)=_1(x),u\-1(x 1,t)=u\-1(x,t),x∈R,t∈R ,l=1,2…,J;整体解的存在与唯一问题,其中中 m1为整数,_1(x)是以1为周期的函数。J×t 阶矩阵 A(t)=(α_(xj)(t))是非负定的,即α_(lj)(t)ξ_lξ_j≥0,ξ_j∈R,i∈R_。     

一类自然增长的拟线性椭圆型方程的非平凡解

本文利用不光滑泛函的临界点理论证明了与泛函 I(u)=∫_Ω[1/2a_(ij)(x,u)D_iuD_ju-G(x,u)]dx,G(x,u)=∫_0g(x,t)dt相对应的Euler-Lagrange方程齐次Dirichlet问题非平凡解的存在性.证明改进了对α_(ij)(x,u)与G(x,u)所加的条件.     

时间序列线性模型的估计问题

设随机序列X={x(n),n≥1}满足下列线性模型其中a_j,λ_j,1≤j≤p为未知常数,为实平稳序列,本文讨论λ_j,a_j的估计问题并对λ_j引入了δ隔离周期图极大估计λ_(jk)。在一定条件下,证明了当样本容量K趋于无穷时这一估计的下列相合性和渐近正态性其中f(λ)为ξ的谱密度。     

椭圆型方程伪域方法的外推计算

在n维空间的有界区域Ω_1上考虑微分方程相应的边界条件是 u(x)=0,x∈?Ω_1。 (1.2)在以下的讨论中,假设对问题(1.1)和(1.2)下述条件成立: (i)所有的α_(ij)(x)在区域Ω_1上一致Lipschtz连续,且α_(ij)(x)=α_(ji)(x),i,j=1,     

非线性FREDHOLM积分方程组的求解方法

在文[1]中,我们研究了含参数 λ 的如下形式的非线性 Fredholm 积分方程组(?)(x;λ)=f(x)+λ(?)Φ(x,y,(?)(y;λ))dy (1)的求解问题,这里 λ 适当地小,(?)(x;λ)=((?)_1,…,(?)_i)~T 是未知的 l 维向量,f(x)=(f_1)…,f_(?))~T是已知的 l 维向量,Φ=(Φ_1,…,Φ_l)~T,每个分量Φ_j(x,y,(?)_1,…,(?)_l)(j=(?)     

一类线性约束极大极小问题的算法及其收敛性

设R为n维欧氏空间E~n中的非空多面体,考虑非线性规划问题 (P) (?)f(x), f(x)=sum from j=1 to l (f_j(x)),f_j(x)=■{β_(ij)(x)},其中I_j为有限指标集,β_(ij)(·)是E~n上的连续可微函数,x=(x_1,…,x_n)~T∈E~n,j=1,…,l. 本文先证明了伪方向导数的两个基本性质,并在去掉“β_(ij)(·)为上一致可微”这个条件