首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
Given gL2(R n ), we consider irregular wavelet for the form\(\left\{ {\lambda ^{\frac{n}{2}} g\left( {\lambda _j x - kb} \right)} \right\}_{j\varepsilon zj\varepsilon z^n } ,where\;\lambda _j \) > 0 and b > 0. Sufficient conditions for the wavelet system to constitute a frame for L2(R n ) are given. For a class of functions gL22(R n ) we prove that certain growth conditions on j } will frames, and that some other types of sequences exclude the frame property. We also give a sufficient condition for a Gabor system\(\left\{ {e^{zrib\left( {j,x} \right)} g\left( {x - \lambda _k } \right)} \right\}_{j\varepsilon z^n ,k\varepsilon z} \)to be a frame.  相似文献   

2.
For a simply connected and normalized domain D in the plane it was proven by Pólya and Schiffer in 1954 for the fixed membrane eigenvalues
?n1 \frac1lj 3 ?n1 \frac1l(0)j\sum \limits^{n}_{1} \frac{1}{{\lambda}_j} \geq \sum \limits^{n}_{1} \frac{1}{{\lambda}^{(0)}_j}  相似文献   

3.
Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let $ \mathfrak{B}_n^{(f)} Let V be a 2m-dimensional symplectic vector space over an algebraically closed field K. Let \mathfrakBn(f) \mathfrak{B}_n^{(f)} be the two-sided ideal of the Brauer algebra \mathfrakBn( - 2m ) {\mathfrak{B}_n}\left( { - 2m} \right) over K generated by e 1 e 3⋯ e 2f-1 where 0 ≤ f ≤ [n/2]. Let HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} be the subspace of partial-harmonic tensors of valence f in V n . In this paper we prove that dimHTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} and dim \textEn\textdK\textSp(V)( V ?n \mathord
/ \vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) are both independent of K, and the natural homomorphism from \mathfrakBn( - 2m ) \mathord/ \vphantom ( - 2m ) \mathfrakBn(f) \mathfrakBn(f) {\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{(f)}}}} \right.} {\mathfrak{B}_n^{(f)}}} to \textEn\textdK\textSp(V)( V ?n \mathord/ \vphantom V ?n V ?n V ?n\mathfrakBn(f) ) {\text{En}}{{\text{d}}_{K{\text{Sp}}(V)}}\left( {{{{V^{ \otimes n}}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}} {{V^{ \otimes n}}}}} \right.} {{V^{ \otimes n}}}}\mathfrak{B}_n^{(f)}} \right) is always surjective. We show that HTf ?n \mathcal{H}\mathcal{T}_f^{ \otimes n} has a Weyl filtration and is isomorphic to the dual of V ?n\mathfrakBn(f) \mathord/ \vphantom V ?n\mathfrakBn(f) V V ?n\mathfrakBn( f + 1 ) {{{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} \mathord{\left/{\vphantom {{{V^{ \otimes n}}\mathfrak{B}_n^{(f)}} V}} \right.} V}^{ \otimes n}}\mathfrak{B}_n^{\left( {f + 1} \right)} as an \textSp(V) - ( \mathfrakBn( - 2m ) \mathord/ \vphantom ( - 2m ) \mathfrakBn( f + 1 ) \mathfrakBn( f + 1 ) ) {\text{Sp}}(V) - \left( {{\mathfrak{B}_n}{{\left( { - 2m} \right)} \mathord{\left/{\vphantom {{\left( { - 2m} \right)} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right.} {\mathfrak{B}_n^{\left( {f + 1} \right)}}}} \right) -bimodule. We obtain an \textSp(V) - \mathfrakBn {\text{Sp}}(V) - {\mathfrak{B}_n} -bimodules filtration of V n such that each successive quotient is isomorphic to some ?( l) ?zg,l\mathfrakBn \nabla \left( \lambda \right) \otimes {z_{g,\lambda }}{\mathfrak{B}_n} with λ ⊢ n 2g, ℓ(λ)≤m and 0 ≤ g ≤ [n/2], where ∇(λ) is the co-Weyl module associated to λ and z g is an explicitly constructed maximal vector of weight λ. As a byproduct, we show that each right \mathfrakBn {\mathfrak{B}_n} -module zg,l\mathfrakBn {z_{g,\lambda }}{\mathfrak{B}_n} is integrally defined and stable under base change.  相似文献   

4.
Let A denote the class of analytic functions f, in the open unit disk E = {z : |z| < 1}, normalized by f(0) = f′(0) − 1 = 0. In this paper, we introduce and study the class STn,al,m(h){ST^{n,\alpha}_{\lambda,m}(h)} of functions f ? A{f\in A}, with \fracDn,al fm(z)z 1 0{\frac{D^{n,\alpha}_\lambda f_m(z)}{z}\neq 0}, satisfying
\fracz(Dn,al f(z))¢Dn,al fm(z)\prec h(z),    z ? E,\frac{z\left(D^{n,\alpha}_\lambda f(z)\right)'}{D^{n,\alpha}_\lambda f_m(z)}\prec h(z),\quad z\in E,  相似文献   

5.
We investigate properties of entire solutions of differential equations of the form
znw(n) + ?j = n - m + 1n - 1 an - j + 1(j)zjw(j) + ?j = 0n - m ( an - j - m + 1(j)zm + an - j + 1(j) )zjw(j) = 0, {z^n}{w^{(n)}} + \sum\limits_{j = n - m + 1}^{n - 1} {a_{n - j + 1}^{(j)}{z^j}{w^{(j)}}} + \sum\limits_{j = 0}^{n - m} {\left( {a_{n - j - m + 1}^{(j)}{z^m} + a_{n - j + 1}^{(j)}} \right){z^j}{w^{(j)}}} = 0,  相似文献   

6.
The effect of surface roughness on developed laminar flow in microtubes is investigated. The tube boundary is defined by r=R[1+e sin( lq)]{r=R\left[{1+\varepsilon\, {\rm sin}\left( {\lambda \theta }\right)}\right]}, with R representing the reference radius and e{\varepsilon} and λ the roughness parameters. The momentum equation is solved using Fourier–Galerkin–Tau method with slip at the boundary. A novel semi-analytical method is developed to predict friction factor and pressure drop in corrugated rough microtubes for continuum flow and slip flow that are not restricted to small values of el{\varepsilon \lambda } . The analytical solution collapses onto the perturbation solution ofDuan and Muzychka (J. Fluids Eng., 130:031102, 2008) for small enough values of el{\varepsilon \lambda } .  相似文献   

7.
In this paper we classify the centers localized at the origin of coordinates, the cyclicity of their Hopf bifurcation and their isochronicity for the polynomial differential systems in \mathbbR2{\mathbb{R}^2} of degree d that in complex notation z = x + i y can be written as
[(z)\dot] = (l+i) z + (z[`(z)])\fracd-52 (A z4+j[`(z)]1-j + B z3[`(z)]2 + C z2-j[`(z)]3+j+D[`(z)]5), \dot z = (\lambda+i) z + (z \overline{z})^{\frac{d-5}{2}} \left(A z^{4+j} \overline{z}^{1-j} + B z^3 \overline{z}^2 + C z^{2-j} \overline{z}^{3+j}+D \overline{z}^5\right),  相似文献   

8.
We study the solvability of the minimization problem
minh ? Ka ò0T a(t)[ f( |h¢(t)| ) + g( h(t) ) ]  dt,\mathop {\min }\limits_{\eta \in \mathcal{K}_\alpha } \int_0^T {\alpha (t)\left[ {f\left( {|\eta '(t)|} \right) + g\left( {\eta (t)} \right)} \right]} \,dt,  相似文献   

9.
Let g be a negatively curved Riemannian metric of a closed C manifold M of dimension at least three. Let L λ be a C one-parameter convex superlinear Lagrangian on TM such that L0(v) = \frac12 g(v, v){L_0(v)= \frac{1}{2} g(v, v)} for any vTM. We denote by jl{\varphi^\lambda} the restriction of the Euler-Lagrange flow of L λ on the \frac12{\frac{1}{2}} -energy level. If λ is small enough then the flow jl{\varphi^\lambda} is Anosov. In this paper we study the geometric consequences of different assumptions about the regularity of the Anosov distributions of jl{\varphi^\lambda} . For example, in the case that the initial Riemannian metric g is real hyperbolic, we prove that for λ small, jl{\varphi^\lambda} has C 3 weak stable and weak unstable distributions if and only if jl{\varphi^\lambda} is C orbit equivalent to the geodesic flow of g.  相似文献   

10.
Let W í \Bbb C\Omega \subseteq {\Bbb C} be a simply connected domain in \Bbb C{\Bbb C} , such that {¥} è[ \Bbb C \[`(W)]]\{\infty\} \cup [ {\Bbb C} \setminus \bar{\Omega}] is connected. If g is holomorphic in Ω and every derivative of g extends continuously on [`(W)]\bar{\Omega} , then we write gA (Ω). For gA (Ω) and z ? [`(W)]\zeta \in \bar{\Omega} we denote SN (g,z)(z) = ?Nl=0\fracg(l) (z)l ! (z-z)lS_N (g,\zeta )(z)= \sum^{N}_{l=0}\frac{g^{(l)} (\zeta )}{l !} (z-\zeta )^l . We prove the existence of a function fA(Ω), such that the following hold:
i)  There exists a strictly increasing sequence μn ∈ {0, 1, 2, …}, n = 1, 2, …, such that, for every pair of compact sets Γ, Δ ⊂ [`(W)]\bar{\Omega} and every l ∈ {0, 1, 2, …} we have supz ? G supw ? D \frac?l?wl Smnf,z) (w)-f(l)(w) ? 0,    as n ? + ¥    and\sup_{\zeta \in \Gamma} \sup_{w \in \Delta} \frac{\partial^l}{\partial w^l} S_{\mu_ n} (\,f,\zeta) (w)-f^{(l)}(w) \rightarrow 0, \hskip 7.8pt {\rm as}\,n \rightarrow + \infty \quad {\rm and}
ii)  For every compact set K ì \Bbb CK \subset {\Bbb C} with K?[`(W)] = ?K\cap \bar{\Omega} =\emptyset and Kc connected and every function h: K? \Bbb Ch: K\rightarrow {\Bbb C} continuous on K and holomorphic in K0, there exists a subsequence { m¢n }n=1\{ \mu^\prime _n \}^{\infty}_{n=1} of {mn }n=1\{\mu_n \}^{\infty}_{n=1} , such that, for every compact set L ì [`(W)]L \subset \bar{\Omega} we have supz ? L supz ? K Sm¢nf,z)(z)-h(z) ? 0,    as  n? + ¥.\sup_{\zeta \in L} \sup_{z\in K} S_{\mu^\prime _n} (\,f,\zeta )(z)-h(z) \rightarrow 0, \hskip 7.8pt {\rm as} \, n\rightarrow + \infty .
  相似文献   

11.
We generalize a Hilbert space result by Auscher, McIntosh and Nahmod to arbitrary Banach spaces X and to not densely defined injective sectorial operators A. A convenient tool proves to be a certain universal extrapolation space associated with A. We characterize the real interpolation space ( X,D( Aa ) ?R( Aa ) )q,p{\left( {X,\mathcal{D}{\left( {A^{\alpha } } \right)} \cap \mathcal{R}{\left( {A^{\alpha } } \right)}} \right)}_{{\theta ,p}} as
{ x  ?  X|t - q\textRea y1 ( tA )xt - q\textRea y2 ( tA )x ? L*p ( ( 0,¥ );X ) } {\left\{ {x\, \in \,X|t^{{ - \theta {\text{Re}}\alpha }} \psi _{1} {\left( {tA} \right)}x,\,t^{{ - \theta {\text{Re}}\alpha }} \psi _{2} {\left( {tA} \right)}x \in L_{*}^{p} {\left( {{\left( {0,\infty } \right)};X} \right)}} \right\}}  相似文献   

12.
Subject to the abc-conjecture, we improve the standard Weyl estimate for cubic exponential sums in which the argument is a quadratic irrational. Specifically. we show that
?n \leqslant N e( an3 ) << e, aN\tfrac57 + e \sum\limits_{n \leqslant N} {e\left( {\alpha {n^3}} \right){ \ll_{\varepsilon, \alpha }}{N^{\tfrac{5}{7} + \varepsilon }}}  相似文献   

13.
Let G be a finite domain in the complex plane with K-quasicon formal boundary, z 0 be an arbitrary fixed point in G and p>0. Let jp ( z ): = òx0 x [ f( z) ]2/8 dz\varphi _p \left( z \right): = \int_{x_0 }^x {\left[ {\phi \left( \zeta \right)} \right]^{2/8} } d\zeta , and let \iintc | jp ( z ) - Px1 (z) |p d0x \iint\limits_c {\left| {\varphi _p \left( z \right) - P_x^1 (z)} \right|^p d0_x } in the class \mathop ?n \mathop \prod \limits_n of all polynomials of degree [`(G)]\bar G in case of $p > 2 - \frac{{K^2 + 1}}{{2K^4 }}$p > 2 - \frac{{K^2 + 1}}{{2K^4 }} .  相似文献   

14.
We study the family of divergence-type second-order parabolic equations we(x)\frac?u?t=div(a(x)we(x) ?u), x ? \mathbbRn{\omega_\varepsilon(x)\frac{\partial u}{\partial t}={\rm div}(a(x)\omega_\varepsilon(x) \nabla u), x \in \mathbb{R}^n} , with parameter ${\varepsilon >0 }${\varepsilon >0 } , where a(x) is uniformly elliptic matrix and we=1{\omega_\varepsilon=1} for x n  < 0 and we=e{\omega_\varepsilon=\varepsilon} for x n  > 0. We show that the fundamental solution obeys the Gaussian upper bound uniformly with respect to e{\varepsilon} .  相似文献   

15.
We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l 1(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||A(\mathbbT) = || [^(f)] ||l1 (\mathbbZ)\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || einf ||A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || einf ||A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.  相似文献   

16.
We solve the truncated complex moment problem for measures supported on the variety K o \mathcal{K}\equiv { z ? \in C: z [(z)\tilde]\widetilde{z} = A+Bz+C [(z)\tilde]\widetilde{z} +Dz 2 ,D 1 \neq 0}. Given a doubly indexed finite sequence of complex numbers g o g(2n):g00,g01,g10,?,g0,2n,g1,2n-1,?,g2n-1,1,g2n,0 \gamma\equiv\gamma^{(2n)}:\gamma_{00},\gamma_{01},\gamma_{10},\ldots,\gamma_{0,2n},\gamma_{1,2n-1},\ldots,\gamma_{2n-1,1},\gamma_{2n,0} , there exists a positive Borel measure m\mu supported in K \mathcal{K} such that gij=ò[`(z)]izj dm (0 £ 1+j £ 2n) \gamma_{ij}=\int\overline{z}^{i}z^{j}\,d\mu\,(0\leq1+j\leq2n) if and only if the moment matrix M(n)( g\gamma ) is positive, recursively generated, with a column dependence relation Z [(Z)\tilde]\widetilde{Z} = A1+BZ +C [(Z)\tilde]\widetilde{Z} +DZ 2, and card V(g) 3\mathcal{V}(\gamma)\geq rank M(n), where V(g)\mathcal{V}(\gamma) is the variety associated to g \gamma . The last condition may be replaced by the condition that there exists a complex number gn,n+1 \gamma_{n,n+1} satisfying gn+1,n o [`(g)]n,n+1=Agn,n-1+Bgn,n+Cgn+1,n-1+Dgn,n+1 \gamma_{n+1,n}\equiv\overline{\gamma}_{n,n+1}=A\gamma_{n,n-1}+B\gamma_{n,n}+C\gamma_{n+1,n-1}+D\gamma_{n,n+1} . We combine these results with a recent theorem of J. Stochel to solve the full complex moment problem for K \mathcal{K} , and we illustrate the connection between the truncated and full moment problems for other varieties as well, including the variety z k = p(z, [(Z)\tilde] \widetilde{Z} ), deg p < k.  相似文献   

17.
It is proved that if Ω ⊂ Rn {R^n}  is a bounded Lipschitz domain, then the inequality || u ||1 \leqslant c(n)\textdiam( W)òW | eD(u) | {\left\| u \right\|_1} \leqslant c(n){\text{diam}}\left( \Omega \right)\int\limits_\Omega {\left| {{\varepsilon^D}(u)} \right|} is valid for functions of bounded deformation vanishing on ∂Ω. Here eD(u) {\varepsilon^D}(u) denotes the deviatoric part of the symmetric gradient and òW | eD(u) | \int\limits_\Omega {\left| {{\varepsilon^D}(u)} \right|} stands for the total variation of the tensor-valued measure eD(u) {\varepsilon^D}(u) . Further results concern possible extensions of this Poincaré-type inequality. Bibliography: 27 titles.  相似文献   

18.
We consider the Neumann initial boundary-value problem for the equation
ut = \textdiv( um - 1| Du |l- 1Du ) - up {u_t} = {\text{div}}\left( {{u^{m - 1}}{{\left| {Du} \right|}^{\lambda - 1}}Du} \right) - {u^p}  相似文献   

19.
For a continuous function s\sigma defined on [0,1]×\mathbbT[0,1]\times\mathbb{T}, let \ops\op\sigma stand for the (n+1)×(n+1)(n+1)\times(n+1) matrix whose (j,k)(j,k)-entries are equal to \frac1 2pò02p s( \fracjn,eiq) e-i(j-k)q  dq,        j,k = 0,1,...,n . \displaystyle \frac{1} {2\pi}\int_0^{2\pi} \sigma \left( \frac{j}{n},e^{i\theta}\right) e^{-i(j-k)\theta} \,d\theta, \qquad j,k =0,1,\dots,n~. These matrices can be thought of as variable-coefficient Toeplitz matrices or as the discrete analogue of pseudodifferential operators. Under the assumption that the function s\sigma possesses a logarithm which is sufficiently smooth on [0,1]×\mathbbT[0,1]\times\mathbb{T}, we prove that the asymptotics of the determinants of \ops\op\sigma are given by det[\ops] ~ G[s](n+1)E[s]     \text as   n?¥ , \det \left[\op\sigma\right] \sim G[\sigma]^{(n+1)}E[\sigma] \quad \text{ as \ } n\to\infty~, where G[s]G[\sigma] and E[s]E[\sigma] are explicitly determined constants. This formula is a generalization of the Szegö Limit Theorem. In comparison with the classical theory of Toeplitz determinants some new features appear.  相似文献   

20.
The work contains some results pertaining to the solution ψj(x) of the functional equation $$\left| {\Sigma \Psi _j \left( {a_j^T t} \right)} \right| \leqslant \varepsilon ,$$ where a j T =(a1j, a2j, ..., apj)∈ ?p, all the coefficients aij are constant, t=(t1, t2, ..., tp) ∈ ?p, \(a_j^T t = \sum\limits_{i - 1}^p {a_{ij} t_i } ,p \geqslant 2\) and the relation (*) is satisfied for all Inequality (*) is connected with certain characterization theorems of probability theory and statistics. For simplicity, it is assumed that the ψj(x) are continuous functions, x∈?1. The following basic ressult is obtained.  相似文献   

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

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