一类带p-Laplacian的Sturm-Liouville型2m点边值问题三个正解的存在性

该文考虑了下面的具一维$p$\,-Laplacian算子的多点边值问题 $ \left\{ \begin{array}{rl} &;\disp (\phi_{p}(x'(t)))'+h(t)f(t,x(t),x'(t))=0,\hspace{3mm}01,~\alpha_{i}>0,~\beta_{i}>0,~0<\sum\limits_{i=1}^{m-1}\alpha_{i}\xi_{i}\leq1,~ 0<\sum\limits_{i=1}^{m-1}\beta_{i}(1-\eta_{i})\leq1,~0=\xi_{0} <\xi_{1}<\xi_{2}<\cdots<\xi_{m-1}<\eta_{1}<\eta_{2}<\cdots<\eta_{m-1}<\eta_{m}=1,~i=1,2,\cdots,m-1.$ 通过运用锥上的不动点定理, 该文得到了至少三个正解的存在性. 有趣的是文中的边界条件是一个新型的Sturm-Liouville型边界条件, 这类边值问题到目前为止还很少被研究.     

$\mathbb{C}^n$中一类星形映射子族的增长定理及推广的Roper-Suffridge算子

在有界星形圆形域上定义了一个新的星形映射子族, 它包含了$\alpha$阶星形映射族和$\alpha$阶强星形映射族作为两个特殊子类. 给出了此类星形映射子族的增长定理和掩盖定理. 另外, 还证明了Reinhardt域$\Omega_{n,p_{2},\cdots,p_{n}}$上此星形映射子族在Roper-Suffridge算子 \begin{align*} F(z)=\Big(f(z_{1}),\Big(\frac{f(z_{1})}{z_{1}}\Big)^{\beta_{2}}(f'(z_{1}))^{\gamma_{2}}z_{2},\cdots, \Big(\frac{f(z_{1})}{z_{1}}\Big)^{\beta_{n}}(f'(z_{1}))^{\gamma_{n}}z_{n}\Big)' \end{align*} 作用下保持不变, 其中 $\Omega_{n,p_{2},\cdots,p_{n}}=\{z\in {\mathbb{C}}^{n}:|z_1|^2+|z_2|^{p_2}+\cdots + |z_n|^{p_n}<1\}$, $p_{j}\geq1$, $\beta_{j}\in$ $[0, 1]$, $\gamma_{j}\in[0, \frac{1}{p_{j}}]$满足$\beta_{j}+\gamma_{j}\leq1$, 所取的单值解析分支使得 $\big({\frac{f(z_{1})}{z_{1}}}\big)^{\beta_{j}}\big|_{z_{1}=0}=1$, $(f'(z_{1}))^{\gamma_{j}}\mid_{{z_{1}=0}}=1$, $j=2,\cdots,n$. 这些结果不仅包含了许多已有的结果, 而且得到了新的结论.     

限制性多源点偏心距增广问题

给定一个赋权图$G=（V,E;w,c）$以及图$G$的一个支撑子图$G_{1}=（V,E_{1}）$,这里源点集合$S=\{s_{1},s_{2},\cdots,s_{k}\}\subseteq V$,权重函数$w：E\rightarrow\mathbb{R}^{+}$,费用函数$c：E\setminus E_{1}\rightarrow\mathbb{Z}^{+}$和一个正整数$B$,本文考虑两类限制性多源点偏心距增广问题,具体叙述如下：（1）限制性多源点最小偏心距增广问题是要寻找一个边子集$E_{2}\subseteq E\setminus E_{1}$,满足约束条件$c（E_{2}）$$\leq$$B$,目标是使得子图$G_{1}\cup E_{2}$上源点集$S$中顶点偏心距的最小值达到最小;（2）限制性多源点最大偏心距增广问题是要寻找一个边子集$E_{2}\subseteq E\setminus E_{1}$,满足约束条件$c（E_{2}）$$\leq$$B$,目标是使得子图$G_{1}\cup E_{2}$上源点集$S$中顶点偏心距的最大值达到最小。本文设计了两个固定参数可解的常数近似算法来分别对上述两类问题进行求解。     

限制性多源点偏心距增广问题

给定一个赋权图$G=（V,E;w,c）$以及图$G$的一个支撑子图$G_{1}=（V,E_{1}）$,这里源点集合$S=\{s_{1},s_{2},\cdots,s_{k}\}\subseteq V$,权重函数$w：E\rightarrow\mathbb{R}^{+}$,费用函数$c：E\setminus E_{1}\rightarrow\mathbb{Z}^{+}$和一个正整数$B$,本文考虑两类限制性多源点偏心距增广问题,具体叙述如下：（1）限制性多源点最小偏心距增广问题是要寻找一个边子集$E_{2}\subseteq E\setminus E_{1}$,满足约束条件$c（E_{2}）$$\leq$$B$,目标是使得子图$G_{1}\cup E_{2}$上源点集$S$中顶点偏心距的最小值达到最小;（2）限制性多源点最大偏心距增广问题是要寻找一个边子集$E_{2}\subseteq E\setminus E_{1}$,满足约束条件$c（E_{2}）$$\leq$$B$,目标是使得子图$G_{1}\cup E_{2}$上源点集$S$中顶点偏心距的最大值达到最小。本文设计了两个固定参数可解的常数近似算法来分别对上述两类问题进行求解。     

由H\"{o}rmander向量场构成的抛物方程的 $W_{\ast}^{1,p}$ 正则性

设 $X_{1},\cdots ,X_{q}\ (q相似文献   

涉及分担超平面的正规定则

在本文中, 作者继续讨论涉及分担超平面的全纯曲线的正规性, 得到了如下结果:设$\mathcal F$是一族从区域$D\subset\mathbb C$到$\mathbb P^N(\mathbb C)$上的全纯曲线,$H_j=\{x\in\mathbb P^N(\mathbb C):\langle\bm{x},\alpha_j\rangle=0\}$是$\mathbb P^N(\mathbb C)$中处于一般位置的超平面, 这里$\alpha_j=(a_{j0},\cdots,a_{jN})^{\rm T}$且$a_{j0}\ne0$, $j=1,2,\cdots,2N+1$.若对于任意的$f\in\mathcal F$, 满足下列两个条件:(i) 如果$f(z)\in H_j$, 那么$\nabla f\in H_j$, 这里$j=1,2,\cdots,2N+1$;(ii) 如果$f(z)\in\bigcup\limits_{j=1}^{2N+1} H_j$, 那么$\frac{|\langle f(z),H_0\rangle|}{\|f\|\|H_0\|}\ge \delta$, 这里$0<\delta<1$是一个常数,而$H_0=\{w_0=0\}$,\noindent 则$\mathcal F$在$D$上正规.     

关于正态分布的次序统计量的随机序

设$X_1,X_2,\cdots,X_n$和$X^*_1,X^*_2,\cdots,X^*_n$分别服从正态分布$N(\mu_i,\sigma^2)$和$N(\mu^*_i,\sigma^2)$,以$X_{(1)}$,$X^*_{(1)}$分别表示$X_1,\cdots,X_n$和$X^*_1,\cdots,X^*_n$的极小次序统计量,以$X_{(n)}$, $X^*_{(n)}$分别表示$X_1,\cdots,X_n$和$X^*_1,\cdots$,$X^*_n$的极大次序统计量. 我们得到了如下结果:(i)\,如果存在严格单调函数$f$使得$(f(\mu_{1}),\cdots,f(\mu_{n}))\succeq_{\text{m}}$ $(f(\mu^{*}_{1}),\cdots,f(\mu^{*}_{n}))$,且$f'(x)f'(x)\!\geq\!0$, 则$X_{(1)}\!\leq_{\text{st}}\!X^*_{(1)}$;(ii)\,如果存在严格单调函数$f$使得$(f(\mu_{1})$,$\cdots,f(\mu_{n}))\succeq_{\text{m}}(f(\mu^{*}_{1}),\cdots,f(\mu^{*}_{n}))$,且$f'(x)f'(x)\leq 0$, 则$X_{(n)}\geq_{\text{st}}X^*_{(n)}$.(iii)\,设$X_{1},X_{2},\cdots,X_{n}$和\, $X^*_{1},X^*_{2},\cdots,X^*_{n}$分别服从正态分布$N(\mu,\sigma_i^2)$和$N(\mu,\sigma_i^{*2})$,若$({1}/{\sigma_{1}},\cdots,{1}/{\sigma_{n}})\succeq_{\text{m}}({1}/{\sigma^{*}_{1}},\cdots,{1}/{\sigma^{*}_{n}})$,则有$X_{(1)}\leq_{\text{st}}X^*_{(1)}$和$X_{(n)}\geq_{\text{st}}X^*_{(n)}$同时成立.     

关于同伦元素 $\alpha_{1}\beta_{1}\beta_{2}\gamma_{s}$

设 $p\geq 7$ 为任意奇素数. 证明了当 $3\leq s 相似文献   

The Estimation for the Multiple de la ValKe Poussin Square Remainders

Let Q_N={\bar x=(x_1,\cdots ,x_N)|-pi \leq x_i <\pi,i=1,\cdots,N} and X(Q_N) denote L(Q_N) and C(Q_N) , The square de la УаДбо Poussin sums of f\in X (Q_N) are defined by $V_n^n+l(f;\bar x)=\frac{1}{\pi ^N}\int _Q_N f(\bar x+\bar t)\prod\limits_{i = 1}^N {(\frac{1}{{l + 1}}} \sum\limits_{v = n}^{n + l} {{D_v}({t_i}))d\bar t(n,l = 0,1,2, \cdots )}$ where D_v(t) =sin(v+1/2)t/2sint/2, - The differences $R_n,l(f;\bar x)=f(\bar x)-V_n^n+l(f;\bar x)$ are called square remainders. We denote by E_k(f)_X the best approximation of the function f\in X(Q_N) by N-multiple trigonometric polynomials of order K. Theorem Let {\varepsilon _k}_k=0^\infty be a sequence such that \varepsilon _n \downarrow \infty(n\rightarrow \infty), the class $X(\varepsilon)={f\in X(Q_N)|E_k(f)_X \leq \varepsilon _k,k=0,1,2,\cdots}$ Then $C_N^'\sum\limits_{v=0}^n+l \frac {\varepsilon_v+nln^N-1(3+v/(l+1))}{v+l+1}\leq sup_{f\in X(\varepsilon)||R_n,l(f)||_X\leq C_N \sum\limits_{v=0}^{n+l}\frac {\varepsilon _v+nln^N-1(3+v/l+1)}{v+l+1}$ where C_N>C'_N>0 are constants depending only on N.     

关于Hutton定理的一个注

本文证明了存在一个一一对应$\varphi: {\cal J}\cup{\cal J}'\longrightarrow\delta\cup\delta'$,它满足: \ \ (1) $\varphi|{\cal J}: ({\cal J},\subset)\longrightarrow(\delta,\leq)$是frame同构. \ \ (2) $\varphi|{\cal J}': ({\cal J}',\subset)\longrightarrow(\delta',\leq)$是coframe同构.     

一致L-Lipschitz的渐近伪压缩映象不动点的Ishikawa迭代逼近问题

在任意实的Banach空间中研究了用具误差的修正的Ishikawa与Mann迭代程序来逼近一致L-Lipschitz的渐近伪压缩映象不动点的强收敛性问题,在去掉条件$$\sum\limits_{n=0}^{\infty}\alpha_{n}^{2}<\infty, \q \sum\limits_{n=0}^{\infty }\gamma_{n}<\infty,\q \sum\limits_{n=0}^{\infty }\alpha_{n}(\beta_{n}+\delta_{n})<\infty,\q \sum\limits_{n=0}^{\infty}\alpha_{n}(k_{n}-1)<\infty$$之下,证明了相关文献的结果仍然成立.所得结果不但改进和推广了最近一些人的最新结果,而且也从根本上改进了定理的证明方法.     

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

假定 $X$ 是具有范数$\|\cdot\|$的复 Banach 空间, $n$ 是一个满足 $\dim X\geq n\geq2$的正整数. 本文考虑由下式定义的推广的Roper-Suffridge算子 $\Phi_{n,\beta_2, \gamma_2, \ldots , \beta_{n+1}, \gamma_{n+1}}(f)$: \begin{equation} \begin{array}{lll} \Phi _{n, \beta_2, \gamma_2, \ldots, \beta_{n+1},\gamma_{n+1}}(f)(x) &;\hspace{-3mm}=&;\hspace{-3mm}\dl\he{j=1}{n}\bigg(\frac{f(x^*_1(x))}{x^*_1(x)})\bigg)^{\beta_j}(f''(x^*_1(x))^{\gamma_j}x^*_j(x) x_j\\ &;&;+\bigg(\dl\frac{f(x^*_1(x))}{x^*_1(x)}\bigg)^{\beta_{n+1}}(f''(x^*_1(x)))^{\gamma_{n+1}}\bigg(x-\dl\he{j=1}{n}x^*_j(x) x_j\bigg),\nonumber \end{array} \end{equation} 其中 $x\in\Omega_{p_1, p_2, \ldots, p_{n+1}}$, $\beta_1=1, \gamma_1=0$ 和 \begin{equation} \begin{array}{lll} \Omega_{p_1, p_2, \ldots, p_{n+1}}=\bigg\{x\in X: \dl\he{j=1}{n}| x^*_j(x)|^{p_j}+\bigg\|x-\dl\he{j=1}{n}x^*_j(x)x_j\bigg\|^{p_{n+1}}<1\bigg\},\nonumber \end{array} \end{equation} 这里 $p_j>1 \,( j=1, 2,\ldots, n+1$), 线性无关族 $\{x_1, x_2, \ldots, x_n \}\subset X $ 与 $\{x^*_1, x^*_2, \ldots, x^*_n \}\subset X^* $ 满足 $x^*_j(x_j)=\|x_j\|=1 (j=1, 2, \ldots, n)$ 和 $x^*_j(x_k)=0 \, (j\neq k)$, 我们选取幂函数的单值分支满足 $(\frac{f(\xi)}{\xi})^{\beta_j}|_{\xi=0}= 1$ 和 $(f''(\xi))^{\gamma_j}|_{\xi=0}=1, \, j=2, \ldots , n+1$. 本文将证明: 对某些合适的常数$\beta_j, \gamma_j$, 算子$\Phi_{n,\beta_2, \gamma_2, \ldots, \beta_{n+1}, \gamma_{n+1}}(f)$ 在$\Omega_{p_1, p_2, \ldots , p_{n+1}}$上保持$\alpha$阶的殆$\beta$型螺形映照和 $\alpha$阶的$\beta$型螺形映照.     

素*-代数上的非线性混合双斜Jordan三重导子

设$\mathcal{A}$是一个包含非平凡投影的单位素*-代数.本文证明了一个映射$\Phi:\mathcal{A}\rightarrow\mathcal{A}$满足对任意$A,B,C\in\mathcal{A}$有$\Phi([A,B]_{\diamond}\circC)=[\Phi(A),B]_{\diamond}\circC+[A,\Phi(B)]_{\diamond}\circC+[A,B]_{\diamond}\circ\Phi(C)$当且仅当$\Phi$是一个可加的*-导子, 其中$A\circ B=A^{*}B+B^{*}A$和$[A,B]_{\diamond}=A^{*}B-B^{*}A$.     

2×2阶上三角型算子矩阵的Moore-Penrose谱

设$H_{1}$和$H_{2}$是无穷维可分Hilbert空间. 用$M_{C}$表示$H_{1}\oplusH_{2}$上的2$\times$2阶上三角型算子矩阵$\left(\begin{array}{cc} A & C \\ 0 & B \\\end{array}\right)$. 对给定的算子$A\in{\mathcal{B}}(H_{1})$和$B\in{\mathcal{B}}(H_{2})$,描述了集合$\bigcap\limits_{C\in{\mathcal{B}}(H_{2},H_{1})}\!\!\!\sigma_{M}(M_{C})$与$\bigcup\limits_{C\in{\mathcal{B}}(H_{2},H_{1})}\!\!\!\sigma_{M}(M_{C})$,其中$\sigma_{M}(\cdot)$表示Moore-Penrose谱.     

变系数混合效应模型

本文研究了下列变系数混合效应模型: $y_{ij}=z_{ij}^{\tau}b_i+x_{ij}^{\tau}\beta(w_{ij}) +\xe_{ij},\;i=1,\cdots,m;\;j=1,\cdots,n_i$, 其中$b_i$为i.i.d.期望为$\xt$, 协方差阵为$\xs^2_bI_q$的随机效应向量, $\xe_{ij}$是i.i.d.期望为零, 具有有限方差的随机误差. 文中我们不仅给出了函数系数向量$\xb(\cdot)$的局部多项式估计, 同时给出了随机效应期望、方差和随机误差方差的估计, 并给出了这些估计量的渐进正态性和相合性, 研究结果表明了这些估计量的可靠性.     

Cn中单位球上$mu$-Bloch函数的等价刻画

设$\mu$是$[0,1)$上的正规函数, 给出了${\bf C}^{\it n}$中单位球$B$上$\mu$-Bloch空间$\beta_{\mu}$中函数的几种刻画. 证明了下列条件是等价的: (1) $f\in \beta_{\mu}$; \ (2) $f\in H(B)$且函数$\mu(|z|)(1-|z|^{2})^{\gamma-1}R^{\alpha,\gamma}f(z)$ 在$B$上有界; (3) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{1}-1}\frac{\partial^{M_{1}} f}{\partial z^{m}}(z)}$ 在$B$上有界, 其中$|m|=M_{1}$; (4) $f\in H(B)$ 且函数${\mu(|z|)(1-|z|^{2})^{M_{2}-1}R^{(M_{2})}f(z)}$ 在$B$上有界.     

有界完全Reinhardt域上推广的Roper-Suffridge算子

在$\C^n$中的有界完全Reinhardt域$\Omega$上推广的Roper-Suffridge算子$\Phi(f)$定义为 \begin{eqnarray*} \Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)(z)\!=\!\Big(rf\Big(\frac{z_1}{r}\Big), \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_2}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_2}z_2,\ldots, \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_n}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_n}z_n \Big), \end{eqnarray*} 其中 $n\geq2$, $(z_1, z_2,\ldots, z_n)\in \Omega$, $r=r(\Omega)=\sup\{|z_1|: (z_1, z_2,\ldots, z_n)\in \Omega\}, 0\leq \gamma_j\leq 1-\beta_j, 0\leq \beta_j\leq 1$, 这里选取幂函数的单值解析分支, 使得 $(\frac{f(z_1)}{z_1})^{\beta_j}|_{z_1=0}= 1$ 和 $(f’(z_1))^{\gamma_j}|_{z_1=0}=1, j=2,\ldots, n$. 证明了 $\Omega$上的算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 是将 $S^*_\alpha(U)$ 的子集映入$S^*_\alpha\,(\Omega)\,(0\leq \alpha<1)$, 且对于一些合适的常数 $\beta_j, \gamma_j, p_j$, $D_p$上的这个算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 保持$\alpha$阶星形性或保持$\beta$ 型螺形性, 其中 $ D_p=\bigg\{(z_1, z_2,\ldots, z_n)\in \C^n: \he{j=1}{n}|z_j|^{p_j}<1\bigg\},\quad p_j>0, j=1, 2,\ldots, n, $ $U$是复平面$\C$上的单位圆, $S^*_\alpha(\Omega)$ 是 $\Omega$ 上所有正规化$\alpha$阶星形映射所成的类. 也得到: 对于某些合适的常数 $\beta_j, \gamma_j, p_j$ 和 在$\C^n$中的有界完全Reinhardt域$\Omega$上推广的Roper-Suffridge算子$\Phi(f)$定义为 \begin{eqnarray*} \Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)(z)\!=\!\Big(rf\Big(\frac{z_1}{r}\Big), \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_2}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_2}z_2,\ldots, \Big(\frac{rf(\frac{z_1}{r})}{z_1}\Big)^{\beta_n}\Big(f’\Big(\frac{z_1}{r}\Big)\Big)^{\gamma_n}z_n \Big), \end{eqnarray*} 其中 $n\geq2$, $(z_1, z_2,\ldots, z_n)\in \Omega$, $r=r(\Omega)=\sup\{|z_1|: (z_1, z_2,\ldots, z_n)\in \Omega\}, 0\leq \gamma_j\leq 1-\beta_j, 0\leq \beta_j\leq 1$, 这里选取幂函数的单值解析分支, 使得 $(\frac{f(z_1)}{z_1})^{\beta_j}|_{z_1=0}= 1$ 和 $(f’(z_1))^{\gamma_j}|_{z_1=0}=1, j=2,\ldots, n$. 证明了 $\Omega$上的算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 是将 $S^*_\alpha(U)$ 的子集映入$S^*_\alpha\,(\Omega)\,(0\leq \alpha<1)$, 且对于一些合适的常数 $\beta_j, \gamma_j, p_j$, $D_p$上的这个算子 $\Phi^r_{n,\beta_2, \gamma_2,\ldots, \beta_n, \gamma_n}(f)$ 保持$\alpha$阶星形性或保持$\beta$ 型螺形性, 其中 $ D_p=\bigg\{(z_1, z_2,\ldots, z_n)\in \C^n: \he{j=1}{n}|z_j|^{p_j}<1\bigg\},\quad p_j>0, j=1, 2,\ldots, n, $ $U$是复平面$\C$上的单位圆, $S^*_\alpha(\Omega)$ 是 $\Omega$ 上所有正规化$\alpha$阶星形映射所成的类. 也得到: 对于某些合适的常数 $\beta_j, \gamma_j, p_j$ 和 在C~n中的有界完全Reinhardt域Ω上推广的Roper-Suffridge算子Φ(f)定义为Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)(z)=(rf(z_1/r),((rf(z_1/r))/z_1)~(β_2)(f′(z_1/r))~γ_2_(z_2,…,)((rf(z_1/r))/z_1)~(β_n)(f′(z_1/r))~(γ_n)_(z_n),其中n≥2,(z_1,z_2,…,z_n)∈Ω,r=r(Ω)=sup{|z_1|:(z_1,z_2,…,z_n)∈Ω},0≤γ_j≤1-β_j,0≤β_j≤1,这里选取幂函数的单值解析分支,使得((f(z_1))/z_1)~(β_j)|_(z_1=0)=1和(f′(z_1))~(γ_j)|_(z_1=0)=1,j= 2,…,n.证明了Ω上的算子Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)是将S_α~*(U)的子集映入S_α~*(Ω)(0≤α<1),且对于一些合适的常数β_j,γ_j,p_j,D_p上的这个算子Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)保持α阶星形性或保持β型螺形性,其中(?) U是复平面C上的单位圆,S_α~*(Ω)是Ω上所有正规化α阶星形映射所成的类.也得到:对于某些合适的常数β_j,γ_j,p_j和0≤α<1,Φ_(n,β_2,γ_2,…,β_n,γ_n)~r(f)∈S_α~*(D_p)当且仅当f∈S_α~*(U).     

