弱解属于C~∞的一种充分条件

一、引言 在文[1]中对次椭园算子的正则性已给出了证明。但对于一般的常系数算子,未必能有“每个弱解都属于C~∞”的结论。本文对这一问题作了研究,给出了弱解属于C~∞的一种充分条件。     

一个梯度约束的变分不等式中的自由边界问题

考虑一个抛物型梯度约束的变分不等式min{v_t-1/2σ~2v_(xx)-μv_x+cv,v_x-1}=0.问题来源于以公司最优分红模型为背景的随机最优控制问题.本文运用偏微分方程技术,通过引入惩罚方法,得到变分不等式解的存在唯一性和一些先验估计,然后进一步讨论自由边界的性质,最终证明自由边界不仅可以表示成x关于t的函数,而且是以0为起点、单调递增、C~∞的曲线.     

具源函数的p-Laplacian发展方程边界连续性

考虑退化方程u_t=div(|▽u|~(p-2)▽u)+u~q的Cauchy问题,其中初始函数u_0(x)的支集有界,p>2,1相似文献   

第一类Fredholm积分方程的正则化解法

本文考察了第一类Fredholm积分方程Az=U (Z(s)∈W_2~1[a,b],U(x)∈L_2[a,b])其中,Az=(?)K(x,s)Z(s)ds,函数K(x,s)是[a,b]×[a,b]上的连续函数。这一方程的求解是一个不适定问题。苏联学者Тихонов曾在算子A是可逆的假设下,讨论过这一问题。本文运用正则化思想,通过拓广解的定义的方法,对算子A不可逆的情况作了探讨,并给出求近似解的方法。     

一类抛物方程非齐次边值问题及其在控制论中的应用

本文从现代工程实际中概括出了一类抛物型偏微分方程非齐次边值问题,并证明了它的适定性,同时利用它和变分不等方程给出了一类系统最佳控制存在和唯一的条件,比[1][2][3][4]中的问题要复杂些,结果要一般些。     

1/2△+1/2△ρ的Dirichlet边界值问题

文章应用布朗运动的时间逆转算子和狄氏型理论，给出算子1/2△+1/2△ρ的Dirichlet边界值问题的概率解，并证明其在边界上连续。ρ∈C_0~∞时，边界值问题的概率解可表示为对任意x∈D,u(x)?E_x［e~(2N_(τ_D)~ρ)f(X_(τ_D))]。对ρ∈W~（1,2）(D)，构造一列ρ_n∈C_0~∞(D)使其在W_0~(1,2)(D)收敛到ρ。由u在D内局部Ho?lder连续，证明u在边界?D上连续。     

关于非单调算子的变分问题

本文通过有限维逼近的方法讨论了一类非单调算子的变分不等方程，并在所谓的（Ｆ）条件下将锐角原理推广到变分问题之中，从而得到了很一般的解的存在性。     

强奇系数拟线性抛物型方程第—边值问题的一个注记

在[1]中曾讨论过强奇性系数抛物型问题解的存在性。现进一步改进结构性条件,使方程可显含有例如K/X_u~β(u)/(x)这一类强奇性系数项,其中K为常数,奇性出现在区域边界含x_n=0的一部分中。在实际应用中出现这种类型的项是常见的。在奇性椭园型问题中己有不少文献从事这方面的讨论,见[2][3][4][5]。设Ω是n(n≥2)维欧氏空间中的有界域,记Q_T=Ω×[0,T],S_T=Ω×[0,T],类似于     

关于C~∞延拓问题

本文讨论C~∞延拓问题,利用Borel技术简洁地证明了定义在一闭区间上取值在一局部凸线性拓扑空间中的C~∞抽象函数总可保持C~∞性质而延拓到该区间的邻域,由此又可得定义在任一有边界C~∞微分流形上的C~∞函数必可随着流形的扩张而作C~∞延拓,进而得到有关拟微分算子符号及算子本身C~∞延拓的一些性质. 设V为局部凸线性拓扑空间,f(x)为[-1,0]→V的连续映照,则成立如下的定     

二阶耦合拟线性抛物组边值问题的周期解

本文利用有限维正交投影方法证明了下述边值问题u_j1-a_j(u_j)_(xx)+σ_ju_j+f_j(t,x,u)=g_j(t,x),(t,X)∈G=(0,π)×(0,π),-α_(j1)u_(jx)+β_(j1)u_(j)|_(x=0)=0α_(j2)u_(jx)+β_(j2)u_(j)|_(x=π)=0 j=1,…,n在假设条件(4)-(6)成立时,于少有一周期解u_j∈W_1~(2,1)(G)。当a_j(u_j)=u_j时,文[7]讨论了此种情形,但是我们得到的结果u_j∈w_2~2(G)且u_(jx)∈W_1~(2,1)(G),比文[7]的结果强得多。     

