首页 | 官方网站   微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
In a bounded simple connected region G ? ?3 we consider the equation $$L\left[ u \right]: = k\left( z \right)\left( {u_{xx} + u_{yy} } \right) + u_{zz} + d\left( {x,y,z} \right)u = f\left( {x,y,z} \right)$$ where k(z)? 0 whenever z ? 0.G is surrounded forz≥0 by a smooth surface Γ0 with S:=Γ0 ? {(x,y,z)|=0} and forz<0 by the characteristic \(\Gamma _2 :---(x^2 + y^2 )^{{\textstyle{1 \over 2}}} + \int\limits_z^0 {(---k(t))^{{\textstyle{1 \over 2}}} dt = 0} \) and a smooth surface Γ1 which intersect the planez=0 inS and where the outer normal n=(nx, ny, nz) fulfills \(k(z)(n_x^2 + n_y^2 ) + n_z^2 |_{\Gamma _1 } > 0\) . Under conditions on Γ1 and the coefficientsk(z), d(x,y,z) we prove the existence of weak solutions for the boundary value problemL[u]=f inG with \(u|_{\Gamma _0 \cup \Gamma _1 } = 0\) . The uniqueness of the classical solution for this problem was proved in [1].  相似文献   

2.
qVЕРхНИИ пРЕДЕл пОслЕД ОВАтЕльНОстИ МНОжЕс тВA n ОпРЕДЕльЕтсь сООтНО шЕНИЕМ \(\mathop {\lim sup}\limits_{n \to \infty } A_n = \mathop \cap \limits_{k = 1}^\infty \mathop \cup \limits_{n = k}^\infty A_n . B\) стАтьЕ РАссМАтРИВА Етсь слЕДУУЩИИ ВОпРО с: ЧтО МОжНО скАжАть О ВЕРхНИх пРЕДЕлАх \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) , еслИ ИжВЕстНО, ЧтО пРЕсЕЧЕНИь \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) «МАлы» Дль кАж-ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) ? ДОкАжыВАЕтсь, Ч тО
  1. ЕслИ \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — кОНЕЧНОЕ МНО жЕстВО Дль кАжДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО НАИДЕтсь тАкАь пОДпО слЕДОВАтЕльНОсть, Дл ь кОтОРОИ МНОжЕстВО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) сЧЕтНО;
  2. ЕслИ \(2^{\aleph _0 } = \aleph _1\) , тО сУЩЕстВУЕ т тАкАь пОслЕДОВАтЕл ьНОсть (An), ЧтО \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО Дль лУБОИ п ОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , НО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) ИМЕЕт МОЩ-НОсть кОНтИНУУМА;
  3. ЕслИA n — БОРЕлЕ ВскИЕ МНОжЕстВА В НЕкОтОРО М пОлНОМ сЕпАРАБЕльНО М МЕтРИЧЕскОМ пРОстРАНстВЕ, И \(\mathop \cap \limits_{k = 1}^\infty A_{n_k }\) — сЧЕт НОЕ МНОжЕстВО Дль кАж ДОИ пОДпОслЕДОВАтЕльНОстИ \((A_{n_k } )\) , тО сУЩЕстВУЕт тАкАь п ОДпОслЕДОВАтЕльНОсть, ЧтО \(\mathop {\lim sup}\limits_{k \to \infty } A_{n_k }\) — сЧЕтНОЕ МНОжЕстВО. кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (A n ) сУЩЕстВУЕт схОДьЩА ьсь пОДпОслЕДОВАтЕльНО сть.
кРОМЕ тОгО, ДОкАжАНО, Ч тО В слУЧАьх А) И В) В пОслЕДОВАтЕльНОстИ (А n ) сУЩЕстВУЕт схОДьЩ Аьсь пОДпОслЕДОВАтЕльНО сть.  相似文献   

