非负边界控制抛物型系统的能控性问题

本文考虑最简单的抛物型方程定义状态空间X=C[0,1],控制空间U=L~∞(0,∞)∩L~2(0,∞),则对每一给定的(?)∈U,方程(1)存在唯一解y(t,x;(?)):y(t,x;(?))=integral from n=σ to I(G(t-s;x,(?))(?)(s)ds),(2)其中G(t;x,ξ)=sum from l=0 to ∞e(?)e_l(x)e_l(ξ),(3)λ_0=0,e_σ(x)=1,λ_l=l~2π~2,e_l(x)=2～(1/2)coslπx,l=1,2…     

低Mach数流动的谱解法

低Mach数流动满足下列方程组其中U是n维速度向量,n=2或3,P是压力与密度之比,ν>0为运动粘性系数。假定Ω=[-π,π]~n,已知函数(?)(x),(?)(x),f(x,t)在x_q方向以2π为周期,1≤q≤n。     

关于多重共轭Fourier积分的Riesz球平均

设E_k为k维欧氏空间(k≥2),Q_k={x∈E_k,-π≤x_i≤π≤,i=1,2,…,k}。B(x_0,r)={x∈E_k,|x-x_0|≤r},Ω={x∈E_k,|x|=1},P(x)为n次     

Lienard方程零解的全局渐近稳定性

本文研究Lienard方程 x+f(x)x+g(x)=0 (1)的零解的全局渐近稳定性问题。已知的结果请参看文献[1—4]。以往大都采用Liapunov第二方法研究这个问题,而本文则采用Filippov变换的方法。所得结果包括已有的结果作为特例。本文总设 (ⅰ) f,g:R→R连续,xg(x)>0,x≠0。记F(x)=integral from n=0 to x f(s)ds,G(x)=integral from n=0 to x g(s)ds。令F_+(x)=max{O,F(x)},F_(x)=max{O,-F(x)},Γ_+(x)=integral from n=0 to x (1+F_+(s))~(-1)g(s)ds,Γ_(x)=integral from n=0 to x(1+F_(s))~(-1)g(s)ds,     

用相位确定信号的一个问题

设x(n)和y(n)是两个实数列,其中n取值0,1,2,…,它们的Z变换分别为 X(z)=sum from n=0 to ∞ x(n)z~n,y(z)=sum from n=0 to ∞ y(n)z~n。若x(z)和Y(z)在|z|≤1上解析,于是当ω∈[-π,π)时有 X(e~(iω))=|X(e~(iω))|e~(iω)x~(ω),Y(e~(iω))=|Y(e~(iω))|e~(iθ)y~(ω),这里θ_x(ω)和θ_y(ω)分别称为x(n)和y(n)的相位谱。现在的问题是如果θ_x(ω)=θ_y(ω),则x(n)和y(n)应有怎样的关系?Oppenheim等在文献[1]中得到一些结果,主要的是下面的     

富里埃级数绝对求和因子的一个边缘问题

设f(t)是L可积的以2π为周期的周期函数,它的富里埃级数是 [f]=1/2a_0+sum from n=1 to ∞(a_ncos nt+b_nsin nt)==sum from n=0 to ∞ A_n(t) (1) 程民德、Pati以及Prasad等都先后提出了如下的一个问题:“假如t=x是f(t)的勒贝克点,卽integral from n=1 to t |(x+u)+f(x-u)--2f(x)|du=0(t)(t→0) (2)那么对于满足sum from n~(-1)λ_n<∞的任意凸数列     

用Hermite-Fejér算子的精确点态逼近阶

设,f∈C[-1,1],T_x(x)=cos nθ(x=cosθ)是Chebyshev多项式,x_k=cos(2k-1)π/(2n)(k=1,…,n)是它的零点。考虑Hermite-Fejér算子:     

一个几何不等式

我们要证明下列定理。设V为n维空间任一紧凸体,g为其重心,π为过g的一个超平面。若π将V分为两部分V_1与矿V_2,则有不等式 ((n/(n+1))~n)/(1-(n/(n+1))~n)≤(|V_2|)/(|V_1|)≤(1-(n/(n+1))~n)/((n/(n+1))~n) 而且这个不等式不能再行改进。不妨假定g是坐标原点,π是平面x_n=0,V_1含于{x_n≥0}。若W是空部中有界区域,将以 M(W)     

Duffing方程周期解存在的构造性证明

考虑下列Duffing方程周期边值问题x″(t)+Cx′(t)+g(t,x)=e(t),(1)x(0)-x(2π)=x′(0)-x′(2π)=0.(2)其中g:R×R→R是关于x连续可微,关于t连续且以2π为周期的连续函数,C为常数.e:R→R是连续的且以2π为周期.若存在两个几乎处处连续的实函数a(t),b(t)使得n~2≤a(t)≤g′_x(t,x)≤b(t)≤(n+1)~2,(3)且在[0,2π]的一个正则集上a(t)>n~2,b(t)<(n+1)~2,方程(1)存在唯一的2π-周期解.这种存在唯一性证明一般分作两类:一类是纯粹理论性证明,一类是构造性证明.前一类理论深刻,一般涉及较多的非线性分析的工具,参见文献[1～6].后一种的最大优点是可形成算法,求得数值解,但技巧性较强,一般较为少见.本文受文献[7]的启发,从易于数值计算的角度出发,从初值问题和矩阵特征值入手,采用连续法构造性地证明了(1),(2)式在条件(3)下解的存在唯一性.此方法不仅简单,而且提供了一种可数值求解周期解的方法.     