一个半线性抛物型初边值问题的正则性结果及其应用

R. Redlinger在文[1]中证明了半线性抛物型系统的每个有界解是C~2(?)-紧的.本文加强了这一结果,证明了在一定条件下,每个有界解是C~(2+μ,1+μ/2)(?×R~+)-正则的.应用这个结果讨论了线性非齐抛物型系统周期解的存在性.     

一类势函数具有脉冲点的Sturm-Liouville算子的半逆问题

目的研究势函数具有脉冲点的Sturm-Liouville算子在Robin边值条件下的半逆问题。方法根据缺失一个特征值后的一组谱和[0,1/2]区间上的势函数q(x)及边值条件中的参数h利用Pivovarchik的方法进行重构。结果与结论得到了(1/2,1]区间上q(x)和参数H的存在性和唯一性,给出了唯一解相应的重构算法。     

λ—阶导数与波动方程的Cauchy问题(0<λ<1)

本文利用λ——阶导数(1/2<λ<1)的嵌入定理改进С.Л.索伯列夫关于n维空间波动方程Cauchy问题解的存在性定理为:如果初始数据u_0∈W_2~(([n/2] 2)H~λ(G))u_1∈W_2~(([n/2] 2)H~λ(G)),(1/2<λ<1),则存在唯一古典解。     

时标上一类p-Laplacian哈密顿系统的变分结构

研究了形式如下的时标T上二阶非自治的p-Laplacian哈密顿系统{︱u~Δ(t)︱~(p-2)︱ u~Δ(t))~Δ=▽F(σ(t),u~σ(t)),Δ-a.e.t∈[0,T]_(Tk),u(0)-u(T)=0,u~Δ(0)-u~Δ(T)=0的边值问题,给出了该系统上的变分结构,同时证明了该系统的求解问题等价于求其相应泛函φ∈C~1(W_Δ,T~1,p(T,R~n),R)的临界点。     

一类实双曲算子Cauchy问题的拟基本解

本文对一类形如(1.1)的实效双曲算子 Cauchy 问题,构造了它在 t≥s≥0部分的拟基本解 E_0(t,s),E_1(t,s)。其基本思想是几何光学法。因为所讨论的算子具变重特征等性质,所以我们需要将所涉及的区域分成两部分,按不同的部分分别构造拟基本解,从而使得 E_0,E_1成为某些 Fourier 积分算子以及拟微分算子之和。本文给出了 E_0,E_1的比较明确的表达式,并指出表达式中 Fourier 极分算子的振幅,其主部系数与常微分有程 L_0,■_0,等的中心关联系有关。使用 E_0,E_1,我们可以分析一类相当广泛的实效双曲算子 Cauchy 问题解的 C~∞奇性(见[3]).     

一类具牛曼边值的非线性椭圆方程解的存在性

利用Brezis关于含有伪单调算子的变分不等式的解的存在性定理，研究一类具牛曼边值的非线性椭圆方程在L^p(Ω），2≤P＜＋∞空间中解的存在性。     

双解析函数一类含参变未知函数的Riemann边值问题

给出双解析函数含参变未知函数的Riemann边值问题及其正则型与非正则型的提法．基于双解析函数的正则型与非正则型Riemann边值问题，讨论了双解析函数含参变未知函数的Riemann边值问题正则型与非正则型情况的可解性，得到了该边值问题的可解性结论：正则型问题的一般解具有2κ 1个自由度，非正则型问题的一般解具有2(κ-μ) 1．     

粘滞Hamilton-Jacobi方程正平衡点的指数吸引性

证明了当扰动f的L∞范数小于Lapalace算子零边界的第一特征值λ1时,粘滞Hamilton-Jacobi方程存在唯一正平衡点,且此平衡点指数吸引所有Cole-Hopf变换下的正则解.由此可知,在指数可积空间中,该方程的全局吸引子具有只包含一个点的简单结构.     

二维变量分离型自治系统的零解为全局渐近稳定的充要条件

本文用定性分析的方法研究了系统(1)的零解的全局渐近稳定性,得到了较精细的充分必要条件,同时,利用变量代换直接给出了系统(2)的相应结论。文中的结果推广和改进了文[1][2][3][4][5][6]中的相应结论。并由本文所得的结论举例说明了Красовский文[9]中的一个结论有不准确之处,而这一结论一直被     

在有界线性算子扰动下的谱性质

本文研究了一类从中子迁移理论中抽象出的算子A=B K分布在某一范围内的正则值或各类谱点λ同带参数有界线性算子H_λ和W_λ的1正则值或相应的各类1谱点之间的关系。A就是闭算子B在有界线性算子K扰动下的结果。