带有Neumann边界条件的$k$维Minkowski平均曲率系统解的存在性

我们运用扰动方法证明了带有Minkowski平均算子非局部Neumann系统$$\begin{aligned}\begin{cases}\Big(r^{N-1}\frac{u''}{\sqrt{1-u''^{2}}}\Big)''=r^{N-1}f(r, u),\\\ r\in(0, 1),\ \ \ u''(0)=0,\ \ \ u''(1)=\int_{0}^{1}u''(s)dg(s)\\\end{cases}\end{aligned}$$解的存在性, 其中$k, N\geq1$是整数, $f=(f_{1},f_{2},\ldots,f_{k}):[0, 1]\times\mathbb{R}^{k}\rightarrow\mathbb{R}^{k}$连续且$g:[0, 1]\rightarrow\mathbb{R}^{k}$是有界变差函数.     

具有脉冲的Dirichlet边值问题的Lyapunov不等式及其应用

该文首先研究具有脉冲的线性Dirichlet边值问题 $\left\{ \begin{array}{ll} x'(t)+a(t)x(t)=0, t\neq \tau_{k}, \ \Delta x(\tau_{k})=c_{k}x(\tau_{k}),\ \Delta x'(\tau_{k})=d_{k}x(\tau_{k}), \ x(0)=x(T)=0, \end{array} \right. (k=1,2\cdots,m) $ 给出该Dirichlet边值问题仅有零解的两个充分条件, 其中$a:[0,T]\rightarrow R$, $c_{k}, d_{k}, k=1,2,$ $\cdots,m$是常数, 该文首先研究具有脉冲的线性Dirichlet边值问题 $$\left\{ \begin{array}{ll} x'(t)+a(t)x(t)=0, t\neq \tau_{k}, \ \Delta x(\tau_{k})=c_{k}x(\tau_{k}),\ \Delta x'(\tau_{k})=d_{k}x(\tau_{k}), \ x(0)=x(T)=0, \end{array} \right. (k=1,2\cdots,m) $$ 给出该Dirichlet边值问题仅有零解的两个充分条件, 其中$a:[0,T]\rightarrow R$, $c_{k}, d_{k}, k=1,2,$ $\cdots,m$是常数, $0<\tau_{1}<\tau_{2}\cdots<\tau_{m}<T$为脉冲时刻. 其次利用上面的线性边值问题仅有零解这个性质和Leray-Schauder度理论, 研究具有脉冲的非线性Dirichlet边值问题 $$\left\{ \begin{array}{ll} x'(t)+f(t,x(t))=0, t\neq \tau_{k}, \ \Delta x(\tau_{k})=I_{k}(x(\tau_{k})), \ \Delta x'(\tau_{k})=M_{k}(x(\tau_{k})), \ x(0)=x(T)=0 \end{array} \right. (k=1,2\cdots,m) $$ 解的存在性和唯一性, 其中 $f\in C([0,T]\times R,R)$, $I_{k},M_{k}\in C(R, R),k=1,2,\cdots,m$. 该文主要定理的一个推论将经典的Lyaponov不等式比较完美地推广到脉冲系统.     

Approximate Controllability of Nonlinear Delay Integro Differential Evolution Equations with Random Impulses

The basic concept of this research is to analyse the approximate controllability (AC) of a nonlinear delay integrodifferential evolution system (NDIDES) with random impulse of the type \begin{align*}&z''(\zeta)=\mathfrak{A}(\zeta)z(\zeta)+(\mathfrak{B}x)(\zeta)+\int_{0}^{\zeta}\mathcal{H}(\zeta, s,z(\beta(s))), \ \sigma_{q} <\zeta < \sigma_{q+1}, \ \zeta\in [\zeta_{0}, \mathcal{T}], \\ &z(\sigma_{q})=a_{q}(\tau_{q})z(\sigma^{-}_{q}), ~~q = 1,2,\ldots,\\ &z_{\zeta_{0}}=\upsilon,\end{align*} by assuming that the linear system is approximately controllable. The existence and uniqueness of the mild solution to above system have been determined by using the Banach contraction principle and trajectory accessible sets. We generalize the results for NDIDES with and without fixed-type impulsive moments.