Orlicz-Sobolev空间W~mE_A的分段多项式逼近

设π(x)是区间(0,1)的特征函数,π_h=h~(-1)π(x/h),π_h~i=h~(-1)π(x/h-i);     

由线性微分算子决定的函数类的极值问题和宽度及其渐近性态

设t_0,…,t_n是n+1个实数,D=(d/dx)。记L_(n+1)(D)=(?)(D-t_i),π(L_(n+1))={S|L_(n+1)(D)S≡0)。(?)_(n+1)表示在任一有限区间上,f~((n))(x)绝对连续,f~((n+1))(x)本性有界函数全体,     

低于临界指标的Bochner-Riesz平均的逼近性质

记Q~n={(x_1,…,x_n):-π≤x_j<π,j=1,…,n}。Z~#表示R~n中的整格点集。对于f∈L(Q~n)的n重Fourier级数及其共轭级数的α阶Bochner-Riesz平均定义为其中a_m(f)为f的Fourier系数,K(x)=P(x)|x|~(-n-k)(k≥1),P为k次齐次调和多项     

关于Hermann的一个问题

设,f(x)=um from k=0 to ∞ (a_k(f)coskx b_k(f)sinkx∈L~2[0,2π]),记d_k(f)=(a_k~2(f) b_k~2(f))~(1/2),k=0,1,2,…。以表示[0,2π]上仅在n等分结点处间断的阶梯函数集。在1976年Budapest国际Fourier分析与逼近论会议上,Hermann提出了下面的问题:对于     

多重Fourier级数及其共轭Fourier积分的球形求和

设E_K为K维欧氏空间,E_K中的点x记为x=(x_1,x_2,…,x_k),Q_k{x∈E_k;-π≤x_i<π,1≤i≤K},B(x_0,r)={x∈E_k;|x-x_0|≤r},Q={x∈E_k;|x|=1},K(x)=P(x/|x|)|x|~(-k)为球调和核,此处P(t)为n次齐次调和多项式。     

关于数值积分的变数替换

通过变数替换常能扩充专门为某些类型积分所建立的求积公式的使用范围.例如,在计算带权g的积分的求积公式integral from n=a to b (g(x)(?)(x)dx≈∑ω(?)(x_j))中作替换x’=(integral from n=a to b (g(t)dt)）~(-1)integral from n=a to x(g(t)dt)即得单位区间上不带权积分的求积公式x_j’=(integral from n=a to b (g(t)dt))~(-1)integral from n=a to x_j (g(t)dt),ω_j’=ω_j(integral from n=a to b (g(t)dt))~(-1))这里至于在替换之后求积公式的哪些特征仍然保持着,那是需要仔细分析的.举世瞩目的数论方法是专门为计算s维环面G_s上的某些具一定光滑度的函数类的     

二重Fourier级数的M-型(H,q)求和

用L(Q)表示在Q={(x,y)|-π≤x,y<π}上可和,且对每个变元都以2π为周期的函数类。L(Q)中函数f(x,y)的二重Fourier部分和记为S_(f,k)(f;x,y)(j,k=0,1,2,…)。对于序列{S_(k,k_(f;x,y)}(?)=0的线性求和问题是 Marcinkiewicz 1939     

任意初始点下的广义梯度投影方法

本文考虑问题(NP): 其中只={x∈E~n丨h_i(x)≤0,j=1,2,…,m}。 记I={1,2,…,m},g(x)=-▽f(x),φ_θ(x)=max{0,φ(x)},A(x)=(▽h_i(x),j∈I);H(x)为-n×n维对角矩阵,其主对角元为     

关于具有限时滞Liénard方程周期解的存在性

关于具有限时滞的Liénard方程x(t) f(x(t))x(t) g(x(t-r))=0 (0.1)的周期解的存在性的研究已有很多,但多数对g(x)都假设x∈R\{0}时X·g(x)>0.该条件对某些实际背景很强的方程是不成立的.如向日葵方程a(t) (a/r)a(t) (b/r)sina(t-r)=0就不满足上述条件.关于方程(0.1)的周期解的研究可参阅文献[2～4]及其参考文献.本文的目的在于以滞量r为参数,在减弱条件x·g(x)>0的基础上,给出保证方程(0.1)存在非平凡周期解的充分条件1 零解的稳定性及Hopf分支对方程(0.l),假设r>0为常数f,g∈C~2且g(0)=0.记f(0)=m,g’(0)=n,且设m>0,n>0.令x=y,则方程(0.1)化成等价系统     

用Fourier部分和子列的线性平均逼近周期函数

设f(x)∈L_(2x),f(x)～a_0/2 sum from n=1 to ∞a_n cos nx b_n·sin nx。以s_n(f,x)表示其第n部分和。设M={m_j}为自然数子列,记σ_n~a(M,f;x)=1/((a)_v)sum from j=0 to n(a-1)_(n-j)s_m_j(f,x),其中(a)_v=(a v 1)/(a 1)(v 1)。对于空间X=L_(2x)或G_(2n)以E_v(f)_x表示在X中用阶不     

半线性热方程Cauchy问题的生存时间

当1相似文献