3.
If φ: [0, 1) → (0,∞) is a non-decreasing unbounded function, then the φ-order of a meromorphic function f in the unit disc is defined as $$ \sigma _\phi (f) = \mathop {\lim \sup }\limits_{r \to 1^ - } \frac{{\log ^ + T(r,f)}} {{\log \phi (r)}}, $$ where T(r, f) is the Nevanlinna characteristic of f. In particular, $ \sigma _{\tfrac{1} {{1 - r}}} $ f is the order of f, and $ \sigma _{\log \tfrac{1} {{1 - r}}} $ f is the logarithmic order of f. Several results on the finiteness of the φ-order of solutions of $$ f^{(k)} + A_{k - 1} (z)f^{(k - 1)} + \cdots + A_1 (z)f' + A_0 (z)f = 0 $$ are obtained in the case when the coefficients A 0(z), ...,A k?1(z) are analytic functions in the unit disc. This paper completes some earlier results by various authors.  相似文献   

4.
In this note we prove the following: Let n?≥ 2 be a fixed integer. A system of additive functions ${A_{1},A_{2},\ldots,A_{n}:\mathbb{R} \to\mathbb{R}}$ is linearly dependent (as elements of the ${\mathbb{R}}$ vector space ${\mathbb{R}^{\mathbb{R}}}$ ), if and only if, there exists an indefinite quadratic form ${Q:\mathbb{R}^{n}\to\mathbb{R} }$ such that ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\geq 0}$ or ${Q(A_{1}(x),A_{2}(x),\ldots,A_{n}(x))\leq 0}$ holds for all ${x\in\mathbb{R}}$ .  相似文献   

5.
We consider a class of Kolmogorov equation $$Lu={\sum^{p_0}_{i,j=1}{\partial_{x_i}}(a_{ij}(z){\partial_{x_j}}u)}+{\sum^{N}_{i,j=1}b_{ij}x_{i}{\partial_{x_j}}u-{\partial_t}u}={\sum^{p_0}_{j=1}{\partial_{x_j}}F_{j}(z)}$$ in a bounded open domain ${\Omega \subset \mathbb{R}^{N+1}}$ , where the coefficients matrix (a ij (z)) is symmetric uniformly positive definite on ${\mathbb{R}^{p_0} (1 \leq p_0 < N)}$ . We obtain interior W 1,p (1 < p < ∞) regularity and Hölder continuity of weak solutions to the equation under the assumption that coefficients a ij (z) belong to the ${VMO_L\cap L^\infty}$ and ${({b_{ij}})_{N \times N}}$ is a constant matrix such that the frozen operator ${L_{z_0}}$ is hypoelliptic.  相似文献   

6.
For real ${L_\infty(\mathbb{R})}$ -functions ${\Phi}$ and ${\Psi}$ of compact support, we prove the norm resolvent convergence, as ${\varepsilon}$ and ${\nu}$ tend to 0, of a family ${S_{\varepsilon \nu}}$ of one-dimensional Schrödinger operators on the line of the form $$S_{\varepsilon \nu} = -\frac{d^2}{dx^2} + \frac{\alpha}{\varepsilon^2} \Phi \left( \frac{x}{\varepsilon} \right) + \frac{\beta}{\nu} \Psi \left(\frac{x}{\nu} \right),$$ provided the ratio ${\nu/\varepsilon}$ has a finite or infinite limit. The limit operator S 0 depends on the shape of ${\Phi}$ and ${\Psi}$ as well as on the limit of ratio ${\nu/\varepsilon}$ . If the potential ${\alpha\Phi}$ possesses a zero-energy resonance, then S 0 describes a non trivial point interaction at the origin. Otherwise S 0 is the direct sum of the Dirichlet half-line Schrödinger operators.  相似文献   

7.
The definite integrals \(\int_{-1}^{1}(1-x^{2})^{(\nu-1)/2}[P_{\nu}(x)]^{3}\, \mathrm{d}x\) , \(\int_{-1}^{1}(1-x^{2})^{(\nu-1)/2} [P_{\nu}(x)]^{2}P_{\nu}(-x)\, \mathrm{d}x\) , \(\int_{-1}^{1}x(1-x^{2})^{(\nu-1)/2}[P_{\nu+1}(x)]^{3}\,\mathrm{d}x\) , and \(\int_{-1}^{1}x(1-x^{2})^{(\nu-1)/2} [P_{\nu+1}(x)]^{2}P_{\nu +1}(-x)\,\mathrm{d}x \) are evaluated in closed form, where P ν is the Legendre function of degree ν, and \(\operatorname{Re}\nu>-1\) . Special cases of these formulae are related to certain integrals over elliptic integrals that have arithmetic interest.  相似文献   

8.
We prove that the operator ${Tf(x,y)=\int^\pi_{-\pi}\int_{|x^{\prime}|<|y^{\prime}|} \frac{e^{iN(x,y) x^{\prime}}}{x^{\prime}}\frac{e^{iN(x,y) y^{\prime}}}{y^{\prime}}f(x-x^{\prime}, y-y^{\prime}) dx^{\prime} dy^{\prime}}$ , with ${x,y \in[0,2\pi]}$ and where the cut off ${|x^{\prime}|<|y^{\prime}|}$ is performed in a smooth and dyadic way, is bounded from L 2 to weak- ${L^{2-\epsilon}}$ , any ${\epsilon > 0 }$ , under the basic assumption that the real-valued measurable function N(x, y) is “mainly” a function of y and the additional assumption that N(x, y) is non-decreasing in x, for every y fixed. This is an extension to 2D of C. Fefferman’s proof of a.e. convergence of Fourier series of L 2 functions.  相似文献   

9.
Under mild assumption, integral representations of the form (*) $$f(A_1 ) \cdot \mathfrak{J} - \mathfrak{J} \cdot f(A_1 ) = \int {\int {\frac{{f(\mu ) - f(\lambda )}}{{\mu - \lambda }}} } dE_1 (\mu )(A_1 \mathfrak{J} - \mathfrak{J}A_0 )dE_0 (\mu ),$$ are justified. Here Ak, k=0, 1, is a self-adjoint operator in a Hilbert space Hk, is an operator from H0 H1; in general, all the operators are unbounded; Ek is the spectral measure of the operator Ak. On the basis of the representation (*), estimates of the s-numbers of the operator \(f(A_1 ) \cdot \mathfrak{J} - \mathfrak{J} \cdot f(A_0 )\) in terms of the s-numbers of the operator \(A_1 \mathfrak{J} - \mathfrak{J}A_0\) are given. Analogous results are obtained for commutators and antocommutators.  相似文献   

10.
BOUNDARYVALUEPROBLEMSOFSINGULARLYPERTURBEDINTEGRO-DIFFERENTIALEQUATIONSZHOUQINDEMIAOSHUMEI(DepartmentofMathematics,JilinUnive...  相似文献   

11.
A bounded linear operator A acting on a Banach space X is said to be an upper triangular block operators of order n, and we write ${A \in \mathcal{UT}_{n}(X)}$ , if there exists a decomposition of ${X = X_{1} \oplus . . . \oplus X_{n}}$ and an n × n matrix operator ${(A_{i,j})_{\rm 1 \leq i, j \leq n}}$ such that ${A = (A_{i, j})_{1 \leq i, j \leq n}, A_{i, j} = 0}$ for i > j. In this note we characterize a large set of entries A i, j with j > i such that ${\sigma_{\rm D} (A) = {\bigcup\limits_{i = 1}^{n}} \sigma_{\rm D} (A_{i, i})}$ ; where σD(.) is the Drazin spectrum. Some applications concerning the Fredholm theory and meromorphic operators are given.  相似文献   

12.
We consider asymptotic behavior of the correlation functions of the characteristic polynomials of the hermitian sample covariance matrices ${H_n=n^{-1}A_{m,n}^* A_{m,n}}$ , where A m,n is a m × n complex random matrix with independent and identically distributed entries ${\mathfrak{R}a_{\alpha j}}$ and ${\mathfrak{I}a_{\alpha j}}$ . We show that for the correlation function of any even order the asymptotic behavior in the bulk and at the edge of the spectrum coincides with those for the Gaussian Unitary Ensemble up to a factor, depending only on the fourth moment of the common probability law of entries ${\mathfrak{R}a_{\alpha j}}$ , ${\mathfrak{I}a_{\alpha j}}$ , i.e., the higher moments do not contribute to the above limit.  相似文献   

13.
We consider the degenerate elliptic operator acting on ${C^2_b}$ functions on [0,∞) d : $$\mathcal{L}f(x)=\sum_{i=1}^d a_i(x) x_i^{\alpha_i} \frac{\partial^2 f}{\partial x_i^2} (x) +\sum_{i=1}^d b_i(x) \frac{\partial f}{\partial x_i}(x), $$ where the a i are continuous functions that are bounded above and below by positive constants, the b i are bounded and measurable, and the ${\alpha_i\in (0,1)}$ . We impose Neumann boundary conditions on the boundary of [0,∞) d . There will not be uniqueness for the submartingale problem corresponding to ${\mathcal{L}}$ . If we consider, however, only those solutions to the submartingale problem for which the process spends 0 time on the boundary, then existence and uniqueness for the submartingale problem for ${\mathcal{L}}$ holds within this class. Our result is equivalent to establishing weak uniqueness for the system of stochastic differential equations $$ {\rm d}X_t^i=\sqrt{2a_i(X_t)} (X_t^i)^{\alpha_i/2}{\rm d}W^i_t + b_i(X_t) {\rm d}t + {\rm d}L_t^{X^i},\quad X^i_t \geq 0, $$ where ${W_t^i}$ are independent Brownian motions and ${L^{X_i}_t}$ is a local time at 0 for X i .  相似文献   

14.
We show that the convex hull of any N points in the hyperbolic space ${\mathbb{H}^{n}}$ is of volume smaller than ${\frac{2 (2 \sqrt \pi)^n}{\Gamma(\frac n 2)} N}$ , and that for any dimension n there exists a constant C n > 0 such that for any set ${A \subset \mathbb{H}^{n}}$ , $$Vol(Conv(A_1)) \leq C_n Vol(A_1)$$ where A 1 is the set of points of hyperbolic distance to A smaller than 1.  相似文献   

15.
In this paper,the relationship between the extended family and several mixing properties in measuretheoretical dynamical systems is investigated.The extended family eF related to a given family F can be regarded as the collection of all sets obtained as"piecewise shifted"members of F.For a measure preserving transformation T on a Lebesgue space(X,B,μ),the sets of"accurate intersections of order k"defined below are studied,Nε(A0,A1,...,Ak)=n∈Z+:μk i=0T inAiμ(A0)μ(A1)μ(Ak)ε,for k∈N,A0,A1,...,Ak∈B and ε0.It is shown that if T is weakly mixing(mildly mixing)then for any k∈N,all the sets Nε(A0,A1,...,Ak)have Banach density 1(are in(eFip),i.e.,the dual of the extended family related to IP-sets).  相似文献   

16.
We obtain necessary and sufficient conditions for the existence of a certain class of solutions of the differential equation $$ (|y^{(n - 1)} |^{\lambda - 1} y^{(n - 1)} )' = \alpha _0 p(t)e^{\sigma y} $$ , where α 0 ∈ {?1, 1}, σ, λR \ {0}, and p: [a, ω[→]0,+∞[(?∞ < a < ω ≤ + ∞) is a continuously differentiable function. We also establish asymptotic representations of such solutions.  相似文献   

17.
We are concerned with the elliptic problem $${\varepsilon ^2}{\Delta _{{S^n}}}u - u + {u^p} = 0{\text{ in }}{S^n},u > 0{\text{ in }}{S^n}$$ , where ${\Delta _{{S^n}}}$ is the Laplace-Beltrami operator on $\mathbb{S}^n : = \left\{ {x \in \mathbb{R}^{n + 1} ;\left\| x \right\| = 1} \right\}\left( {n \geqslant 3} \right)$ , and p ? 2. We construct a smooth branch C of solutions concentrating on the equator S n ∩ {x n+1 = 0}. Using the Crandall-Rabinowitz bifurcation theorem, we show that C has infinitely many bifurcation points from which continua of nonradial solutions emanate. In applying the bifurcation theorem, we verify the transversality condition directly.  相似文献   

18.
In this paper, we provide the Euler?CMaclaurin expansions for (offset) trapezoidal rule approximations of the finite-range integrals $I[f]=\int^{b}_{a}f(x)\,dx$ , where f??C ??(a,b) but can have general algebraic-logarithmic singularities at one or both endpoints. These integrals may exist either as ordinary integrals or as Hadamard finite part integrals. We assume that f(x) has asymptotic expansions of the general forms where $\widehat{P}(y),P_{s}(y)$ and $\widehat{Q}(y),Q_{s}(y)$ are polynomials in y. The ?? s and ?? s are distinct, complex in general, and different from ?1. They also satisfy The results we obtain in this work extend the results of a recent paper [A.?Sidi, Numer. Math. 98:371?C387, 2004], which pertain to the cases in which $\widehat{P}(y)\equiv0$ and $\widehat{Q}(y)\equiv0$ . They are expressed in very simple terms based only on the asymptotic expansions of f(x) as x??a+ and x??b?. The results we obtain in this work generalize, and include as special cases, all those that exist in the literature. Let $D_{\omega}=\frac{d}{d\omega}$ , h=(b?a)/n, where n is a positive integer, and define $\check{T}_{n}[f]=h\sum^{n-1}_{i=1}f(a+ih)$ . Then with $\widehat{P}(y)=\sum^{\hat{p}}_{i=0}{\hat{c}}_{i}y^{i}$ and $\widehat{Q}(y)=\sum^{\hat{q}}_{i=0}{\hat{d}}_{i}y^{i}$ , one of these results reads where ??(z) is the Riemann Zeta function and ?? i are Stieltjes constants defined via $\sigma_{i}= \lim_{n\to\infty}[\sum^{n}_{k=1}\frac{(\log k)^{i}}{k}-\frac{(\log n)^{i+1}}{i+1}]$ , i=0,1,???.  相似文献   

19.
We consider the following prescribed curvature problem for polyharmonic operator: $$\left\{\begin{array}{llll} D_{m} u = \tilde{K}(y)|u|^{m^*-2}u\; {\rm in}\; \mathbb{S}^N\\ u \quad\; >0\qquad\quad\quad\quad\quad{\rm on}\; \mathbb{S}^N\\ u \quad\; \in H^{m}(\mathbb{S}^N), \end{array} \right.$$ where ${m^*=\frac{2N}{N-2m}, N\geq 2m+1,m \in \mathbb{N}_{+}, \tilde{K}}$ is positive and rationally symmetric, ${\mathbb{S}^N}$ is the unit sphere with the induced Riemannian metric ${g=g_{\mathbb{S}^N},}$ and D m is the elliptic differential operator of 2m order given by $$\begin{array}{lll}D_m={\prod\limits_{k=1}^m}{\left(-\Delta_g+\frac{1}{4}(N-2k)(N+2k-2)\right)}\end{array}$$ where Δ g is the Laplace-Beltrami operator on ${\mathbb{S}^N}$ . We will show that problem (P) has infinitely many non-radial positive solutions, whose energy can be arbitrary large.  相似文献   

20.
We are looking for local analytic respectively formal solutions of the generalized Dhombres functional equation ${f(zf(z))=\varphi(f(z))}$ in the complex domain. First we give two proofs of the existence theorem about solutions f with f(0) = w 0 and ${w_0 \in \mathbb{C}^\star {\setminus}\mathbb{E}}$ where ${\mathbb{E}}$ denotes the group of complex roots of 1. Afterwards we represent solutions f by means of infinite products where we use on the one hand the canonical convergence of complex analysis, on the other hand we show how solutions converge with respect to the weak topology. In this section we also study solutions where the initial value z 0 is different from zero.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号